Symmetries & Conservation Laws
Noether's theorem reveals the deepest truth of physics: every continuous symmetry of the action corresponds to a conserved quantity. This is the bridge connecting geometry to dynamics.
Emmy Noether (1882-1935)
Emmy Noether proved her celebrated theorem in 1918, originally to resolve a puzzle about energy conservation in general relativity. Hilbert and Klein had noticed that the standard energy conservation arguments seemed to fail for generally covariant theories, and they invited Noether to Gottingen to investigate. Her solution was far more profound than the original problem: she proved that every continuous symmetry of the action leads to a conservation law, and conversely, every conservation law implies a symmetry.
Einstein called it a work of "penetrating mathematical thinking." Noether's theorem is now recognized as one of the most important results in theoretical physics, underlying all of particle physics (where symmetries dictate the form of interactions), condensed matter physics (where broken symmetries explain phases of matter), and beyond.
1. Continuous Symmetries of the Action
A continuous symmetry of the action is a continuous family of transformations that leaves the action \(S = \int L\,dt\) invariant. Consider an infinitesimal transformation parameterized by \(\varepsilon\):
\[q_i \to q_i + \varepsilon\,\delta q_i(q, \dot{q}, t)\]
\[t \to t + \varepsilon\,\delta t(q, \dot{q}, t)\]
The transformation is a symmetry if, under this change, the Lagrangian changes at most by a total time derivative:
\[L \to L + \varepsilon\,\frac{d\Lambda}{dt}\]
for some function \(\Lambda(q, t)\). A total time derivative changes the action only by a boundary term, which does not affect the equations of motion.
Why Total Derivatives Don't Matter
If \(L' = L + dF/dt\) for some \(F(q, t)\), then \(S' = S + F(q(t_2), t_2) - F(q(t_1), t_1)\). The boundary terms are fixed (endpoints are held fixed in the variation), so\(\delta S' = \delta S\) — the equations of motion are identical.
2. Noether's Theorem: Full Derivation
Theorem (Noether, 1918): If the action is invariant under a continuous one-parameter family of transformations \(q_i \to q_i + \varepsilon\,\delta q_i\),\(t \to t + \varepsilon\,\delta t\), up to a boundary term \(\varepsilon\,d\Lambda/dt\), then the following quantity is conserved along solutions of the Euler-Lagrange equations:
Noether's Conserved Charge
\[Q = \sum_i \frac{\partial L}{\partial \dot{q}_i}\left(\delta q_i - \dot{q}_i\,\delta t\right) + L\,\delta t - \Lambda\]
Proof
Under the infinitesimal transformation, the action changes as:
\[\delta S = \int_{t_1}^{t_2} \left[\frac{\partial L}{\partial q_i}\delta q_i + \frac{\partial L}{\partial \dot{q}_i}\delta \dot{q}_i + \frac{\partial L}{\partial t}\delta t + L\,\frac{d(\delta t)}{dt}\right]dt\]
The variation of the velocity is \(\delta \dot{q}_i = \frac{d}{dt}(\delta q_i) - \dot{q}_i\frac{d}{dt}(\delta t)\). Substituting and integrating the \(\frac{\partial L}{\partial \dot{q}_i}\frac{d}{dt}(\delta q_i)\) term by parts:
\[\delta S = \int_{t_1}^{t_2} \left[\left(\frac{\partial L}{\partial q_i} - \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i}\right)(\delta q_i - \dot{q}_i\,\delta t)\right]dt + \left[\frac{\partial L}{\partial \dot{q}_i}(\delta q_i - \dot{q}_i\,\delta t) + L\,\delta t\right]_{t_1}^{t_2}\]
The integral vanishes on-shell (when the Euler-Lagrange equations are satisfied). The symmetry condition requires \(\delta S = \varepsilon[\Lambda]_{t_1}^{t_2}\). Therefore:
\[\left[\sum_i \frac{\partial L}{\partial \dot{q}_i}(\delta q_i - \dot{q}_i\,\delta t) + L\,\delta t - \Lambda\right]_{t_1}^{t_2} = 0\]
Since \(t_1\) and \(t_2\) are arbitrary, the bracketed quantity must be constant in time. This is the conserved Noether charge \(Q\). \(\square\)
3. Time Translation Symmetry → Energy Conservation
Consider a time translation: \(t \to t + \varepsilon\), \(q_i \to q_i\). So\(\delta t = 1\) and \(\delta q_i = 0\). The Lagrangian is invariant (\(\Lambda = 0\)) when \(\partial L/\partial t = 0\).
The Noether charge is:
\[Q = \sum_i \frac{\partial L}{\partial \dot{q}_i}(0 - \dot{q}_i \cdot 1) + L \cdot 1 = -\left(\sum_i p_i \dot{q}_i - L\right) = -h\]
So \(h = \sum_i p_i\dot{q}_i - L\) is conserved. When the coordinate transformation is time-independent (so that \(T\) is quadratic in velocities), \(h = T + V = E\).
Time translation invariance \(\Longleftrightarrow\) Energy conservation
4. Spatial Translation → Momentum Conservation
For a system of particles with Lagrangian \(L = \sum_\alpha \frac{1}{2}m_\alpha |\dot{\mathbf{r}}_\alpha|^2 - V(\mathbf{r}_1 - \mathbf{r}_2, \ldots)\), consider a uniform translation: \(\mathbf{r}_\alpha \to \mathbf{r}_\alpha + \varepsilon\,\hat{n}\)for all particles simultaneously, where \(\hat{n}\) is a constant unit vector. Then\(\delta t = 0\), \(\delta q_i = n_i\) (the component of \(\hat{n}\) in the \(i\)-th direction).
If the potential depends only on relative positions, \(V\) is invariant under this translation. The kinetic energy is also invariant. So \(\Lambda = 0\) and the Noether charge is:
\[Q = \sum_\alpha m_\alpha \dot{\mathbf{r}}_\alpha \cdot \hat{n} = \mathbf{P}_{\text{total}} \cdot \hat{n}\]
Since \(\hat{n}\) is arbitrary, the total momentum \(\mathbf{P} = \sum_\alpha m_\alpha \dot{\mathbf{r}}_\alpha\)is conserved.
Spatial translation invariance \(\Longleftrightarrow\) Momentum conservation
5. Rotational Symmetry → Angular Momentum Conservation
An infinitesimal rotation about an axis \(\hat{n}\) by angle \(\varepsilon\) transforms each position vector as:
\[\mathbf{r}_\alpha \to \mathbf{r}_\alpha + \varepsilon\,(\hat{n} \times \mathbf{r}_\alpha)\]
So \(\delta \mathbf{r}_\alpha = \hat{n} \times \mathbf{r}_\alpha\) and \(\delta t = 0\). If the Lagrangian is invariant under rotations (central potential, for example), the Noether charge is:
\[Q = \sum_\alpha m_\alpha \dot{\mathbf{r}}_\alpha \cdot (\hat{n} \times \mathbf{r}_\alpha) = \hat{n} \cdot \sum_\alpha (\mathbf{r}_\alpha \times m_\alpha \dot{\mathbf{r}}_\alpha) = \hat{n} \cdot \mathbf{L}_{\text{total}}\]
Since \(\hat{n}\) is arbitrary, the total angular momentum \(\mathbf{L} = \sum_\alpha \mathbf{r}_\alpha \times \mathbf{p}_\alpha\)is conserved.
Rotational invariance \(\Longleftrightarrow\) Angular momentum conservation
Partial Symmetries
If the potential has only axial symmetry (invariant under rotations about one axis, say \(\hat{z}\)), then only \(L_z\) is conserved. This is exactly what happens for the Kepler problem in cylindrical coordinates, or for a particle in a magnetic field along \(\hat{z}\).
6. Gauge Symmetry and Charge Conservation
Noether's theorem extends to field theories and internal symmetries. The paradigmatic example is the gauge symmetry of electrodynamics.
The Lagrangian for a charged particle in an electromagnetic field is:
\[L = \frac{1}{2}m|\dot{\mathbf{r}}|^2 + \frac{e}{c}\dot{\mathbf{r}} \cdot \mathbf{A} - e\phi\]
This Lagrangian is invariant (up to a total derivative) under the gauge transformation:
\[\mathbf{A} \to \mathbf{A} + \nabla\chi, \quad \phi \to \phi - \frac{1}{c}\frac{\partial \chi}{\partial t}\]
In field theory, promoting a global \(U(1)\) phase symmetry to a local (gauge) symmetry requires introducing the electromagnetic field. Noether's theorem applied to the global\(U(1)\) symmetry gives electric charge conservation:
\[\partial_\mu j^\mu = 0 \quad \Rightarrow \quad Q = \int j^0\,d^3x = \text{const}\]
This is the origin of all conservation laws in the Standard Model: each conserved charge (electric, color, baryon number, lepton number) corresponds to a continuous symmetry of the Lagrangian.
7. The Noether Dictionary
Python Simulation: Conservation Laws in Action
We verify Noether's theorem numerically: for a central force (Kepler problem), energy and angular momentum are conserved; for a two-body system with no external forces, total momentum is conserved. We also demonstrate how breaking a symmetry destroys the corresponding conservation law.
Noether Theorem: Conservation Laws in Kepler and Two-Body Systems
PythonClick Run to execute the Python code
Code will be executed with Python 3 on the server
Summary
- Noether's theorem: every continuous symmetry of the action yields a conserved quantity.
- Time translation invariance gives energy conservation.
- Spatial translation invariance gives linear momentum conservation.
- Rotational invariance gives angular momentum conservation.
- Gauge symmetry in field theory gives charge conservation.
- Breaking a symmetry destroys the corresponding conservation law — this is verified numerically.
- The Kepler problem has an additional hidden symmetry giving the Laplace-Runge-Lenz vector.