Matar vectores - Métrica de Schwarzschild

Dada la métrica de Schwarzschild,

d s 2 = ( 1 R s r ) d t 2 + ( 1 R s r ) 1 d r 2 + r 2 d θ 2 + r 2 pecado 2 θ d ϕ 2 ,
me piden que muestre eso
k m = ( 1 , 0 , 0 , 0 ) , R m = ( 0 , 0 , 0 , 1 )
son vectores Killing, es decir, satisfacen la ecuación Killing
m ξ v + v ξ m = 0.


En primer lugar, usando la métrica bajo los índices:

k m = ( ( 1 R s r ) , 0 , 0 , 0 ) , R m = ( 0 , 0 , 0 , r 2 pecado 2 θ ) .
Entonces para R m traté de calcular
m R v m R v Γ m v λ R λ = m R v Γ m v ϕ R ϕ ;
entonces
r R ϕ = r pecado 2 θ , θ R ϕ = r 2 pecado θ porque θ .
Pero ahora no tengo claro qué debo hacer a continuación.

¿Qué pasó con los símbolos de Christoffel? Creo que te faltan algunos términos en tus expresiones para las derivadas covariantes
@NORTE. Steinle, tengo una suma implícita sobre λ = t , r , θ , ϕ . Entonces me doy cuenta de que el único símbolo de Christoffel que no desaparece es ese de una pizca. λ = ϕ .

Respuestas (2)

Su ecuación para R m lee

m R v + v R m = ( m R v Γ m v λ R λ ) + ( v R m Γ v m σ R σ ) = m R v + v R m 2 Γ m v ϕ R ϕ .
Si utiliza m = r y m = θ (los únicos términos que no desaparecen), encontrarás que la ecuación de Killing para R m esta satisfecho

Depende de cómo se haya definido el vector Killing. Si la definición era "un campo vectorial que obedece a la ecuación de Killing", entonces solo queda continuar con el cálculo y no puedo agregar nada. Pero hay una definición alternativa, que prefiero:

Un Killing field es aquel cuyo flujo es una isometría para todos los valores de parámetro.

Esto requiere saber qué es el flujo de un campo vectorial y qué significa "isometría" en una variedad de Riemann. Resumo brevemente.

El flujo de un campo vectorial X es simplemente el conjunto de sus curvas integrales, cada una parametrizada por una variable real que denominaré tu . Para cada valor de tu el flujo de X define un mapeo m de lo múltiple en sí mismo.

Una isometría de una variedad de Riemann es un mapeo (diferenciable) que deja invariable el tensor métrico: m gramo = gramo .

Entonces se puede demostrar que X es un campo de muerte para la métrica gramo si satisface la ecuación de Killing (donde la derivada covariante se define por la conexión Levi-Civita de gramo ).

En tu problema el flujo de k es obviamente el mapeo

m tu : ( t , r , θ , ϕ ) ( t + tu , r , θ , ϕ )
es decir, una traducción de tiempo por tu . Desde gramo (es decir d s 2 ) no depende de t , m tu es una isometría para todos tu .

Análogamente, el flujo de R es

v tu : ( t , r , θ , ϕ ) ( t , r , θ , ϕ + tu )
es decir, una rotación de ángulo tu . Y gramo ni siquiera depende de ϕ , entonces v tu es una isometría también.