Académique Documents
Professionnel Documents
Culture Documents
This article is about Emmy Noethers rst theorem, researchers to consider whole classes of hypothetical La-
which derives conserved quantities from symmetries. grangians with given invariants, to describe a physical
For other uses, see Noethers theorem (disambiguation). system. As an illustration, suppose that a new eld is dis-
covered that conserves a quantity X. Using Noethers the-
orem, the types of Lagrangians that conserve X through
Noethers (rst) theorem states that any dierentiable
symmetry of the action of a physical system has a cor- a continuous symmetry may be determined, and their t-
ness judged by further criteria.
responding conservation law. The theorem was proved
by German mathematician Emmy Noether in 1915 and There are numerous versions of Noethers theorem, with
published in 1918.[1] The action of a physical system is varying degrees of generality. The original version only
the integral over time of a Lagrangian function (which applied to ordinary dierential equations (particles) and
may or may not be an integral over space of a Lagrangian not partial dierential equations (elds). The original
density function), from which the systems behavior can versions also assume that the Lagrangian only depends
be determined by the principle of least action. upon the rst derivative, while later versions generalize
th
Noethers theorem has become a fundamental tool of the theorem to Lagrangians depending on the n deriva-
modern theoretical physics and the calculus of variations. tive. There are natural quantum counterparts of this the-
A generalization of the seminal formulations on constants orem, expressed in the WardTakahashi identities. Gen-
of motion in Lagrangian and Hamiltonian mechanics (de- eralizations of Noethers theorem to superspaces are also
veloped in 1788 and 1833, respectively), it does not ap- available.
ply to systems that cannot be modeled with a Lagrangian
alone (e.g. systems with a Rayleigh dissipation function).
In particular, dissipative systems with continuous symme- 2 Informal statement of the theo-
tries need not have a corresponding conservation law. rem
All ne technical points aside, Noethers theorem can be
1 Basic illustrations and back- stated informally
1
2 3 HISTORICAL CONTEXT
called the Noether current. The Noether current is dened In the late 18th and early 19th centuries, physicists devel-
up to a solenoidal (divergenceless) vector eld. oped more systematic methods for discovering invariants.
In the context of gravitation, Felix Klein's statement A major advance came in 1788 with the development of
of Noethers theorem for action I stipulates for the Lagrangian mechanics, which is related to the principle
invariants:[4] of least action. In this approach, the state of the system
can be described by any type of generalized coordinates
q; the laws of motion need not be expressed in a Cartesian
If an integral I is invariant under a continu- coordinate system, as was customary in Newtonian me-
ous group G with parameters, then linearly chanics. The action is dened as the time integral I of a
independent combinations of the Lagrangian function known as the Lagrangian L
expressions are divergences.
3 Historical context
I= L(q, q, t) dt ,
Main articles: Constant of motion, conservation law
(physics) and conserved current where the dot over q signies the rate of change of the
coordinates q,
A conservation law states that some quantity X in the
mathematical description of a systems evolution remains
constant throughout its motion it is an invariant. Math-
ematically, the rate of change of X (its derivative with dq
q = .
respect to time) vanishes, dt
by William Rowan Hamilton. For example, he devel- (which have the dimensions of [energy][time] + [mo-
oped a theory of canonical transformations which al- mentum][length] = [action]) are conserved (constants of
lowed changing coordinates so that some coordinates dis- motion).
appeared from the Lagrangian, as above, resulting in con-
served canonical momenta. Another approach, and per-
haps the most ecient for nding conserved quantities, 4.1.1 Examples
is the HamiltonJacobi equation.
Time invariance
For such systems, Noethers theorem states that there are In this case, Noethers theorem states that the conserved
N conserved current densities (j = 0) current equals
( ) [( ) ] ( )
L L
jr = r + , L Xr
j =i ,
, , x x
5.2 Field-theoretic derivation 5
which, when multiplied by the charge on that species of Notice that the EulerLagrange equations imply
particle, equals the electric current density due to that
type of particle. This gauge invariance was rst noted ( ) ( ) ( )
by Hermann Weyl, and is one of the prototype gauge sym- d L d L L d L
qT = qT + qT + q T
metries of physics. dt q q dt q q q dt q q q
( 2 )
L L L
= qT + q qT + q T.
5 Derivations q q q (q) 2 q q
Substituting this into the previous equation, one gets
5.1 One independent variable
Consider the simplest case, a system with one indepen- dI L
0= [0] = L[q[t2 ], q[t2 ], t2 ]T L[q[t1 ], q[t1 ], t1 ]T q[t2 ]T +
dent variable, time. Suppose the dependent variables q d q q
are such that the action integral t2
L L 2
+ + q dt.
t1 q q q
t2
I= L[q[t], q[t], t] dt Again using the EulerLagrange equations we get
t1
If the coordinates are changed, the boundary of the region Thus, the change in the action can be written as
of spacetime over which the Lagrangian is being inte-
grated also changes; the original boundary and its trans- { }
L ( A A )
formed version are denoted as and , respectively. A
+ L , , , x
x d4 x = 0 .
x A
,
Noethers theorem begins with the assumption that a spe-
cic transformation of the coordinates and eld variables Since this holds for any region , the integrand must be
does not change the action, which is dened as the integral zero
of the Lagrangian density over the given region of space-
time. Expressed mathematically, this assumption may be { }
written as L A
( A A
)
+ L , , , x x = 0.
x A ,
( ) ( ) For any combination of the various symmetry transfor-
L A , A , , d4 L A , A , , x d4 x = 0
mations, the perturbation can be written
The dierence in Lagrangians can be written to rst-order Dierentiating the above divergence with respect to at
in the innitesimal variations as =0 and changing the sign yields the conservation law
5.4 Comments 7
S[]
j =0 0
x (x)
where the conserved current equals and that satises the given boundary conditions, is the
subspace of on shell solutions. (See principle of stationary
[ ] ( ) action)
L L
j = LX L X
A
A . Now, suppose we have an innitesimal transformation on
A , A ,
C , generated by a functional derivation, Q such that
the variational principle. Assuming no boundary terms To see how the generalization is related to the version
in the action, Noethers theorem implies that given above, assume that the action is the spacetime inte-
gral of a Lagrangian that only depends on and its rst
derivatives. Also, assume
J ds 0 .
N
Q[L] f
The quantum analogs of Noethers theorem involving ex-
pectation values, e.g. d4 x J=0, probing o shell Then,
quantities as well are the WardTakahashi identities.
q[][S] = q[][L] dn x
5.5 Generalization to Lie algebras {( ) [ ] }
= L Q[] + L (Q[]) dn x
Suppose say we have two symmetry derivations Q1 and ( )
{ [ ] }
Q2 . Then, [Q1 , Q2 ] is also a symmetry derivation. Lets
see this explicitly. Lets say = Q[L] + L Q[] dn x
( )
{ [ ] }
f
L Q[] dn x
( )
Q1 [L] f1
for all .
and
More generally, if the Lagrangian depends on higher
derivatives, then
Q2 [L] f2
[ [ ] [ ] [[
Then, f L Q[] 2 L Q[] +
( ) ( ) (
[Q1 , Q2 ][L] = Q1 [Q2 [L]] Q2 [Q1 [L]] f12 6 Examples
where f12 =Q1 [f2 ]-Q2 [f1 ]. So, 6.1 Example 1: Conservation of energy
Then, Then,
3
L ( )
j= Q[xi ] f j = x ] f
L Q[
i=1
xi x
[ ]
m 2
=m xi
2
x V (x)
2 i i
i = (m x t m x )
m 2
= x + V (x).
2 i i
= P t MxCM
The right hand side is the energy and Noethers theorem
states that j = 0 (i.e. the principle of conservation of where P is the total momentum, M is the total mass and
energy is a consequence of invariance under time trans- xCM is the center of mass. Noethers theorem states:
lations).
More generally, if the Lagrangian does not depend ex-
plicitly on time, the quantity j = 0 P M x CM = 0.
3
L 6.3 Example 3: Conformal transforma-
xi L tion
i=1
xi
(called the Hamiltonian) is conserved. Both examples 1 and 2 are over a 1-dimensional manifold
(time). An example involving spacetime is a conformal
transformation of a massless real scalar eld with a
6.2 Example 2: Conservation of center of quartic potential in (3 + 1)-Minkowski spacetime.
momentum
Still considering 1-dimensional time, let
For Q, consider the generator of a spacetime rescaling. In
other words,
S[x] = L[x(t), x (t)] dt
N
m Q[(x)] = x (x) + (x).
= V (x x ) dt
(x )2
=1
2
<
The second term on the right hand side is due to the con-
i.e. N Newtonian particles where the potential only de- formal weight of . Note that
pends pairwise upon the relative displacement.
For Q , lets consider the generator of Galilean transfor-
3
mations (i.e. a change in the frame of reference). In other Q[L] = ( + x + )4 (x + ) .
words,
This has the form of
d
Then,
This has the form of dt m xi so we can set
[ ]
f = m x .
j = L Q[] f
( )
10 10 REFERENCES
( )
1 [2] Thompson, W.J. (1994). Angular Momentum: an illus-
= (x + ) x 4 .
2 trated guide to rotational symmetries for physical systems
1. Wiley. p. 5. ISBN 0-471-55264-X.
Noethers theorem states that j = 0 (as one may ex-
plicitly check by substituting the EulerLagrange equa-
[3] The term Noether charge occurs in Seligman, Group
tions into the left hand side). theory and its applications in physics, 1980: Latin Amer-
(Aside: If one tries to nd the WardTakahashi ana- ican School of Physics, Mexico City, American Institute
log of this equation, one runs into a problem because of of Physics, 1981. It comes enters wider use during the
anomalies.) 1980s, e.g. by G. Takeda in: Errol Gotsman, Gerald
Tauber (eds.) From SU(3) to Gravity: Festschrift in Honor
of Yuval Ne'eman, 1985, p. 196.
In quantum eld theory, the analog to Noethers theorem, [11] Vivek Iyer; Wald (1995). A comparison of
the WardTakahashi identity, yields further conservation Noether charge and Euclidean methods for Com-
laws, such as the conservation of electric charge from the puting the Entropy of Stationary Black Holes.
invariance with respect to a change in the phase factor of Physical Review D 52 (8): 44309. arXiv:gr-
the complex eld of the charged particle and the associ- qc/9503052. Bibcode:1995PhRvD..52.4430I.
ated gauge of the electric potential and vector potential. doi:10.1103/PhysRevD.52.4430.
The Noether charge is also used in calculating the entropy
of stationary black holes.[11]
10 References
8 See also Goldstein, Herbert (1980). Classical Mechanics
(2nd ed.). Reading, MA: Addison-Wesley. pp.
Charge (physics) 588596. ISBN 0-201-02918-9.
Gauge symmetry
Kosmann-Schwarzbach, Yvette (2010). The
Gauge symmetry (mathematics) Noether theorems: Invariance and conservation
laws in the twentieth century. Sources and Studies in
Invariant (physics) the History of Mathematics and Physical Sciences.
Goldstone boson Springer-Verlag. ISBN 978-0-387-87867-6
11 External links
Emmy Noether; Mort Tavel (translator)
(1971). Invariant Variation Problems.
Transport Theory and Statistical Physics
1 (3): 186207. arXiv:physics/0503066.
Bibcode:1971TTSP....1..186N.
doi:10.1080/00411457108231446. (Original
in Gott. Nachr. 1918:235-257)
Emmy Noether (1918). Invariante Variationen-
probleme (in German).
Emmy Noether and The Fabric of Reality (video) on
YouTube
Byers, Nina (1998). E. Noethers Discovery of the
Deep Connection Between Symmetries and Conser-
vation Laws. arXiv:physics/9807044 [physics.hist-
ph].
John Baez (2002) "Noethers Theorem in a Nut-
shell."
Hanca, J.; Tulejab, S.; Hancova, M. (2004).
Symmetries and conservation laws: Consequences
of Noethers theorem. American Journal of Physics
72 (4): 42835. Bibcode:2004AmJPh..72..428H.
doi:10.1119/1.1591764.
12.2 Images