formalismo ADM

Richard Arnowitt , Stanley Deser y Charles Misner en la conferencia ADM-50: A Celebration of Current GR Innovation celebrada en noviembre de 2009 ^[1] para honrar el 50 aniversario de su artículo.

El formalismo Arnowitt-Deser-Misner ( ADM ) (llamado así por sus autores Richard Arnowitt , Stanley Deser y Charles W. Misner ) es una formulación hamiltoniana de la relatividad general que juega un papel importante en la gravedad cuántica canónica y la relatividad numérica . Se publicó por primera vez en 1959. ^[2]

La revisión exhaustiva del formalismo que los autores publicaron en 1962 ^[3] ha sido reimpresa en la revista General Relativity and Gravitation , ^[4] mientras que los artículos originales se pueden encontrar en los archivos de Physical Review . ^{[2] [5]}

Descripción general

El formalismo supone que el espacio-tiempo está dividido en una familia de superficies espaciales , etiquetadas por sus coordenadas de tiempo , y con coordenadas en cada segmento dadas por . Las variables dinámicas de esta teoría se consideran el tensor métrico de cortes espaciales tridimensionales y sus momentos conjugados . Utilizando estas variables es posible definir un hamiltoniano y, por tanto, escribir las ecuaciones de movimiento para la relatividad general en forma de ecuaciones de Hamilton . ${\displaystyle \Sigma _{t}}$ ${\displaystyle t}$ ${\displaystyle x^{i}}$ ${\displaystyle \gamma _{ij}(t,x^{k})}$ ${\displaystyle \pi ^{ij}(t,x^{k})}$

Además de las doce variables y , hay cuatro multiplicadores de Lagrange : la función de lapso, y los componentes del campo vectorial de desplazamiento ,. Estos describen cómo se sueldan entre sí cada una de las "hojas" de la foliación del espacio-tiempo. Las ecuaciones de movimiento para estas variables se pueden especificar libremente; esta libertad corresponde a la libertad de especificar cómo diseñar el sistema de coordenadas en el espacio y el tiempo. ${\displaystyle \gamma _{ij}}$ ${\displaystyle \pi ^{ij}}$ ${\displaystyle N}$ ${\displaystyle N_{i}}$ ${\displaystyle \Sigma _{t}}$

Notación

La mayoría de las referencias adoptan notación en la que los tensores de cuatro dimensiones están escritos en notación de índice abstracto, y que los índices griegos son índices de espacio-tiempo que toman valores (0, 1, 2, 3) y los índices latinos son índices espaciales que toman valores (1, 2, 3). En la derivación aquí, se antepone un superíndice (4) a cantidades que normalmente tienen una versión tridimensional y cuatridimensional, como el tensor métrico para cortes tridimensionales y el tensor métrico para el espacio-tiempo completo de cuatro dimensiones. . ${\displaystyle g_{ij}}$ ${\displaystyle {^{(4)}}g_{\mu \nu }}$

El texto aquí utiliza la notación de Einstein en la que se supone la suma de índices repetidos.

Se utilizan dos tipos de derivadas: Las derivadas parciales se indican mediante el operador o mediante subíndices precedidos por una coma. Las derivadas covariantes se indican mediante el operador o mediante subíndices precedidos por un punto y coma. ${\displaystyle \partial _{i}}$ ${\displaystyle \nabla _{i}}$

El valor absoluto del determinante de la matriz de coeficientes tensoriales métricos está representado por (sin índices). Otros símbolos tensoriales escritos sin índices representan la traza del tensor correspondiente, como por ejemplo . ${\displaystyle g}$ ${\displaystyle \pi =g^{ij}\pi _{ij}}$

División ADM

La división ADM denota la separación de la métrica del espacio-tiempo en tres componentes espaciales y un componente temporal (foliación). Separa la métrica del espacio-tiempo en sus partes espacial y temporal, lo que facilita el estudio de la evolución de los campos gravitacionales. La idea básica es expresar la métrica del espacio-tiempo en términos de una función de lapso que representa la evolución temporal entre hipersuperficies y un vector de desplazamiento que representa cambios de coordenadas espaciales entre estas hipersuperficies) junto con una métrica espacial 3D. Matemáticamente, esta separación se escribe como:

${\displaystyle ds^{2}=-N^{2}dt^{2}+g_{ij}(dx^{i}+N^{i}dt)(dx^{j}+N^{j}dt)}$

donde está la función de lapso que codifica la evolución temporal adecuada, es el vector de desplazamiento, que codifica cómo cambian las coordenadas espaciales entre hipersuperficies. es la métrica espacial 3D emergente en cada hipersuperficie. Esta descomposición permite una separación de las ecuaciones de evolución del espacio-tiempo en restricciones (que relacionan los datos iniciales en una hipersuperficie espacial) y ecuaciones de evolución (que describen cómo la geometría del espacio-tiempo cambia de una hipersuperficie a otra). ${\displaystyle N}$ ${\displaystyle N_{i}}$ ${\displaystyle g_{ij}}$

Derivación del formalismo ADM

formulación lagrangiana

El punto de partida para la formulación ADM es el lagrangiano

${\displaystyle {\mathcal {L}}={^{(4)}R}{\sqrt {^{(4)}g}},}$

que es un producto de la raíz cuadrada del determinante del tensor métrico de cuatro dimensiones para el espacio-tiempo completo y su escalar de Ricci . Este es el lagrangiano de la acción de Einstein-Hilbert .

El resultado deseado de la derivación es definir una incorporación de cortes espaciales tridimensionales en el espacio-tiempo de cuatro dimensiones. La métrica de los cortes tridimensionales.

${\displaystyle g_{ij}={^{(4)}}g_{ij}}$

serán las coordenadas generalizadas para una formulación hamiltoniana. Los momentos conjugados se pueden calcular como

${\displaystyle \pi ^{ij}={\sqrt {^{(4)}g}}\left({^{(4)}}\Gamma _{pq}^{0}-g_{pq}{^{(4)}}\Gamma _{rs}^{0}g^{rs}\right)g^{ip}g^{jq},}$

utilizando técnicas y definiciones estándar. Los símbolos son símbolos de Christoffel asociados con la métrica del espacio-tiempo completo de cuatro dimensiones. el lapso ${\displaystyle {^{(4)}}\Gamma _{ij}^{0}}$

${\displaystyle N=\left(-{^{(4)}g^{00}}\right)^{-1/2}}$

y el vector de desplazamiento

${\displaystyle N_{i}={^{(4)}g_{0i}}}$

son los elementos restantes del tensor de cuatro métricas.

Una vez identificadas las cantidades para la formulación, el siguiente paso es reescribir el lagrangiano en términos de estas variables. La nueva expresión del lagrangiano.

${\displaystyle {\mathcal {L}}=-g_{ij}\partial _{t}\pi ^{ij}-NH-N_{i}P^{i}-2\partial _{i}\left(\pi ^{ij}N_{j}-{\frac {1}{2}}\pi N^{i}+\nabla ^{i}N{\sqrt {g}}\right)}$

está convenientemente escrito en términos de las dos nuevas cantidades

${\displaystyle H=-{\sqrt {g}}\left[^{(3)}R+g^{-1}\left({\frac {1}{2}}\pi ^{2}-\pi ^{ij}\pi _{ij}\right)\right]}$

y

${\displaystyle P^{i}=-2\pi ^{ij}{}_{;j},}$

que se conocen como restricción hamiltoniana y restricción de momento respectivamente. El lapso y el desplazamiento aparecen en el lagrangiano como multiplicadores de Lagrange .

Ecuaciones de movimiento

Aunque las variables en el lagrangiano representan el tensor métrico en espacios tridimensionales incrustados en el espacio -tiempo de cuatro dimensiones , es posible y deseable utilizar los procedimientos habituales de la mecánica lagrangiana para derivar "ecuaciones de movimiento" que describan la evolución temporal de ambos. La métrica y su momento conjugado . El resultado ${\displaystyle g_{ij}}$ ${\displaystyle \pi ^{ij}}$

${\displaystyle \partial _{t}g_{ij}={\frac {2N}{\sqrt {g}}}\left(\pi _{ij}-{\tfrac {1}{2}}\pi g_{ij}\right)+N_{i;j}+N_{j;i}}$

y

${\displaystyle {\begin{aligned}\partial _{t}\pi ^{ij}=&-N{\sqrt {g}}\left(R^{ij}-{\tfrac {1}{2}}Rg^{ij}\right)+{\frac {N}{2{\sqrt {g}}}}g^{ij}\left(\pi ^{mn}\pi _{mn}-{\tfrac {1}{2}}\pi ^{2}\right)-{\frac {2N}{\sqrt {g}}}\left(\pi ^{in}{\pi _{n}}^{j}-{\tfrac {1}{2}}\pi \pi ^{ij}\right)\\&+{\sqrt {g}}\left(\nabla ^{i}\nabla ^{j}N-g^{ij}\nabla ^{n}\nabla _{n}N\right)+\nabla _{n}\left(\pi ^{ij}N^{n}\right)-{N^{i}}_{;n}\pi ^{nj}-{N^{j}}_{;n}\pi ^{ni}\end{aligned}}}$

es un conjunto no lineal de ecuaciones diferenciales parciales .

Tomar variaciones con respecto al lapso y al desplazamiento proporciona ecuaciones de restricción.

${\displaystyle H=0}$

y

${\displaystyle P^{i}=0,}$

y el lapso y el desplazamiento en sí se pueden especificar libremente, lo que refleja el hecho de que los sistemas de coordenadas se pueden especificar libremente tanto en el espacio como en el tiempo.

Aplicaciones

Aplicación a la gravedad cuántica

Utilizando la formulación ADM, es posible intentar construir una teoría cuántica de la gravedad de la misma manera que se construye la ecuación de Schrödinger correspondiente a un hamiltoniano dado en mecánica cuántica . Es decir, sustituir los momentos canónicos y las funciones métricas espaciales por operadores diferenciales funcionales lineales. ${\displaystyle \pi ^{ij}(t,x^{k})}$

${\displaystyle {\hat {g}}_{ij}(t,x^{k})\mapsto g_{ij}(t,x^{k}),}$

${\displaystyle {\hat {\pi }}^{ij}(t,x^{k})\mapsto -i{\frac {\delta }{\delta g_{ij}(t,x^{k})}}.}$

Más precisamente, la sustitución de variables clásicas por operadores está restringida por relaciones de conmutación . Los sombreros representan operadores en la teoría cuántica. Esto lleva a la ecuación de Wheeler-DeWitt .

Aplicación a soluciones numéricas de las ecuaciones de Einstein.

Hay relativamente pocas soluciones exactas conocidas para las ecuaciones de campo de Einstein . Para encontrar otras soluciones, existe un campo de estudio activo conocido como relatividad numérica en el que se utilizan supercomputadoras para encontrar soluciones aproximadas a las ecuaciones. Para construir numéricamente tales soluciones, la mayoría de los investigadores comienzan con una formulación de las ecuaciones de Einstein estrechamente relacionadas con la formulación ADM. Los enfoques más comunes comienzan con un problema de valor inicial basado en el formalismo ADM.

En las formulaciones hamiltonianas, el punto básico es la sustitución de un conjunto de ecuaciones de segundo orden por otro conjunto de ecuaciones de primer orden. Podemos obtener este segundo conjunto de ecuaciones mediante la formulación hamiltoniana de forma sencilla. Por supuesto, esto es muy útil para la física numérica, porque reducir el orden de las ecuaciones diferenciales suele ser conveniente si queremos preparar ecuaciones para una computadora.

Energía y masa ADM.

La energía ADM es una forma especial de definir la energía en la relatividad general , que solo es aplicable a algunas geometrías especiales del espacio-tiempo que se acercan asintóticamente a un tensor métrico bien definido en el infinito, por ejemplo, un espacio-tiempo que se acerca asintóticamente al espacio de Minkowski . La energía ADM en estos casos se define como una función de la desviación del tensor métrico de su forma asintótica prescrita. En otras palabras, la energía ADM se calcula como la intensidad del campo gravitacional en el infinito.

Si la forma asintótica requerida es independiente del tiempo (como el propio espacio de Minkowski), entonces respeta la simetría de traslación del tiempo . El teorema de Noether implica entonces que la energía del ADM se conserva. Según la relatividad general, la ley de conservación de la energía total no se cumple en contextos más generales y dependientes del tiempo; por ejemplo, se viola por completo en la cosmología física . La inflación cósmica en particular es capaz de producir energía (y masa) de "nada" porque la densidad de energía del vacío es aproximadamente constante, pero el volumen del Universo crece exponencialmente .

Aplicación a la gravedad modificada.

Utilizando la descomposición ADM e introduciendo campos auxiliares adicionales, en 2009 Deruelle et al. encontró un método para encontrar el término límite de Gibbons-Hawking-York para las teorías de la gravedad modificadas "cuyo lagrangiano es una función arbitraria del tensor de Riemann". ^[6]

Ver también

• Vinculación de la formulación ADM con otras formulaciones hamiltonianas de la relatividad general

Esto se hace en M. Montesinos y J. Romero, Vinculando la formulación ADM a otras formulaciones hamiltonianas de la relatividad general, Phys. Rev. D 107, 044052 (2023). DOI 10.1103/PhysRevD.107.044052

• Coordenadas canónicas
• Ecuación de Hamilton-Jacobi-Einstein
• Métrica de Peres

Notas

1. "ADM-50: una celebración de la innovación actual de GR". Archivado desde el original el 20 de julio de 2011 . Consultado el 25 de marzo de 2021 .
2. Arnowitt, R.; Deser, S.; Misner, C. (1959). "Estructura dinámica y definición de energía en la relatividad general" (PDF) . Revisión física . 116 (5): 1322-1330. Código bibliográfico : 1959PhRv..116.1322A. doi : 10.1103/PhysRev.116.1322.
3. Capítulo 7 (págs. 227-265) de Louis Witten (ed.), Gravitación: una introducción a la investigación actual , Wiley: Nueva York, 1962.
4. Arnowitt, R.; Deser, S.; Misner, C. (2008). "Republicación de: La dinámica de la relatividad general". Relatividad General y Gravitación . 40 (9): 1997-2027. arXiv : gr-qc/0405109 . Código Bib : 2008GReGr..40.1997A. doi :10.1007/s10714-008-0661-1. S2CID  14054267.
5. Los artículos son:
   • Arnowitt, R.; Deser, S. (1959). "Teoría cuántica de la gravitación: formulación general y teoría linealizada" (PDF) . Revisión física . 113 (2): 745–750. Código bibliográfico : 1959PhRv..113..745A. doi : 10.1103/PhysRev.113.745.
   • Arnowitt, R.; Deser, S.; Misner, C. (1960). "Variables canónicas de la relatividad general" (PDF) . Revisión física . 117 (6): 1595-1602. Código bibliográfico : 1960PhRv..117.1595A. doi : 10.1103/PhysRev.117.1595. S2CID  120715041.
   • Arnowitt, R.; Deser, S.; Misner, C. (1960). "Autoenergía finita de partículas puntuales clásicas" (PDF) . Cartas de revisión física . 4 (7): 375–377. Código bibliográfico : 1960PhRvL...4..375A. doi :10.1103/PhysRevLett.4.375.
   • Arnowitt, R.; Deser, S.; Misner, C. (1960). "La energía y los criterios de radiación en la relatividad general" (PDF) . Revisión física . 118 (4): 1100-1104. Código bibliográfico : 1960PhRv..118.1100A. doi : 10.1103/PhysRev.118.1100. S2CID  120947085.
   • Arnowitt, R.; Deser, S.; Misner, C. (1960). "El acoplamiento gravitacional-electromagnético y el problema clásico de la autoenergía" (PDF) . Revisión física . 120 (1): 313–320. Código bibliográfico : 1960PhRv..120..313A. doi : 10.1103/PhysRev.120.313. S2CID  122767689.
   • Arnowitt, R.; Deser, S.; Misner, C. (1960). "Soluciones interiores de Schwarzschild e interpretación de los términos fuente" (PDF) . Revisión física . 120 (1): 321–324. Código bibliográfico : 1960PhRv..120..321A. doi : 10.1103/PhysRev.120.321. S2CID  121420368.
   • Arnowitt, R.; Deser, S.; Misner, C. (1961). "Zona de ondas en la relatividad general" (PDF) . Revisión física . 121 (5): 1556-1566. Código bibliográfico : 1961PhRv..121.1556A. doi : 10.1103/PhysRev.121.1556. S2CID  123381338.
   • Arnowitt, R.; Deser, S.; Misner, C. (1961). "Invariancia coordinada y expresiones de energía en la relatividad general" (PDF) . Revisión física . 122 (3): 997–1006. Código bibliográfico : 1961PhRv..122..997A. doi :10.1103/PhysRev.122.997.
6. Deruelle, Nathalie ; Sasaki, Misao; Sendouda, Yuuiti; Yamauchi, Daisuke (2010). "Formulación hamiltoniana de las teorías de la gravedad de f (Riemann)". Progresos de la Física Teórica . 123 (1): 169–185. arXiv : 0908.0679 . Código Bib : 2010PThPh.123..169D. doi :10.1143/PTP.123.169. S2CID  118570242.

Referencias

• Kiefer, Claus (2007). Gravedad cuántica . Oxford, Nueva York: Oxford University Press . ISBN 978-0-19-921252-1.