Liouville-Arnold Theorem

The Liouville-Arnold theorem is the fundamental result that guarantees the existence of action-angle variables for a Hamiltonian system with enough conserved quantities. It states that if a system with $ degrees of freedom possesses $ independent conserved quantities in involution — meaning their mutual Poisson brackets vanish — then the system is completely integrable, and its phase space is foliated by invariant tori. The theorem transforms a question about dynamics into a question about geometry: the topology of these tori determines the nature of the motion, and the action variables are the natural coordinates that quantify the size of each orbit.

The theorem is not merely an existence result. It is a constructive one: the action variables are obtained by integrating the canonical one-form around closed loops on the invariant torus, and the angle variables are the conjugate coordinates that parameterize the torus. This construction reveals that integrability is not a rare special case but a structural property of systems with sufficient symmetry — and that the breakdown of integrability, when it occurs, is a topological catastrophe in which these tori are destroyed.

The Liouville-Arnold theorem is the reason we can speak of integrable systems at all. Without it, action-angle variables would be a formal trick; with it, they are a geometric necessity. The theorem does not tell us which systems are integrable — it tells us what integrability looks like when it happens.