Para la ecuación E = mc 2 , consulte Equivalencia masa-energía .
Este artículo puede ser demasiado técnico para que la mayoría de los lectores lo comprendan . Ayude a mejorarlo para que sea comprensible para los no expertos , sin eliminar los detalles técnicos. ( Mayo de 2021 ) ( Obtenga información sobre cómo y cuándo eliminar este mensaje de plantilla )
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 la materia dentro de él. [1]
Las ecuaciones fueron publicadas por primera vez por Einstein en 1915 en forma de una ecuación tensorial [2] que relacionaba lacurvatura del espacio-tiempo (expresada por eltensor de Einstein) con la energía local, elmomentoy la tensión dentro de ese espacio-tiempo (expresada 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 , los 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 un dada la disposición 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 el EFE se escriba como un conjunto de ecuaciones diferenciales parciales no lineales cuando se usa de esta manera. Las soluciones del EFE son los componentes del tensor métrico. El inercialLas trayectorias de partículas y radiación ( geodésicas ) en la geometría resultante se calculan utilizando la ecuación geodésica .
Además de implicar la conservación de la energía local-momento, el 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 el 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 espaciotiempo que tiene solo pequeñas desviaciones del espaciotiempo plano , lo que conduce al EFE linealizado . Estas ecuaciones se utilizan para estudiar fenómenos como las ondas gravitacionales .
Contenido
1 forma matemática
1.1 Convención de signos
1.2 Formulaciones equivalentes
2 La constante cosmológica
3 características
3.1 Conservación de energía e impulso
3.2 No linealidad
3.3 El principio de correspondencia
4 Ecuaciones de campo de vacío
5 ecuaciones de Einstein-Maxwell
6 Soluciones
7 El EFE linealizado
8 Forma polinomial
9 Véase también
10 notas
11 referencias
12 Enlaces externos
Forma matemática
Parte de una serie sobre
Tiempo espacial
Relatividad especial
Relatividad general
Conceptos del espacio-tiempo
Colector espacio-tiempo
Principio de equivalencia
Transformaciones de Lorentz
Espacio Minkowski
Relatividad general
Introducción a la relatividad general
Matemáticas de la relatividad general
Ecuaciones de campo de Einstein
Gravedad clásica
Introducción a la gravitación
Ley de Newton de la gravitación universal
Matemáticas relevantes
Cuatro vectores
Derivaciones de la relatividad
Diagramas de espacio-tiempo
Geometría diferencial
Espacio-tiempo curvo
Matemáticas de la relatividad general
Topología del espacio-tiempo
v
t
mi
Las ecuaciones de campo de Einstein (EFE) se pueden escribir en la forma: [5] [1]
EFE en una pared en Leiden
donde G μν es el tensor de Einstein , g μν es el tensor métrico , T μν 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 R μν es el tensor de curvatura de Ricci y R es la curvatura escalar . Este es un tensor simétrico de segundo grado que depende solo del tensor métrico y sus derivadas primera y segunda.
La constante gravitacional de Einstein se define como [6] [7]
donde G es la constante de Newton de la gravitación y c es la velocidad de la luz en el vacío.
Por tanto, el EFE también se puede escribir 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. El EFE puede interpretarse entonces como un conjunto de ecuaciones que dictan cómo el estrés-energía-momento determina la curvatura del espacio-tiempo.
Estas ecuaciones, junto con la ecuación geodésica , [8] que dicta cómo la materia en caída libre se mueve a través del espacio-tiempo, forman el núcleo de la formulación matemática de la relatividad general .
El 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 especificada de materia y energía en forma de tensor esfuerzo-energía, los EFE se entienden como ecuaciones para el tensor métrico g μν , ya que tanto el tensor de Ricci como la curvatura escalar dependen de la métrica de una manera no lineal complicada. Cuando están completamente escritos, los EFE son un sistema de diez ecuaciones diferenciales parciales hiperbólico-elípticas acopladas, no lineales . [10]
Convención de signos
La forma anterior de EFE es el estándar establecido por Misner, Thorne y Wheeler (MTW). [11] Los autores analizaron las convenciones que existen 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 (- + -) .
Los autores, incluido Einstein, han utilizado un signo diferente en su definición para el 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 usa la convención de signos métricos (+ - - -) en lugar de la convención de signos métricos MTW (- + + +) adoptada aquí.
Formulaciones equivalentes
Tomando la traza con respecto a la métrica de ambos lados del EFE se obtiene
donde D es la dimensión del espacio-tiempo. Resolviendo para R y sustituyendo esto en el EFE original, se obtiene la siguiente forma equivalente de "rastreo inverso":
En D = 4 dimensiones esto se reduce a
Revertir la traza nuevamente restauraría el EFE original. La forma de traza inversa puede ser más conveniente en algunos casos (por ejemplo, cuando uno está interesado en el límite de campo débil y puede reemplazar g μν en la expresión de la derecha con la métrica de Minkowski sin una pérdida significativa de precisión).
La constante cosmológica
Artículo principal: constante cosmológica
En las ecuaciones de campo de Einstein
el término que contiene la constante cosmológica Λ estaba ausente en la versión en la que los publicó originalmente. Luego, Einstein 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:
cualquier solución de estado estacionario deseada descrita por esta ecuación es inestable, y
Las observaciones de Edwin Hubble mostraron que nuestro universo se está expandiendo .
Einstein luego abandonó Λ , comentando 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] La constante cosmológica es insignificante a la 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 se puede mover algebraicamente al otro lado e incorporar 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 isotrópica 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 antes.
La existencia de una constante cosmológica es, por tanto, equivalente a la existencia de una energía de vacío y una presión de signo opuesto. Esto ha llevado a que los términos "constante cosmológica" y "energía del vacío" se usen indistintamente en la relatividad general.
Características
Conservación de energía e impulso
La relatividad general es consistente con la conservación local de energía y momento expresado como
.
Derivación de la conservación de la energía local-momento
Contratando la identidad diferencial Bianchi
con g αβ da, usando 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:
que es equivalente a
utilizando la definición del tensor de Ricci .
Luego, contrae nuevamente con la métrica
Llegar
Las definiciones del tensor de curvatura de Ricci y la curvatura escalar muestran que
que se puede reescribir 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 reetiquetar los índices,
Usando el EFE, esto da inmediatamente,
que expresa la conservación local de estrés-energía. Esta ley de conservación es un requisito físico. Con sus ecuaciones de campo, Einstein se aseguró de que la relatividad general sea consistente con esta condición de conservación.
No linealidad
La no linealidad de la EFE distingue la relatividad general de muchas otras teorías físicas fundamentales. Por ejemplo, las ecuaciones de electromagnetismo de Maxwell son lineales en los campos eléctrico y magnético , y 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 la mecánica cuántica de Schrödinger , que es lineal en la función de onda .
El principio de correspondencia
La EFE a reducir a la ley de gravedad de Newton utilizando tanto la aproximación de campo débil y la aproximación a cámara lenta . De hecho, la constante G que aparece en el EFE 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 gravitacional en julios por kilogramo del campo gravitacional g = −∇Φ , ver la ley de la gravedad de Gauss
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 la relatividad general, estas ecuaciones son reemplazadas por las ecuaciones de campo de Einstein en la forma de traza inversa.
para alguna constante, K , y la ecuación geodésica
Para ver cómo el último se reduce al primero, asumimos que la velocidad de la partícula de prueba es aproximadamente cero.
y por lo tanto
y que la métrica y sus derivadas son aproximadamente estáticas y que los cuadrados de desviaciones de la métrica de Minkowski son insignificantes. La aplicación de estos supuestos simplificadores a los componentes espaciales de la ecuación geodésica da
donde se han dividido dos factores de dt / dτ . Esto se reducirá a su contraparte newtoniana, siempre que
Nuestras suposiciones obligan a α = iy las derivadas de tiempo (0) a ser cero. Entonces esto se simplifica a
que se satisface dejando
Volviendo a las ecuaciones de Einstein, solo necesitamos el componente tiempo-tiempo
Los supuestos de campo estático y de baja velocidad implican que
Entonces
y por lo tanto
De la definición del tensor de Ricci
Nuestras suposiciones simplificadoras hacen que los cuadrados de Γ desaparezcan junto con las derivadas de tiempo
Combinando las ecuaciones anteriores juntas
que se reduce a la ecuación de campo newtoniana proporcionada
que ocurrirá si
Ecuaciones de 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 considerada, 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 inversa , las ecuaciones de vacío 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 de 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. Los ejemplos no triviales incluyen la solución de Schwarzschild y la solución de Kerr .
Las variedades con un tensor de Ricci que desaparece , R μν = 0 , se denominan variedades planas de Ricci y variedades con un tensor de Ricci proporcional a la métrica como variedades de Einstein .
Ecuaciones de Einstein-Maxwell
Ver también: ecuaciones de Maxwell en el espacio-tiempo curvo
Si el tensor de energía-momento T μν es el de un campo electromagnético en el espacio libre , es decir, si el tensor de tensión-energía electromagnética
se utiliza, entonces las ecuaciones de campo de Einstein se denominan ecuaciones de Einstein-Maxwell (con constante cosmológica Λ , considerada 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 anti-simetrización . La primera ecuación afirma que la 4- divergencia de la forma 2 F es cero, y la segunda que su derivada exterior es cero. De este último, se sigue por el lema de Poincaré que en un gráfico 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, existen soluciones globales de la ecuación que pueden carecer de un potencial definido globalmente. [21]
Soluciones
Artículo principal: Soluciones de las ecuaciones de campo de Einstein
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 pueden resolverse por completo (es decir, sin hacer aproximaciones). Por ejemplo, no se conoce una solución completa para un espacio-tiempo con dos cuerpos masivos (que es un modelo teórico de un sistema estelar binario, por ejemplo). Sin embargo, en estos casos se suelen realizar aproximaciones. Estos se conocen comúnmente como aproximaciones post-Newtonianas . Aun así, hay varios casos en los que las ecuaciones de campo se han resuelto por completo, y esos se denominan soluciones exactas . [9]
El estudio de soluciones exactas de las ecuaciones de campo de Einstein es una de las actividades de la cosmología . Conduce a la predicción de 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 a través del método de marcos ortonormales como pionero en Ellis y MacCallum. [22] En este enfoque, las ecuaciones de campo de Einstein se reducen a un conjunto de ecuaciones diferenciales ordinarias acopladas, no lineales. Como discutieron Hsu y Wainwright, [23] las soluciones auto-similares 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
Artículo principal: Gravedad linealizada
La no linealidad del EFE dificulta la búsqueda de soluciones exactas. Una forma de resolver las ecuaciones de campo es hacer una aproximación, a saber, que lejos de la (s) fuente (s) de materia gravitacional, el campo gravitacional es muy débil y el espacio-tiempo se aproxima al del espacio de Minkowski . Luego, la métrica se escribe como la suma de la métrica de Minkowski y un término que representa la desviación de la métrica verdadera 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 radiación gravitacional .
Forma polinomial
A pesar de que el EFE tal como está escrito contiene el inverso del tensor métrico, se pueden organizar en una forma que contenga el tensor métrico en forma polinomial y sin su inverso. Primero, el determinante de la métrica en 4 dimensiones se puede escribir
usando el símbolo Levi-Civita ; y la inversa de la métrica en 4 dimensiones se puede escribir como:
Sustituir esta definición de la inversa de la métrica en las ecuaciones y luego multiplicar ambos lados por una potencia adecuada de det ( g ) para eliminarla del denominador da como resultado ecuaciones polinómicas en el tensor métrico y su primera y segunda derivadas. La acción de la que se derivan las ecuaciones también se puede escribir en forma polinomial mediante redefiniciones adecuadas de los campos. [26]
Ver también
Acción de Einstein-Hilbert
Principio de equivalencia
Soluciones exactas en relatividad general
Recursos de relatividad general
Historia de la relatividad general
Ecuación de Hamilton – Jacobi – Einstein
Matemáticas de la relatividad general
Relatividad numérica
Cálculo de Ricci
Notas
↑ a b Einstein, Albert (1916). "La Fundación de la Teoría General de la Relatividad" . Annalen der Physik . 354 (7): 769. Bibcode : 1916AnP ... 354..769E . doi : 10.1002 / yp.19163540702 . Archivado desde el original ( PDF ) el 2012-02-06.
^ 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 .
^ Misner, Thorne y Wheeler (1973) , p. 916 [cap. 34].
^ Carroll, Sean (2004). Espacio-tiempo y geometría: una introducción a la relatividad general . págs. 151-159. ISBN 0-8053-8732-3.
^ 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. pag. 180. ISBN 978-0-387-69200-5.
^ 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 , equivalente 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.
^ 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 .
^ Weinberg, Steven (1993). Sueños de una teoría final: la búsqueda de las leyes fundamentales de la naturaleza . Prensa Vintage. págs. 107, 233. ISBN 0-09-922391-0.
^ a b 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.
^ Rendall, Alan D. (2005). "Teoremas de existencia y dinámica global para las ecuaciones de Einstein" . Rev. Relatividad viviente . 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 .
^ Misner, Thorne y Wheeler (1973) , p. 501ff.
^ Weinberg (1972) .
^ Peebles, Phillip James Edwin (1980). La estructura a gran escala del universo . Prensa de la Universidad de Princeton. ISBN 0-691-08239-1.
↑ Efstathiou, G .; Sutherland, WJ; Maddox, SJ (1990). "La constante cosmológica y la materia oscura fría". Naturaleza . 348 (6303): 705. Código bibliográfico : 1990Natur.348..705E . doi : 10.1038 / 348705a0 . S2CID 12988317 .
^ Collins, PDB; Martin, AD; Squires, EJ (1989). Física de partículas y cosmología . Nueva York: Wiley. ISBN 0-471-60088-1.
^ Pavo real (1999) .
^ Gamow, George (28 de abril de 1970). Mi línea mundial: una autobiografía informal . Adulto vikingo . ISBN 0-670-50376-2. Consultado el 14 de marzo de 2007 .
↑ Wahl, Nicolle (22 de noviembre de 2005). "¿Fue el 'mayor error' de Einstein un éxito estelar?" . Noticias @ UofT . Universidad de Toronto. Archivado desde el original el 7 de marzo de 2007.
^ Turner, Michael S. (mayo de 2001). "Dar sentido a la nueva cosmología". En t. J. Mod. Phys. Una . 17 (S1): 180-196. arXiv : astro-ph / 0202008 . Código Bibliográfico : 2002IJMPA..17S.180T . doi : 10.1142 / S0217751X02013113 . S2CID 16669258 .
^ Brown, Harvey (2005). Relatividad física . Prensa de la Universidad de Oxford. pag. 164. ISBN 978-0-19-927583-0.
^ Trautman, Andrzej (1977). "Soluciones de las ecuaciones de Maxwell y Yang-Mills asociadas con fibrings 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 . .