← Classical Mechanics
🔄

Canonical Transformations

Canonical transformations change coordinates in phase space while preserving Hamilton's equations — they are the symplectomorphisms of classical mechanics. The right transformation can trivialize a problem: action-angle variables reduce any integrable system to uniform motion.

Key Concepts

Canonical Transformation
A coordinate change (q,p)(Q,P)(q,p)\to(Q,P) that preserves the form of Hamilton's equations. Equivalently, it preserves the Poisson brackets: {Qi,Pj}=δij\{Q_i,P_j\}=\delta_{ij}, {Qi,Qj}=0\{Q_i,Q_j\}=0, {Pi,Pj}=0\{P_i,P_j\}=0.
Generating Functions
A function F(q,Q,t)F(q,Q,t) (or one of three other mixed representations) defines a canonical transformation via p=F/qp=\partial F/\partial q, P=F/QP=-\partial F/\partial Q, K=H+F/tK=H+\partial F/\partial t.
Action Variable
Ji=pidqiJ_i=\oint p_i\,dq_i (integral over one period of the iith degree of freedom). Action variables are adiabatic invariants: they are conserved when the system changes slowly.
Action-Angle Variables
The canonical transformation to action-angle variables (J,θ)(J,\theta) makes HH depend only on JJ: H=H(J)H=H(J). Then J˙=0\dot J=0 (J is constant) and θ˙=H/J=ω(J)\dot\theta=\partial H/\partial J=\omega(J) is constant — uniform motion in θ\theta.

Key Equations

Symplectic condition
MTJM=J,J=(0II0)M^T J M = J, \quad J = \begin{pmatrix}0&I\\-I&0\end{pmatrix}
The Jacobian M of a canonical transformation satisfies this matrix equation.
Action variable
J=pdqJ = \oint p\,dq
Integral over one complete cycle; equals the enclosed area in phase space.
Angle variable EOM
θ˙=H(J)J=ω(J)\dot{\theta} = \frac{\partial H(J)}{\partial J} = \omega(J)
In action-angle variables, the angle increases uniformly at rate ω(J).
Worked Example

Action Variable for the Harmonic Oscillator

Problem

Compute the action variable J=pdqJ=\oint p\,dq for a harmonic oscillator (H=p2/(2m)+12mω02q2=EH=p^2/(2m)+\frac{1}{2}m\omega_0^2 q^2=E) and express HH in terms of JJ.

Solution

The phase space orbit is an ellipse: q=Acosϕq=A\cos\phi, p=mω0Asinϕp=-m\omega_0 A\sin\phi, with A=2E/(mω02)A=\sqrt{2E/(m\omega_0^2)}.

J=pdq=(mω0Asinϕ)(Asinϕ)dϕ=mω0A202πsin2ϕdϕ=πmω0A2J = \oint p\,dq = \oint (-m\omega_0 A\sin\phi)(-A\sin\phi)\,d\phi = m\omega_0 A^2\int_0^{2\pi}\sin^2\phi\,d\phi = \pi m\omega_0 A^2

Since E=12mω02A2E=\frac{1}{2}m\omega_0^2 A^2, we have A2=2E/(mω02)A^2=2E/(m\omega_0^2):

J=πmω02Emω02=2πEω0    H=E=ω0J/(2π)ω0JJ = \pi m\omega_0\cdot\frac{2E}{m\omega_0^2} = \frac{2\pi E}{\omega_0} \implies H = E = \omega_0 J/(2\pi) \equiv \omega_0 J

(Using JJ defined without the 2π2\pi.) Then θ˙=H/J=ω0\dot\theta=\partial H/\partial J=\omega_0, confirming uniform angular motion.

Answer J=2πE/ω0J=2\pi E/\omega_0; the Hamiltonian becomes H=ω0J/(2π)H=\omega_0 J/(2\pi).
Practice

Exercises

7 problems
1 of 7

For a harmonic oscillator with ω0=4.0\omega_0=4.0 rad/s and energy E=20E=20 J, find the action variable J=2πE/ω0J=2\pi E/\omega_0 (in J·s).

J·s
2 of 7

A free particle (mass m=2.0m=2.0 kg) bounces between walls at x=0x=0 and x=L=1.0x=L=1.0 m with speed v=5.0v=5.0 m/s. Find the action J=2mvLJ=2mvL (in kg·m²/s).

kg·m²/s
3 of 7

What is the Poisson bracket {J,θ}\{J,\theta\} for action-angle variables? (It equals 1 by the canonical condition.)

Unlock Exercise 3

Subscribe to PhysWeb Pro to access all exercises and track your progress.

Upgrade to Pro →
4 of 7

A pendulum has J=0.50J=0.50 J·s and ω0=ω(J)=6.0\omega_0=\omega(J)=6.0 rad/s. Find the energy E=ω0J/(2π)E=\omega_0 J/(2\pi) (in J).

Unlock Exercise 4

Subscribe to PhysWeb Pro to access all exercises and track your progress.

Upgrade to Pro →
5 of 7

An adiabatic invariant: a pendulum with J=E/f=1.0J=E/f=1.0 J/Hz has its length slowly halved, doubling ff. Find the new energy E2E_2 (in J). E=JfE=Jf.

Unlock Exercise 5

Subscribe to PhysWeb Pro to access all exercises and track your progress.

Upgrade to Pro →
6 of 7

The generating function F2(q,P)=qPF_2(q,P)=qP gives the identity transformation. Find p=F2/qp=\partial F_2/\partial q.

Unlock Exercise 6

Subscribe to PhysWeb Pro to access all exercises and track your progress.

Upgrade to Pro →
7 of 7

A harmonic oscillator has action J=4.0J=4.0 J·s and ω0=2.0\omega_0=2.0 rad/s. Find the amplitude AA (in m) for m=1.0m=1.0 kg. Use J=πmω0A2J=\pi m\omega_0 A^2.

Unlock Exercise 7

Subscribe to PhysWeb Pro to access all exercises and track your progress.

Upgrade to Pro →

Key Takeaways

  • Canonical transformations preserve Poisson brackets and the symplectic structure of phase space.
  • Generating functions provide a systematic way to construct canonical transformations.
  • Action variables Ji=pidqiJ_i=\oint p_i\,dq_i are constants of motion for integrable systems and adiabatic invariants for slowly-varying systems.
  • In action-angle variables, the Hamiltonian depends only on JJ, giving trivial uniform motion θ˙=ω(J)\dot\theta=\omega(J).