Before the cut locus, define on the tangent space of a distance sphere. This is the negative of the shape operator with outward normal under the convention . A nonsingular matrix of radial Jacobi fields satisfies and , yielding the displayed matrix Riccati equation. Taking its trace gives , where . This is the local differential identity behind the Bishop-Gromov inequality.
Articles by others on the same topic
There are currently no matching articles.