Geodesic flow (source code)

= Geodesic flow
{wiki}

The geodesic flow sends a tangent vector $v$ to the velocity at time $t$ of the unique geodesic with initial velocity $v$. Smooth dependence of solutions of the <geodesic equation> makes it a smooth flow on the tangent bundle wherever defined.