Noether's Theorem in Full Generality
~7 min read · Tier toggle changes depth (T1 plain · T2 standard · T3 rigour)
You should be comfortable with the Euler–Lagrange equations and the definition of the action functional \( S = \int L \, dt \). Familiarity with the concept of a continuous symmetry transformation is assumed.
Why this matters
Noether's theorem provides the rigorous bridge between the geometric symmetries of a system and its conserved quantities.
In previous lectures, we identified specific conservation laws like energy and linear momentum by inspecting the form of the Lagrangian for specific cases. While effective, this approach lacks generality. Noether's theorem elevates these observations to a fundamental principle: every differentiable symmetry of the action functional corresponds to a conservation law. This is not merely a mathematical curiosity; it is the foundational language of modern theoretical physics, underpinning gauge theories, quantum field theory, and the understanding of particle physics. By mastering the general form, you gain a tool that works for any system, regardless of coordinate choice or complexity.
The Core Idea: Symmetry Implies Conservation
Imagine a physical system that behaves exactly the same way whether you perform an experiment here or ten meters to the left. This invariance under spatial translation is a symmetry. Noether's theorem states that this symmetry guarantees the conservation of linear momentum. Similarly, if the laws of physics do not change with time, energy is conserved. If the system looks the same when rotated, angular momentum is conserved. The profound insight is that these are not independent rules; they are all manifestations of a single variational principle. The action \( S \) is the central object. If a transformation leaves the action invariant (or changes it only by a boundary term), there must be a quantity that remains constant along the physical path. This quantity is called the Noether charge. It connects the "geometry" of the symmetry (how coordinates change) to the "dynamics" (how momenta and energy behave).
General Form of the Transformation
To state the theorem generally, we consider a one-parameter continuous transformation. Let the parameter be \( \epsilon \), which is infinitesimally small. The transformation acts on both time and the generalized coordinates \( q_i \). The new time is \( t' = t + \epsilon \, \tau(q, t) \) and the new coordinates are \( q_i' = q_i + \epsilon \, \zeta_i(q, t) \). Here, \( \tau \) and \( \zeta_i \) are functions that define the specific symmetry. For example, in a spatial translation, \( \tau = 0 \) and \( \zeta_i \) is a constant vector. In a time translation, \( \tau = 1 \) and \( \zeta_i = 0 \). The requirement for a symmetry is that the action changes only by a boundary term. Mathematically, the variation of the action \( \delta S \) must satisfy \( \delta S = \int \epsilon \, \frac{dF}{dt} \, dt \) for some function \( F(q, t) \). This allows for symmetries where the Lagrangian changes by a total time derivative, which does not affect the equations of motion.
The Noether Charge
Given such a symmetry, Noether's theorem guarantees a conserved quantity \( Q \). The expression for this charge involves the conjugate momenta \( p_i \), the energy function \( h \), and the boundary function \( F \). The conjugate momentum is defined as \( p_i = \frac{\partial L}{\partial \dot{q}_i} \). The energy function, often simply called the Hamiltonian in standard cases, is \( h = \sum_i p_i \dot{q}_i - L \). The Noether charge is then constructed as:
The theorem asserts that the time derivative of this quantity is zero along any physical trajectory: \( \frac{dQ}{dt} = 0 \). This is a powerful result because it unifies the conservation of energy, linear momentum, and angular momentum into a single formula. For instance, if we have a spatial translation where \( \tau = 0 \) and \( \zeta_i = a_i \) (a constant vector), and if \( F = 0 \), then \( Q = \sum_i p_i a_i \). Since \( a_i \) is constant, the conservation of \( Q \) implies the conservation of each component of the momentum vector \( \mathbf{p} \).
Connecting to Specific Cases
Let us verify how this general formula recovers the familiar conservation laws. Consider time translation symmetry. Here, the coordinates do not change, so \( \zeta_i = 0 \). The time shifts by \( \epsilon \), so \( \tau = 1 \). If the Lagrangian has no explicit time dependence, \( F = 0 \). The charge becomes \( Q = -h \). Since \( Q \) is conserved, \( h \) is conserved. This \( h \) is precisely the total energy of the system. Now consider rotational symmetry. In Cartesian coordinates, an infinitesimal rotation about the z-axis gives \( \zeta_x = -y \), \( \zeta_y = x \), \( \zeta_z = 0 \), with \( \tau = 0 \) and \( F = 0 \). The charge is \( Q = p_x(-y) + p_y(x) + p_z(0) = x p_y - y p_x \). This is the z-component of angular momentum \( L_z \). Thus, the conservation of angular momentum is a direct consequence of rotational invariance. This demonstrates the power of the general theorem: it does not just list conserved quantities; it explains *why* they are conserved based on the underlying symmetry of the system.
The derivation
Noether's Theorem for Continuous Symmetries
For a Lagrangian system L(q, q̇, t) obeying the Euler–Lagrange equations, every one-parameter continuous transformation t → t + ε τ(q,t), qi → qi + ε ζi(q,t) that leaves the action invariant up to a boundary term (δS = ∫ ε dF/dt dt) has an associated quantity that is constant along every physical trajectory: the Noether charge Q = Σi pi ζi − h τ − F, with conjugate momenta pi = ∂L/∂q̇i and energy function h = Σi pi q̇i − L. Spatial translations give linear momentum, rotations give angular momentum, and time translation gives energy as special cases.
A common pitfall is assuming that \( F \) must be zero. In gauge theories and systems with electromagnetic potentials, the Lagrangian may change by a total derivative under a symmetry transformation. Ignoring the \( F \) term in the Noether charge leads to incorrect conservation laws. Always check whether \( L \) is strictly invariant or changes by a total time derivative (a quasi-symmetry). The standard example is a Galilean boost of a free particle, \( x \to x + \epsilon t \): \( L \) changes by \( \epsilon\, \mathrm{d}(m x)/\mathrm{d}t \) to first order, so \( F = m x \), and the conserved charge \( m\dot{x}\,t - m x \) says that the particle moves at constant velocity. The term \( -F \) is crucial for the correct conserved charge in such cases. C
Worked example
Problem. Consider a particle of mass \( m \) moving in a uniform gravitational field near the Earth's surface. The Lagrangian is \( L = \frac{1}{2} m \dot{y}^2 - m g y \), where \( y \) is the vertical coordinate and \( g = 9.8 \, \mathrm{m/s^2} \). Identify the symmetry associated with horizontal translation (coordinate \( x \)) and derive the conserved quantity. Assume the particle also has a horizontal coordinate \( x \) with no potential dependence, so the full Lagrangian is \( L = \frac{1}{2} m (\dot{x}^2 + \dot{y}^2) - m g y \).
- Identify the transformation: A horizontal translation by \( \epsilon \) means \( x' = x + \epsilon \), \( y' = y \), \( t' = t \). Thus, \( \tau = 0 \), \( \zeta_x = 1 \), \( \zeta_y = 0 \).
- Determine \( F \): The Lagrangian does not depend on \( x \), so \( L(x+\epsilon, \dot{x}, y, \dot{y}, t) = L(x, \dot{x}, y, \dot{y}, t) \). The variation is zero, so \( F = 0 \).
- Calculate momenta: \( p_x = \frac{\partial L}{\partial \dot{x}} = m \dot{x} \), \( p_y = \frac{\partial L}{\partial \dot{y}} = m \dot{y} \).
- Calculate energy function \( h \): \( h = p_x \dot{x} + p_y \dot{y} - L = m \dot{x}^2 + m \dot{y}^2 - (\frac{1}{2} m \dot{x}^2 + \frac{1}{2} m \dot{y}^2 - m g y) = \frac{1}{2} m \dot{x}^2 + \frac{1}{2} m \dot{y}^2 + m g y \).
- Apply Noether's formula: \( Q = \sum p_i \zeta_i - h \tau - F = p_x(1) + p_y(0) - h(0) - 0 = p_x \).
- Conclusion: The conserved quantity is \( p_x = m \dot{x} \), which is the horizontal linear momentum.
Units check. \( m \) is \( \mathrm{kg} \), \( \dot{x} \) is \( \mathrm{m/s} \). The product is \( \mathrm{kg \cdot m/s} \), which is the unit of momentum. Correct.
Three quick tests
- What is the value of \( \tau \) for a spatial translation symmetry?
Answer
0 - If \( \zeta_i = 0 \) and \( \tau = 1 \), what physical quantity is conserved?
Answer
Energy (specifically, the negative of the energy function \( h \)) - Why is the term \( F \) included in the Noether charge?
Answer
To account for symmetries where the Lagrangian changes by a total time derivative, ensuring the action is invariant up to boundary terms.
Problem set for PU-201 →
Each derivation in this unit ends with five graded problems with full solutions.
Lecture notes drafted with a local model and checked line by line by the editor; every number in the worked example was recomputed.