For , constant preserves both terms. This is an internal symmetry of a classical field theory with circle group . A spacetime-dependent phase would introduce derivative terms, so the ordinary-derivative density has only the global symmetry. The associated current is the Noether charge of a complex scalar field construction; the orientation fixes its overall sign.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-05
Use a local first-derivative Lagrangian density with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to ; a propagating field requires derivative dependence. Varying the action givesIntegration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.
A variational symmetry of a Lagrangian density is an infinitesimal field change for which off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,Equating the two expressions proves the scalar-field form of the Noether theorem:Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.
For an active spacetime translation, and . If the Lagrangian density has no explicit coordinate dependence, , so . The Noether current is , whereThese four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in follows from the chosen active translation; the translation charges themselves can be labelled by .
For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation areHere , so . Raising the charge index gives the four-momentum of a free real scalar field,The first is total energy, and the three components of the second are physical spatial momentum. With signature , ; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to has momentum density along , confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.
For the complex scalar field, treat and as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is , for constant . Both the kinetic term and are invariant. This is a global internal symmetry of a classical field theory with circle group ; a spacetime-dependent phase would require a gauge connection.
Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:To check conservation directly, the Euler-Lagrange field equations are and their complex conjugates, assuming a real differentiable potential. Hence . Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge , the physical electric charge is after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.