Let be a Riemannian manifold and . Let be the path space of , viz the space of piecewise smooth paths from to .
Let the points of non-smoothness by .
Let be a variation of , and be its variation vector field. Let wherever is differentiable. For each where is not smooth, let .
Denote by the map sending to the curve .