Module IV·Article III·~4 min read
Noether's Theorem and Conservation Laws
Modern Applications of the Calculus of Variations
Turn this article into a podcast
Pick voices, format, length — AI generates the audio
"The Most Beautiful Theorem in Mathematics"
In 1915, Emmy Noether proved a theorem that physicists call one of the greatest achievements of mathematical physics of the 20th century. The theorem asserts: every continuous symmetry of a physical system corresponds to a conservation law. Is space homogeneous? → momentum is conserved. Is time homogeneous? → energy is conserved. Is space isotropic? → angular momentum is conserved. This is not a coincidence—it is a strict mathematical fact. Noether's theorem explains why conservation laws exist, rather than simply postulating them.
Symmetries and Invariance of the Action
A symmetry of the action $S[y] = \int L(x, y, y'),dx$ is a one-parameter group of transformations $(x, y) \to (\bar{x}(x, y, \varepsilon), \bar{y}(x, y, \varepsilon))$ as $\varepsilon \to 0$, not changing the value of $S$.
Infinitesimal transformation: $\bar{x} = x + \varepsilon\xi(x, y) + O(\varepsilon^2)$, $\bar{y} = y + \varepsilon\eta(x, y) + O(\varepsilon^2)$.
Invariance: $S[\bar{y}] = S[y]$ for all admissible $y$ — a condition on $L$ and $(\xi, \eta)$.
Formulation of Noether's Theorem
Noether's Theorem (1915): If the action $S[y] = \int L(x, y, y'),dx$ is invariant with respect to a one-parameter group with generator $(\xi, \eta)$, then there exists a Noether current—a conserved quantity:
$ J = F_{y'}\eta - (F - y'F_{y'})\xi $
which is constant along every extremal: $dJ/dx = 0$.
This means: $J = \text{const}$ is an "integral of motion"—a conserved quantity that can be computed at any moment.
Examples of Conservation Laws
Conservation of Energy:
Symmetry: $x \rightarrow x + \varepsilon$ (shift of the independent variable). Condition: $L$ does not explicitly depend on $x$ ($\partial L/\partial x = 0$).
Noether current: $J = F_{y'}y' - F = -(F - y' F_{y'}) = -H$.
Here $H = F - y'F_{y'}$ is the Hamiltonian. Conservation law: $H = \text{const}$ along the extremal.
For $L = T - U$ with $T = ml^2\dot{\theta}^2/2$: $H = T + U = $ total energy. Energy is conserved because $L$ does not explicitly depend on $t$ (physics does not change with time).
Conservation of Momentum:
Symmetry: $y \rightarrow y + \varepsilon$ (shift of the dependent variable). Condition: $\partial L/\partial y = 0$.
Noether current: $J = F_{y'} = p$ (generalized momentum). Conservation law: $p = \text{const}$.
For a free particle $L = m(x_1'^2 + x_2'^2 + x_3'^2)/2$: $\partial L/\partial x_i = 0 \rightarrow p_i = m\dot{x}_i = \text{const}$. Momentum is conserved because space is homogeneous.
Conservation of Angular Momentum:
Symmetry: rotation in the $(x, y)$ plane. Noether current: $J = x p_y - y p_x = (r \times p)_z$. Conservation law: angular momentum $= \text{const}$.
The orbits of the planets lie in a plane (angular momentum is conserved), and ellipses "do not rotate" (there is no precession in Newtonian mechanics—an additional symmetry of the $1/r^2$ potential).
Noether's Theorem in Field Theory
For a field $\varphi(x, t)$ with Lagrangian $\mathcal{L}(\varphi, \partial_\mu\varphi)$:
Translational invariance ($x \rightarrow x + \varepsilon$): the energy-momentum tensor $T^{\mu\nu}$ is conserved. Conservation law: $\partial_\mu T^{\mu\nu} = 0$ (4 conservation laws: energy + 3 components of momentum).
Local gauge invariance $\varphi \to e^{i\alpha(x)}\varphi$ ($U(1)$ invariance): electric charge is conserved. This is Noether's theorem 2 for infinite-dimensional symmetry groups.
Standard Model: the Lagrangian is invariant under $SU(3)\times SU(2)\times U(1)$. Each group $\to$ a conserved charge: color (for quarks), isospin (weak interaction), electric charge.
Symmetry Breaking and the Goldstone/Higgs Theorems
What happens if symmetry is broken?
Explicit breaking: $\partial L/\partial x \ne 0$ (a source depending on position). The conservation law is replaced by an equation with a "source": $dJ/dt =$ symmetry-breaking term. Example: a pendulum in water (dissipation)—energy is not conserved.
Spontaneous breaking: the equations possess symmetry, but the "vacuum" (equilibrium) state does not.
Goldstone's theorem: for spontaneously broken continuous global symmetry, massless bosons appear (Goldstone modes). These are "free" oscillations along the direction of broken symmetry.
Higgs mechanism: if the symmetry is local (gauge), Goldstone bosons are "absorbed" by gauge fields, and the latter acquire mass. This is precisely how $W^{\pm}$ and $Z^0$ bosons acquire mass, explaining the short range of the weak interaction.
Complete Analysis: Central Fields and Kepler's Laws
System: a particle in a central field $U = U(r)$, $r = \sqrt{x^2 + y^2}$. $L = m(\dot{x}^2 + \dot{y}^2)/2 - U(r)$.
Symmetry: rotations $(x, y) \to (x\cos\alpha - y\sin\alpha, x\sin\alpha + y\cos\alpha)$. This is a continuous symmetry (group $SO(2)$).
Noether current: $J = m(x\dot{y} - y\dot{x}) = L_z$ (angular momentum along the $z$-axis). Law: $L_z = \text{const}$.
From $L_z = \text{const}$: $r^2 \dot{\varphi} = \text{const} = h$ ($h$ is the specific angular momentum). This is Kepler's second law: the radius vector of a planet sweeps out equal areas in equal times!
For $U = -GMm/r$ (Newtonian attraction): additional symmetry (group $SO(4)$) $\rightarrow$ Runge–Lenz vector $R = m v \times L - GMm, r/r = \text{const}$. This explains why planets move in closed ellipses (and not precessing orbits)—a direct consequence of the symmetry of Noether's theorem.
§ Act · what next