Dada la métrica de Schwarzschild,
En primer lugar, usando la métrica bajo los índices:
Su ecuación para lee
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 es simplemente el conjunto de sus curvas integrales, cada una parametrizada por una variable real que denominaré . Para cada valor de el flujo de define un mapeo 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: .
Entonces se puede demostrar que es un campo de muerte para la métrica si satisface la ecuación de Killing (donde la derivada covariante se define por la conexión Levi-Civita de ).
En tu problema el flujo de es obviamente el mapeo
Análogamente, el flujo de es
papi kropotkin
estigmas