Hyperbolic Geodesic Flow

Poincaré disk model. Geodesics = circular arcs orthogonal to boundary. Anosov: nearby trajectories diverge exponentially (mixing).