Intuition The big idea in one breath
If the Lagrangian does not care about a particular coordinate (you can shift it freely and nothing changes), then something stays constant forever . That "something" is the momentum conjugate to the coordinate. A symmetry of the Lagrangian becomes a conservation law.
Definition Cyclic (ignorable) coordinate
A generalized coordinate q k q_k q k is cyclic (also called ignorable ) if it does not appear explicitly in the Lagrangian:
∂ L ∂ q k = 0 \frac{\partial L}{\partial q_k} = 0 ∂ q k ∂ L = 0
Its velocity q ˙ k \dot q_k q ˙ k may still appear — only the coordinate itself is absent.
WHY the name "cyclic"? Historically it came from systems where the ignored coordinate was an angle (like ϕ \phi ϕ ), which cycles around 0 → 2 π 0\to 2\pi 0 → 2 π . The Lagrangian is unchanged as you go around the cycle.
We start from the Euler–Lagrange equation — the master equation of analytical mechanics:
d d t ( ∂ L ∂ q ˙ k ) − ∂ L ∂ q k = 0 \frac{d}{dt}\left(\frac{\partial L}{\partial \dot q_k}\right) - \frac{\partial L}{\partial q_k} = 0 d t d ( ∂ q ˙ k ∂ L ) − ∂ q k ∂ L = 0
Why this step? This is just Lagrange's equation for coordinate q k q_k q k — it holds for every coordinate, cyclic or not.
Now define the generalized (conjugate) momentum :
Why call it momentum? For L = 1 2 m x ˙ 2 − V ( x ) L = \tfrac12 m\dot x^2 - V(x) L = 2 1 m x ˙ 2 − V ( x ) we get p x = m x ˙ p_x = m\dot x p x = m x ˙ , the ordinary linear momentum. The definition generalizes this idea to any coordinate.
Substitute the definition into Euler–Lagrange:
d d t p k = ∂ L ∂ q k \frac{d}{dt}\,p_k = \frac{\partial L}{\partial q_k} d t d p k = ∂ q k ∂ L
Why this step? ∂ L ∂ q ˙ k \frac{\partial L}{\partial \dot q_k} ∂ q ˙ k ∂ L is literally p k p_k p k , so the first term is just p ˙ k \dot p_k p ˙ k .
Now impose that q k q_k q k is cyclic , i.e. ∂ L ∂ q k = 0 \dfrac{\partial L}{\partial q_k}=0 ∂ q k ∂ L = 0 :
d p k d t = 0 ⟹ p k = constant \boxed{\frac{dp_k}{dt}=0 \quad\Longrightarrow\quad p_k = \text{constant}} d t d p k = 0 ⟹ p k = constant
must be true (Feynman-style WHY)
The motion is a "balance sheet": p ˙ k \dot p_k p ˙ k (rate of momentum change) equals ∂ L / ∂ q k \partial L/\partial q_k ∂ L / ∂ q k (the generalized force from that coordinate). If L L L has no q k q_k q k , there is no force pushing along q k q_k q k , so its momentum has nothing to change it. No force → \to → no change → \to → conserved.
L = 1 2 m ( x ˙ 2 + y ˙ 2 ) L = \tfrac12 m(\dot x^2 + \dot y^2) L = 2 1 m ( x ˙ 2 + y ˙ 2 )
Is x x x cyclic? ∂ L / ∂ x = 0 \partial L/\partial x = 0 ∂ L / ∂ x = 0 → yes. Why? No x x x appears.
Conjugate momentum: p x = ∂ L / ∂ x ˙ = m x ˙ p_x = \partial L/\partial \dot x = m\dot x p x = ∂ L / ∂ x ˙ = m x ˙ . Why this step? Differentiate L L L w.r.t. x ˙ \dot x x ˙ .
Conclusion: m x ˙ = const m\dot x = \text{const} m x ˙ = const → linear momentum conserved. Translational symmetry ⇒ momentum conservation. ✔
Polar coordinates: L = 1 2 m ( r ˙ 2 + r 2 ϕ ˙ 2 ) − V ( r ) L = \tfrac12 m(\dot r^2 + r^2\dot\phi^2) - V(r) L = 2 1 m ( r ˙ 2 + r 2 ϕ ˙ 2 ) − V ( r ) .
Is ϕ \phi ϕ cyclic? ∂ L / ∂ ϕ = 0 \partial L/\partial\phi = 0 ∂ L / ∂ ϕ = 0 (only r r r appears in V V V ). → yes.
Conjugate momentum: p ϕ = ∂ L / ∂ ϕ ˙ = m r 2 ϕ ˙ p_\phi = \partial L/\partial\dot\phi = m r^2 \dot\phi p ϕ = ∂ L / ∂ ϕ ˙ = m r 2 ϕ ˙ . Why? Only the r 2 ϕ ˙ 2 r^2\dot\phi^2 r 2 ϕ ˙ 2 term contains ϕ ˙ \dot\phi ϕ ˙ ; differentiate it.
Conclusion: p ϕ = m r 2 ϕ ˙ = const p_\phi = mr^2\dot\phi = \text{const} p ϕ = m r 2 ϕ ˙ = const → this is angular momentum L z L_z L z . Rotational symmetry ⇒ angular momentum conserved. ✔ (Kepler's 2nd law lives here.)
L = 1 2 m ( x ˙ 2 + y ˙ 2 ) − m g y L = \tfrac12 m(\dot x^2 + \dot y^2) - mgy L = 2 1 m ( x ˙ 2 + y ˙ 2 ) − m g y
∂ L / ∂ x = 0 \partial L/\partial x = 0 ∂ L / ∂ x = 0 → x x x cyclic → p x = m x ˙ = const p_x = m\dot x = \text{const} p x = m x ˙ = const (horizontal momentum conserved). Why? gravity acts only vertically.
∂ L / ∂ y = − m g ≠ 0 \partial L/\partial y = -mg \ne 0 ∂ L / ∂ y = − m g = 0 → y y y not cyclic → p y = m y ˙ p_y = m\dot y p y = m y ˙ changes: p ˙ y = − m g \dot p_y = -mg p ˙ y = − m g . Why this step? The vertical force − m g -mg − m g is exactly ∂ L / ∂ y \partial L/\partial y ∂ L / ∂ y .
L = 1 2 m ( θ ˙ 2 R 2 + R 2 sin 2 θ ϕ ˙ 2 ) L = \tfrac12 m\big(\dot\theta^2 R^2 + R^2\sin^2\theta\,\dot\phi^2\big) L = 2 1 m ( θ ˙ 2 R 2 + R 2 sin 2 θ ϕ ˙ 2 ) (free particle on a sphere).
ϕ \phi ϕ absent → cyclic → p ϕ = m R 2 sin 2 θ ϕ ˙ = const p_\phi = mR^2\sin^2\theta\,\dot\phi = \text{const} p ϕ = m R 2 sin 2 θ ϕ ˙ = const . Why? Symmetry about the polar axis.
Common mistake Steel-manning the common errors
Mistake A: "If q ˙ k \dot q_k q ˙ k is missing the coordinate is cyclic."
Why it feels right: both involve "missing." The fix: cyclic means q k q_k q k itself (not q ˙ k \dot q_k q ˙ k ) is absent. ϕ ˙ \dot\phi ϕ ˙ is present in central-force L L L , yet ϕ \phi ϕ is still cyclic.
Mistake B: "Cyclic coordinate ⇒ that coordinate is constant."
Why it feels right: "something is conserved." The fix: it's the conjugate momentum p k p_k p k that is constant, not q k q_k q k . In central motion ϕ \phi ϕ keeps increasing; it's m r 2 ϕ ˙ mr^2\dot\phi m r 2 ϕ ˙ that's fixed.
Mistake C: "Energy is the conjugate momentum of time, so time being absent gives momentum conservation."
Fix: time absence (∂ L / ∂ t = 0 \partial L/\partial t = 0 ∂ L / ∂ t = 0 ) conserves the Hamiltonian/energy , a different theorem (Beltrami / energy function h h h ), not a conjugate-momentum result.
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.
"No coordinate in L L L ⇒ its momentum is sealed (constant)."
Or: C yclic → C onserved (C onjugate momentum). Three C's in a row.
Define a cyclic (ignorable) coordinate. A coordinate
q k q_k q k that does not appear explicitly in
L L L :
∂ L / ∂ q k = 0 \partial L/\partial q_k = 0 ∂ L / ∂ q k = 0 (its velocity
q ˙ k \dot q_k q ˙ k may still appear).
What is conserved when q k q_k q k is cyclic? Its conjugate momentum
p k = ∂ L / ∂ q ˙ k p_k = \partial L/\partial \dot q_k p k = ∂ L / ∂ q ˙ k .
Define generalized (conjugate) momentum. p k ≡ ∂ L / ∂ q ˙ k p_k \equiv \partial L / \partial \dot q_k p k ≡ ∂ L / ∂ q ˙ k .
Derive the conservation law from Euler–Lagrange. d d t ∂ L ∂ q ˙ k − ∂ L ∂ q k = 0 \frac{d}{dt}\frac{\partial L}{\partial \dot q_k} - \frac{\partial L}{\partial q_k}=0 d t d ∂ q ˙ k ∂ L − ∂ q k ∂ L = 0 ; with
∂ L / ∂ q k = 0 \partial L/\partial q_k = 0 ∂ L / ∂ q k = 0 ,
p ˙ k = 0 ⇒ p k \dot p_k = 0 \Rightarrow p_k p ˙ k = 0 ⇒ p k const.
In central-force motion, which coordinate is cyclic and what is conserved? ϕ \phi ϕ is cyclic;
p ϕ = m r 2 ϕ ˙ p_\phi = m r^2 \dot\phi p ϕ = m r 2 ϕ ˙ = angular momentum
L z L_z L z is conserved.
Why is ϕ \phi ϕ cyclic even though ϕ ˙ \dot\phi ϕ ˙ appears in L L L ? Cyclic refers to absence of the coordinate itself, not its velocity.
Common mistake: does cyclic mean q k q_k q k is constant? No — the conjugate momentum
p k p_k p k is constant, not
q k q_k q k .
Which symmetry does a cyclic linear coordinate x x x express? Translational symmetry ⇒ linear momentum
m x ˙ m\dot x m x ˙ conserved.
What conserves energy instead of momentum? L L L not depending explicitly on time (
∂ L / ∂ t = 0 \partial L/\partial t=0 ∂ L / ∂ t = 0 ) ⇒ Hamiltonian conserved (different theorem).
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 H H H (Routhian reduction).
Conservation of Energy — the time-translation analogue.
partial L over partial qk = 0
dpk/dt = partial L over partial qk
Intuition Hinglish mein samjho
Dekho, idea bahut simple hai. Lagrangian L L L ek formula hai jisme coordinates q q q aur unki velocities q ˙ \dot q q ˙ hoti hain. Agar kisi ek coordinate q k q_k q k ka naam L L L me bilkul nahi aata — sirf uski velocity q ˙ k \dot q_k q ˙ k aati hai, par khud q k q_k q k gayab hai — to use hum cyclic coordinate kehte hain. Matlab ∂ L / ∂ q k = 0 \partial L/\partial q_k = 0 ∂ L / ∂ q k = 0 .
Ab Euler–Lagrange equation likho: d d t ∂ L ∂ q ˙ k = ∂ L ∂ q k \frac{d}{dt}\frac{\partial L}{\partial \dot q_k} = \frac{\partial L}{\partial q_k} d t d ∂ q ˙ k ∂ L = ∂ q k ∂ L . Jo cheez left side me bracket ke andar hai, usko hum conjugate momentum p k p_k p k bolte hain. Agar coordinate cyclic hai to right side zero ho jata hai, isliye p ˙ k = 0 \dot p_k = 0 p ˙ k = 0 , yaani p k p_k p k constant reh gaya. Bas — symmetry se conservation law nikal aaya!
Real examples: free particle me x x x cyclic hai, to p x = m x ˙ p_x = m\dot x p x = m x ˙ constant (linear momentum bach gaya). Central force me angle ϕ \phi ϕ cyclic hai, to p ϕ = m r 2 ϕ ˙ p_\phi = mr^2\dot\phi p ϕ = m r 2 ϕ ˙ constant — yeh hi angular momentum L z L_z L z hai, aur isi se Kepler ka equal-area law aata hai. Yaad rakho: conserved hota hai momentum p k p_k p k , coordinate q k q_k q 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.