+ All Categories
Home > Documents > Notes on Bound-State QED

Notes on Bound-State QED

Date post: 11-Jan-2022
Category:
Upload: others
View: 0 times
Download: 0 times
Share this document with a friend
50
Notes on Bound-State QED Ingvar Lindgren Department of Physics, Chalmers University of Technology and the G¨ oteborg University Based on notes 1987-91 Latex version (C/Dok/QED/Bound8791) March 10, 2003
Transcript
Page 1: Notes on Bound-State QED

Notes on Bound-State QED

Ingvar LindgrenDepartment of Physics, Chalmers University of Technology

and the Goteborg University

Based on notes 1987-91Latex version (C/Dok/QED/Bound8791)

March 10, 2003

Page 2: Notes on Bound-State QED

Contents

1 Semiclassical theory of radiation 3

1.1 Classical electrodynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.1.1 Maxwell’s equations in covariant form . . . . . . . . . . . . . . . . . 3

1.1.2 Interaction between electron and e-m field . . . . . . . . . . . . . . . 5

1.1.3 The Coulomb gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.2 The quantized radiation field . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.2.1 The transverse radiation field . . . . . . . . . . . . . . . . . . . . . . 6

1.2.2 The Breit interaction . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.2.3 The transverse photon propagator . . . . . . . . . . . . . . . . . . . 10

1.2.4 Comparison with the covariant treatment . . . . . . . . . . . . . . . 11

2 Covariant theory of Quantum-ElectroDynamics 13

2.1 The photon propagator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.2 The electron propagator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2.3 Single-photon exchange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.4 The bound-electron self energy . . . . . . . . . . . . . . . . . . . . . . . . . 20

2.4.1 General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

2.4.2 Renormalization in the nonrelativistic limit (Bethe’s treatment) . . . 21

2.4.3 Relativistic renormalization . . . . . . . . . . . . . . . . . . . . . . . 22

A Notations 27

A.1 Four-component vector notations . . . . . . . . . . . . . . . . . . . . . . . . 27

A.2 Alpha and gamma matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

B Representations of states and operators 29

1

Page 3: Notes on Bound-State QED

B.1 The Dirac delta function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

B.2 Dirac notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

B.3 Momentum eigenfunctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

B.4 Representation of states . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

B.5 Representation of operators . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

C Dirac free particle 34

C.1 Solutions to the Dirac equation . . . . . . . . . . . . . . . . . . . . . . . . . 34

C.2 Projection operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

C.3 Normalization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

C.4 The free-electron propagator . . . . . . . . . . . . . . . . . . . . . . . . . . 39

D The free-electron self energy 41

E Evaluation of the free-electron self-energy integral 42

F Some fourier transforms 43

F.1 Evaluation of the integral∫

d3k(2π)3

eik·r12

q2−k2+iη. . . . . . . . . . . . . . . . . . . 43

F.2 Evaluation of the integral∫

d3k(2π)3

(α1·k)(α2·k)eik·r12

q2−k2+iη. . . . . . . . . . . . . 43

G Feynman diagrams for bound states 45

H Dimensional analysis 47

2

Page 4: Notes on Bound-State QED

Chapter 1

Semiclassical theory of radiation

ch:ClassElDynThRad

1.1 Classical electrodynamicssec:ClassElDyn

1.1.1 Maxwell’s equations in covariant form

The Maxwell’s equations in vector form are1

∇ · E = ρ/ε0 (1.1a) Maxw.a

∇×B =1c2∂E

∂t+ µ0 j (1.1b) Maxw.b

∇ · B = 0 (1.1c) Maxw.c

∇×E +∂B

∂t= 0 (1.1d) Maxw.d

ρ is the electric charge density and j the electric current density. (Maxw.c1.1c) gives

B = ∇×A, (1.2) VectPot

where A is the vector potential. (Maxw.d1.1d) gives

E = −∂A

∂t−∇φ, (1.3) ScalPot

where φ is the scalar potential. (Maxw.a1.1a) and (

Maxw.b1.1b) give together with (

ScalPot1.3) and (

VectPot1.2)

−∇2φ− ∂

∂t∇ · A = ρ/ε0 = µ0 j

0,(∇2A− 1

c2∂2A

∂2t

)−∇

(∇ · A +

1c2∂φ

∂t

)= −µ0 j, (1.4) FieldEq

using ∇ × (∇ × A) = ∇(∇ · A) −∇2A. j0 = c2ρ (with ε0µ0 = c−2) is the scalar or’time-like’ part of the four-dimensional current

j = jµ = (c2ρ, j),1The formulas are here given for use in a consistent unit system, like the SI system (see Appendix

ch:DimAnalH).

Note that equations for use in a mixed system, like the Gaussian (c.g.s) unit system, used in many books,like in

MS84[1, Sect.1.2], will look differently.

3

Page 5: Notes on Bound-State QED

where the vector part is the three-dimensional current j. Similarly, the four-dimensionalvector potential

A = Aµ = (φ/c,A)

has the scalar part φ/c and the vector part A. With the d’Alambertian operator, theseequations can be expressed2

�φ− ∂

∂t

(∇A

)= µ0 j

0 (1.5)

�A + ∇(∇A

)= µ0 j, (1.6)

which leads to Maxwell’s equations in covariant form

�A−∇(∇A) = µ0 j (1.7) MaxwCov

or

Aµ − ∂µ(∂νAν) = µ0 j

µ.

Lorentz condition

∇A = ∂µAµ = ∇ · A +

1c2∂φ

∂t= 0 (1.8) Lorentz

gives

�A = µ0 j (1.9) MaxwLor

Continuity equation

Operate on Maxwells’ equations (MaxwCov1.7) with ∇:

∇ (�A)−∇∇(∇A) = µ0∇j.

Since � = ∇2 and ∇ commute, this leads to the continuity equation

∇j = ∂µjµ = 0 (1.10) ContEq

Gauge invariance

Gauge transformation: A⇒ A+∇Λ Λ scalar.

Insert in (MaxwCov1.7): � (∇Λ)−∇(∇∇Λ) = � (∇Λ)−∇(�Λ) = 0

Maxwells’s equations are gauge invariant.2Concerning covariant notations, see Appendix

ch:NotA.

4

Page 6: Notes on Bound-State QED

1.1.2 Interaction between electron and e-m field

The relativistic interaction between an electron of charge −e and the electromagnetic fieldis

Hint = ecα · A− eφ (1.11) ClassInt0

or in covariant notations

Hint = −ec αA = −ec αµAµ. (1.12) ClassInt

1.1.3 The Coulomb gauge

Transverse and longitudinal field components

The vector part of the electromagnetic field can be separated into transverse (divergence-free) and longitudinal (rotation-free) components

A = A⊥ + A‖ ; ∇ · A⊥ = 0 ; ∇×A‖ = 0 . (1.13) ASep

The electric field can be similarly separated

E = E⊥ + E‖ ; E⊥ = −∂A⊥∂t

; E‖ = −∂A‖

∂t−∇φ ,

while the magnetic field has only transverse components due to (VectPot1.2). The separated field

equations (FieldEq1.4) then become

∇2φ+∂

∂t∇ · A‖ = −ρ/ε0 (1.14a)

(∇2A‖ −

1c2∂2A‖

∂2t

)−∇

(∇ · A‖ +

1c2∂φ

∂t

)= −µ0 j‖ (1.14b)

(∇2 − 1

c2∂2

∂2t

)A⊥ = −µ0jT . (1.14c)

The longitudinal and the scalar or ’time-like’ components (A‖, φ) represent the instanta-neous Coulomb interaction and the transverse components (A⊥) represent retardation ofthis interaction and all magnetic interactions, as well as the electromagnetic radiation field(see section

sec:PhotEx41.2.4).

The energy of the electromagnetic field is given by

Erad =12

∫d3x

[ 1µ0

∣∣B∣∣2 + ε0∣∣E∣∣2]

=12

∫d3x

[ 1µ0

∣∣B∣∣2 + ε0∣∣E⊥

∣∣2] +12

∫d3x ε0

∣∣E‖∣∣2 . (1.15) RadEn

The last term represents the energy of the instantaneous Coulomb field, which is normallyalready included in the hamiltonian of the system. The first term represents the radiationenergy.

5

Page 7: Notes on Bound-State QED

Semiclassically, only the transverse part of the field is quantized, while the longitudinalpart is treated classically

Sak67[2, Ch. 2,3]. It should be noted that the separation into trans-

verse and longitudinal components is is not Lorentz invariant and therefore not physicallyjustified, when relativity is taken into account. The retardation of the Coulomb interactionis represented by the transverse component (sec.

sec:PhotEx41.2.4), and therefore only the combination

of transverse and longitudinal components has physical significance.

In a fully covariatn treatment also the longitudinal component is quantized. The fieldis then represented by virtual photons with four directions of polarizations. A real photoncan only have transverse polarizations.

In the Coulomb gauge we have

∇ · A = 0, (1.16) CoulGauge

also known as the transversality condition. In this gauge there is no longitudinal compo-nent of A, and Maxwell’s equations then reduce to

∇2φ = −ρ/ε0 . (1.17) MaxwCoul

This has the solution

φ(x) =1

4πε0

∫d3x′

ρ(x′)|x− x′|

, (1.18) InstCoul

which is the instantaneous Coulomb interaction.

In free space the scalar potential φ can be eliminated by a gauge transformation.Then the Lorentz condition (

Lorentz1.8) is automatically fulfilled in the Coulomb gauge. The

field equation (FieldEq1.4) then becomes

∇2A− 1c2∂2A

∂2t= 0 . (1.19)

The relativistic interaction with an atomic electron (ClassInt01.11) is in the Coulomb gage given

by

Hint = ecα · A⊥ (1.20) IntCoul

and in second quantization

Hint =∑ij

c†j 〈i|ecα · A⊥|j〉 cj , (1.21) IntCoulSQ

where c†, c represent creation/annihilation operators for electrons. In the interactionpicture this becomes

Hint,I(t) =∑ij

c†i 〈i|ecα · A⊥|j〉 cj ei(εi−εj)t/~ . (1.22) IntCoulIP

1.2 The quantized radiation fieldsec:QuantRad

1.2.1 The transverse radiation fieldTransField

Classically a radiation field can be represented by the vector potentialSak67[2, Eq. 2.14]

A(x, t) =∑k

2∑p=1

[ckp εp e

i(k·x−ωt) + c∗kp εp e−i(k·x−ωt)

], (1.23) RadField

6

Page 8: Notes on Bound-State QED

where k is the wave vector, ω = c|k| the frequency, and ckp /c∗kp represent the amplitude

of the wave with the a certain k vector and a certain polarization εp. The energy of thisradiation can be shown to be equal to

Sak67[2, p.22]

Erad = 2ε0∑kp

ω2 c∗kp ckp = ε0∑kp

ω2(c∗kp ckp + ckp c

∗kp

). (1.24) RadEn2

By making the substitution

ckp →√

~2ε0 ωV

akp and c∗kp →√

~2ε0 ωV

a†kp ,

where a†kp, /akp are photon creation/annihilation operators, the radiation energy goes overinto the hamiltonian of a collection of harmonic oscillators

Hharm.osc = 12

∑kp

~ω (akp a†kp + a†kp akp).

Therefore, we can motivate that the quantized transverse radiation field can be representedby

Sak67[2, Eq. 2.60]

A⊥(x, t) =∑k

√~

2ε0ωV

2∑p=1

[akp εp e

i(k·x−ωt) + a†kp εp e−i(k·x−ωt)

](1.25) Acl

1.2.2 The Breit interactionsec:SingPhotCl

6r

6s

6a

6

s

s

1

2

6b

6r 6s

6a

B12s s2 1

6b

Figure 1.1: Diagrammatic representation of the exchange of a single, transverse photon between twoelectrons (left). This is equivalent to a potential (Breit) interaction (right). Fig:SingPhotCl

The exchange of a single transverse photon between two electrons is illustrated by thetime-ordered diagram (left) in Fig.

Fig:SingPhotCl1.1, where one photon is emitted at the time t1 and

absorbed at a later time t2. The second-order evolution operator for this process is givenby

U (2)γ (0,−∞) =

(−i~

)2∫ 0

−∞dt2Hint,I(t2)

∫ t2

−∞dt1Hint,I(t1) eγ(t1+t2) (t1 < t2) , (1.26) U2SP

where γ is the parameter for the adiabatic damping of the perturbation. The interactionhamiltonians are in the Coulomb gauge given by (

IntCoulIP1.22) with the vector potential (

Acl1.25)

Hint,I(t1) =∑k1

√~

2ε0ω1V

2∑p1=1

c†r⟨r∣∣(a†kp ecα · εkp e

−ik·x)1

∣∣a⟩ ca e−it1(εa−εr−~ω1)/~

Hint,I(t2) =∑k2

√~

2ε0ω2V

2∑p2=1

c†s⟨r∣∣(akp ecα · εkp e

ik·x)2

∣∣a⟩ cb e−it2(εb−εs+~ω2)/~, (1.27) Hint1

7

Page 9: Notes on Bound-State QED

which leads to the evolution operator

U (2)γ (0,−∞) = −c†rcac†scb

∑k

e2c2

2~ ε0V√ω1ω2

×∑p1p2

⟨rs

∣∣(akp α · εp eik·x)

2

(a†kp α · εp e

−ik·x)1

∣∣ab⟩× I , (1.28) U2SP2

where I is the time integral. The contraction between the creation and annihilationoperators (

Comma2.2) yields (ω = ω1 = ω2)∑

p1p2

⟨rs

∣∣(akp α · εp eik·x)

2

(a†kp α · εp e

−ik·x)1

∣∣ab⟩=

2∑p=1

⟨rs

∣∣(α · εp)2 (α · εp)1 e−ik·r12 (r12 = x1 − x2). (1.29) PolSum2

The time integral in (U2SP21.28) is

I =∫ 0

−∞dt2 e−it2(εb−εs+~ω+iγ)/~

∫ t2

−∞dt1 e−it1(εa−εr−~ω+iγ)/~

= − ~(εa + εb − εr − εs + 2iγ)(εa − εr − ~ω + iγ)

. (1.30) TimeInt

The result of the opposite time ordering t1 > t2 is obtained by the exchange 1 ↔ 2(r12 ↔ −r12), a ↔ b, and r ↔ s, and the total evolution operator, including both time-orderings, can be expressed

U (2)γ (0,−∞) = c†rcac

†scb

e2c2

ε0V

∑k

2∑p=1

⟨rs

∣∣(α · εp)1(α · εp)2M∣∣ab⟩

2ω(1.31) S2SP12

withM =

e−ik·r12

(εa + εb − εr − εs + 2iγ)(εa − εr − ~ω + iγ)

+eik·r12

(εa + εb − εr − εs + 2iγ)(εb − εs − ~ω + iγ)

= cos (k · r12)εa + εb − εr − εs − 2~ω + 2iγ

(εa + εb − εr − εs + 2iγ)(εa − εr − ~ω + iγ)(εb − εs − ~ω + iγ)

+i sin (k · r12)εa − εr − εa + εs

(εa + εb − εr − εs + 2iγ)(εa − εr − ~ω + iγ)(εb − εs − ~ω + iγ). (1.32) M

This can be compared with the evolution operator corresponding to a potential interactionB12 between the electrons, as illustrated in the right diagram of Fig.

Fig:SingPhotCl1.1,

U (2)η (0,−∞) = c†rcac

†scb 〈rs|B12|ab〉

(−i~

) ∫ 0

−∞dt e−it(εa+εb−εr−εs+iη)/~

= c†rcac†scb

〈rs|B12|ab〉εa + εb − εr − εs + iη

. (1.33) PotScatt

Identification then leads to

B12 =e2c2

2ε0ωV

∑kp

(α · εp)1(α · εp)2

×[cos (k · r12)

εa + εb − εr − εs − 2~ω + 2iγ(εa − εr − ~ω + iγ)(εb − εs − ~ω + iγ)

+i sin (k · r12)εa − εr − εb + εs

(εa − εr − ~ω + iγ)(εb − εs − ~ω + iγ)

]. (1.34) B12

8

Page 10: Notes on Bound-State QED

We assume that energy is conserved by the interaction, i.e.,

εa − εr = εs − εb = ~cq. (1.35) cq

Then (B121.34) becomes

B12 = − e2c2

2ε0ωV

∑kp

(α · εp)1(α · εp)2[cos (k · r12)

2ω(cq − ω + iγ)(−cq − ω + iγ)

−i sin (k · r12)2cq

(cq − ω + iγ)(−cq − ω + iγ)

]or

B12 =e2

ε0V

∑kp

(α · εp)1(α · εp)2cos (k · r12)− iq/k sin (k · r12)

q2 − k2 + iγ(1.36) B12b

with ω = ck. Since the contribution to the sum comes from k ≈ ±q, we can replace q/kby sgn(q). In addition, it is found that the sign of the imaginary part is immaterial (seeAppendix

sec:FT1F.1), and therefore we can replace the numerator by eik·r12 ,

B12 =e2

ε0V

∑kp

(α · εp)1(α · εp)2eik·r12

q2 − k2 + iγ. (1.37) B12c

The εp vectors are orthogonal unit vectors, which leads toSak67[2, Eq. 4.312]

3∑p=1

(α · εp)1(α · εp)2 = α1 · α2 . (1.38) SumEps3

This gives 2∑p=1

(α · εp)1(α · εp)2 = α1 · α2 − (α1 · k)(α2 · k), (1.39) SumEps2

assuming ε3 = k to be the unit vector in the k direction. The interaction (B12c1.37) then

becomes in the limit of continuous momenta (App.sec:ReprB.4)

B12 =e2

ε0

∫d3k

(2π)3[α1 · α2 − (α1 · k)(α2 · k)

] eik·r12

q2 − k2 + iγ. (1.40) B12d

With the fourier transforms in Appendixch:FTF this yields the retarded Breit interaction

BRet12 = − e2

4πε0

[α1 · α2

ei|q|r12

r12− (α1 · ∇1)(α2 · ∇2)

ei|q|r12 − 1q2 r12

](1.41) BreitRet

Setting q = 0, we obtain the instantaneous Breit interaction (real part)

BInst12 = − e2

4πε0

[α1 · α2 + 1

2 (α1 · ∇1)(α2 · ∇2) r12]

or using

(α1 · ∇1)(α2 · ∇2) r12 = −α1 · α2

r12+

(α1 · r12)(α1 · r12)r312

we arrive at

BInst12 = − e2

4πε0 r12

[12 α1 · α2 +

(α1 · r12)(α1 · r12)2r212

](1.42) BreitInst

which is the standard form of the instantaneous Breit interaction.

9

Page 11: Notes on Bound-State QED

6r

6s

6a

6

s

s

1

2

6b

+

6r

6s

6a6

s

s1

26b

=

6r 6s

6a

-s s1 2

6b

Figure 1.2: The two time-orderings of a single-photon exchange can be represented by a single Feynmandiagram. Fig:SingPhotF

1.2.3 The transverse photon propagatorsec:PhotProp2

We shall now consider both time-orderings of the interaction represented in the figuresimultaneously. The evolution operator can then be expressed

U (2)γ (0,−∞) =

(−i~

)2∫ 0

−∞dt2

∫ 0

−∞dt1 T

[Hint,I(t2)Hint,I(t1)

]e−γ(|t1|+|t2|), (1.43) U2SP3

where

T[Hint,I(t2)Hint,I(t1)

]=

Hint,I(t2)Hint,I(t1) t2 > t1

Hint,I(t1)Hint,I(t2) t1 > t2 .(1.44) T

In the Coulomb gauge the interaction is given by (IntCoulIP1.22) and the vector potential is given

by (Acl1.25). The evolution operator for the combined interactions will then be

U (2)γ (0,−∞) = −c†rcac†scb

e2c2

~2×∫ 0

−∞dt2

∫ 0

−∞dt1 T

[(α · A⊥)1 (α · A⊥)2

]e−it1(εa−εr+iγ)/~ e−it2(εb−εs+iγ)/~. (1.45) U2SP4

HereT

[(α · A⊥)1 (α · A⊥)2

]=

∑kp

~2ωε0V

(α · εp)1 (α · εp)2

×

e−i(k1·x1−ωt1) ei(k2·x2−ωt2) t2 > t1

e−i(k2·x2−ωt2) ei(k1·x1−ωt1) t1 > t2

or with r12 = x1 − x2 and t12 = t1 − t2

T[(α · A⊥)1 (α · A⊥)2

]=

~ε0

2∑p=1

(α · εp)1 (α · εp)21V

∑k

e∓i(k·r12−ωt12)

2ω, (1.46) PhProp2

where the upper sign is valid for t2 > t1. This yields

U (2)γ (0,−∞) = −c†rcac†scb

e2c2

ε0~2

∫ 0

−∞dt2

∫ 0

−∞dt1

×2∑

p=1

(α · εp)1 (α · εp)21V

∑k

e∓i(k·r12−ωt12)

2ωe−icq t12 eγ(t1+t2), (1.47) U2SP4a

10

Page 12: Notes on Bound-State QED

utilizing the energy conservation (cq1.35).

The boxed part of the equation above is essentially the photon propagator (PhotProp2.10)

DF(2, 1) =1V

∑k

e∓i(k·r12−ωt12)

2ω⇒

∫d3k

(2π)3e∓i(k·r12−ωt12)

2ω. (1.48) PhProp

This can be represented by a complex integral

DF(2, 1) = i∫

d3k(2π)3

∫dz2π

eizt12

z2 − ω2 + iηeik·r12 , (1.49) PhotPropInt

where η is a small, positive quantity. As before, the sign of the exponent ik · r12 isimmaterial. The integrand has poles at z = ±(ω − iη), assuming ω to be positive. Fort2 > t1 integration over the negative half plane yields 1

2ω eiω t12 eik·r12 and for t1 > t2

integration over the positive half plane yields 12ω e

−iω t12 eik·r12 , which is identical to (PhProp1.48).

The evolution operator (U2SP4a1.47) can then be expressed

U (2)γ (0,−∞) = −c†rcac†scb

e2c2

ε0~

∫ 0

−∞dt2

∫ 0

−∞dt1

×2∑

p=1

(α · εp)1 (α · εp)2 DF(1, 2) e−icq t12/~ eγ(t1+t2)~. (1.50) U2SP5

1.2.4 Comparison with the covariant treatmentsec:PhotEx4

It is illustrating to compare the quantization of the transverse photons with the fullycovariant treatment, to be discussed in the next chapter. Then we simply have to replacethe sum in (

U2SP21.28) by the corresponding covariant expression

2∑p1p2=1

(akp α · εp)2 (a†kp α · εp)1 ⇒3∑

p1p2=0

(akp αµεµp)2 (a†kp α

νενp)1 . (1.51) eq:PolSum4

The commutation relation (Comma2.2) yields

3∑p1p2=0

(akp αµεµp)2 (a†kp α

νενp)1 = α1 · α2 − 1 . (1.52) Replace

We then find that the equivalent potential interaction (B12c1.37) becomes

V12 = −e2

ε0

∫d3k

(2π)3(1−α1 · α2

) eik·r12

q2 − k2 + iγ(1.53) V12

and with the fourier transform given in Appendixsec:FT1F.1

V12 =e2

4πε0 r12

(1−α1 · α2

)ei|q|r12 (1.54) CoulBreit

We shall now compare this with the exchange of transverse photons, treated above.We then make the decomposition

1−α1 · α2 =

1− (α1 · k)(α2 · k)

−α1 · α2 + (α1 · k)(α2 · k) .(1.55) Decompose

11

Page 13: Notes on Bound-State QED

The last part, which represents the exchange of transverse photons, is identical to (SumEps21.39),

which led to the Breit interaction. The first part, which represesents the exchange oflongitudinal and scalar photons, corresponds to the interaction

VC = −e2

ε0

∫d3k

(2π)3[1− (α1 · k)(α2 · k)

] eik·r12

q2 − k2 + iγ. (1.56) VC

This fourier transform is evaluated in Appendixsec:FT2F.2 and yields

VC = −e2

ε0

∫d3k

(2π)3(1− q2

k2

) eik·r12

q2 − k2 + iγ=e2

ε0

∫d3k

(2π)3eik·r12

k2 − iγ, (1.57) VC2

provided that the orbitals are generated in a local potential. Using the transform inAppendix

sec:FT1F.1, this becomes

VCoul =e2

4ıε0 r12. (1.58) CoulInst

Thus, we see that the exchange of longitudinal and scalar photons corresponds to theinstantaneous Coulomb interaction, while the exchange of the transverse photons corre-sponds to the Breit interaction. Note that this is true only if the orbitals are generated ina local potential.

If instead of the separation (Decompose1.55) we would separate the photons into the scalar part

(p = 0) and the vector part (p = 1, 2, 3),

1−α1 · α2 =

1

−α1 · α2 ,(1.59) Decompose2

then the result would be

V RetCoul =

e2

4ıε0 r12ei|q|r12

V RetGaunt = − e2

4πε0 r12α1 · α2 e

i|q|r12 . (1.60) CoulGauntRet

which represents the retarded Coulomb and the retarded magnetic (Gaunt) interaction.This implies that the longitudinal photon represents the retardation of the Coulombinteraction, which is included in the Breit interaction (

BreitRet1.41).

If we would set q = 0, then we would from (CoulGauntRet1.60) retrieve the instantaneous Coulomb

interaction (CoulInst1.58) and

− e2

4πε0α1 · α2 , (1.61) GauntInst

which is known as the Gaunt interaction. The Breit interaction will then turn into theinstanteneous interaction (

BreitInst1.42). This will still have some effect of the retardation of the

Coulomb interaction, although it is instantaneous.

We shall see later that the interactions (CoulGauntRet1.60) correspond to the interactions in the

Feynman gauge (VF2.48), while the instantaneous Coulomb and Breit intinteractions corre-

spond to the Coulomb gauge.

12

Page 14: Notes on Bound-State QED

Chapter 2

Covariant theory ofQuantum-ElectroDynamics

ch:CovQED

2.1 The photon propagatorsec:PhotProp

The covariant electromagnetic radiation field is in analogy with (Acl1.25) represented by the

four-component vector potential1MS84[1, Eq. 5.16]

Aµ(x) = A+µ (x) +A−µ (x) =

√1

2ε0ωV

∑kr

εµr

[akr e

−ikx + a†kr eikx

], (2.1) A

where

k = kµ = (k0,k) ; k0 = ω/c = |k| ; kx = ωt− k · x

are the covariant notations, defined in Appendixch:NotA, and r = (0, 1, 2, 3) represents the four

polarization states – two transverse (r = 1, 2), one longitudinal (r = 3) and one scalar(r = 0).

The creation and annihilation operators satisfy the following commutation relationMS84[1,

Eq.5.28] [akr, a

†k′r′

]= δk,k′δrr′ζr, (2.2) Comma

where ζr = (−1, 1, 1, 1) for r = (0, 1, 2, 3), which leads to the relationMS84[1, Eq.5.19]∑

rr′

[εµr akr, ενr′ a

†k′r′

]= −gµν δk,k′ . (2.3) AComm2

The contraction between the photon fields is defined as the difference between the timeand normal orderings

Aν(x2)Aµ(x1) = T[Aν(x2)Aµ(x1)

]−N

[Aν(x2)Aµ(x1)

]. (2.4) PhotContr0

Since the vacuum expectation value vanishes for every normal ordered product, it followsthat the contraction is equal to the vacuum expectation of the time-ordered product

Aν(x2)Aµ(x1) =⟨0∣∣T [

Aν(x2)Aµ(x1)]∣∣0⟩

. (2.5) PhotContr

1From now on we set ~ = 1.

13

Page 15: Notes on Bound-State QED

The Feynman photon propagator is defined by means of the photon-field contrac-tion

Aν(x2)Aµ(x1) =⟨0∣∣T [

Aν(x2)Aµ(x1)]∣∣0⟩

=ic ε0

DFνµ(x2 − x1). (2.6) PhotPropDef

With the radiation field (A2.1) this becomes

Aν(x2)Aµ(x1) =⟨0∣∣T [

Aν(x2)Aµ(x1)]∣∣0⟩

=⟨0∣∣Θ(t2 − t1)Aν(x2)Aµ(x1) + Θ(t1 − t2)Aµ(x1)Aν(x2)

∣∣0⟩=

⟨0∣∣∣Θ(t2 − t1)

[A+

ν (x2), A−µ (x1)]+ Θ(t1 − t2)

[A+

µ (x1), A−ν (x2)]∣∣∣0⟩

=∑

k1k2r1r2

12ε0V

√ω1ω2

⟨0∣∣∣Θ(t2 − t1)

[εµr2 ak2r2 , ενr1 a

†k1r1

]e−i(k2x2−k1x1)

+ Θ(t1 − t2)[εµr1 ak1r1 , εµr2 a

†k2r2

]ei(k2x2−k1x1)

∣∣∣0⟩= −gνµ

∑k

12ε0ωV

[Θ(t2 − t1) e−ik(x2−x1) + Θ(t1 − t2) eik(x2−x1)

]= −gνµ

∑k

12ε0ωV

e−ik·r12[Θ(t2 − t1) e−iω(t2−t1) + Θ(t1 − t2) eiω(t2−t1)

](2.7) PhotContr1

with r12 = x1 − x2. (The sign of k is immaterial).

The expression in the square brackets of (PhotContr12.7) can as in (

PhotPropInt1.49) be written as a complex

integral

I = Θ(t2 − t1) e−iω(t2−t1) + Θ(t1 − t2) eiω(t2−t1) = 2iω∫ ∞

−∞

dz2π

e−iz(t2−t1)

z2 − ω2 + iη. (2.8) ComplInt

Thus, ⟨0∣∣T [

Aν(x2)Aµ(x1)]∣∣0⟩

= −gνµi

ε0V

∑k

eik·r12

∫ ∞

−∞

dz2π

e−iz(t2−t1)

z2 − ω2 + iη

→ −gνµiε0

∫d3k

(2π)3eik·r12

∫ ∞

−∞

dz2π

e−iz(t2−t1)

z2 − ω2 + iη, (2.9) PhotProp0

and the photon propagator (PhotPropDef2.6) becomes (c.f (

PhotPropInt1.49))

DFνµ(x2 − x1) = −gνµ c

∫d3k

(2π)3eik·r12

∫ ∞

−∞

dz2π

e−iz(t2−t1)

z2 − ω2 + iη. (2.10) PhotProp

With z = ck0 , ω2 = c2k2, k2 = k20 − k2 this becomes in four-component form

DFνµ(x2 − x1) = −gνµ

∫d4k

(2π)4e−ik(x2−x1)

k2 + iη(2.11) PhotProp4

The photon propagator (PhotProp2.10) can be expressed

DFνµ(x2 − x1) =∫

dz2π

e−iz(t2−t1)DFνµ(x2,x1; z), (2.12)

14

Page 16: Notes on Bound-State QED

where DFνµ(x2,x1; z) is the fourier transform with respect to time

DFνµ(x2,x1; z) = −gνµ c

∫d3k

(2π)3eik·r12

z2 − c2k2 + iη(2.13) PhotPropFT

The photon propagator (PhotPropFT2.13) can also be expressed⟨

x2

∣∣DFνµ(z)∣∣x1

⟩= −gνµ c

〈x2|ks〉〈ks|x1〉z2 − c2k2 + iη

, (2.14) PhotPropCoord

where

〈x|ks〉 = (2π)−3/2us(k) eik·x

is the momentum eigenfunction (MomEigB.33) and summation over s and integration over k are

understood. (PhotPropCoord2.14) is the coordinate representation (see section

sec:ReprOpB.5) of the operator

DFνµ(z) = −gνµ c|ks〉〈ks|

z2 − c2k2 + iη. (2.15) PhotPropOp

The corresponding momentum representation is

〈p2r2 |DFνµ(z)|p1r1〉 = −gνµc〈p2r2|ks〉〈ks|p1r1〉z2 − c2k2 + iη

= −gνµ c∑r1r2

δs,r2δs,r1

∫d3k δ3(p2 − k)δ3(p1 − k)

1z2 − c2k2 + iη

, (2.16) DFMom1

which leads to

〈p2r2 |DFνµ(z)|p1r1〉 = −gνµ c δ3(p2 − p1) δr2,r1

1z2 − c2p2 + iη

, (2.17) DFMom

where p = p1 = p2. The corresponding fourier transform is according to (OpFTB.38)∑

r1r2

ur2(p2) 〈p2r2|DFνµ(z)|p1r1〉u†r1(p1)

= DFνµ(p2,p1; z) = −gµν c δ3(p2 − p1)

1z2 − c2p2 + iη

. (2.18) DFFour

2.2 The electron propagatorsec:ElProp

The electron field is in the bound-interaction picture given by

ψ(x) =∑

j

cj(t)φj(x) ψ†(x) =∑

j

c†j(t)φ†j(x) , (2.19) ElField

where {φj} is a complete set of single-electron orbitals – with positive as well as negativeenergy – and cj(t), c

†j(t) are the corresponding time-dependent annihilation and creation

operators. The orbitals are generated by the Dirac hamiltonian in the field of the nucleus(with charge Z) and with an additional potential U

hD φa(x) =(cα · p + β mec

2 − Ze2

4πε0 r+ U

)φa(x) = εa φa(x), (2.20) DiracEq

where εa is the orbital energy eigenvalue. The operators have in this picture the timedependence

cj(t) = cj e−iεjt ; c†j(t) = c†j e

iεjt, (2.21) ctime

where cj , c†j are the time-independent operators.

15

Page 17: Notes on Bound-State QED

The Feynman electron propagator is defined by means of the contraction betweenthe electron field operators in analogy with (

PhotPropDef2.6)

ψ(x)ψ†(x′) =⟨0∣∣T [

ψ(x)ψ†(x′)]∣∣0⟩

= iSF(x2, x1). (2.22) ElPropDef

It should be noted that the propagator is a matrix with the elements defined by

iSF(x2, x1)α,β =⟨0∣∣T [

ψ(x)ψ†(x′)]∣∣0⟩

α,β=

⟨0∣∣T [

ψ(x)αψ†(x′)β

]∣∣0⟩. (2.23)

The time-independent operators satisfy the fermion anti-commutation ruleMS84[1,

Eq.4.39]

{ci, c†j} = ci c†j + c†j ci = δi,j . (2.24) Anticomm

We then get in analogy with (PhotContr12.7) for t1 6= t2 (t1 = t2 will be considered below)

ψ(x2)ψ†(x1) =⟨0∣∣T [

ψ(x2)ψ†(x1)]∣∣0⟩

=⟨0∣∣T [

Θ(t2 − t1)ψ(x2)ψ†(x1)−Θ(t1 − t2)ψ†(x1)ψ(x2)]∣∣0⟩

=⟨0∣∣T [

Θ(t2 − t1){ψ+(x2), ψ†+(x1)} −Θ(t1 − t2){ψ†−(x1), ψ−(x2)}

]∣∣0⟩=

⟨0∣∣∣T[

Θ(t2 − t1)∑pp′

{cp, c†p′} e−iεpt2 eiεp′ t1 φp(x2)φ

†p′(x1)

−Θ(t1 − t2)∑hh′

{ch′ , c†h} eiεh′ t1 e−iεht2 φh(x2)φ

†h′(x1)

]∣∣∣0⟩= Θ(t2 − t1)e−iεp(t2−t1)φp(x2)φ†p(x1)−Θ(t1 − t2)

∑h

e−iεh(t2−t1)φh(x2)φ†h(x1). (2.25)

Here, ψ±(x1) represent the electron field operators for particles and holes, respectively,and p, h represent particles and holes in the single-particle picture. The contraction abovecan now be expressed as a complex integral in analogy with (

PhotPropInt1.49)

⟨0∣∣T [

ψ(x1)ψ†(x1)]∣∣0⟩

= i∑

j

∫dz2π

φj(x2)φ†j(x1)

z − εj + iηje−iz(t2−t1), (2.26)

where ηj is a small real quantity with the same sign as εj . This gives the electron propagator(ElPropDef2.22)

SF(x2, x1) =∑

j

∫dz2π

φj(x2)φ†j(x1)

z − εj + iηje−iz(t2−t1) (2.27) ElProp

Here, j runs over positive and negative energy states, and η is a small positive quantity.

The contraction has so far been defined only for t1 6= t2. For the bound-state problemit is necessary to consider also equal-time contrations. We then define the time-orderingfor equal time as

T[ψ(x2)ψ†(x1)

]=

12

[ψ(x2)ψ†(x1)− ψ†(x1)ψ(x2)

](t1 = t2) (2.28)

16

Page 18: Notes on Bound-State QED

ψ(x2)ψ†(x1) =⟨0

∣∣∣T [ψ(x2)ψ†(x1)

]∣∣∣ 0⟩

=12

⟨0

∣∣∣ψ(x2)ψ†(x1)− ψ†(x1)ψ(x2)∣∣∣ 0

⟩=

12

∑p

φp(x2)φ†p(x1)−12

∑h

φh(x2)φ†h(x1) =

12

∑j

sgn(εj)φj(x2)φ†j(x1), (2.29)

where j as before runs over particles and holes. This can still be expressed by the integralabove, as can be seen from the relation

1εj − z − iεj η

=εj − z

(εj − z)2 + (εj η)2+

iεj η(εj − z)2 + (εj η)2

= P1

εj − z+ iπ sgn(εj) δ(εj − z). (2.30)

P stands for the principal-value integration, which does not contribute here. Therefore,the electron propagator (

ElProp2.27) is valid also for equal times.

The fourier transform with respect to time of the electron propagator (ElProp2.27) is

SF(x2,x1; z) =∑

j

φj(x2)φ†j(x1)

z − εj + iηj(2.31) ElPropFT

This can be regarded as the coordinate representation

SF(x2,x1; z) = 〈x2|SF(z)|x1〉 =〈x2|j〉 〈j|x1〉z − εj + iηj

(2.32) SFCoord

of the operatorSF(z) =

|j〉 〈j|z − εj (1− iη)

. (2.33) ElPropOp

Using the relation (OpExpB.39), this can also be expressed

SF(z) =1

z − hD (1− iη), (2.34) ElPropOp2

where hD is the Dirac hamiltonian (DiracEq2.20), hD |j〉 = εj |j〉. The corresponding momentum

representation is

SF(p2r2,p1r1; z) = 〈p2r2|SF(z)|p1r1〉 =〈p2r2|j〉 〈j|p1r1〉z − εj + iηj

. (2.35) SFMom

2.3 Single-photon exchangesec:SingPhotEx

The exchange of a single photon between two electrons is represented by the Feynmandiagram in Fig.

Fig:SingPhot2.1, and the scattering amplitude is given by 〈cd|S(2)|ab〉, where S(2) is

the second-order S-matrixMS84[1, Eq.7.1]

S(2) = −12

∫ ∞

−∞dt1

∫ ∞

−∞dt2 T

[Hint,I(t2)Hint,I(t1)

]e−η1|t1|−η1|t2|

= −12

∫∫d4x1 d4x2 T

[Hint,I(x2)Hint,I(x1)

]e−η1|t1|−η1|t2|. (2.36) S2

17

Page 19: Notes on Bound-State QED

6c 6d

6a

-s s1 µ 2 ν

6b

Figure 2.1: The Feynman representation of the exchange of a single, virtual photon between two electrons.The heavy lines represent electronic states in the bound-interaction picture. Fig:SingPhot

Here, Hint,I(t) is the interaction hamiltonian (c.f. Eq. (ClassInt1.12))

Hint,I(t) = c

∫d3xHint(x)

withHint,I(x) = −ec ψ†(x)αµAµ(x)ψ(x). (2.37) Hint

η1, η2 are adiabatic damping coefficients, which eventually go to zeroGML51,Su57[3, 4]. ψ(x) and

ψ†(x) are the electron-field operators in the bound-interaction picture (ElField2.19) (Note that the

interaction (Hint2.37) is defined without the normal-ordering in order to allow for equal-time

contractions discussed above). The exchange of a virtual photon represents a contractionbetween the photon fields (

PhotContr2.5)

S(2) = −e2c2

2

∫∫d4x1 d4x T

[(ψ†(x)ανAν(x)ψ(x)

)2

(ψ†(x)αµAµ(x)ψ(x)

)1

]e−η1|t1|−η2|t2|

= −e2c2

2

∑abcd

∫∫d4x1 d4x2

[c†dφ

†d(x)α

νcbφb(x)]2〈0|T [Aν(x2)Aµ(x1)]|0〉

×[c†cφ

†c(x)α

µcaφa(x)]1e−η1|t1|−η1|t2|. (2.38) S22

Identification with the second-quantized form

S(2) = 12

∑abcd

c†cc†d

⟨cd

∣∣S(2)∣∣ab⟩ cbca (2.39) Secquant

gives⟨cd

∣∣S(2)∣∣ab⟩ = −e2c2

∫∫d4x1 d4x2

[φ†d(x)α

νφb(x)]2〈0|T [Aν(x2)Aµ(x1)]|0〉

×[φ†c(x)α

µφa(x)]1e−η1|t1|−η1|t2|. (2.40) S23

Using the definition of the photon propagator (PhotPropDef2.6) this becomes⟨

cd∣∣S(2)

∣∣ab⟩ =

− ie2cε0

∫∫d4x1 d4x2

[φ†d(x)α

νφb(x)]2DFνµ(x2 − x1)

[φ†c(x)α

νφa(x)]1e−η1|t1|−η1|t2|. (2.41) S24

The time integral is ∫∫dt1 dt2 eit2(εd−εb) eit1(εc−εa) eiz(t1−t2) e−η1|t1|−η1|t2|

= 2π∆η1(εa − εc − z) ∆η2(εb − εd + z), (2.42) Timeint

18

Page 20: Notes on Bound-State QED

where the ∆ function is defined in Appendixsec:DiracfcnB.1.

Integration over z gives z = εa− εc = εd− εb = cq and the scattering amplitude (S242.41)⟨

cd∣∣S(2)

∣∣ab⟩ = −2πi∆η1+η2(εc + εd − εa − εb)

× e2c

ε0

∫∫d3x1 d3x2

[φ†d(x)ανφb(x)

]2DFνµ(x2 − x1; cq)

[φ†c(x)αµφa(x)

]1. (2.43) S25

With the photon propagator in the Feynman gauge (PhotPropFT2.13) this becomes⟨

cd∣∣S(2)

∣∣ab⟩ = 2πi∆η1+η2(εa + εb − εc − εd)

× e2

ε0

∫∫d3x1 d3x2

[φ†d(x)αµφb(x)

]2

[φ†c(x)αµφa(x)

]1

∫d3k

(2π)3eik·r12

q2 − k2 + iη. (2.44) S26

The time integration leads – in the limit η → 0 – to energy conservation at eachvertex with z treated as the energy parameter of the propagator.

6c 6d

6a

V12s s1 2

6b

Figure 2.2: The single-photon exchange is compared with the scattering of a potential, V12. Fig:SingPot

The single-photon exchange can be compared with the scattering by an energy-dependentpotential interaction, V12(cq), (see Fig.

Fig:SingPot2.2) with the scattering amplitude⟨

cd∣∣S(2)

∣∣ab⟩ = −2πi∆η1+η2(εc + εd − εa − εb)⟨cd

∣∣V12(cq)∣∣ab⟩. (2.45) PotInt

Identification then gives

⟨cd

∣∣V12(cq)∣∣ab⟩ = −e

2

ε0

∫∫d3x1 d3x2

[φ†d(x2)αµφb(x2)

] [φ†c(x1)αµφa(x1)

∫d3k

(2π)3eik·r12

q2 − k2 + iη= −e

2

ε0

⟨cd

∣∣∣αµ1α2µ

∫d3k

(2π)3eik·r12

q2 − k2 + iη

∣∣∣ab⟩ . (2.46) PotEl

Thus, with αµ1α2µ = 1−α1 · α2, the equivalent potential in the Feynman gauge

becomes

V F12(cq) = −e

2

ε0(1−α1 · α2)

∫d3k

(2π)3eik·r12

q2 − k2 + iη(2.47) EqPot

which is identical to the previous result (V121.53). The Fourier transform then yields

V F12 = (1−α1 · α2)

e2

4πε0 r12ei|q|r12 (2.48) VF

19

Page 21: Notes on Bound-State QED

which is the retarded Coulomb and Gaunt interactions (CoulGauntRet1.60).

In calculating the first-order energy shift, corresponding to the exchange of a singlephoton, we employ the Gell-Mann-Low-Sucher

GML51,Su57[3, 4] prescription and set all ηi equal to η.

Then the energy shift in the (closed-shell) state Φ is given by

∆E = limη→0

iη2

∑n〈Φ|S(n)|Φ〉〈Φ|S|Φ〉

, (2.49) GMLS

which in lowest order becomes

∆E = limη→0

iη 〈Φ|S(2)|Φ〉. (2.50) GMLS1

Using (I.9), we get from (I.12)

limη1+η2→0

i(η1 + η2)2

〈cd|S(2)|ab〉 = δεc+εd, εa+εb〈cd|V12(cq)|ab〉

and the first-order energy shift becomes

∆E = 〈Φ|V12(cq)|Φ〉 = 〈ab|V12(cq)|ab〉 − 〈ba|V12(cq)|ab〉, (2.51) DeltaE1

where Φ is the antisymmetrized, unperturbed state |{ab}〉. This result is consistent withthe interpretation of V12 as an equivalent perturbing potential.

Due to the energy conservation of the scattering process, only diagonal (on-the-energy-shell) matrix elements of the potential are obtained from the analysis of the single-photonexchange. Off-diagonal elements are obtained from the analysis of the two-photon ex-change

Li89[5].

2.4 The bound-electron self energy

2.4.1 General

6a

6t 6

s

sz

6b

Figure 2.3: Diagram representing the first-order self-energy of a bound electron. Fig:SE

With the rules given in Appendixch:FeynmanG, the first-order electron self energy in the state

|a〉 is (see Fig.Fig:SE2.3)

∆SE(a) = i∫∫

d3x1 d3x2 φ†a(x2) iecαν

∫dx2π

iSF(x2,x1; εa − z)

× icε0

DFνµ(x2 − x1; z) iecαµ φa(x1) , (2.52) SE

20

Page 22: Notes on Bound-State QED

where the orbitals are generated by the Dirac equation (DiracEq2.20). SF(x2,x1; εa − z) is the

electron propagator (ElPropFT2.31), (

SFCoord2.32) and DFνµ(x2 − x1; z) is the photon propagator (

PhotPropFT2.13).

With the notations of Appendixch:CoordMomB, the self energy can be written

∆SE(a) = 〈a|Σ(εa)|a〉 = 〈a|x2〉〈x2|Σ(εa)|x1〉〈x1|a〉 , (2.53)

where〈x2|Σ(εa)|x1〉 =

i e2cαν

ε0

∫dz2π

SF(x2,x1; εa − z)DFνµ(x2 − x1; z)αµ

= −ie2c2

ε0

∫dz2π

∫d3k

(2π)3〈x2|αµe

ik·x|t〉〈t|αµe−ik·x|x1〉(εa − z − εt + iηt)

)(z2 − c2k2 + iη

) (2.54) SECoord

is the coordinate representation of the electron self-energy operator, Σ(εa). This is amass operator, which should be added to the Dirac hamiltonian in order to include theelectron self energy – together with a counter term to take care of the renormalization.Integration over z then yields

〈x2|Σ(εa)|x1〉 = − e2c

2ε0

∫d3k

(2π)31k

〈x2|αµeik·x|t〉〈t|αµe−ik·x|x1〉

εa − εt − ck sgn(εt), (2.55) SECoord2

where k = |k|. Integration over the angular part of k yields

〈x2|Σ(εa)|x1〉 = − e2c

4πε0 r12〈x2|αµ|t〉

∫ ∞

0

dk sin kr12

εa − εt − ck sgn(εt)〈t|αµ|x1〉, (2.56) SEInt

where r12 = |x1 − x2|. This yields the following expression for the self-energy operatoritself

Σ(εa) = − e2c

4πε0 r12αµ|t〉

∫ ∞

0

dk sin kr12

εa − εt − ck sgn(εt)〈t|αµ . (2.57) SEOp

Note that the self energy depends on the energy εa of the state |a〉.

2.4.2 Renormalization in the nonrelativistic limit (Bethe’s treatment)

For small k values and positive intermediate states, (SEOp2.57) reduces to

Σ(εa) = − e2c

4π2ε0αµ|t〉

∫ ∞

0

k dkεa − εt − ck

〈t|αµ . (2.58) SEOp1

The scalar part of αµαµ cancels in the renormalization, leaving only the vector part to be

considered,

Σ(εa) =e2c

4π2ε0α|t〉 ·

∫ ∞

0

k dkεa − εt − ck

〈t|α . (2.59) SEOp2

The corresponding operator for a free electron in the state p+ (see Fig. 2) is

ΣFree(p+) =e2c

4π2ε0α|q+〉 ·

∫ ∞

0

k dkεp+ − εq+ − ck

〈q+|α , (2.60) SEOpFree

restricting the intermediate states to positive energies. In the momentum representationthis becomes⟨

p′+∣∣ΣFree(p+)

∣∣p+

⟩=

e2c

4π2ε0〈p′+|α|q+〉 ·

∫ ∞

0

k dkεp+ − εq+ − ck

〈q+|α|p+〉 . (2.61) SEFreeMom0

21

Page 23: Notes on Bound-State QED

But since α is diagonal with respect to the momentum, we must have q = p = p′. Thus,

⟨p′+

∣∣ΣFree(p+)∣∣p+

⟩= −δ3p′,p

e2

4π2ε0

∣∣〈p+|α|p+〉∣∣2 ∫ ∞

0dk . (2.62) SEFreeMom2

Obviously, this quantity is infinite. Inserting a set of complete states (IdentB.41), this becomes

⟨p′+

∣∣ΣFree(p+)∣∣p+

⟩= −δ3p′,p

e2

4π2ε0〈p+|α|t〉 · 〈t|α|p+〉

∫ ∞

0dk . (2.63) SEFreeMom3

The free-electron self-energy operator can then be expressed

ΣFree(p+) = −δ3p′,pe2

4π2ε0α|t〉 ·

∫ ∞

0dk 〈t|α , (2.64) SEFreeOp

which should be subtracted from the bound-electron self-energy operator (SEOp22.59). We can

assume the intermediate states {j} to be indentical to those in the bound case. This givesthe renormalized self-energy operator

ΣRenorm(εa) =e2

4π2ε0α|t〉 ·

∫ ∞

0dk

εa − εtεa − εt − ck

〈t|α . (2.65) SEOpRen

The expectation value of this operator in a bound state |a〉 yields the renormalized bound-electron self energy in this approximation, i.e., the corresponding contribution to thephysical Lamb shift,

⟨a

∣∣ΣRenorm(εa)∣∣ a⟩ =

e2

4π2ε0 r12〈a|α|t〉 · 〈t|α|a〉

∫ ∞

0dk

εa − εtεa − εt − ck

. (2.66) BetheSE1

This result is derived in a covariant Feynman gauge, where the quantized radiation hastransverse as well as longitudinal components. In the Coulomb gauge only the formerare quantized. Since all three vector components above yield the same contribution, wewill get the result in the Coulomb gauge by multiplying by 2/3. Furthermore, in thenon-relativistic limit we have α → p/c, which leads to

⟨a

∣∣ΣRenorm(εa)∣∣ a⟩ =

e2

6π2c2ε0 r12〈a|p|t〉 · 〈t|p|a〉

∫ ∞

0dk

εa − εtεa − εt − ck

, (2.67) BetheSE

which is essentially the result of Bethe.

2.4.3 Relativistic renormalization

For the renormalization in the general case we use the momentum representation of theelectron self energy

∆SE(a) = 〈a|pr〉⟨pr

∣∣Σ(εa)∣∣p′r′⟩〈p′r′|a〉 , (2.68)

where the self-energy operator in the momentum represention is obtained by transformingthe coordinate representation (

SECoord22.55)

〈pr|Σ(εa)|p′r′〉 = 〈pr|x〉〈x|Σ(εa)|x′〉〈x′|p′r′〉 (2.69) SEMom1

or

22

Page 24: Notes on Bound-State QED

〈pr|Σ(εa)|p′r′〉 = − e2c

2ε01

(2π)3

∫∫d3x d3x′ u†r(p) e−ip·x

×∫

d3k(2π)3

1k

〈x|αµeik·x|qs〉〈qs|t〉〈t|q′s′〉〈q′s′|e−ik·x′αµ|x′〉

εa − εt − ck sgn(εt)ur′(p′) eip

′·x′

= − e2c

2ε0u†r(p) αµ

∑ss′

us(p− k)

×∫

d3k(2π)3

1k

〈p− k, s|t〉〈t|p′ − k, s′〉εa − εt − ck sgn(εt)

u†s′(p′ − k) αµ ur′(p′). (2.70) SEMom2

The corresponding expression for a free electron in the state p, r is obtained by replacingthe bound-electron energy εa by the free-electron energy εp,r and letting the intermediatestates run over free-electron states,⟨

pr∣∣ΣFree

∣∣p′r′⟩ = − e2c

2ε0δ3(p− p′) δrr′ αµ

∑s

∫d3k

(2π)31kus(p− k)

× 1εp,r − εp−k,s − ck sgn(s)

u†s(p− k) αµ . (2.71) SEFreeMom

The last two expressions contain some linearly divergent terms, which can be shown tocancel, making the expression only logarithmically divergent

MS84[1, p. 225].

6pr

6p− k, s 6

s

sk

1

2

6pr

Figure 2.4: Graphical illustration of the first-order free-electron self-energy (SEFreeMom2.71). Fig:SERen

The renormalized self-energy operator is the difference between the bound-stateand the free-electron operators⟨

pr∣∣ΣRenorm

∣∣p′r′⟩ =⟨pr

∣∣Σ(εa)− ΣFree∣∣p′r′⟩

= − e2c

2ε0u†r(p) αµ

∑ss′

∫d3k

(2π)31kus(p− k)

×[〈p− k, s|t〉〈t|p′ − k, s′〉

εa − εt − ck sgn(εt)− δ3(p− p′) δrr′

εp,r − εp+k,s − ck sgn(εs)

]u†s′(p

′ − k) αµ ur′(p′) . (2.72) SEFreeMom1

Using the relation (ClosProp4B.25) we can rewrite this as⟨

pr∣∣ΣRenorm

∣∣p′r′⟩ = − e2c

2ε0u†r(p) αµ

∑ss′

∫d3k

(2π)31kus(p− k) 〈p− k, s|t〉

×[ 1εa − εt − ck sgn(εt)

− 1εp,r − εp−k,s − ck sgn(s)

]×〈t|p′ − k, s′〉u†s′(p

′ − k)αµ ur′(p′) . (2.73) SERen

23

Page 25: Notes on Bound-State QED

The renormalized self energy is the average of this operator in the state a,

∆RenormSE =

∑pp′rr′

〈a|pr〉〈pr|ΣRenorm|p′r′〉〈p′r′|a〉 . (2.74) SERenAv

6a

6εa − z t 6

s

sz

1

2

6a

- 〈a| |a〉

6pr

6p− k, s 6

s

sk

1

2

6pr

Figure 2.5: Graphical illustration of the renormalization of the first-order electron (SERenAv2.74). The second

diagram represents the average of the free-electron self-energy in the bound state |a〉. Fig:SERen1

So far, no approximations have been made. Let us now assume that the boundstates |t〉 contain only positive free-electron components when εt > 0 and vice versa, i.e.,sgn(εt) = sgn(s). Then

⟨pr

∣∣ΣRenorm∣∣p′r′⟩ = − e

2c

2ε0u†r(p) αµ

∑s

∫d3k

(2π)31kus(p− k) 〈p− k, s|t〉

×[ 1εa − εt − ck sgn(s)

− 1εp,r − εp−k,s − ck sgn(s)

]〈t|p′ − k, s〉u†s(p′ − k) αµ ur′(p′) . (2.75) SERen2

or using (OpExpB.39)

⟨pr

∣∣ΣRenorm∣∣p′r′⟩ = − e

2c

2ε0u†r(p) αµ

∑s

∫d3k

(2π)31kus(p− k)

×⟨p− k, s

∣∣∣ 1

εa − hD − ck sgn(s)− 1

εp,r − hFreeD − ck sgn(s)

∣∣∣p′ − k, s⟩u†s(p

′ − k) αµ ur′(p′) .(2.76) SERen3

As a test of the general treatment, we let k → 0 and neglect negative energy contri-butions. Then us(p)〈p, s|t〉 in (

SERen22.75) becomes the fourier component 〈p|t〉

⟨pr

∣∣ΣRenorm∣∣p′r′⟩ = − e

2c

2ε0u†r(p) αµ

∫d3k

(2π)31k〈p|t〉

×[ 1εa − εt − ck

+1ck

]〈t|p′〉αµ ur′(p′) (2.77)

and after integrating over the angular part of k (see Appendixch:FTF) and eliminating the

scalar part of αµαµ we retrieve the Bethe result (

BetheSE12.66)

⟨p∣∣ΣRenorm

∣∣p′⟩ = − e2

2ε0

∫d3k

(2π)31k2

αµ〈p|t〉[ εa − εtεa − εt − ck

]〈t|p′〉αµ

=e2

4π2ε0 r12

∫dk α · 〈p|t〉

[ εa − εtεa − εt − ck

]〈t|p′〉α, . (2.78)

24

Page 26: Notes on Bound-State QED

6a

6εa − z t 6

s

sz

6a

-

6a

6εa − z qs 6

s

sz

6a

=

6a

6

6x s

6

s

sz

6a

=

=

6a

6

6x s

6

s

sz

6a

+

6a

6

x s6x s66

s

sz

6a

Figure 2.6: Diagram representing the first-order self-energy of a bound electron. Fig:SERen

In order to make contact with other treatment we will split the operator difference in(SERen32.76) into two parts. In the first part we replace εpr by εa, giving

1

εa − hD − ck sgn(s)− 1

εa − hFreeD − ck sgn(s)

=1

εa − hD − ck sgn(s)U

1

εa − hFreeD − ck sgn(s)

=1

εa − hFreeD − ck sgn(s)

U1

εa − hFreeD − ck sgn(s)

+1

εa − hFreeD − ck sgn(s)

U1

εa − hD − ck sgn(s)U

1

εa − hFreeD − ck sgn(s)

. (2.79)

The second part corrects for the difference,

1

εa − hFreeD − ck sgn(s)

− 1

εpr − hFreeD − ck sgn(s)

=1

εa − hFreeD − ck sgn(s)

[εpr − εa

] 1

εpr − hFreeD − ck sgn(s)

. (2.80)

25

Page 27: Notes on Bound-State QED

The first part becomes after transforming to the coordinate representation

∆RenormSE;1 = − e

2c

2ε0〈a|αµ|x〉

∫d3k

(2π)31keik·(x−x′)

×⟨x∣∣∣ 1

εa − hD − ck sgn(s)U

1

εa − hFreeD − ck sgn(s)

∣∣∣x′⟩〈x′|αµ|a〉 (2.81) Se1

The second part represents the difference between the free-electron self energy inserted ona free-electron lind and a bound-electron line.

26

Page 28: Notes on Bound-State QED

Appendix A

Notations

ch:Not

A.1 Four-component vector notations

Contravariant vector : x = xµ = (x0,x) = (ct,x)

(µ=0,1,2,3 and x is the three-dimensional coordinate vector)

Covariant vector : xµ = gµνxν = (x0,−x) = (ct,−x)

(Summation over repeated indices.)

Four-dimensional differential:

d4x = cdt− d3x and d3x = dxdy dz

Metric tensor : gij =

1 0 0 00 −1 0 00 0 −1 00 0 0 −1

Scalar product : ab = aµbµ = a0b0 − a · b

Gradient operator (covariant) : ∂µ =∂

∂xµ=

(1c

∂t,∇

)

Gradient operator (contravariant) : ∂µ =∂

∂xµ=

(1c

∂t,−∇

)

Four − dimensional divergence : ∂µAµ =

1c

∂A0

∂t+ ∇ · A = ∇A

d′Alembertian operator : � = ∂µ∂µ =1c2∂2

∂t2−∇2 = ∇2

27

Page 29: Notes on Bound-State QED

A.2 Alpha and gamma matrices

The alpha matrices are related to the standard gamma matrices by

γµ = γ0αµ ; αµ = (1,α) ; γ0 = β ; α = γ0γ = −γγ0

where α, β are the Dirac matrices.

6 a = aµγµ = a0γ

0 − a · γ

28

Page 30: Notes on Bound-State QED

Appendix B

Representations of states andoperators

ch:CoordMom

B.1 The Dirac delta functionsec:Diracfcn

We consider the integral ∫ L/2

−L/2dx eikx . (B.1)

Assuming periodic boundary conditions, e−iLx/2 = eiLx/2, limits the possible k values tok = kn = 2πn/L. Then

1L

∫ L/2

−L/2dx eiknx = δkn,0 = δ(kn, 0) , (B.2) IntL

where δn,m is the Kronecker delta factor1

δn,m ={

1 if m = n0 if m 6= n .

(B.3) Kronecker

If we let L → ∞, then we have to add a ’damping factor ’ e−η|x|, where η is a smallpositive number, in order to make the integral meaningful,∫ ∞

−∞dx eikx e−η|x| =

2ηk2 + η2

= 2π∆η(k) . (B.4)

In the limit η → 0, we have

limη→0

∆η(k) =12π

limη→0

∫ ∞

−∞dx eikx e−η|x| = δ(k), (B.5)

which can be regarded as a definition of the Dirac delta function, δ(k). Formally, we writethis relation as

12π

∫ ∞

−∞dx eikx = δ(k) (B.6) Deltafcn

1This may for typographical reasons sometimes be written δ(n, m), not to be confused by the deltafunction δ(x).

29

Page 31: Notes on Bound-State QED

The ∆ function also has the following properties

limη→0

πη∆η(x) = δx,0∫ ∞

∞dx∆η(x− a)∆κ(x− b) = ∆η+κ(a− b). (B.7) Deltaint

In three dimensions equation (IntLB.2) goes over into

1V

∫V

d3x eikn·x = δ3(kn, 0) = δ(knx, 0) δ(kny, 0) δ(knz, 0) . (B.8) IntV

In the limit where the integration is extended over the entire three-dimensional space, wehave in analogy with (

DeltafcnB.6) ∫

d3x

(2π)3eik·x = δ3(k) (B.9) Deltafcn3

B.2 Dirac notationssec:DiracNot

The ket vector |a〉 is a vector representation of the state a in a certain basis,

∣∣a⟩ =

a1

a2

··

. (B.10) Ket

The corresponding bra vector 〈a| is∣∣a⟩ = (a∗1, a∗2, · · · ) . (B.11) Bra

The basis states are represented by unit vectors |j〉

∣∣1⟩=

100··

∣∣2⟩=

010··

etc. (B.12) Basis

The basis set need not be numerable but can also form a continuum.

The scalar product of two vectors is denoted 〈a|b〉 and defined

〈a|b〉 =∑

t

a∗t bt . (B.13) ScalProd

It follows from the definitions that

at = 〈t|a〉 and a∗t = 〈a|t〉 . (B.14) aj

Then the scalar product (ScalProdB.13) can also be expressed

〈a|b〉 =∑

t

〈a|t〉〈t|b〉 = 〈a|t〉〈t|b〉 . (B.15) ScalProd2

30

Page 32: Notes on Bound-State QED

With the Dirac notations, a summation over intermediate states will always beunderstood. Since the relation (

ScalProd2B.15) holds for arbitrary vectors, we have the formal

identity

|t〉〈t| ≡ 1 (B.16) Id

which is known as the resolution of the identity.

The coordinate representation of the ket vector |a〉 is denoted 〈x|a〉 and is identical tothe state (Schrodinger) function

〈x|a〉 = Ψa(x) ; 〈a|x〉 = Ψ∗a(x) (B.17) StateFcn

(assuming for simplicity that there is only a single particle in the system). In analogywith (

ScalProd2B.15) the scalar product becomes

〈a|b〉 =∫

d3x 〈a|x〉〈x|b〉 =∫

d3x Ψ∗a(x) Ψb(x) . (B.18)

Also here we shall assume that an integration is always understood, i.e.,

〈a|b〉 = 〈a|x〉〈x|b〉 , (B.19) ScalProd3

which leads to the formal identity

|x〉〈x| ≡ 1 (B.20) Id2

From the closure property we have∑t

φ∗t (x)φt(x′) = 〈x|t〉〈t|x′〉 = 〈x|I|x′〉 = δ3(x− x′) , (B.21) ClosProp

which with the identity (IdB.16) leads to the formal identity

〈x||x′〉 = δ3(x− x′) (B.22) ClosProp2

This is also the coordinate representation of the identity operator (IdB.16). Note that here

there is no integration over the space coordinates. Setting x = x′ and integrating, leadsto unity on both sides.

The results above hold also when the basis states form a continuum, as can be illus-trated by the momentum eigenstates (

PlaneWB.27),

〈x|pr〉〈pr|x′〉 =∑

r

∫d3pφ∗pr(x)φpr(x′) =

∑r

u†r(p)ur(p)∫

d3p(2π)3

eip(x−x′), (B.23)

which using (I2B.30) and (

Deltafcn3B.9) leads to

|pr〉〈pr| ≡ 1 (B.24) Id3

Here, a summation over r and an integration over p is understood.

Similarly, we find

〈pr|I|p′r′〉 = 〈pr|x〉〈x|I|x′〉〈x′|p′r′〉

= ur(p)u†r′(p′)

1(2π)3

∫∫d3x d3x′ δ3(x− x′) eix·(p−p′) = δrr′ δ

3(p− p′) , (B.25) ClosProp4

using (ClosPropB.21) and (

Deltafcn3B.9).

31

Page 33: Notes on Bound-State QED

B.3 Momentum eigenfunctions

(See also Appendixsec:DiracC)

The Dirac eqn for a free particle(cα · p + βmec

2)φpr(x) = εpr φpr(x) (B.26) Dirac

has the normalized plane-wave solutions

φpr(x) =

√1Vur(p) eip·x → (2π)−3/2 eip·x ur(p) , (B.27) PlaneW

which are eigenfunctions of the momentum operator

p = −i∇ ; pφpr(x) = pφpr(x) .

r = + or − correspond to positive and negative energies, respectively. The momentumoperator p should be distinguished from the momentum vector p.

According to (uqC.10) we have

u+(p) = N

(p0 +mec

σ · p

); u−(p) = N

(−σ · pp0 +mec

); N =

1√2p0(p0 +mec)

(B.28) up

Epr = |εpr| = cp0 ; p0 =√

p2 +m2ec

2 (B.29)

With the normalization (NormIIC.24b) we have

u†r(p)ur′(p) = δr,r′ . (B.30) I2

The projection operators are with this normalization (uudagC.33a), (

vvdagC.33b)

Λ+(p) = u+(p)u†+(p) =p0 + α · p + βmec

2p0(B.31a)

Λ−(p) = u−(p)u†−(p) =p0 −α · p− βmec

2p0(B.31b)

∑r

ur(p)u†r(p) = u+(p)u†+(p) + u−(p)u†−(p) = I(4× 4). (B.32) uID

Note that Λ±(p) are functions of the momentum p and act as projection operators onlywhen operating on momentum eigenfunctions. The true projection operators, Λ±(p), areobtained by replacing p by the operator p.

B.4 Representation of statessec:Repr

Coordinate representation of a state |a〉 : φa(x) = 〈x|a〉Momentum representation of a state |a〉 : φa(pr) = 〈pr|a〉

32

Page 34: Notes on Bound-State QED

The momentum representation is the expansion coefficient of the state in momentumeigenfunctions

φpr(x) = 〈x|pr〉 =

√1Vur(p) eip·x (B.33) MomEig

〈x|a〉 =∑pr

〈x|pr〉〈pr|a〉 (B.34)

〈pr|a〉 =∫

d3x 〈pr|x〉〈x|a〉 =

√1V

∫d3x e−ip·x u†r(p)φa(x). (B.35)

In the limit of continuous momenta,∑

pr is replaced by∑

r

∫d3p and

√1V by (2π)−3/2.

The momentum representation is distinct from the fourier transform. The latter is definedas

〈p|a〉 =∑

r

ur(p)〈pr|a〉 =

√1V

∫d3x e−ip·x φa(x)

→ (2π)3/2

∫d3x e−ip·x φa(x), (B.36) FT

using the identity (uIDB.32).

B.5 Representation of operatorssec:ReprOp

Coordinate representation of an operator O: O(x2,x1) = 〈x2|O|x1〉Momentum representation of an operator O: O(p2r2,p1r1) = 〈p2r2|O|p1r1〉. Transfor-mation between the representations

〈p2r2|O|p1r1〉 =∫∫

d3x2 d3x1 〈p2r2|x2〉〈x2|O|x1〉〈x1|p1r1〉. (B.37) MomCoordTrans

The corresponding fourier transform is according to (FTB.36)∑

r1r2

ur2(p2)〈p2r2|O|p1r1〉u†r1(p1). (B.38) OpFT

Any operator with a complete set of eigenstates can be expanded as

O = |j〉 εt 〈j| where O|j〉 = εt |j〉 , (B.39) OpExp

using the summation convention (IdB.16). This gives the coordinate and momentum repre-

sentations

〈x2|O|x1〉 = 〈x2|j〉 εj 〈j|x1〉 (B.40a)

〈p2r2|O|p1r1〉 = 〈p2, r2|j〉 εj 〈j|p1r1〉. (B.40b)

The identity operator (IdB.16)

I = |j〉〈j| (B.41) Ident

has the coordinate and momentum representations

〈x2|I|x1〉 = 〈x2|j〉 〈j|x1〉 = δ3(x2 − x1) (B.42a)

〈p2r2|I|p1r1〉 = 〈p2r2|j〉 〈j|p1r1〉 = δ3(p′ − p) δr′,r. (B.42b)

33

Page 35: Notes on Bound-State QED

Appendix C

Dirac free particle

sec:Dirac

C.1 Solutions to the Dirac equation

The time-dependent Dirac eqn for a free particle is

i∂ψq(x)∂t

=(cα · p + βmec

2)ψq(x) (C.1) DiracFree

or ( iβc

∂t− βα · p−mec

)ψq(x) = 0(

γ0p0 − γ · p−mec)

=(6 p−mec

)ψq(x) = 0, (C.2) DiracFree2

where (see Chapterch:NotA)

ˆ6 p = γµpµ = γ0p0 − γ · p ; p0 =ic

∂t; p = −i∇

α =(

0 σσ 0

); β = γ0 =

(1 00 −1

); γ = γ0α =

(0 σ−σ 0

)

α = γ0γ = −γγ0

Separation of the wave function into space and time parts

ψq(x) = φq(x) e−iεqt (C.3) DiracSp

leads to the time-independent eqn

hfreeD (p)φq(x) =

(cα · p + βmec

2)φq(x) = εq φq(x) (C.4) DiracP

or (γ0εq/c− γ · p−mec

)φq(x) = 0 . (C.5) Dirac3

φq(x) is a four-component wave function, which can be represented by

φq(x) ∝ 1√Vur(q) eiq· x ; pφq(x) = qφq(x) . (C.6) MomFcn

34

Page 36: Notes on Bound-State QED

q is a momentum vector (to be distinguished from the momentum operator p) and ur(q)is a four-component vector function of the momentum q. For each q there are fourindependent solutions (r = 1, 2, 3, 4) to the Dirac eqn. The parameter q in φq and εqrepresents q and r or, more explicitly,

φq(x) = φq,r(x) ; εq = εq,r

With the wave function (MomFcnC.6), Eq. (

Dirac3C.5) leads to(

γ0εq/c− γ · q−mec)ur(q) = 0

or (εq/c−mec −σ · q

σ · q −εq/c−mec

)ur(q) = 0 , (C.7) Dirac4

where each element is a 2× 2 matrix. This eqn has two solutions for each q:

u+(q) = N+

(εq/c+mec

σ · q

); u−(q) = N−

(−σ · q

−εq/c+mec

)(C.8) DiracSol

corresponding to positive (r = 1, 2) and negative (r = 3, 4) eigenvalues, respectively.Defining q0 by

|εq| = Eq = cq0 ; q0 =√

q2 +m2ec

2 (C.9) q0

givesu+(q) = N+

(q0 +mec

σ · q

); u−(q) = N−

(−σ · qq0 +mec

)(C.10) uq

The corresponding eigenfunctions (MomFcnC.6) are

φq+(x) ∝ 1√Vu+(q) eiq· x ; φq−(x) ∝ 1√

Vu−(q) eiq· x . (C.11) MomFcn2

Note that the equation

(6 p−mec)φq+(x) = (γ0p0 − γ · p−mec)φq+(x)= (γ0q0 − γ · q−mec)φq+(x) = 0 (C.12a) MomPos

with p0 =√

p2 +m2ec

2 is satisfied by the positive energy solutions only, although thecorresponding time-dependent eqn (

DiracFree2C.2) is valid for all solutions, when is defined as a time

derivative. The corresponding negative energy solutions satisfy the

(−γ0p0 − γ · p−mec)φq−(x) = (−γ0q0 − γ · q−mec)φq−(x) = 0 (C.12b) MomNeg

or, after changing q to −q,

(−γ0p0 − γ · p−mec)φq−(x) = (−γ0q0 + γ · q−mec)φq−(x) = 0,

whereφq−(x) ∝ 1√

Vu−(−q) e−iq· x =

1√Vv(q) e−iq· x (C.13) MomNeg2

The vectors

u(q) = u+(q) and v(q) = u−(−q) = N−

(σ · q

q0 +mc

)(C.14) uv

then satisfy the eqns

(6 q −mc)u(q) = 0 and ( 6 q +mc) v(q) = 0, (C.15) uveqns

where q0 is given by (q0C.9). Note that the negative energy solution corresponds here to

the momentum −q for the electron (or +q for the hole/positron).

35

Page 37: Notes on Bound-State QED

C.2 Projection operators

It follows from (uveqnsC.15) that

(6 q +mec)u(q) = 2mec u(q),

which implies that

Λ+(q) = ( 6 q +mec)/2mec (C.16a) ProjPos

has the property of a projection operator in momentum space, projecting out the twopositive energy solutions of the four solutions corresponding to a given q. Similarly,

Λ−(q) = (− 6 q +mec)/2mec (C.16b) ProjNeg

projects out the negative solutions,

Λ+(q)u(q) = u(q) and Λ+(q) v(q) = 0 (C.17a) ProjPos2

Λ−(q)u(q) = 0 and Λ−(q) v(q) = v(q) (C.17b) ProjNeg2

andΛ+(q) + Λ−(q) = 1. (C.18) ProjSum

It should be noted that the corresponding momentum operators, operating in coordi-nate space,

Λ±(p) = (±6 p+mec)/2mec (C.19) ProjOp

do not have the corresponding properties when operating on the eigenfunctions φq± . For

instance, with p0 =√

p2 +m2ec

2 and q0 =√

q2 +m2ec

2

Λ+ φq−(x) ∝ (γ0p0 − γ · p +mec)φq (x) = (γ0q0 − γ · q +mec)φq (x) 6= 0

and

Λ+ φ−q−(x) ∝ (γ0p0 − γ · p +mec)φ−q (x) = (γ0q0 + γ · q +mec)φ−q (x) 6= 0

Instead, we can get the correct projection operators in coordinate space from (Dirac3C.5),

(MomFcnC.6)

(±γ0p0 − γ · p−mec)φq±(x) = 0. (C.20) ProjOp2

It then follows that the operators

Λc±(p) =

(p0 ± γ0(γ · p +mec)

)/2p0 =

(p0 ± (α · p + γ0mec)

)/2p0 (C.21) ProjOp3

have the following projection properties in coordinate space

Λc+(p)φq+(x) = φq+(x) and Λc

+(p)φq−(x) = 0 (C.22) ProjOp4

etc.

36

Page 38: Notes on Bound-State QED

C.3 Normalization

The norm of the vectors (uqC.10) is

u†+(q)u+(q) =∣∣N+

∣∣2(q0 +mec, σ · q)(q0 +mec

σ · q

)=

∣∣N+

∣∣2(q20 +m2ec

2 + (σ · q)2 + 2q0mec)I(2× 2)

=∣∣N+

∣∣22q0(q0 +mec) I(2× 2) = u†−(q)u−(q) (C.23)

using (σ · q)2 = q2 = q20 − m2ec

2. Two different normalization schemes are used in theliterature

I. u†r′(q)ur(q) = δr,r′q0mec

(C.24a) NormI

II. u†r′(q)ur(q) = δr,r′ . (C.24b) NormII

The first scheme is used, for instance, in ref.MS84[1], but we shall apply the second scheme.

Normalization I

This scheme gives

N+ = N− =1√

2mec (q0 +mec)(C.25) NI

and the normalized eigenfunctions (MomFcn2C.11)

φq±(x) =√mec

q0Vu±(q) eiq· x. (C.26) NormFcn

The adjoint vectors are defined

u(q) = u+(q) = u†+(q)γ0 = N+(q0 +mec, −σ · q) (C.27a) ubar

v(q) = u−(−q) = u†−(−q)γ0 = N−(−σ · q, −q0 −mec) (C.27b) vbar

u(q)u(q) =∣∣N+

∣∣2(q20 +m2ec

2 − (σ · q)2 + 2q0mec)

=∣∣N+

∣∣2 2mec (q0 +mec) I(2× 2) = −v(q) v(q). (C.28) baruuI

It also follows that

u(q) u(q) =∣∣N+

∣∣2 (q0 +mec

σ · q

)(q0 +mec, −σ · q)

=1

2mec (q0 +mec)

((q0 +mec)2 −(q0 +mec) σ · q

(q0 +mec) σ · q −q2

)1

2mec

((q0 +mec) −σ · q

σ · q −q0 +mec

)=6 q +mec

2mec= Λ+(q) (C.29a) ubaru

and similarly

v(q) v(q) =6 q −mec

2mec= −Λ−(q). (C.29b) vbarv

This gives

u(q) u(q)− v(q) v(q) = I(4× 4). (C.30) uvIdI

37

Page 39: Notes on Bound-State QED

Normalization II

The normalization (NormIIC.24b) gives

N+ = N− =1√

2q0 (q0 +mec)(C.31) NII

and the normalized eigenfunctions (MomFcn2C.11)

φq±(x) =1√Vu±(q) eiq· x. (C.32) NormFcnII

In analogy with (baruuIC.28) we then get

u+(q)u†+(q) =∣∣N+

∣∣2 (q0 +mec

σ · q

)(q0 +mec, σ · q)

=1

2q0

(q0 +mec σ · q

σ · q q0 −mec

)=q0 + α · q + βmec

2q0= Λ+(q) (C.33a) uudag

and similarly

u−(q)u†−(q) =∣∣N+

∣∣2 (−σ · qq0 +mec

)(−σ · q, q0 +mec)

=1

2q0

(q0 −mec −σ · q−σ · q q0 +mec

)=q0 −α · q− βmec

2q0= Λ−(q) (C.33b) vvdag

This gives the analogue of (uvIdIC.30)

u+(q)u†+(q) + u−(q)u†−(q) = I(4× 4). (C.34) uudagID

We also observe that the expressions (ubaruC.29a), (

vbarvC.29b)) have the same form as the projec-

tion operators in coordinate space (ProjOp3C.21), i.e.,

Λc±(p) = u±(p)u†±(p). (C.35) ProjOpCoord

In the following we shall use the normalization II, where the basic formulas are

φq±(x) =

√1Vu±(q) eiq· x

u†r′(q)ur(q) = δr,r′

∑r

ur(q)u†r(q) = I(4× 4)

38

Page 40: Notes on Bound-State QED

C.4 The free-electron propagator

The coordinate representation of the free-electron propagator is, using the wave functions(NormFcnIIC.32) in the normalization II, given by

SFreeF (x,x1) =

∑q,r

φq,r(x)φ†q,r(x′)z − εq,r(1− iη)

=1V

∑q,r

ur(q)u†r(q)eiq·(x−x′)

z − εq,r(1− iη)

→∫

d3q(2π)3

∑r

ur(q)u†r(q)eiq·(x−x′)

z − εq,r(1− iη)

=∫

d3q(2π)3

[u+(q)u†+(q)

1z − Eq(1− iη)

+ u−(q)u†−(q)1

z + Eq(1− iη)

]. (C.36) SFfree

The expression in the square brackets is the fourier transform of SFreeF (x,x′),

SFreeF (q, z) = u+(q)u†+(q)

1z − Eq(1− iη)

+ u−(q)u†−(q)1

z + Eq(1− iη)

=12

[1

z − Eq(1− iη)+

1z + Eq(1− iη)

]=

α · q + βmec

2q0

[1

z − Eq(1− iη)− 1z + Eq(1− iη)

], (C.37) SFfreeMom

using (uudagC.33a). With q0 = Eq/c =

√q2 +m2

ec2 this becomes

SFreeF (q, z) =

z + cα · q + βmec2

z2 − E2q + iη

=z + cα · q + βmec

2

z2 − c2q2 −m2ec

4 + iη

=1

z − (cα · q + βmec2)(1− iη)(C.38) SFfreeMom2

orSFree

F (q, z) =1

z − hFreeD (q)(1− iη)

, (C.39) SFfreeMom3

where hFreeD is the momentum representation of the Dirac hamiltonian (

DiracPC.4).

Formally, (SFfreeMom2C.38) can be written in four-component form with z = q0, where q0 is now

disconnected from Eq =√c2q2 +m2

ec4 , and using the relations (

DiracFree2C.2)

SFreeF (q, z) =

1c

q0 + α · q + βmec

q20 − q2 −m2ec

2 + iη=

1c

(6 q + βmec)γ0

q2 −m2ec

2 + iη

=1c

16 q − βmec+ iη

γ0 =1cSFree

F (q) (C.40) SFfreeMom4

withSFree

F (q) =1

6 q − βmec+ iηγ0 . (C.41) SFfreeMom5

The coordinate representation of the free-electron propagator (SFfreeC.36) can also be ex-

pressed

SFreeF (x,x′; z) =

〈x|q, r〉〈q, r|x′〉z − εq,r(1− iη)

=⟨x

∣∣∣SFreeF (z)

∣∣∣ x′⟩

39

Page 41: Notes on Bound-State QED

where SFreeF (z) =

|q, r〉〈q, r|z − εq,r(1− iη)

=1

z − hFreeD (1− iη)

(C.42) SFfreeOp

where is the Dirac operator (DiracPC.4).

The momentum representation of the operator (SFfreeOpC.42), which is obviously diagonal, is

given by the matrix representation with momentum eigenfunctions as basis functions⟨q, r

∣∣SFreeF (z)

∣∣q, r⟩ =⟨q, r

∣∣∣ 1

z − hFreeD (1− iη)

∣∣∣q, r⟩ =1

z − εq,r(1− iη), (C.43) SFmatrix

which is distinct from (SFfreeMom2C.38). The corresponding fourier transform is according to (

OpFTB.38)

and (uudagIDC.34) ⟨

q∣∣SFree

F (z)∣∣q⟩

=∑

r

ur(q)⟨q∣∣∣ 1

z − hFreeD (1− iη)

∣∣∣q⟩u†r(q) , (C.44) SEFT

which is identical to (SFfreeMomC.37) and (

SFfreeMom2C.38).

40

Page 42: Notes on Bound-State QED

Appendix D

The free-electron self energy

The wave function for the free electron is in normalization II given by (A5.32) fq+(x)=u+(q) ei q.xu+(q) ei q.x The Feynman amplitude for the first-order free-electron selfenergy is M = e2c(x2) an SF(x2, x1, Eq - z) am fq+(x1) DFnm(x2 - x1, z) (A6.1) wherethe free-electron propagator is from (A5.36) SF(x2, x1, Eq - z) = = ei q.(x2-x1) (A6.2)and the photon propagator in the Feynman gauge (A3.13) DFnm(x2 - x1, z) = - gnm(A6.3) Integration over d3x1 and d3x2 gives M = - am am u+(q) = u+(q) (A6.4) whereis the free-electron self energy in the momentum representation. Using the relations amam = - 2 ; amam = - am am= 2 ; am b am = - 2 am am b = 4 b, we then get = (A6.5)With Eq = cqo and z = cko this can be expressed = = go (A6.6) which agrees with (MS9.20).

Alternatively, we can start from (A6.1) with the electron propagator in operator form(A5.41), M = e2c(x2) anam fq+(x1) DFnm(x2 - x1, z) (A6.7) which gives = - am am(A6.8) and this leads to the same result as before. By evaluating the integral in (A6.6),which is logarithmically divergent (A7.10), the expression (A6.4) becomes M = u+(q) =igo A u+(q) = iA u+(q) (A6.9) where A is a number which depends logarithmically on thecut-off momentum L (see Appendix; Mandl- Shaw p 191; Jauch - Rohrlich p 181) A - =- atomic units (A6.10) With the expressions (A5.11) and the normalization II (A5.32,24),we get M = - i u+(q) = Ago u+(q) = A (qo + mc, ) = A = A (1 - ) = A (1 - + . .)(A6.11) This is the expectation value of go A in the free-electron state q+, q+ = = =(A6.12)

41

Page 43: Notes on Bound-State QED

Appendix E

Evaluation of the free-electronself-energy integral

(See Mandl- Shaw sect 10.2) The free-electron self energy is according to (A6.6) = go(A7.1) In (A6.4) this operates on the u+(q) vector and in view of the eqn (A5.16), (-mc) u+(q) = 0, we can then replace by mc, u+(q) = - go u+(q) = igo A u+(q) (A7.2)Regularizing the photon propagator by the substitution - = - (A7.3) and using the identity= 2 (A7.4) with a = k2 - t and b = k2 - 2qk gives A = - i (A7.5) With the identities = -= - (A7.6) this gives A = - = - (2 - x) (A7.7) This expression is logaritmically divergentwhen L (r) but convergent when l (r) 0. The leading term then becomes A - (2 - x) (A7.8)and (2 - x) = - 3x ln x = (A7.9) gives A - (A7.10)

42

Page 44: Notes on Bound-State QED

Appendix F

Some fourier transforms

ch:FT

F.1 Evaluation of the integral∫ d3k

(2π)3eik·r12

q2−k2+iηsec:FT1

Using spherical coordinates k = (k, θ, φ), (k = |k|), we have with d3k = k2dk sinΘ dΘ dΦand r12 = |x1 − x2|∫

d3k(2π)3

eik·(x1−x2)

q2 − k2 + iη= (2π)−2

∫ ∞

0

k2 dkq2 − k2 + iη

∫ π

0dΘ sinΘ eikr12 cos Θ

=i

4π2 r12

∫ ∞

0

k dk(eikr12 − e−ikr12

)k2 − q2 − iη

=i

8π2 r12

∫ ∞

−∞

k dk(eikr12 − e−ikr12

)k2 − q2 − iη

, (F.1) IntH1

where we have in the last step utilized the fact that the integrand is an even function of k.The poles appear at k = ±q(1 + iη/2q). eikr12 is integrated over the positive and e−ikr12

over the negative half-plane, which yields −e±iqr12/(4π r12) with the upper sign for q > 0.The same result is obtained if we change the sign of the exponent in the numerator of theoriginal integrand. Thus, we have the result∫

d3k(2π)3

e±ik·(x1−x2)

q2 − k2 + iη= −e

i|q|r12

4π r12(F.2) FT2

The imaginary part of the integrand, which is an odd function, does not contribute to theintegral.

F.2 Evaluation of the integral∫ d3k

(2π)3 (α1·k)(α2·k) eik·r12

q2−k2+iηsec:FT2

The integral appearing in the derivation of the Breit interaction (B12d1.40)is

I2 =∫

d3k(2π)3

(α1 · k)(α2 · k)eik·r12

q2 − k2 + iη

= (α1 · ∇1)(α2 · ∇2)∫

d3k(2π)3

1k2

eik·r12

q2 − k2 + iη. (F.3) IntH2

Using (IntH1F.1), we then have

I2 =i

8π2 r12(α1 · ∇1)(α2 · ∇2)

∫ ∞

−∞

dk(eikr12 − e−ikr12

)k(k2 − q2 − iη)

. (F.4) IntH22

43

Page 45: Notes on Bound-State QED

The poles appear at k = 0 and k = ±(q + iη/2q). The pole at k = 0 can be treated withhafl the pole value in each half plane. For q > 0 the result becomes

− 14π r12

eiqr12−1

q2

and for q > 0 the same result with −q in the exponent. The final result then becomes∫d3k

(2π)3(α1 · k)(α2 · k)

eik·r12

q2 − k2 + iη= − 1

4π r12(α1 · ∇1)(α2 · ∇2)

ei|q|r12−1

q2(F.5) IntH23

Assuming that our basis functions are eigenfunctions of the Dirac hamiltonian hD

(DiracEq2.20), we can process this integral further. Then the commutator with an arbitrary

function of the space coordinates is[hD, f(x)

]= cα · p f(x) +

[U, f(x)

]. (F.6) hComm

The last term vanishes, if the potential U is a local function, yielding[hD, f(x)

]= cα · p f(x) = −icα · ∇ f(x) . (F.7) hComm2

In particular [hD, e

ik·x]= −icα · ∇ eik·x = cα · k eik·x . (F.8) hComm3

We then find that

(α · ∇)1(α · ∇)2 eik·x =1c2

[hD, e

ik·x]1

[hD, e

ik·x]2

(F.9)

with the matrix element⟨rs

∣∣∣(α · ∇)1(α · ∇)2 eik·x∣∣∣ ab⟩ = q2 eik·x , (F.10)

using the notation in (cq1.35). The integral (

IntH2F.3) then becomes

I2 =∫

d3k(2π)3

(α1 · k)(α2 · k)eik·r12

q2 − k2 + iη=

∫d3k

(2π)3q2

k2

eik·r12

q2 − k2 + iη(F.11) VCA

provided that the orbitals are generated by a hamiltonian with a local potential.

44

Page 46: Notes on Bound-State QED

Appendix G

Feynman diagrams for boundstates

ch:Feynman

The scattering matrix can in the bound-interaction picture be expressed in terms of aFeynman amplitude, M, as

S = 2π δ( ∑

(εin − εout))M

related to the matrix element of the corresponding effective potential by

iM = 〈 |Veff | 〉 .

The Feynman amplitude, M, is given by the following rules:

6a

s1. Incoming electron line: φa(x)

6a

s2. Outgoing electron line: φ†a(x)

-s sµ s 3. Vertex: iecαµ

-zs s1,µ 2,ν 4. Internal photon line – Photon propagator:

icε0

DFνµ(x2 − x1; z)

45

Page 47: Notes on Bound-State QED

6a

s

s4. Internal electron line – Electron propagator:

iSF(x2,x1; z)

6. Closed electron loop: Factor of (-1) and trace symbol

7. Energy conservation at each vertex (z energy parameter)

8. Integration over all x’s and z’s. Factor of (2π)−1 for each non-trivial z-integration.

46

Page 48: Notes on Bound-State QED

Appendix H

Dimensional analysis

ch:DimAnal

The formulas given here are valid in any consistent unit system, like the SI system. Theformulas can be checked by an dimensional analysis. The dimensions in the SI systemsfor some of the quantities are

[force] = N =kgm

s2

[energy] = J = Nm =kgm2

e

s2

[action, ~] = Js =kgm2

e

s

[electric potential] = V =J

As=kgm2

e

As3

[electric field, E] = V/m =kgm

As3

[magnetic field, B] = V s/m2e =

kg

As2

[vector potential, A] = V s/m =kgm

As2

[charge density, ρ] =As

m3

47

Page 49: Notes on Bound-State QED

[current density, j] =A

m2e

[µ0] = N/A2 =kgm

A2s2

[ε0] = [1/µ0c2] =

A2s4

kgm3

[ρ/ε0] =kg

As3= [∇ · E] Eq. (

Maxw.a1.1a)

[µ0j] =kg

Ams2= [∇×B] Eq. (

Maxw.b1.1b)

[ ~ε0ωV

]=kg2m2

e

A2s4= [A2] Eq. (

A2.1)

[DFνµ(x2 − x1)] = m−2 [DFνµ(x− x′)] = s/m2

[~DFνµ(x2 − x1)ε0c

]=kg2m2

e

A2s4= [A2] Eq. (

PhotPropDef2.6)

[ecA] =kgm2

e

s2= [energy] Eq. (

Hint2.37)

[e2c2~2

]=

A2s2

kg2m2e

= [A−2s−2] Eq. (S222.38)

48

Page 50: Notes on Bound-State QED

Bibliography

MS84 [1] F. Mandl and G. Shaw, Quantum Field Theory (John Wiley and Sons, New York,1986).

Sak67 [2] J. J. Sakurai, Advanced Quantum Mechanics (Addison-Wesley Publ. Co., Reading,Mass., 1967).

GML51 [3] M. Gell-Mann and F. Low, Phys. Rev. 84, 350 (1951).

Su57 [4] J. Sucher, Phys. Rev. 107, 1448 (1957).

Li89 [5] I. Lindgren, AIP Conference Series 189, 371 (1989).

49


Recommended