Arthur Lotti
6
Relativistic Particles and Fields in
External Electromagnetic Potential
Given the classical field theory of relativistic particles, we may ask which quantum
phenomena arise in a relativistic generalization of the Schrödinger theory of atoms.
In a first step we shall therefore study the behavior of the Klein-Gordon and Dirac
equations in an external electromagnetic field. Let Aµ (x) be the four-vector potential
that accounts for electric and magnetic field strengths via the equations (4.230) and
(4.231). For classical relativistic point particles, an interaction with these external
fields is introduced via the so-called minimal substitution rule, whose gauge origin
and experimental consequences will now be discussed.
An important property of the electromagnetic field is its description in terms of a
vector potential Aµ (x) and the gauge invariance of this description. In Eqs. (4.233)
and (4.234) we have expressed electric and magnetic field strength as components
of a four-curl Fµν = ∂µ Aν − ∂ν Aµ of a vector potential Aµ (x). This four-curl is
invariant under gauge transformations
Aµ (x) → Aµ (x) + ∂µ Λ(x). (6.1)
The gauge invariance restricts strongly the possibilities of introducing electromag-
netic interactions into particle dynamics and the Lagrange densities (6.92) and (6.94)
of charged scalar and Dirac fields. We shall see that the origin of the minimal substi-
tution rule lies precisely in the gauge-invariance of the vector-potential description
of electromagnetism.
436
6.1 Charged Point Particles 437
In our convention, the charge of the electron e has a negative value to be in agreement
with the sign in the historic form of the Maxwell equations:
Since the time t coincides with q 0 (τ )/c of the trajectory, this can be expressed as
e
Z
Aint
pot =− dq 0 A0 . (6.10)
c
In this form it is now quite simple to write down the complete electromagnetic inter-
action purely on the basis of relativistic invariance. The direct invariant extension
of (6.11) is obviously
e
Z
int
A =− dq µ Aµ (q). (6.11)
c
Thus, the full action of a point particle can be written in covariant form as
e
Z q Z
A = −Mc dτ q̇ µ (τ )q̇µ (τ ) − dq µ Aµ (q), (6.12)
c
or more explicitly as
#1/2
v2
"
1
Z Z Z
2
A= dt L(t) = −Mc dt 1 − 2 −e dt A0 − v · A . (6.13)
c c
438 6 Relativistic Particles and Fields in External Electromagnetic Potential
The velocity is related to the canonical momenta and external field via
e
v P− A
= s c . (6.25)
c e
2
P − A + m2 c2
c
This can be used to calculate the Hamiltonian via the Legendre transform
∂L
H= v − L = P · v − L, (6.26)
∂v
giving
s
2
e
H =c P− A + m2 c2 + eA0 . (6.27)
c
In the non-relativistic limit this has the expansion
2
1 e
H = mc2 + P− A + eA0 + . . . . (6.28)
2m c
Thus, the free theory goes over into the interacting theory by the minimal substitu-
tion rule
e e
p → p − A, H → H − A0 , (6.29)
c c
or, in relativistic notation:
e
pµ → pµ − Aµ . (6.30)
c
= gµB Sh̄ , µB ≡
eh̄
2Mc
, (6.31)
where S = /2 is the spin matrix which has the commutation rules
top. This precession has two main contributions: one is due to the magnetic coupling
of the magnetic moment of the spin to the magnetic field of the electron orbit, called
spin-orbit coupling. The other part is purely kinematic, it is the Thomas precession
discussed in Section (4.15), caused by the slightly relativistic nature of the electron
orbit.
The spin-orbit splitting of the atomic energy levels (to be pictured and discussed
further in Fig. 6.1) is caused by a magnetic interaction energy
g 1 dV (r)
H LS (r) = 2 2
S·L , (6.33)
2M c r dr
where V (r) is the atomic potential depending only on r = |x|. To derive this H LS (r),
we note that the spin precession of the electron at rest in a given magnetic field B
is given by the Heisenberg equation
dS
dt
= × B, (6.34)
where is the magnetic moment of the electron. In an atom, the magnetic field in
the rest frame of the electron is entirely due to the electric field in the rest frame
of the atom. A Lorentz transformation (4.286) that boosts an electron at rest to a
velocity v produces a magnetic field in the electron’s rest frame:
v 1
B = Bel = −γ × E, γ=q . (6.35)
c 1 − v 2 /c2
Since an atomic electron has a small velocity ratio v/c which is of the order of the
fine-structure constant α ≈ 1/137, the field has the approximate size
v
Bel ≈ − × E. (6.36)
c
The electric field gives the electron an acceleration
e
v̇ = E, (6.37)
M
so that we may also write
Mc 1
Bel ≈ − v × v̇, (6.38)
e c2
and Heisenberg’s precession equation (6.34) as
dS g
≈ 2 (v × v̇) × S. (6.39)
dt 2c
This can be expressed in the form
dS
dt
=
LS × S, (6.40)
6.1 Charged Point Particles 441
where LS is the angular velocity of the spin precession caused by the orbital mag-
netic field in the rest frame of the electron:
LS ≡
g
2c2
v × v̇. (6.41)
In the rest frame of the atom where the electron is accelerated towards the center
along its orbit, this result receives a relativistic correction. To lowest order in 1/c,
we must add to LS the angular velocity T of the Thomas precession, such that
the total angular velocity of precession becomes
=
LS +
T ≈ g −2 1 v × v̇. (6.42)
Since g is very close to 2, the Thomas precession explains why the spin-orbit splitting
was initially found to be in agreement with a normal gyromagnetic ratio g = 1, the
characteristic value for a rotating charged sphere.
If there is also an external magnetic field, this is transformed to the electron
rest frame by a Lorentz transformation (4.283), where it leads to an approximate
equation of motion for the spin
dS
×B ≈ v
′
= × B− ×E . (6.43)
dt c
Expressing via Eq. (6.31), this becomes
dS
em eg v
≡ −S × ≈ S× B− ×E . (6.44)
dt 2Mc c
This equation defines the frequency
em of precession due to the magnetic and elec-
tric fields in the rest frame of the electron. Expressing E in terms of the acceleration
via Eq. (6.37), this becomes
dS g M
≈ S × eB − (v × v̇) . (6.45)
dt 2Mc c
The acceleration can be expressed in terms of the central Coulomb potential V (r)
as
x 1 dV
v̇ = − . (6.46)
r M dr
The spin precession rate in the electron’s rest frame is
! !
dS g x 1 dV g 1 dV
= S× eB + v × = S× eB − L . (6.47)
dt 2Mc r c dr 2Mc Mc dr
There exists a simple Hamiltonian operator for the spin-orbit interaction H LS (t),
from which this equation can be derived via Heisenberg’s equation (1.280):
i
Ṡ(t) = [S(t), H LS (t)]. (6.48)
h̄
442 6 Relativistic Particles and Fields in External Electromagnetic Potential
The operator is
!
LS 1 dV
H (r) = − · B − L
Mc e dr
ge g 1 dV
= − S·B+ 2 2
S·L . (6.49)
2Mc 2M c r dr
Indeed, using the commutation rules (6.32), we find immediately (6.46). Historically,
the interaction energy (6.49) was used to explain the experimental level splittings
assuming a gyromagnetic ratio g ≈ 1 for the electron.
Without the external magnetic field, the angular velocity of precession caused
by spin-orbit coupling is
LS =
g
2M c2 2
L
1 ∂V
r ∂r
. (6.50)
It was realized by Thomas in 1927 that the relativistic motion of the electron changes
the factor g to g − 1, as in (6.42), so that the true precession frequency is
=
LS +
T = 2M
g − 1 1 ∂V
2 c2
L
r ∂r
. (6.51)
This implied that the experimental data should give g − 1 ≈ 1, so that g is really
twice as large as expected for a rotating charged sphere. Indeed, the value g ≈ 2
was predicted by the Dirac theory of the electron.
In Section 12.15 we shall find that the magnetic moment of the electron has a
g-factor slightly larger than the Dirac value 2, the relative deviations a ≡ (g − 2)/2
being defined as the anomalous magnetic moments. From measurements of the
above precession rate, experimentalists have deduced the values
the derivative with respect to τ , assuming that the motion proceeds at a fixed total
angular momentum:
dŜµ dpκ
= ǫµνλκ Jˆνλ . (6.55)
dτ dτ
The right-hand side can be simplified by multiplying it with the trivial expression
1
g στ pσ pτ = 1. (6.56)
M 2 c2
Now we use the identity for the ǫ-tensor
ǫµνλκ gστ = ǫµνλσ gκτ + ǫµνσκ gλτ + ǫµσλκ gντ + ǫσνλκ gµτ , (6.57)
which can easily be verified using the antisymmetry of the ǫ-tensor and considering
µνλκ = 0123. Then the right-hand side becomes a sum of the four terms
1 νλ σ κ ′ νλ σ ′κ νλ σ ′κ νλ σ ′κ
ǫµνλσ J p p p κ +ǫµνσκ J p λ p p +ǫµσλκ J p ν p p +ǫσνλκ J p p µ p , (6.58)
M 2 c2
where p′µ ≡ dpµ /dτ . The first term vanishes, since pκ p′κ = (1/2)dp2/dτ =
(1/2)dM 2 c2 /dτ = 0. The last term is equal to −Ŝκ p′κ pµ /M 2 c2 . Inserting the iden-
tity (6.57) into the second and third terms, we obtain twice the left-hand side of
(6.55). Taking this to the left-hand side, we find the equation of motion
dSµ 1 dpλ
= − 2 2 Sλ pµ . (6.59)
dτ M c dτ
Note that on account of this equation, the time derivative dSµ /dτ points in the
direction of pµ .
Let us verify that this equation yields indeed the Thomas precession. Denoting
the derivatives with respect to the time t = γτ by a dot, we can rewrite (6.59) as
dS 1 dS 1 γ2
Ṡ ≡ = = − 2 2 S 0 ṗ0 + S · ṗ p = 2 (S · v̇) v, (6.60)
dt γ dτ M c c
2
dS0 1d γ
Ṡ0 ≡ = (S · v) = 2 (S · v̇) . (6.61)
dt c dt c
We now differentiate Eq. (4.780) with respect to the time using the relation γ̇ =
γ 3 v̇v/c2 , and find
γ 1 0 γ 1 0 γ3 1
ṠR = Ṡ − 2
Ṡ v − 2
S v̇ − (v · v̇) S 0 v. (6.62)
γ +1c γ +1c (γ + 1) c4
2
γ2 1 γ 1 0 γ3
ṠR = (S · v̇)v − S v̇ − (v · v̇) S 0 v. (6.63)
γ + 1 c2 γ + 1 c2 (γ + 1)2
444 6 Relativistic Particles and Fields in External Electromagnetic Potential
On the right-hand side we return to the spin vector SR using Eqs. (4.779) and
(4.782), and find
ṠR =
γ2 1
γ + 1 c2
[(SR · v̇)v − (SR · v)v̇] =
T × SR, (6.64)
T = − (γ γ+ 1) c12 v × v̇,
2
(6.65)
which agrees with the result (4B.26) derived from purely group-theoretic consider-
ations.
In an external electromagnetic field, there is an additional precession. For slow
particles, it is given by Eq. (6.45). If the electron moves fast, we transform the
electromagnetic field to the electron rest frame by a Lorentz transformation (4.283),
and obtain an equation of motion for the spin:
γ2 v v
" #
v
′
ṠR = ×B = × γ B − × E − ·B . (6.66)
c γ+1 c c
which is the relativistic generalization of Eq. (6.44). It is easy to see that the
associated fully covariant equation is
dS µ
" #
g 1 µ d λ eg 1
= eF µν Sν + p Sλ p = F µν Sν + 2 2 pµ Sλ F λκ pκ . (6.68)
dτ 2Mc Mc dτ 2Mc M c
On the right-hand side we have inserted the relativistic equation of motion of a point
particle (6.21) in an external electromagnetic field.
If we add to this the relativistic Thomas precession rate (6.59), we obtain the
covariant Bargmann-Michel-Telegdi equation1
dS µ
" #
1 g−2 µ d λ e g−2
= egF µν Sν + p Sλ p = gF µν Sν + 2 2 pµ Sλ F λκ pκ .(6.69)
dτ 2Mc Mc dτ 2Mc M c
For the spin vector SR in the electron rest frame this implies a change in the
electromagnetic precession rate in Eq. (6.67) to
ṠR = −SR ×
Tem ≡ −SR × (
em +
T) (6.70)
1
V. Bargmann, L. Michel, and V.L. Telegdi, Phys. Rev. Lett. 2 , 435 (1959).
6.2 Charged Particle in Schrödinger Theory 445
" ! ! #
e g 1 g γ v v g γ v
T
em = − −1 + B− −1 ·B − − × E .(6.71)
Mc 2 γ 2 γ +1 c c 2 γ +1 c
The contribution of the Thomas precession is the part without the gyromagnetic
ratio g:
T
" ! #
e 1 γ 1 γ 1
=− − 1− B+ (v · B) v + v×E . (6.72)
Mc γ γ +1 c2 γ +1 c
This agrees with the Thomas frequency (6.65), after inserting the acceleration (6.24).
The Thomas equation (6.71) can be used to calculate the time dependence of
the helicity h ≡ SR · v̂ of an electron, i.e., its component of the spin in the direction
of motion. Using the chain rule of differentiation, we can express the change of the
helicity as
dh d 1 d
= (SR · v̂) = ṠR · v̂ + [SR − (v̂ · SR )v̂] v, (6.73)
dt dt v dt
Inserting (6.70) as well as the equation for the acceleration (6.24), we obtain
dh e g gv c
=− SR⊥ · − 1 v̂ × B + − E . (6.74)
dt Mc 2 2c v
where SR⊥ is the component of the spin vector orthogonal to v. This equation shows
that for a Dirac electron, which has the g-factor g = 2, the helicity remains constant
in a purely magnetic field. Moreover, if the electron moves ultra-relativistically
(v ≈ c), the value g = 2 makes the last term extremely small, ≈ (e/Mc)γ −2 SR⊥ · E,
so that the helicity is almost unaffected by an electric field. The anomalous magnetic
moment of the electron, however, changes this to a finite value ≈ −(e/Mc)aSR⊥ ·
E. This drastic effect was exploited to measure the experimental values listed in
Eqs. (6.52)–(6.54).
∇2
Z " #
3 †
H= d xψ (x, t) − + V (x) ψ(x, t), (6.76)
2m
2
L.T. Thomas, Phil. Mag. 3 , 1 (1927).
446 6 Relativistic Particles and Fields in External Electromagnetic Potential
where we have omitted the operator hats, for brevity. With the same rules we see
that the second quantized form of the interacting nonrelativistic Hamiltonian in a
static A(x) field,
(p − eA)2 e 0
H= + A, (6.77)
2m c
is given by
" 2 #
1 e
Z
3 † 0
H= d xψ (x, t) − ∇−i A + eA (x) ψ(x, t). (6.78)
2m c
When going to the action of this theory we find
Z Z Z
A= dtL = dt d x ψ † (x, t) i∂t + eA0 ψ(x, t)
3
2
1 † e
+ ψ (x, t) ∇ − i A ψ(x, t) . (6.79)
2m c
It is easy to verify that (6.78) reemerges from the Legendre transform
∂L
H= ψ̇(x, t) − L. (6.80)
∂ ψ̇(x, t)
The action (6.79) holds also for time-dependent Aµ (x) fields.
We can now deduce the second quantized form of the minimal substitution rule
(6.29) which is
e
∇ → ∇ − i A(x, t),
c
∂t → ∂t + ieA0 (x, t), (6.81)
or covariantly:
e
∂µ → ∂µ + i Aµ (x). (6.82)
c
This substitution rule has the important property that the gauge invariance of
the free photon action is preserved by the interacting theory: If we perform the
gauge transformation
i.e.,
the action remains invariant provided we simultaneously change the fields ψ(x, t) of
the charged particles by a spacetime-dependent phase
With the help of this covariant derivative, any action that is invariant under a global
multiplication change of the field by a constant phase factor e−iφ ,
can also be made invariant under a local version of this transformation, in which φ
is an arbitrary function φ(x). For this, we merely have to replace all derivatives by
covariant derivatives (6.89), and add to the field action the gauge-invariant photon
action (4.237).
If the field carries a charge e, the derivatives are simply replaced by the covariant
derivatives (6.89), thus leading to a straightforward generalization of the Schrödinger
action in (6.79):
If the particle carries a charge e, we must replace the derivatives in this Lagrangian
by their covariant versions (6.89):
e e
∂/ = γ µ ∂µ → γ µ ∂µ + i Aµ = ∂/ + i A/ ≡D
/. (6.95)
c c
Adding again the gauge-invariant photon action (4.237), we arrive at the Lagrangian
of quantum electrodynamics (QED)
1 2
D − M) ψ(x) − Fµν
L(x) = ψ̄(x) (i/ . (6.96)
4
The classical field equations can easily be found by extremizing the action under
variations of all fields, which gives
δA
= (i/
D − M) ψ(x) = 0, (6.97)
δ ψ̄(x)
δA 1
= ∂ν F νµ (x) − j µ (x) = 0, (6.98)
δAµ (x) c
where j µ (x) is the current density
Equation (6.98) is the Maxwell equation for the electromagnetic field around a clas-
sical four-dimensional vector current j µ (x):
1
∂ν F νµ (x) = j µ (x). (6.100)
c
In the Lorentz gauge ∂µ Aµ (x) = 0, this equation reads simply
1
−∂ 2 Aµ (x) = j µ (x). (6.101)
c
6.4 Pauli Equation from Dirac Theory 449
The current j µ combines the charge density ρ(x) and the current density j of
particles of charge e in a four-vector
j µ = (cρ, j) . (6.102)
In terms of electric and magnetic fields E i = F i0 , B i = −F jk , the field equations
(6.100) turn into the Maxwell equations
∇ · E = ρ = eψ̄γ 0 ψ = eψ † ψ
∇ × B − Ė =
1
c
e
j = ψ̄ ψ.
c
(6.103)
The first is Coulomb’s law, the second Ampère’s law in the presence of charges and
currents.
Note that the physical units employed here differ from those used in many books
of classical electrodynamics3 by the absence of a factor 1/4π on the right-hand side.
The Lagrangian used in those books is
1 2 1
L(x) = − Fµν (x) − j µ (x)Aµ (x) (6.104)
8π c
1 h 2 1
i
2
= E − B (x) − ρφ − j · A (x),
4π c
which leads to Maxwell’s field equations
∇ · E = 4πρ,
4π
∇×B = j. (6.105)
c
The form employed
√ conventionally
√ in quantum field theory arises from this by re-
placing A → 4πA and e → 4πe. The charge of the electron in our units has
therefore the numerical value
√ q
e = − 4πα ≈ − 4π/137 (6.106)
√
rather than e = − α.
and the same equation once more for the other two-component spinor field η(x).
Note that, in this equation, electromagnetism is not coupled minimally. In fact,
there is a non-minimal coupling of the spin via the tensor term
1 µν
2
σ Fµν = − · H + i · E, (6.111)
respectively. Thus, in the chiral representation, Eq. (6.110) decomposes into two
separate two-component equations for the upper and lower spinor components ξ(x)
and η(x) in ψ(x):
· (H ± iE) − M c
" 2 #( )
e ξ(x)
2 2
− h̄∂µ + i Aµ + = 0. (6.113)
c η(x)
In the nonrelativistic limit where c√→ ∞, we remove the fast oscillations from
2
ξ(x), setting ξ(x) ≡ e−iM c t/h̄ Ψ(x, t)/ 2M as in (4.156), and find for Ψ(x, t) the
nonrelativistic Pauli equation
h̄2
" 2 #
e e
i∂t + ∇−i A + · H − eA0 (x) Ψ(x, t) = 0. (6.114)
2M ch̄ 2Mc
This corresponds to a magnetic interaction energy
Hmag = −
eh̄
2Mc
· H. (6.115)
6.5 Relativistic Wave Equations in the Coulomb Potential 451
For a small magnet with a magnetic moment , the magnetic interaction energy is
Hmag = − · H. (6.116)
e h̄
= Mc 2
=2
e
2Mc
S, (6.117)
where S = /2 is the spin matrix. Experimentally, one parametrizes the magnetic
moment of a fundamental particles as
= g 2Mc
e
S, (6.118)
The experimental value is very close to this. A small deviation from it is called
anomalous magnetic moment. It is a consequence of the quantum nature of the
electromagnetic field and will be explained in Chapter 12.
The nonrelativistic Pauli equation (6.114) could also have been obtained by intro-
ducing the electromagnetic coupling directly into the nonrelativistic two-component
equation (4.582). The minimal substitution rule (6.87) changes i∂t → i∂t − eA0 and
( · ∇)2 → [ · (∇ − ieA)]2 . The latter is worked out in detail as in Chapter 4,
Eq. (4.583), and leads to
h i
[ · (∇ − ieA)]2 = δ ij + iǫijk σ k (∇i − ieAi )(∇j − ieAj )
= (∇ − ieA)2 + iǫijk σ k (∇i − ieAi )(∇j − ieAj ) + e · H. (6.120)
This brings the free-field equation (4.584) to the nonrelativistic Pauli expression
(6.114), after reinserting all fundamental constants.
Since this does not depend on time, we can consider the wave equations for wave
functions φ(x) = e−iEt φE (x) and ψ(x) = e−iEt ψE (x), and find the time-independent
equations
and
(γ 0 E + i · ∇ − M)ψE (x) = 0. (6.124)
Zα
E→E+ . (6.125)
r
The energy-eigenvalues obtained from the resulting equations can be compared with
those of hydrogen-like atoms. The velocity of an electron in the ground state is of
the order αZc. Thus for rather high Z, the electron has a relativistic velocity and
there must be significant deviations from the Schrödinger theory. We shall see that
the Dirac equation in an external field reproduces quite well a number of features
resulting from the relativistic motion.
1 Zα
− ∇2 − − E ψE (x) = 0. (6.126)
2M r
The Laplacian may be decomposed into radial and angular parts by writing
∂2 2 ∂ L̂2
∇2 = + − , (6.127)
∂r 2 r ∂r r2
where L̂ = x × p̂ are the differential operators for the generators of angular momen-
tum [the spatial part of Li = L23 of (4.97)]. Then (6.126) reads
∂2 L̂2 2ZαM
!
2 ∂
− 2− + 2 − − 2ME ψE (x) = 0. (6.128)
∂r r ∂r r r
The eigenstates of L̂2 are the spherical harmonics Ylm (θ, φ), which diagonalize also
the third component of L̂, with the eigenvalues
The wave functions may be factorized into a radial wave function Rnl (r) and a
spherical harmonic:
ψnlm (x) = Rnl (r)Ylm (θ, φ). (6.130)
Explicitly,
v
1 1 (n + l)!
u
u
Rnl (r) = 1/2
t (6.131)
aB n (2l + 1)! (n − l − 1)!
×(2r/naB )l+1 e−r/naB M(−n + l + 1, 2l + 2, 2r/naB )
v
1 u (n − l − 1)! −r/naB
u
= 1/2 t e (2r/naB )l+1 Ln−l−1
2l+1
(2r/naB ),
aB n (n + l)!
a a(a + 1) z
M(a, b, z) ≡ F1,1 (a, b, z) = 1 + z + + ... . (6.133)
b b(b + 1) z!
For b = −n, they are polynomials related to the Laguerre polynomials4 Lµn (z) by
(n + µ)!
Lµn (z) ≡ M(−n, µ + 1, z). (6.134)
n!µ!
They have an asymptotic behavior Pnl (r/n)e−r/naB , where Pnl (r/n) is a polynomial
of degree nr = n − l − 1, which defines the radial quantum number. The energy
eigenvalues depend on n in the well-known way:
Mα2
En = −Z 2 . (6.136)
2n2
4
I.S. Gradshteyn and I.M. Ryzhik, op. cit., Formula 8.970 (our definition differs from that in
L.D. Landau and E.M. Lifshitz, Quantum Mechanics, Pergamon Press, New York, 1965, Eq. (d.13):
Our Lµn = (−)µ /(n + µ)!Ln+µ µ |L.L. ).
454 6 Relativistic Particles and Fields in External Electromagnetic Potential
∂2 L̂2 − Z 2 α2 2ZαE
" #
2 ∂
− 2− + − − (E 2 − M 2 ) φE (x) = 0. (6.140)
∂r r ∂r r2 r
The solutions of this equation can be obtained from those of the nonrelativistic
Schrödinger equation (6.128) by replacing
Then the quantum number l of the Schrödinger wave functions is simply replaced
by λl = l − δl , where
" 2 #1/2
1 1 2 2
δl = l+ − l+ −Z α
2 2
2 2
Z α
= + O(α4 ). (6.145)
2l + 1
The other solution of relation (6.144) with the opposite sign in front of the square
root is unphysical since the associated wave functions are too singular at the origin to
6.5 Relativistic Wave Equations in the Coulomb Potential 455
nr + λ + 1 = nr + l + 1 − δl = n − δl . (6.146)
The first two terms correspond to the Schrödinger energies (6.136) including the rest
energies of the atom. The next two are relativistic corrections. The first of these
breaks the degeneracy between the levels of the same n and different l. This is caused
in the Schrödinger theory by the famous Lentz-Runge vector [O(4)-invariance] [1].
The correction terms become large for large central charge Z. In particular, the
lowest energy and successively the higher ones become complex for central charges
Z > 137/2. The physical reason for this is that the large potential gradient near the
origin can create pairs of particles from the vacuum. This phenomenon can only be
properly understood after quantizing the field theory.
As for the free Klein-Gordon field, the energy appears with both signs.
∂r 2 r ∂r r2 r
(6.154)
and a corresponding equation for ηE (x).
Due to the rotation invariance of · x̂, the total angular momentum
Ĵ = L̂ + S = L̂ +
(6.155)
2
commutes with the differential operator in (6.154). Thus we can diagonalize Ĵ2 and
Jˆ3 with eigenvalues j(j + 1) and m. For a fixed value of j = 21 , 1, 32 , . . . , the orbital
angular momentum can have the value l+ = j + 21 and l− = j − 1/2. The two states
have opposite parities. The operator · x̂ is a pseudoscalar, so that multiplication
by it will necessarily change the parity of the wave function. Since the square of
· x̂ is the unit matrix, its eigenvalues must be ±1. Moreover, the unit vector x̂
changes l by one unit. Thus, in the two-component Hilbert space of fixed quantum
numbers j and m, with orbital angular momenta l = l± = j ± 1/2, the diagonal
matrix elements vanish
hjm, +| · x̂|jm, +i = 0,
hjm, −| · x̂|jm, −i = 0. (6.156)
For the off-diagonal elements we easily calculate
hjm, +| · x̂|jm, −i = 1,
hjm, −| · x̂|jm, +i = −1. (6.157)
When solving Eq. (6.154), the solutions consist, as in the nonrelativistic hydrogen
atom, of an exponential factor multiplied by a polynomial of degree nr which is the
radial quantum number. It is related to the quantum numbers of spin and orbital
angular momentum, and to the principal quantum number n, by
nr + λj± + 1 = nr + l± + 1 − δl = n − δj . (6.162)
In terms of δj , the energies obey the same equation as in (6.148), so that we obtain
M
Enj = ± q
1 + Z 2 α2 /(n − δj )2
(Zα)2 3 (Zα)4 (Zα)4
" #
= ±M 1 − + − + O(Z 6 α6 ) . (6.163)
2n2 8 n4 n3 (2j + 1)
The condition nr ≥ 0 implies that
3
j ≤n− 2
λj+ = j + 12 − δj ,
1
for (6.164)
j ≤n− 2
λj− = j − 21 − δj .
Figure 6.1 Hydrogen spectrum according to Dirac’s theory. The splittings are shown
only schematically. The fine-structure splitting of the 2P -levels is about 10 times as big
as the hyperfine splitting and Lamb shift.
An important correct prediction of the Dirac theory is the presence of fine struc-
ture. States with the same n and l but with different j are split apart by the forth
term in Eq. (6.163) −MZ 4 α4 n3 /(2j+1). For the states 2P1/2 and 2P3/2 , the splitting
is
Z 4 α2 2
∆fine E2P = α M. (6.165)
32
Thus it is roughly of the order of the splitting caused by the interaction of the mag-
netic moment of the electron with that of the proton, the so-called hyperfine-splitting.
For 2S 1/2 , 2P 1/2, and 2P 3/2 levels, this is approximately equal to 1, 1/8, 1/24, 1/60
times 1 420 MHz.6
In a hydrogen atom, the electronic motion is only slightly relativistic, the veloc-
ities being of the order αc, i.e., only about 1% of the light velocity. If one is not
only interested in the spectrum but also in the wave functions it is advantageous
to solve directly the Dirac equation (6.149) with the gamma matrices in the Dirac
6
See H.A. Bethe and E.E. Salpeter in Encyclopedia of Physics (Handbuch der Physik) 335 ,
Springer, Berlin, 1957, p. 196.
6.5 Relativistic Wave Equations in the Coulomb Potential 459
ηE (x) ≈ −i
· ∇ ξE (x). (6.168)
2M
We may take care of rotational symmetry of the system by splitting the spinor wave
functions into radial and angular parts
Gjl (r) l
i yj,m(θ, φ)
ψE (x) = r
, (6.169)
F (r)
jl
l
· x̂ yj,m(θ, φ)
r
l
where yj,m (θ, φ) denotes the spinor spherical harmonics. They are composed from
the ordinary spherical harmonics Ylm (θ, φ) and the basis spinors χ(s3 ) of (4.446) via
Clebsch-Gordan coefficients (see Appendix 4E):
l
yj,m (θ, φ) = hj, m|l, m′ ; 12 , s3 iYlm′ (θ, φ)χ(s3 ). (6.170)
The derivation is given in Appendix 6A.
The explicit form of the spinor spherical harmonics (6.170) is for l = l± :
√ !
l+ 1 l+ − m + 12 Yl+ ,m− 1 (θ, φ)
yj,m(θ, φ) = √ √ 2 , (6.171)
2l+ + 1 − l+ + m + 12 Yl+ ,m+ 1 (θ, φ) 2
√
l− + m + 12 Yl− ,m− 1 (θ, φ)
!
l− 1
yj,m (θ, φ) = √ √ 2
. (6.172)
2l− + 1 l− − m + 21 Yl− ,m+ 1 (θ, φ)
2
i ·∇
f (r) l+
y ≡
· x ( · x) i ( · ∇) f (r) yl
l,m , (6.175)
+
r l,m r2 r
460 6 Relativistic Particles and Fields in External Electromagnetic Potential
µ τ2
e2eF τ ν
= δ µ ν + 2eF µ ν τ + 4e2 F µ λ F λ ν + ... . (6.194)
2
Inserting (6.193) into Eq. (6.191), we find the time-dependent operator x̂µ (τ ):
!µ
µ µ e2eF τ − 1
x̂ (τ ) − x̂ (0) = P̂ ν (0), (6.195)
eF ν
where the matrix on the right-hand side is again defined by its formal power series
!µ
e2eF τ − 1 2 (2τ )3
µ λ
= 2τ + e F λ F ν + ... . (6.196)
eF ν 3!
Note that division by eF is not a matrix multiplication by the inverse of the matrix
eF but indicates the reduction of the expansion powers of eF by one unit. This is
defined also if eF does not have an inverse.
We can invert Eq. (6.195) to find
#µ
e−eF τ
"
1
P̂ ν (0) = eF [x̂(τ ) − x̂(0)]ν , (6.197)
2 sinh eF τ ν
where
Kµ ν (eF τ ) = Lλ µ (eF τ )Lλ ν (eF τ ). (6.201)
Using the antisymmetry of the matrix Fµν , we can rewrite this as
ν
e2 F 2
" #
ν λ 1 ν
Kµ (eF τ ) = Lµ (−eF τ )Lλ (eF τ ) = . (6.202)
4 sinh2 eF τ µ
6.6 Green Function in an External Electromagnetic Field 463
and
!µ T !µ
h
µ
i h
µ
ie2eF τ − 1 e2eF τ − 1
x̂ (τ ), x̂ν (0) + x̂ν (τ ), x̂ (0) = i +i
eF ν eF T ν
!µ #µ
e2eF τ − e−2eF τ
"
sinh 2eF τ
= i = 2i . (6.204)
eF ν eF ν
With the help of this commutator, we can expand (6.200) in powers of operators
x̂(τ ) and x̂(0). We must be sure to let the later operators x̂(τ ) lie to the left of the
earlier operators x̂(0) as follows:
H(x̂(τ ), x̂(0); τ ) = −x̂µ (τ )Kµ ν (eF τ)x̂ν (τ ) − x̂µ (0)Kµ ν (eF τ)x̂ν (0)
i
+ 2x̂µ (τ )Kµ ν (eF τ)x̂ν (0) − tr [eF coth eF τ ] + M 2 . (6.205)
2
Given this form of the Hamiltonian operator, it is easy to calculate the time evolution
amplitude in Eq. (6.188):
hx, τ |x′ 0i ≡ hx|e−iĤτ |x′ i. (6.206)
It satisfies the differential equation
h i
i∂τ hx, τ |x′ 0i ≡ hx|Ĥ e−iĤτ |x′ i = hx|e−iĤτ eiĤτ Ĥ e−iĤτ |x′ i
= hx, τ |Ĥ(x̂(τ ), P̂ (τ ))|x′ , 0i. (6.207)
Replacing the operator H(x̂(τ ), P̂ (τ )) by H(x̂(τ ), x̂(0); τ ) of Eq. (6.205), the matrix
elements on the right-hand side can immediately be evaluated, using the property
or R
dτ H(x,x′ ;τ )
hx, τ |x′ 0i = C(x, x′ )E(x, x′ ; τ ) ≡ C(x, x′ )e−i . (6.210)
The prefactor C(x, x′ ) contains a possible constant of integration in the exponent
which may have an arbitrary dependence on x and x′ . The following integrals are
needed:
1 e2 F 2 1
Z Z
dτ K(eF τ ) = dτ 2 = − eF coth eF τ, (6.211)
4 sinh eF τ 4
464 6 Relativistic Particles and Fields in External Electromagnetic Potential
and
sinh eF τ sinh eF τ
Z
dτ tr [eF coth eF τ ] = tr log = tr log + 4 log τ. (6.212)
eF eF τ
These results follow again from a Taylor expansion of both sides. As a consequence,
the exponential factor E(x, x′ ; τ ) in (6.210) becomes
( )
1 i 1 sinh eF τ
E(x, x ; τ ) = 2 exp − (x−x′ )µ [eF coth eF τ ]µ ν (x−x′ )ν −iM 2 τ − tr log
′
.
τ 4 2 eF τ
(6.213)
The last term produces a prefactor
!
−1/2 sinh eF τ
det . (6.214)
eF τ
The time-independent integration constant is fixed by the differential equation
with respect to x:
h i
[i∂µ −eAµ (x)] hx, τ |x′ 0i = hx|P̂µ e−iĤτ |x′ i = hx|e−iĤτ eiĤτ P̂µ e−iĤτ |x′ i
= hx, τ |P̂µ (τ )|x′ 0i, (6.215)
[i∂µ −eAµ (x)] hx, τ |x′ 0i = Lµ ν (eF τ )(x − x′ )ν hx, τ |x′ 0i. (6.216)
which requires
i
C=− . (6.224)
(4π)2
Collecting all terms we obtain
!
i x
−1/2 sinh eF τ
Z
′ µ
hx, τ |x 0i = − exp −ie dξ Aµ (ξ) det
(4πτ )2 x′ eF τ
i
× exp − (x−x′ )µ [eF coth eF τ ]µ ν (x−x′ )ν −iM 2 τ . (6.225)
4
For a vanishing field Fµ ν , this reduces to the relativistic free-particle amplitude
i (x − x′ )2
" #
i
hx, τ |x′ 0i = − exp − − iM 2 . (6.226)
(4πτ )2 2 2τ
According to relation (6.188), the Green function of the scalar field is given by
the integral Z ∞
′
G(x, x ) = dτ hx, τ |x′ 0i. (6.227)
0
The functional trace of (6.225),
i eEτ
Trhx, τ |x 0i = V ∆t 2
, (6.228)
(4πτ ) sinh eEτ
will be needed below. Due to translation invariance in spacetime, it carries a factor
equal to the total spacetime volume V × ∆t of the universe.
The result (6.228) can be checked by a more elementary derivation [3]. We let the
constant electric field point in the z-direction, and represent it by a vector potential
to have only a zeroth component
where p⊥ are the two-dimensional momenta in the xy-plane. Using the commutation
rule [p0 , x0 ] = i, this can be rewritten as
3 /eE 3 /eE
Ĥ = e−ip̂0 p Ĥ ′eip̂0 p , (6.231)
Inserting this into (6.233) and performing the integrals over the spatial parts of p′
appearing in the δ-functions of (6.234) yields
d2 p⊥ −iτ (p2 +M 2 −iη)
Z Z
Trhx, τ |x 0i = V dx0 e ⊥
(2π)2
dp0 dp3 dp′0 −i(p0 −p′0 )(x0 +p3 /eE)
Z
× 3
e hp0 |e−isĤωE |p′0 i, (6.235)
(2π)
which can be reduced to
"Z #
−i −iτ (M 2 −iη) eE dp0
Trhx, τ |x 0i = V ∆t e hp0 |e−iτ ĤωE |p0 i . (6.236)
4πτ 2π 2π
The expression in brackets is the trace of e−iτ ĤωE , which is conveniently calculated
in the eigenstates |ni of the harmonic oscillator with eigenvalues −2(n + 1/2)ωE :
∞
−iτ ĤωE i 1
eiτ 2(n+1/2)eE =
X
Tre = = . (6.237)
n=0 2 sin ωE 2 sinh τ eE
Thus we obtain
−i eEτ
Trhx, τ |x 0i = V ∆t . (6.238)
4(2π)2 τ 2 sinh τ eE
6.6 Green Function in an External Electromagnetic Field 467
sinh eEτ
0 0 0
eE
sinh eF τ
0 1 0 0
= , (6.247)
eF τ 0 0 1 0
sinh eEτ
0 0 0
eE
and
coth eEτ 0 0 0
0 1 0 0
eF coth eF τ = eE . (6.248)
0 0 1 0
0 0 0 coth eEτ
Thus we obtain
i eEτ x Z
′
hx, τ |x 0i = 2
exp −ie dξ µ Aµ (ξ) (6.249)
(4πτ ) sinh eEτ x ′
× e 4 [−(x−x ) eE coth eEτ (x−x ) +(x−x ) τ (x−x ) +(x−x ) eE coth eEτ (x−x ) ]−iM τ ,
i ′ 0 ′ 0 ′ T 1 ′ T ′ 3 ′ 3 2
where the
Rx
superscript T indicates transverse directions to E. The prefactor
exp [−ie x′ dξ µ Aµ (ξ)] is found by inserting (6.243) and integrating along the straight
line
ξ = x′ + s(x − x′ ), s ∈ [0, 1], (6.250)
to be
Z x
′
R1
ds[z ′ +s(z−z ′ )] ′ ′
exp −ie dξ µ Aµ (ξ) = e−ieE(x0 −x0 ) 0 = e−ieE(x0 −x0 )(z+z ) . (6.251)
x′
e−eEτ
!
e 0
exp −i σ µ ν Fµ ν τ = exp (e Eτ ) = , (6.252)
2 0 eeEτ
which is equal to
!
e cosh eEτ −sinh eEτ Ê 0
exp −i σ µ ν Fµ ν τ =
2 0 cosh eEτ +sinh eEτ Ê
.
(6.253)
Comparison with (4.506) shows that this is the Dirac representation of a Lorentz
boost into the direction of E with rapidity ζ = 2e|E|τ . The Dirac trace of the
evolution amplitude for Dirac fields is then simply
i eEτ
trhx, τ |x 0i = − 2
× 4 cosh eEτ, (6.254)
(4πτ ) sinh eEτ
and the functional trace of this carries simply a total spacetime volume factor V ∆t
that appeared before in Eq. (6.228).
6.6 Green Function in an External Electromagnetic Field 469
Note that the Lorentz-transformation (6.253) has twice the rapidity of the trans-
formation (6.245) in the defining representation, this being a manifestation of the
gyromagnetic ratio of the electron in Dirac’s theory which is equal to two [recall
(6.119)].
The process of pair creation in a space- and time-dependent electromagnetic field
is discussed in Ref. [4].
The above discussion becomes especially simple in 1+1 spacetime dimensions,
the so-called massive Schwinger model [5].
which is integrated to
ˆ + Ĉν ,
ǫνµ P̂ µ (τ ) = enν f (ξ) (6.263)
with an operator integration constant Ĉν , that commutes with the constant nP̂ , and
satisfies the relations nν Ĉ ν = 0 and
ˆ ) − ξ(0)
ξ(τ ˆ
ǫµν Ĉν = nµ (nP̂ ) = nµ . (6.264)
2τ
Inserting this into (6.259), and integrating the resulting equation yields
1 ˆ + e2 nµ f 2 (ξ) + e nµ ǫµν σ µν f ′ (ξ)
P̂µ (τ ) = 2eCµ f (ξ) ˆ + D̂µ , (6.265)
2πn 2
where D̂µ is again an interaction constant commuting with nP̂ . Now we can integrate
ˆ P̂ , and find
the equation of motion (6.258) over dτ = dξ/2n
1 νµ enν Z ξ̂(τ )
Ĉ ν = ǫ [x̂µ (τ ) − x̂µ (0)] − dξˆ f (ξ).
ˆ (6.269)
2τ ˆ
ξ(τ ) − ξ(0) ξ̂(0)
and
h (δf )2 i ≡ h (f − hf i)2 i = h f 2 i − h f i2 . (6.271)
6.6 Green Function in an External Electromagnetic Field 471
1 W 1 eV
ρ= × 109 ≡ 2.082 × 10−7 , (6.281)
h̄ω sec Å3 h̄ω
which is too small to make ∆M 2 /M 2 observable.
which follows from the fact that the state hl− , −l− ; 12 , − 12 i carries a unique magnetic quantum
number m = −l− − 1/2 of the irreducible representation of total angular momentum s = j =
l− + 1/2. The result of the iteration is
s
1 1 1 1
l+ − m + 1/2
hl+ , m − 2 ; 2 , 2 |l+ − 2 , mi = . (6A.3)
2l+ + 1
Similarly we may simplify the recursion relation (4E.21) for the configurations j = l+ − 1/2 with
m2 = 1/2 to
s
l− + m + 1/2
hl− , m − 12 ; 12 , 21 |l− + 12 , mi = hl− , m + 21 ; 12 , 21 |l− + 21 , m+1i, (6A.4)
l− + m + 3/2
which expresses the fact that the state hl− l− ; 12 12 i is the state of the maximal magnetic quantum
number m = l− +1/2 in the irreducible representation of total angular momentum s = j = l− +1/2.
The result of the iteration is
s
1 1 1 1
l+ + m + 1/2
hl− , m − 2 ; 2 , 2 |l+ + 2 , mi = . (6A.6)
2l− + 1
Notes and References 473
Using (6A.3) and (6A.6), the expression (6.170) for the spinor spherical harmonic of total angular
momentum j = l− + 1/2 reads
l
yj,m
−
(θ, φ) = hl− , m − 12 ; 12 , 21 |l− + 21 , mi Yl m−1/2 (θ, φ)χ( 12 )
+ hl− m + 21 ; 21 − 21 |l− + 21 , mi Yl m+1/2 (θ, φ)χ(− 12 ). (6A.7)
hl + 21 , m|l − 12 , mi = 0. (6A.8)
hl + 21 , m|l, m − 12 ; 12 , 21 ihlm − 12 ; 12 21 |l − 12 , mi
+hl + 21 , m|l, m + 12 ; 21 , − 12 ihl, m + 21 ; 12 , − 12 |l − 12 , mi = 0. (6A.9)
With this, the expression (6.170) for the spinor spherical harmonics written as
l+
yj,m (θ, φ) = hl+ , m − 12 ; 21 , 12 |l+ − 21 , mi Yl,m−1/2 (θ, φ)χ( 12 )
+ hl+ , m + 21 ; 21 , − 21 |l+ − 12 , mi Yl,m+1/2 (θ, φ)χ(− 12 ) (6A.11)