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 .
Las ecuaciones de campo de Einstein (EFE) pueden escribirse en la forma: [5] [1]
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]
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]
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í.
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).
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.
La relatividad general es consistente con la conservación local de la energía y el momento expresada como
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.
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 .
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.
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/dτ 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
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 .
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]
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]
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 .
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]
Ver recursos de relatividad general .