Liouville's Theorem

TheoremLiouville's Theorem on Volume Preservation

Let $(M, \omega)$ be a symplectic manifold and $\phi_t$ a Hamiltonian flow. Then $\phi_t$ preserves the Liouville volume form:

$\phi_t^* \left(\frac{\omega^n}{n!}\right) = \frac{\omega^n}{n!}$

Equivalently, Hamiltonian flows preserve symplectic volume. In classical mechanics, this means that phase space volume is conserved under time evolution.

This fundamental result, first proved by Joseph Liouville in 1838, is one of the cornerstones of statistical mechanics. It guarantees that the phase space density of an ensemble of systems remains constant along Hamiltonian flow.

Physical Interpretation: If we track a "cloud" of initial conditions in phase space, the cloud may deform and stretch under the dynamics, but its total volume remains constant. This is crucial for the microcanonical ensemble in statistical mechanics.

Remark

Liouville's theorem is stronger than mere volume preservation: it asserts that all Hamiltonian flows preserve volume. In contrast, not all volume-preserving flows are Hamiltonian. The symplectic structure provides additional constraints.

DefinitionPoincaré Recurrence Theorem

As a consequence of Liouville's theorem, on a compact symplectic manifold with finite volume, almost every Hamiltonian trajectory returns arbitrarily close to its starting point infinitely often.

This follows from volume preservation combined with the fact that the flow is measure-preserving on a finite measure space.

ExampleHarmonic Oscillator

Consider the Hamiltonian $H = \frac{1}{2}(p^2 + q^2)$ on $\mathbb{R}^2$ . The level sets $H^{-1}(E)$ are circles, and the flow rotates each circle at constant angular velocity.

For any region $A \subseteq \mathbb{R}^2$ , the image $\phi_t(A)$ has the same area as $A$ :

$\text{Area}(\phi_t(A)) = \int_{\phi_t(A)} dq \wedge dp = \int_A \phi_t^*(dq \wedge dp) = \int_A dq \wedge dp = \text{Area}(A)$

The proof relies on the fact that Hamiltonian vector fields preserve the symplectic form: $\mathcal{L}_{X_H} \omega = 0$ . Taking the $n$ -fold wedge product:

$\mathcal{L}_{X_H}(\omega^n) = n \omega^{n-1} \wedge \mathcal{L}_{X_H} \omega = 0$

DefinitionSymplectic Capacity

Liouville's theorem implies the existence of symplectic capacities: numerical invariants that measure the "size" of a symplectic manifold and are preserved by symplectomorphisms.

A symplectic capacity $c$ assigns to each symplectic manifold $(M, \omega)$ a non-negative number $c(M, \omega) \in [0, \infty]$ satisfying:

Monotonicity: If $\phi: (M, \omega) \to (M', \omega')$ is a symplectic embedding, then $c(M, \omega) \leq c(M', \omega')$
Conformality: $c(M, \lambda\omega) = \lambda c(M, \omega)$ for $\lambda > 0$
Normalization: $c(B^{2n}(r), \omega_0) = \pi r^2$ for balls in $\mathbb{R}^{2n}$

ExampleNon-Squeezing Theorem

A dramatic consequence of symplectic capacity theory is Gromov's non-squeezing theorem: A symplectic ball $B^{2n}(r)$ can be symplectically embedded into a cylinder $B^2(R) \times \mathbb{R}^{2n-2}$ if and only if $r \leq R$ .

This shows that symplectic geometry is fundamentally different from volume geometry: one cannot squeeze a ball through a smaller hole while preserving the symplectic structure, even though this is possible volume-wise.

Remark

Liouville's theorem distinguishes symplectic geometry from Riemannian geometry. While isometries also preserve volume, the class of symplectomorphisms is much larger (infinite-dimensional) yet still maintains strong rigidity properties like non-squeezing.

DefinitionArnold Conjecture

A deep generalization concerns fixed points of Hamiltonian symplectomorphisms. The Arnold conjecture states that on a compact symplectic manifold $M$ , any Hamiltonian symplectomorphism has at least as many fixed points as a smooth function on $M$ has critical points.

This conjecture, now largely proved using Floer homology, shows that Liouville's theorem has far-reaching topological consequences.