Formalismo ADM
El formalismo ADM, nombrado 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 y en la relatividad numérica. Fue publicado por primera vez en 1959.[2]
La revisión completa del formalismo que los autores publicaron en 1962[3] fue reeditada 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][6][7][8][9][10][11][12]
Visión general
editarEl formalismo supone que el espacio-tiempo está foliado en una familia de superficies tipo espacio , etiquetadas por su coordenada temporal , y con coordenadas en cada sección dadas por . Las variables dinámicas de esta teoría son el tensor métrico de las secciones espaciales tridimensionales y sus momentos conjugados . Utilizando estas variables es posible de definir un hamiltoniano, y así escribir las ecuaciones de movimiento para relatividad general en la forma de las ecuaciones de Hamilton.
Además de las doce variables y , hay cuatro multiplicadores de Lagrange: la función de lapso, , y las componentes del campo vectorial desplazamiento, . Estos describen cómo están unidas cada una de las "hojas" de la foliación del espacio-tiempo. Las ecuaciones del movimiento para estas variables puede se pueden especificar libremente; esta libertad corresponde a la libertad para especificar la elección del sistema de coordenada en espacial y tiempo.
Deducción
editarNotación
editarLa mayoría de las referencias adoptan la notación en la que los tensores cuadridimensionales se escriben con la notación de índices abstractos, 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 esta sección, un superíndice (4) se antepone a las cantidades que típicamente tienen versiones tanto tridimensionales como cuadridimensionales, como el tensor métrico para las secciones tridimensionales y el tensor métrico para el espacio-tiempo cuadridimensional completo .
Este texto utiliza la notación de Einstein en la que se asume sumación en los índices repetidos.
Se usan dos tipos de derivadas: las derivadas parciales se denotan por el operador o por subíndices precedidos por una coma. Las derivadas covariantes se denotan por el operador o por el subíndice precedido por un punto y coma.
El valor absoluto del determinante de la matriz de coeficientes de tensor métrico está representada por (sin índices). Otros símbolos de tensores escritos sin los índices representan la traza del tensor correspondiente, como .
Formulación lagrangiana
editarEl punto de partida para el ADM la formulación es el lagrangiano
que es un producto de la raíz cuadrada del determinante del tensor métrico cuadri-dimensional del espacio-tiempo completo y su escalar de Ricci. Esto es el lagrangiano de la acción de Hilbert-Einstein.
El resultado deseado de la deducción es definir un embebimiento de secciones tridimensionales en el espaciotiempo cuadridimensional. La métrica de las secciones tridimensionales
serán las coordenadas generalizadas para la formulación hamiltoniana. Los momentos conjugados se calculan como
utilizando definiciones y técnicas estándares. Los símbolos son los símbolos de Christoffel asociados con la métrica del espacio-tiempo cuadridimensional completo. El lapso
y el vector desplazamiento
son los elementos restantes del tensor métrico cuadri-dimensional.
Habiendo identificado las cantidades para la formulación, el próximo paso es reescribir el lagrangiano en términos de estas variables. La expresión nueva para el lagrangiano
se ha escrito oportunamente en términos de las dos cantidades nuevas
y
que son conocidos como la ligadura del hamiltoniano y la ligadura del momento respectivamente. Notar también que el lapso y el desplazamiento aparecen en el lagrangiano como multiplicadores de Lagrange.
Ecuaciones de movimiento
editarA pesar de que las variables en el lagrangiano representan el tensor métrico en espacios tridimensionales embebidos en el espacio-tiempo cuadridimensional, es posible y deseable utilizar los procedimientos habituales de mecánica lagrangiana para derivar "ecuaciones de movimiento" que describan la evolución temporal de la métrica y su momento conjugado . El resultado
y
es un conjunto no lineal de ecuaciones diferenciales parciales.
Tomando variaciones con respetar al lapso y el desplazamiento se obtienen ecuaciones de ligadura
y
y el lapso y el desplazamiento se pueden especificar libremente, reflejando el hecho que hay libertad de elección de sistemas de coordenadas en espacio y tiempo.
Aplicación a gravedad cuántica
editarUtilizando la formulación ADM, es posible de intentar para una teoría cuántica de la gravedad, en la misma manera que se construye la ecuación de Schrödinger que corresponde a un hamiltoniano en mecánica cuántica. Esto es, se reemplazan los momentos canónicos y las funciones métricas espaciales por operadores diferenciales funcionales lineales
Más precisamente, la sustitución de las variables clásicas por operadoras está dictada por las relaciones de conmutación. Los sombreros representan operadores en la teoría cuántica. Esto conlleva la ecuación de Wheeler–DeWitt.
Aplicación a soluciones numéricas de las ecuaciones de Einstein
editarHay relativamente pocas soluciones exactas a las ecuaciones de campo de Einstein. Para encontrar otras soluciones, hay un campo activo de estudio conocida como relatividad numérica, en la que se emplean supercomputadores para encontrar soluciones aproximadas a las ecuaciones. Para construir tales soluciones numéricamente, la mayoría de los investigadores empiezan con una formulación de las ecuaciones de Einstein estrechamente relacionadas con la formulación ADM. Los enfoques más comunes empiezan con un problema de valores iniciales 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. Naturalmente, esto es muy útil para la física numérica, porque la reducción del orden de ecuaciones diferenciales es necesaria al preparar las ecuaciones para un ordenador.
Energía ADM
editarLa energía ADM es una manera especial de definir la energía en relatividad general que solo es aplicable a algunas geometrías especiales del espacio-tiempo que tienden asintóticamente a un tensor métrico bien definido en el infinito — por ejemplo un espacio-tiempo que se aproxime asintóticamente al espacio de Minkowski. La energía ADM en estos casos está definida como una función de la desviación del tensor métrico respecto de su forma asintótica. 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 espaciotiempo de Minkowski), entonces respeta la simetría bajo traslaciones temporales. El teorema de Noether implica que la energía ADM se conserva. Según la relatividad general, la ley de conservación para la energía total no es válida en espacio-tiempos más generales, dependientes del tiempo – por ejemplo, se viola completamente en la cosmología física. La inflación cósmica en particular es capaz de producir energía (y masa) de "la nada" porque la densidad de energía del vacío es aproximadamente constante, pero el volumen del Universo crece exponencialmente.
Véase también
editarReferencias
editar- ↑ «ADM-50: A Celebration of Current GR Innovation». Archivado desde el original el 20 de julio de 2011. Consultado el 3 de abril de 2021.
- ↑ a b Arnowitt, R.; Deser, S.; Misner, C. (1959). «Dynamical Structure and Definition of Energy in General Relativity». Physical Review 116 (5): 1322-1330. Bibcode:1959PhRv..116.1322A. doi:10.1103/PhysRev.116.1322.
- ↑ Chapter 7 (pp. 227–265) of Louis Witten (ed), Gravitation: An introduction to current research, Wiley: New York, 1962.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (2008). «Republication of: The dynamics of general relativity». General Relativity and Gravitation 40 (9): 1997-2027. Bibcode:2008GReGr..40.1997A. arXiv:gr-qc/0405109. doi:10.1007/s10714-008-0661-1.
- ↑ Arnowitt, R.; Deser, S. (1959). «Quantum Theory of Gravitation: General Formulation and Linearized Theory». Physical Review 113 (2): 745-750. Bibcode:1959PhRv..113..745A. doi:10.1103/PhysRev.113.745.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1960). «Canonical Variables for General Relativity». Physical Review 117 (6): 1595-1602. Bibcode:1960PhRv..117.1595A. doi:10.1103/PhysRev.117.1595.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1960). «Finite Self-Energy of Classical Point Particles». Physical Review Letters 4 (7): 375-377. Bibcode:1960PhRvL...4..375A. doi:10.1103/PhysRevLett.4.375.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1960). «Energy and the Criteria for Radiation in General Relativity». Physical Review 118 (4): 1100-1104. Bibcode:1960PhRv..118.1100A. doi:10.1103/PhysRev.118.1100.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1960). «Gravitational-Electromagnetic Coupling and the Classical Self-Energy Problem». Physical Review 120: 313-320. Bibcode:1960PhRv..120..313A. doi:10.1103/PhysRev.120.313.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1960). «Interior Schwarzschild Solutions and Interpretation of Source Terms». Physical Review 120: 321-324. Bibcode:1960PhRv..120..321A. doi:10.1103/PhysRev.120.321.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1961). «Wave Zone in General Relativity». Physical Review 121 (5): 1556-1566. Bibcode:1961PhRv..121.1556A. doi:10.1103/PhysRev.121.1556.
- ↑ Arnowitt, R.; Deser, S.; Misner, C. (1961). «Coordinate Invariance and Energy Expressions in General Relativity». Physical Review 122 (3): 997-1006. Bibcode:1961PhRv..122..997A. doi:10.1103/PhysRev.122.997.