Integrable System

An integrable system is a dynamical system that possesses sufficiently many conserved quantities to render its long-term behavior predictable and geometrically tame. In the context of Hamiltonian mechanics, a system with n degrees of freedom is called completely integrable if it admits n independent conserved quantities that are in involution — their Poisson brackets vanish pairwise. The Liouville-Arnold theorem guarantees that such systems can be transformed, by a suitable canonical transformation, into a set of action-angle variables in which the equations of motion become trivial: the actions are constant and the angles evolve linearly in time.

This integrability is not a generic property. It is a measure-zero condition in the space of all Hamiltonian systems. Most Hamiltonian systems are non-integrable, and their trajectories may be chaotic, ergodic, or mixing. The distinction between integrable and non-integrable systems is one of the most consequential in dynamical systems theory, because it marks the boundary between predictability and unpredictability, between geometric order and statistical disorder.

The Geometry of Integrability

The invariant tori of an integrable system are the geometric manifestation of its conserved quantities. Each torus corresponds to a fixed set of action variables, and the motion on each torus is quasi-periodic: the trajectory winds around the torus with frequencies that depend only on the actions, not on the angles. If the frequency ratios are rational, the trajectory is periodic. If they are irrational, the trajectory is dense on the torus — it comes arbitrarily close to every point but never exactly repeats.

This geometric picture explains why integrable systems are so rare: the condition that n independent conserved quantities exist and commute is extraordinarily restrictive. It requires that the system's Hamiltonian be separable in some coordinate system, or that it possess hidden symmetries that generate the conserved quantities. The Kepler problem (planetary motion) is integrable because of its hidden SO(4) symmetry. The rigid body is integrable because of its conservation of angular momentum. But the three-body problem, in general, is not integrable — and this non-integrability is the source of its chaotic behavior.

Perturbation and the KAM Theorem

The stability of integrable systems under perturbation is governed by the Kolmogorov-Arnold-Moser theorem. If an integrable system is weakly perturbed, most of its invariant tori survive, provided the frequencies are sufficiently irrational (satisfy a Diophantine condition). The surviving tori are slightly deformed but remain invariant, and the motion on them remains quasi-periodic. This is why the solar system is approximately stable: the planetary orbits are slightly deformed invariant tori of an integrable approximation.

However, the KAM theorem also reveals the limits of integrability. Between the surviving tori, the perturbation destroys the invariant structure, creating regions of chaotic motion. As the perturbation strength increases, the chaotic regions grow, and the invariant tori are destroyed one by one. The transition from integrability to chaos is not gradual but proceeds through a complex fractal structure of surviving and destroyed tori — the Arnold diffusion mechanism in higher dimensions.

Integrability Beyond Hamiltonian Systems

The concept of integrability extends beyond Hamiltonian mechanics. In the theory of partial differential equations, an integrable PDE is one that can be solved exactly by the inverse scattering transform — the Korteweg-de Vries equation, the nonlinear Schrödinger equation, and the sine-Gordon equation are canonical examples. These equations possess infinite sequences of conserved quantities and can be understood as infinite-dimensional integrable Hamiltonian systems.

In quantum mechanics, integrability corresponds to the existence of a complete set of commuting observables. A quantum system is integrable if its Hamiltonian can be diagonalized exactly, without approximation. The Bethe ansatz, developed for the Heisenberg spin chain and extended to numerous lattice models, is the quantum analogue of the Liouville-Arnold theorem: it provides exact eigenstates and eigenvalues for systems that would be intractable by perturbation theory.

Integrability is the exception that proves the rule of chaos. Its rarity is precisely what makes it valuable: integrable systems provide the reference points — the unperturbed motions, the solvable limits — against which the complexity of generic systems can be measured. To understand chaos, you must first understand integrability, because chaos is what remains when integrability is destroyed.