← Iris

Boundary shape
Speed 5
Trail length 200
bounces 0
shape Circle

Imagine a frictionless ball bouncing inside a perfectly reflecting boundary. No spin, no energy loss — just angle of incidence equals angle of reflection, forever. This idealization is called a dynamical billiard, and it strips dynamics down to a single question: how does the shape of the container determine the motion?

The answer is surprisingly deep. A circular boundary produces perfectly regular motion — the ball traces a pattern that repeats or fills a band between two concentric circles. An elliptical boundary preserves a different kind of order: every trajectory is tangent to a fixed inner curve called a caustic. But stretch a circle into a stadium (two semicircles connected by straight lines) and everything changes. The motion becomes chaotic: nearby trajectories diverge exponentially, and a single ball eventually visits every part of the table.

Billiards are among the simplest Hamiltonian systems, yet they exhibit the full spectrum from integrability to hard chaos. This is why mathematicians and physicists have studied them for over a century.

Leonid Bunimovich proved in 1979 that a stadium-shaped billiard is ergodic, mixing, and has positive Lyapunov exponents — the hallmarks of chaos. The mechanism is defocusing: when the ball hits the curved part of the stadium, nearby trajectories are focused briefly but then diverge as they cross and spread apart. After many bounces, initially close trajectories become uncorrelated.

The key insight is that curvature acts as an amplifier. A flat wall preserves the distance between nearby trajectories. A concave wall (like the inside of a circle) focuses them. But in a stadium, the focused trajectories must then travel across a long straight section, during which they defocus again — and the defocusing wins. This is why you need the straight sides: a pure circle is integrable, but add even an infinitesimal flat segment and chaos appears.

The Lyapunov exponent measures how fast nearby trajectories separate. In a circle it is zero. In a stadium it is positive, meaning the distance between two nearby initial conditions grows exponentially with the number of bounces. This is deterministic chaos: the equations are simple and exact, yet long-term prediction requires infinite precision.

The small panel below the main simulation shows Birkhoff coordinates: each bounce is plotted as a point (s, sin θ), where s is the position along the boundary (measured as arc length, normalized to [0, 1]) and θ is the angle of reflection relative to the boundary normal.

For a circle, every trajectory has a constant reflection angle, so the phase portrait is a horizontal line. For an ellipse, the points fall on smooth curves — the caustics made visible in phase space. For a stadium, the points fill the entire phase space densely and apparently randomly: this is ergodicity. The trajectory visits every region of phase space, spending time in each region proportional to its area.

The mushroom billiard is the most interesting case. It has a semicircular cap and a rectangular stem. Trajectories that stay in the cap are regular (like the circle). Trajectories that enter the stem become chaotic. The phase portrait shows both: smooth curves (KAM islands) coexisting with a chaotic sea. This is mixed dynamics, and it is generic — most real dynamical systems look like this rather than being purely integrable or purely chaotic.

The elliptical billiard is one of the most beautiful examples of integrability in classical mechanics. Every trajectory inside an ellipse is tangent to either a confocal ellipse or a confocal hyperbola. This inner curve is called a caustic, and it is preserved forever — the ball never crosses it.

If the ball passes between the two foci of the ellipse, its caustic is a confocal hyperbola. If it does not pass between the foci, its caustic is a smaller confocal ellipse. The special trajectory that passes exactly through a focus reflects to pass through the other focus — this is the geometric property that gives elliptical mirrors their focusing power.

In phase space, these caustics appear as smooth closed curves. The ellipse has two conserved quantities (energy and a second integral related to the caustic), which is exactly the right number for a two-dimensional system. This is integrability: enough conservation laws to constrain the motion to smooth curves rather than letting it wander chaotically.

Yakov Sinai proved in 1970 that a square billiard with a circular obstacle in the center (the Sinai billiard) is ergodic. This was a landmark result: it provided the first rigorous example of a deterministic system with the statistical properties physicists had been assuming since Boltzmann. The convex obstacle acts as a dispersing element — every reflection off the circle spreads nearby trajectories apart, producing exponential sensitivity.

Billiards connect to statistical mechanics through the ergodic hypothesis: the idea that a system left to itself will eventually visit every accessible state. Boltzmann needed this to justify his derivation of thermodynamic equilibrium from mechanics. Sinai’s billiard was the first fully rigorous proof that a physical-looking system actually satisfies ergodicity.

The mathematics extends further. Billiards connect to number theory (the problem of counting lattice points in expanding domains), quantum chaos (the eigenvalues of the Laplacian on billiard-shaped domains follow random matrix statistics for chaotic shapes), and even the design of optical cavities and microwave resonators. What began as an idealization of a ball on a table turns out to illuminate some of the deepest questions about determinism, predictability, and the nature of randomness.