Noether's Theorem — Mathematics Knowledge System

Overview

Noether's theorem, proved by Emmy Noether in 1915 and published in 1918, establishes a profound correspondence between continuous symmetries of a physical system and conserved quantities. Every differentiable symmetry of the action integral corresponds to a conservation law: time-translation symmetry gives energy conservation, spatial-translation symmetry gives momentum conservation, and rotational symmetry gives angular momentum conservation. The theorem is one of the deepest results connecting mathematics and physics, applicable to classical mechanics, field theory, and general relativity.

Intuition

If a physical law looks the same after a transformation — shifting time, rotating in space, boosting velocity — then something is conserved. Noether's theorem makes this precise and quantitative: every one-parameter family of symmetry transformations of the action yields an explicit conserved current. The conserved charge is the spatial integral of the time component of that current.

Formal Definition

Definition

Consider a Lagrangian system with action S = ∫L dt. A continuous one-parameter symmetry is a smooth family of transformations of (q, t) that leaves the action invariant. Noether's theorem provides the conserved charge explicitly.

q_i(t) \mapsto q_i(t) + \varepsilon \,\delta q_i(t,q) + O(\varepsilon^2)

Infinitesimal symmetry transformation (ε → 0)

\delta S = 0 \pmod{\text{boundary terms}} \implies \text{symmetry of the action}

Symmetry condition

Q = \sum_{i=1}^n \frac{\partial L}{\partial \dot{q}_i} \delta q_i

Noether charge (conserved quantity)

\frac{dQ}{dt} = 0 \text{ on solutions of the Euler-Lagrange equations}

Conservation law

Notation

Notation	Meaning
$Q$	Noether conserved charge
$\delta q_i$	Infinitesimal variation of the coordinate under the symmetry
$p_i = \partial L / \partial \dot{q}_i$	Conjugate momentum
$\varepsilon$	Infinitesimal symmetry parameter

Theorems

Theorem 1: Noether's First Theorem

\text{To every differentiable symmetry group of the action there corresponds a conserved current } J^\mu \text{ with } \partial_\mu J^\mu = 0

Theorem 2: Time Translation → Energy

t \mapsto t + \varepsilon \implies Q = H = \sum_i p_i \dot{q}_i - L = \text{const}

Theorem 3: Spatial Translation → Linear Momentum

q_i \mapsto q_i + \varepsilon \implies Q = p = \sum_i \frac{\partial L}{\partial \dot{q}_i} = \text{const}

Theorem 4: Rotation → Angular Momentum

\mathbf{q} \mapsto R_\varepsilon \mathbf{q} \implies Q = \mathbf{L} = \mathbf{q} \times \mathbf{p} = \text{const}

Worked Examples

1
Under t → t + ε, the coordinates transform as qᵢ(t) → qᵢ(t + ε) ≈ qᵢ(t) + εq̇ᵢ(t), so δqᵢ = q̇ᵢ.
$\delta q_i = \dot{q}_i$
2
The Noether charge is Q = Σᵢ (∂L/∂q̇ᵢ) δqᵢ − L (including the boundary term from the time shift).
$Q = \sum_i p_i \dot{q}_i - L = H$
3
This is precisely the Hamiltonian H. When ∂L/∂t = 0, H is conserved.
$\frac{dH}{dt} = \frac{\partial L}{\partial t} = 0$

✓ Answer

Time-translation symmetry yields conservation of the Hamiltonian H (total energy).

Practice Problems

Hardproof writing

Show that rotational symmetry of L = ½m(ẋ² + ẏ²) − V(x²+y²) implies conservation of angular momentum Lz = m(xẏ − yẋ).

Common Mistakes

Common Mistake

Noether's theorem says every symmetry of the equations of motion gives a conserved quantity

Noether's theorem applies to symmetries of the action (Lagrangian), not merely the equations of motion. Every action symmetry gives a conservation law, but symmetries of the EOM may not correspond to action symmetries.

Common Mistake

Discrete symmetries (like parity) give conservation laws via Noether's theorem

Noether's theorem requires a continuous one-parameter family of symmetries. Discrete symmetries require separate analysis and do not yield additive conserved quantities in the Noether sense.

Quiz

Which symmetry corresponds to conservation of linear momentum?

Time translationSpatial translationRotationLorentz boost

Noether's theorem applies to which type of symmetries?

Discrete symmetries (e.g. parity)Continuous (differentiable) symmetriesOnly rotational symmetriesAny symmetry of the equations of motion

Historical Background

Emmy Noether proved the theorem in 1915, motivated by problems David Hilbert and Felix Klein were encountering in general relativity — specifically, the puzzling non-conservation of energy in Einstein's theory. Noether's paper 'Invariante Variationsprobleme' (1918) actually contains two theorems: the first (the famous one) concerns global symmetries and conservation laws; the second concerns infinite-dimensional (gauge) symmetry groups. The theorem was initially underappreciated; its full significance for physics became clear only decades later.

1915
Noether proves the invariance theorem; Hilbert and Klein ask about energy in general relativity
Emmy Noether, David Hilbert, Felix Klein
1918
Publication of 'Invariante Variationsprobleme' in Nachrichten der Königlichen Gesellschaft der Wissenschaften
Emmy Noether
1954
Yang and Mills generalise to non-Abelian gauge theories, where Noether's second theorem is crucial
Chen-Ning Yang, Robert Mills
1960s
Noether's theorem recognised as foundational to the Standard Model of particle physics

Summary

Noether's theorem: every continuous symmetry of the action yields a conserved Noether charge Q with dQ/dt = 0 on-shell.
Time translation → energy conservation; spatial translation → momentum; rotation → angular momentum.
The Noether charge is Q = Σᵢ pᵢ δqᵢ where δqᵢ is the infinitesimal variation under the symmetry.
The theorem extends to field theory, where conserved currents replace conserved charges.
Noether's second theorem (infinite-dimensional symmetry groups) underlies gauge theories and general relativity.

References

BookNoether, E. — Invariante Variationsprobleme, Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 1918, pp. 235–257
BookGoldstein, H., Poole, C. & Safko, J. — Classical Mechanics, 3rd ed. (2002), Addison-Wesley, §13.7
BookOlver, P.J. — Applications of Lie Groups to Differential Equations, 2nd ed. (1993), Springer
WebsiteWikipedia — Noether's theorem
WebsiteMathWorld — Noether's Theorem