Mecanismo lineal de segundo orden que describe cómo evoluciona un vector de separación infinitesimal entre geodésicas cercanas a lo largo de una geodésica de referencia; concretamente, un campo de Jacobi J satisface la ecuación de Jacobi (de desviación geodésica) que relaciona la segunda derivada covariante de J con la acción del operador de curvatura sobre J y la tangente geodésica.

Principio

Linealización del flujo geodésico: pequeñas variaciones transversales cumplen D^2J/dt^2 + R(J,u)u = 0, de modo que la curvatura controla la aceleración relativa de geodésicas próximas y codifica efectos de marea o focalización.

Demostración

En una esfera, dos geodésicas de gran círculo inicialmente paralelas tienen vectores de separación que oscilan y se reconvergen, reflejando curvatura seccional positiva; en espacio hiperbólico las separaciones crecen, mostrando curvatura negativa en la ecuación de Jacobi.

Aplicación incorrecta

Aplicar la ecuación de Jacobi para predecir separaciones finitas no infinitesimales o a través de singularidades donde la linealización falla; confundir vectores de primera variación con campos de Jacobi sin verificar condiciones de contorno.

Consecuencia

Bien aplicada, la desviación geodésica cuantifica la curvatura seccional, predice puntos conjugados (ceros de campos de Jacobi no triviales) y proporciona diagnósticos geométricos de estabilidad, focalización y fuerzas de marea en contextos riemannianos o pseudo-riemannianos.

Inversión

Si el operador de curvatura se anula (espacio plano), la ecuación de Jacobi se reduce a D^2J/dt^2 = 0 y las separaciones son afín-lineales — no hay focalización; invertir el signo de la curvatura seccional invierte el comportamiento convergente a divergente.

Límite

Válida para variedades suaves con una conexión afín (típicamente la conexión de Levi-Civita) y para variaciones que permanezcan infinitesimales a lo largo de la geodésica de referencia; excluye métricas no suaves, cáusticas más allá de puntos conjugados y separaciones grandes donde dominan términos no lineales.

Tensión semántica

Distinguir la desviación geodésica como la descripción diferencial (campo de Jacobi) del comportamiento de geodésicas cercanas del uso informal de ‘desviación’ para desplazamientos puntuales o errores numéricos; el campo de Jacobi es un objeto geométrico, no una mera diferencia de coordenadas.

Síntesis

La desviación geodésica es la formulación por campos de Jacobi de cómo la curvatura genera aceleración relativa entre geodésicas próximas: linealizar el flujo geodésico, resolver la EDO de segundo orden con el operador de curvatura e interpretar ceros, tasas de crecimiento y oscilaciones como firmas de focalización y estabilidad.