stringtranslate.com

Ecuaciones de campo de Einstein

En la teoría general de la relatividad , las ecuaciones de campo de Einstein ( EFE ; también conocidas como ecuaciones de Einstein ) relacionan la geometría del espacio-tiempo con la distribución de materia dentro de él. [1]

Las ecuaciones fueron publicadas por Albert Einstein en 1915 en forma de ecuación tensorial [2] que relacionaba lacurvatura del espacio-tiempo (expresada por eltensor de Einstein) con la energía,el momentoy la tensión locales dentro de ese espacio-tiempo (expresados ​​por eltensor de tensión-energía).[3]

De manera análoga a la forma en que los campos electromagnéticos se relacionan con la distribución de cargas y corrientes a través de las ecuaciones de Maxwell , las EFE relacionan la geometría del espacio-tiempo con la distribución de masa-energía, momento y tensión, es decir, determinan el tensor métrico del espacio-tiempo para una disposición dada de tensión-energía-momento en el espacio-tiempo. La relación entre el tensor métrico y el tensor de Einstein permite que las EFE se escriban como un conjunto de ecuaciones diferenciales parciales no lineales cuando se usan de esta manera. Las soluciones de las EFE son los componentes del tensor métrico. Las trayectorias inerciales de partículas y radiación ( geodésicas ) en la geometría resultante se calculan luego utilizando la ecuación geodésica .

Además de implicar la conservación de la energía y el momento local, la EFE se reduce a la ley de gravitación de Newton en el límite de un campo gravitacional débil y velocidades que son mucho menores que la velocidad de la luz . [4]

Las soluciones exactas para la EFE solo se pueden encontrar bajo supuestos simplificadores como la simetría . Las clases especiales de soluciones exactas se estudian con mayor frecuencia, ya que modelan muchos fenómenos gravitacionales, como los agujeros negros en rotación y el universo en expansión . Se logra una mayor simplificación al aproximar el espacio-tiempo como si tuviera solo pequeñas desviaciones del espacio-tiempo plano , lo que conduce a la EFE linealizada . Estas ecuaciones se utilizan para estudiar fenómenos como las ondas gravitacionales .

Forma matemática

Las ecuaciones de campo de Einstein (EFE) pueden escribirse en la forma: [5] [1]

EFE en un muro en Leiden , Países Bajos

donde es el tensor de Einstein , es el tensor métrico , es el tensor de tensión-energía , es la constante cosmológica y es la constante gravitacional de Einstein.

El tensor de Einstein se define como

donde es el tensor de curvatura de Ricci y es la curvatura escalar . Este es un tensor simétrico de segundo grado que depende únicamente del tensor métrico y de sus derivadas primera y segunda.

La constante gravitacional de Einstein se define como [6] [7]

o

donde G es la constante de gravitación newtoniana y c es la velocidad de la luz en el vacío .

La EFE también puede escribirse como

En unidades estándar, cada término de la izquierda tiene unidades de 1/longitud 2 .

La expresión de la izquierda representa la curvatura del espacio-tiempo determinada por la métrica; la expresión de la derecha representa el contenido de tensión-energía-momento del espacio-tiempo. La EFE puede interpretarse entonces como un conjunto de ecuaciones que dictan cómo la tensión-energía-momento determina la curvatura del espacio-tiempo.

Estas ecuaciones, junto con la ecuación geodésica [8] , que dicta cómo se mueve la materia en caída libre a través del espacio-tiempo, forman el núcleo de la formulación matemática de la relatividad general .

La EFE es una ecuación tensorial que relaciona un conjunto de tensores simétricos de 4 × 4. Cada tensor tiene 10 componentes independientes. Las cuatro identidades de Bianchi reducen el número de ecuaciones independientes de 10 a 6, dejando la métrica con cuatro grados de libertad de fijación de calibre , que corresponden a la libertad de elegir un sistema de coordenadas.

Aunque las ecuaciones de campo de Einstein se formularon inicialmente en el contexto de una teoría de cuatro dimensiones, algunos teóricos han explorado sus consecuencias en n dimensiones. [9] Las ecuaciones en contextos fuera de la relatividad general todavía se conocen como ecuaciones de campo de Einstein. Las ecuaciones de campo de vacío (obtenidas cuando T μν es cero en todas partes) definen las variedades de Einstein .

Las ecuaciones son más complejas de lo que parecen. Dada una distribución específica de materia y energía en forma de un tensor de tensión-energía, las ecuaciones diferenciales parciales se entienden como ecuaciones para el tensor métrico , ya que tanto el tensor de Ricci como la curvatura escalar dependen de la métrica de una manera no lineal complicada. Cuando se escriben completamente, las ecuaciones diferenciales parciales son un sistema de diez ecuaciones diferenciales parciales hiperbólicas-elípticas no lineales acopladas . [10]

Convención de signos

La forma anterior del EFE es el estándar establecido por Misner, Thorne y Wheeler (MTW). [11] Los autores analizaron las convenciones existentes y las clasificaron según tres signos ([S1] [S2] [S3]):

El tercer signo anterior está relacionado con la elección de la convención para el tensor de Ricci:

Con estas definiciones, Misner, Thorne y Wheeler se clasifican a sí mismos como (+ + +) , mientras que Weinberg (1972) [12] es (+ − −) , Peebles (1980) [13] y Efstathiou et al. (1990) [14] son ​​(− + +) , Rindler (1977), [ cita requerida ] Atwater (1974), [ cita requerida ] Collins Martin & Squires (1989) [15] y Peacock (1999) [16] son ​​(− + −) .

Autores como Einstein han utilizado un signo diferente en su definición del tensor de Ricci, lo que da como resultado que el signo de la constante en el lado derecho sea negativo:

El signo del término cosmológico cambiaría en ambas versiones si se utiliza la convención de signo métrico (+ − − −) en lugar de la convención de signo métrico MTW (− + + +) adoptada aquí.

Formulaciones equivalentes

Tomando la traza con respecto a la métrica de ambos lados de la EFE se obtiene donde D es la dimensión del espacio-tiempo. Resolviendo para R y sustituyéndolo en la EFE original, se obtiene la siguiente forma equivalente "de traza invertida":

En D = 4 dimensiones esto se reduce a

Si se invierte la traza nuevamente, se restablecería el EFE original. La forma de traza invertida puede ser más conveniente en algunos casos (por ejemplo, cuando uno está interesado en el límite del campo débil y puede reemplazar la expresión de la derecha con la métrica de Minkowski sin una pérdida significativa de precisión).

La constante cosmológica

En las ecuaciones de campo de Einstein, el término que contiene la constante cosmológica Λ no estaba presente en la versión en la que las publicó originalmente. Einstein luego incluyó el término con la constante cosmológica para permitir un universo que no se expande ni se contrae . Este esfuerzo no tuvo éxito porque:

Einstein abandonó entonces Λ y le comentó a George Gamow "que la introducción del término cosmológico fue el mayor error de su vida". [17]

La inclusión de este término no crea inconsistencias. Durante muchos años se asumió casi universalmente que la constante cosmológica era cero. Observaciones astronómicas más recientes han mostrado una expansión acelerada del universo , y para explicar esto se necesita un valor positivo de Λ . [18] [19] El efecto de la constante cosmológica es despreciable a escala de una galaxia o más pequeña.

Einstein pensó en la constante cosmológica como un parámetro independiente, pero su término en la ecuación de campo también puede trasladarse algebraicamente al otro lado e incorporarse como parte del tensor de tensión-energía:

Este tensor describe un estado de vacío con una densidad de energía ρ vac y una presión isótropa p vac que son constantes fijas y están dadas por donde se supone que Λ tiene la unidad SI m −2 y κ se define como anteriormente.

La existencia de una constante cosmológica equivale, por tanto, a la existencia de una energía de vacío y de una presión de signo opuesto. Esto ha llevado a que los términos "constante cosmológica" y "energía de vacío" se utilicen indistintamente en la relatividad general.

Características

Conservación de la energía y el momento

La relatividad general es consistente con la conservación local de la energía y el momento expresada como

Derivación de la conservación de la energía y el momento local

Al contraer la identidad diferencial de Bianchi con g αβ se obtiene, utilizando el hecho de que el tensor métrico es covariantemente constante, es decir, g αβ = 0 ,

La antisimetría del tensor de Riemann permite reescribir el segundo término de la expresión anterior:

lo que equivale a utilizar la definición del tensor de Ricci .

A continuación, vuelva a contraer la métrica para obtener

Las definiciones del tensor de curvatura de Ricci y de la curvatura escalar muestran entonces que puede reescribirse como

Una contracción final con g εδ da que por la simetría del término entre corchetes y la definición del tensor de Einstein , da, después de volver a etiquetar los índices,

Usando el EFE, esto da inmediatamente,

que expresa la conservación local de la energía-esfuerzo. Esta ley de conservación es un requisito físico. Con sus ecuaciones de campo, Einstein aseguró que la relatividad general es consistente con esta condición de conservación.

No linealidad

La no linealidad de la EFE distingue a la relatividad general de muchas otras teorías físicas fundamentales. Por ejemplo, las ecuaciones de Maxwell del electromagnetismo son lineales en los campos eléctrico y magnético , y en las distribuciones de carga y corriente (es decir, la suma de dos soluciones también es una solución); otro ejemplo es la ecuación de Schrödinger de la mecánica cuántica , que es lineal en la función de onda .

El principio de correspondencia

La ecuación de campo débil se reduce a la ley de gravedad de Newton utilizando tanto la aproximación de campo débil como la aproximación de cámara lenta . De hecho, la constante G que aparece en la ecuación de campo débil se determina haciendo estas dos aproximaciones.

Derivación de la ley de gravedad de Newton

La gravitación newtoniana se puede escribir como la teoría de un campo escalar, Φ , que es el potencial gravitatorio en julios por kilogramo del campo gravitatorio g = −∇Φ , véase la ley de Gauss para la gravedad donde ρ es la densidad de masa. La órbita de una partícula en caída libre satisface

En notación tensorial, estos se convierten en

En relatividad general, estas ecuaciones se reemplazan por las ecuaciones de campo de Einstein en forma de traza invertida para alguna constante, K , y la ecuación geodésica

Para ver cómo se reduce lo último a lo primero, suponemos que la velocidad de la partícula de prueba es aproximadamente cero y, por lo tanto , que la métrica y sus derivadas son aproximadamente estáticas y que los cuadrados de las desviaciones de la métrica de Minkowski son insignificantes. La aplicación de estas suposiciones simplificadoras a los componentes espaciales de la ecuación geodésica da donde dos factores de es/ se han dividido. Esto se reducirá a su contraparte newtoniana, siempre que

Nuestras suposiciones obligan a que α = i y las derivadas temporales (0) sean cero. Por lo tanto, esto se simplifica a lo que se cumple al dejar

Volviendo a las ecuaciones de Einstein, solo necesitamos el componente tiempo-tiempo; las suposiciones de baja velocidad y campo estático implican que

Así y así

De la definición del tensor de Ricci

Nuestras suposiciones simplificadoras hacen que los cuadrados de Γ desaparezcan junto con las derivadas temporales.

Combinando las ecuaciones anteriores , se obtiene la ecuación de campo newtoniana que se obtiene si

Ecuaciones del campo de vacío

Una moneda conmemorativa suiza de 1979, que muestra las ecuaciones de campo de vacío con constante cosmológica cero (arriba).

Si el tensor de energía-momento T μν es cero en la región en consideración, entonces las ecuaciones de campo también se denominan ecuaciones de campo de vacío . Al establecer T μν = 0 en las ecuaciones de campo de traza invertida, las ecuaciones de campo de vacío, también conocidas como "ecuaciones de vacío de Einstein" (EVE), se pueden escribir como

En el caso de una constante cosmológica distinta de cero, las ecuaciones son

Las soluciones de las ecuaciones de campo del vacío se denominan soluciones de vacío . El espacio plano de Minkowski es el ejemplo más simple de una solución de vacío. Ejemplos no triviales incluyen la solución de Schwarzschild y la solución de Kerr .

Las variedades con un tensor de Ricci que se desvanece , R μν = 0 , se denominan variedades de Ricci-planas y las variedades con un tensor de Ricci proporcional a la métrica, variedades de Einstein .

Ecuaciones de Einstein-Maxwell

Si el tensor de energía-momento T μν es el de un campo electromagnético en el espacio libre , es decir, si se utiliza el tensor de tensión-energía electromagnética , entonces las ecuaciones de campo de Einstein se denominan ecuaciones de Einstein-Maxwell (con constante cosmológica Λ , tomada como cero en la teoría de la relatividad convencional):

Además, las ecuaciones covariantes de Maxwell también son aplicables en el espacio libre: donde el punto y coma representa una derivada covariante , y los corchetes denotan antisimetrización . La primera ecuación afirma que la 4- divergencia de la 2-forma F es cero, y la segunda que su derivada exterior es cero. De esta última, se sigue por el lema de Poincaré que en un diagrama de coordenadas es posible introducir un potencial de campo electromagnético A α tal que en el que la coma denota una derivada parcial. Esto a menudo se toma como equivalente a la ecuación covariante de Maxwell de la que se deriva. [20] Sin embargo, hay soluciones globales de la ecuación que pueden carecer de un potencial definido globalmente. [21]

Soluciones

Las soluciones de las ecuaciones de campo de Einstein son métricas del espacio-tiempo . Estas métricas describen la estructura del espacio-tiempo, incluido el movimiento inercial de los objetos en el espacio-tiempo. Como las ecuaciones de campo no son lineales, no siempre se pueden resolver por completo (es decir, sin hacer aproximaciones). Por ejemplo, no se conoce una solución completa para un espacio-tiempo con dos cuerpos masivos en él (que es un modelo teórico de un sistema estelar binario, por ejemplo). Sin embargo, en estos casos se suelen hacer aproximaciones. Estas se denominan comúnmente aproximaciones post-newtonianas . Aun así, hay varios casos en los que las ecuaciones de campo se han resuelto por completo, y esas se denominan soluciones exactas . [9]

El estudio de las soluciones exactas de las ecuaciones de campo de Einstein es una de las actividades de la cosmología . Conduce a la predicción de los agujeros negros y a diferentes modelos de evolución del universo .

También se pueden descubrir nuevas soluciones de las ecuaciones de campo de Einstein mediante el método de los marcos ortonormales, como lo iniciaron Ellis y MacCallum. [22] En este enfoque, las ecuaciones de campo de Einstein se reducen a un conjunto de ecuaciones diferenciales ordinarias acopladas y no lineales. Como lo discutieron Hsu y Wainwright, [23] las soluciones autosimilares a las ecuaciones de campo de Einstein son puntos fijos del sistema dinámico resultante. LeBlanc [24] y Kohli y Haslam han descubierto nuevas soluciones utilizando estos métodos . [25]

El EFE linealizado

La no linealidad de la ecuación de campo hace que sea difícil encontrar soluciones exactas. Una forma de resolver las ecuaciones de campo es hacer una aproximación, es decir, que lejos de la(s) fuente(s) de materia gravitatoria, el campo gravitatorio es muy débil y el espacio-tiempo se aproxima al del espacio de Minkowski . La métrica se escribe entonces como la suma de la métrica de Minkowski y un término que representa la desviación de la métrica verdadera respecto de la métrica de Minkowski , ignorando los términos de mayor potencia. Este procedimiento de linealización se puede utilizar para investigar los fenómenos de la radiación gravitatoria .

Forma polinómica

A pesar de que los EFE tal como están escritos contienen la inversa del tensor métrico, se pueden organizar de una forma que contenga el tensor métrico en forma polinómica y sin su inversa. En primer lugar, el determinante de la métrica en 4 dimensiones se puede escribir utilizando el símbolo de Levi-Civita ; y la inversa de la métrica en 4 dimensiones se puede escribir como:

Sustituyendo esta expresión de la inversa de la métrica en las ecuaciones y luego multiplicando ambos lados por una potencia adecuada de det( g ) para eliminarla del denominador, se obtienen ecuaciones polinómicas en el tensor métrico y sus derivadas primera y segunda. La acción de Einstein-Hilbert de la que se derivan las ecuaciones también se puede escribir en forma polinómica mediante redefiniciones adecuadas de los campos. [26]

Véase también

Notas

  1. ^ ab Einstein, Albert (1916). "La base de la teoría general de la relatividad". Annalen der Physik . 354 (7): 769. Bibcode :1916AnP...354..769E. doi :10.1002/andp.19163540702. Archivado desde el original ( PDF ) el 2012-02-06.
  2. ^ Einstein, Albert (25 de noviembre de 1915). "Die Feldgleichungen der Gravitation". Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin : 844–847 . Consultado el 21 de agosto de 2017 .
  3. ^ Misner, Thorne y Wheeler (1973), pág. 916 [cap. 34].
  4. ^ Carroll, Sean (2004). Espacio-tiempo y geometría: una introducción a la relatividad general . Addison Wesley. págs. 151-159. ISBN 0-8053-8732-3.
  5. ^ Grøn, Øyvind; Hervik, Sigbjorn (2007). Teoría general de la relatividad de Einstein: con aplicaciones modernas en cosmología (edición ilustrada). Springer Science & Business Media. pág. 180. ISBN 978-0-387-69200-5.
  6. ^ Con la elección de la constante gravitacional de Einstein como se da aquí, κ = 8 πG / c 4 , el tensor de tensión-energía en el lado derecho de la ecuación debe escribirse con cada componente en unidades de densidad de energía (es decir, energía por volumen, equivalentemente presión). En la publicación original de Einstein, la elección es κ = 8 πG / c 2 , en cuyo caso los componentes del tensor de tensión-energía tienen unidades de densidad de masa.
  7. ^ Adler, Ronald; Bazin, Maurice; Schiffer, Menahem (1975). Introducción a la relatividad general (2.ª ed.). Nueva York: McGraw-Hill. ISBN 0-07-000423-4.OCLC 1046135  .
  8. ^ Weinberg, Steven (1993). Sueños de una teoría final: la búsqueda de las leyes fundamentales de la naturaleza . Vintage Press. pp. 107, 233. ISBN 0-09-922391-0.
  9. ^ ab Stephani, Hans; Kramer, D.; MacCallum, M.; Hoenselaers, C.; Herlt, E. (2003). Soluciones exactas de las ecuaciones de campo de Einstein . Prensa de la Universidad de Cambridge . ISBN 0-521-46136-7.
  10. ^ Rendall, Alan D. (2005). "Teoremas sobre la existencia y dinámica global para las ecuaciones de Einstein". Living Rev. Relativ . 8 (1). Número de artículo: 6. arXiv : gr-qc/0505133 . Código Bibliográfico :2005LRR.....8....6R. doi : 10.12942/lrr-2005-6 . PMC 5256071 . PMID  28179868. 
  11. ^ Misner, Thorne y Wheeler (1973), pág. 501 y siguientes.
  12. ^ Weinberg (1972).
  13. ^ Peebles, Phillip James Edwin (1980). La estructura a gran escala del universo . Princeton University Press. ISBN 0-691-08239-1.
  14. ^ Efstathiou, G.; Sutherland, WJ; Maddox, SJ (1990). "La constante cosmológica y la materia oscura fría". Nature . 348 (6303): 705. Bibcode :1990Natur.348..705E. doi :10.1038/348705a0. S2CID  12988317.
  15. ^ Collins, PDB; Martin, AD; Squires, EJ (1989). Física de partículas y cosmología . Nueva York: Wiley. ISBN 0-471-60088-1.
  16. ^ Pavo real (1999).
  17. ^ Gamow, George (28 de abril de 1970). My World Line: una autobiografía informal. Viking Adult . ISBN 0-670-50376-2. Consultado el 14 de marzo de 2007 .
  18. ^ Wahl, Nicolle (22 de noviembre de 2005). "¿Fue el 'mayor error' de Einstein un éxito estelar?". News@UofT . Universidad de Toronto. Archivado desde el original el 7 de marzo de 2007.
  19. ^ Turner, Michael S. (mayo de 2001). "Dándole sentido a la nueva cosmología". Int. J. Mod. Phys. A . 17 (S1): 180–196. arXiv : astro-ph/0202008 . Código Bibliográfico :2002IJMPA..17S.180T. doi :10.1142/S0217751X02013113. S2CID  16669258.
  20. ^ Brown, Harvey (2005). Relatividad física. Oxford University Press. pág. 164. ISBN 978-0-19-927583-0.
  21. ^ Trautman, Andrzej (1977). "Soluciones de las ecuaciones de Maxwell y Yang–Mills asociadas con fibras de Hopf". Revista Internacional de Física Teórica . 16 (9): 561–565. Código Bibliográfico :1977IJTP...16..561T. doi :10.1007/BF01811088. S2CID  123364248..
  22. ^ Ellis, GFR; MacCallum, M. (1969). "Una clase de modelos cosmológicos homogéneos". Comm. Math. Phys . 12 (2): 108–141. Código Bibliográfico :1969CMaPh..12..108E. doi :10.1007/BF01645908. S2CID  122577276.
  23. ^ Hsu, L.; Wainwright, J (1986). "Cosmologías homogéneas espacialmente autosimilares: soluciones ortogonales perfectas de fluidos y vacío". Clase. Quantum Grav . 3 (6): 1105–1124. Bibcode :1986CQGra...3.1105H. doi :10.1088/0264-9381/3/6/011. S2CID  250907312.
  24. ^ LeBlanc, VG (1997). "Estados asintóticos de las cosmologías magnéticas de Bianchi I". Clase. Quantum Grav . 14 (8): 2281. Bibcode :1997CQGra..14.2281L. doi :10.1088/0264-9381/14/8/025. S2CID  250876974.
  25. ^ Kohli, Ikjyot Singh; Haslam, Michael C. (2013). "Enfoque de sistemas dinámicos para un modelo magnetohidrodinámico viscoso tipo I de Bianchi". Phys. Rev. D . 88 (6): 063518. arXiv : 1304.8042 . Código Bibliográfico :2013PhRvD..88f3518K. doi :10.1103/physrevd.88.063518. S2CID  119178273.
  26. ^ Katanaev, MO (2006). "Forma polinómica de la acción de Hilbert–Einstein". Gen. Rel. Grav . 38 (8): 1233–1240. arXiv : gr-qc/0507026 . Código Bibliográfico :2006GReGr..38.1233K. doi :10.1007/s10714-006-0310-5. S2CID  6263993.

Referencias

Ver recursos de relatividad general .

Enlaces externos

Imágenes externas