Noether's theorem

Intuition [Beginner]

A symmetry of a physical system is a transformation that leaves the rules of motion unchanged. If you do an experiment in your kitchen, then carry the apparatus to the next room and repeat the experiment, you get the same result: the laws of mechanics do not depend on where in space you stand. Spatial translation is a symmetry. Likewise, rotating the apparatus by any angle, or running the experiment tomorrow instead of today, gives the same outcome. Each of these symmetries reflects a deep structural feature of the system.

Noether's theorem says that every continuous symmetry of a mechanical system corresponds to a quantity that does not change as the system evolves. Translation in space gives momentum. Translation in time gives energy. Rotation gives angular momentum. The pattern is exact, not metaphorical: each conserved quantity is built directly out of the symmetry that generates it.

The reason this is striking is that conservation laws had been discovered empirically over centuries by Galileo, Newton, Euler, and others, each as a separate fact about specific systems. Noether's theorem builds toward a single explanation: conservation is the shadow of symmetry. The same theorem appears again in field theory and in modern gauge theory, where it underlies the conservation of electric charge and every other physical current.

Visual [Beginner]

A picture of a particle's trajectory in two-dimensional space, with a one-parameter family of translated copies of the trajectory drawn beside it. An arrow labelled "symmetry direction" points along the family. A second arrow shows the conserved quantity (a single number) that stays the same as the particle moves along its actual path. The visual conveys that a symmetry direction in the space of all paths gives rise to a function on the system that does not change with time.

The mental image is a slider that shifts the entire trajectory along a symmetry direction; if the physics does not notice the shift, then a specific number — the conserved quantity — does not change as the particle moves.

Worked example [Beginner]

Consider a free particle of mass $m=2$ moving along a line, with Lagrangian $L=\frac{1}{2}m{v}^2=v^2$, where $v$ is the velocity. The position $q$ does not appear in $L$ — the Lagrangian is invariant under the spatial translation $q\mapsto q+s$ for every real number $s$. The infinitesimal generator of this family of symmetries is the vector field $X=1$ in the $q$ direction.

Noether's recipe says: the conserved quantity is the rate of change of $L$ with respect to velocity, multiplied by the symmetry direction. The slope of $L$ in the velocity direction is $2v$, and multiplying by the symmetry direction $X=1$ gives the candidate $J=2v$.

Check that $J$ is conserved. The free particle satisfies Newton's first law: $a=0$, so $v$ is constant. So $J=2v$ is constant in time. With initial velocity $v_0=3$, the conserved quantity is $J=6$, and that value persists for all time.

What this tells us is that translation invariance of the Lagrangian forces $J=mv$ — linear momentum — to be conserved. The same recipe applied to a rotationally invariant Lagrangian gives angular momentum; applied to a time-translation symmetry, it gives energy. The recipe is mechanical and uniform across cases.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $Q$ be a smooth manifold and $L:TQ\to \mathbb{R}$ a smooth Lagrangian. A one-parameter family of transformations of $Q$ is a smooth map $\varphi :Q\times (-\delta ,\delta )\to Q$ with ${\varphi }_s:=\varphi (\cdot ,s)$ a diffeomorphism for each $s\in (-\delta ,\delta )$ and ${\varphi }_0={\mathrm{id}}_Q$. The infinitesimal generator is the vector field $X\in \mathfrak{X}(Q)$ defined by $X(q)=\frac{d}{ds}{|}_{s=0}{\varphi }_s(q)$.

The family ${\varphi }_s$ lifts to a one-parameter family of diffeomorphisms of $TQ$ via the tangent map: $T{\varphi }_s(q,\dot{q})=({\varphi }_s(q),d{\varphi }_s(q)\cdot \dot{q})$. The infinitesimal generator of the lifted family is the prolongation $X^{(1)}\in \mathfrak{X}(TQ)$, defined as $X^{(1)}(q,\dot{q})=\frac{d}{ds}{|}_{s=0}T{\varphi }_s(q,\dot{q})$. In a chart $(q^i)$ on $Q$ with $X=X^i{\partial }_{q^i}$, the prolongation reads $X^{(1)}=X^i{\partial }_{q^i}+{\dot{q}}^j{\partial }_j{X}^i{\partial }_{{\dot{q}}^i}$.

The Lagrangian $L$ is invariant under ${\varphi }_s$ if $L\circ T{\varphi }_s=L$ for every $s$. The infinitesimal version is ${\mathcal{L}}_{X^{(1)}}L=0$, where ${\mathcal{L}}_{X^{(1)}}$ denotes the Lie derivative along $X^{(1)}$ acting on smooth functions $TQ\to \mathbb{R}$.

The Noether charge associated to $X$ is the smooth function $J_X:TQ\to \mathbb{R}$ defined in coordinates by

$$J_X(q,\dot{q})=\frac{\partial L}{\partial {\dot{q}}^i}(q,\dot{q})X^i(q).$$

The intrinsic definition is $J_X=⟨{\theta }_L,X^{(1)}⟩$, where ${\theta }_L$ is the Poincaré-Cartan one-form on $TQ$.

Counterexamples to common slips

• The lift to $TQ$ matters: a function on $Q$ that is ${\varphi }_s$-invariant gives a ${\varphi }_s$-invariant pullback to $TQ$, but a Lagrangian that depends on $\dot{q}$ requires the prolongation $X^{(1)}$, not just $X$, to act correctly.
• Discrete symmetries (parity, time reversal) do not produce Noether charges. The theorem requires a continuous one-parameter family.
• A symmetry of the equations of motion need not be a symmetry of the Lagrangian. The hypothesis is invariance of $L$ (or, more generally, invariance of $L$ up to a total time derivative — a divergence symmetry).
• If $L$ is invariant only up to a total time derivative $L\circ T{\varphi }_s=L+\frac{d{F}_s}{dt}$, the Noether charge picks up an additional term $-F^{\prime }(0)$ involving the generating function $F$.

Key theorem with proof [Intermediate+]

Theorem (Noether 1918). Let $L:TQ\to \mathbb{R}$ be smooth and let ${\varphi }_s$ be a one-parameter family of diffeomorphisms of $Q$ generated by $X\in \mathfrak{X}(Q)$. If $L$ is invariant under ${\varphi }_s$, that is $L\circ T{\varphi }_s=L$ for all $s$, then the Noether charge $J_X(q,\dot{q})=\frac{\partial L}{\partial {\dot{q}}^i}{X}^i(q)$ is constant along every solution of the Euler-Lagrange equations.

Proof. Work in a coordinate chart on $Q$. Let $\gamma :[t_0,t_1]\to Q$ be a smooth path satisfying the Euler-Lagrange equations $\frac{d}{dt}\frac{\partial L}{\partial {\dot{q}}^i}=\frac{\partial L}{\partial q^i}$. Differentiate the invariance condition $L(T{\varphi }_s(\gamma (t),\dot{\gamma }(t)))=L(\gamma (t),\dot{\gamma }(t))$ with respect to $s$ at $s=0$. The left side becomes the action of the prolongation $X^{(1)}$ on $L$:

$$0=\frac{d}{ds}{|}_{s=0}L(T{\varphi }_s(\gamma ,\dot{\gamma }))=\frac{\partial L}{\partial q^i}{X}^i+\frac{\partial L}{\partial {\dot{q}}^i}\frac{d{X}^i}{dt},$$

where the last term uses $\frac{d}{ds}{|}_{s=0}d{\varphi }_s(\dot{q})=\frac{d}{dt}(d{\varphi }_s(\dot{q})){|}_{s=0}$ along $\gamma$, which equals $\frac{d{X}^i}{dt}$ in the chart. Now substitute the Euler-Lagrange equation $\partial L/\partial q^i=\frac{d}{dt}(\partial L/\partial {\dot{q}}^i)$ into the right-hand side:

$$0=\frac{d}{dt}\left(\frac{\partial L}{\partial {\dot{q}}^i}\right)X^i+\frac{\partial L}{\partial {\dot{q}}^i}\frac{d{X}^i}{dt}=\frac{d}{dt}\left(\frac{\partial L}{\partial {\dot{q}}^i}{X}^i\right)=\frac{d{J}_X}{dt}.$$

Hence $J_X$ is constant along $\gamma$. The chart-independent statement follows because $J_X=⟨{\theta }_L,X^{(1)}⟩$ is an intrinsic scalar on $TQ$ and the Euler-Lagrange equations are an intrinsic second-order ODE on $TQ$. $\square$

Bridge. The Noether charge $J_X$ derived here builds toward 05.04.01 (moment map), where a Lie-group action $G\curvearrowright (M,\omega )$ on a symplectic manifold by symplectomorphisms is encoded by a single map $\mu :M\to {\mathfrak{g}}^{\ast }$ whose components are the Noether charges of the individual one-parameter subgroups. The same first-variation pattern appears again in 05.01.02 (symplectic manifold), where the Hamiltonian shadow of Noether's theorem is the Poisson-commutation $\{f,H\}=0$: a function $f$ on phase space generates a one-parameter family of canonical transformations preserving $H$ if and only if $f$ is constant along the Hamiltonian flow of $H$. The bridge between the Lagrangian Noether construction and the Hamiltonian moment map is the Legendre transform: this is exactly what identifies the Lagrangian conserved quantity $⟨\partial L/\partial \dot{q},X⟩$ with the moment-map component $⟨\mu ,\xi ⟩$ in dual coordinates on ${\mathfrak{g}}^{\ast }$. Putting these together, the foundational reason classical conservation laws line up with the symplectic moment-map theory is that both are coordinate expressions of the same intrinsic data — a one-parameter group of symmetries of the action functional.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

Mathlib does not currently package the Noether correspondence between Lagrangian symmetries and conserved quantities. A target statement at Mathlib level would be:

[object Promise]

The blocking gap is the prolongation $X^{(1)}$ of a vector field on $Q$ to one on $TQ$ as a Mathlib-level construction, together with the clean Euler-Lagrange-equation statement noted in lean_mathlib_gap.

Advanced results [Master]

The Noether correspondence is the structural backbone of the symmetry-conservation programme in mechanics and field theory.

Hamiltonian counterpart. Pass to the cotangent bundle 05.02.05 via the Legendre transform 05.00.03. A vector field $X$ on $Q$ lifts to a Hamiltonian vector field $X_{J_X}$ on $T^{\ast }Q$ whose Hamiltonian function is $J_X=⟨p,X(q)⟩$. The condition ${\mathcal{L}}_{X^{(1)}}L=0$ becomes the Poisson-bracket identity $\{J_X,H\}=0$, where $H=\mathbb{F}L\circ L$ is the corresponding Hamiltonian. The Lagrangian conserved quantity and the Hamiltonian conserved quantity are the same function on $T^{\ast }Q$ in dual coordinates: this is exactly the bridge between the two formulations.

Moment maps. When a Lie group $G$ acts on $Q$ by diffeomorphisms preserving $L$, every $\xi \in \mathfrak{g}$ generates a vector field $X_{\xi }\in \mathfrak{X}(Q)$ and a corresponding Noether charge $J_{X_{\xi }}$. The map $\mu :T^{\ast }Q\to {\mathfrak{g}}^{\ast }$ defined by $⟨\mu (q,p),\xi ⟩=J_{X_{\xi }}(q,p)$ is the moment map 05.04.01 of the lifted action. Equivariance of $\mu$ under the coadjoint action of $G$ on ${\mathfrak{g}}^{\ast }$ is automatic when $G$ is connected and the action lifts canonically. The Marsden-Weinstein reduction theorem then identifies the symplectic quotient ${\mu }^{-1}({\xi }^{\ast })/G_{{\xi }^{\ast }}$ with a smaller symplectic manifold on which the reduced Hamiltonian flow lives. Noether's theorem is the input data; moment-map theory is the geometric output.

Field theory and the Noether currents. For a Lagrangian density $\mathcal{L}$ on a spacetime $M$, infinitesimal symmetries give rise not to a single conserved scalar but to a conserved current $J_X^{\mu }$ satisfying ${\partial }_{\mu }{J}_X^{\mu }=0$. Spacetime translations give the canonical stress-energy tensor; Lorentz transformations give the angular-momentum-and-boost current; internal symmetries give gauge currents (electromagnetic, isospin, baryon number, lepton number). General relativity, Yang-Mills, and the Standard Model all rest on this template. The relation between a one-parameter symmetry of $\mathcal{L}$ and a conservation law ${\partial }_{\mu }{J}_X^{\mu }=0$ generalises the Lagrangian charge $J_X$ from a function on $TQ$ to a section of $T^{\ast }M\otimes ({\Lambda }^{n-1}{T}^{\ast }M)$ — the conserved $(n-1)$-form on spacetime.

Inverse Noether. A function $f:T^{\ast }Q\to \mathbb{R}$ Poisson-commuting with $H$ generates a one-parameter family of canonical transformations preserving $H$ — the symplectic-manifold 05.01.02 viewpoint. Pulled back to the Lagrangian side under the Legendre transform, $f$ is the Noether charge of a one-parameter family of generalised symmetries — symmetries that may act on the velocities as well as the positions, or that lift only to $T^{\ast }Q$ rather than to $Q$. The Cartan-Lie classification of symmetries of variational problems, due to Lie and refined by Cartan and Olver, gives the precise correspondence: every conserved quantity in a regular variational problem is generated by a generalised symmetry, and conversely. The classical Noether's theorem is the special case where the symmetry is a point transformation — acting on $Q$ alone — rather than a generalised contact or higher-order symmetry.

Divergence symmetries. A vector field $X$ on $Q$ for which ${\mathcal{L}}_{X^{(1)}}L=dF/dt$ for some function $F$ is a divergence symmetry. The associated conserved charge is ${\tilde{J}}_X=J_X-F$. Galilean boosts of a free particle illustrate the construction: the boost $q\mapsto q+st$ sends $L=\frac{1}{2}m{\dot{q}}^2$ to itself plus the total derivative $\frac{d}{dt}(mq)-\frac{1}{2}m{s}^2$, and the corresponding Noether charge is $\tilde{J}=m\dot{q}t-mq$, conserved under uniform motion. Divergence symmetries do not generate further isolated conservation laws beyond those from strict symmetries, but they are essential for capturing centre-of-mass relations and for understanding the Galilean and Poincaré algebras.

Synthesis. The Noether correspondence identifies symmetries with conservation laws: every smooth one-parameter family of symmetries of the action functional generates a function $J_X$ on $TQ$ that is constant along physical trajectories. The foundational reason this correspondence works is that both the action 05.00.02 and the symmetry are intrinsic geometric data on the configuration manifold — the action is a coordinate-free real number attached to a path, and a symmetry is a coordinate-free vector field — so their interaction must produce a coordinate-free conserved scalar. The bridge between the Lagrangian Noether charge and the Hamiltonian moment map 05.04.01 is the Legendre transform 05.00.03: this is exactly what identifies the function $J_X$ on $TQ$ with the linear-in-$p$ Hamiltonian $⟨p,X⟩$ on $T^{\ast }Q$, putting the theorem and the moment-map construction on the same footing. Putting these together, classical mechanics, gauge theory, and general relativity all share the same conservation-law machinery: pick a continuous symmetry of the action, run the Noether recipe, read off the current. Read in the opposite direction, every conservation law in a regular variational problem generalises to a Lie-symmetry generator under the Cartan-Lie classification, so the bridge between conserved quantities and symmetries is exact rather than approximate. The same theorem appears again in field theory as Noether currents and recurs in modern gauge theory as the source of every physical conservation law — electric charge, baryon number, and stress-energy among them.

Full proof set [Master]

Theorem (Noether, Lagrangian form). Let $L:TQ\to \mathbb{R}$ be smooth and let $X\in \mathfrak{X}(Q)$ generate a one-parameter family ${\varphi }_s$ of diffeomorphisms of $Q$. If $L\circ T{\varphi }_s=L$ for all $s$, then $J_X(q,\dot{q})=\frac{\partial L}{\partial {\dot{q}}^i}{X}^i(q)$ is constant along solutions of the Euler-Lagrange equations.

Proof. Proved in §Key theorem above; the chart-by-chart calculation together with the intrinsic identification $J_X=⟨{\theta }_L,X^{(1)}⟩$ gives the global statement. $\square$

Theorem (divergence-symmetry generalisation). If $X\in \mathfrak{X}(Q)$ generates a one-parameter family ${\varphi }_s$ for which ${\mathcal{L}}_{X^{(1)}}L=dF/dt$ for some smooth $F:TQ\to \mathbb{R}$, then the modified charge ${\tilde{J}}_X=\frac{\partial L}{\partial {\dot{q}}^i}{X}^i-F$ is constant along solutions of the Euler-Lagrange equations.

Proof. In a chart, differentiate the relation $L(T{\varphi }_s(\gamma ,\dot{\gamma }))=L(\gamma ,\dot{\gamma })+s\cdot dF/dt+O(s^2)$ at $s=0$. The left side gives ${\partial }_{q^i}L\cdot X^i+{\partial }_{{\dot{q}}^i}L\cdot d{X}^i/dt$, and the right side gives $dF/dt$. Substituting the Euler-Lagrange equation ${\partial }_{q^i}L=d/dt({\partial }_{{\dot{q}}^i}L)$ and rearranging produces $d/dt({\partial }_{{\dot{q}}^i}L\cdot X^i-F)=0$, so ${\tilde{J}}_X$ is conserved. $\square$

Theorem (Hamiltonian counterpart and moment map). Let $G\times Q\to Q$ be a smooth left action of a Lie group $G$ preserving $L$, with infinitesimal action $\xi \mapsto X_{\xi }\in \mathfrak{X}(Q)$. Define $\mu :T^{\ast }Q\to {\mathfrak{g}}^{\ast }$ by $⟨\mu (q,p),\xi ⟩=⟨p,X_{\xi }(q)⟩$. Then $\mu$ is a momentum map for the cotangent-lifted action, and each component ${\mu }^{\xi }:=⟨\mu ,\xi ⟩$ Poisson-commutes with the Hamiltonian $H=\mathbb{F}L\circ L$.

Proof. The cotangent-lifted action of $G$ on $T^{\ast }Q$ preserves the canonical one-form $\theta =p_{i}d{q}^i$ because the lift is by pullback of diffeomorphisms. Hence it preserves $\omega =-d\theta$. The vector field generating the $\xi$-component of the action on $T^{\ast }Q$ is $X_{\xi }^{T^{\ast }Q}$, which satisfies ${\iota }_{X_{\xi }^{T^{\ast }Q}}\omega =-d{\mu }^{\xi }$, the defining equation for ${\mu }^{\xi }$ to be a Hamiltonian function for $X_{\xi }^{T^{\ast }Q}$. Equivariance under the coadjoint action follows from the chain rule. Poisson-commutation $\{{\mu }^{\xi },H\}=0$ is the Hamiltonian shadow of ${\mathcal{L}}_{X_{\xi }^{(1)}}L=0$ pushed forward by $\mathbb{F}L$. $\square$

Theorem (field-theory Noether). Let $\mathcal{L}$ be a smooth Lagrangian density on $J^1(M,F)\to M$ (the first jet bundle of a fibre bundle $F\to M$ over an $n$-dimensional spacetime $M$), and let $X$ be a smooth vector field on $F$ that prolongs to a symmetry of $\mathcal{L}$. Then the Noether current $J_X^{\mu }=\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}{X}^{\varphi }-\mathcal{L}{X}^{\mu }$ satisfies ${\partial }_{\mu }{J}_X^{\mu }=0$ on solutions of the Euler-Lagrange field equations.

Proof sketch. Replicate the point-particle proof on the jet bundle: differentiate the symmetry condition $\mathcal{L}\circ j^1{\varphi }_s=\mathcal{L}$ at $s=0$, substitute the Euler-Lagrange field equations ${\partial }_{\mu }(\partial \mathcal{L}/\partial ({\partial }_{\mu }\varphi ))=\partial \mathcal{L}/\partial \varphi$, and recognise the result as ${\partial }_{\mu }{J}_X^{\mu }=0$. The divergence-symmetry generalisation goes through verbatim, replacing $dF/dt$ by ${\partial }_{\mu }{K}^{\mu }$ for some $(n-1)$-form $K$ and modifying the current to ${\tilde{J}}_X^{\mu }=J_X^{\mu }-K^{\mu }$. $\square$

Connections [Master]

• Hamilton's principle 05.00.02. The Noether-theorem proof reuses the first-variation calculation underlying Hamilton's principle, applied along the symmetry direction rather than along an arbitrary fixed-endpoint variation; the same integration-by-parts pattern produces both the Euler-Lagrange equations and the conserved Noether charge.

• Legendre transform 05.00.03. The fibre derivative $\mathbb{F}L:TQ\to T^{\ast }Q$ converts the Lagrangian Noether charge $⟨\partial L/\partial \dot{q},X⟩$ into the linear-in-$p$ Hamiltonian $⟨p,X⟩$ on phase space, identifying the Lagrangian and Hamiltonian sides of the symmetry-conservation correspondence.

• Moment map 05.04.01. When a Lie group $G$ acts on $Q$ preserving the Lagrangian, the assembled Noether charges $J_{X_{\xi }}$ for $\xi \in \mathfrak{g}$ form the components of the moment map $\mu :T^{\ast }Q\to {\mathfrak{g}}^{\ast }$ of the cotangent-lifted action; the Lagrangian symmetry datum and the Hamiltonian moment-map datum are the same object viewed through the Legendre transform.

• Symplectic manifold 05.01.02. Noether's correspondence is the input that makes Marsden-Weinstein symplectic reduction possible: once the conserved quantities form a moment map for a group action, the level sets descend to a smaller symplectic manifold capturing the reduced dynamics.

• Lagrangian on $TQ$ 05.00.01. The intrinsic statement of Noether's theorem uses the Poincaré-Cartan one-form ${\theta }_L=(\partial L/\partial {\dot{q}}^i)d{q}^i$ on $TQ$ defined by the Lagrangian, packaging the conserved charge as $J_X=⟨{\theta }_L,X^{(1)}⟩$.

• Hamilton-Jacobi equation 05.05.04. Conserved Noether charges are constants of integration in the Hamilton-Jacobi separation-of-variables programme: each Poisson-commuting symmetry of $H$ supplies a coordinate ${\alpha }_k$ that separates the Hamilton-Jacobi PDE, reducing the dynamics to quadrature on the level sets of the conserved quantities.

Historical & philosophical context [Master]

Emmy Noether's Invariante Variationsprobleme, presented to the Königliche Gesellschaft der Wissenschaften zu Göttingen in 1918 and published in the Nachrichten of that society ^{[Noether 1918]}, established what is now called Noether's theorem (and its second theorem, on infinite-dimensional symmetries and Bianchi identities, central to the gauge theories developed decades later). The paper was submitted by Felix Klein and David Hilbert in connection with their work on the variational structure of general relativity: Hilbert had derived the Einstein field equations from a variational principle in late 1915, and a question about the apparent failure of energy conservation in the resulting theory motivated the search for a precise relation between symmetries and conservation laws. Noether's two theorems supplied the answer, and the second theorem in particular explained why energy conservation in general relativity takes a different form from its Newtonian counterpart.

Noether had been an unpaid Privatdozentin at Göttingen, denied a salaried position because of her sex despite Hilbert's repeated advocacy, and the Invariante Variationsprobleme paper appeared while her position remained informally precarious. Her result was recognised within a small circle (Hilbert, Klein, Weyl) but did not enter mainstream physics curricula until the 1950s, when the rise of gauge field theory made the Noether correspondence the canonical organising principle of conservation laws. Hermann Weyl's 1929 gauge principle, the source of modern Yang-Mills theory, is in retrospect a direct continuation of Noether's second theorem — local gauge invariance forces the existence of a connection one-form whose curvature drives the dynamics, and the associated conserved currents are the Noether currents of the local symmetry.

V. I. Arnold's Mathematical Methods of Classical Mechanics (1974 Russian, 1989 second English edition) ^[pending] gave Noether's theorem the modern coordinate-free framing in §20, presenting it as a statement about vector fields on the configuration manifold $Q$ and their prolongations to $TQ$. P. J. Olver's Applications of Lie Groups to Differential Equations (1986; 2nd ed. 1993) ^[pending] developed the algebraic-geometric extension to generalised symmetries on jet bundles, giving the inverse-Noether classification and the field-theory Noether current in its full generality. Marsden-Ratiu's Introduction to Mechanics and Symmetry ^[pending] tied the theorem into the moment-map and reduction programme that dominates the modern symplectic-mechanics literature.

Bibliography [Master]

[object Promise]