Liouville's theorem states that the phase space volume of a Hamiltonian system is conserved over time.The theorem's history dates back to 1838, when the French mathematician Joseph Liouville was studying planetary motion. He noticed a remarkable property: if you take many copies of a mechanical system, slightly differing in initial conditions, the volume occupied by these copies in phase space (coordinates + momenta) remains constant over time. It is as if a flock of sheep scattered across a pasture, but the area they occupied remained unchanged. Later, in the works of Gibbs and Einstein, Liouville's theorem became the foundation of statistical mechanics. It explains why the entropy of an isolated system cannot decrease: microscopic trajectories do not compress.
Joseph Liouville published his theorem in 1838 in a note on the method of variation of arbitrary constants in celestial mechanics. In its modern formulation, it is often associated with Henri Poincaré, who used the conservation of phase volume in studies of the stability of the Solar System. At the beginning of the 20th century, Ehrenfest gave a vivid interpretation: 'the fluid of phase points is incompressible.' The quantum analog—the von Neumann equation—also conserves probability volume, but with caveats due to noncommutativity.
Liouville's theorem plays a key role in plasma physics and accelerator science, where beam compression is limited by the conservation of emittance (a parameter proportional to phase volume). In statistical physics, it explains why microscopic reversibility does not contradict macroscopic irreversibility: the phase volume is conserved, but due to the instability of trajectories, it becomes mixed to such an extent that the coarse-grained entropy increases (so-called mixing). Limits of applicability: the theorem holds only for isolated Hamiltonian systems without dissipation and without external fields that disrupt the canonical structure.
Liouville's theorem underlies statistical physics and particle accelerator design: it explains why a beam cannot be focused into an infinitely small spot without loss of brightness.
If not for Liouville's theorem, perpetual motion machines of the second kind would be possible. Air molecules could spontaneously gather in one corner of the room, and you would get free energy. But the conservation of phase volume forbids such tricks—chaos always takes its toll.
| hcap(γ_t) | variable | Half-plane capacity of the Loewner hull at time t — half plane capacity metre squared |
| t | variable | Time parameter of the Loewner evolution — time second |
