2.1.8Analytical Mechanics

Cyclic coordinates — corresponding conservation law

1,546 words7 min readdifficulty · medium

WHAT is a cyclic coordinate?

WHY the name "cyclic"? Historically it came from systems where the ignored coordinate was an angle (like ϕ\phi), which cycles around 02π0\to 2\pi. The Lagrangian is unchanged as you go around the cycle.


HOW the conservation law drops out (derivation from scratch)

We start from the Euler–Lagrange equation — the master equation of analytical mechanics:

ddt(Lq˙k)Lqk=0\frac{d}{dt}\left(\frac{\partial L}{\partial \dot q_k}\right) - \frac{\partial L}{\partial q_k} = 0

Why this step? This is just Lagrange's equation for coordinate qkq_k — it holds for every coordinate, cyclic or not.

Now define the generalized (conjugate) momentum:

Why call it momentum? For L=12mx˙2V(x)L = \tfrac12 m\dot x^2 - V(x) we get px=mx˙p_x = m\dot x, the ordinary linear momentum. The definition generalizes this idea to any coordinate.

Substitute the definition into Euler–Lagrange:

ddtpk=Lqk\frac{d}{dt}\,p_k = \frac{\partial L}{\partial q_k}

Why this step? Lq˙k\frac{\partial L}{\partial \dot q_k} is literally pkp_k, so the first term is just p˙k\dot p_k.

Now impose that qkq_k is cyclic, i.e. Lqk=0\dfrac{\partial L}{\partial q_k}=0:

dpkdt=0pk=constant\boxed{\frac{dp_k}{dt}=0 \quad\Longrightarrow\quad p_k = \text{constant}}



Worked Examples

Example 1 — Free particle, ignorable xx

L=12m(x˙2+y˙2)L = \tfrac12 m(\dot x^2 + \dot y^2)

  • Is xx cyclic? L/x=0\partial L/\partial x = 0 → yes. Why? No xx appears.
  • Conjugate momentum: px=L/x˙=mx˙p_x = \partial L/\partial \dot x = m\dot x. Why this step? Differentiate LL w.r.t. x˙\dot x.
  • Conclusion: mx˙=constm\dot x = \text{const} → linear momentum conserved. Translational symmetry ⇒ momentum conservation. ✔

Example 2 — Central force, ignorable angle ϕ\phi

Polar coordinates: L=12m(r˙2+r2ϕ˙2)V(r)L = \tfrac12 m(\dot r^2 + r^2\dot\phi^2) - V(r).

  • Is ϕ\phi cyclic? L/ϕ=0\partial L/\partial\phi = 0 (only rr appears in VV). → yes.
  • Conjugate momentum: pϕ=L/ϕ˙=mr2ϕ˙p_\phi = \partial L/\partial\dot\phi = m r^2 \dot\phi. Why? Only the r2ϕ˙2r^2\dot\phi^2 term contains ϕ˙\dot\phi; differentiate it.
  • Conclusion: pϕ=mr2ϕ˙=constp_\phi = mr^2\dot\phi = \text{const} → this is angular momentum LzL_z. Rotational symmetry ⇒ angular momentum conserved. ✔ (Kepler's 2nd law lives here.)

Example 3 — Projectile, xx cyclic but yy not

L=12m(x˙2+y˙2)mgyL = \tfrac12 m(\dot x^2 + \dot y^2) - mgy

  • L/x=0\partial L/\partial x = 0xx cyclic → px=mx˙=constp_x = m\dot x = \text{const} (horizontal momentum conserved). Why? gravity acts only vertically.
  • L/y=mg0\partial L/\partial y = -mg \ne 0yy not cyclic → py=my˙p_y = m\dot y changes: p˙y=mg\dot p_y = -mg. Why this step? The vertical force mg-mg is exactly L/y\partial L/\partial y.

Example 4 — Bead on a rotating-free hoop axis (cyclic azimuth)

L=12m(θ˙2R2+R2sin2θϕ˙2)L = \tfrac12 m\big(\dot\theta^2 R^2 + R^2\sin^2\theta\,\dot\phi^2\big) (free particle on a sphere).

  • ϕ\phi absent → cyclic → pϕ=mR2sin2θϕ˙=constp_\phi = mR^2\sin^2\theta\,\dot\phi = \text{const}. Why? Symmetry about the polar axis.


Recall Feynman: explain to a 12-year-old

Imagine you're on a perfectly flat, endless ice rink. Sliding left or right, the rink looks exactly the same — it doesn't "care" where you are sideways. Because nothing changes when you move sideways, nothing slows you down sideways: your sideways speed stays the same forever. That "doesn't-care" is a cyclic coordinate, and the unchanging sideways oomph is the conserved momentum. Whenever the world looks the same after you move or turn, something stays constant.


Flashcards

Define a cyclic (ignorable) coordinate.
A coordinate qkq_k that does not appear explicitly in LL: L/qk=0\partial L/\partial q_k = 0 (its velocity q˙k\dot q_k may still appear).
What is conserved when qkq_k is cyclic?
Its conjugate momentum pk=L/q˙kp_k = \partial L/\partial \dot q_k.
Define generalized (conjugate) momentum.
pkL/q˙kp_k \equiv \partial L / \partial \dot q_k.
Derive the conservation law from Euler–Lagrange.
ddtLq˙kLqk=0\frac{d}{dt}\frac{\partial L}{\partial \dot q_k} - \frac{\partial L}{\partial q_k}=0; with L/qk=0\partial L/\partial q_k = 0, p˙k=0pk\dot p_k = 0 \Rightarrow p_k const.
In central-force motion, which coordinate is cyclic and what is conserved?
ϕ\phi is cyclic; pϕ=mr2ϕ˙p_\phi = m r^2 \dot\phi = angular momentum LzL_z is conserved.
Why is ϕ\phi cyclic even though ϕ˙\dot\phi appears in LL?
Cyclic refers to absence of the coordinate itself, not its velocity.
Common mistake: does cyclic mean qkq_k is constant?
No — the conjugate momentum pkp_k is constant, not qkq_k.
Which symmetry does a cyclic linear coordinate xx express?
Translational symmetry ⇒ linear momentum mx˙m\dot x conserved.
What conserves energy instead of momentum?
LL not depending explicitly on time (L/t=0\partial L/\partial t=0) ⇒ Hamiltonian conserved (different theorem).

Connections

  • Euler–Lagrange Equations — the master equation we differentiated.
  • Generalized Momentum — the quantity that gets conserved.
  • Noether's Theorem — the deep generalization: every continuous symmetry ↔ conservation law.
  • Central Force Motion — cyclic ϕ\phi gives angular momentum.
  • Hamiltonian Mechanics — cyclic coordinates simplify HH (Routhian reduction).
  • Conservation of Energy — the time-translation analogue.

Concept Map

manifests as

defined by

means

holds for every qk

substituted into

no force term

gives

example free particle

example central force

generalizes

Symmetry of Lagrangian

Cyclic coordinate qk

qk absent in L

partial L over partial qk = 0

Euler-Lagrange equation

Generalized momentum pk

dpk/dt = partial L over partial qk

pk = constant

Linear momentum m x-dot

Angular momentum

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, idea bahut simple hai. Lagrangian LL ek formula hai jisme coordinates qq aur unki velocities q˙\dot q hoti hain. Agar kisi ek coordinate qkq_k ka naam LL me bilkul nahi aata — sirf uski velocity q˙k\dot q_k aati hai, par khud qkq_k gayab hai — to use hum cyclic coordinate kehte hain. Matlab L/qk=0\partial L/\partial q_k = 0.

Ab Euler–Lagrange equation likho: ddtLq˙k=Lqk\frac{d}{dt}\frac{\partial L}{\partial \dot q_k} = \frac{\partial L}{\partial q_k}. Jo cheez left side me bracket ke andar hai, usko hum conjugate momentum pkp_k bolte hain. Agar coordinate cyclic hai to right side zero ho jata hai, isliye p˙k=0\dot p_k = 0, yaani pkp_k constant reh gaya. Bas — symmetry se conservation law nikal aaya!

Real examples: free particle me xx cyclic hai, to px=mx˙p_x = m\dot x constant (linear momentum bach gaya). Central force me angle ϕ\phi cyclic hai, to pϕ=mr2ϕ˙p_\phi = mr^2\dot\phi constant — yeh hi angular momentum LzL_z hai, aur isi se Kepler ka equal-area law aata hai. Yaad rakho: conserved hota hai momentum pkp_k, coordinate qkq_k khud badhta rehta hai (jaise ϕ\phi ghoomta rehta hai). Yeh chhoti si trick aage Noether's theorem ka base hai — har symmetry ke peeche ek conserved quantity chhupi hoti hai.

Go deeper — visual, from zero

Test yourself — Analytical Mechanics

Connections