Derivación de la ecuación para la desviación geodésica

Estoy tratando de averiguar el cálculo que conduce a la desviación geodésica en este sitio . Hasta ahora entendí todos los pasos hasta (14.7) y logré demostrar que (14.6) = (14.7), a saber

ξ ¨ α + ( d Γ β γ α ) X ˙ β X ˙ γ ξ d + Γ β γ α X ˙ β ξ γ + Γ β γ α X ˙ γ ξ β = d d τ ( ξ ˙ α + Γ β γ α X ˙ γ ξ β ) ( d Γ β γ α ) ξ β X ˙ γ X ˙ d Γ β γ α ξ β X ¨ γ + ( d Γ β γ α ) X ˙ β X ˙ γ ξ d + Γ β γ α X ˙ β ξ ˙ γ

Hasta ahora, todo bien. Después de "reordenar los términos y con los índices ficticios reetiquetados adecuadamente, obtenemos lo siguiente"

D 2 ξ α D τ 2 + ( γ Γ β d α d Γ β γ α + Γ β d ϵ Γ ϵ γ α Γ β γ ϵ Γ ϵ d α ) X ˙ β ξ γ X ˙ d

No pude mostrar la igualdad de esto y (14.7). He usado la ecuación geodésica para deshacerme de la X ¨ y usado

D 2 ξ α D τ 2 = D D τ ( X ˙ σ σ ξ α ) = X ˙ ρ ρ ( X ˙ σ σ ξ α ) = ξ ¨ α + Γ ρ d α X ˙ ρ ξ ˙ d + ( ρ Γ σ γ α ) X ˙ σ ξ γ X ˙ ρ + Γ σ ρ α X ˙ σ X ˙ ρ + Γ ρ d α Γ σ γ d X ˙ σ ξ γ X ˙ ρ

con

σ ξ α = d ξ α d X σ + Γ σ γ α ξ γ

pero no importa lo que hice, no funcionó. Debo estar cometiendo un gran error en algún lugar a lo largo de las líneas, pero simplemente no puedo encontrarlo. Agradecería mucho alguna ayuda.

Respuestas (1)

Primero, tenga en cuenta que la ecuación (14.6) en la página vinculada tiene un error. En la segunda línea de la ecuación (14.6), las cantidades ξ debiera ser ξ ˙ . La ecuación (14.7) es correcta, pero a (14.6) le faltan los puntos. Cada término en esas ecuaciones debe tener dos derivadas con respecto al parámetro de línea universal.

Esta es una forma de organizar el cálculo que facilita el seguimiento de los detalles, ya que evita introducir detalles hasta que se necesitan. Comience con la ecuación para una sola geodésica.

(1) X ¨ a = Γ b C a X ˙ b X ˙ C .
si escribimos d X a (en lugar de ξ a ) para una variación de la geodésica, luego tomando la variación de la ecuación (1) da
(2) d X ¨ a = 2 Γ b C a X ˙ b d X ˙ C ( d Γ b C a ) X ˙ b X ˙ C .
asumiendo que Γ b C a = Γ C b a . La ecuación (2) es una versión corregida de la ecuación (14.6) en la página vinculada. Ahora, deja eso a un lado por un momento, y considera la cantidad
(3) D 2 D tu 2 d X a ,
dónde tu es el parámetro de línea de mundo (por lo que los puntos denotan derivados con respecto a tu ) y donde
(4) D D tu v a X ˙ b b v a = v ˙ a + Γ b C a X ˙ b v C
para cualquier vector v . Expanda (3) lo suficiente para exponer el d X ¨ término, así:
D 2 D tu 2 d X a = d d tu ( D D tu d X a ) + Γ b C a X ˙ b ( D D tu d X C ) (5) = d X ¨ a + d d tu ( Γ b C a X ˙ b d X C ) + Γ b C a X ˙ b ( D D tu d X C )
Sustituye (2) en (5) para obtener
(6) D 2 D tu 2 d X a = d d tu ( Γ b C a X ˙ b d X C ) + Γ b C a X ˙ b ( D D tu d X C ) 2 Γ b C a X ˙ b d X ˙ C ( d Γ b C a ) X ˙ b X ˙ C .
Antes de expandir más las cosas, recuerde que esperamos que los términos que involucran d X ˙ cancelar. Con solo inspeccionar la ecuación (6), podemos verificar que esos términos se cancelan. Después de descartar esos términos, la ecuación (6) se convierte en
(7) D 2 D tu 2 d X a = d d tu ( Γ b C a X ˙ b ) d X C + Γ b C a X ˙ b ( Γ d mi C X ˙ d d X mi ) ( d Γ b C a ) X ˙ b X ˙ C .
Ahora usa d Γ b C a = d Γ b C a d X d Llegar
(9) D 2 D tu 2 d X a = d d tu ( Γ b C a X ˙ b ) d X C + Γ b C a X ˙ b ( Γ d mi C X ˙ d d X mi ) ( d Γ b C a d X d ) X ˙ b X ˙ C .
El siguiente paso es reescribir el lado derecho usando un solo factor de d X , que requiere volver a etiquetar un par de índices. A partir de ahí, mostrar que el lado derecho se puede escribir en términos del tensor de curvatura debería ser relativamente sencillo, porque la mayoría de los demás detalles ya se han eliminado.