Professional Documents
Culture Documents
3
4 CONTENTS
4 Dirac Field 75
4.1 Probability & Current . . . . . . . . . . . . . . . . . . . . . . 77
4.2 Bilinear Covariants . . . . . . . . . . . . . . . . . . . . . . . . 78
4.3 Negative Energy and Antiparticles . . . . . . . . . . . . . . . 79
4.3.1 Schrodinger Equation . . . . . . . . . . . . . . . . . . 79
4.3.2 Klein-Gordon Equation . . . . . . . . . . . . . . . . . 80
4.3.3 Dirac Equation . . . . . . . . . . . . . . . . . . . . . . 82
4.4 Free Particle Solutions of Dirac Equation . . . . . . . . . . . 83
4.5 Classical Dirac Field . . . . . . . . . . . . . . . . . . . . . . . 87
4.5.1 Noether spacetime current . . . . . . . . . . . . . . . . 87
4.5.2 Noether internal symmetry and charge . . . . . . . . . 87
4.5.3 Fourier expansion and momentum space . . . . . . . . 87
4.6 Dirac QFT . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.6.1 Derivation of b, b† , d, d† Anticommutators . . . . . . . 88
4.7 Pauli Exclusion Principle . . . . . . . . . . . . . . . . . . . . 88
4.8 Hamiltonian, Momentum and Charge in terms of creation and
annihilation operators . . . . . . . . . . . . . . . . . . . . . . 88
CONTENTS 5
4.8.1 Hamiltonian . . . . . . . . . . . . . . . . . . . . . . . . 88
4.8.2 Momentum . . . . . . . . . . . . . . . . . . . . . . . . 88
4.8.3 Angular Momentum . . . . . . . . . . . . . . . . . . . 88
4.8.4 Charge . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.9 Propagator theory . . . . . . . . . . . . . . . . . . . . . . . . 88
4.10 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.10.1 Dirac equation summary . . . . . . . . . . . . . . . . . 88
4.10.2 Classical Dirac field . . . . . . . . . . . . . . . . . . . 88
4.10.3 Dirac QFT . . . . . . . . . . . . . . . . . . . . . . . . 88
4.10.4 Propagator theory . . . . . . . . . . . . . . . . . . . . 88
4.11 References and Notes . . . . . . . . . . . . . . . . . . . . . . . 88
5 Electromagnetic Field 89
5.1 Review of Classical Electrodynamics . . . . . . . . . . . . . . 89
5.1.1 Maxwell equations in tensor notation . . . . . . . . . . 89
5.1.2 Gauge theory . . . . . . . . . . . . . . . . . . . . . . . 89
5.1.3 Coulomb Gauge . . . . . . . . . . . . . . . . . . . . . 89
5.1.4 Lagrangian for EM field . . . . . . . . . . . . . . . . . 89
5.1.5 Polarization vectors . . . . . . . . . . . . . . . . . . . 89
5.1.6 Linear polarization vectors in Coulomb gauge . . . . . 91
5.1.7 Circular polarization vectors . . . . . . . . . . . . . . 91
5.1.8 Fourier expansion . . . . . . . . . . . . . . . . . . . . . 91
5.2 Quantized Maxwell field . . . . . . . . . . . . . . . . . . . . . 91
5.2.1 Creation & annihilation operators . . . . . . . . . . . 91
5.3 Photon propagator . . . . . . . . . . . . . . . . . . . . . . . . 91
5.4 Gupta-Bleuler quantization . . . . . . . . . . . . . . . . . . . 91
5.5 Proca field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7 QED 103
7.1 QED Lagrangian . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.2 QED S-matrix . . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.2.1 First order S-matrix . . . . . . . . . . . . . . . . . . . 103
7.2.2 Second order S-matrix . . . . . . . . . . . . . . . . . . 104
7.2.3 First order S-matrix elements . . . . . . . . . . . . . . 106
7.2.4 Second order S-matrix elements . . . . . . . . . . . . . 107
7.2.5 Invariant amplitude and lepton tensor . . . . . . . . . 107
7.3 Casimir’s trick & Trace theorems . . . . . . . . . . . . . . . . 107
7.3.1 Average over initial states / Sum over final states . . . 107
7.3.2 Casimir’s trick . . . . . . . . . . . . . . . . . . . . . . 107
Chapter 1
1.1 Units
We start with the most basic thing of all, namely units and concentrate
on the units most widely used in particle physics and quantum field the-
ory (natural units). We also mention the units used in General Relativity,
because these days it is likely that students will study this subject as well.
Some useful quantities are [PPDB]:
h̄ ≡ 2π
h
= 1.055 × 10−34 J sec = 6.582 × 10−22 M eV sec
c = 3 × 108 sec
m
.
1 eV = 1.6 × 10−19 J
h̄c = 197M eV f m
1f m = 10−15 m
1barn = 10−28 m2
1mb = .1f m2
7
8 CHAPTER 1. LAGRANGIAN FIELD THEORY
⇒ sec = 3 × 1010 cm
We can now derive the other conversion factors for natural units, in which h̄
is also set equal to unity. Once the units of length and time are established,
one can deduce the units of mass from E = mc2 . These are
(The exact values of c and h̄ are listed in the [Particle Physics Booklet] as
c = 2.99792458 × 108 m/sec and h̄ = 1.05457266 × 10−34 Jsec= 6.5821220 ×
10−25 GeV sec. )
1.1. UNITS 9
Natural units are also often used in cosmology and quantum gravity
[Guidry 514] with G given above as G = M12 .
Pl
10 CHAPTER 1. LAGRANGIAN FIELD THEORY
Solution
sec = 3 × 1010 cm
g = 7.4 × 10−29 cm
It is important to realize that geometrical and natural units are not com-
patible. In natural units c = h̄ = 1 and we deduce that G = M12 as
Pl
in a previous Example. In geometrical units c = G = 1 we deduce that
h̄ = 2.6 × 10−66 cm2 . (see Problems) Note that in these units h̄ = L2P l where
LP l ≡ 1.6 × 10−33 cm. In particle physics, gravity becomes important when
energies (or masses) approach the Planck mass MP l . In gravitation (General
Relativity), quantum effects become important at length scales approaching
LP l .
1.2. COVARIANT AND CONTRAVARIANT VECTORS 11
~
Aµ = (Ao , Ai ) = (Ao , A)
Covariant vectors are formed by “lowering” the indices with the metric ten-
sor as in
~
Aµ = gµν Aν = (Ao , Ai ) = (Ao , −Ai ) = (Ao , −A)
noting that
Ao = Ao
Thus
~
Aµ = (Ao , A) ~
Aµ = (Ao , −A)
∂ ∂ ∂ ∂ ~
≡ ∂µ = (∂o , ∂i ) = ( o , i ) = ( , 5)
∂xµ ∂x ∂x ∂t
The contravariant operator ∂ µ is given by
∂ ∂ ∂ ∂ ∂ ∂ ~
≡ ∂ µ = (∂ o , ∂ i ) = g µν ∂ν = ( , ) = ( o , − i ) = ( , −5)
∂xµ ∂xo ∂xi ∂x ∂x ∂t
Thus
∂ ~ ~
∂µ = ( ∂t , 5) ∂
∂ µ = ( ∂t , −5)
12 CHAPTER 1. LAGRANGIAN FIELD THEORY
and
∂2
∂ 2 ≡ ∂µ ∂ µ ≡ 22 = − 52 (1.1)
∂t2
Finally, note that with our 4-vector notation, the usual quantum mechanical
replacements
~
pi → ih̄∂ i ≡ −ih̄5
and
∂
po → ih̄∂ o = ih̄
∂t
can be succintly written as
pµ → ih̄∂ µ
giving (with h̄ = 1)
p2 → −22
Let us define the Lagrangian L(qi , q̇i ) ≡ T − U where T is the kinetic energy.
In freshman physics T = T (q̇i ) = 12 mq̇i2 and U = U (qi ) such as the harmonic
oscillator U (qi ) = 12 kqi2 . That is in freshman physics T is a function only
of velocity q̇i and U is a function only of position qi . Thus L(qi , q̇i ) =
T (q̇i ) − U (qi ). It follows that ∂q
∂L
i
= − dq
dU
i
and ∂∂L dT
q̇i = dq̇i = mq̇i = pi . Thus
Newton’s law is
dpi
Fi =
dt
∂L d ∂L
= ( )
∂qi dt ∂ q̇i
with the canonical momentum defined as
∂L
pi ≡
∂ q̇i
The next to previous equation is known as the Euler-Lagrange equation of
motion and serves as an alternative formulation of mechanics [Goldstein]. It
is usually written
d ∂L ∂L
( )− =0
dt ∂ q̇i ∂qi
or just
∂L
ṗi =
∂qi
We have obtained the Euler-Lagrange equations using simple arguments.
A more rigorous derivation is based on the calculus of variations [Ho-Kim47,
Huang54,Goldstein37, Bergstrom284] as follows.
In classical point particle mechanics the action is
Z t2
S≡ L(qi , q̇i , t)dt
t1
subject to the constraint δqi (t1 ) = δqi (t2 ) = 0. The subsequent variation in
the action is (assuming that L is not an explicit function of t)
Z t2 ∂L ∂L
δS = ( δqi + δ q̇i )dt = 0
t1 ∂qi ∂ q̇i
d
with δ q̇i = dt δqi and integrating the second term by parts yields
Z Z
∂L ∂L
δ q̇i dt = d(δqi ) (1.2)
∂ q̇i ∂ q̇i
Z
∂L t2 ∂L
= δqi |t1 − δqi d( )
∂ q̇i ∂ q̇i
Z
d ∂L
= 0 − δqi ( )dt
dt ∂ q̇i
where the boundary term has vanished because δqi (t1 ) = δqi (t2 ) = 0. We
are left with
Z t2 · ¸
∂L d ∂L
δS = − ( ) δqi dt = 0
t1 ∂qi dt ∂ q̇i
which is true for an arbitrary variation δqi indicating that the integral must
be zero, which yields the Euler-Lagrange equations.
which again is clearly not covariant. A covariant form of the action would
involve a Lagrangian density L via
Z Z
S≡ Ld4 x = Ld3 xdt
R
where L = L(φ, ∂µ φ) and with L ≡ Ld3 x. The term − ∂q ∂L
i
in the Euler-
Lagrange equation gets replaced by the covariant term − ∂φ(x) . Any time
∂L
d
derivative dt should be replaced with ∂µ ≡ ∂x∂ µ which contains space as well
as time derivatives. Thus one can guess that the covariant generalization of
the point particle Euler-Lagrange equation is
∂L ∂L
∂µ − =0
∂(∂µ φ) ∂φ
which is the covariant Euler-Lagrange equation for a field φ. If there is more
than one scalar field φi then the Euler-Lagrange equations are
∂µ ∂(∂∂L
µ φi )
− ∂L
∂φi =0
To derive the Euler-Lagrange equations for a scalar field [Ho-Kim48, Gold-
stein548], consider an arbitrary variation of the field [Schwabl 263; Ryder
83; Mandl & Shaw 30,35,39; BjRQF13]
φ(x) → φ0 (x) ≡ φ(x) + δφ(x)
16 CHAPTER 1. LAGRANGIAN FIELD THEORY
again with δφ = 0 at the end points. The variation of the action is (assuming
that L is not an explicit function of x)
Z " #
X2 ∂L ∂L
δS = δφ + δ(∂µ φ) d4 x = 0
X1 ∂φ ∂(∂µ φ)
where X1 and X2 are the 4-surfaces over which the integration is performed.
We need the result
∂
δ(∂µ φ) = ∂µ δφ = δφ
∂xµ
which comes about because δφ(x) = φ0 (x) − φ(x) giving
which holds for arbitrary δφ, implying that the integrand must be zero,
yielding the Euler-Lagrange equations.
In analogy with the canonical momentum in point particle mechanics,
we define the covariant momentum density
∂L
Πµ ≡
∂(∂µ φ)
Tµν ≡ Πµ ∂ν φ − gµν L
1.4. CLASSICAL FIELD THEORY 17
H ≡ T00 = Πφ̇ − L
In order to illustrate the foregoing theory we shall use the example of the
classical, massive Klein-Gordon field.
2
(Note that some authors [Muirhead] define 22 ≡ 52 − ∂t ∂
2 dif-
ferent from (1.1), so that they write the Klein-Gordon equation
as (22 − m2 )φ = 0 or (p2 + m2 )φ = 0.)
C) The energy momentum tensor is
Tµν ≡ Πµ ∂ν φ − gµν L
= ∂µ φ∂ν φ − gµν L
1
= ∂µ φ∂ν φ − gµν (∂α φ∂ α φ − m2 φ2 )
2
1 1 1
H = φ̇2 + (5φ)2 + m2 φ2
2 2 2
1 2
= [Π + (5φ)2 + m2 φ2 ]
2
φr (x) or ψr (x) because the latter notations might make us think of scalar
or spinor fields. The notation ηr (x) is completely general and can refer to
scalar, spinor or vector field components.
We wish to consider how the Lagrangian and action change under a
coordinate transformation
xµ → x0µ ≡ xµ + δxµ
with
L(x) ≡ L(η(x), ∂ µ η(x), x)
∂η(x)
where ∂ µ η(x) ≡ ∂xµ and 1
0
L0 (x0 ) ≡ L(η 0 (x0 ), ∂ µ η 0 (x0 ), x0 )
0 0 0
(Note: no prime on L on right hand side) where ∂ µ η 0 (x0 ) ≡ ∂η∂x(x0 )
µ
Notice that the variations defined above involve two transformations,
namely the change in coordinates from x to x0 and also the change in the
shape of the function from η to η 0 .
However there are other transformations (such as internal symmetries or
gauge symmetries) that change the shape of the wave function at a single
point. Thus the local variation is defined as (same as before)
with ∂ν 0 ≡ ∂x∂0ν
The assumption of form invariance [Goldstein 589] says that the Lagrangian has the same
functional form in terms of the transformed quantities as it does in the original quantities,
namely
L0 (ηr0 (x0 ), ∂ν 0 ηr0 (x0 ), x0 ) = L(ηr0 (x0 ), ∂ν 0 ηr0 (x0 ), x0 )
20 CHAPTER 1. LAGRANGIAN FIELD THEORY
∂η(x0 )
η(x0 ) − η(x) ≈ (x0 − x) | 0
∂x0 x =x
∂η ∂η
≡ (x0 − x) = δx
∂x ∂x
Thus
∂ηr0
δηr (x) = ∆ηr (x) − δxµ
∂xµ
To lowest order ηr0 ≈ ηr . We do this because the second term is second order
involving both ∂η 0 and δxµ . Thus finally we have the relation between the
total and local variations as (to first order)
∂ηr
δηr (x) = ∆ηr (x) − δxµ
∂xµ
∂ ∂η(x)
δη(x) = δ
∂xµ ∂xµ
1.5. NOETHER’S THEOREM 21
Note that this δS is defined differently to the δS that we used in the deriva-
tion of the Euler-Lagrange equations. Using L0 (x0 ) ≡ L(x) + ∆L(x) gives
Z Z Z
δS ≡ d4 x0 ∆L(x) + d4 x0 L(x) − d4 x L(x) = 0
Ω0 Ω0 Ω
2
Combining both form invariance and scale invariance gives [Goldstein 589]
Z Z
δS ≡ S 0 − S = d4 x0 L(ηr0 (x0 ), ∂ν 0 ηr0 (x0 ), x0 ) − d4 x L(ηr (x), ∂ν ηr (x), x) = 0
Ω0 Ω
0
RIn the4 first integral
0
x is just aRdummy variable so that
0
Ω0
d x L(ηr (x), ∂ν ηr (x), x) − Ω d x L(ηr (x), ∂ν ηr (x), x) = 0
4
¯ ¯
¯ ∂δx0 ∂δx0 ¯
¯ 0 µ¯ ¯ 1 + ∂x0 ... ¯
¯ ∂x ¯ ¯ ∂x1 ¯
¯ .. ¯ 4
d4 x0 = ¯¯ ν ¯¯ d4 x = ¯ ∂δx
1 1
1 + ∂δx . ¯d x
∂x ¯ ∂x 0 ∂x1 ¯
¯ .. ∂δx3 ¯
¯ . ... 1+ ¯
∂x3
∂δxµ 4
= (1 + )d x
∂xµ
to first order only. Thus the variation in the action becomes
Z Z Z
∂δxµ 4 ∂δxµ 4
δS = (1 + )d x ∆L(x) + (1 + )d x L(x) − d4 x L(x)
Ω ∂xµ Ω ∂xµ Ω
Z Z
∂δxµ
= 4
d x ∆L(x) + d x L(x) 4
Ω Ω ∂xµ
µ
to first order. The second order term ∂δx
∂xµ ∆L(x) has been discarded. Using
the relation between local and total variations gives
Z Z
∂L ∂δxµ
δS = d4 x (δL(x) +
µ
δxµ ) + d4 x L(x)
Ω ∂x Ω ∂xµ
Z
∂
= d4 x {δL(x) + µ [L(x)δxµ ]}
Ω ∂x
Recall that L(x) ≡ L(ηr (x), ∂ µ ηr (x)). Now express the local variation δL in
terms of total variations of the field as
∂L ∂L
δL = δηr + δ(∂ µ ηr )
∂ηr ∂(∂ µ ηr )
∂L
= ” + ∂ µ δηr
∂(∂ µ ηr )
Note: the summation convention is being used for both µ and r. This ex-
pression for δL is substituted back into δS = 0, but because the region of
1.5. NOETHER’S THEOREM 23
integration is abritrary, the integrand itself has to vanish. Thus the inte-
grand is
· ¸ · ¸
∂L ∂L ∂L
− ∂µ µ
δηr + ∂ µ δηr + Lδxµ = 0
∂ηr ∂(∂ ηr ) ∂(∂ µ ηr )
The first term is just the Euler-Lagrage equation which vanishes. For ηr
use the relation between local and total variations, so that the second term
becomes · µ ¶ ¸
∂L ∂ηr
∂ µ
∆ηr − δxν + Lδxµ = 0
∂(∂ µ ηr ) ∂xν
which is the continuity equation
∂ µ jµ = 0
with [Schwabl 270]
· ¸
∂L ∂L
jµ ≡ µ
∆ηr − ∂ν ηr − gµν L δxν
∂(∂ ηr ) ∂(∂ µ ηr )
∂L
≡ ∆ηr − Tµν δxν
∂(∂ µ ηr )
such that
dQ
=0
dt
Thus we have j0 (x) is just the charge density
j0 (x) ≡ ρ(x)
This leads us to the statement,
Noether’s Theorem: Each continuous symmetry transformation
that leaves the Lagrangian invariant is associated with a con-
served current. The spatial integral over this current’s zero com-
ponent yields a conserved charge. [Mosel 16]
24 CHAPTER 1. LAGRANGIAN FIELD THEORY
with
dP ν
=0
dt
The above expression for Tµν is the same result we obtained before where
we wrote
Tµν = πµ ∂ν φ − gµν L (1.4)
with
∂L
πµ = (1.5)
∂(∂ µ φ)
1.6. SPACETIME SYMMETRIES 25
δxµ = ²µ ν xν
δφ = ²µ ν xν ∂µ φ
δ∂ρ φ = ²µ ν xν ∂µ ∂ρ φ
Now repeat same step as before, and we get the conserved current
Mρµν = T ρν xµ − T ρµ xν
with
∂ρ Mρµν = 0
and the conserved charge
Z
M µν
= d3 x M0µν
with
d µν
M =0
dt
d ij
For rotations in 3-d space, the dt M = 0 corresponds to conservation of
angular momentum.
26 CHAPTER 1. LAGRANGIAN FIELD THEORY
[Xi , Xj ] = i fijk Xk
giving
δη(x) = η 0 (x) − η(x) = i²i Xi η(x)
Consider the Dirac equation (i ∂/ − m)ψ = 0 with 4-current, j µ = ψ̄γ µ ψ.
This is derived from the Lagrangian L = ψ̄(i ∂/ − m)ψ where ψ̄ ≡ ψ † γ 0 .
Now, for αi = constant, the Dirac Lagrangian L is invariant under the
transformation ψ → ψ 0 = eiαi Xi ψ. This is the significance of group theory
in quantum mechanics. Noether’s theorem now tells us tht we can find a
corresponding conserved charge and conserved current.
The Noether current, with δxν = 0 and therefore δη(x) = ∆η(x) [Schw-
abl 272], is
∂L
jµ = δηr
∂(∂ µ ηr )
∂L
= i²i Xi ηr
∂(∂ µ ηr )
1.7. INTERNAL SYMMETRIES 27
and again dropping off the constant factor ²i define a new curent (and throw
in a minus sign so that we get a positive current in the example below)
∂L
jiµ = − i Xi ηr
∂(∂µ ηr )
∂µ jiµ = 0
Example Calculate jiµ for the isospin transformation eiαi Xi for the Dirac
Lagrangian L = ψ̄(i ∂/ − m)ψ ≡ ψ̄(iγ µ ∂µ − m)ψ
Solution
∂L
jiµ = − iXi ψ
∂(∂µ ψ)
and
∂L
= ψ̄ i γ µ
∂(∂µ ψ)
giving
jiµ = −iψ̄γ µ iXi ψ
or
jiµ = ψ̄γ µ Xi ψ
U (θ) = eiθq
j µ = q ψ̄γ µ ψ
where J µ = (ρ, ~j ) = ψ̄γ µ ψ is just the probability current for the Dirac
equation. The conserved charge is [Mosel 17,34]
Z Z
3 0
Q = d xj = q d3 x ψ̄ γ 0 ψ
Z
= q d3 x ρ
1.8 Summary
1.8.1 Covariant and contravariant vectors
Contravariant and covariant vectors and operators are
~
Aµ = (Ao , A) ~
Aµ = (Ao , −A)
and
∂ ~ ~
∂µ = ( ∂t , 5) ∂
∂ µ = ( ∂t , −5)
∂µ ∂(∂∂L
µ φi )
− ∂L
∂φi =0
The covariant momentum density is
∂L
Πµ ≡
∂(∂µ φ)
and the canonical momentum is
∂L
Π ≡ Π0 =
∂ φ̇
30 CHAPTER 1. LAGRANGIAN FIELD THEORY
Tµν ≡ Πµ ∂ν φ − gµν L
H ≡ T00 = Πφ̇ − L
∂L
jµ ≡ ∆ηr − Tµν δxν
∂(∂ µ ηr )
with
∂L
Tµν ≡ ∂ν ηr − gµν L
∂(∂ µ ηr )
The conserved ( dQ
dt = 0) charge is
Z
Q≡ d3 x j0 (x)
j0 (x) ≡ ρ(x)
ν
where dP
dt = 0.
For internal symmetries the group elements can be written
where
[Xi , Xj ] = i fijk Xk
The group elements act on wave functions
η → η 0 = eiαi Xi η ≈ (1 + i²i Xi )η
giving
δη = η 0 − η = i²i Xi η
The Noether current, for an internal symmetry (δxν = 0 and therefore
δη = ∆η) becomes
∂L
jiµ = − i Xi ηr
∂(∂µ ηr )
For the Dirac Lagrangian, invariant under eiαi Xi , with αi = constant,
this becomes
jiµ = ψ̄γ µ Xi ψ
32 CHAPTER 1. LAGRANGIAN FIELD THEORY
This metric is used throughout the present book and is also used by the
following authors: [Greiner, Aitchison & Hey, Kaku, Peskin & Schroeder,
Ryder, Bjorken and Drell, Mandl & Shaw, Itzykson & Zuber, Sterman,
Chang, Guidry, Griffiths, Halzen & Martin and Gross].
Another less commonly used metric is
1 0 0 0
0 −1 0
0
ηµν =
0 0 −1 0
0 0 0 −1
This metric is not used in the present book, but it is used by [Weinberg and
Muirhead].
The best references for the classical field ELE and Noether’s theorem
are [Schwabl, Ryder]
Chapter 2
2.2 SO(2)
In SO(2) the invariant is x2 + y 2 . We write
à ! à !à !
x0 cos θ sin θ x
=
y0 sin θ cosθ y
or
0
xi = Oij xj
δx = θy and δy = −θx
or
δxi = θ²ij xj
33
34 CHAPTER 2. SYMMETRIES & GROUP THEORY
< α0 |=< α| U †
To conserve the norm, we impose
¯ ¯
< α0 ¯β 0 >=< α¯ β >
This gives
< O >=< α|O|α >=< α|U † O0 U |α >
giving the transformation rule for the operator as
O = U † O0 U
or
O0 = U OU †
To summarize, if a quantum state transforms as [Elbaz 192]
ψ0 = U ψ
or
|α0 >= U |α >
then an operator transforms as
O0 = U OU †
Fields can be grouped into different categories [Mosel 21] according to their
behavior under general Lorentz transformations, which include spatial rota-
tion, Lorentz boost transformations and also the discrete transformations of
space reflection, time reversal and space-time reflection. The general Lorentz
transformation is written [Mosel 21, Kaku 50]
but let’s write it more generally (in case we consider other transformations)
Λµν or aµν for rotation, boost, space inversion is very nicely discussed in
[Ho-Kim 19-22]. A scalar field transforms under (2.1) or (2.2) as
φ0 (x0 ) = φ(x)
[Mosel 21; Ho-Kim 26; Greiner 95, 96]. Now if φ(x) is an operator then its
transformation is also written as [Greiner 96, Kaku 38]
φ0 (x0 ) = U φ(x0 )U †
37
38 CHAPTER 3. FREE KLEIN-GORDON FIELD
E =T +m
and
E 2 = p 2 + m2
giving q
T = p2 + m2 − m
~ the relativistic version of the free particle
With the replacement p~ → −ih̄∇,
(U = 0) Schrodinger equation would be (T̂ ψ = Eb ψ)
µq ¶
−h̄ 2
∇2 + m2 − m ψ = Eb ψ
(−h̄2 ∇2 + m2 )φ = E 2 φ
∂2
= −h̄2 φ
∂t2
or (with h̄ = c = 1, see Halzen & Martin, pg. 12, 13; Aitchison & Hey, pg.
526-528)
φ̈ − ∇2 φ + m2 φ = 0
Recall the wave equation (with y 00 ≡ ∂ 2 y/∂x2 , ÿ ≡ ∂ 2 y/∂t2 )
1
y 00 − ÿ = 0
c2
where c is the wave velocity. Thus the KGE (c 6= 1) is (with ∇2 = ∂ 2 /∂x2 )
1
φ00 − φ̈ = m2 φ
c2
3.2. PROBABILITY AND CURRENT 39
(22 + m2 )φ = 0
(p2 − m2 )φ = 0
Klein-Gordon equation.)
h̄2 ∂ψ ∗
−ψ∇2 ψ ∗ = −ih̄ ψ
2m ∂t
and subtract these equations to give
µ ¶
h̄2 ∗ 2 ∂ψ ∂ψ ∗
− (ψ ∇ ψ − ψ∇2 ψ ∗ ) = ih̄ ψ ∗ +ψ
2m ∂t ∂t
∂ ∗
= ih̄ (ψ ψ)
∂t
h̄2 ~
= − ∇ · [ψ ∗ ∇ψ ~ ∗ )ψ]
~ − (∇ψ
2m
or
∂ ∗ h̄ ~
(ψ ψ) + ∇ · [ψ ∗ ∇ψ
~ − (∇ψ~ ∗ )ψ] = 0
∂t 2mi
which is just the continuity equation ∂ρ ~ ~
∂t + ∇ · j = 0 if
ρ ≡ ψ∗ψ
~j ≡ h̄ [ψ ∗ ∇ψ ~ ∗ )ψ]
~ − (∇ψ
2mi
which are the probability density and current for the Schrodinger equation.
∂2φ
− ∇ 2 φ + m2 φ = 0
∂t2
and the complex conjugate equaiton is (KGE∗ )
∂ 2 φ∗
− ∇2 φ∗ + m2 φ∗ = 0
∂t2
Multiplying KGE by φ∗ and KGE∗ by φ gives
∂2φ
φ∗ − φ∗ ∇2 φ + m2 φ∗ φ = 0
∂t2
∂ 2 φ∗
φ − φ∇2 φ∗ + m2 φφ∗ = 0
∂t2
and subtract these equations to give
∂2φ ∂ 2 φ∗
φ∗ − φ − φ∗ ∇2 φ + φ∇2 φ∗ = 0
∂t2 ∂t2
3.3. CLASSICAL FIELD THEORY 41
µ ¶ h i
∂ ∂φ ∂φ∗
= φ∗ −φ ~ · φ∗ ∇φ
−∇ ~ ∗
~ − φ∇φ
∂t ∂t ∂t
~ · ~j = 0 if
which is the continuity equation ∂ρ/∂t + ∇
∂φ ∂φ∗
ρ ≡ φ∗ −φ
∂t ∂t
or j µ = φ∗ ∂ µ φ − φ∂ µ φ∗
~ ∗ − φ∗ ∇φ
~j ≡ φ∇φ ~
but to get this to match the SE wave function we should define ~j in the
same way, i.e.
h i ³ ´
~j ≡ h̄ φ∗ ∇φ ~ ∗ = −ih̄ φ∗ ∇φ
~ − φ∇φ ~ ∗
~ − φ∇φ
2mi 2m
The problem with ρ (in both expressions above) is that it is not positive
definite and therefore cannot be interpreted as a probability density. This
is one reason why the KGE was discarded. (Note: because ρ can be either
positive or negative it can be interpreted as a charge density. See [Landau,
pg. 227]
Notice how this problematic ρ comes about because the KGE is 2nd order
in time. We have ∂ρ ∂
∂t and ρ itself constains ∂t ; this does not happen with
the SE or DE.
By the wave, note that we can form a 4-vector KG current
ih̄ ∗ µ
jµ = (φ ∂ φ − φ∂ µ φ∗ )
2m
(22 + m2 )φ = 0
(p2 − m2 )φ = 0
Πµ = ∂ µ φ
Π ≡ Πo = φ̇(x)
R
The Hamiltonian density was (with H ≡ d3 x H)
1 ~ 2 + m2 φ2 ]
H = [Π2 + (∇φ)
2
Finally, the momentum operator of the Klein-Gordon field is (see Problems)
Z
P~ = − ~
d3 x φ̇(x)∇φ(x)
giving Z ³ ´ ~
dk̃ ä + k 2 a + m2 a eik·~x = 0
Defining
√
ω ≡ ω(~k) = k 2 + m2
and requiring the integrand to be zero gives
ä + ω 2 a = 0
r2 + ω2 = 0
or
r = ± − iω
The two solutions ± are crucial ! They can be interpreted as positive and
negative energy, or as particle and antiparticle. In the non-relativistic (NR)
case we only got one solution. Thus [Teller, pg. 67]
giving
Z h i
~ ~
dk̃ a(~k)ei(k·~x−ωt) + c(~k)ei(k·~x+ωt)
Z h i
~ ~
= dk̃ a† (~k)e−i(k·~x−ωt) + c† (~k)e−i(k·~x+ωt)
Re-write this as
Z h i
~ ~
dk̃ a(~k)ei(k·~x−ωt) + c(−~k)e−i(k·~x−ωt)
Z h i
~ ~
= dk̃ a† (~k)e−i(k·~x−ωt) + c† (−~k)ei(k·~x−ωt)
44 CHAPTER 3. FREE KLEIN-GORDON FIELD
c† (−~k) = a(~k)
gives [same conventions as Kaku 152, Mandl and Shaw 44, Schwabl 278]
Z h i
= dk̃ a(~k)e−ik·x + a† (~k)eik·x
X 1 h −ik·x i
= √ a~k e + a~† eik·x
2ωV k
~k
Z h i
= −i dk̃ ω a(~k)e−ik·x − a† (~k)eik·x
≡ Π+ (x) + Π− (x)
Note that we are still studying classical field theory when we Fourier expand
these classical fields [Goldstein 568, Jose & Saletan 588].
3.5. KLEIN-GORDON QFT 45
and
[φ(~x, t), φ(~x0 , t)] = [Π(~x, t), Π(~x0 , t)] = 0 (3.4)
where we had
Π = φ̇
We now need to find the commutation relations for a(~k) and a† (~k). We
expect the usual results
and
[a(~k), a(~k 0 )] = [a† (~k), a† (~k 0 )] = 0 (3.6)
d3 k
dk̃ ≡ p
2ω(2π)3
(which is different to IZ114, but same as Kaku). Using the result [IZ114,
Kaku 64-65]
d3 k
= d4 k δ(k 2 − m2 ) θ(k 0 )
2ω
gives
s
2ω
dk̃ = d4 kδ(k 2 − m2 ) θ(k o )
(2π)3
gives
Z µ ¶
13
H = d k N~k + ω
Xµ ¶2
1
or N~k + ω
~
2
k
with
N~k ≡ a~† a~k
k
(see Problems)
48 CHAPTER 3. FREE KLEIN-GORDON FIELD
We can also calculate the momentum P~ as [Kaku 66, 67; Schwabl 279]
Z µ ¶
1 ~
P~ = d k N~k + 3
k
Xµ ¶2
1 ~
or N~k + k
~
2
k
A formal way to always get rid of these infinite terms (there is also one
in the previous expression for the momentum P~ ), is to introduce the idea of
normal order.
Two colons :: are used to denote a normal ordered product. For example
[Schwabl 280]
: a~k1 a~k2 a~† : = a~† a~k1 a~k2
k3 k3
gave
Z
ω
H = d3 k(a~† a~k + a~† a~k + 1)
Z
k k 2
= d3 k(a~† a~k + 1/2)ω
k
which is finite. Note that normal ordering is equivalent to treating the boson
operators as if they had vanishing commutator. [Schwabl 280]. (nnn Are we
back to a classical theory?)
50 CHAPTER 3. FREE KLEIN-GORDON FIELD
with
1 ³ † ´n~k
|n~ki i = q a~ |0i
n~k ! k
where the vacuum state is defined via
a~k |0i = 0
or
h1~k | ≡ h~k| = h0|a~k
The states are normalized as
h~k|~k 0 i = δ(~k − ~k 0 )
giving
h0|a~k a~† 0 |0i = δ(~k − ~k 0 ).
k
3.6. PROPAGATOR THEORY 51
(22 + m2 )φ = 0
(p2 − m2 )φ = 0
(22 + m2 )φ = J(x)
where J(x) is referred to as a source term. This is solved with the Green
function method by defining a propagator ∆F (x − y) as
(22 + m2 )∆F (x − y) ≡ −δ 4 (x − y)
where φ0 (x) is the solution with J = 0. (see Problems) Define the Fourier
transform Z
d4 k −ik·(x−y)
∆F (x − y) ≡ e ∆F (k)
(2π)4
Our usual method of solution for propagators or Green functions is to solve
for ∆F (k) and then do a contour integral to get ∆F (x − y) rather than
solving for ∆F (x − y) directly. The Problems show that
1
∆F (k) =
k2 − m2
52 CHAPTER 3. FREE KLEIN-GORDON FIELD
Im ω
Im ω
t < t'
ω=ω0=p2/2m
X X
Re ω Re ω
C1
t > t'
C
Z ∞ Z
=−
−∞ C1
Because of the singularity, the integral is not well defined until we specify
the limiting process. Let’s now try a different method for evaluating the
integral that is consistent with the boundary condition, i.e. we want
G0 (x − x0 )t<t0 = 0.
3.6. PROPAGATOR THEORY 55
Solution We can shift the pole either above or below the real
axis. We choose to shift it below because then the upper contour
will enclose no poles and will give a zero integral consistent with
our boundary conditions. This is shown in the figure.
t<t’
XX X
ω0 - i ε ω0 - i ε
t>t’
C
R∞ R R
For t > t0 we have + = 2πiΣ Residues and with = 0 we
−∞ C C
get
Z Z 0
0 d3 p i~p·(~x−~x0 ) ∞ dω e−iω(t−t )
G0 (x − x )t>t0 = −2πi e
(2π)3 −∞ 2π ω − p
~ 2 /2m + i²
Z 3
d p i~p·(~x−~x0 ) −iω0 (t−t0 )
= −i e e
(2π)3
0
with lim e²(t−t ) = 0, which is exactly double our previous answer.
²→0
For t < t0 we get
G0 (x − x0 )t<t0 = 0
because no poles are enclosed and this now obeys the boundary
condition.
56 CHAPTER 3. FREE KLEIN-GORDON FIELD
and
1 1
lim = P ∓ iπ δ(ω)
²→0 ω ± i² ω
and we can also write [Cushing 315] (with the pole at ω = ω0 instead of
ω = 0)
Z Z
f (ω)dω f (ω)dω
P = ± iπ f (ω0 )
ω − ω0 ω − ω0 ± i²
58 CHAPTER 3. FREE KLEIN-GORDON FIELD
can be written as
Z 0
−1 ∞ e−iω(t−t )
θ(t − t0 ) = lim dω
²→0 2πi −∞ ω + i²
R∞ −iωt
Solution We showed previously that with I(²) ≡ e
dω ω−ω0 +i²
−∞
we get
It>t0 = −2πi
It<t0 = 0
Now let’s finish the job of evaluating the position space Green function
[Bj RQM 84, Greiner QED 27, Kaku 73-74]
60 CHAPTER 3. FREE KLEIN-GORDON FIELD
Klein-Gordon Propagator
1
We originally wrote the Klein-Gordon propagator ∆F (k) = k2 −m 2 but
then digressed on a lengthy discussion of the Schrodinger propagator in order
to illustrate the integration techniques. We now return to the Klein-Gordon
propagator. Consider the following i² prescription
1
∆F (k) =
k2 − m2 + i²
Write this as
q
1 1 1
= = 2 with E ≡ + ~k 2 + m2
k − m + i²
2 2
k0 − ~k 2 − m2 + i²
2 k0 − E 2 + i²
Recall that the momentum space propagator ∆F (k) was defined in terms of
the Fourier transform
Z
d4 k −ik.(x−y)
∆F (x − y) = e ∆F (k)
(2π)4
˜ d3 k
Performing the integration as before we get, with dk̃ ≡ (2π)3 2ωk
(see Prob-
lems)
Z Z
0 ˜ 0 ˜ 0
∆F (x − x0 ) = −iθ(t − t ) dk̃ e−ik·(x−x ) − iθ(t0 − t) dk̃ eik·(x−x )
Z Z
0 ˜ ˜
= −iθ(t − t ) dk̃ φk (x)φ∗k (x0 ) − iθ(t0 − t) dk̃ φ∗k (x)φk (x0 )
62 CHAPTER 3. FREE KLEIN-GORDON FIELD
or
h0|φ(x)φ(x0 )|0i
Z
h0| d3 k d3 k 0 0 0 0 0
= √ √ (a~k e−ik·x + a~† eik·x )(a~k0 e−ik ·x + a~† 0 eik ·x )|0i
(2π) 3
2ω 2ω 0 k k
Z
0 0 0 0
= dk̃ dk̃ 0 h0|a~k a~k0 e−i(k·x+k ·x ) + a~k a~† 0 e−i(k·x−k ·x )
k
0 0 0 0
+a~† a~k0 ei(k·x−k ·x ) + a~† a~† 0 ei(k·x+k ·x ) |0i
k k k
However a~k |0i = 0 and h0|a†k = 0. Thus the 1st, 3rd and 4th terms are zero.
We are only left with
h0|a~k a~† 0 |0i = δ(~k − ~k 0 )
k
3.6. PROPAGATOR THEORY 63
Continuing
Z
0 1 d3 k d3 k 0 ~ ~ 0 −i(ωt−~k·~x−ω0 t0 +~k0 ·~x0 )
h0|φ(x)φ(x )|0i = √ √ δ(k − k )e
(2π)3 2ω 2ω 0
Z 3
1 d k i~k.(~x−~x0 )−iω(t−t0 )
= e
(2π)3 2ω
Z 3
1 d k −ik·(x−x0 )
= 3
e
(2π) 2ω
Thus
Other Propagators
Recall that
Z
φ(x) = dk̃[a~k e−ik·x + a~† eik·x ]
k
−
≡ φ (x) + φ (x)
+
[Kaku 152; Mandl & Shaw 44]
or just ∆(x) = ∆+ (x) + ∆− (x). Thus one has [Mandl & Shaw 51]
Z
−1 − d3 k
+
∆(x) = ∆ (x) + ∆ (x) = sin k · x
(2π)3 ω~k
Z
−i
= d4 k δ(k 2 − m2 )²(k0 )e−ik·x
(2π)3
(
k0 +1 for k0 > 0
with ²(k0 ) = |k0 | =
−1 for k0 < 0
−
Note also that ∆ (x) = −∆+ (−x)
These propagators are related to the Feynman propagator by [Mandl
and Shaw 54]
∆F (x) = θ(t)∆+ (x) − θ(−t)∆− (x)
or [Schwabl 283]
where
i∆F (x − x0 ) = h0|T φ(x)φ(x0 )|0i
and
i∆± (x − y) ≡ [φ± (x), φ∓ (y)].
Solution
and
h0|φ(x0 )φ(x)|0i = −[φ− (x), φ+ (x0 )]
Let’s only do the first of these. The question is, how do these relations
come about ? The answer is easy. Commutators are just c-numbers, i.e.
classical functions or numbers. Thus h0|c|0i = ch0|0i = c for any c-number.
Therefore
because φ+ |0i = 0.
Now φ = φ+ + φ− . Thus
and similarly
h0|φ = h0|φ+
giving
[φ+ (x), φ− (x0 )] = h0|φ(x)φ(x0 )|0i
as required. (Proof of the other relation follows similarly).
66 CHAPTER 3. FREE KLEIN-GORDON FIELD
where φ1 and φ2 are real fields. The normalization factor √12 is chosen so
that φi has the same renormalization as the real scalar field discussed before.
A suitable classical Lagrangian is (with |φ|2 = φφ† ) [Huang 24]
L = ∂µ φ† ∂ µ φ − m2 |φ|2
1X 2
= (∂µ φi ∂ µ φi − m2 φ2i )
2 i=1
which is just the sum of the Lagrangian for the real fields.
The Euler-Lagrange equations give the equations of motion [Schwabl
285]
(22 + m2 )φ = 0 and (22 + m2 )φ† = 0
with the conjugate momenta being [Kaku 70; Schwabl 285]
Π = φ̇† and Π† = φ̇
with the equal time commutation relations [Kaku 70; Schwabl 285]
[φ(~x, t), Π(~x0 , t)] = [φ(~x, t), φ̇† (~x0 , t)] = iδ(~x − ~x0 )
[φ† (~x, t), Π† (~x0 , t)] = [φ† (~x, t), φ̇(~x0 , t)] = iδ(~x − ~x0 )
We Fourier expand each component φi (x) exactly as before [Kaku 70; Huang
24] Z
φi (x) = dk̃ (ai~k e−ik·x + a†~ eik·x )
ik
3.7. COMPLEX KLEIN-GORDON FIELD 67
However rather than treating the i fields separately, we can combine them
as we did with the wave functions φ(x). Define [Kaku 70; Huang 25]
1 1
a~k ≡ √ (a1~k + ia2~k ) and b~k ≡ √ (a1~k − ia2~k )
2 2
so that the Fourier expansion now becomes [Huang 25; Schwabl 285]
Z
φ(x) = dk̃ (a~k e−ik·x + b~† eik·x )
k
(Exercise: Prove this result) and for the other field, obviously it is
Z
†
φ (x) = dk̃(a~† eik·x + b~k e−ik·x )
k
The new commutation relations are [Kaku 70; Schwabl 286; Huang 25]
[a~k , a~† 0 ] = [b~k , b~† 0 ] = δ~k~k0
k k
and
[a~k , a~k0 ] = [b~k , b~k0 ] = [a~k , b~k0 ] = [a~k , b~† 0 ] = 0
k
There are now two occupation-number operators, for particles a and for
particles b [Schwabl 286]
Na~k ≡ a~† a~k and Nb~k ≡ b~† b~k
k k
where a~†
and a~k create and annihilate a particles and b~† and b~k create and
k k
annihilate b particles. The vacuum state is defined by [Schwabl 286]
a~k |0i = b~k |0i = 0
The four momentum is [Schwabl 286; Mandl and Shaw 49; Greiner FQ 93]
X
P µ = (H, P~ ) = k µ (Na~k + Nb~k )
~k
giving X
H= ω~k (Na~k + Nb~k )
~k
and X
P~ = ~k(N ~ + N ~ )
ak bk
~k
68 CHAPTER 3. FREE KLEIN-GORDON FIELD
1X 2
L = ∂µ φ† ∂ µ φ − m2 |φ|2 = (∂µ φi ∂ µ φi − m2 φ2i )
2 i=1
with |φ|2 ≡ φφ† . The complex scalar field Lagrangian (and action) is invari-
ant under the transformation
φ(x) → eiqθ φ(x) φ† (x) → e−iqθ φ† (x)
which generates a U (1) symmetry [Kaku 70]. Recall that before we had (for
small αi = ²i )
ηr (x) → ηr0 (x) = eiαi Xi ηr (x) ≈ (1 + i²i Xi )ηr (x)
giving
δηr (x) = ηr0 (x) − ηr (x) = i²i Xi ηr (x)
Our two fields are η1 ≡ φ and η2 ≡ φ† giving (with small θ = ²)
δφ(x) = iq²φ(x) and δφ† (x) = −iq²φ† (x)
Recall the Noether current
∂L
jµ ≡ ∆ηr − Tµν δxν
∂(∂ µ ηr )
with
∂L
Tµν ≡ ∂ν ηr − gµν L
∂(∂ µ ηr )
Also recall the relation between local and total variations
∂ηr
δηr (x) = ∆ηr (x) − δxµ
∂xµ
For δxν = 0, we have δη(x) = ∆η(x) [Schwabl 272] and therefore
∂L
jµ = δηr
∂(∂ µ ηr )
∂L ∂L
= δφ + δφ†
µ
∂(∂ φ) ∂(∂ µ φ† )
∂L ∂L
= iq²φ + (−i)q²φ†
µ
∂(∂ φ) ∂(∂ µ φ† )
3.7. COMPLEX KLEIN-GORDON FIELD 69
∂L
= gµν ∂ ν φ† = ∂µ φ†
∂(∂ µ φ)
and
∂L
= ∂µ φ
∂(∂ µ φ† )
Thus the Noether current is
Once again we drop the constant factor ² and insert a minus sign to
define a new current [Kaku 71, Mosel 19, Schwabl 286, Huang 25]
(Exercise: Prove this result). Here jo matches exactly our expression for ρ
derived previously! [Kaku 71] gives an excellent discussion of the physical
interpretation of this charge. Also note that “charge” is used in a generic
sense [Huang 26] since electromagnetic coupling has not yet been turned on.
Compare this to our result from Chapter 1 which was (with probability
current density j µ = (ρ, ~j ) = ψ̄γ µ ψ )
Z Z
Q = d3 x j 0 = q d3 x ψ̄ γ 0 ψ
Z
= q d3 x ρ
3.8 Summary
Two useful integrals are:
Z
1 ~ ~0
d3 xe±i(k−k ).~x = δ(~k − ~k 0 )
(2π)3
Z
d4 k −ik·(x−y)
δ (x − y) =
4
e
(2π)4
(22 + m2 )φ = 0
(p2 − m2 )φ = 0
Πµ = ∂ µ φ
Π ≡ Πo = φ̇(x)
(22 + m2 )∆F (x − y) ≡ −δ 4 (x − y)
giving
with
Z
d3 k
∆(x) = ∆+ (x) + ∆− (x) = − sin k · x
(2π)3 ω~k
or
∆F (x) = ±∆± (x) for t>
<0
Dirac Field
We have seen that the KGE gives rise to negative energies and non-positive
definite probabilities and for these reasons was discarded as a fundamental
quantum equation. These problems arise because the KGE is non-linear in
∂
∂t , unlike the SE. Dirac thus sought a relativistic quantum equation linear
∂
in ∂t , like the SE. We shall see that therefore Dirac was forced to invent a
matrix equation.
The ‘derivation’ of the DE presented here follows [Griffiths, pg. 215].
∂
Dirac was searching for an equation linear in E or ∂t . Instead of starting
from
p2 − m2 = 0
his strategy was to factor this relation, which is easy if we only have p0 (i.e.
p~ = 0), namely (with p0 = p0 )
(p0 − m)(p0 + m) = 0
p0 − m = 0 or p0 + m = 0
However it’s more difficult if p~ is included. Then we are looking for some-
thing of the form p2 − m2 = pµ pµ − m2 = (β µ pµ + m)(γ ν pν − m) where β µ
and γ ν are 8 coefficients to be determined. The RHS is
β µ γ ν pµ pν + m(γ ν − β ν )pν − m2
75
76 CHAPTER 4. DIRAC FIELD
ψ † (i/
∂ − m)† = 0
= ψ † (−iγ µ† ∂µ − m) = 0 where ∂µ† = ∂µ
= ψ † (−iγ 0 γ µ γ 0 ∂µ − m) = 0 using γ µ† = γ 0 γ µ γ 0
Using γ 0 γ 0 = 1 we get
ψ † (−iγ 0 γ µ γ 0 ∂µ − mγ 0 γ 0 ) = 0
⇒ ψ̄(iγ µ γ 0 ∂µ + mγ 0 ) = 0
and cancelling out γ 0 gives, the Dirac adjoint equation,
←
ψ̄(i/
∂ + m) = 0 ⇔ ψ̄(i ∂/ + m) = 0
Now let’s derive the continuity equation. Multiply DE from the left by ψ̄
and DE† from the right by ψ. Now one could get very confused writing
∂ − m)ψ = 0
ψ̄(i/
ψ̄(i/
∂ + m)ψ = 0
ψ̄(iγ µ ∂µ ψ − mψ) = 0
(i(∂µ ψ̄)γ µ + mψ̄)ψ = 0
giving
j µ = (ψ̄γ µ ψ) ≡ (ρ, ~j)
or
X
4
ρ = ψ̄γ 0 ψ = ψ † ψ = |ψi |2
i=1
which is now positive definite! The 3-current is
~j = ψ̄~γ ψ
and ψ̄ψ = |ψ1 |2 + |ψ2 |2 − |ψ3 |2 − |ψ4 |2 is a Lorentz scalar (see Bjorken and
Drell]. One can prove that the following quantities transform as indicated:
where σ µν ≡ 2i (γ µ γ ν − γ ν γ µ ).
Substituting gives
à !
h̄k 2 h̄2 k 2
ψ(x, t) = −Eψ(x, t) or E+ ψ=0
2m 2m
yielding
h̄2 k 2
E=−
2m
However it also has solution ψ(x, t) = (Aeikx + Be−ikx )e− h̄ Et ≡ ψ−E
i
Substituting gives
à !
h̄2 k 2 h̄2 k 2
ψ(x, t) = +Eψ(x, t) or E− ψ=0
2m 2m
yielding
h̄2 k 2
E=+
2m
80 CHAPTER 4. DIRAC FIELD
ψE and ψ−E are different solutions. The first one ψE corresponds to positive
energy and the second one ψ−E to negative energy. We are free to toss away
one solution as unphysical and only keep ψE .
However for KGE and DE the same solution ψ gives both positive and
negative energy. Of course we are not free to toss away one energy because
it’s in the solution. Whereas in the SE we got two different solutions for
positive and negative energy. If we want to get rid of negative energy in the
SE we toss away one solution. However in KGE and DE we always get both
positive and negative energy for all solutions. The only way to toss away
negative energy is to toss away all solutions; i.e. toss out the whole equation!
p
?Also reason why Einstein did not reject SR; E = ± p~2 + m2 were
separate solutions; not part of same solution.
Thus the single solution φ = N eip·x has both positive and negative energy
solutions. Another solution is
φ = N e−ip·x = N e−i(Et−~p·~x)
and again the single solution φ = N e−ip·x has both positive and negative
energy solutions.
E
E>0
mc 2 p=0
- mc2 p=0
E<0
Also we can now ³clearly see the´ problem with ρ as calculated with the
∂φ∗
KGE. Recall ρ = 2m ih̄
φ∗ ∂φ
∂t − φ ∂t . For φ = e
±ip·x we get ρ = ∓ h̄ φ∗ φE
m
which gives negative ρ for positive or negative E. (Halzen & Martin, pg. 74]
82 CHAPTER 4. DIRAC FIELD
The DE describes fermions (see next section). Dirac’s idea was that
the negative energy sea was filled with fermions and via PEP prevented the
negative energy cascade of positive energy particles. Dirac realized if given
particles in sea energy of 2mc2 create holes. Dirac Sea not taken seriously
until positron discovered!! (1932 Anderson)
4.4. FREE PARTICLE SOLUTIONS OF DIRAC EQUATION 83
giving
~σ · p~ ~σ · p~
wA = wB and wB = wA
E−m E+m
Combining yields
(~σ · p~ )2 p~ 2
wA = wA = wA
E 2 − m2 E 2 − m2
Thus again we see the negative energy solutions ! (this time for the p~ 6= 0
DE)
Our final solutions are
µ ¶ µ ¶ µ σ ·~
~ p ¶
wA wA E−m wB
w= = σ ·~
~ p or
wB E+m wA wB
with wA and wB left unspecified, which means we are free to choose them
[Aitchison & Hey 69] as
µ ¶ µ ¶
1 0
wA , wB = or
0 1
84 CHAPTER 4. DIRAC FIELD
or
µ ¶
1 p
w(s) (~
p) = N o·~ χ(s) with E ≡ + p~ 2 + m2
~ p
E+m
µ ¶
s = 1, 2
σ ·~
~ p p
w(s+2) (~
p) = N E−m χ(s) with E ≡ − p~ 2 + m2
1
µ ¶ µ σ ·~
~ p ¶
1 E+m
u=N σ ·~
~ p χ v=N χ
E+m 1
86 CHAPTER 4. DIRAC FIELD
µ ¶
1
u(1) , v (2) → χ(1) =
0
µ ¶
0
u(2) , v (1) → χ(2) =
1
s µ ¶
E+m pz p−
Kaku N = ~σ · p~ =
2m p+ −pz
Halzen & Martin, pg. 107
ψ(x) = w(~p)e−ip·x ψ(x) = w(−~p)e−i(−p·x)
⇒ ψ(x) = u(~p)e−ip·x ψ(x) = v(p)e+ip·x
p − m)w(~
(/ p) = 0 p − m)w(−~
(−/ p) = 0
⇒ (/p − m)u = 0 ⇒ (/p + m)v = 0
The adjoints satisfy
p − m) = 0
ū(/ and v̄(/
p + m) = 0
Normalization [Muirhead, pg. 71ff; Griffiths, pg. 220 footnotes]
p
The most common conventions are, with E ≡ + p~2 + m2 everywhere be-
low
Bjorken & Drell, Kaku, Greiner, Sterman
s
E E+m
u† u = ⇒N = but spurious difficulties when m → 0
m 2m
Griffiths, Halzen & Martin
√
u† u = 2E ⇒ N = E+m
Bogoliubov & Shirkov
u† u = 1
These odd-looking normalizations come by specifying ūu. Using the result
pu pµ
ūγ µ u = m ūu (Problem 4.7) we have u† γ 0 γ µ u = m ūu and with µ = 0 and
γ0γ0 = 1 we get
E
u† u = ūu
m
Thus ūu = 1 ⇒ u† u = E
m. Actualy the more general normalization, in this
case, is ū(r) u(s) = δrs (see Problem 4.8).
Alternatively we can specify v̄v = −1 , i.e. v̄ (r) v (s) = −δrs [Kaku, pg.
754]
4.5. CLASSICAL DIRAC FIELD 87
LD = ψ̄(i/
∂ − m)ψ
from which one can obtain the Dirac equation and its adjoint (see Problems).
References: [Mosel 35, Greiner FQ 123, Peskin 52, Huang 123, Schwabl 290,
Kaku 86]
We now wish to expand the Dirac field in terms of creation and anni-
hilation operators. Most books just write down the answer (as we shall)
but [Greiner FQ 123] derives the result very clearly using the same method
that we used for the Klein-Gordon field where one proves that the expansion
must contain two terms.
The best discussion as to why the Dirac creation and annihilation op-
erators must obey anticommutation relations is given in [Peskin 52-56] and
[Greiner FQ 129].
Because of the normalization of our Dirac spinors (see previous chapter)
we will have a different normalization constant in our Fourier expansion of
the Dirac field, as compared to the KG case. Because of this the measure
for fermions will be [IZ 114, 147, 703]
4.10 Summary
4.10.1 Dirac equation summary
4.10.2 Classical Dirac field
4.10.3 Dirac QFT
4.10.4 Propagator theory
Electromagnetic Field
89
90 CHAPTER 5. ELECTROMAGNETIC FIELD
In general the linear polarization basis states are described by real po-
larization vectors ~²1 and v²2 . (As we shall see below there are only two,
not four, possible states for photons.) The circularly polarized states are
described by complex basis vectors, say written as ~²+ and ~²− .
1
~²± = √ (~²1 ± i²2 )
2
Finally, in describing our quantum field states for the photon it does not
matter whether we use the linearly polarized basis states or the circularly
polarized ones. Different authors choose different basis states. We will know
what states a particlar author is using by simply recognizing wether the states
are real (linear polarization) or complex (circular polarization).
5.2. QUANTIZED MAXWELL FIELD 91
Our Feynman diagram series is going to come from an expansion of the so-
called Scattering Matrix (or S-matrix). Each term in this S-matrix expan-
sion will represent a particular Feynman diagram. The S-matrix expansion
looks very similar to something which occurs in non-relativistic quantum
mechanics, namely the expansion of the time evolution operator. Thus we
will study that first.
93
94 CHAPTER 6. S-MATRIX, CROSS SECTION & WICK’S THEOREM
A schematic solution is
U(t, t0 ) = e− h̄ H(t−t0 )
i
However let’s solve the equation more rigorously. We solve for U(t, t0 ) by
integrating both sides to give
Z t
1
U(t, t0 ) − U(t0 , t0 ) = H(t1 )U(t1 , t0 )dt1
ih̄ t0
U(t0 , t0 ) = 1
we have
Z t
i
U(t, t0 ) = 1 − dt1 H(t1 )U(t1 , t0 )
h̄ t0
or
∞ µ
X ¶ Z Z Z
−i n t t1 tn−1
U(t, t0 ) = 1 + dt1 dt2 · · · dtn H(t1 ) · · · H(tn )
n=1
h̄ t0 t0 t0
6.1. SCHRODINGER TIME EVOLUTION OPERATOR 95
which is the first version of our expansion of the time evolution operator.
Two other ways of writing this are
∞
X µ ¶ Z Z Z
1 −i n t t t
U(t, t0 ) = 1 + dt1 dt2 · · · dtn T [H(t1 ) · · · H(tn )]
n=1
n! h̄ t0 t0 t0
Rt
−i/h̄ H(t0 )dt0
≡T e t0
[Leon, pg. 64; Merzbacher, pg. 475] where the last expression is just a formal
way of writing the formula above [Leon, pg. 64] and recall
X∞
x2 x3 1 n
x
e =1+x+ + + ··· = 1 + x
2! 3! n=1
n!
where (
1 if x > y
θ(x − y) ≡
0 if x < y
The time ordered product of three terms is defined as
A(t1 )B(t2 )C(t3 ) if t1 > t2 > t3
A(t1 )C(t3 )B(t2 ) if t1 > t3 > t2
B(t )A(t )C(t )
2 1 3 if t2 > t1 > t3
T [A(t1 )B(t2 )C(t3 )] ≡
B(t 2 )C(t 3 )A(t 1) if t2 > t3 > t1
(3! combinations)
C(t3 )A(t1 )B(t2 ) if t3 > t1 > t2
C(t3 )B(t2 )A(t1 ) if t3 > t2 > t1
≡ θ(t1 − t2 )θ(t2 − t3 )A(t1 )B(t2 )C(t2 ) + θ(t1 − t3 )θ(t3 − t2 )A(t1 )C(t3 )B(t2 )
+θ(t2 − t1 )θ(t1 − t3 )B(t2 )A(t1 )C(t3 ) + θ(t2 − t3 )θ(t3 − t1 )B(t2 )C(t3 )A(t1 )
+θ(t3 − t1 )θ(t1 − t2 )C(t3 )A(t1 )B(t2 ) + θ(t3 − t2 )θ(t2 − t1 )C(t3 )B(t2 )A(t1 )
96 CHAPTER 6. S-MATRIX, CROSS SECTION & WICK’S THEOREM
Notice that there are n! combinations for n operators. This explains the
1
n! term appearing in the expansion for U.
which is clearly frozen in time. (We have used UU † = 1). Define Heisenberg
operators
OH (t) ≡ U † OS U
which clearly evolves in time because OS is frozen but U † and U carry time
dependence.
Now the important thing about the Heisenberg and Schrodinger pictures
is that expectation values remain the same in both pictures. We must have
this for the physics to be the same. Expectation values are the same, i.e.
d H
[OH (t), H] = ih̄ O (t)
dt
H = H 0 + HI
98 CHAPTER 6. S-MATRIX, CROSS SECTION & WICK’S THEOREM
U0 ≡ U0 (t, t0 ) ≡ e− h̄ H0 (t−t0 )
i
and
|α(t)iI ≡ U0† |α(t)iS
and
OI (t) ≡ U0† OS U0
Now
H0I = H0S ≡ H0
(exercise: show this)
Manipulating the previous two equations we get
d I
[OI (t), H0 ] = ih̄ O (t)
dt
and
d
HII (t)|α(t)iI = ih̄ |α(t)iI
dt
where
HII (t) = U0† HIS U0 = e h̄ H0 (t−t0 ) HIS e− h̄ H0 (t−t0 )
i i
|α(t)iI ≡ UI |α(t0 iI
which leads to
d
HII UI = ih̄ UI (6.1)
dt
which has the rigorous solution
∞
X µ ¶ Z Z Z
1 −i n t t tn−1
UI (t, t0 ) = 1 + dt1 dt2 · · · dtn T [HI (t1 ) · · · HI (tn )]
n=1
n! h̄ t0 t0 t0
S ≡ U(∞, −∞)
6.3. CROSS SECTION AND S-MATRIX 99
in other words
|α(∞)i ≡ S|α(−∞i = S|ii
where |ii is the initial state. Thus
∞
X µ ¶ Z ∞ Z ∞ Z ∞
1 −i n
S =1+ dt1 dt2 · · · dtn T [HI (t1 ) · · · HI (tn )
n=1
n! h̄ −∞ −∞ −∞
or in covariant form
∞
X µ ¶ Z
1 −i n
S =1+ d4 x1 d4 x2 · · · d4 xn T [HI (x1 )HI (x2 ) · · · HI (xn )]
n=1
n! h̄
which is the Dyson expansion of the S-matrix. This is an infinite series, each
term of which gets represented as a Feynman diagram.
Note that this expansion of the S-matrix does not rely on the Schrodinger
equation but comes from the general interaction picture and the opera-
tor equation of motion (6.1), which, although reminiscent of, is not the
Schrodinger equation but rather the operator equation of motion in the In-
teraction picture [Bj RQF 177].
1 + 2 → 10 + 20 + 30 + . . . n0
where the normalization factors are Ni = 1 for scalar bosons and photons
and Ni = 2m for fermions. [Greiner FQ 267]
100CHAPTER 6. S-MATRIX, CROSS SECTION & WICK’S THEOREM
A set of Feynman rules actually gives −iM [Griffiths, 1987]. The differ-
ential cross section is given directly in terms of the invariant amplitude as
[RPP, pg. 176; PPB, pg. 219; Griffiths, pg. 198]
(2π)4 |M|2
dσ = q dΦn (p1 + p2 ; p3 . . . pn+2 )
4 (p1 .p2 )2 − m21 m22
with [RPP, pg. 175; PPB, pg. 215; Griffiths, pg. 198]
à !
X
n X
n
d 3 pi
dΦn (P ; p1 . . . pn ) ≡ δ 4
P− pi
i=1 i=1
(2π)3 2Ei
(2π)4 |M|2 d 3 p3 d 3 p4
dσ = q 3 3
4 (p1 · p2 )2 − m21 m22 (2π) 2E3 (2π) 2E4
d 3 pn
··· δ 4 (p1 + p2 − p3 − p4 − · · · pn )
(2π)3 2En
δ 4 (p1 + p2 − p3 − p4 ) = δ(E1 + E2 − E3 − E4 )δ 3 (~
p1 + p~2 − p~3 − p~4 )
giving
dσ (2π)4 |M|2 d3 p3 1
= √ δ(E1 +E2 −E3 −E4 )δ 3 (~ p2 −~
p1 +~ p3 −p4 )
d 3 p4 4 (2π)3 2E3 (2π)3 2E4
6.4. WICK’S THEOREM 101
so that
Z
dσ 3 2π|M|2 d 3 p3
d p 4 = dσ = q δ(E1 + E2 − E3 − E4 )
d 3 p4 3
8E4 (p1 · p2 )2 − m21 m22 (2π) 2E3
giving the Lorentz invariant differential cross section for production of par-
ticle 3 as
dσ |M|2
= q δ(E1 + E2 − E3 − E4 )
d3 p3 /E3 64π 2 E4 (p1 · p2 )2 − m21 m22
QED
103
104 CHAPTER 7. QED
x2 x2
x1 x1
(a) (b)
Fig. x.x
(a) Fermion contraction ψ(x2 )ψ̄(x1 ) = iSF (x2 − x1 )
Using the above diagrams and also the ones shown previously we are in
a position to draw the Feynman diagrams corresponding to all the terms in
the second order S-matrix. These are shown in the Figure below.
and the final state consists of the scattered electron together with the pro-
duced photon, i.e.
or
We wish to evaluate the matrix element < f |S|i > and the first order S-
matrix S (1) contains 8 terms. However all but one (the second) of these terms
will be zero, if the |i > and < f | states above are used. To illustrate this
(1)
let’s evaluate the first of the eight < f |S (1) |i > terms, denoted < f |S1 |i >.
7.3. CASIMIR’S TRICK & TRACE THEOREMS 107