โ† 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=โˆฎpiโ€‰dqiJ_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=(0Iโˆ’I0)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=โˆฎpโ€‰dqJ = \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=โˆฎpโ€‰dqJ=\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=โˆฎpโ€‰dq=โˆฎ(โˆ’mฯ‰0Asinโกฯ•)(โˆ’Asinโกฯ•)โ€‰dฯ•=mฯ‰0A2โˆซ02ฯ€sinโก2ฯ•โ€‰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ฯ‰0โ‹…2Emฯ‰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=โˆฎpiโ€‰dqiJ_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).