Professional Documents
Culture Documents
8
Continuous Symmetries and Conservation Laws.
Noethers Theorem
In many physical systems, the action is invariant under some continuous set of
transformations. In such systems, there exist local and global conservation laws
analogous to current and charge conservation in electrodynamics. The analogs of
the charges can be used to generate the symmetry transformation, from which they
were derived, with the help of Poisson brackets, or after quantization, with the help
of commutators.
619
620 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
Symmetry variations must not be confused with ordinary variations q(t) used in
Section 1.1 to derive the Euler-Lagrange equations (1.8). While the ordinary vari-
ations q(t) vanish at initial and final times, q(tb ) = q(ta ) = 0 [recall (1.4)], the
symmetry variations s q(t) are usually nonzero at the ends.
Let us calculate the change of the action under a symmetry variation (8.4). Using
the chain rule of differentiation and an integration by parts, we obtain
" # t
Z tb L L L b
s A = dt t s q(t) + s q(t) . (8.5)
ta q(t) q(t) q(t)
ta
For orbits q(t) that satisfy the Euler-Lagrange equations (1.8), only boundary terms
survive, and we are left with
t
L a
s A = (q, q, t) . (8.6)
q
tb
Under the symmetry assumption, s A vanishes for any orbit q(t), implying that the
quantity
L
Q(t) (q, q, t) (8.7)
q
is the same at times t = ta and t = tb . Since tb is arbitrary, Q(t) is independent of
the time t, i.e., it satisfies
Q(t) Q. (8.8)
In this case,
L
Q(t) = (q, q, t) (q, q, t) (8.10)
q
is a conserved Noether charge.
It is also possible to derive the constant of motion (8.10) without invoking the
action, but starting from the Lagrangian. For it we evaluate the symmetry variation
as follows:
" # " #
L L d L
s L L (q+s q, q+s q) L(q, q) = t s q(t) + s q(t) . (8.11)
q(t) q(t) dt q(t)
8.1 Point Mechanics 621
On account of the Euler-Lagrange equations (1.8), the first term on the right-hand
side vanishes as before, and only the last term survives. The assumption of invariance
of the action up to a possible surface term in Eq. (8.9) is equivalent to assuming
that the symmetry variation of the Lagrangian is a total time derivative of some
function (q, q, t):
d
(q, q, t).
s L(q, q, t) = (8.12)
dt
Inserting this into the left-hand side of (8.11), we find
" #
d L
(q, q, t) (q, q, t) = 0, (8.13)
dt q
thus recovering again the conserved Noether charge (8.8).
The existence of a conserved quantity for every continuous symmetry is the
content of Noethers theorem [1].
Along the classical orbits, the action is extremal and satisfies the equation
A
= 0, (8.19)
(t)
L d L
= 0. (8.20)
(t) dt (t)
This can also be checked explicitly by differentiating (8.17) according to the chain
rule of differentiation:
L L L
= (q, q, t) + (q, q, t); (8.21)
(t) q(t) q(t)
L L
= (q, q, t), (8.22)
(t) q(t)
and inserting on the right-hand side the ordinary Euler-Lagrange equations (1.8).
We now invoke the symmetry assumption that the action is a pure surface term
under the time-independent transformations (8.15). This implies that
L d
= . (8.23)
dt
Combining this with (8.20), we derive a conservation law for the charge:
L
Q= . (8.24)
Inserting here Eq. (8.22), we find that this is the same charge as that derived by the
previous method.
t = t . (8.25)
In the new coordinate frame, the same orbit has the new description
i.e., the orbit q(t) at the translated time t is precisely the same as the orbit q(t) at
the original time t. If we replace the argument of q(t) in (8.26) by t , we describe a
8.2 Displacement and Energy Conservation 623
time-translated orbit in terms of the original coordinates. This implies the symmetry
variation of the form (8.4):
L L
s L = L(q (t), q (t)) L(q(t), q(t)) = s q(t) + s q(t). (8.28)
q q
Inserting s q(t) from (8.27) we find, without using the Euler-Lagrange equation,
!
L L d
s L = q + q = L. (8.29)
q q dt
This has precisely the form of Eq. (8.12), with = L as expected, since time
translations are symmetry transformations. Here the function in (8.12) happens
to coincide with the Lagrangian.
According to Eq. (8.10), we find the Noether charge
L
Q= q L(q, q) (8.30)
q
L L L L
st L = q + (q + q) = + , (8.32)
q q
with
L L
= q (8.33)
q
and
L L L d
= q + q = L. (8.34)
q q dt
This shows that time translations fulfill the symmetry condition (8.23), and that
the Noether charge (8.24) coincides with the Hamiltonian found in Eq. (8.10).
624 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
This has the form (8.6), from which we extract a conserved Noether charge (8.7) for
each coordinate xi :
L
pi = . (8.41)
xi
These are simply the canonical momenta of the system.
The right-hand side yields the conserved Noether charges of type (8.7), one for each
antisymmetric pair i, j:
L L
Lij = xi j
xj i xi pj xj pi . (8.50)
x x
These are the antisymmetric components of angular momentum.
Had we worked with the original vector form of the rotation angles k , we would
have found the angular momentum in the more common form:
1
Lk = kij Lij = (x p)k . (8.51)
2
The quantum-mechanical operators associated with these, after replacing pi
i/xi , have the well-known commutation rules
where v i is the relative velocity along the ith axis. The infinitesimal symmetry
variations are
This is the well-known center-of-mass theorem [2]. Indeed, introducing the center-
of-mass coordinates
mn xn i
P
n
xiCM , (8.62)
n mn
P
x ( ), (8.67)
where x ( ) denotes the derivative with respect to the parameter . If the La-
grangian depends only on invariant scalar products x x , x x , x x , then it is
invariant under Lorentz transformations
x x = x , (8.69)
gT = g, (8.70)
L x ( )
p
= Mc q = Mcu , (8.75)
x
g x x
8.3 Momentum and Angular Momentum 629
Note the minus sign in the definition (8.75) of the canonical momentum with
respect to the nonrelativistic case. It is necessary to write Eq. (8.75) covariantly.
The derivative with respect to x transforms like a covariant vector with a subscript
, whereas the physical momenta are p .
For small Lorentz transformations near the identity we write
= + , (8.79)
where
= g (8.80)
is an arbitrary infinitesimal antisymmetric matrix. An infinitesimal Lorentz trans-
formation of the particle path is
s x ( ) = x ( ) x ( )
= x ( ). (8.81)
This has to be compared with the symmetry variation of the Lagrangian calculated
via the chain rule with the help of the Euler-Lagrange equation
! " #
L d L d L
s L =
s x + s x
x d x d x
" #
d L
= x
d x
!
1 d L L
= x x . (8.83)
2 d x x
630 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
By equating this with (8.82), we obtain the conserved rotational Noether charges
[containing again a minus sign as in (8.75)]:
L L
L = x + x = x p x p . (8.84)
x x
L i(x x ) (8.85)
The quantities Lij coincide with the earlier-introduced angular momenta (8.50).
The conserved components
L0i = x0 pi xi p0 Mi (8.87)
Mi = const. (8.88)
The charge derived in Section 7.2 from the invariance of the system under time
displacement is the most famous example for this property. The charge (8.30) is by
definition the Hamiltonian,
Q H,
whose operator version generates infinitesimal time displacements by the Heisenberg
equation of motion:
x(t) = i[H, x(t)]. (8.90)
This equation is obviously the same as (8.89).
To quantize the system canonically, we may assume the Lagrangian to have the
standard form
M 2
L(x, x) = x V (x), (8.91)
2
8.4 Generating the Symmetry Transformations 631
p2
H = + V (x). (8.92)
2M
Equation (8.90) is then a direct consequence of the canonical equal-time commuta-
tion rules
[p(t), x(t)] = i, [p(t), p(t)] = 0, [x(t), x(t)] = 0. (8.93)
The charges (8.41), derived in Section 7.3 from translational symmetry, are an-
other famous example. After quantization, the commutation rule (8.89) becomes,
with (8.38),
j = ii [pi (t), xj (t)]. (8.94)
This coincides with one of the canonical commutation relations (here it appears only
for time-independent momenta, since the system is translationally invariant).
The relativistic charges (8.75) of spacetime generate translations via
s xj = i x0 = ii [Mi , xj ],
s x0 = i xi = ii [Mi , x0 ]. (8.97)
[L , L ] = ig L . (8.99)
This follows directly from the canonical commutation rules (8.95) [i.e., (29.27)].
632 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
s (x) = (, , x) (8.101)
s L = , (8.102)
L
j = (8.104)
j (x) = 0. (8.105)
Then we invoke the Euler-Lagrange equation to remove the first term. Equating the
second term with (8.102), we obtain
!
L
j = 0. (8.107)
The relation between continuous symmetries and conservation is called Noethers
theorem [1].
Assuming all fields to vanish at spatial infinity, we can derive from the local law
(8.107) a global conservation law for the charge that is obtained from the spatial
integral over the charge density j 0 :
Z
Q(t) = d3 x j 0 (x, t). (8.108)
As before in Eq. (8.17), we calculate the Lagrangian density for a slightly trans-
formed field
(x) (x) + sx (x), (8.113)
calling it
L L( (t), (t)). (8.114)
The corresponding action differs from the original one by
L L L
Z (" # " #)
sx A = dx (x) + (x) . (8.115)
(x) (x) (x)
634 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
sx L
j = (8.118)
(x)
This would be identically equal to zero, due to local gauge invariance. We may,
however, subject just the matter field to a local gauge transformation at fixed gauge
fields. Then we obtain the correct current
L
j . (8.122)
em
Since the complete change under local gauge transformations sx L vanishes identi-
cally, we can alternatively vary only the gauge fields and keep the particle orbit
fixed:
L
j = . (8.123)
m
This is done most simply by forming the functional derivative with respect to the
em
gauge field, thereby omitting the contribution of L :
m
L
j = . (8.124)
An interesting consequence of local gauge invariance can be found for the gauge
field itself. If we form the variation of the pure gauge field action
em
em A
Z
s A = d4 x tr sx A , (8.125)
A
sx A = i (x), (8.126)
the right-hand side must vanish for all (x). After a partial integration this implies
the local conservation law j (x) = 0 for the current:
em
A
j (x) = i . (8.127)
A
In contrast to the earlier conservation laws derived for matter fields, which were valid
only if the matter fields obey the Euler-Lagrange equations, the current conservation
law for gauge fields is valid for all field configurations. It is an identity which we
may call Bianchi identity due to its close analogy with the Bianchi identities in
Riemannian geometry.
To verify the conservation of (12.63), we insert the Lagrangian (12.3) into (12.63)
and find j = F /2. This current is trivially conserved for any field configuration
due to the antisymmetry of F .
636 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
L = L(, ). (8.128)
x = x , (8.129)
(x ) = (x). (8.130)
This equation expresses the fact that the field has the same value at the same
absolute point in space and time, which in one coordinate system is labeled by the
coordinates x and in the other by x .
Under an infinitesimal translation of the field configuration coordinate, the La-
grangian density undergoes the following symmetry variation
is the symmetry variation of the fields. For the particular transformation (8.130)
the symmetry variation becomes simply
= L. (8.135)
We can now define a set of currents j , one for each . In the particular case at
hand, the currents j are denoted by , and read:
L
= L. (8.136)
8.6 Canonical Energy-Momentum Tensor 637
is independent of time.
The alternative derivation of the currents goes as follows. Introducing
sx (x) = (x) (x), (8.139)
we see that
sx (x) = (x) (x). (8.140)
On the other hand, the chain rule of differentiation yields
L L
sx L = (x) (x) + {[ (x)] + (x)} . (8.141)
(x) (x)
Hence
L L
= , (8.142)
(x)
and we obtain once more the energy-momentum tensor (8.136).
Note that (8.142) can also be written as
L L sx
= . (8.143)
(x) (x)
Since is a contravariant vector index, the set of currents forms a Lorentz
tensor called the canonical energy-momentum tensor . The component
L
0 0 = 0 L (8.144)
0
is recognized to be the Hamiltonian density in the canonical formalism.
8.6.1 Electromagnetism
As an important physical application of the field theoretic Noether theorem, consider
the free electromagnetic field with the action
1
L= F F , (8.145)
4c
where F are the components of the field strength F A A . Under a
translation in space and time from x to x , the vector potential undergoes a
similar change as in (8.130):
A (x ) = (x). (8.146)
638 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
As before, this equation expresses the fact that at the same absolute spacetime
point, which in the two coordinate frames is labeled once by x and once by x, the
field components have the same numerical values. The equation transformation law
(8.146) can be rewritten in an infinitesimal form as
s A (x ) A (x ) A (x )
= A (x + ) A (x ) (8.147)
= A (x ). (8.148)
s F = F , (8.149)
(x) = 0. (8.152)
( 0 , i ). ( 0 , i ), (8.156)
8.6 Canonical Energy-Momentum Tensor 639
i j = ij + iijk k , (8.159)
{ , } = 2g . (8.160)
x = x , (8.161)
the Dirac field transforms in the same way as the previous scalar and vector fields:
(x ) = (x), (8.162)
or infinitesimally:
s (x) = (x). (8.163)
The same is true for the Lagrangian density, where
L (x ) = L(x), (8.164)
and
s L(x) = L(x). (8.165)
Thus we obtain the Noether current
L
=
+ c.c. L, (8.166)
with the local conservation law
(x) = 0. (8.167)
xi = Ri j xj , (8.170)
the field does not change, if considered at the same space point, i.e.,
xi = ij xj , (8.173)
we see that
The right-hand side is a total derivative. In arriving at this result, the antisymmetry
of ij has been used twice: first for dropping the second term in the brackets, which
8.8 Four-Dimensional Angular Momentum 641
have no four-divergence
Lij, = 0. (8.180)
are called the total angular momenta of the field system. In terms of the canonical
energy-momentum tensor
L
= L, (8.182)
Lij, = xi j xj i . (8.183)
x = x = x + i i x + 0 i xi . (8.184)
x = x , (8.185)
1
Recall the similar argument after Eq. (8.48)
642 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
where ij = 0,
0i = i0 = i . (8.186)
With the tensor , the restricted Lorentz transformations and the infinitesimal
rotations can be treated on the same footing. The rotations have the form (8.185)
for the particular choice
ij = ijk k ,
0i = i0 = 0. (8.187)
s (x) = (x x ) (x)
= (x)x . (8.188)
s = (Lx ) , (8.189)
L, = 0. (8.192)
i d3 xi0 Pi
vCM = cR = c . (8.196)
d3 x 00 P0
L, = (x x )
= = 0. (8.198)
= . (8.199)
x = x , (8.200)
the vector field at the same point remains unchanged in absolute spacetime. How-
ever, since the components A refer to two different basic vectors in the different
frames, they must be transformed accordingly. Indeed, since A is a vector and
transforms like x , it must satisfy the relation characterizing a vector field:
A (x ) = A (x). (8.201)
644 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
s x = x , (8.202)
The first term is a spin transformation, the other an orbital transformation. The
orbital transformation can also be written in terms of the generators L of the
Lorentz group defined in (8.84) as
J L + L , (8.206)
s L = ( Lx ) . (8.209)
The last two terms have the same form as the current L, of the four-dimensional
angular momentum of the scalar field. Here they are the currents of the four-
dimensional orbital angular momentum:.
!
, L
L = A x Lx + ( ). (8.211)
A
L, = x x . (8.213)
L
, = i (L ) A . (8.215)
A
The two currents together,
Thus fields with a nonzero spin density have always a non-symmetric energy mo-
mentum tensor.
In general, the current density J , of total angular momentum reads
sx L
!
J , = Lx ( ). (8.222)
(x)
By the chain rule of differentiation, the derivative with respect to (x) can come
only from field derivatives, for a scalar field
sx L L sx
= , (8.223)
(x) (x)
and for a vector field
sx L L sx A
= . (8.224)
(x) A
The alternative rule of calculating angular momenta is to introduce spacetime-
dependent transformations
x x = (x)x , (8.225)
under which the scalar fields transform as
s = (x)x , (8.226)
where D() are the 4 4 spinor representation matrices of the Lorentz group. Their
matrix elements can most easily be specified for infinitesimal transformations. For
an infinitesimal Lorentz transformation
= + , (8.229)
s x = x , (8.230)
L (x ) = L(x). (8.234)
s L = ( Lx ) . (8.235)
As before in (8.211) and (8.191), the orbital part of (8.236) can be expressed in
terms of the canonical energy-momentum tensor as
L, = x x . (8.237)
T = + , (8.240)
that is symmetric, while still having the fundamental property of that its spatial
integral P = d3 x T 0 yields the total energy-momentum vector of the system.
R
and for = i, = j:
1Z 3 h i 0k,j
i Z
d x x k (j0,k
+ ) (i j) = d3 x ij,0 .
kj,0
(8.246)
2
The right-hand sides are the contributions of spin to the total angular momentum.
For the electromagnetic field, the spin current (8.214) reads explicitly
1 h i
, = F A ( ) . (8.247)
c
From this we calculate the Belinfante correction
1
= [ (F A F A ) (F A F A ) + (F A F A )]
2c
1
= (F A ). (8.248)
c
Adding this to the canonical energy-momentum tensor (8.153)
1 1
= (F A g F F ), (8.249)
c 4
we find the symmetric energy-momentum tensor
1 1 1
T = (F F g F F ) + ( F )A . (8.250)
c 4 c
The last term vanishes due to the free Maxwell field equations, F = 0. Therefore
it can be dropped. Note that the proof of the symmetry of T involves the field
equations via the divergence equation (8.219).
It is useful to see what happens to Belinfantes energy-momentum tensor in the
presence of an external current, i.e., if T is calculated from the Lagrangian
1 1
L= F F 2 j A , (8.251)
4c c
with an external current. The energy-momentum tensor is
1 1 1
= F A g F F + 2 g j A , (8.252)
c 4 c
650 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
generalizing (8.25).
The spin current is the same as before, and we find Belinfantes energy-
momentum tensor [4]:
1
T = + (F A ) (8.253)
c
1 1 1 1
= (F F g F F ) + 2 g j A + ( F )A .
c 4 c c
Using Maxwells equations F = j , the last term can also be rewritten as
1
j A . (8.254)
c
This term prevents T from being symmetric, unless the current j vanishes.
s h = h + h . (8.259)
8.11 Internal Symmetries 651
, = 2 ( ) = 2 [ h ( )] . (8.260)
h
Combining the two results according to Belinfantes formula (4.57), we obtain the
symmetric energy-momentum tensor
f
c
T = hc ( h h h d + h h h ) L.
(8.261)
Using the field equation = 0 and the Hilbert gauge (4.399) with = 0,
this takes the simple form in :
1 1
f
T = 2 . (8.262)
8 2
where G are the generators of some Lie group and the associated transformation
parameters. The field may have several indices on which the generators G act as
a matrix. The symmetry variation associated with (8.263) is obviously
Indeed:
s L = 0. (8.266)
The Euler-Lagrange equation removes the first part of this, and inserting (8.265) we
find by comparison with (8.266) that
L
j = (8.268)
is a conserved current.
For a free relativistic complex scalar field with a Lagrangian density
L(x) = m2 (8.269)
we have to add the contributions of real and imaginary parts of the field in formula
(8.268). Then we obtain the conserved current
j = i (8.270)
where denotes the left-minus-right derivative:
( ). (8.271)
For a free Dirac field, we find from (8.268) the conserved current
8.11.2 SU(N)-Symmetry
For more general internal symmetry groups, the symmetry variations have the form
s = ii Gi , (8.273)
L
ji = i Gi . (8.274)
8.12 Generating the Symmetry Transformations of Quantum Fields 653
where (x) L(x)/ (x) is the canonical momentum of the field (x). After
quantization, these fields satisfy the canonical commutation rules:
From this we derive directly the commutation rule between the quantized charges
(8.278) and the field (x):
We also find that the commutation rules among the quantized charges are
Since these coincide with those of the matrices Gi , the operators Qi are seen to form
a representation of the generators of the symmetry group in the Fock space.
654 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
which is correct thanks to the validity of the canonical commutation relations (8.93)
at arbitrary equal times, also in the presence of a potential.
Other important examples are the commutation rules of the conserved charges
associated with the Lorentz generators (8.237):
Z
J d3 xJ ,0 (x), (8.283)
which are the same as those of the 4 4-matrices (8.205), and those of the quantum
mechanical generators (8.85):
[J , J ] = ig J . (8.284)
associated with orbital and spin rotations. According to (8.221), the individual
charges are time-dependent. Only their sum is conserved. Nevertheless, they both
generate Lorentz transformations: L (t) on the spacetime argument of the fields,
and (t) on the spin indices. As a consequence, they both satisfy the commutation
relations (8.284):
[L , L ] = ig L ,
[ , ] = ig . (8.285)
We can then derive for point particles local conservation laws that look very similar
to those for fields. Instead of doing this from scratch, however, we shall simply take
the already known global conservation laws and convert them into the local ones by
inserting appropriate -functions with the help of the trivial identity
Z
d4 x (4) (x x( )) = 1. (8.287)
Consider for example the conservation law (8.74) for the momentum (8.75). With
the help of (8.287) this becomes
" #
d
Z Z
4
0= dx d p ( ) (4) (x x( )). (8.288)
d
Note that the boundaries of the four volume in this expression contain the infor-
mation on initial and final times. We now perform a partial integration in , and
rewrite (8.288) as
d h
Z Z i Z Z
4 (4) 4
0= dx d p ( ) (x x( )) + d x d p ( ) (4) (x x( )).
d
(8.289)
The first term vanishes if the orbits come from and disappear into infinity. The
second term can be rewritten as
Z Z
4 (4)
0= d x d p ( )x ( ) (x x( )) . (8.290)
(x) = 0. (8.292)
The total momenta are obtained from the spatial integrals over 0 :
Z
P (t) d3 x 0 (x). (8.293)
For point particles, they coincide with the canonical momenta p (t). If the La-
grangian depends only on the velocity x (t) and not on the position x (t), the
momenta p (t) are constants of motion: p (t) p .
The Lorentz invariant quantity
M 2 = P 2 = g P P (8.294)
is called the total mass of the system. For a single particle it coincides with the
mass of the particle.
Subjecting the orbits x ( ) to Lorentz transformations according to the rules of
the last section we find the currents of the total angular momentum
L, x x , (8.295)
L, = 0. (8.296)
A spatial integral over the zeroth component of the current L, yields the conserved
charges: Z
L (t) d3 x L,0 (x) = x p (t) x p (t).
(8.297)
By varying the action in the particle orbits, we obtain the Lorentz equation of motion
dp e
= F x ( ). (8.299)
d c
We now vary the action in the vector potential, and find the Maxwell-Lorentz equa-
tion
e
F = x ( ). (8.300)
c
The action (8.298) is invariant under translations of the particle orbits and the
electromagnetic fields. The first term is obviously invariant, since it depends only
8.14 Energy Momentum Tensor of a Massive Charged Particle in a Maxwell Field 657
on the derivatives of the orbital variables x ( ). The second term changes under
translations by a pure divergence [recall (8.134)]. The interaction term also changes
by a pure divergence, which is seen as follows: Since the symmetry variation changes
the coordinates as x ( ) x ( ) , and the field A (x ) is transformed as follows:
A (x ) A (x ) = A (x + ) = A (x ) + A (x ), (8.301)
We now calculate the same variation once more using the equations of motion.
This gives
em
d Lm L
Z Z
4
s A = d s x + d x s A . (8.303)
d x A
The first term can be treated as in (8.289)(8.290), after which it acquires the form
d e e d
Z Z Z
d p + A = d4 x p + A (4) (x x( )
d
d c c d
Z
e d (4)
Z
4
+ dx d p + A (x x( )), (8.304)
c d
and thus, after dropping boundary terms,
d e e dx (4)
Z Z Z
d (p + A ) = d4 x d p + A (x x( )). (8.305)
d c c d
The electromagnetic part is the same as before, since the interaction contains no
derivative of the gauge field. In this way we find the canonical energy-momentum
tensor
e
Z
(x) = d p + A x ( ) (4) (x x( ))
c
1 1
F A g F F . (8.306)
c 4
Let us check its conservation by calculating the divergence:
e Z
(x) = d p + A x ( ) (4) (x x( ))
c
1 1 1
F A F A (F F ) . (8.307)
c c 4
The first term is, up to a boundary term, equal to
" #
e d (4) d e
Z Z
d p + A
(x x( )) = d p + A (4) (x x( )).(8.308)
d d c
658 8 Continuous Symmetries and Conservation Laws. Noethers Theorem
thus canceling the corresponding term in (8.306). In this way we find that the total
energy-momentum tensor of charged particles plus electromagnetic fields is simply
the sum of the two symmetric energy-momentum tensors:
m em
T = T + T
1 1 1
Z
= d u u (4) (x x( )) F F g F F . (8.318)
m c 4
For completeness, let us also cross-check its conservation:
T = 0. (8.319)
Indeed, forming the divergence of the first term gives [in contrast to (8.309)]
e
Z
d x ( )F (x( )), (8.320)
c
which is canceled by the divergence in the second term [in contrast to (8.312)]
1 e
Z
F F = d x ( )F (x( )). (8.321)
c c
[1] E. Noether, Nachr. d. vgl. Ges. d. Wiss. Gottingen, Math-Phys. Klasse, 2, 235 (1918);
See also
E. Bessel-Hagen, Math. Ann. 84, 258 (1926);
L. Rosenfeld, Me. Acad. Roy. Belg. 18, 2 (1938);
F. Belinfante, Physica 6, 887 (1939).
[2] S. Coleman and J.H. VanVleck, Phys. Rev. 171, 1370 (1968).
[3] This property is important for being able to construct a consistent quantum mechanics in
spacetime with torsion. See the textbook
H. Kleinert, Path Integrals in Quantum Mechanics Statistics, Polymer Physics, and Finan-
cial Markets, World Scientific, Singapore 2008 (http://klnrt.de/b5).
[4] The Belinfante energy-momentum tensor is discussed further in
H. Kleinert, Gauge Fields in Condensed Matter , Vol. II Stresses and Defects, World Sci-
entific Publishing, Singapore 1989, pp. 7441443 (http://klnrt.de/b2).
H. Kleinert, Multivalued Fields in Condensed Matter, Electromagnetism, and Gravitation,
World Scientific, Singapore 2009, pp. 1497 (http://klnrt.de/b11).