Liouville-Arnold Theorem

The Liouville-Arnold theorem is the fundamental structure theorem for completely integrable Hamiltonian systems. It asserts that the dynamics on compact invariant sets is quasi-periodic: the motion takes place on tori with linear flow.

Statement

Theorem4.1Liouville-Arnold Theorem

Let $(M^{2n}, \omega)$ be a symplectic manifold and $F = (F_1, \ldots, F_n): M \to \mathbb{R}^n$ a completely integrable system ( $\{F_i, F_j\} = 0$ and $dF_1 \wedge \cdots \wedge dF_n \neq 0$ on a dense set). If $c \in \mathbb{R}^n$ is a regular value of $F$ and the level set $\Lambda_c = F^{-1}(c)$ is compact and connected, then:

$\Lambda_c$ is diffeomorphic to $T^n$ (the $n$ -torus).
There exist action-angle coordinates $(I_1, \ldots, I_n, \theta_1, \ldots, \theta_n)$ near $\Lambda_c$ with $\omega = \sum dI_i \wedge d\theta_i$ .
In these coordinates, the Hamiltonian flow is $\dot{\theta}_i = \omega_i(I)$ , $\dot{I}_i = 0$ , where $\omega_i = \partial H / \partial I_i$ are the frequencies.

ExampleKepler Problem

The Kepler problem (gravitational two-body problem) in $\mathbb{R}^3$ is completely integrable with three independent integrals in involution: the Hamiltonian $H$ (energy), angular momentum magnitude $|L|$ , and one component $L_z$ . The compact level sets are 3-tori, and the dynamics is quasi-periodic.

RemarkKAM Theory

The Kolmogorov-Arnold-Moser (KAM) theorem addresses what happens when an integrable system is perturbed: most invariant tori survive (those with sufficiently irrational frequency vectors), while resonant tori may break up. KAM theory connects integrable systems to the study of dynamical stability.