Processus par lequel un champ de Jacobi non trivial le long d'une géodésique s'annule en deux valeurs de paramètre distinctes, produisant des points conjugués qui marquent la focalisation de familles de géodésiques et signalent la dégénérescence de l'application exponentielle au point d'arrivée de la géodésique de référence.

Principe

La conjugaison est l'existence de solutions non nulles de l'équation de Jacobi avec zéros prescrits : lorsque la linéarisation de l'application exponentielle n'est plus injective, apparaît une direction focale et les problèmes aux valeurs aux bords à deux points perdent unicité ou propriétés de minimisation.

Démonstration

Sur la sphère standard, des points séparés par la distance antipodale le long d'un grand cercle sont conjugués parce que des champs radiaux de Jacobi s'annulent aux deux extrémités ; dans l'espace euclidien il n'y a pas de points conjugués car l'application exponentielle est globalement non dégénérée.

Mauvaise application

Confondre points conjugués avec de simples intersections de géodésiques distinctes ou avec des points de coupure déterminés par des propriétés globales de minimisation ; déclarer un point conjugué en observant des croisements de géodésiques sans vérifier l'existence d'un champ de Jacobi non trivial qui s'annule.

Conséquence

Les points conjugués indiquent la perte de minimisation locale des géodésiques, interviennent dans le calcul de l'indice de Morse pour la fonction énergie, et délimitent les régions où l'application exponentielle cesse d'être un difféomorphisme local, produisant des caustiques et de la focalisation.

Inversion

L'absence de points conjugués le long de toutes les géodésiques (variété sans points conjugués) implique une plus grande unicité et stabilité des géodésiques et souvent des phénomènes de rigidité ; supprimer les points conjugués restaure l'injectivité locale de l'exponentielle.

Limite

La notion exige une connexion lisse et une équation de Jacobi bien posée ; elle exclut les intersections dues à la topologie ou à la reparamétrisation et ne coïncide pas avec le lieu de coupure global défini par la première perte de minimisation globale.

Tension sémantique

Distinguer points conjugués (annulation infinitésimale et focale) et points de coupure (défaillance globale du minimiseur) : ils peuvent coïncider mais mesurent des phénomènes distincts — la conjugaison est analytique et locale, la coupure est variationnelle et globale.

Synthèse

La formation de points conjugués est la manifestation linéaire-algébrique de la focalisation : résoudre l'EDO de Jacobi avec conditions nulles en une extrémité et détecter d'autres zéros pour repérer les endroits où l'exponentielle se dégénère et où la minimalité et l'unicité des géodésiques se rompent.