Definition

Let (M,g)(M,g) be a complete and SMSM its unit tangent bundle. The geodesic flow is the one-parameter family

φt:SMSM,φt(x,v)=(γx,v(t),γ˙x,v(t)),\varphi_t:SM\to SM,\qquad \varphi_t(x,v)=(\gamma_{x,v}(t),\dot\gamma_{x,v}(t)),

where γx,v\gamma_{x,v} is the unique geodesic with initial data (x,v)(x,v).

Flow law

Uniqueness for the geodesic equation gives φ0=id\varphi_0=\operatorname{id} and φt+s=φtφs\varphi_{t+s}=\varphi_t\circ\varphi_s. Completeness ensures that φt\varphi_t is defined for all tRt\in\mathbb R.

Negative curvature

On a compact manifold of strictly negative sectional curvature, the geodesic flow is an . Exponential stable and unstable behavior is the dynamical source of the fractal sets used in quantum-chaos uncertainty arguments.

References
  1. Gabriel P. Paternain, Geodesic Flows, Birkhäuser, 1999. DOI record.