Bunimovich Stadium

ergodic-theorydynamical-systemsbilliardschaos-theorymathematics

Abstraction: Ergodic billiard system proving chaos via defocusing mechanism

Key points:

The Bunimovich stadium (rectangle capped by semicircles) was proven ergodic by Leonid Bunimovich in 1979: almost every billiard trajectory becomes uniformly distributed over the phase space over time
Ergodicity means the time average of any observable equals its phase-space average (Birkhoff's ergodic theorem), implying no persistent invariant subsets of positive measure
The key mechanism is "defocusing": even though the curved ends focus trajectories, the straight rectangular section allows divergence to dominate over long free paths between reflections
This is subtle because Lazutkin (1973) and Douady (1982) showed that sufficiently smooth convex billiard tables cannot be ergodic — the stadium's corners break the smoothness condition
Quantum scarring (eigenfunctions concentrating on unstable periodic orbits) remains an open question; Andrew Hassell proved scarring occurs for a measure-zero set of stadium shapes (2008)

Connections: Leonid Bunimovich · Ergodic Theory · Dynamical Systems · Chaos Theory