 Solution

Expand a Jacobi field in the parallel orthonormal eigenbasis: $J(t)={\sum }_i{j}_i(t)e_i(t)$. Part (b) reduces its equation to the scalar equations $j_i^{\prime \prime }+{\lambda }_i{j}_i=0$. DefineFor arbitrary initial values $J(0)={\sum }_i{a}_i{e}_i$ and $D_{t}J(0)={\sum }_i{b}_i{e}_i$, the complete solution isA point at parameter $T>0$ is a conjugate point of $p$ precisely when a nonzero Jacobi field vanishes at both $0$ and $T$. The first condition makes every $a_i=0$. The second requires $b_i{S}_{{\lambda }_i}(T)=0$ for every $i$, with at least one nonzero $b_i$. For $T>0$, the factors for zero and negative eigenvalues never vanish; positive eigenvalues give exactly the sine zeros. ThereforeThe corresponding points are $\gamma (T)$. If several positive eigenspaces have a zero at the same parameter, the conjugate multiplicity is the sum of their dimensions. This also shows that a locally symmetric Riemannian manifold has no conjugate points along a given geodesic when that geodesic's Jacobi curvature operator has no positive eigenvalues.