Hamiltonian Systems — Mathematics Knowledge System

Overview

A Hamiltonian system is a dynamical system governed by Hamilton's equations, derived from a scalar function H(q,p) called the Hamiltonian (the total energy). The phase space has a symplectic structure that gives the flow volume-preserving (Liouville's theorem) and time-reversible properties fundamentally different from dissipative systems. Integrable Hamiltonian systems (with sufficiently many conserved quantities) can be solved by quadrature via the Arnold-Liouville theorem, with motion confined to invariant tori. Near integrable systems, the KAM (Kolmogorov-Arnold-Moser) theorem shows that most tori survive small perturbations, while others break down creating chaotic layers. This interplay between ordered (KAM tori) and chaotic regions makes Hamiltonian chaos qualitatively distinct from dissipative chaos.

Intuition

A Hamiltonian system is like a frictionless billiard or planetary orbit: energy is perfectly conserved and the system is time-reversible. Unlike a damped oscillator (which spirals to rest), a Hamiltonian system keeps cycling indefinitely. The symplectic geometry means phase space 'volumes' (in the sense of the symplectic form) are preserved exactly, so the system never contracts onto an attractor. For integrable systems, all motion is regular (quasiperiodic on tori); adding a tiny perturbation breaks most tori (chaos) but KAM says surprisingly many survive -- those corresponding to irrational frequency ratios that are sufficiently 'badly approximated' by rationals.

Formal Definition

Definition

A Hamiltonian system on R^{2n} (or a symplectic manifold) is governed by Hamilton's equations derived from H(q,p).

\dot{q}_i = \frac{\partial H}{\partial p_i}, \quad \dot{p}_i = -\frac{\partial H}{\partial q_i}, \quad i = 1, \ldots, n

Hamilton's equations of motion

\frac{d}{dt} H(q(t), p(t)) = 0

Energy conservation along trajectories

\omega = \sum_{i=1}^n dq_i \wedge dp_i

Symplectic form (preserved by the flow)

\{f, g\} = \sum_{i=1}^n \left(\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q_i}\right)

Poisson bracket

Notation

Notation	Meaning
$H(q,p)$	Hamiltonian function (total energy)
$(q_i, p_i)$	Generalized coordinates and conjugate momenta
$\omega$	Symplectic 2-form
$\{f, g\}$	Poisson bracket of f and g

Theorems

Theorem 1: Liouville's Theorem (Volume Preservation)

The Hamiltonian flow preserves the symplectic volume: the divergence of the Hamiltonian vector field is zero, so phase space volumes are preserved. Equivalently, the Liouville measure dq_1...dq_n dp_1...dp_n is invariant under the Hamiltonian flow.

Theorem 2: Arnold-Liouville Theorem

Suppose a Hamiltonian system with n degrees of freedom has n independent first integrals F_1 = H, F_2, ..., F_n in involution ({F_i, F_j} = 0). Then on each connected compact level set {F_i = c_i}, the motion is quasiperiodic on an n-dimensional torus T^n. In particular, the system is integrable by quadrature in action-angle variables.

Theorem 3: KAM Theorem

Consider a nearly integrable Hamiltonian H = H_0(I) + epsilon*H_1(q, I), where H_0 is integrable with action variables I and epsilon is small. If the frequency vector omega(I) = partial H_0/partial I satisfies a Diophantine condition |omega cdot k| >= gamma/|k|^tau for all integer vectors k ≠ 0, then the corresponding invariant torus persists under the perturbation (deformed but not destroyed) for epsilon sufficiently small.

Worked Examples

1
Hamilton's equations: dq/dt = partial H/partial p = p; dp/dt = -partial H/partial q = -omega^2*q.
$\dot{q} = p, \quad \dot{p} = -\omega^2 q$
2
This is simple harmonic oscillator: d^2q/dt^2 = -omega^2*q, with solutions q(t) = A*cos(omega*t + phi).
3
Energy conservation: dH/dt = (partial H/partial q)*dq/dt + (partial H/partial p)*dp/dt = (omega^2*q)*p + p*(-omega^2*q) = 0.
$\frac{dH}{dt} = \omega^2 q \cdot p + p \cdot (-\omega^2 q) = 0$

✓ Answer

The Hamiltonian gives oscillatory motion with angular frequency omega, and H is conserved (constant total energy).

Practice Problems

Mediumfree response

For H = (p_1^2 + p_2^2)/2 + q_1^2 + 2*q_2^2, show the system is integrable and find two independent first integrals.

Mediumfree response

State the KAM theorem in plain language and explain what 'Diophantine condition' means for the frequency vector.

Common Mistakes

Common Mistake

Thinking all Hamiltonian systems are integrable.

Most Hamiltonian systems with two or more degrees of freedom are not integrable; integrability requires n independent first integrals in involution, which is a very special property.

Common Mistake

Confusing Liouville's theorem (volume preservation) with energy conservation.

Liouville's theorem is about phase space volume preservation (geometric property of all Hamiltonian flows); energy conservation is a consequence of H not explicitly depending on time. They are distinct properties.

Common Mistake

Assuming Hamiltonian chaos looks the same as dissipative chaos.

Hamiltonian chaos is bounded by KAM tori (which separate chaotic regions); the phase space has a mixed structure with ordered and chaotic regions coexisting. Dissipative chaos has a strange attractor as the global attractor.

Common Mistake

Thinking the KAM theorem guarantees all orbits are stable.

KAM shows most tori survive, but resonant ones are destroyed. The resulting chaotic layers allow orbits to diffuse (Arnold diffusion in 3+ DOF), potentially leading to instability over very long times.

Quiz

Historical Background

William Rowan Hamilton reformulated Newtonian mechanics in 1833 using a function H(q,p) and a canonical framework that revealed deep geometric structure in mechanics. Jacobi and Liouville developed the theory of integrable systems in the mid-19th century. Poincare's 1892-99 work 'Les Methodes Nouvelles de la Mecanique Celeste' showed that the three-body problem is non-integrable and laid the groundwork for understanding chaos in Hamiltonian systems. The KAM theorem was announced by Kolmogorov in 1954, proved by Arnold and Moser in the early 1960s, resolving a central question in celestial mechanics about the stability of planetary orbits under small perturbations.

1833
Hamilton formulates Hamiltonian mechanics
William Rowan Hamilton
1853
Liouville proves the theorem on volume preservation
Joseph Liouville
1892-1899
Poincare establishes non-integrability of the three-body problem and introduces homoclinic orbits
Henri Poincare
1954
Kolmogorov announces the KAM theorem on persistence of invariant tori
Andrey Kolmogorov
1963
Arnold and Moser provide complete proofs of the KAM theorem
Vladimir Arnold, Jurgen Moser

Summary

Hamiltonian systems are governed by Hamilton's equations from H(q,p); they conserve energy and preserve phase space volume (Liouville's theorem).
Integrable systems (n DOF, n first integrals in involution) have quasiperiodic motion on invariant tori, solvable by action-angle variables.
The KAM theorem: most invariant tori survive small perturbations (those with Diophantine frequencies); resonant tori break down creating chaotic layers.
Hamiltonian chaos differs from dissipative chaos: KAM tori bound chaotic regions, giving mixed phase space rather than a global strange attractor.

References

BookArnold, V. I. Mathematical Methods of Classical Mechanics. Springer, 1989.
WebsiteWikipedia — Hamiltonian mechanics