Академический Документы
Профессиональный Документы
Культура Документы
Peter Prešnajder
1
- The polarization sum for photons - Ward identity
- Klein-Nishina formula for the cross-section of unpolarized e− γ scattering
- The annihilation e− e− → γ γ, crossing symmetry and cross-section
where
yµ = ηµν y ν , yµ = ηµν y ν .
We lower or rise the indices with the help of the relativistic metric tensor
(ηµν ) = diag(1, −1, −1, −1) or its inverse (η µν ) = diag(1, −1, −1, −1)):
where δµρ is the Kronecker symbol defined by: δµρ = 1 for µ = ρ and δµρ = 0
for µ 6= ρ. We adopt the Einstein summation convention: we sum over the
2
same repeated upper and lower indices, e.g. xν y ν = x0 y 0 + x1 y 1 + x2 y 2 +
x3 y 3 .
Let us consider the linear transformation which preserves the relativistic
scalar product x.y = xµ ηµν y ν of any two 4-vectors x and x:
xµ 7→ Λµ ν xν , y µ 7→ Λµ ν y ν . (1.3)
xT η y = x0T η y 0 = xT ΛT η Λ y ⇔ ΛT η Λ = η . (1.4)
Here, ΛT is the transposed matrix of the matrix Λ. Such matrices form a Lie
group, called Lorentz group. The elements of the Lorentz group which can
be expressed in exponential form
The symbol ω in the exponent is a real number and J is 4×4 matrix satisfying
condition
J T η + η J = 0 ⇔ J T = −η J η . (1.6)
This condition is a direct consequence of (1.4) and (1.5). There are 6 inde-
pendent 4 × 4 matrices Jµν = Jνµ satisfying (1.6). Their αβ matrix elements
are given as: ¡ ¢
(J µν )αβ = i ηαµ ηβν − ηαν ηβµ . (1.7)
In this form we can freely rise and lower all indices simultaneously on both
sides.
In any proper Lorentz transformation Λ = exp (−iJ) the exponent J is
given as a linear combination
1
J = ωµν J µν µ ν = 0, 1, 2, 3 , (1.8)
2
specified by 6 real parameters ωµν = −ωνµ . The matrix J µν generate Lorentz
transformations in (µν)-plane in Minkowski space:
3
• Three generators Ji j, i, j = 1, 2, 3, generate rotations in 3-space (for
its specification we need 3 parameters - 3 Euler angles θ, φ, ψ);
• Three generators J0 j, j = 1, 2, 3, generate boosts (the transformation
to a system moving with a speed ~v with respect to the original reference
frame - this requires again 3 parameters).
For infinitesimal Lorentz transformation, specified by infinitesimal pa-
rameters ωµν we obtain
µ ¶α
i µν
xα 7→ exp (− ωµν J ) xβ
2 β
µ ¶
i i
= δβα − (J µν )α β + . . . xβ = xα − (J µν )α β xβ + . . .
2 2
xα 7→ xα + ωαβ xβ , ωαβ = −ωαβ .
In the last step we have used the explicit formula (1.7).
It can be easily shown that the matrices Jµν satisfy the commutation
relations for Lorentz group generators, i.e. defining relations of Lie algebra
so(3, 1):
J µν xρ = i (η µρ xν − η νρ xµ ) . (1.10)
4
In (1.12) Λ−1 denotes the inverse matrix of the matrix Λ. The symbol
T (Λ) represents the linear operator defined by the last equation. The as-
signment Λ 7→ T (Λ) defines the Lorentz group representation because it
”copies” the group product:
T (Λ1 ) T (Λ2 ) = T (Λ1 Λ2 ) , T (1) = I .
The symbol 1 denotes the 4 × 4 unit matrix (corresponding to the unity in
group) and the symbol I is the unit operator corresponding to the identity
map: φ(x) 7→ φ(x).
Under infinitesimal Lorentz transformation xα 7→ xα + ωαβ xβ the field
transforms as follows
φ(x) 7→ φ(Λ−1 x) = φ(xα − ωαβ xβ )
i
= φ(x) − ωµν (J µν φ)(x) .
2
Comparing the last expression with the Taylor expansion of the field on a
first line, we obtain the formula for the generator of Lorentz transformations
J µν which acts on fields as a 1-st order differential operator:
J µν = −i (xµ ∂ ν − xν ∂ µ ) , ∂ ν = η µν ∂ν , (1.13)
where ∂ν = ∂xν . It can be easily shown that the differential operators
J µν = −J νµ again satisfy the commutation relations (1.9) for Lorentz group
generators.
5
exactly, when Λ 7→ Sab (Λ) will be the (n × n)-matrix representation of the
Lorentz group
Below we shall frequently use the notation Ep instead of Ep~ (a similar sim-
plification we shall frequently use for some other quantities too).
The set of such particles with different momenta, which do not possess
other internal degrees of freedom, is described by relativistic scalar field
Z
1 d3 p~ ¡ −ip.x ∗ +ip.x
¢
φ(x) = p ap e + bp e , p = (Ep , p~) , (1.17)
(2π)3 2Ep
6
• The second integrand is a linear combination of complex conjugated
wave functions of b-particles with 3-momenta p~, the coefficient bp ≡ bp~ is pro-
portional to the probability amplitude that the b-particle with 3-momentum
p~ is contained in the ensemble of particles.
d3 p~ d3 p~0
= , (1.19)
2Ep 2Ep0
where s s
Ep0 Ep0
a0p0 = ap , b0p0 = bp , p0 = Λp . (1.21)
Ep Ep0
7
We see that the transformed field φΛ (x) is again a solution of the Klein-
Gordon equation (1.18):
(∂µ ∂ µ + m2 )φΛ (x) = 0 ,
however, with expansion coefficients transformed according to (1.21).
We have constructed a representation of the Lorentz group realized in
space of field configurations. In fact, we have two independent unitary rep-
resentations: the first one in the space of particle configurations and the
other one in the space of antiparticle configurations (the coefficients ap a bp
are independent, and the unitarity is due to the positivity of the integral
measure).
8
with the coefficients γ µ being unknown constant objects.
Dirac determined γ’s from the requirement that (1.23) should contain
particle-like solutions, i.e., the solutions of the first order Dirac equation
(1.23) should simultaneously satisfy the second order Klein-Gordon equation.
Multiplying (1.23) with the operator (iγ ν ∂ν + m) we obtain second order
equation
(iγ ν ∂ν + m)(iγ µ ∂µ − m) ψ(x) = 0 ,
(γ ν γ µ ∂ν ∂µ + m2 ) ψ(x) = 0 . (1.24)
Since the differential operator ∂µ commutes with any other ∂ν we can write
1 µ ν
γ ν γ µ ∂ν ∂µ = {γ , γ } ∂ν ∂µ .
2
Equation (1.24) will be consistent with Klein-Gordon equation (1.18) pro-
vided the coefficients γ µ satisfy anticommutation relations:
{γ µ , γ ν } ≡ γ µ γ ν + γ ν γ µ = 2 η µν . (1.25)
All entering elements are 2 × 2 matrices: 0 is the zero matrix, 1 is the unit
matrix and σ j , j = 1, 2, 3, are the Pauli matrices:
µ ¶ µ ¶ µ ¶
1 0 1 2 0 −i 3 1 0
σ = , σ = , σ = . (1.27)
1 0 i 0 0 −1
9
Note: Dirac used a different realization of γ-matrices:
µ ¶ µ ¶
0 1 0 j 0 σj
γ = , γ = , j = 1, 2, 3 . (1.28)
0 −1 −σ j 0
This Dirac (or standard) realization of γ-matrices is equivalent to the Weyl
realization. In what follows we shall use the Weylovu representation.
Products and linear combinations of matrices γ µ generate the algebra of
all 4 × 4 matrices. The conventional basis of this matrix algebra is formed
by the following 16 matrices:
i µ ν
1 , γ µ , S µν = [γ , γ ]
4
γ̃ µ = γ 5 γ µ , γ 5 = iγ 0 γ 1 γ 2 γ 3 . (1.29)
The indices µ , ν take the values 0,1,2,3:
• here the symbol 1 represents the 4 × 4 unit matrix (we do not introduce
a new notation - from the context it will be clear the size of the unit matrix
in question),
• 4 matrices γ µ have been introduced earlier in (1.26) in Weyl represen-
tations (or (1.28) in Dirac representation);
• since S µν = −S νµ we have 6 independent S µν matrices;
• we add 4 matrices γ̃ µ and the matrix γ̃ 4 ≡ −iγ 5 .
In Weyl basis those matrices have the form
µ j ¶ µ k ¶
0j i σ 0 ij 1 ijk σ 0 1
S = − j , S = ε k ≡ εijk Σk ,
2 0 −σ 2 0 σ 2
µ ¶ µ j
¶ µ ¶
0 1 0 σ 1 0
0
γ̃ = − , γ˜j = − 5
, γ = . (1.30)
−1 0 σj 0 −0 1
All indices i, j, k, . . ., take values 1, 2, 3 (the summation convention is under-
stood). These matrices are chosen so that all expressions ψ̄(x) A ψ(x) are
real for A being some of the 16 matrices 1, γ µ , S µν , γ̃ µ and iγ 5 (in fact, they
form the Lie algebra basis of the conformal group SO(4, 2)).
10
• Hermitian conjugation
γ µ† = γ 0 γ µ γ 0 ⇔ γ 0† = γ 0 , γ j† = γ j , j = 1, 2, 3 .
• The properties of γ 5
(γ 5 )2 = 1 , γ 5† = γ 5 , {γ 5 , γ µ } = 0 , [γ 5 , S µν ] = 0 .
A 7→ [S µν , A] .
In particular, we have
[S µν , 1] = 0 , [S µν , γ 5 ] = 0 . (1.32)
11
That means that the unit matrix 1 and the matrix iγ 5 transform as scalars
under adjoint action by S µν .
Similarly, we have
[S µν , γ ρ ] = (ηµρ γ ν − ηνρ γ µ ) ,
The follows directly from the z Dirac equation for ψ(x) rewritten in the form
12
By hermitian conjugation we obtain
Multiplying this equation by γ 0 from the right and using the relations
(γ 0 )2 = 1 , γ 0 γ µ γ 0 = γ µ† , ψ † (x) γ 0 = ψ̄(x) ,
γ 0 S µν † γ 0 = − S µν
1. The transformation rules for S(x) a P (x) tell us that the corresponding
bilinear expressions transform as scalar fields. The first expression is a direct
13
consequence of transformation rules (1.39), in derivation of the second one
relation γ 5 S(Λ) = S(Λ) γ 5 is needed.
2. The transformation rules for V µ (x) a Aµ (x) mean that the correspond-
ing bilinear expressions transform as vector fields. Besides the transformation
rules 1.39), we need the relation
for the derivation of the rule for V µ (x), in the derivation of the rule for Aµ (x)
we have to take into account the fact that S(Λ) commutes with γ 5 .
3. The transformation rules for T µν (x) tell us that T µν (x) transforms as
a (antisymmetric) 2-nd order tensor. In the derivation we need the explicit
formula (1.29) for S µ ν and the relation (1.40).
(iγ µ ∂µ − m) ψΛ (x) = 0 .
Using (1.40) we can put the left-hand side into the form
Introducing the new variable x0 = Λ−1 x we can express the partial deriva-
tives as follows
µ
∂ν0 ≡ ∂x0ν = (Λ−1 )ν ∂µ = Λµ ν ∂µ .
This equation is a direct consequence of the relation η Λ = Λ−1T η. We see
that the Dirac equation for ψΛ (x) is equivalent to
The last equality follows from the fact that ψ(x) is a solution of Dirac equa-
tion.
14
Particle solutions of Dirac equation.
We search the solution of Dirac equation which is proportional to the de
Broglie wave function
p describing free particle with mass m, momentum p~ and
energy Ep = p~ + m2 > 0. Such solution is proportional to the plane
2
wave
ψ(x) ∼ u(p) e−ip.x , p = (Ep , p~) .
Inserting such ψ(x) into Dirac equation and the formula i∂µ e−ip.x = pµ e−ip.x
we obtain for the spinor u(p) the algebraic equation:
(γ µ pµ − m) u(p) = 0 . (1.41)
where
√ ξ is an arbitrary constant 2-component spinor. The square roots
E ∓ p~.~σ should be understood as Taylor expansions of
µ ¶
p √ p √ 1 p
~ .~
σ
E ∓ p~.~σ = E 1 ∓ E −1 p~.~σ = E 1 ∓ ... .
2 E
Since eigenvalues of the matrix E −1 p~.~σ are in absolute value less than 1, the
expansion in powers of (E −1 p~.~σ )n is well defined.
15
There are two linear independent constant spinors ξ, we shall denote them
by ξ s , s = ±1/2. We choose them orthonormal, so that it holds
ξ r† ξ s = δ rs , r, s = ±1/2 . (1.44)
As we shall see, they describe antiparticles with energy Ep~ and momentum
p~. Performing the similar steps as before, we obtain two linear independent
(antiparticle) solutions
µ √ s
¶
s √E − p
~.~
σ η
v (p) = , s = ±1/2 , (1.47)
− E + p~.~σ η s
η r† η s = δ rs , r, s = ±1/2 . (1.48)
We point out that the bases {ξ s } and {η s } are not related to each other and
we can choose them independently. The solutions v s (p) are normalized, up to
sign, as us (p) and antiparticle solutions are orthogonal to particle solutions:
16
Similarly, can be expressed the Dirac conjugated solution
Z
1 d3 p~ X ¡ s s −ipx s† s ipx
¢
ψ̄(x) = p bp v̄ (p) e + ap ū (p) e . (1.51)
(2π)3 2Ep s
Spin sums.
The spin sums express the completeness of the found solutions of Dirac
equation. Our goal is the calculation of the following sums
X X
usa (p) ūsb (p) , vas (p) v̄bs (p) .
s=±1/2 s=±1/2
17
Now, taking into account the explicit form of γ-matrices we can rewrite the
spin sum as follows:
X X
usa (p) ūsb (p) = (γ µ pµ + m 1)ab ⇔ us (p) ūs (p) = γ µ pµ + m 1 ,
s s
(1.53)
where 1 denotes the 4 × 4 unit matrix. In the second formula we suppressed
the matrix (spin) indices - this for of spin sums is frequently used.
The formula for the second polarization sum can be derived analogously:
X X
vas (p) v̄bs (p) = (γ µ pµ − m 1)ab ⇔ us (p) ūs (p) = γ µ pµ − m 1 .
s s
(1.54)
18
• In integral (1.55) we perform substitution x 7→ x0 = Λx, similar steps
as by scalar field leads to the transformation rule for expansion coefficients
asp :
s
EΛp X s0
asp 7→ a Ds0 s (W (Λ, p)) . (1.57)
Ep s0 Λp
For expansion coefficients bsp a similar rule can be derived.
In the first step we used the relation L(p) k0 = p, and in the last one the
relation L−1 (p0 ) p0 = k0 valid for any p0 .
• We see that it holds W (Λ, p) k0 = k0 , i.e. the transformation W (Λ, p)
belongs to the stability group of the standard 4-vector k0 = (m, ~0). However,
such transformations are just 3-rotations in space: W (Λ, p) ∈ SO(3), where
SO(3) denotes the group of spatial rotations.
• Consequently, the D(W ) is 2 × 2 unitary matrix D† (W ) = D−1 (W )
(because, 3-rotations in spinor space are generated by hermitian matrices
19
Sk = 2i εijk S ij ). It is well-known that unitary irreducible SO(3) represen-
tation by N × N matrices corresponds to spin s = (N − 1)/2. In our case,
N = 2, i.e. Dirac particles possess spin s = 1/2.
The energy operator. Let us insert into Dirac Hamiltonian the general
solutions of the Dirac equation for ψ(x) and ψ̄(x):
Z
1 d3 p~ X ¡ s s −ipx s† s ipx
¢
ψ(x) = p ap u (p) e + b p v (p) e
(2π)3 2Ep s
20
Z
1 d3 p~ X ¡ s s ¢
ψ̄(x) = p bp v̄ (p) e−ipx + as† s
p ū (p) e
ipx
. (1.58)
(2π)3 2Ep s
After insertion the formula for HD reads
Z Z X³ 0 0 ´
1 d3 p~d3 p~0 3 s s 0 −ip0 x s0 † s0 0 ip0 x
HD = p d ~
x b p0 v̄ (p ) e + a p0 ū (p ) e
(2π)6 2Ep 2Ep0 s,s0
¡ ¢
× asp us (p) e−ipx + bs† s
p v (p) e
ipx
. (1.59)
Using the well-known formula
Z
0
d3~x e±i(~p±~p ).~x = (2π)3 δ(~p ± p~0 )
we can perform trivially the integration over d3~x, and then we can integrate
directly over d3 p~0 .
Multiplying the two integrand factors (. . .) × (. . .) in 1.60 we obtain four
terms. Taking into account the formulas 1.52 (see Example)
0 0 0 0 0
us † (~p) us (~p) = v s † (~p) v s (~p) = 2 Ep~ δ s s , us † (~p) v s (−~p) = v s † (−~p) us (~p) = 0 ,
we obtain two zero contributions and in the two remaining terms we can per-
form the summation over s0 . In this way we obtain a preliminary expression
for the Dirac field energy
Z
1 d3 p~ X ¡ s† s ¢
HD = 3
p ap ap − bsp bs†
p . (1.60)
(2π) 2Ep s
Note: Let us remind that for scalar field an analogous calculation gives
the following result for the energy of a real scalar field
Z
1 d3 p~ 1 ¡ † ¢
H = 3
p ap ap + ap a†p . (1.61)
(2π) 2Ep 2
After quantization the coefficients ap = ap~ and a†p = a†q~ are replaced by
operators satisfying the canonical commutation relations for the bosonic an-
nihilation and creation operators:
21
[ap , aq ] = [a†p , a†q ] = 0 . (1.62)
The annihilation and creation operators act in Fock space F, which is a
Hilbert space spanned by normalized n-particle states
where the symbol ∼ means that we do not indicate explicitly the normaliza-
tion factor on right hand side. The state |0i is a normalized vacuum state
in Fock space, h0|0i = 1, which does not contain any particle and is defined
by relations
ap |0i = 0 , for all p = (Ep , p~) . (1.64)
The scalar field energy given by (1.61) is ill-defined (divergent) in the Fock
space.
The consistency of QFT formalism requires that all physical field quanti-
ties, such as energy, should be well-defined in Fock space. This is guaranteed
when they are given in terms of a normal products of annihilation and cre-
ation operators: in any term containing products of those operators we put
all creation operators a†q to the left and all annihilation operators ap to the
right:
: ap . . . a†q . . . a†q0 . . . ap0 : = a†q . . . a†q0 ap . . . ap0 , . (1.65)
The normal product is labeled by : . . . :. The right hand side contains first
the product of all creation operators followed the product of all annihilation
operators entering the original expression. In particular,
Such approach can not be applied in the case of Dirac Hamiltonian. Con-
sidering in (1.60) bosonic annihilation and creation operators we would ob-
22
tain: Z
1 d3 p~ X ¡ s† s ¢
HD = p ap ap − bs† s
p bp .
2π 3 2Ep s
Although it is a finite expression in Fock space, it is unbounded from below.
However, the energy should be bounded below, otherwise the system will be
not stable.
{arp , as† r s† 3
p − ~q) δ rs ,
q } = {bp , bq } = (2π) δ(~
{arp , bs† r s† r s r† s†
q } = {bp , aq } = {ap , bq } = {bp , aq } = 0 . (1.67)
In particular,
(arp )2 = (as† 2 r 2 s† 2
p ) = (bp ) = (bp ) = 0 . (1.68)
asp |0i = bsp |0i = 0 , pre s = ±1/2 a vsetky p = (Ep , p~) . (1.70)
This definition is similar to bosonic case but there are essential differences:
23
• The right hand side contains first the product of all creation operators
followed by all annihilation operators entering the expression on left hand
side,
• in addition the definition contains a sign factor (−1)n , where n is the
number of neighbor transpositions needed to reshuffle the rights side to its
normal order on left hand side.
In particular,
: br† s s r† r† s
q bp : = − : bp bq : = bq bp . (1.72)
Using this normal ordering, the energy of a free Dirac field is represented
by a sum of two positive terms:
Z X ¡
1 3 s† s s s†
¢
HD = d p
~ : E p ap ap − E p b p b p :
(2π)3 s
Z X¡
1 ¢
= d3 p~ Ep as† s s† s
p ap + Ep bp bp . (1.73)
(2π)3 s
where ψ̄(x) a ψ(x) are given as linear combinations (1.60) of particle solutions
of Dirac equation. As we are consider quantum field we introduced in (1.74)
the normal product from the very beginning. Performing analogical steps as
used for energy operator we obtain the following result:
Z X¡
1 ¢
P~ = d3
p
~ p
~ a s† s
p ap + p
~ b s† s
p bp . (1.75)
(2π)3 s
24
On a classical (non-quantized) level this invariance leads to the continuity
equation for the current density:
• Let ψ(x) and ψ̄(x) are solutions of the Dirac equations
∂µ j µ (x) = 0 . (1.78)
In the last step we used the Gauss theorem: we integrated the function
div~j(t, ~x) over 3-ball |~x| ≤ R and used the fact that the 3-current vanish on
3-sphere with radius ~x| = R.
25
In the quantum case the field charge is defined by same expression but
with normal ordered charge density (we skip variable t):
Z
Q = e d3~x : ψ̄(x) γ 0 ψ(x) : , (1.80)
We insert here the ψ̄(x) a ψ(x) particle solutions of Dirac equation with ex-
pansion coefficients being corresponding annihilation and creation operators.
Performing similar steps as used for energy operator we obtain the result:
Z X¡
e 3
¢
Q = 3
d p
~ as† s s† s
p ap − bp bp . (1.81)
(2π) s
The interpretation of the free Dirac field. The state of the field with n
particles (electrons) and m anti-particles (positrons) with given momenta
and spins is given by the following vector normalized vector in Fock space:
26
= e (n − ) |(p1 , r1 ), . . . , (pn , rn ); (q1 , s1 ), . . . , (qm , sm )i . (1.85)
These eigenvalue equations are a direct consequence of formulas
s† 0 0 0 0 0
[as† s
p − p~0 ) δ ss as†
p ap , ap0 ] = δ(~ p , [as† s s
p − p~0 ) δ ss asp0† ,
p ap , ap0 ] = −δ(~
0
s† 0 0 0
[bs† s
p − p~0 ) δ ss bs†
p bp , bp0 ] = δ(~ p , [bs† s s
p − p~0 ) δ ss bs†
p bp , ap0 ] = −δ(~ p . (1.86)
s† 0 0 0
s† s † s s†
as† s s† s s†
p − p~0 ) .
p ap , ap0 + ap ap0 ap , = ap {ap , ap0 } = ap δ(~
Last expression is equivalent to the desired formula (we used the definition
of the commutator, then we anti-commutate two creation operators, and
finally we used the canonical anti-commutation relation among annihilation
and creation operators). The remaining relations can be proved similarly.
The operator identity [A, BC] = [A, B]C + B[A, C] gives more general
formulas
n
X
[ar† r
p ap , arp11† ... arpnn† ] = δ(~p − p~i ) δ rri apr11† . . . arpnn† ,
i=1
m
X
[bs† s
q bq , bsq11 † ... bsqnm † ] = δ(~q − ~qj ) δ ssj bsq11 † . . . bsqm
n†
. (1.87)
j=1
27
possess opposite electric charge (the electron charge e and the positron charge
is −e).
28
¡ ¢
(Ep γ 0 − ~γ .~p + m)γ 0 ei~p.(~x−~y) + (Ep γ 0 − ~γ .~p − m)γ 0 e−i~p.(~x−~y) ab
Z
1
= d3 p~ ei~p.(~x−~y) δab = δ(~x − ~y ) δab .
(2π)3
During calculations we have used the following steps:
• The anti-commutation canonical relations for annihilation and creation
operators 0 0 0
{asp , asp0† } = {bsp , bsp0† } = (2π)3 δ(~p − ~q0 ) δ ss ,
• the sum rules
X 0
usa (p) usb † (p0 ) = (Ep γ 0 − ~γ .~p + m)γ 0 ,
s
X 0
vas (p) vbs † (p0 ) = (Ep γ 0 − ~γ .~p − m)γ 0 ,
s
The Dirac field propagator. We shall see later that the free field
propagators have a key rôle when the mutual interaction among particles
is described within the framework of perturbation theory. First we briefly
remind the form of the scalar field propagator, and then we derive its form
for the free Dirac field.
The scalar field propagator. Let us consider the free real scalar field
Z
1 d3 p~ ¡ ¢
φ(x) = 3
p ap e−ip.x + a†p e+ip.x , p = (Ep , p~) . (1.89)
(2π) 2Ep
Its propagator is defined as the vacuum mean value of the T-product of fields:
29
The symbol T [φ(x)φ(y)] denotes the time-ordered product of fields defined
by:
T [φ(x)φ(y)] = φ(x)φ(y) pre x0 > y0 ,
T [φ(x)φ(y)] = φ(y)φ(x) pre y0 > x0 . (1.91)
Let us consider first the case x0 > y0 , then
Inserting here the plane wave expansions (1.89) of φ(x) and φ(y) we obtain
Z
1 d3 p~d3 p~0 0
DF (x − y) = 6
p h0| ap a†p0 |0i e−ipx + ip y . (1.92)
(2π) 2Ep 2Ep0
Since,
h0| ap ap0 |0i = h0| a†p a†p0 |0i = h0| a†p ap0 |0i = 0 .
the potential other three terms do not contribute. Now we use in the formula
(1.92) for the propagator the canonical anti-commutation relation written in
the form
ap a†p0 = (2π)3 δ(~p − p~0 ) + a†p0 ap .
The first term on r.h.s. does not contribute (again, h0| ap ap0 |0i = 0), the
contribution from the second term is proportional to δ-function. This allows
to perform the integration over d3 p~0 , and after that we obtain
Z 3
1 d p~ −ip(x−y)
DF (x − y) = e , p = (Ep , p~) . (1.93)
(2π)3 2Ep
Using the same steps for y0 > x0 , we obtain
Z 3
1 d p~ +ip(x−x0 )
DF (x − y) = 3
e , p = (Ep , p~) . (1.94)
(2π) 2Ep
30
The explicit relativistic invariance of the final propagator formula has its
price. The 3 dimensional integration (1.93) and (1.94) is replaced by the 4
dimensional one: the zeroth component p0 is no more fixed to Ep and the
integration over dp0 is added. Therefore, in the relativistic formula (1.95)
the 4-momentum p is off the mass shell (or simply, off-shell): p2 6= m2 . This
is in contrast with the free particle 4-momentum p = (Ep , p~) which is on
the mass shell (or simply, on-shell): p2 = m2 .
The propagator for the Dirac field. The Dirac field propagator is again
defined as the vacuum mean value of the T-product of fields:
Here the symbol T [ψa (x)ψ̄b (y)] denotes the time-ordered product of fermionic
Dirac fields which is defined similarly as the T-product of bosonic, but with
the distinction that transposition of two fermionic fields changes the sign of
the product:
31
In the next step we use the canonical anti-commutation relation
0 0 0
asp asp0† = (2π)3 δ(~p − p~0 )δ ss − asp0† asp .
The non-vanishing contribution proportional comes from the first term: the
0
presence of δ(~p − p~0 ) allows a direct integration over d3 p~0 and δ ss allows a
summation over s0 . Performing these steps we obtain
Z 3 X
1 d p~ 0
h0| T [ψa (x)ψ̄b (y)] |0i = 3
usa (p) ūsb (p) e−ip(x−x ) .
(2π) 2Ep s
(1.99)
where DF (x − y) denotes the expression valid for scalar field propagator
for x0 > y0 (we have used the simple formula i∂µx exp(−ip(x − y)) =
pµ exp(−ip(x − y))).
Similarly, for y0 > x0 we obtain
32
where DF (x − y) denotes the expression valid for scalar field propagator for
y0 > x 0 .
We see that in both cases we obtain the identical expression for the Dirac
propagator in terms of DF (x − x0 ). Finally, we can write
¡ ¢
SF (x − x0 ) = iγ µ ∂µx + m1 DF (x − x0 )
Z
i 4 γ µ pµ + m 0
= 4
d p 2 2
e−ip(x−x ) . (1.102)
(2π) p − m + iε
In this final formula we suppressed the matrix indices of the Dirac propagator.
33
2 The electromagnetic field
~˙ ,
~ = ∇A0 + A
E i = F0i = ∂0 Ai − ∂ i A0 ⇔ E
1 ijk ~ = ∇×A ~.
Bk = ε Fij ⇔ B (2.104)
2
The indices i, j, k, take values 1, 2, 3 (the summation convention is under-
stood), the dot over the symbol means the time derivative, i.e., A~˙ = ∂t A,
~
the symbol ∇ denotes the gradient which is the vector differential operator
∇ = (∂x1 , ∂x2 , ∂x3 ) = −(∂ 1 , ∂ 2 , ∂ 3 ).
34
The charge density ρ and the space current density J~ form the 4-vector
~
of the current density: J µ = (ρ, J).
35
We see that the Gauss law determines the time-component A0 of the elec-
tromagnetic field potential.
The Maxwell equations represent true equations of motion for the space
components Ai , i = 1, 2, 3, of the electromagnetic field potential. The
~ reads:
Maxwell equations for vector potential A
~˙ − ∇ × B
E ~ = J~ , (2.109)
E ~˙ ⊥ ,
~ = ∇A0 + ∇λ̇ + A (2.113)
Here, A0 should be replaced by (2.112).
Now, we insert into Hamiltonian H the decompositions of A ~ and E
~ into
the transversal and longitudinal parts (see equations (2.111) and (2.113)):
Z
1 ~˙ 2 1 ~ ⊥ )2 − e J.
~A ~⊥
H = d3~x [ A ⊥ + (∇ × A
2 2
36
1 ~
+ (∇A0 + ∇λ̇)2 − (∇A0 + ∇λ̇).∇A0 + e ρ A0 − e J.∇λ, , (2.114)
2
• The first line contains just the transversal part of A ~ ⊥ and its interaction
~
with the space part J of the electromagnetic current density.
• Using the formula (2.112) for A0 we can rewrite the first term on the
second line in the following way
Z Z
1 3 2 e2 ρ(t, ~x) ρ(t, ~y )
d ~x (∇A0 + ∇λ̇) = d3~xd3 ~y . (2.115)
2 8π |~x − ~y |
This contribution just represents the Coulomb energy of external charges.
• Due the Gauss law the second term on second line vanish. Still there
is the third term proportional to λ. As we shall show below, the gauge
invariance allow us choose λ = 0 i.e., we can choose the Coulomb gauge in
which the vector potential is transversal:
~ = A
A ~⊥ ⇔ ~ = 0.
∇.A (2.116)
In Coulomb gauge the Hamiltonian has the form
Z
1 ~˙ 2 1 ~ ⊥ )2 ]
H = d3~x [ A ⊥ + (∇ × A (2.117)
2 2
Z 2 Z
−e ~A
d3~x J. ~⊥ + e d3~xd3 ~y
ρ(t, ~x) ρ(t, ~y )
, (2.118)
8π |~x − ~y |
~⊥
• The first line contains just the free transversal electromagnetic field A
(since, the Hamiltonian is quadratic);
• the second line contain the interaction of transversal field A ~ ⊥ with
~
external electromagnetic current J and the Coulomb energy external charges.
37
Then the Maxwell equations of motion for Ai reduce to the Klein-Gordon
equations
∂µ F µi = ¤ Ai − ∂ i ∂µ Ai = ¤ Ai ¤ = ∂µ ∂ µ ,
~
The last condition guarantees the transversality of the photon field A.
The Quantization. We replace the expansion coefficients aσ (k) and a†σ (k)
in (2.120) by annihilation operators aσ (k) and creation operator a†σ (k), re-
spectively. We postulate for them the boson commutation relations:
38
Polarization sum. The polarization vectors ~eσ (k) and ~e∗σ (k), σ = 1, 2,
supplemented by vector ~e0 (k) = |~~ee| form an orthonormal base in the 3-
dimensional space of 3-momenta ~k. Therefore,
X
ei0 (k) ej0 (k) + eiσ (k) ej∗ ij
σ (k) = δ .
σ=1,2
then we integrated over d3~k 0 and sum over σ 0 . Taking into account the
polarization sum (2.124) we obtain, in the case x0 > x00 , the formula for
propagator
Z 3~ µ ¶
ij 0 1 dk ij kikj 0
DC (x − x ) = δ − e−ikx(−x )
(2π) 3 2ωk ~
k 2
Z 3~
¡ ij −1 i j
¢ 1 d k −ikx(−x0 )
= δ −4 ∂∂ 3
e . (2.127)
(2π) 2ωk
39
• Similarly, for x00 > x0 , we obtain:
Z
¡ ¢ 1 d3~k −ikx(−x0 )
DCij (x − x ) = δ ij − 4−1 ∂ i ∂ j
0
e . (2.128)
(2π)3 2ωk
In both cases the last integral exactly corresponds the expression for
the scalar field propagator. Therefore, introducing off-shell 4-momentum
k = (k0 , ~k) with arbitrary k0 (instead of on-shell k = (ωk , ~k)) we obtain,
irrespective time-ordering, one common formula for the photon propagator:
Z −ik(x−x0 )
ij 0
¡ ij −1 i j
¢ i 4 e
DC (x − x ) = δ − 4 ∂ ∂ dk 2
(2π)4 k + iε
Z µ ¶
1 4 ij kikj i 0
= dk δ − e−ikx(−x ) . (2.129)
(2π)4 ~k 2 2
k + iε
J ν = e ψ̄ γ ν ψ . (2.131)
40
• The Maxwell equations for electromagnetic field
∂µ F µν = − e J ν , (2.132)
The QED Hamiltonian. The form of the Hamiltonian can be derived along
same lines as we did above in the case of electromagnetic field interacting
with an external current (generated by charged particles):
Z
1 ~˙ 2 1 ~ ⊥ )2 ] + HD
H = d3~x [ A ⊥ + (∇ × A
2 2
Z Z Z
3 ~ ~ e2 3 3 ρ(t, ~x) ρ(t, ~y ) ~
−e d ~x J.A⊥ + d ~xd ~y − e d3~x J.∇λ . (2.136)
8π |~x − ~y |
Here HD is the free Dirac field Hamiltonian
Z
HD = d3~x ψ̄(−i~γ .∇ + m)ψ (2.137)
41
We can eliminate the last term in Hamiltonian depending on a longitudi-
nal part ∇λ(x) of the magnetic field by changing properly the phase of Dirac
field. Putting
However, the additional last terms just compensates the last ∇(x) depending
term in (2.133).
We see that the QED Hamiltonian can be always chosen in the form (we
write ψ and ψ̄ instead of ψ 0 and ψ̄ 0 ):
Z Z
3 1 ~˙ 2 1 ~ 2
H = d ~x [ A⊥ (x) + (∇ × A⊥ ) (x)] + d3~x ψ̄(x)(−i~γ .∇ + m)ψ(x)
2 2
Z 2 Z
3 ~ ~ ⊥ (x) + e ρ(t, ~x) ρ(t, ~y )
−e d ~x J(x).A d3~xd3 ~y , (2.140)
8π |~x − ~y |
The terms in H have the following interpretation:
• The first line in (2.140) corresponds to the Hamiltonian describing free
transversal photons and free charged particles (electrons and positrons),
• The second line in (2.140) describes interactions: the first term corre-
sponds to the interaction of photons with charged particles and second one
represents the mutual Coulomb interaction of charged particles.
42
where α(x) generates a real local (x-depending) change of the phase of Dirac
field:
• The terms 14 Fµν F µν and m ψ̄ψ are evidently gauge invariant, and
• the changes of the terms iψ̄ γ µ ∂µ ψ and −e ψ̄ γ ν ψ Aν mutually cancel
under gauge transformations.
Note. A special choice of the phase function α(x) may guarantee that elec-
tromagnetic field potential satisfies some additional gauge condition. Most
often used gauges are the following:
• The Coulomb gauge ∇.A ~ = 0 in which the electromagnetic potential
is transversal. This we were considering above, when we eliminated the
longitudinal part of the potential;
• The Lorentz gauge ∂µ Aµ = 0. This is a relativistic invariant gauge con-
dition (which remains same in all inertial systems). Later we shall consider
the electromagnetic field propagator in relativistic gauges.
43
The fermions in interaction picture. In the interaction picture the elec-
tron and positrons are described by free Dirac fields ψ(x) and ψ̄(x) which
can be expanded into plane waves
Z
1 d3 p~ X ¡ s s −ipx s† s ipx
¢
ψ(x) = p b p u (p) e + c p v (p) e , (2.143)
(2π)3 2Ep s
Z
1 d3 p~ X ¡ s s −ipx s† s ipx
¢
ψ̄(x) = p cp v̄ (p) e + b p ū (p) e , (2.144)
(2π)3 2Ep s
where bsp and bs†
p are fermionic annihilation and creation operators in Fock
p
describing electrons with 4-momentum p = (Ep , p~), Ep = p~2 + m2 , and
s s†
spin s = ±1/2. Similarly, cp and cp are fermionic annihilation and creation
operators describing positrons.
44
The fermion contraction h0|T [ψ(x)ψ(y)]|0i and h0|T [ψ̄(x)ψ̄(y)] |0i vanish.
45
~
where J(x) = ψ̄(x)~γ ψ(x) and ρ(x) = ψ̄(x)γ 0 ψ(x). The first term describes
the interaction of electrons and positrons with photons and the second term
the Coulomb interaction among charged particles.
46
• The second order contribution from the first term in interaction Hamil-
tonian proportional to e e which describes the interaction of charged particles
with photons, and
• the first order contribution from the second term in interaction Hamil-
tonian proportional to e2 which describes the mutual Coulomb interaction of
charged particles.
The Wick theorem gives the following contribution of the order e2 to the
scattering amplitude in question:
0
X Z
(2) (ie)2
Sf i = hf | d4 xd4 y : ψ̄(x)γ i ψ(x) : DCij (x − y) : ψ̄(y)γ j ψ(y) : |ii
2
0
X Z
e2 x0 − y 0
+ (−i) hf | d4 xd4 y : ψ̄(x)γ 0 ψ(x) : : ψ̄(y)γ 0 ψ(y) : |ii .
8π |~x − ~y |
(2.159)
In the first term we have explicitly indicated the 2 photon
P0 contraction (prop-
i j ij
agator) A⊥ (x)A⊥ (y) = DC (x − y). The symbol denotes the sum over
Dirac field contractions between electrons in initial/final states and those in
currents (represented by external lines). We stress that those summations
are identical in both interaction terms:
• The contributions from the first term have the form,
−i δ(x0 − y 0 )
DC00 (x − y) ≡ ., (2.162)
4π |~x − ~y |
47
The photon propagator in Coulomb gauge. The analysis presented above
suggest the following modification of Feynman rules:
Internal photon links. We join the transversal photon propagator DCij (x −
y) with DC00 (x − y) into one common Feynman photon propagator which in
x-representation in Coulomb gauge possesses the DCµν (x − y), µ, ν = 0, 1, 2, 3
given as follows:
Z
00 −i δ(x0 − y 0 ) 1 −i −ik(x−y)
DC (x − y) = = d4 k e ,
4π |~x − ~y | (2π)4 ~k 2
DC0j (x − y) = DCj0 (x − y) = 0 ,
Z µ ¶
ij 1 4 ij kikj i
DC (x − y) = dk δ − e−ik(x−y) . (2.163)
(2π)4 ~k 2 2
k + iε
In p-representation the photon propagator in Coulomb gauge is given as:
−i
D̃C00 (k) = , D̃C0j (k) = D̃Cj0 (k) = 0 ,
~k 2
µ ¶
i kikj
D̃Cij (k) = 2 δ ij
− . (2.164)
k + iε ~k 2
Note: In the process of the derivation of integral representation of DC00 (x−
y) we have used the well-known formula
Z Z
1 1 1 1 i~k.(~x−~y)
0 0
δ(x − y ) = 0 dk e0 −ik0 (x0 −y )
, = d3~k e
2 pi |~x − ~y | 2π 2 ~
k2
48
The vertex (2.165) would follow from the interaction Lagrangian density
Lint = −e : ψ̄(x)γ µ ψ(x) Aµ (x) : . (2.166)
Effectively, the Coulomb interaction among charged particles was replaced
by a ”new” interaction mediated by longitudinal electromagnetic field. This
field just generates the Coulomb interaction among charged particles and
there no ”new” particles - longitudinal photons in initial and final states.
The remaining Feynman rules stay unchanged:
• The rule for external and internal fermion links, and
• the rule for external transversal photon links.
Performing the gauge transformation (2.167) the integral (2.168) gains two
similar terms:
• The first one vanishes
Z
d4 x . . . d4 y : ψ̄(x)γµ ψ(x) : ∂ µ χν (x − y) . . . : ψ̄(y)γν ψ(y) :
Z
= − d4 x . . . d4 y : ∂ µ (ψ̄(x)γµ ψ(x)) : χν (x − y) . . . : ψ̄(y)γν ψ(y) : = 0 .
49
Z
= − d4 x . . . d4 y : ψ̄(x)γµ ψ(x) : χµ (x − y) . . . : ∂ ν (ψ̄(y)γν ψ(y)) : = 0 .
D̃Cµν (k) → D̃µν (k) = D̃Cµν (k) + k µ χ̃ν (k) + k ν χ̃µ (k) , (2.169)
ik 0 −k j
χ̃0 (k) = , χ̃j (k) = . (2.170)
k 2 ~k 2 k 2 ~k 2
Performing the corresponding p-representation gauge transformation (2.169),
the propagator D̃Cµν (k) is mapped to a simple fully relativistic form - the
photon propagator in Feynman gauge:
−i ηµν
D̃Fµν (k) = . (2.171)
k 2 + iε
In x-representation the Feynman propagator represented by the function
Z
µν 1 −i ηµν −ik(x−y)
DF (x − y) = 4
, d4 k 2 e . (2.172)
(2π) k + iε
−i e γ µ . (2.173)
50
• In x-representation we assign to vertex its position x - the integration
over d4 x is assumed.
The Feynman gauge represented a great progress: the formalism is rel-
ativistic invariant and the rules for diagram construction are much simpler
than those in Coulomb gauge.
Note: One can use other relativistic gauges for photon propagator. Quite
popular is the relativistic gauge depending on one parameter ξ:
µ ¶
µν −i kµkν
D̃ξ (k) = 2 ηµν − ξ 2 . (2.174)
k + iε k
51