Engeometría diferencial, eltensor de Einstein (llamado así porAlbert Einstein; también conocido como latraza invertida delTensor de Ricci) se utiliza para expresar lacurvatura de unavariedad pseudoriemanniana. Enrelatividad general, aparece en lasecuaciones de campo de Einstein para lagravitación que describen lacurvatura del espacio-tiempo de una manera que sea consistente con la conservación de la energía y el momento.
El tensor de Einstein
es untensor de orden 2, definido sobre unavariedad pseudoriemanniana. En notación indicial libre se define como

donde
es eltensor de Ricci,
es eltensor métrico y
es lacurvatura escalar, que se calcula como la traza del tensor de Ricci
por
. En forma de componentes, la ecuación anterior se escribe como:

El tensor de Einstein es simétrico:

y, al igual que eltensor energía-impulso, y tiene cero divergencia:

El tensor de Ricci depende solo del tensor métrico, por lo que el tensor de Einstein se puede definir directamente con solo el tensor métrico. Sin embargo, esta expresión es compleja y rara vez se cita en los libros de texto. La complejidad de esta expresión se puede mostrar usando la fórmula para el tensor de Ricci en términos desímbolos de Christoffel:
![{\displaystyle {\begin{aligned}G_{\alpha \beta }&=R_{\alpha \beta }-{\frac {1}{2}}g_{\alpha \beta }R\\&=R_{\alpha \beta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }R_{\gamma \zeta }\\&=\left(\delta _{\alpha }^{\gamma }\delta _{\beta }^{\zeta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }\right)R_{\gamma \zeta }\\&=\left(\delta _{\alpha }^{\gamma }\delta _{\beta }^{\zeta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }\right)\left(\Gamma ^{\epsilon }{}_{\gamma \zeta ,\epsilon }-\Gamma ^{\epsilon }{}_{\gamma \epsilon ,\zeta }+\Gamma ^{\epsilon }{}_{\epsilon \sigma }\Gamma ^{\sigma }{}_{\gamma \zeta }-\Gamma ^{\epsilon }{}_{\zeta \sigma }\Gamma ^{\sigma }{}_{\epsilon \gamma }\right),\\[2pt]G^{\alpha \beta }&=\left(g^{\alpha \gamma }g^{\beta \zeta }-{\frac {1}{2}}g^{\alpha \beta }g^{\gamma \zeta }\right)\left(\Gamma ^{\epsilon }{}_{\gamma \zeta ,\epsilon }-\Gamma ^{\epsilon }{}_{\gamma \epsilon ,\zeta }+\Gamma ^{\epsilon }{}_{\epsilon \sigma }\Gamma ^{\sigma }{}_{\gamma \zeta }-\Gamma ^{\epsilon }{}_{\zeta \sigma }\Gamma ^{\sigma }{}_{\epsilon \gamma }\right),\end{aligned}}}](/image.pl?url=https%3a%2f%2fwikimedia.org%2fapi%2frest_v1%2fmedia%2fmath%2frender%2fsvg%2ff11674e6d35bd62f73a04ed7b16a3f9098fcb173&f=jpg&w=240)
donde
es eltensor de Kronecker y el símbolo de Christoffel
se define como

y los términos de la forma
representan su derivada parcial en la dirección μ, es decir:

Antes de las cancelaciones, esta fórmula da como resultado
términos individuales. Las cancelaciones reducen un poco este número.
En el caso especial de unsistema de referencia inercial localmente cerca de un punto, las primeras derivadas del tensor métrico desaparecen y la forma componente del tensor de Einstein se simplifica considerablemente:
![{\displaystyle {\begin{aligned}G_{\alpha \beta }&=g^{\gamma \mu }\left[g_{\gamma [\beta ,\mu ]\alpha }+g_{\alpha [\mu ,\beta ]\gamma }-{\frac {1}{2}}g_{\alpha \beta }g^{\epsilon \sigma }\left(g_{\epsilon [\mu ,\sigma ]\gamma }+g_{\gamma [\sigma ,\mu ]\epsilon }\right)\right]\\&=g^{\gamma \mu }\left(\delta _{\alpha }^{\epsilon }\delta _{\beta }^{\sigma }-{\frac {1}{2}}g^{\epsilon \sigma }g_{\alpha \beta }\right)\left(g_{\epsilon [\mu ,\sigma ]\gamma }+g_{\gamma [\sigma ,\mu ]\epsilon }\right),\end{aligned}}}](/image.pl?url=https%3a%2f%2fwikimedia.org%2fapi%2frest_v1%2fmedia%2fmath%2frender%2fsvg%2f481e46b5e96696a2a46cbb8b7ff8205792abb41b&f=jpg&w=240)
donde los corchetes denotan convencionalmenteantisimetrización sobre índices entre corchetes, es decir,
![{\displaystyle g_{\alpha [\beta ,\gamma ]\epsilon }\,={\frac {1}{2}}\left(g_{\alpha \beta ,\gamma \epsilon }-g_{\alpha \gamma ,\beta \epsilon }\right).}](/image.pl?url=https%3a%2f%2fwikimedia.org%2fapi%2frest_v1%2fmedia%2fmath%2frender%2fsvg%2ff590e8f71826ac9be809363879c4f489cd13f4f4&f=jpg&w=240)
Latraza del tensor de Einstein se puede calcular mediantecontrayendo la ecuación en ladefinición con eltensor métrico
. En
dimensiones (de firma arbitraria):

Por lo tanto, en el caso especial de las dimensionesn = 4,
. Es decir, la traza del tensor de Einstein es el negativo de la traza deltensor de Ricci. Por lo tanto, otro nombre para el tensor de Einstein es el "tensor de Ricci invertido en traza". Este
caso es especialmente relevante en lateoría de la relatividad general.
Uso en relatividad general
[editar]El tensor de Einstein permite que lasecuaciones de campo de Einstein se escriban en forma concisa:

donde
es laconstante cosmológica y
es laconstante gravitacional de Einstein.
Puede verse que el tensor de Einstein depende de manerano lineal del tensor métrico, pero depende linealmente de la segundaderivada parcial de la métrica. Como tensor simétrico de segundo orden, el tensor de Einstein tiene 10 componentes independientes en un espacio-tiempo de 4 dimensiones. Se deduce que las ecuaciones de campo de Einstein son un conjunto de diez ecuaciones diferenciales cuasilineales en derivadas parciales de segundo orden para el tensor métrico.
Lasidentidades de Bianchi contraídas también se pueden expresar fácilmente con la ayuda del tensor de Einstein:

Las identidades de Bianchi (contraídas) aseguran automáticamente la conservación covariante deltensor energía-impulso en espacios-tiempo curvos:

El significado físico del tensor de Einstein se destaca por esta identidad. En términos del tensor energía-impuslo contraído con unvector de Killing
, lo cual da lugar a unaley de conservación ordinaria de la forma:

David Lovelock ha demostrado que, en unavariedad diferenciable de cuatro dimensiones, el tensor de Einstein es la única funcióntensorial y cuyadivergencia sea nulo, formado a partir del tensor métrico
y a lo sumo sus derivadas parciales primera y segunda.[1][2][3][4][5]
Sin embargo, laecuación de campo de Einstein no es la única ecuación que satisface las tres condiciones:[6]
- Parecerse pero generalizarEcuación gravitacional de Newton-Poisson
- Aplicar a todos los sistemas de coordenadas, y
- Garantizar la conservación covariante local de la energía-momento para cualquier tensor métrico.
Se han propuesto muchas teorías alternativas, como lateoría de Einstein-Cartan, que también satisfacen las condiciones anteriores.