Liouville's theorem on phase-space volume
/ LYOO-vil /
Imagine a swarm of identical mechanical systems, started from a little blob of nearby states in phase space, and let them all evolve. The blob will stretch, twist, and fold into wild shapes as time passes. Liouville's theorem says one thing is unbreakable: the total volume of the blob never changes. Hamiltonian dynamics may distort phase space arbitrarily, but it can never compress or expand it — phase-space flow is incompressible, like an ideal fluid.
Precisely, on a symplectic manifold (M, omega) of dimension 2n there is a canonical volume form, the Liouville volume omega^n / n!. Liouville's theorem states that the flow of any Hamiltonian vector field X_H preserves this volume: the time-t maps are volume-preserving. The cleanest proof is one line with Cartan's magic formula — the Lie derivative L_{X_H} omega = d(iota_{X_H} omega) + iota_{X_H}(d omega) = d(dH) + 0 = 0 — so the flow preserves omega, hence preserves omega^n, hence preserves volume. The vanishing of the first term uses dH being exact and the second uses d omega = 0. Equivalently, in Darboux coordinates the Hamiltonian vector field has zero divergence: sum (partial/partial q_i)(partial H/partial p_i) + (partial/partial p_i)(-partial H/partial q_i) = 0.
Its reach is enormous. It is the foundational fact of statistical mechanics (the microcanonical measure is invariant, so 'equal volumes are equally likely' is consistent with dynamics), it underlies the Poincare recurrence theorem (a finite-volume system must return arbitrarily close to its start), and it explains why phase-space density behaves like an incompressible fluid in the Vlasov and Boltzmann pictures. A subtle and important caveat: Liouville says Hamiltonian flow preserves volume, but the converse is false in dimension 2n > 2 — being volume-preserving is much weaker than being symplectic, and Gromov nonsqueezing shows symplectic maps obey constraints invisible to volume alone.
For the harmonic oscillator, the flow rotates the phase plane (R^2, dp ^ dq) rigidly: a disk of states becomes a congruent rotated disk, obviously preserving area. For a more telling case, free particles with H = p^2/2 shear phase space — a square blob becomes a slanted parallelogram of the same area as q drifts forward in proportion to p. The shape distorts dramatically, but the area stays fixed, exactly as Liouville guarantees.
Free-particle flow shears a blob into a slanted shape of equal area — incompressibility in action.
Volume preservation is necessary but not sufficient for a map to be symplectic when 2n > 2. The converse failure is the entire point of symplectic rigidity: Gromov's ball cannot be squeezed into a thin cylinder of larger volume, even though volume alone would permit it.