En el espacio-tiempo estático, la curvatura extrínseca de la hipersuperficie t=constantet=constantet=constante es cero

¿Cómo puedo probar que en el espacio-tiempo estático, la curvatura extrínseca de la hipersuperficie t = C o norte s t a norte t es cero? Todos mis esfuerzos son fallidos. Cualquier pista sería muy apreciada.

Hola @Bakhoda: dibuje un poco de lo que ha hecho. Creo que es por eso que esta pregunta ha sido cerrada. Sé por experiencia personal en Maths SE que tienes experiencia geométrica mucho más allá de la "tarea" y sé que habrías hecho un trabajo serio para encontrar una prueba por tu cuenta. Pero esto no está claro en tu pregunta.
Me alegro de que hayas recibido una respuesta, por cierto, parecería sorprendentemente complicado, más complicado de lo que hubiera esperado: estaba tratando de pensar en una respuesta elegante tipo Spivak con una aplicación más general que GR.
Hola @WetSavannaAnimalakaRodVance, gracias por tu consejo. ¡Me sorprendí cuando vi que la pregunta había sido cerrada! Empecé recientemente el estudio de GR, primero pensé que la pregunta es muy trivial para los estudiantes de física. ¡Ahora, encontré lo que está mal por sus comentarios! Gracias.
Ha sido un placer, aunque creo que no dije nada más que un pensamiento tipo Spivak, no parece funcionar, al menos en mis manos. Parece algo que debería ser bastante fundamental. Bonito frosty el gorro de muñeco de nieve por cierto.

Respuestas (3)

Ref : Padmanabhan, Gravitation, Cambridge, pág. 531 534

En el formalismo ADM, podemos escribir:

d s 2 = gramo metro norte d X metro d X norte = norte 2 d t 2 + h α β ( d X α + norte α d t ) ( d X β + norte β d t )

norte se llama la función de lapso, y norte α se denominan funciones de desplazamiento. Aquí las letras latinas son para 4 -métricas, mientras que las letras griegas son para los inducidos 3 - métricas.

Podemos escribir el inducido 3 métrica h α β , en una notación de cuatro dimensiones con h metro norte = gramo metro norte + norte metro norte norte , dónde norte ( norte o = norte , norte α = 0 ) es la normal a las hipersuperficies t = constante. Esto da h o o = norte γ norte γ , h 0 α = norte α , h α β = gramo α β

La curvatura extrínseca es k metro norte = h metro a a norte norte = ( metro norte norte + norte a norte metro a norte norte ) , se puede demostrar que esta curvatura es simétrica en metro , norte . Para los componentes espaciales de la curvatura extrínseca, se obtiene, con algunos cálculos:

k α β = β norte α = 1 2 norte ( D β norte α + D α norte β 0 h α β )

dónde D metro V norte = h metro a h norte b a V b es la derivada covariante espacial de un vector X ortogonal a norte ( X es tangencial a la hipersuperficie t =Constante)

En el caso del espacio-tiempo estático, tenemos h α β = h α β ( X γ ) , y norte α = 0 , entonces tenemos k α β = 0 . Los componentes k o j = 0 también.

Mira las ecuaciones de ADM. Aplicarles la condición de estaticidad.

La unidad normal a las 3 superficies es proporcional al Killing field. Siendo el coeficiente la norma del archivado de Matanza. Puede calcular la derivada usando las ecuaciones de Killing un par de veces para obtener el resultado.