Skip to content

Noether's Theorem and Conservation Laws

Theorem 5.1 (Noether’s Theorem). For every continuous symmetry of the action, there is a Corresponding conserved quantity.

More precisely: if the action is invariant (up to a boundary term) under the infinitesimal transformation qj→qj+ϵfj(q,q˙,t)q_j \to q_j + \epsilon f_j(q, \dot{q}, t)Then

Q=∑j∂L∂q˙jfjQ = \sum_j \frac{\partial L}{\partial \dot{q}_j} f_j

Is a constant of motion.

Theorem 5.2 (Noether’s Theorem --- Full Proof). Suppose the Lagrangian transforms under an infinitesimal transformation qj→qj+ϵδqjq_j \to q_j + \epsilon \delta q_j as:

L→L+ϵdFdtL \to L + \epsilon \frac{dF}{dt}

For some function F(q,t)F(q, t). Then the quantity

Q=∑jpj δqj−FQ = \sum_j p_j\, \delta q_j - F

Is conserved.

Proof. The variation of the action is:

δS=∫t1t2[∑j(∂L∂qjδqj+∂L∂q˙jδq˙j)]dt=∫t1t2dFdt dt\delta S = \int_{t_1}^{t_2} \left[\sum_j \left(\frac{\partial L}{\partial q_j}\delta q_j + \frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\right)\right] dt = \int_{t_1}^{t_2} \frac{dF}{dt}\, dt

Where the second equality uses the assumption that the action changes by at most a boundary term. Using the Euler-Lagrange equations ∂L∂qj=ddt∂L∂q˙j\frac{\partial L}{\partial q_j} = \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_j}:

δS=∫t1t2∑j[ddt(∂L∂q˙j)δqj+∂L∂q˙jddtδqj]dt\delta S = \int_{t_1}^{t_2} \sum_j \left[\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}_j}\right)\delta q_j + \frac{\partial L}{\partial \dot{q}_j}\frac{d}{dt}\delta q_j\right] dt

=∫t1t2ddt(∑jpj δqj)dt= \int_{t_1}^{t_2} \frac{d}{dt}\left(\sum_j p_j\, \delta q_j\right) dt

Setting this equal to ∫t1t2dFdt dt\int_{t_1}^{t_2} \frac{dF}{dt}\, dt:

ddt(∑jpj δqj−F)=0\frac{d}{dt}\left(\sum_j p_j\, \delta q_j - F\right) = 0

Therefore Q=∑jpj δqj−FQ = \sum_j p_j\, \delta q_j - F is constant. ■\blacksquare

5.3 Worked Example: Spatial Translation and Linear Momentum

Section titled “5.3 Worked Example: Spatial Translation and Linear Momentum”

Problem. Show that spatial translation invariance implies conservation of linear momentum.

Solution

Consider an infinitesimal translation x→x+ϵx \to x + \epsilonI.e., δx=1\delta x = 1, δy=0\delta y = 0, δz=0\delta z = 0.

For a free particle, L=12m(x˙2+y˙2+z˙2)L = \frac{1}{2}m(\dot{x}^2 + \dot{y}^2 + \dot{z}^2)Which is invariant (δL=0\delta L = 0So F=0F = 0).

By Noether’s theorem:

Q=px⋅1+py⋅0+pz⋅0−0=px=constQ = p_x \cdot 1 + p_y \cdot 0 + p_z \cdot 0 - 0 = p_x = \mathrm{const}

This is conservation of the xx-component of linear momentum. Translation invariance in all three directions gives conservation of the full momentum vector p\mathbf{p}. ■\blacksquare

5.4 Worked Example: Rotation and Angular Momentum

Section titled “5.4 Worked Example: Rotation and Angular Momentum”

Problem. Show that rotational invariance implies conservation of angular momentum.

Solution

Consider an infinitesimal rotation by angle ϵ\epsilon about the zz-axis:

δx=−ϵy,δy=ϵx,δz=0\delta x = -\epsilon y, \quad \delta y = \epsilon x, \quad \delta z = 0

For a free particle, δ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}(-\epsilon\dot{y}) + \dot{y}(\epsilon\dot{x})) = 0So F=0F = 0.

By Noether’s theorem:

Q=px(−y)+py(x)−0=x py−y px=LzQ = p_x(-y) + p_y(x) - 0 = x\, p_y - y\, p_x = L_z

This is the zz-component of angular momentum. Full rotational invariance gives conservation of the entire angular momentum vector L=r×p\mathbf{L} = \mathbf{r} \times \mathbf{p}. ■\blacksquare

5.5 Worked Example: Time Translation and Energy

Section titled “5.5 Worked Example: Time Translation and Energy”

Problem. Show that time translation invariance implies conservation of energy.

Solution

Consider an infinitesimal time translation t→t+ϵt \to t + \epsilon. The coordinates transform as qj(t)→qj(t+ϵ)≈qj(t)+ϵq˙j(t)q_j(t) \to q_j(t + \epsilon) \approx q_j(t) + \epsilon \dot{q}_j(t)So δqj=q˙j\delta q_j = \dot{q}_j.

If LL does not depend explicitly on time, then:

δL=∑j(∂L∂qjq˙j+∂L∂q˙jq¨j)ϵ=dLdtϵ=ddt(ϵL)\delta L = \sum_j \left(\frac{\partial L}{\partial q_j}\dot{q}_j + \frac{\partial L}{\partial \dot{q}_j}\ddot{q}_j\right)\epsilon = \frac{dL}{dt}\epsilon = \frac{d}{dt}\left(\epsilon L\right)

So F=ϵLF = \epsilon LGiving F=LF = L (per unit ϵ\epsilon).

By Noether’s theorem:

Q=∑jpjq˙j−L=hQ = \sum_j p_j \dot{q}_j - L = h

This is the energy function, which equals T+VT + V for natural systems. ■\blacksquare

5.6 Summary: Symmetry-Conservation Correspondence

Section titled “5.6 Summary: Symmetry-Conservation Correspondence”
SymmetryTransformationConserved Quantity
Time translationt→t+ϵt \to t + \epsilonEnergy HH
Spatial translationx→x+ϵx \to x + \epsilonLinear momentum pxp_x
Rotation about zzϕ→ϕ+ϵ\phi \to \phi + \epsilonAngular momentum LzL_z
Galilean boostx→x+ϵtx \to x + \epsilon tCentre-of-mass motion

Problem. A particle moves in a central potential V(r)V(r). Show that angular momentum is conserved.

Solution. In spherical coordinates (r,θ,ϕ)(r, \theta, \phi) with V=V(r)V = V(r):

L=12m(r˙2+r2θ˙2+r2sin⁡2θ ϕ˙2)−V(r)L = \frac{1}{2}m(\dot{r}^2 + r^2\dot{\theta}^2 + r^2\sin^2\theta\,\dot{\phi}^2) - V(r)

Since LL does not depend on ϕ\phi (rotational symmetry about the zz-axis):

pϕ=∂L∂ϕ˙=mr2sin⁡2θ ϕ˙=constp_\phi = \frac{\partial L}{\partial \dot{\phi}} = mr^2\sin^2\theta\,\dot{\phi} = \mathrm{const}

This is the zz-component of angular momentum. By Noether’s theorem, the full angular momentum vector Is conserved for any central potential. ■\blacksquare