La acción de Einstein–Hilbert (también conocida como acción de Hilbert) en relatividad general es la acción que proporcionan las ecuaciones del campo de Einstein a través del principio de mínima acción. Con la signatura (− + + +), la parte gravitacional de la acción está dada por[1]
![{\displaystyle S={1 \over 2\kappa }\int R{\sqrt {-g}}\,\mathrm {d} ^{4}x\;,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/becea08974ec073aa8aae9a8dcfb58f4701cb13e)
donde
es el determinante de la matriz del tensor métrico,
es el escalar de Ricci, y
, donde
es la constante de gravitación y
es la velocidad de la luz en el vacío. La integral se calcula sobre el espacio-tiempo entero si converge. Si no converge,
no está bien definida, pero una definición modificada donde se integra en dominios arbitrariamente grandes y relativamente compactos, todavía proporciona la ecuación de Einstein empleando la ecuación de Euler–Lagrange con la acción de Einstein–Hilbert.
La acción fue propuesta por primera vez por David Hilbert en 1915.[2]
Discusión
La obtención de las ecuaciones partiendo de una acción tiene varias ventajas. Primero, facilita la unificación de la relatividad general con otras teorías de campo clásicas (como la teoría de Maxwell), también formuladas en términos de una acción. En el proceso, se identifica un candidato natural para el término de fuente que acopla la métrica con los campos de materia. Además, la acción permite la identificación fácil de cantidades conservadas a través del teorema de Noether estudiando las simetrías de la acción.
En relatividad general, normalmente se asume que la acción es un funcional de la métrica (y de los campos de materia), y la conexión está dada por la conexión de Levi-Civita. La formulación de Palatini de la relatividad general supone la métrica y la conexión independientes, y la acción se varía con respecto a ambos independientemente, lo cual lo hace posible incluir campos fermiónicos de materia con espín no entero.
Las ecuaciones de Einstein en presencia de materia se obtienen al añadir la acción de la materia a la acción de Einstein-Hilbert.
Obtención de las ecuaciones de campo de Einstein
Se supone que la acción completa de la teoría está dada por la acción de Einstein–Hilbert plazo más un término
que describe cualquier campo de materia que aparezca en la teoría.
![{\displaystyle S=\int \left[{1 \over 2\kappa }\,R+{\mathcal {L}}_{\mathrm {M} }\right]{\sqrt {-g}}\,\mathrm {d} ^{4}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e42e8c9019c00f9c2c62b61006dac147ecaed0b3)
El principio de acción establece que la variación de esta acción con respecto al inverso de la métrica es cero, resultando
![{\displaystyle {\begin{aligned}0&=\delta S\\&=\int \left[{1 \over 2\kappa }{\frac {\delta ({\sqrt {-g}}R)}{\delta g^{\mu \nu }}}+{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }\mathrm {d} ^{4}x\\&=\int \left[{1 \over 2\kappa }\left({\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}\right)+{\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }{\sqrt {-g}}\,\mathrm {d} ^{4}x.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e51d47775902717d36b9f85c107e5cf95c2cee9)
Como esta ecuación tiene que ser válida para cualquier variación
, implica que
![{\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-2\kappa {\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/343bee9f0b438813237bfeb5e6c2ea25c6b99802)
es la ecuación de movimiento para el campo métrico. El lado de la derecha de esta ecuación es (por definición) proporcional al tensor de energía-impulso,
![{\displaystyle T_{\mu \nu }:={\frac {-2}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}=-2{\frac {\delta {\mathcal {L}}_{\mathrm {M} }}{\delta g^{\mu \nu }}}+g_{\mu \nu }{\mathcal {L}}_{\mathrm {M} }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0fefbe6e3af41abb8202ed09f6571dea2f13fa4)
Para calcular el lado de la izquierda de la ecuación necesitamos las variaciones del escalar de Ricci
y el determinante de la métrica.
Variación del tensor de Riemann, el tensor de Ricci, y el escalar de Ricci
Para calcular la variación del escalar de Ricci calculamos primero la variación del tensor de curvatura de Riemann, y después la variación del tensor de Ricci.[3] El tensor de curvatura del Riemann está definido por
![{\displaystyle {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\Gamma _{\mu \sigma }^{\rho }+\Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5698f3948b36ebac1588a97a951d6819909cc7c2)
Como el tensor de Riemann solamente depende de la conexión de Levi-Civita
, se puede calcular la variación del tensor de Riemann como
![{\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\delta \Gamma _{\mu \sigma }^{\rho }+\delta \Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\delta \Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\delta \Gamma _{\mu \sigma }^{\lambda }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8ad9adc10ae615249405e87d5340e0fa611c5f6)
Ahora bien, como
es la diferencia de dos conexiones, es un tensor, y por lo tanto podemos calcular su derivada covariante
![{\displaystyle \nabla _{\lambda }(\delta \Gamma _{\nu \mu }^{\rho })=\partial _{\lambda }(\delta \Gamma _{\nu \mu }^{\rho })+\Gamma _{\sigma \lambda }^{\rho }\delta \Gamma _{\nu \mu }^{\sigma }-\Gamma _{\nu \lambda }^{\sigma }\delta \Gamma _{\sigma \mu }^{\rho }-\Gamma _{\mu \lambda }^{\sigma }\delta \Gamma _{\nu \sigma }^{\rho }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19e2efaaa6c1055fdbf140696d84dfc2e0cd8a7b)
Podemos observar que la expresión para la variación de tensor de curvatura de Riemann es igual a la diferencia de dos de estos términos,
![{\displaystyle \delta R^{\rho }{}_{\sigma \mu \nu }=\nabla _{\mu }(\delta \Gamma _{\nu \sigma }^{\rho })-\nabla _{\nu }(\delta \Gamma _{\mu \sigma }^{\rho }).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bcfce4cc8b6fb6e1100a2d1c87d223cd83021d6)
Ahora podemos obtener la variación del tensor de curvatura de Ricci simplemente por contracción de dos índices de la variación del tensor de Riemann, y conseguir así la identidad de Palatini:
![{\displaystyle \delta R_{\mu \nu }\equiv \delta R^{\rho }{}_{\mu \rho \nu }=\nabla _{\rho }(\delta \Gamma _{\nu \mu }^{\rho })-\nabla _{\nu }(\delta \Gamma _{\rho \mu }^{\rho }).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdef6d82e0640c7e2e4d20b9fe8f9684d110c658)
El escalar de Ricci se define como
![{\displaystyle R=g^{\mu \nu }R_{\mu \nu }.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11347c4ebc131fa3fec5df2b0be812fb90029eec)
Por tanto, su variación con respecto al inverso de la métrica
está dado por
![{\displaystyle {\begin{aligned}\delta R&=R_{\mu \nu }\delta g^{\mu \nu }+g^{\mu \nu }\delta R_{\mu \nu }\\&=R_{\mu \nu }\delta g^{\mu \nu }+\nabla _{\sigma }\left(g^{\mu \nu }\delta \Gamma _{\nu \mu }^{\sigma }-g^{\mu \sigma }\delta \Gamma _{\rho \mu }^{\rho }\right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca76afbd8bcaf11b31254ff3f7da7d2eca22ef61)
En la segunda línea utilizamos el resultado anteriormente obtenido para la variación del tensor de Ricci y la compatibilidad métrica de la derivada covariante,
.
El último término,
, multiplicado por
pasa a ser una derivada exacta, ya que
![{\displaystyle {\sqrt {-g}}A_{;a}^{a}=({\sqrt {-g}}A^{a})_{,a}\;\mathrm {or} \;{\sqrt {-g}}\nabla _{\mu }A^{\mu }=\partial _{\mu }\left({\sqrt {-g}}A^{\mu }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7dd1b1ff0817b612571b7ce9d6f88e7bcaf5e85)
y así por el teorema de Stokes solamente produce un término de frontera al integrar. Cuando la variación de la métrica
se anula en el infinito, este término no contribuye a la variación de la acción. Y así obtenemos,
![{\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}=R_{\mu \nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93d9384eaadb32de47c97a77b854ebe105c8c3a0)
Variación del determinante
Aplicando la fórmula de Jacobi para derivar un determinante resulta:
![{\displaystyle \,\!\delta g=\delta \det(g_{\mu \nu })=g\,g^{\mu \nu }\delta g_{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b30fc858ff9c52f57e926f059d144eba33f7d25)
equivalentemente se podría transformar a un sistema de coordenadas donde
sea diagonal y allí aplicar la regla de producto para derivar el producto de factores en la diagonal principal.
Utilizando este conseguimos
![{\displaystyle {\begin{aligned}\delta {\sqrt {-g}}&=-{\frac {1}{2{\sqrt {-g}}}}\delta g&={\frac {1}{2}}{\sqrt {-g}}(g^{\mu \nu }\delta g_{\mu \nu })&=-{\frac {1}{2}}{\sqrt {-g}}(g_{\mu \nu }\delta g^{\mu \nu })\,.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ed02ea84bcf97485e3ed6afd3ae443c38aa2a53)
En la última igualdad utilizamos el hecho que
![{\displaystyle g_{\mu \nu }\delta g^{\mu \nu }=-g^{\mu \nu }\delta g_{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19c6f552a125f3876ca55e2c230cfdd0cbb44eb7)
que se sigue de la regla para derivar el inverso de una matriz
![{\displaystyle \delta g^{\mu \nu }=-g^{\mu \alpha }(\delta g_{\alpha \beta })g^{\beta \nu }\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a2558cc8819c0691012b13c5e600e31b3fa262f)
Por ello concluimos que
![{\displaystyle {\frac {1}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-{\frac {1}{2}}g_{\mu \nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/791a3fa6640acd65008a25e22af414bb9763ab26)
Ecuación de movimiento
Ahora que tenemos todas las variaciones necesarias calculadas, podemos insertarlas en la ecuación de movimiento para el campo métrico para obtener,
![{\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={\frac {8\pi G}{c^{4}}}T_{\mu \nu },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57772b1e5b2b060170059de96350775d4f862ca0)
que es la ecuación de campo de Einstein, y
![{\displaystyle \kappa ={\frac {8\pi G}{c^{4}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c84041b96187448c82749df5c23e1414ce6bf7e2)
se ha escogido para recuperar la ley de la gravedad newtoniana en el límite no relativista.
Constante cosmológica
Cuando se añade una constante cosmológica
al lagrangiano, la acción[4]
![{\displaystyle S=\int \left[{1 \over 2\kappa }\left(R-2\Lambda \right)+{\mathcal {L}}_{\mathrm {M} }\right]{\sqrt {-g}}\,\mathrm {d} ^{4}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df149d366a06772bcc6a33cccdb15069820c7aa0)
produce las ecuaciones de campo:
![{\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R+\Lambda g_{\mu \nu }={\frac {8\pi G}{c^{4}}}T_{\mu \nu }\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d898e8bc2a36b8852d72fdf26fe586852ed7d377)
Véase también
Referencias
- ↑ Richard P. Feynman, Feynman Lectures on Gravitation, Addison-Wesley, 1995, ISBN 0-201-62734-5, p. 136, eq. (10.1.2)
- ↑ Hilbert, David (1915). «Die Grundlagen der Physik». Albert Einstein in Annalen der Physik (en alemán).
- ↑ Carroll, Sean (2004). Spacetime and Geometry. Addison Wesley. ISBN 0-8053-8732-3.
- ↑ Sokolov, D. D. «Cosmological Constant». En Hazewinkel, Michiel, ed. https://www.encyclopediaofmath.org. (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última).
Datos: Q239224