Acción de Einstein-Hilbert

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]​

donde ${displaystyle g=det(g_{mu u })}$ es el determinante de la matriz del tensor métrico, ${displaystyle R}$ es el escalar de Ricci, y ${displaystyle kappa =8pi Gc^{-4}}$, donde ${displaystyle G}$ es la constante de gravitación y ${displaystyle c}$ es la velocidad de la luz en el vacío. La integral se calcula sobre el espacio-tiempo entero si converge. Si no converge, ${displaystyle S}$ 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]​

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.

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 ${displaystyle {mathcal {L}}_{mathrm {M} }}$ que describe cualquier campo de materia que aparezca en la teoría.

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

Como esta ecuación tiene que ser válida para cualquier variación ${displaystyle delta g^{mu u }}$, implica que

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,

Para calcular el lado de la izquierda de la ecuación necesitamos las variaciones del escalar de Ricci ${displaystyle R}$ y el determinante de la métrica.

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

Como el tensor de Riemann solamente depende de la conexión de Levi-Civita ${displaystyle Gamma _{mu u }^{lambda }}$, se puede calcular la variación del tensor de Riemann como

Ahora bien, como ${displaystyle delta Gamma _{ u mu }^{ ho }}$ es la diferencia de dos conexiones, es un tensor, y por lo tanto podemos calcular su derivada covariante

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,

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:

El escalar de Ricci se define como

Por tanto, su variación con respecto al inverso de lamétrico ${displaystyle g^{mu u }}$ está dado por

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, ${displaystyle abla _{sigma }g^{mu u }=0}$.

El último término,${displaystyle abla _{sigma }(g^{mu u }delta Gamma _{ u mu }^{sigma }-g^{mu sigma }delta Gamma _{ ho mu }^{ ho })}$ , multiplicado por ${displaystyle {sqrt {-g}}}$ pasa a ser una derivada exacta, ya que

y así por el teorema de Stokes solamente produce un término de frontera al integrar. Cuando la variación de la métrica ${displaystyle delta g^{mu u }}$ se anula en el infinito, este término no contribuye a la variación de la acción. Y así obtenemos,

Aplicando la fórmula de Jacobi para derivar un determinante resulta:

equivalentemente se podría transformar a un sistema de coordenadas donde ${displaystyle g_{mu u }!}$ sea diagonal y allí aplicar la regla de producto para derivar el producto de factores en la diagonal principal.

Utilizando este conseguimos

En la última igualdad utilizamos el hecho que

que se sigue de la regla para derivar el inverso de una matriz

Por ello concluimos que

Ahora que tenemos todas las variaciones necesarias calculadas, podemos insertarlas en la ecuación de movimiento para el campo métrico para obtener,

que es la ecuación de campo de Einstein, y

se ha escogido para recuperar la ley de la gravedad newtoniana en el límite no relativista.

Cuando se añade una constante cosmológica ${displaystyle Lambda }$ al lagrangiano, la acción^[4]​

produce las ecuaciones de campo: