 Riccati factorization of the Riemannian index form

In a parallel orthonormal frame along a geodesic, write the Jacobi equation as $A^{\prime \prime }+KA=0$, with $A(0)=0$, $A^{\prime }(0)=I$ and symmetric $K$. In the absence of conjugate points on $(0,b]$, $A$ is invertible there. The conserved quantity $A^T{A}^{\prime }-A^{\prime T}A=0$ makes $S=A^{\prime }{A}^{-1}$ symmetric, and $S^{\prime }+S^2+K=0$. For a field $u$ vanishing at both endpoints,Indeed the difference of the integrands is $(u^{T}Su{)}^{\prime }$; its boundary value at zero vanishes because $S=t^{-1}I+O(t)$ and $u=O(t)$. Equality forces $u=Ac$ and then $A(b)c=0$, so $u=0$. This proves strict positivity and the minimizing property of the Jacobi field with prescribed endpoint values.

// Target: riemannian-geometry.bigb