A C1C^1 flow φt:N→N\varphi_t:N\to N on a compact manifold is an Anosov flow if there is a continuous invariant splitting

TN=Es⊕E0⊕Eu,TN=E^s\oplus E^0\oplus E^u,

where the generating vector field X(x)=ddt∣t=0φt(x)X(x)=\left.\frac{d}{dt}\right|_{t=0}\varphi_t(x) is nowhere zero and Ex0=span⁡{X(x)}E^0_x=\operatorname{span}\{X(x)\}, and constants C,λ>0C,\lambda>0 satisfy

∥Dφtvs∥≤Ce−λt∥vs∥,∥Dφ−tvu∥≤Ce−λt∥vu∥\|D\varphi_t v^s\|\le Ce^{-\lambda t}\|v^s\|, \qquad \|D\varphi_{-t}v^u\|\le Ce^{-\lambda t}\|v^u\|

for all t≥0t\ge0, vs∈Esv^s\in E^s, and vu∈Euv^u\in E^u.

Invariance

The splitting is invariant: Dφt(Ex∙)=Eφt(x)∙D\varphi_t(E^\bullet_x)=E^\bullet_{\varphi_t(x)}. Vectors in EsE^s contract forward in time, while vectors in EuE^u contract backward in time.

Principal example

The on the unit tangent bundle of a compact negatively curved manifold is Anosov. Its hyperbolic splitting supports symbolic descriptions and stable/unstable fractal sets.

References
  1. Dmitry Anosov, Geodesic Flows on Closed Riemannian Manifolds with Negative Curvature, AMS, 1969. DOI record.