Академический Документы
Профессиональный Документы
Культура Документы
x0 = x , (98)
Lorentz covariance of the Dirac equation means that the matrices are the same
in both frames.
What is the transformation matrix S which takes to 0 under the Lorentz trans-
formation?
0 (x) = S(x). (100)
Applying S to Eq. (97),
iS S 1 S(x ) mS(x ) = 0
x
iS S 1 0 (x0 ) m 0 (x0 ) = 0. (101)
x
Using
x0
= 0
= 0 , (102)
x x x x
we obtain
0 0
iS S 1
(x ) m 0 (x0 ) = 0. (103)
x0
Comparing it with Eq. (99), we need
S S 1 = or equivalently S S 1 = 1
. (104)
16
We will write down the form of the S matrix without proof. You are encouraged
to read the derivation in Shultens notes Chapter 10, p.319-321 and verify it by
yourself.
For an infinitesimal Lorentz transformation, = + . Multiplied by g it
can be written as
= g + , (105)
where is antisymmetric in and . Then the corresponding Lorentz transfor-
mation on the spinor wavefunction is given by
i
S( ) = I , (106)
4
where
i i
= ( ) = [ , ]. (107)
2 2
For finite Lorentz transformation,
i
S = exp . (108)
4
Note that one can use either the active transformation (which transforms the ob-
ject) or the passive transformation (which transforms the coordinates), but care
should be taken to maintain consistency. We will mostly use passive transforma-
tions unless explicitly noted otherwise.
Example: Rotation about z-axis by angle (passive).
We can see that transforms under rotations like an spin-1/2 object. For a
rotation around a general direction n,
S = I cos + in sin . (112)
2 2
17
Example: Boost in x direction (passive).
where we have set ~ = c = 1 and V is the total volume. Note that I have chosen
a particular normalization Z
d3 x = 2m (118)
18
for a particle at rest. This is more convenient when we learn field theory later,
because is not invariant under boosts. Instead, its the zeroth component of
a 4-vector, similar to E.
The solutions for a free particle moving at a constant velocity can be obtained by
a Lorentz boost,
S = I cosh + n sinh . (119)
2 2
Using the Pauli-Dirac representation,
0 i
i
= ,
i 0
cosh 2 n sinh 2
S = , (120)
n sinh 2 cosh 2
where p0+ = |p0+ |n is the 3-momentum of the positive energy state, we obtain
1
r cosh 2
2m 0
10 (x0 ) = S1 (x) = eimt
V 1
n sinh 2
0
1
1 0 ei(p0+ x0 E 0 t0 )
= m + E0
1
q
V E 0 m
n
E 0 +m 0
1
1 0 ei(p0+ x0 E 0 t0 )
= m + E0 (122)
V p+ 0 1
E 0 +m 0
19
1 0
20 (x0 )has the same form except that is replaced by .
0 1
p
For the negative energy solutions E0 = E 0 = |p|2 + m2 and p0 = v nE0 =
vE 0 n = p0+ . So we have
p0 1
E 0 +m
1
0 ei(p0 x0 +E 0 t0 ) ,
30 (x0 ) = m + E0 (124)
V 1
0
0 0 1 0
and 4 (x ) is obtained by the replacement .
0 1
Now we can drop the primes and the subscripts,
1
+, 1
1,2 = E + m p ei(pxEt) = u1,2 ei(pxEt) ,
V +, V
E+m
1
E+m +, i(px+Et)
p
1
3,4 = E+m e = u3,4 ei(px+Et) , (125)
V +, V
where
1 0
+ = , = (126)
0 1
(V is the proper volume in the frame where the particle is at rest.)
Properties of spinors u1 , u4
ur us = 0 for r 6= s. (127)
+
u1 u1 = (E + m) + + E+m
p
p
E+m +
( p)( p)
= (E + m)+ 1 + + . (128)
(E + m)2
Using the following identity:
( a)( b) = i ai j bj = (ij + iijk k )ai bj = a b + i (a b), (129)
we have
|p|2
u1 u1 = (E + m)+ 1+ +
(E + m)2
E 2 + 2Em + m2 + |p|2
= (E + m)+ +
(E + m)2
2E 2 + 2Em
= + +
E+m
= 2E+ + = 2E. (130)
20
Similarly for other ur we have ur us = rs 2E, which reflects that = is the
zeroth component of a 4-vector.
One can also check that
ur us = 2mrs (131)
where + for r = 1, 2 and for r = 3, 4.
I 0
u1 u1 = u1 0 u1 = 0
0 I
|p|2
= (E + m)+ 1 +
(E + m)2
E 2 + 2Em + m2 |p|2
= (E + m)+ +
(E + m)2
2m2 + 2Em
= + +
E+m
= 2m+ + = 2m (132)
L = r p or
Li = ijk rj pk . (133)
(We dont distinguish upper and lower indices when dealing with space dimensions
only.)
dLi
= i[H, Li ]
dt
= i[c p + mc2 , Li ]
= icn [pn , ijk rj pk ]
= icn ijk [pn , rj ]pk
= icn ijk (inj )pk
= cijk j pk
= c( p)i 6= 0. (134)
We find that the orbital angular momentum of a free particle is not a constant of
the motion.
21
1 1 i 0
Consider the spin 2
= 2
,
0 i
di
= i[H, i ]
dt
= i[cj pj + mc2 , i ]
i 0 0 I 0 i
= ic[j , i ]pj using i 5 = = = i = 5 i
0 i I 0 i 0
= ic[5 j , i ]pj
= ic5 [j , i ]pj
= ic5 (2iijk k )pj
= 2c5 ijk k pj
= 2cijk k pj
= 2c( p)i . (135)
Comparing it with Eq. (134), we find
d(Li + 12 i )
= 0, (136)
dt
so the total angular momentum J = L + 12 is conserved.
22
where E and p represent the operators it and i respectively. Define W =
E m, = p eA, then we have
B = (W e)A (142)
A = (2m + W e)B (143)
( )( )
A = (W e)A . (145)
2m + W e
In non-relativistic limit, W e m,
1 1 W e
= 1 + . (146)
2m + W e 2m 2m
1
In the lowest order approximation we can keep only the leading term 2m
,
1
( )( )A ' (W e)A . (147)
2m
Using Eq. (129),
( )( )A = [ + i ( )]A . (148)
so
1 e
(p eA)2 A BA + eA = W A . (150)
2m 2m
Restoring ~, c,
1 e e~
(p A)2 A BA + eA = W A . (151)
2m c 2mc
This is the Pauli-Schrodinger equation for a particle with the spin-magnetic
moment,
e~ e
= =2 S. (152)
2mc 2mc
23
In comparison, the relation between the angular momentum and the magnetic
moment of a classical charged object is given by
Ir 2 r 2 er 2 e e
= =e = = mr 2 = L. (153)
c 2 c 2c 2mc 2mc
We can write
e
= gsS (154)
2mc
in general. In Dirac theory, gs = 2. Experimentally,
i ( + iqA ) m + k F = 0. (158)
Recall
i
= ( ),
2
0 i 0 i
I 0
0i = i0 i = i =i = ii ,
0 I i 0 i 0
k
k 0
ij = ii j = ijk = ijk ,
0 k
F 0i = E i ,
F ij = ijk B k . (159)
24
( 2ik E)B = (W q 2k B)A , (163)
( + 2ik E)A = (2m + W q + 2k B)B . (164)
25