Intuition The one-line soul of the theoremEvery continuous symmetry of the action gives a conserved quantity.
If nothing in the physics changes when you shift/rotate/wait, then something stays constant.
Shift in time → no change → energy conserved.
Shift in space → no change → momentum conserved.
Rotate in space → no change → angular momentum conserved.
WHY does this feel almost magical but is actually obvious? A symmetry means the Lagrangian doesn't "care" about some coordinate. If L L L
Definition Action, Lagrangian, Euler–LagrangeThe action is S = ∫ t 1 t 2 L ( q i , q ˙ i , t ) d t S = \int_{t_1}^{t_2} L(q_i, \dot q_i, t)\, dt S = ∫ t 1 t 2 L ( q i , q ˙ i , t ) d t extremize S S S δ S = 0 \delta S = 0 δ S = 0 Euler–Lagrange equation :
d d t ( ∂ L ∂ q ˙ i ) − ∂ L ∂ q i = 0 \frac{d}{dt}\left(\frac{\partial L}{\partial \dot q_i}\right) - \frac{\partial L}{\partial q_i} = 0 d t d ( ∂ q ˙ i ∂ L ) − ∂ q i ∂ L = 0 conjugate (canonical) momentum is p i ≡ ∂ L ∂ q ˙ i p_i \equiv \dfrac{\partial L}{\partial \dot q_i} p i ≡ ∂ q ˙ i ∂ L
WHAT is a symmetry here? A continuous transformation of the coordinates (or time) controlled by a smooth parameter ϵ \epsilon ϵ action stays invariant (or changes only by a boundary term).
This handles ~80% of exam problems and is the cleanest derivation.
Intuition Why cyclic coordinates conserve momentumA coordinate q k q_k q k cyclic (ignorable) if L L L not depend on it: ∂ L ∂ q k = 0 \dfrac{\partial L}{\partial q_k}=0 ∂ q k ∂ L = 0 d d t ∂ L ∂ q ˙ k − ∂ L ∂ q k ⏟ = 0 = 0 ⇒ d p k d t = 0. \frac{d}{dt}\frac{\partial L}{\partial \dot q_k} - \underbrace{\frac{\partial L}{\partial q_k}}_{=0} = 0 \;\Rightarrow\; \frac{d p_k}{dt}=0. d t d ∂ q ˙ k ∂ L − = 0 ∂ q k ∂ L = 0 ⇒ d t d p k = 0. p k p_k p k "L L L q k q_k q k q k q_k q k L L L
That shift q k → q k + ϵ q_k \to q_k + \epsilon q k → q k + ϵ exactly a continuous symmetry. Noether's theorem is the grown-up version that works even when L L L but the action's value is invariant.
Goal: Consider an infinitesimal transformation of coordinates
q i → q i ′ ( ϵ ) = q i + ϵ δ q i , ϵ small , q_i \to q_i'(\epsilon) = q_i + \epsilon\, \delta q_i, \qquad \epsilon \text{ small}, q i → q i ′ ( ϵ ) = q i + ϵ δ q i , ϵ small , δ q i \delta q_i δ q i L L L invariant under it: δ L = 0 \delta L = 0 δ L = 0 ϵ \epsilon ϵ
Definition Noether's Theorem (point-symmetry form)If δ L = 0 \delta L = 0 δ L = 0 d d t ∑ i p i δ q i = 0 \dfrac{d}{dt}\sum_i p_i\,\delta q_i = 0 d t d ∑ i p i δ q i = 0 Noether charge
Q = ∑ i ∂ L ∂ q ˙ i δ q i = ∑ i p i δ q i = const \boxed{\,Q = \sum_i \frac{\partial L}{\partial \dot q_i}\,\delta q_i = \sum_i p_i\,\delta q_i = \text{const}\,} Q = i ∑ ∂ q ˙ i ∂ L δ q i = i ∑ p i δ q i = const
L L L δ L = ϵ d F d t \delta L = \epsilon\,\dfrac{dF}{dt} δ L = ϵ d t d F ∫ d F d t d t \int \frac{dF}{dt}dt ∫ d t d F d t δ q \delta q δ q Q = ∑ i p i δ q i − F = const . Q = \sum_i p_i\,\delta q_i - F = \text{const}. Q = ∑ i p i δ q i − F = const . full Noether statement; the δ L = 0 \delta L=0 δ L = 0 F = 0 F=0 F = 0
Worked example (a) Time translation → EnergySymmetry: shift time t → t + ϵ t \to t+\epsilon t → t + ϵ L L L explicitly depending on t t t t t t energy function :
h = ∑ i q ˙ i ∂ L ∂ q ˙ i − L = ∑ i p i q ˙ i − L . h = \sum_i \dot q_i \frac{\partial L}{\partial \dot q_i} - L = \sum_i p_i \dot q_i - L. h = ∑ i q ˙ i ∂ q ˙ i ∂ L − L = ∑ i p i q ˙ i − L . Why this is the right δ q \delta q δ q for a time shift, δ q i = q ˙ i \delta q_i = \dot q_i δ q i = q ˙ i F = L F=L F = L δ L = d L / d t \delta L = dL/dt δ L = d L / d t h h h L = T − V L = T - V L = T − V T T T h = T + V = E h = T + V = E h = T + V = E Energy is conserved because the laws don't change with time.
Worked example (b) Space translation → Linear momentumSymmetry: shift all particles r ⃗ a → r ⃗ a + ϵ n ^ \vec r_a \to \vec r_a + \epsilon\,\hat n r a → r a + ϵ n ^ δ r ⃗ a = n ^ \delta \vec r_a = \hat n δ r a = n ^ Q = ∑ a p ⃗ a ⋅ n ^ = n ^ ⋅ P ⃗ total Q = \sum_a \vec p_a \cdot \hat n = \hat n \cdot \vec P_{\text{total}} Q = ∑ a p a ⋅ n ^ = n ^ ⋅ P total Why this step? Translation invariance means L L L relative positions (no absolute origin), so it can't depend on the center-of-mass coordinate → that coordinate is cyclic → total momentum along n ^ \hat n n ^
Worked example (c) Rotation → Angular momentumSymmetry: rotate by angle ϵ \epsilon ϵ n ^ \hat n n ^ δ r ⃗ a = n ^ × r ⃗ a \delta \vec r_a = \hat n \times \vec r_a δ r a = n ^ × r a Q = ∑ a p ⃗ a ⋅ ( n ^ × r ⃗ a ) = n ^ ⋅ ∑ a ( r ⃗ a × p ⃗ a ) = n ^ ⋅ L ⃗ total . Q = \sum_a \vec p_a \cdot (\hat n \times \vec r_a) = \hat n \cdot \sum_a (\vec r_a \times \vec p_a) = \hat n \cdot \vec L_{\text{total}}. Q = ∑ a p a ⋅ ( n ^ × r a ) = n ^ ⋅ ∑ a ( r a × p a ) = n ^ ⋅ L total . Why this step? We used the scalar-triple-product identity p ⃗ ⋅ ( n ^ × r ⃗ ) = n ^ ⋅ ( r ⃗ × p ⃗ ) \vec p\cdot(\hat n\times \vec r) = \hat n\cdot(\vec r\times\vec p) p ⋅ ( n ^ × r ) = n ^ ⋅ ( r × p ) n ^ \hat n n ^
Worked example Free particle on a plane — check two symmetriesL = 1 2 m ( x ˙ 2 + y ˙ 2 ) L = \tfrac12 m(\dot x^2 + \dot y^2) L = 2 1 m ( x ˙ 2 + y ˙ 2 ) Step 1 — translation in x x x δ x = 1 , δ y = 0 \delta x = 1, \delta y = 0 δ x = 1 , δ y = 0 δ L = 0 \delta L = 0 δ L = 0 L L L x x x Q = p x = m x ˙ Q = p_x = m\dot x Q = p x = m x ˙ Why? x x x Step 2 — rotation: δ x = − y , δ y = x \delta x = -y,\ \delta y = x δ x = − y , δ y = x δ r ⃗ = z ^ × r ⃗ \delta\vec r = \hat z\times\vec r δ r = z ^ × r δ L = m ( x ˙ δ x ˙ + y ˙ δ y ˙ ) = m ( x ˙ ( − y ˙ ) + y ˙ x ˙ ) = 0 \delta L = m(\dot x\,\delta\dot x + \dot y\,\delta\dot y) = m(\dot x(-\dot y)+\dot y\dot x)=0 δ L = m ( x ˙ δ x ˙ + y ˙ δ y ˙ ) = m ( x ˙ ( − y ˙ ) + y ˙ x ˙ ) = 0 Q = p x δ x + p y δ y = m x ˙ ( − y ) + m y ˙ ( x ) = m ( x y ˙ − y x ˙ ) = L z Q = p_x\delta x + p_y\delta y = m\dot x(-y)+m\dot y(x) = m(x\dot y - y\dot x) = L_z Q = p x δ x + p y δ y = m x ˙ ( − y ) + m y ˙ ( x ) = m ( x y ˙ − y x ˙ ) = L z Why this step? This is exactly the angular momentum — confirming rotation ↔ L z L_z L z
Common mistake Steel-manned common errorsMistake 1: "Energy is always conserved."
Why it feels right: in intro physics energy conservation is hammered as universal.
The fix: energy (the Hamiltonian h h h L L L no explicit time dependence . A driven/time-dependent potential breaks time-translation symmetry → energy not conserved. Noether tells you exactly when .
Mistake 2: Using canonical momentum = m v mv m v
Why it feels right: in free particles p = m q ˙ p=m\dot q p = m q ˙ The fix: the conserved Noether charge uses p i = ∂ L / ∂ q ˙ i p_i = \partial L/\partial \dot q_i p i = ∂ L / ∂ q ˙ i p x = m x ˙ + q A x p_x = m\dot x + qA_x p x = m x ˙ + q A x
Mistake 3: thinking discrete symmetries (parity, reflection) give Noether charges.
Why it feels right: they're still "symmetries."
The fix: Noether requires a continuous parameter ϵ \epsilon ϵ d / d ϵ d/d\epsilon d / d ϵ
Recall Feynman: explain to a 12-year-oldImagine you're playing a game and you notice: it doesn't matter where on the table you start, the game plays the same. That "it doesn't matter" is a hidden rule. Every time the game has a "doesn't-matter" rule, there's a secret number that never changes while you play. If the game looks the same no matter where you stand → a "push number" (momentum) is frozen. If it looks the same no matter which way you turn → a "spin number" (angular momentum) is frozen. If it looks the same no matter when you play → an "energy number" is frozen. Noether's big idea: every "doesn't-matter" comes with one frozen number.
T ime, P osition, R otation symmetry → E nergy, M omentum, A ngular momentum conserved.
"Time-Position-Rotation gives Energy-Momentum-Angular."
Noether's theorem in one sentence Every continuous symmetry of the action corresponds to a conserved quantity.
What symmetry conserves energy? Time-translation invariance (
L L L has no explicit
t t t ).
What symmetry conserves linear momentum? Spatial-translation invariance (no absolute origin).
What symmetry conserves angular momentum? Rotational invariance (isotropy of space).
General Noether charge formula Q = ∑ i ∂ L ∂ q ˙ i δ q i Q=\sum_i \frac{\partial L}{\partial \dot q_i}\,\delta q_i Q = ∑ i ∂ q ˙ i ∂ L δ q i (plus
− F -F − F if
δ L = d F / d t \delta L = dF/dt δ L = d F / d t ).
Definition of a cyclic coordinate One on which
L L L does not depend; its conjugate momentum is conserved.
Why does a cyclic coordinate conserve p k p_k p k EL gives
p ˙ k = ∂ L / ∂ q k = 0 \dot p_k = \partial L/\partial q_k = 0 p ˙ k = ∂ L / ∂ q k = 0 .
Is energy always conserved? No — only if time-translation symmetry holds (no explicit
t t t in
L L L ).
Do discrete symmetries (parity) give Noether charges? No; Noether needs a continuous parameter.
δ r ⃗ \delta\vec r δ r n ^ \hat n n ^ δ r ⃗ = n ^ × r ⃗ \delta\vec r = \hat n \times \vec r δ r = n ^ × r .
Identity used to get angular momentum p ⃗ ⋅ ( n ^ × r ⃗ ) = n ^ ⋅ ( r ⃗ × p ⃗ ) \vec p\cdot(\hat n\times\vec r)=\hat n\cdot(\vec r\times\vec p) p ⋅ ( n ^ × r ) = n ^ ⋅ ( r × p ) .
Conjugate momentum definition p i = ∂ L / ∂ q ˙ i p_i = \partial L/\partial \dot q_i p i = ∂ L / ∂ q ˙ i .
Lagrangian Mechanics — the action principle Noether's theorem rests onEuler-Lagrange Equation — the key step in the derivationConservation of Energy — time-translation caseConservation of Momentum — space-translation caseAngular Momentum — rotation caseHamiltonian Mechanics — energy function h h h Symmetry Groups & Lie Algebras — continuous symmetries are Lie groupsGauge Symmetry — local symmetries and Noether's second theorem
Continuous symmetry of action
Action S = integral of L dt
Intuition Hinglish mein samjhoDekho, Noether's theorem ka core idea bilkul simple hai: jab bhi physics kisi continuous transformation ke under same dikhe (symmetry), tab ek quantity conserve hoti hai . Matlab agar aap system ko thoda shift karo, rotate karo, ya thoda aage time mein le jao aur Lagrangian L L L
Teen main cases yaad rakho — yahi 80% kaam aate hain. Agar L L L t t t energy conserve hoti hai. Agar space mein shift karne se kuch farak nahi padta (koi absolute origin nahi), toh linear momentum conserve. Agar rotate karne se same lage (space isotropic hai), toh angular momentum conserve. Mnemonic: TPR → EMA (Time-Position-Rotation se Energy-Momentum-Angular).
Derivation ka dil sirf itna hai: δ L \delta L δ L d d t ( p i ) \frac{d}{dt}(p_i) d t d ( p i ) d d t ( p i δ q i ) \frac{d}{dt}(p_i\,\delta q_i) d t d ( p i δ q i ) δ L = 0 \delta L = 0 δ L = 0 Q = ∑ i p i δ q i Q=\sum_i p_i\,\delta q_i Q = ∑ i p i δ q i
Ek important warning: students aksar sochte hain "energy hamesha conserve hoti hai" — galat. Energy sirf tab conserve hoti jab time-translation symmetry ho. Agar potential time pe depend karta hai (driven system), energy conserve nahi hogi. Aur dhyan rakho — Noether sirf continuous symmetries pe kaam karta hai, parity jaisi discrete symmetry conserved charge nahi deti. Conjugate momentum bhi p i = ∂ L / ∂ q ˙ i p_i=\partial L/\partial\dot q_i p i = ∂ L / ∂ q ˙ i m v m v m v p x = m x ˙ + q A x p_x=m\dot x+qA_x p x = m x ˙ + q A x
