title: Champ de Jacobi
text: # Champ de Jacobi
  
  En géométrie riemannienne, un champ de vecteurs de Jacobi ou champ de Jacobi, du nom du mathématicien allemand Charles Jacobi, est un champ de vecteurs le long d'une géodésique c dans une variété riemannienne, décrivant la différence entre c et une famille de géodésiques « infiniment proches ». L'ensemble des champs de Jacobi le long d'une géodésique forme l'espace vectoriel tangent à la géodésique dans l'espace de toutes les géodésiques.
  
  ## Définition formelle
  
  Soit $M$ une variété riemannienne, $I$ un intervalle de ℝ et $c$ : $I\rightarrow M$ une courbe différentiable. Un champ de vecteurs le long de $c$ est une application : $I$$\rightarrow TM$ telle que, pour tout point $t\in$ $I$, $X(t)\in T_{c(t)}M$ ; où $TM$ désigne le fibré tangent à $M$ et $T_{m}$M, l’espace vectoriel tangent au point $m\in M$. Un champ de vecteurs $J$ le long d'une géodésique c est appelé champ de Jacobi s'il satisfait l'équation de Jacobi :
  
  $\nabla _{\dot {c}}\left(\nabla _{\dot {c}}J\right)+R(J,{\dot {c}}){\dot {c}}=0$
  
  Où, dans cette équation, $\nabla$ désigne la connexion de Levi-Civita de $M$ et R son tenseur de courbure.
  
  ## Points conjugués
  
  En gros, deux points d’une variété riemannienne sont dits conjugués s’ils peuvent presque être joints par une famille (à 1 paramètre) de géodésiques. L’exemple le plus frappant est donné par le pôle nord et le pôle sud sur la sphère, qui peuvent être joints par tout méridien. On montre qu'une variété riemannienne de courbure sectionnelle constante $\kappa$ possède des points conjugués si et seulement si $\kappa >0$.
  
  ### Définition
  
  Soient $p$ et $q$ deux points d’une variété riemannienne joints par une géodésique c. On dit qu’ils sont conjugués s’il existe un champ de Jacobi $J$ non nul le long de c qui s’annule en $p$ et $q$.
  
  ### Exemples
  
  * Sur la sphère $S^{2}$, de courbure sectionnelle $\kappa =1$, les points antipodaux sont conjugués.
  * Sur $\mathbb {R} ^{n}$ euclidien, il n’existe pas de points conjugués.
  * Plus généralement, le théorème de Cartan-Hadamard montre que sur une variété de courbure négative (au sens large), il n'y a jamais de points conjugués.
  