Mécanisme linéaire d'ordre deux décrivant l'évolution d'un vecteur de séparation infinitésimal entre géodésiques proches le long d'une géodésique de référence ; concrètement, un champ de Jacobi J vérifie l'équation de Jacobi qui relie la dérivée covariante seconde de J à l'action de l'opérateur de courbure sur J et la tangente à la géodésique.

Principe

Linéarisation du flot géodésique : les petites variations transverses satisfont D^2J/dt^2 + R(J,u)u = 0, de sorte que la courbure commande l'accélération relative des géodésiques voisines et encode les effets de marée ou de focalisation.

Démonstration

Sur une sphère de rayon constant, deux géodésiques de grand cercle initialement parallèles voient leurs vecteurs de séparation osciller puis se reconverger, signe d'une courbure sectionnelle positive ; en géométrie hyperbolique, les séparations croissent, illustrant une courbure négative dans l'équation de Jacobi.

Mauvaise application

Utiliser l'équation de Jacobi pour prédire des séparations finies non infinitésimales ou à travers des singularités où la linéarisation n'est plus valide ; confondre des vecteurs de première variation (dérivées variationnelles des extrémités) avec des champs de Jacobi sans vérifier les conditions aux bords.

Conséquence

Appliquée correctement, la déviation géodésique quantifie la courbure sectionnelle, prédit les points conjugués (zéros de champs de Jacobi non triviaux) et fournit des diagnostics géométriques de stabilité, de focalisation et d'effets de marée en contextes riemanniens ou pseudo-riemanniens.

Inversion

Si l'opérateur de courbure est nul (espace plat), l'équation de Jacobi devient D^2J/dt^2 = 0 et les séparations sont affines : il n'y a pas de focalisation ; inverser le signe de la courbure sectionnelle change un comportement convergent en comportement divergent.

Limite

Valable pour des variétés différentiables munies d'une connexion affine (typiquement la connexion de Levi-Civita) et pour des variations restant infinitésimales le long de la géodésique de référence ; exclut les métriques non lisses, les caustiques au-delà des points conjugués et les séparations où les termes non linéaires dominent.

Tension sémantique

Il faut distinguer la déviation géodésique comme description différentielle (champ de Jacobi) du sens informel de « déviation » signifiant un déplacement ponctuel ou une erreur numérique ; le champ de Jacobi est un objet géométrique, pas une simple différence de coordonnées.

Synthèse

La déviation géodésique est la formulation par champs de Jacobi de la manière dont la courbure provoque une accélération relative entre géodésiques proches : linéariser le flot géodésique, résoudre l'EDO d'ordre deux impliquant l'opérateur de courbure et interpréter zéros, taux de croissance et oscillations comme signatures de focalisation et de stabilité.