# Campo de Jacobi

En geometría riemanniana, un campo de Jacobi es un campo vectorial a lo largo de una geodésica en una variedad riemanniana. Describe la variación entre la geodésica y otras "infinitesimalmente cercanas", es decir, los campos de este tipo constituyen el espacio tangente a la misma en el espacio de geodésicas. Reciben su nombre de Carl Jacobi.

## Definiciones y propiedades

Un campo vectorial $J$ a lo largo de una geodésica $\gamma$ se denomina campo de Jacobi si satisface la ecuación de Jacobi:
${\frac {D^{2}}{dt^{2}}}J(t)+R(J(t),{\dot {\gamma }}(t)){\dot {\gamma }}(t)=0,$
donde $D$ denota la derivada covariante con respecto a la conexión de Levi-Civita, $R$ el tensor de curvatura de Riemann y ${\dot {\gamma }}(t)=d\gamma (t)/dt$ el campo vectorial tangente a la geodésica.
Una manera de obtener campos de Jacobi es la siguiente: sea $\gamma _{\tau }$ una familia uniparamétrica suave de geodésicas, con $\gamma _{0}=\gamma$. Entonces, el campo
$J(t):=\left.{\frac {\partial \gamma _{\tau }(t)}{\partial \tau }}\right|_{\tau =0}$
es de Jacobi y describe el comportamiento de las geodésicas en un entorno infinitesimal de $\gamma$. En una variedad riemanniana completa, todo campo de Jacobi proviene de esta construcción. La ecuación de Jacobi es una ecuación diferencial ordinaria lineal de orden dos y, por tanto, los valores iniciales de $J$ y ${\frac {D}{dt}}J$ en un punto de la geodésica determinan la solución de manera única. Además, el conjunto de campos de Jacobi a lo largo de una geodésica dada forma un espacio vectorial real cuya dimensión es el doble de la dimensión de la variedad.
Ejemplos sencillos de campos de Jacobi son ${\dot {\gamma }}(t)$ y $t{\dot {\gamma }}(t)$, que corresponden a las familias $\gamma _{\tau }(t)=\gamma (\tau +t)$ y $\gamma _{\tau }(t)=\gamma ((1+\tau )t)$. Ambas familias están dadas por reparametrizaciones de la geodésica. Todo campo de Jacobi $J$ admite una descomposición $T+I$ de manera única, donde $T(t)=a{\dot {\gamma }}(t)+bt{\dot {\gamma }}(t)$ es una combinación lineal de los ejemplos anteriores y $I(t)$ es ortogonal a ${\dot {\gamma }}(t)$. La parte dada por el campo $I$ corresponde a la misma variación infinitesimal en las geodésicas que $J$, modificando las parametrizaciones de las mismas.

## Motivación

En la esfera unidad, las geodésicas a través del polo norte son los círculos máximos que pasan por dicho punto. Dadas dos geodésicas $\gamma _{0}$ y $\gamma _{\tau }$ de ese tipo, donde $\tau$ denota el ángulo de separación, y parametrizadas de manera natural por $t\in [0,\pi ]$, la distancia entre ambas es:
    $d(\gamma _{0}(t),\gamma _{\tau }(t))=\sin ^{-1}{\bigg\sin t\sin \tau {\sqrt {1+\cos ^{2}t\tan ^{2}(\tau /2)}}{\bigg )}.$
Este valor se obtiene a partir de las ecuaciones explícitas de las geodésicas, calculando la distancia mediante la métrica riemanniana. Puede observarse que $d(\gamma _{0}(\pi ),\gamma _{\tau }(\pi ))=0\,$, para todo $\tau$.
Es decir, las geodésicas intersecan en el polo sur. Una motivación para introducir los campos de Jacobi es que es posible detectar tales intersecciones únicamente mediante la variación en las geodésicas. Efectivamente, si consideramos la derivada con respecto a $\tau$ en $\tau =0$, se obtiene:
${\frac {\partial }{\partial \tau }}{\bigg |}_{\tau =0}d(\gamma _{0}(t),\gamma _{\tau }(t))=|J(t)|=\sin t.$
Sigue siendo posible detectar la intersección en $t=\pi$. El cálculo de esta variación no requiere de la fórmula explícita de la distancia, lo que facilita la obtención del punto de intersección. Los campos de Jacobi generalizan de manera natural este fenómeno a variedades riemannianas arbitrarias.

## Resolución de la ecuación de Jacobi

Sea $e_{1}(0)={\dot {\gamma }}(0)/|{\dot {\gamma }}(0)|$ y ${\big \e_{i}(0){\big \}}$ una base ortonormal de $T_{\gamma (0)}M$ obtenida completando a partir de dicho vector. Esto da lugar, mediante transporte paralelo, a una base ortonormal $\{e_{i}(t)\}$ a lo largo de toda $\gamma$, donde $e_{1}(t)={\dot {\gamma }}(t)/|{\dot {\gamma }}(t)|$. Si escribimos el campo de Jacobi en esta base como $J(t)=y^{k}(t)e_{k}(t)$, se tiene
    ${\frac {D}{dt}}J=\sum _{k}{\frac {dy^{k}}{dt}}e_{k}(t),\quad {\frac {D^{2}}{dt^{2}}}J=\sum _{k}{\frac {d^{2}y^{k}}{dt^{2}}}e_{k}(t),$
y, por tanto, la ecuación de Jacobi toma la forma siguiente:
    ${\frac {d^{2}y^{k}}{dt^{2}}}+|{\dot {\gamma }}|^{2}\sum _{j}y^{j}(t)\langle R(e_{j}(t),e_{1}(t))e_{1}(t),e_{k}(t)\rangle =0.$
Es decir, se obtiene un sistema de ecuaciones diferenciales ordinarias cuyos coeficientes son funciones suaves y, por tanto, existe una solución única fijados valores iniciales para $y^{k}(0)$ y ${y^{k}}'(0)$.

## Aplicaciones
### Puntos críticos de la aplicación exponencial

Sea $M$ una variedad riemanniana. Los campos de Jacobi permiten establecer un criterio para la detección de puntos críticos de la aplicación exponencial en un punto $p\in M$:
$\exp _{p}:T_{p}M\supset V\rightarrow M$
Para ello, sea $\gamma :[0,a]\to M$ una geodésica con punto inicial $\gamma (0)=p$. Se dice que otro punto $\gamma (t_{0})\in M$ es un punto conjugado a $p$ a lo largo de $\gamma$ si existe un campo de Jacobi $J$ no idénticamente nulo a lo largo de $\gamma$ con $J(0)=0\in T_{p}M$ y $J(t_{0})=0\in T_{\gamma (t_{0})}M$.
Se tiene que $\gamma (t_{0})$ es un punto conjugado a $p$ si y solamente si $t_{0}\cdot \gamma '(0)\in T_{p}M$ es un punto crítico de la aplicación exponencial $\exp _{p}$. En ese caso, el correspondiente valor crítico es $\exp _{p}(t_{0}\cdot \gamma '(0))=\gamma (t_{0})$, el punto conjugado.
La demostración utiliza el hecho de que un campo de Jacobi en $\gamma$ que se anula en $t=0$ admite la expresión $J(t)=(d\exp _{p})_{t\gamma '(0)}(tJ'(0))$. Esta se obtiene a través de la familia de geodésicas $\gamma _{\tau }(t)=\exp _{p}(t(\gamma '(0)+\tau J'(0)))$, con el procedimiento explicado anteriormente (pues da lugar a un campo de Jacobi con los mismos valores iniciales que $J$, de modo que coinciden por unicidad).
Por tanto, $\gamma (t_{0})$ es conjugado a $p$ si y solamente si existe cierto $w\in T_{p}M$ no nulo con $(d\exp _{p})_{t_{0}\gamma '(0)}(t_{0}w)=0$ (el correspondiente campo de Jacobi está dado por una variación en las geodésicas en dirección de $w$, es decir, por la condición $J'(0)=w$). Esta condición equivale a que $\ker(d\exp _{p})_{t_{0}\gamma '(0)}\neq 0$ y, por tanto, a que el punto $t_{0}\cdot \gamma '(0)$ sea crítico.

## Ejemplos

Sea $\gamma (t)$ una geodésica y $e_{i}(t)$, $e_{1}(t)={\dot {\gamma }}(t)/|{\dot {\gamma }}|$ un sistema de referencia ortonormal a lo largo de la misma, obtenido como en la sección anterior. Entonces:
* Los campos vectoriales ${\dot {\gamma }}(t)$ y $t{\dot {\gamma }}(t)$ son campos de jacobi.
* En el espacio euclídeo (así como en espacios de curvatura seccional nula), los campos de Jacobi son aquellos lineales en $t$, es decir, de la forma $p+tv$, con $p,v\in \mathbb {R} ^{n}$.
* En variedades riemannianas de curvatura seccional negativa y constante, $-k^{2}$, los campos de Jacobi son combinaciones lineales de ${\dot {\gamma }}(t)$, $t{\dot {\gamma }}(t)$ y $\exp(\pm kt)e_{i}(t)$, con $i>1$ .
* En variedades riemannianas de curvatura seccional positiva y constante $k^{2}$, los campos de Jacobi son combinaciones lineales de ${\dot {\gamma }}(t)$, $t{\dot {\gamma }}(t)$, $\sin(kt)e_{i}(t)$ y $\cos(kt)e_{i}(t)$, con $i>1$ .
* La restricción de un campo de Killing a una geodésica siempre da lugar a un campo de Jacobi.