Liouville's Theorem

Liouville's theorem is a foundational result in Hamiltonian mechanics stating that the phase space volume occupied by a ensemble of systems is conserved over time. More precisely, the theorem proves that the divergence of the Hamiltonian flow vanishes: the 'fluid' of representative points moving through phase space under Hamilton's equations is incompressible. The theorem is not a statistical assumption but a deterministic consequence of the structure of Hamilton's equations.

The conservation of phase space volume has profound implications for statistical mechanics. It justifies the use of phase space averages to compute thermodynamic quantities, because the volume of any region of phase space remains constant as the system evolves. This means that the Gibbs entropy — which is proportional to the logarithm of the phase space volume — is also conserved under Hamiltonian dynamics, provided the ensemble is described by a continuous density. Liouville's theorem is therefore the bridge between the microscopic reversibility of mechanics and the macroscopic irreversibility of thermodynamics, a connection that has been debated since Boltzmann.

The theorem also plays a role in the theory of dynamical systems and ergodic theory. It guarantees that Hamiltonian systems preserve a natural measure — the Liouville measure — which makes them amenable to the tools of measure-theoretic analysis. In modern contexts, Liouville's theorem has been extended to infinite-dimensional systems (field theories) and to systems with constraints (Dirac's constrained Hamiltonian dynamics). Yet the theorem's scope is limited: it applies only to Hamiltonian systems, and many physical systems — dissipative systems, open systems, systems with noise — do not conserve phase space volume. The attempt to extend Liouville-like conservation laws to non-Hamiltonian systems is an active and contested research area.

Liouville's theorem is often cited as proof that entropy cannot decrease in a closed Hamiltonian system. This is a misunderstanding. The theorem proves that phase space volume is conserved, not that entropy is conserved. The Gibbs entropy can decrease if the probability distribution becomes more concentrated — and in fact, this concentration is precisely what we observe when a system equilibrates. The arrow of time is not hidden in Liouville's theorem. It is hidden in the assumptions we make about initial conditions.