El teorema de Stoke en la acción de Einstein-Hilbert

Cuando usamos el método de variación de acción para establecer la ecuación de campo GR en uno de los pasos, usamos el teorema de Stock en una variedad arbitraria para mostrar que uno de los términos no contribuye en nada a la variación con respecto a la métrica inversa. Véase, por ejemplo, la entrada de Wikipedia sobre la acción de Einstein-Hilbert .

La mayoría de los textos que leo, sin escribir los pasos reales de los cálculos, simplemente dicen que la variación en el infinito se desvanece y, por lo tanto, el término mencionado anteriormente se desvanece.

¿Puede alguien hacer el cálculo real que involucra la aplicación del teorema de Stoke para una variedad arbitraria aquí, que no veo en los libros de texto, ya que estoy confundido, en particular, estamos asumiendo que la variación de la métrica inversa o su derivada covariante es cero en infinitas coordenadas temporales o espaciales?

¿Podrías descargar el pdf que encuentras después de buscar en Google Lecture Notes de Harvey Reall - damtp (p116), aunque creo que también evita la derivación, lo siento y lo mismo con esta formulación lagrangiana de GR - Tapir - Caltech (mi tableta no copiará el enlace, disculpas) y aunque menciona el teorema de Stokes, y reconozco la acción EH, no sé lo suficiente para establecer si es la derivación o una referencia. Esperemos que esto no sea una pérdida de tiempo para usted.
Recomendaría "La teoría clásica de campos" de LD Landau y EM Lifshitz. Presenta una derivación de las ecuaciones de campo a partir de la variación de la acción de la gravedad. campo. Por lo que puedo ver, no usa el teorema de Stokes. Solo usa el teorema de Gauss para probar gramo i k d R i k gramo d Ω = 0 , para lo cual solo se utiliza que las variaciones del campo son cero en los límites de integración. No soy un experto en el tema, pero creo que este libro ofrece una buena derivación de la expresión clásica. Puede haber algunas adiciones modernas como señaló @QuantumBrick.

Respuestas (1)

El año pasado me inscribí en un curso de GR y tenía que presentar un seminario sobre el formalismo ADM, y muchas cosas me desconcertaron. Lo que estás preguntando era uno de ellos.

Al derivar la acción de Einstein-Hilbert, el procedimiento estándar es ignorar los términos de frontera sin decir por qué. El hecho es que si el espacio no tiene límites o tiene condiciones de contorno definidas, esta contribución puede desaparecer, pero esa no es la regla general: como la métrica debe permanecer sin degenerar, no todos sus componentes pueden llegar a cero en cualquier límite. Como esto nos desconcierta a usted y a mí, también desconcertó a personas como Hawking y York, y su conclusión fue que, en general, la acción apropiada no es la de Einstein-Hilbert, sino la que hoy llamamos la acción de Gibbons-Hawking- York . Es simplemente la acción de Einstein-Hilbert más un término límite que está intrínsecamente (e inevitablemente) conectado al formalismo ADM de GR, ya que depende de la métrica inducida y el tensor de curvatura extrínseco.

En resumen: si está ansioso por deshacerse de la contribución límite, está en el camino correcto: es una simplificación falsa, y esos términos son muy importantes en muchas áreas. De hecho, además del formalismo ADM y los infinitos asintóticos, el libro de Bojowald menciona que los términos de frontera en GR están asociados a la criticidad simétrica. Como no trabajo con GR, no estoy seguro de cuán importantes son esos temas, pero probablemente lo suficientemente importantes como para que lea un poco sobre esos términos de límites. Bojowald fue la mejor referencia que encontré cuando estaba estudiando este tema.