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