Topic

Symmetries and Conservation Laws

Classical Mechanics Foundations Symmetry

The Central Idea

One of the deepest insights in physics is that every continuous symmetry of a physical system corresponds to a conserved quantity. This is Noether’s theorem, and it connects two fundamental concepts:

  • Symmetry: the action is invariant under a continuous family of transformations
  • Conservation law: a quantity that does not change with time

This connection is not a coincidence — it is a mathematical theorem with a precise proof.


Noether’s Theorem

Statement

Let L(q, \dot{q}, t) be a Lagrangian with n degrees of freedom. Suppose there is a one-parameter family of transformations

q_i \to q_i + \varepsilon \, \delta q_i(q, \dot{q}, t)

that leaves the action invariant (i.e., \delta L = \frac{d}{dt}\Lambda for some function \Lambda). Then the quantity

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

is conserved along solutions of the Euler-Lagrange equations: \frac{dQ}{dt} = 0.

Proof Sketch

Compute the time derivative of Q:

\frac{dQ}{dt} = \sum_{i} \left[\frac{d}{dt}\frac{\partial L}{\partial \dot{q}i}\right] \delta q_i + \sum{i} \frac{\partial L}{\partial \dot{q}_i} \frac{d(\delta q_i)}{dt} - \frac{d\Lambda}{dt}

Using the Euler-Lagrange equations \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} = \frac{\partial L}{\partial q_i}, the first sum becomes \sum_i \frac{\partial L}{\partial q_i} \delta q_i. Combined with the second sum:

\frac{dQ}{dt} = \sum_{i} \frac{\partial L}{\partial q_i}\delta q_i + \sum_{i} \frac{\partial L}{\partial \dot{q}_i}\delta\dot{q}_i - \frac{d\Lambda}{dt} = \delta L - \frac{d\Lambda}{dt} = 0

The last equality holds because the symmetry condition requires \delta L = \frac{d\Lambda}{dt}. \square


The Three Fundamental Examples

1. Space Translation → Momentum Conservation

Symmetry: The Lagrangian is invariant under spatial translation q_i \to q_i + \varepsilon in direction i.

This means \frac{\partial L}{\partial q_i} = 0 — the coordinate q_i is cyclic (does not appear explicitly in L).

Conserved quantity: The conjugate momentum

p_i = \frac{\partial L}{\partial \dot{q}_i}

The Euler-Lagrange equation directly gives \dot{p}_i = \frac{\partial L}{\partial q_i} = 0.

Example: A free particle L = \frac{1}{2}m(\dot{x}^2 + \dot{y}^2 + \dot{z}^2) is translation-invariant in all three directions. All three components of momentum \mathbf{p} = m\dot{\mathbf{x}} are conserved.

Example: A particle in a potential V(x, y) = V(r) that depends only on r = \sqrt{x^2 + y^2}. In polar coordinates, \theta is cyclic, so the angular momentum p_\theta = mr^2\dot{\theta} is conserved.

2. Time Translation → Energy Conservation

Symmetry: The Lagrangian does not depend explicitly on time: \frac{\partial L}{\partial t} = 0.

Conserved quantity: The energy (Hamiltonian)

E = H = \sum_{i} p_i \dot{q}_i - L

Proof: Compute directly:

\frac{dL}{dt} = \sum_i \frac{\partial L}{\partial q_i}\dot{q}_i + \sum_i \frac{\partial L}{\partial \dot{q}_i}\ddot{q}_i + \frac{\partial L}{\partial t}

Using the Euler-Lagrange equations:

\frac{dL}{dt} = \sum_i \frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}_i}\dot{q}_i\right) + \frac{\partial L}{\partial t}

Therefore:

\frac{d}{dt}\left(\sum_i p_i\dot{q}_i - L\right) = -\frac{\partial L}{\partial t} = 0

For a standard Lagrangian L = T - V where T is quadratic in velocities, H = T + V = total energy.

3. Rotation → Angular Momentum Conservation

Symmetry: The Lagrangian is invariant under rotations around an axis, say the z-axis:

x \to x - \varepsilon \, y, \qquad y \to y + \varepsilon \, x

(infinitesimal rotation by angle \varepsilon).

Conserved quantity: The z-component of angular momentum

L_z = xp_y - yp_x = m(x\dot{y} - y\dot{x})

Full rotational symmetry: If L is invariant under all rotations (e.g., a central force), all three components of \mathbf{L} = \mathbf{x} \times \mathbf{p} are conserved.


Summary Table

Symmetry Transformation Conserved Quantity
Space translation q_i \to q_i + \varepsilon Momentum p_i
Time translation t \to t + \varepsilon Energy H
Rotation \mathbf{x} \to R(\varepsilon)\mathbf{x} Angular momentum \mathbf{L}
Boost (Galilean) \mathbf{x} \to \mathbf{x} + \varepsilon t \, \hat{\mathbf{n}} Center-of-mass motion m\mathbf{X} - \mathbf{P}t

These four symmetries generate the Galilean group, the symmetry group of non-relativistic mechanics.


Noether’s Theorem in the Hamiltonian Framework

In the Hamiltonian formulation, Noether’s theorem takes an elegant algebraic form. A conserved quantity Q satisfies:

{Q, H} = 0

Moreover, Q generates the symmetry transformation via the Poisson bracket:

\delta f = \varepsilon{f, Q}

Examples:

  • Momentum p_i generates translations: {q_j, p_i} = \delta_{ij}
  • Angular momentum L_z generates rotations: {x, L_z} = -y, {y, L_z} = x
  • The Hamiltonian H generates time evolution: {f, H} = \dot{f}

The conserved quantities form a Lie algebra under the Poisson bracket. For the Galilean group, the angular momentum components satisfy:

{L_i, L_j} = \varepsilon_{ijk}L_k

This is the Lie algebra \mathfrak{so}(3) — the same algebra that governs spin in quantum mechanics.


Outlook: Gauge Symmetries in Field Theory

In field theory, Noether’s theorem generalizes to local (gauge) symmetries and yields far-reaching consequences:

Classical Symmetry Field Theory Analogue Consequence
Global phase U(1) Electromagnetic gauge symmetry Electric charge conservation
SU(2) isospin Weak gauge symmetry Weak charge conservation
SU(3) color Strong gauge symmetry Color charge conservation
Spacetime translations General covariance Energy-momentum conservation

The entire structure of the Standard Model — with its gauge group SU(3) \times SU(2) \times U(1) — is built on the idea that symmetries dictate dynamics. This idea begins here, with Noether’s theorem in classical mechanics.


References

  • E. Noether, “Invariante Variationsprobleme,” Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen (1918), pp. 235–257
  • L. D. Landau and E. M. Lifshitz, Mechanics, 3rd ed. (Pergamon, 1976), Chapters 2, 4
  • V. I. Arnold, Mathematical Methods of Classical Mechanics, 2nd ed. (Springer, 1989), Chapter 4
  • H. Goldstein, C. Poole, and J. Safko, Classical Mechanics, 3rd ed. (Addison-Wesley, 2002), Chapters 2, 13
  • Y. Kosmann-Schwarzbach, The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century (Springer, 2011)