This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
o1p _ o1pt (Pl )· p v - zi "P y ox, ox, y "P
"L.ar;.;ax,. = o, but-as " symmetrical tensor r,.. =
This tensor is not yet symmetrical; but since not only
!,ar;.;ax. =
can easily be verified-aJ:>o
•
o, the
(r;. + r;:) also satisfies the conservation equation "L.ar,../ox,. = o: " hc J 01p 01p o1pt o1pt \ (2o.IO) T,., = -. \1pt y
- + 1pt y<"> - - - y
1p- _ yM 1p . 4z ox, ox,. ox, ox,. J l
Under Lorentz transformations i,.= !,a,.. according to~= Sl/1, ~t =
S-l y
s o, w+ wt r<"> o,.. w- (o; .wt) r w- (o: wi) r"> w}.
!/It s-1,
x,
the 1/1 and
!/It
are transformed
" where the matrix Sis determined by:
=I a,., y
(und S-1 = {3 S* {3)
v
so that: (2o.n) From this there follows directly the Lorentz invariance of the Lagrangian L (2o.8) and also the vector character of s. (20.9) and the tensor character of T,.. (20.10). Since according to (20.3) the canonical momenta 1r! = iJL/01/1! vanish identically, we shall try to eliminate the field functions 1/1!, 1r! before carrying out the transition to the Hamiltonian formalism, as in the case of the meson field (§u). This can be accomplished immediately with the help of the relations: (20.I2) 1 That is, with real 4,4- and j,j'-components and with imaginary 4,j- and j,4-components. If one transforms the Lagrangian according to:
(cf. footnote 1, p. 2), one obtains, as canonical energy-momentum tensor, the tenor T". Cf. also Appendix I.
171
§20. FORCE-FREE ELECTRONS
= '2:<11"., i,., + 1r! i,:) "
We obtain thus for the Hamiltonian 1-1
-
L( =
- ~4):
(20.13) It is easy to see, on account of (2o.r,
20.2,
and 20.12), that the integral Hamil-
Jdx H is real, i.e., a Hermitian operator and that it is equal to the total energy - Jdx (2o.1o)]. If we wanted to carry out the tonian function H
=
T44 [cf.
quantization on the basis of the canonical commutation relations (1.7), we would obtain, from (2o.1j), the canonical field equations: • h • n = --:- 'P* = - (E'P)*,
z
formally in agreement with (2o.r). However, a first objection to this canonical quantization method is that then the total energy of the electrons is not positive-definite. In order to show this, we expand the l,tr-function with respect to the eigen functions of ·the Diracequation (20.1), where we impose again spatial periodicity in order to obtain a discrete energy spectrum:1 _i!._E
(20.14)
1Jlo (x, t) =
.L) am e
h
m uma (x), m
m
where: (20.15)
(-E.,.+ E) u.,. = o,
Jdx u;. um. =
{Jmm··
v
According to (20.12 and 20.14) it follows that: (20.!6)
The commutation rules (r.7) are satisfied, if the expansion coefficients are considered as matrices of the type (6.16) with the commutators:
a,., a:
1 The index m, enumerating the eigen functions, stands for the momentum vector and the spin quantum number; u,.., signifies the a-component of the spinor eigen function
u,..
172
V. QUANTIZATION OF ELECTRON FIELDS
because it follows then with the help of (20.14 and 20.16): [tp0 (x, t), 'Po• (x', t)] = [n0 (x, t), n 0 , (x', t)] = o, [n0 (x, t), 'Po• (x', t)] =
!!;_ ~ U~ 0 (x) u;n.,. (x')
=
z """ m
~
z
in this last equation we have used the fact that tlie eigen functions
complete system. One obtains for the energy H =
Jdx H with the help of
y
(20.13 to 20.16):
(20.17)
u,. form a
H=_EE.,.·a:na.,., m
where a! a,.. (!1:;: o), according to (6.18), represents the number N,.of electrons in the stationary state m. But it is known that one half of the eigenvalues E,. of the Dirac equation (20.15) are positive, and the other half negative {E =
* c~(mc)2 + p2}, so that
the energy (20.17) can assume both signs. (This fact does not depeml on the order of the factors a!, a,...) As mentioned before, a further objection is that the canonical quantization necessarily leads to Bose-Einstein statistics, whereas according to experim~ntal evidence the electrons obey the Pauli exclusion principle, which means FermiDirac statistics. This discrepancy with the experimental experiences is directly due to the fact that the occupation number a~ a,. of an electron state is not limited from above, and is therefore not restricted to the values of o and I. The reason for this is, of course, not due to the particular nature of the Hamiltonian (20.13). Any wave field with a Hamiltonian quadratic in the canonical variables q, p is equivalent to a system of harmonic oscillators with quantum numbers which have no upper limit. Since these quantum numbers here have the significance of occupation numbers of stationary states, one can see quite generally that the canonical commutation rules (1.7) violate the exclusion principle. Jordan and Wigner have found a modification of the quantization method which takes account of the exclusion principle.1 In order to formulate the respective equations for the special case of force-free electrons, we go back to the formulas (20.14), in which the u ...; as before, shall represent the eigen functions of the Dirac equation (20.15), whereas the definition of the operators a,. must be changed. We still assume that the operators a... and a! decrease 1
Z. Phys. 47, 631, 1928.
§20. FORCE-FREE ELECTRONS
173
or increase the particle number N"' by one, while they leave the remaining particle numbers N,.. (m' ¢ m) unchanged [cf. (6.17)]:
• r-.~lJ N • , Nm-l " ·IllJ' " (a mJ'N· . •, N " • • =(a*'" mJ N •. , N.. Nm'' N'/1(. 1
1
1
m
1
m'=Fm
The numbers N,., however, shall be restricted to the values o and 1, in accordance with the exclusion principle. The operators a,., a! are thus, with respect to every particle number, two-row matrices, diagonal with respect to the numbers N_,., (m' ;;t!i m), while they assume with respect toN,. the following form:
am=
(2o.I8)
17m·(: :). a~= n: ·(: :}
where the first row and column of the matrices refer always to the value N.,. = o, the second row and column refer to the value N,. = I. The numerical factor 17m shall be determined later.1 In other words: let FN,. be a two-component function of the occupation number N ,., then we have for the functions a,. F and a! F the following values:
(amF)o = 1lm"F1,
(amF) 1 = o;
(a:F) 0 = o,
(a:Fh =n~·Fo.
According to the rules of matrix multiplication one obtains from (2o.18}: (zo.Ig)
a~ am= lnml
2
lnml
2
• (:
:) =
lnmi2 ·N~
• (:
:) =
lnmi ·(I-Nm);
(20.20)
am a: =
2
Here the diagonal matrix with the eigenvalues N,. is called briefly Nm: (20.2I)
1
f/m
is assumed independent of N ,., so that the factor(:
am~ 11m(: The operators a,. and
:) = (:
a:. are then Hermitian conjugates.
: ) in a,. commutes with 71,.:
:) 17m •
174
V. QUANTIZATION OF ELECTRON FIELDS
If we require that l11ml 2 = I, it follows from (2o.2o}:
(20.22) The "anticommutator" of a... and a~ is equal to the unit matrix, while the commutator [a,., a!,], according to (20.20), is equal to the diagonal matrix ( I - 2N,.). It is seen that the commutators and anticommutators have interchanged their roles with respect to the commutation rules of a,. and a! as compared with the canonical quantizati~n ([a,., a!,] = I, a... a! a~ a... = I + 2N,., cf. 6.I8 ). Using the symbol:
+
[a, b]+ =a b
+ ba
we sum up the formulas (20.I9 and 20.22) as follows: * am]+= * *] [am, am]+= [am, o, [am, am+=
I.
As far as the commutation rules of two matrices with m '¢ m' are concerned, one might be tempted to assume them to commute with each other. This would, however, not result in simple commutation rules for 1/1 and 1r (20.I4, 2o.I6). According to Jordan and Wigner, we replace, instead, the commutators by the corresponding anticommutators in all canonical commutation rules: (20.23) Jordan and Wigner have proved that this quantized theory is equivalent with the theory in configuration space, in which the exclusion principle is taken into account by permitting only SchrOdinger functions which are antisymmetrical in the coordinates of any two electrons. It remains to be shown how the commutation rules (20.23) can be satisfied for the matrix pairs m '¢ m' with the assumption (2o.I8). In order to do this, one must assume a definite ordering of the stationary states m = I, 2, ••• This ordering is, of course, arbitrary but must be maintained after it is once determined. We shall now set 11m equal to+ I or to- I in (2o.I8}, according to whether the number of occupied states with numbers n < m is either even or odd.1 This may be expressed by the following formula: m-1
(20.24)
'fJm
=ll(I-2Nn); n=l
t
But 71,. shall not be dependent upon Nm; cf. footnote p. 173.
175
§20. FORCE-FREE ELECTRONS
for in this product the occupied levels n < m each contribute the factor 1 - 2 N .. = - I, while the unoccupied states contribute I - 2 N .. = I. If we compare now the two matrices a,. a,.. and a,.. a,., defined by (20.18 and 20.24), where, for instance, m < m', it is evident that the factor 17m has in both matrices. the same sign, since the operator a,.. does not change the occupation numbers N .. with n < m; the 7Jm•, on the contrary, have in both matrices opposite signs, since in the case of a,.. a,. the previous application of the operators a,. had changed the occupation number N,. (m < m') by I, which is not true for a,. a,... Hence we have a,.. a,.= - am a,.., in agreement with (20.23). The same is true if a,. is replaced by a! or a,. by This reasoning can be expressed in formulas if one represents in 7Jm (20.24) the terms of the product I - 2 N,. as matrices according to (20.21}:
a!·.
which is in agreement with 7Jm 11!. = 11! 7Jm = I. The products a~ a~? and a~J a~> then contain the same matrices with regard to all numbers N .. except N,. (m < m'), while the matrices with regard toN,. are equal and opposite to each other:
C ~C 0 O)'(I
-~=-C -~C ~=-C ~
(,I 0 0 - 0)I
= -
(I0 -I0)(0I 0 0)
=
+
(0I 00).
With this, the existence of matrices with the commutation rules (20.23) is established for m "¢ m' as well as for m = m'. These relations, moreover, determine the operators a,., a! uniquely, as Jordan and Wigner1 have shown, if they are restricted to irreducible matrix systems and if one does not consider matrix systems as different from each other, which result from each other by similarity transformations (a,.---+ s-1 amS, a!---+ s-1 a!S). We substitute the so-defined operators a,., a! into the expansions (2o.I4) and obtain thus the field operators 1/1.. immediately in a time-dependent form. They satisfy the Dirac equation (20.1). The connection between time-dependent and time-independent operators is established again by the general 1
Loc. cit., p. 6so ff.
176
V. QUANTIZATION OF ELECTRON FIELDS
relationship (4.4) (withE= H), for it follows from (20.17 and 20.23}:1 H
H a.,.= am (H-E.,.),
a;,= a;, (H +Em),
a<:!
to the left changes H into H c+>E,.. Conseque~tly one u8 obtains by interchanging a<:,> with eh : i.e., the placing of
.!:.!_H
eh
_!:.!._H
a.,. e
h
_!:.!._E = am e h m
"t _!_H h
e
it
* -~~H
ame
*
= ame
it hEm
or according to (20.14)!
as was stipulated. One obtains now for the operators 1/1.. (20.14), on account of (20.23), the following commutation rules: (2o.26)
[tp., (x, t),tp.,. (x', t')]+ = [tp: (x, t),tp:. (x', t')]+ = o,
(20.27)
[tp., (x, t), tp:. (x', t')]+
=C.,.,. (x- x', t - t'),
where: (20.28)
~ ~(t'-t)Em
c.,o' (x-x', t-t') = ~ e
*
umo (x) umo' (x').
m
It follows from the invariance under translations that the c_. depend only on the coordinate differences x - x'. This is also confirmed by the fo!lowing computation. For t = t', in particular, the completeness relation for the orthogonal system of functions u,. yields:
(20.29)
C.,.,. (x-x', o)
=I um., (x) u:,·.,. (x') =
lJ.,.,. lJ(x-x'),
m
so that one obtains the following commutation rule for the time-independent operators: [tp., (x, o),tp;. (x', o)]+ = lJ.,.,. lJ(x-x'), 1
For we have:
177
§20. FORCE-FREE ELECTRONS
or, according to ( 20. 12) : (20.30)
~z
[V'., (x, o), n.,, (x', o)]+ = -
lJ.,.,, {J (x- x').
Here, again, the anticommutators take the place of the commutators. The· calculation fort ;;6 t', starting from (20.25 and 20.30), can be carried out in a similar way, as was done for the commutators in §4. We shall make the computation here in a slightly different (but essentially equivalent) way by making use of the Hamiltonian or the field equations, whereas in §4 only the Schrodinger-Gordon equation was used.
!. (t'- t)Em
The factor eh Um 17 (x) which appears in the terms in (20.28} can be considered as the u-component of the spinor:
!. (t' - t ) Em
eh
(20.3I)
!.(t'- t) £
Um
(x) = eh
Um
(x)
where E is the operator defined by (20.1). The equation (20.31) holds because according to (20.15) E,.u,. (x) = E u,. (x) (one assumes that the exponential function is expanded into a power series). Hence, we can also write instead of (20.28}:
C.,.,, (x- x', t - t')
=I e" (
!.(t' - t )
£)oe ·I ume (x) u,!;.,. (x'), m
or, using (20.29): (20.32)
where E acts as differential operator on the space coordinates x in the argument of the 6-function. As in §4, we assume that the latter is replaced by a regular function or is represented as a Fourier integral(4.24), so that E can be replaced under the integral by:
Interpreting C""' as elements of a matrix C, we can abbreviate (20.32) in the form: _.i_t£
(20.33)
C (x, t) = e "
• {J (x).
We separate in the power series of the exponential function the even and odd
178
V. QUANTIZATION OF ELECTRON FIELDS
terms in E:
e_i_t£· h =cos
(tE) h - i (tE) h , sin
Taking into account that according to (20.1, 20.2)
(!r
(20.34)
= c2
(p2 -\72)
we can write for the cosine term, which contains only even powers of E:
V
cosC:) =cos (tc p2-V2), A corresponding equation holds for the sine term after factoring Ejh:
The functions of the operator '\}p.2 -v; introduced here, contain as power expansions only integral powers of p.2 - v; and'\(! is, when operating on e'""', equal to- k2 • From this there follows for C (20.33):
i
C(x,t)= {cos(tcV.u2-v2)-hE
sin {t c Vp2-yr2 ) }
cV.u2-yr2
·<'l(x),
or, also: (20.35) where: (20.36)
D (x, t)
=
sin
v
(t c p2-v2) V.u2-v2
c
•
(J (x).
This D-fupction is nothing but the repeatedly used invariant D-function, as one sees immediately from the Fourier representation of IJ (x) and D (x, t) [cf. (4.24, .25)]. Thus the operator C is determined. Substitution of (20.35) into (20.27) yields the desired commutation rules: (20.37)
(tp, (x, t), =
tp;. (x', t')]+ =
( <'laa'
:t - ~
Eaa•) D(x -x',
J\(J""' Oto -c (tXaa·· \7) --h-f3aa'J imc2 \ D(x-x',
t-
t-t').
t')
§20. FORCE-FREE
179
ELECTRON~
In order to prove the Lorentz invariance of the commutation rules, it is convenient to introduce, instead of!/;*, the "adjoint" wave function 1/;t = i 1/1* (3. If one multiplies (20.27) by i (3,.. .,, and forms the sum over u', ~me obtains for [!/;.. (x, t), 1/1!.. (x 1 , t1}1+ the element (u, u") of the matrix (i c which in the denotations of (20.5) can be represented as follows:
m.
i
(20.38)
C(x, t) {3 = i ( !t _,. . *E) {3 •D(x, t) = - c (..Er
By including the remaining commutation rules after similar transformations, we have:
I[V'
(20.39)
l
17
= [V'! (x, t), VIZ· (x t')]+ = o, ( J ~ (v) 0 ~ \ D (x - x , t - t . x,t)]+=-cl7'Yaa'·ox, -p,uaa'f 1
1
(x, t), V'a• (X , t )]+ t
[V~17 (x,t),V'.r
1
1
,
1
1
')
Changing the reference system, one obtains for the transformed spinors ~ = s 1/; and ~t = 1/;t s-1 :
[Vi11 (x, t), Vi!· (X t )]+ = 1
1
,
..,6 5 1117 (S-1)a·e· [V'a (x, t), V'!· (x', t')]+
This shows obviously, by virtue of (2o.n), the invariance of the relations (20.39). The relativistic invariance of the Jordan-Wigner method of quantization is thus proven for the case of the force-free Dirac electron. With regard to the current and energy momentum densities s., T,.,, it should be said that the defining formulas (20.9, 2o.ro) together with the arrangement of factors, as chosen there, can be adopted for the quantized theory, since they satisfy all Hermitian conditions. The conservation laws .
rar,..;ax,.. = 0 are, of " since the operators 1/;
"'j)s./iJx, = ,
o and
course, valid as they were in the unquantized theory,
(20.14), as spacetime functions, obey the same field equations (20.7) as the classical wave functions J/;. . Against this formulation of the theory one can still raise the objection that
the energy H = LEmNm [cf. (20.17, 20.20)] is not positive-definite. m
This
180
V. QUANTIZATION OF ELECTRON FIELDS
deficiency can be removed, however, by a further modification of the formalism in the sense of Dirac's "theory of the positron" (theory of holes). The basis for this is laid by the quantization according to the exclusion principle. Denoting briefly the energy levels of positive or negative energies (Em~ o), positive or neg1,1.tive levels, respectively, we must interpret, according to Dirac, that state of the total system as "vacuum" in which all negative levels are occupied and all positive ones are empty: I
Nm=
(20.40)
{
for Em< o,
o for Em> o.
The definitions of the electric charge and the energy must be changed in such a way that their values for the vacuum state vanish. According to the old definitions (20.4) and (20.13 and 20.17) the total charge is:
ehJdx1p*1p =eh.l;a~am = eh.l;Nm m
m
and the total energy:
Jdxw* E1p = .l;Ema~am= .l;EmNm. m
m
By subtracting from this the vacuum values: and m (Em
we obtain as new definitions:-for the charge:
m (Em >0)
m (Em
m (Em
and for the energy: m (Em
The diagonal matrix, which is introduced here: (20.43)
[cf. (20.21)] when applied to the Schrodinger function yields zero if the level
§20. FORCE-FREE ELECTRONS
181
m is occupied, and I, if it is empty; in other words: Nm signifies the number of "holes" in the negative energy spectrum or the number of positrons. Such a hole (N~ = I) contributes, in fact, to the charge (20.4I) the amount - Eh and to the energy (20.42) the amount IEml, while in the positive spectrum(N,. = I) the charge E h and the energy IEml are assigned to an existing electron. With this artifice, Dirac succeeded in making the energy ·positivedefinite, whereas the charge has lost its definite character, as should be in view of the existence of the positrons. In order to discuss also the momentum and the angular momentum from this point of View, we notice that the expression for the momentum density (G~: = 14 ~:/i c), given by (2o.Io):
+
G=
~ {w* ( 'Vw- rx. .:_c ow)( Vw*- !_c ow* 4~ ot ot rx.) w\1
can be transformed with the help of the Dirac equation (2o.I) and the a-commutation rules (20.2) as follows:
,u> = - i a<2) a< 3>, ... , (cyclic). The term V x 1/l*rn/1 does not contribute anything to the total momentum G = dx G. We substitute the expansions of the eigen functions v (20.I4) into the remaining terms and take into account that u.,."' eikm"', hence V u,. = i k,. u,.. On account of the orthogonality relations (20.IS), it follows for the total momentum: u denotes here the matrix vector with the components
J
m
m
If we again subtract from it the vacuum value:
m (Em
we obtain the corrected value for the momentum:
(20.45) m
m
(Em>O)
(Em
According to this, an occupied single state m in the positive energy spectrum
182
V. QUANTIZATION OF ELECfRON FIELDS
has the momentum +h km, an unoccupied state m in the negative spectrum (i.e., the respective positron), the momentum- h km. We decompose the angular momentum M =
Jdx x x G [analogous to the
formulas (r2.56-r2.6o) and (r6.so)] into two terms:
M =M0 +M',
.fox
0
M = 2hi
X
x{w*V.w- \11p* w}'
v
M'= :Ja.xxx(\lxw*uw)= :foxw*uw. v
v
Applied to particles of non-relativistic velocity the term M 0 , which is independent of the orientation of the spin, yields the orbital angular momentum, the term M', the spin angular momentum, which is of interest here. Since Um,...., eikm"' and u is independent of x, M' is a sum of terms arising from the contributions of the wave functions belonging to the different k-values:
M'=I~k)• k
As in the case of the meson with spin r, we can restrict our discussion to the term M~o> (particle at rest). To the momentum value k = o there belong four eigenfunctions Ui .. u 4 with the energy eigenvalues:
Admitting a unitary transformation the functions ui ..
U4
can be chosen in
such a way that we obtain for a component of the vector matrix
Jdx u: u
Um•
(= V · u';;. u Um•), for instance, for the Xi-component, the following relations:
Jdxu: cfl> um. f dxu
*
m
d 1>u
m
= o form =1= m' (m, m' = I .. 4),
=•r+
I
{-I
for m =
I
and m = 3,
for m=2 and m=4·
Hence, it follows for the Xi-component of M~o>: u' J.VJ. 1 • -
h2:4 I4 *
-2
am am, e ~ (Em-Em•) •
m=1m'=1
h
= - (N1 - N2 2
+N
3
- N4).
fd
* x um
_11) U'
"m'
183
§20. FORCE-FREE ELECTRONS
In "vacuo" the states m = 3 and m = 4 (Em< o) are occupied. The subtraction of the vacuum value from M~ transforms thus N 3 into N 3 - I = - N~ and N 4 into N 4 - I = - N~, so that the corrected value of M~ is:
M;_ =.!!_ (N1 - N2 -N3 + N~); 2 i.e., N 1 electrons (at rest) and N~ positrons have the spin components + h/ 2, N 2 electrons and N~ positrons have the spin components- h/2 in the direction x 1• Thus the physical meaning of the quantum numbers N m and N'.r. is completely established. The state of the total system which is characterized by the values of all quantum numbers N m, N~ must evidently be counted as a single state. This, together with the restriction of occupation numbers to the values o and I, corresponds to the statistical weight for the case of the Fermi-Dirac statistics. The subtraction rule as formulated so far is not quite unambiguous, since we are dealing with subtractions of infinite expressions (divergent sums). We solved this difficulty for the above evaluation of charge, energy, etc., by carrying out the subtraction for each single term m of the .sum. This method, however, does not always allow a generalization (electrons in force fields, cf. §21). In order to remove this deficiency, we introduce the following "density matrix": 1 raa'
(x, t;
,
1
X,
t) =
·e
z I
"\"(
.£...; m,m'
* * Em ~ .) am' am- am am'+ IEml umm' .
! (t' Em• -tEm)
Uma
(x)
t
Um'a'
(x'),
and replace the former definitions for the charge- and energy-momentum quantities (20.9, 20.IO) by the following definitions:
_:_ ;.;:~ !~ e h C.£...; "\" 'Ya•a (1>) s.,'Y00 ,
(
X,
t,• X,, t ') ,
a, a'
T.,..., = :~:'t!~t "\'ric';'> = z .!!~ 4 ~ ..::;.; \ C1 C1 (~ox., ~) Ox a,a' '-
"
+ ,<~> (~ox _!.)}. ox C1 C1
f.'
P
r aa' (x, t; x', t').
In order to examine· their agreement with the primitive subtraction rule, we shall compare the new with the old definitions. For instance, with regard to 1 Fock, C. R. Leningrad I9JJ, 267; Furry and OpperrheimeJ;, Phys. Rev. 45, 245, 1934; Peierls, Proc. Roy. Soc. London I46, 420, 1934; Dirac, Proc. Cambridge Phil. Soc. 30, 150, 1934; Heisenberg, Z. Phys. 90, 209,· 1934·
184
V. QUANTIZATION OF ELECTRON FIELDS
the 4-current s., we find, for the difference of the expressions (20.48} and (20.9) with the help of (20.14 and 20.23): (zo.so)
ehc!:._
~(-I+ IEml Em
2~
m
)ut r.
.!">u =-ehc
m
m
~utm y<">um• .
~ m
(Em
which is equal to the negative part of the expectation value of the current (20.9) for vacuum. A similar identity holds. for the energy-momentum tensor. From this it is easily seen that one obtains for the integral quantities e, H, G, M' based on (20.47, 20.48, 20.49) in fact, the same values as with the original subtraction rule [cf. (20.41, 20.42, 20.45, 20.46)]. But the new definitions (20.47, 20.48, 20.49) are, in contrast to the earlier ones, free from diverging sums of the type (20.50); for if we consider the diagonal elements of the matrix (20.47), i.e., the terms m = m' (only these are of interest):
* 2I_~(* ~ am am- am am + m
=
. ~ ~ ~ N"'-...;-
{
(Em >"0)
Em) -}
' N'm.} e11(t'-0Em Uma (x) Uma' (x'), t
(Em< 0)
we obtain only finite sums provided that only a finite number of positive states are occupied and only a finite number of negative states are unoccupied, i.e., that only a finite number of particles are present. We decomposer (20.47) into two sums: r= R
(zo.5I) :zo.52)
R 00• (x, t; x', t') =
+ S,
I ~( am.am-amam' * *) ei(t'Em•-tEm) ..::;_, 2 m,m'
'
1 • ') l: ~ Em h (t'-t)Em ( ) t saa•(x,t,x,t =2~ IEml e Uma X "ma'
.
t ( ') Uma (x) um'a' X ( ') X.
m
Both.sums converge separately, provided that the world vector (x- x', t- t') is not a zero vector (lx- x'l 2 - c2 (t- t') 2 ¢ o). The limiting process t' ~ t, x' ~ x, considered in (20.48, 20.49), can, however, only be carried out if RandS are combined tor. R can also be expressed according to (20.14): R""' (x, t; x', t') = !:._ {'IJ'!· (x', t') 'IJ'a (x, t) -tp0 (x, t) 2
w!· (x', t')}.
185
§20. FORCE-FREE ELECfRONS
S on the other hand is a function of x - x' and t - t', which we can calculate as follows: if we set in (20.53) formally [similarly as in (20.31), cf. also (20.34)]: I
- EI Um (x)
I
m
=
I
u.,. (x)
,("F9.
v£2
I
=·
hcVp2-\12 +
+
Um
(x),
where again signifies - k2 (u,.,...., eik"'), then the matrix S (with the elements s..ll.) can be represented by the matrix c (20.28) as follows: V2
~ (-~) z ~ at
S (x, t; x', t') =
I
h c Vp2 _ v2 +
·i C (x- x', t- t') f3
(note that u~ = i u~ (3). The matrix S can thus be expressed in terms of the invariant D-function according to (20.35 or 20.38): (20.55)
S(x,t;x',t')=-
~ c(~rM a~,
-p)D'(x-x',t-t'),
where: D' (x, t) =
I
c
a I _ D (x, t). at Vp2-v2
+ In these formulas, C and D are to be considered as Fourier series, so that the operator 1/"VJ.L2 - V2, under the integral, if applied to eikz, assumes the value 1/"VJ.L2 follows that of D':
+k
2 •
From the Fourier representation of D (4.25) there
(zo.56)
D' is obviously a Lorentz-invariant function in the same sense as D; for D' is determined by the sum of the two invariant functions (4.27), whileD is determined by their difference. By carrying out the k-space integration in (20.56),
D' can be expressed in terms of Hankel's cylinder functions with the argument f.L "Vc2 t 2 - x2 • We shall not discuss this further. 1 1 Cf. the papers quoted in footnote I, p. 25; for,.. = o: 1
I
D(x,t)= (2 n)S cf. also (I9.50, I9-5I).
f dkcoskx
COS
iki C t
elk!
=
I
1
2 n 2 c x2-c2t2;
186
V. QUANTIZATION OF ELECTRON FIELDS
The fundamental equations of the theory can now be stated without referring to the expansions in eigenfunctions (20.14): the properties of the operators !/Ia (x, t), 1/1: (x, t) are determined by the Dirac equation (2o.I and 20.7) and by the commutation rules (20.26, 20.37, or 20.39); the physical interpretation is based on the defining formulas (20.48, 20.49) for s,, r,.., in conjunction with (2o.5I, 20.54, 20.55, 20.56).
While the primitive subtraction method distinguishes the electrons rather than the positrons, by interpreting the latter as electron holes, the formulation with the density matrix r has the additional advantage that it is symmetrical with respect to the two kinds of particles of opposite charge. We verify this by defining first: (20.57)
This transformation of the operators a leaves the commutation rules (20.23) obviously invariant:
It corresponds to an exchange of occupied and unoccupied states, i.e., of the numbers N,. and N~ = I - N...; for while ~e operator a,. decreases the number N,. by I, a~ decreases the number N~ by 1.. Considering now that· N,. signifies an electron number for a positive level, N~ a positron number for a negative level, it becomes evident that a transformation by which electrons and positrons are to be interchanged must also imply a reflection of the energy scale. Such a transformation which also includes the transformation (20.57) is given by: '
(20.58)
:t
'IJ'a='IJ'a·
The spinor function 'f/1' thus defined does not satisfy the same Dirac equation (20.7) as 1/1, for !/It satisfies:
owt ~-,<">-pwt = o """' .. ox• and it follows for 1/1': (20-59)
(;;,·<.
> 8:
+ p)w' =
o,
where -y•<•> stands for the "transposed matrix" 'YM with the negative sign: (2o.6o)
"''(1>)- _
'fJ"-
• .(1') "fiiQ"
187
§20. FORCE-FREE ELECTRONS
But since these Hermitian matrices -y'M have the same commutation rules as the -y<•> (-y'(•> ')"<"> -y'<"> -y'M = 26,..), the equation (20.59) can, by a suitable transformation f/ = S fl', with -y'M S = S 'YM, SS* = S*S = 1, be brought into the form (20.7) 1 and hence can be assumed to be equivalent with (20.7). If one defines, furthermore, the adjoint function to f/ according to ( 20.6) as ljt't = i ljt'* -y'<4>, it follows, according to (2o.6o), that .jt't = - i -y<4>ljt'*, and since, according to (20.58) ljt'* = (i .jt* -y<'>)* = - i -y<'> .jt:
+
tPd = - 'IJ'a •
(20.6I)
One obtains for ljt' and ljt't according to (20.58, 20.61, and 20.39) the following commutation rules:
[1p~ (x, t), i,J (x', t')]+ =
c lf _Ey<;>a~- p {)11, 11} D (x'- X, t' -t),
..
ox,
and if one considers (2o.6o) and (4.29): 't , ')] ~ '(1>) 0 -p {Jaa' } D (x -x,, t - t ,), [1J1'11 (x, t), 1J'a• (x, t + - - c { ...::;_,'Yaa'a • x ..
while, of course:
[v)" (x, t), 1J'~· (x', t')]+ = [w:t (x, t),1J'J (x', t')]+ = o. Thus we have shown that the transformation (20.58) leaves the commutation rules (20.39) invariant. In order to see how the quantities T,.. transform, we shall express the density matrix r in terms of ljt' and ljt't. For R (20.54) we find:
s.,
Raa' (x, t; x'. t') = ~ {1J'~t (x, t) vla• (x', t') -v}"' (x', t') -it (x, 2
= R:.a (x', t';
X,
t))
t).
Considering (2o.6o) and using the symmetry property D' (x, t) = D' (- x,- t), we may write for S (20.55):
Saa' (x, t; x', t')
=-: =
c (.;7y~<:'~
s;,.a (x', t';
X,
0~: - p {Ja•a)D' (x' -x, t' -t)
t).
The transformation (2.0.58) thus introduces in R, as well as inS, and conse1
Cf., for instance, Pauli, Ann. insl. Henri Poinpo.re 6, 109, 1936, especially §4.
188
V. QUANTIZATION OF ELECTRON FIELDS
quently also in r = R variables x', t', u':
+ S, an interchange of the variables x, t, u with the primed r00• (x, t; x', t') = r~.a (x', t'; x, t).
Substituting this into the formulas (20.48, 20.49) for s., T,.., we may there interchange the primed and non-primed variables, since this is only a change of notation. Applying (2o.6o) once more we obtain:
I
- !~ hC S-t-t(-e) v
fl:'=Z
·c..>. • ( . , ') - - s.,,• 'Ya•araa•X,t,x,t-
a, a'
'w>(~-~) 'M(~-~)l· T,. .. _~he~~ -;.;:~4i""-'l'Ya•a ox,. ox' +'Ya•a ox,. ox' { a, a'
v
P.
J
·r:a' (x, t; x', t') = + T~... Hence the result is that the energy-momentum tensor is invariant under the transformation discussed, while the 4-current. s. changes its sign, according to the fact that E h stands for the electronic charge in s., whereas it stands for the positron charge in It is gratifying that the formalism permits this exchange of electrons and positrons, not only in view of the experimental facts, but also because it stresses the analogy of the theory for particles with spin t to the earlier discussed theories of particles with integral spin, where the symmetry with respect to positively- and negatively-charged particles is evident. (cf. §§8 and 12).
s:.
§ 21. Electrons in the Electromagnetic Field With the notation (13.2):
o
ie
0.. = - - - tcP... - ox,
(zi.I)
where the «<>. represents the given electromagnetic potentials, we obtain the Lagrangian of the electrons in the field by replacing ajax. by a. (similarly as in §§n and 13) in the Lagrangian for the field-free electrons (2o.8):
(21.2)
..
From this there follow readily these field equations: (21.3)
I
..
r<"> o.,w + P'lfJ = o,
§21. ELECTRONS IN
ELECTROMAGNET~C
FIELD
189
The 4-current (without subtraction terms) remains the same as in the field-free case:
s, = e h c·vi r<"> 'ljJ, while the energy-momentum tensor is obtained from (20.10) by substitution of a. 1f; for iJ1f;fiJx. and of a! 1f;t for iJ1f;tjax.:
r,.., = h~ {wt r
(21.5)
4~
With the help of (21.3, 21.4, 21.5) the following conservation laws are found:1
I~~,=- :Is,..F,....
"' os, ox,
(21.6)
~---0,
,..
"
,..
Under the gauge transformation [cf. (11.4)]:
L,
s.,
ie
oA w. _.., w. + --, ox,
(21.7)
-tl
'IJ1 _.., e c
'lfJ•
T,.. as well as the field equations (21.3) are invariant. With:
(21.8) one finds for the Hamiltonian:
(21.9) = - c :n;
I
3
rx.
k=l
+
(ci>4 = i «<>o). One can easily verify that H i E 'IT 1/1 «<>o agrees with - 144 except for terms which either vanish according to the Dirac equations (21.3), or are expressible as spatial divergences; i.e., H differs from - T44 essentially by the term - i E 'IT 1/1 «<>o = p «<>o. With regard to the quantization of the theory, we remind the reader that in all earlier cases, with quantization according to the Bose-Einstein s~tistics, the commutation rules for the time-independent operators 1f;,, 'IT, were the saine as for the force-free case; this is inherent in the nature of the canonical quantization. Hence we shall try also here, where we quantize according to the exclusion principle, the same commutation rules for the time-independent 1
Cf., for instance, Pauli, Handbuch der Physik, Geiger-Scheel, Bd. 24, I. Tell, p. 235·
190
V. QUANTIZATION OF ELECTRON FIELDS
operators 1/t,,
1r,
as in the theory of the force-free electrons [cf. (20.26, 20.30)]:
One may satisfy these relations by expanding with respect to any complete orthogonal system (for instance, the eigen functions of the force-free electrons): (21.II) m
m
where the coefficients am, a'!. are matrices of the type (20.18) with the commutation rules (20.23); this assumption obviously is in agreement with the postulate (21.10). On account of (21.9 and 21.10) one finds f~r ~ (x) =
i
h [H, 1/t (x)] and ir (x)
i
=
h [H,
..f'
1p = - c (21.12)
tx(k)
..J: o~
{ it = - c
(x)]:l
1r
oktp-ip, c {3tp- i e tPotp.
;n
.x
k
which corresponds to the field equations (21.3) [cf. (21.8)]. In order to study the relativistic invariance of the theory we introduce timedependent operators 1/t (x, t), 1r (x, t) in such a way that they satisfy the differential equations (21.12). We can assume them to be represented in the form of a Taylor expansion with respect tG powers oft: 1
If we write H in the form:
where Opu is a differential operator acting on![;,, it follows, for instance: H V'T (x) = -
~ dx'
.1: 3Te (x') V'T (x) oea V'a (x') e,a
.J: {-VJT (x) :n: (x') + i h li e,a VJT (x) H--i h .J: O-ra V'a (x), a
= - ~ dx' =
11
hence: •
~
'PT = ~ a
OTa V'a
8H =an· T
11
Tli (x- x')} 0 11 a V'a (x')
191
§21. ELECTRONS IN ELECTROMAGNETIC FIELD . . 1p ( X, ) t = 1p () X :n;
(x, t) =
:n;
+ t 'I"J' (X) + -12""( t 'IJ' X) + ... , 2 + t :n;• (x) + -2I
(x)
t2
••
:n;
(x)
+ ....
If we substitute these developments into the anticommutators [1/t., (x, t), 1/t.,• (x', t')]+ etc., we obtain, with (21.10 and 21.12) :1 (21.13)
[1p0
(x, t), 'IJ'a• (x', t')]+ = [:n:0 (x, t), :n;D' (x', t')]+ = o,
[1p0
(x, t), :n;D' (x', t')]+ = i h
+ t (- C..fIX~~ { O~k- iCe (/Jk
..f .x~"J. {0~~ +
+ t' (- c
{6aa' + (X, 0)} -ip, Cf3aa'- ie6DD'
(/>0
o)} + i p, c f3aa• + i e 6aa'
(/Jo
ice (/Jk (x',
0)) (x'. o))
(X,
+ .. ·} 6 (x -x'). 2 Here those parts of the Taylor expansions which are independent of . can be summed up and, indeed, the result may be taken from the theory of the fieldfree electron, i.e., from formula (20.37): (21.14) =
i h{e>aa'
:t-
[tp0 (x, t), :n:D' (x', t')]+ =
c (.xaa'' 'V) -ip, cf3aa'} D(x-x', t -t')
+ {e h (t'- t) [( <X
00
.·(/J
(x, o))- C>aD' (/>0 (x, o)j
+ ... } C> (x- x")
(here we used: . (x', o) li (x - x') = . (x, o) li (x- x'), which evidently is permitted). If. we now carry out a Lorentz transformation and if we consider two world 1
Fort'
=
t, of course, we must have: [V'a (x, t), n 0 , (x', t) j +
= i h
li00• li (x- x'),
for any t-values. This is, in fact, compatible with (21.12):
:, [V'a (x, ~). n0 , (x', t)]+ = [~a (x, 1), no' (x',
t)} + + [V'a (x, 1), ~0• (x', 1)) + =
o.
The time origin is thus not distinguished. This means that without loss in generality one may develop in powers oft or t' instead oft' - t (one could, for instance, choose t = o).
192
V. QUANTIZATION OF ELEGTRON FIELDS
points x, t and x', t', which are simultaneous in the new reference system then we have: 8
t'-t= L;ak(ik-xk),
(2I.I5)
k=l
The term linear in t' - t vanishes in (21.14), since (x~ - Xk) li (x - x') = o. If we restrict the discussions to infinitesimal Lorentz transformations, so that terms of higher order in t'- t can be· neglected, the equation (21.14), assuming (21.15), is equal to the corresponding ·equation for the field-free case. Since the Lorentz invariance of the commutation rules in the field-free case has already been proved (§2o), we can deduce for the transformed operators ~=
s 1/t, w- =
1r
s* =
1r
f3 s-l f3:
[wo(x,t},no•(X',i)]+
=
ih~oo·~(x-X').
On the other hand, according to (21.13) :•
[wo (x, t), ~0' (X',t)] +=[no (X, t}, no• (X', t)] + =
0.
This proves the invariance of the commutations rules for simultaneous world points and for infinitesimal Lorentz transformations. The invariance with respect to any (non-infinitesimal) transformation follows directly from the group character of the Lorentz transformations, so that all invariance conditions are satisfied since evidently the Lagrangian (21.2) is also an invariant. Nothing is changed in the quantization of the electron waves, if the electromagnetic field is considered as a variable wave field instead of a given field, as before. . then stands for the field operators, which were denoted by 1/;. in §17. One must add the Hamiltonian of the electromagnetic vacuum field to the Hamiltonian (21.9) which represents the kinetic energy of the electrons and their interaction with the electromagnetic field [corresponding to
Z H
in §17, cf. (17.9, 17.11)]. Furthermore, the Schrodinger function of the total system must satisfy certain subsidiary conditions [cf. (17.21)] which guarantee the validity of the Maxwell equations and which can be used to eliminate the longitudinal light waves, as Wa.s explained in §17. We shall not repeat this calculation, since it is essentially the same as that in .§17 and since it leads exactly to the same result [cf. (17.46, 17.47)]: in the Hamiltonian only the transverse field components remain (<1>0 --+ o, --+ tr) and in the place of the
§21. ELECTRONS IN ELECTROMAGNETIC FIELD
193
energy of the longitudinal light waves appears the Coulomb energy of the electrons [cf. CI7·35 to 17.39)1:
HO = _I_Jdxfdx'
(!
8n
(X)
(!
(x') •
1x-x'1
where p = - i E 1r 1/;.1 Furthermore, the multiple-time formalism of quantum electrodynamics (§18) can also be carried through, the quant~ed electron wave field now taking the part of the individual electrons which were previously treated in configuration space. The time coordinate t1 of the electron field replaces the particle times 'tn, and it is different from the time t of the Maxwell field. 2 In order to avoid unnecessary complications, we shall deal in the following mainly with the case of the given field «~>., but shall occasionally also consider the Maxwell field as a quantized field. For the perturbation treatment of weak field effects, we shall write the Hamiltonian (21.9):
H = H0 + H', HO =-en {(~·'V) -ip,f3}
I
(21.16)
tp,
H' = i en {(~ · f.P) - f.Po} "P·
If we expand, furthermore, 1/; and 1r with respect to the field-free eigen functions according to (21.11), it follows that:
Um
H =fdxH=HO+H', m
(21.17)
H' =
2,; E~n a~ an,
J
where E~n = - e h dx u~ {(~ · f.P) - f.P0 } Un.
m,n
Here it is permitted to rewrite H 0 in the sense of the Dirac hole theory by subtracting the constant ~Em [cf. (20.42, 20.43)1: (Em'
(21.18) m
(Em
194
V. QUANTIZATION OF ELECTRON FIELDS
The perturbation function H; describes transitions, produced by the field ., between the unperturbed (field-free) states; the term m, n in (21.17) corresponds here according to (2o.r8) to the transition of an electron from the single staten into the (initially not occupied) single state m. We shall interpret here the unoccupied levels in the negative energy spectrum again as positrons. A term m, n with Em > o and E .. < o describes therefore the creation of an electronpositron pair: Nm=o--+r, N .. = r--+o or N:=o--+r [cf. (20.43)]. We shall return later to a more precise and more general formulation of the positron theory, and shall instead first apply the perturbation method to the scattering of light by a free electron as a typical example. For the matrix element of a two-step transition I -+II--+ F we write as in (7.10):
We shall first consider a transition in which an initially existing light quantum of energy hw1 will be first absorbed by an electron in the single state m1 (E,. 1 > o) and then einitted with the energy hwF. Such a transition contributes toH~1 : 1
(21.20)
[cf. (2o.r8) ff.]. Single states mu which are occupied in the beginning (Nmu = r) contribute nothing to ( 2r. 20) ; the respective transitions I --+ F are not permitted by the Pauli principle. This is true in particular for all negative single states (E"''I < o), if one assumes that there exists in the beginning no positron, i.e., no hole in the negative spectrum. Instead, the initially occupied levels give rise to transitions of the following kind: first the light quantum h wF is emitted, whereby the initially existing electron mu jumps onto the final level ~· 1 It is convenient not to insert special numerical values for the matrix elements of a.., a! but to consider H;1 still as a matrix with respect to the occupation numbers N 1, N 2 ••• [just as (9.19) was considered as a matrix with respect to the charge numbers A1, A2 •••].
195
§21. ELECTRONS IN ELECTROMAGNETIC FIELD
After this the initial electron m1 falls into the produced hole mu with absorption of the initial light quantum h w1 : (21.21)
[The sign results from the fact that the matrices a and a* are anticommutative. The matrix elements E~En;?. and E'!bs>.,._ have here the same meaning as in F
II
1I
1
Since the scattering process takes place with energy conservation, it follows that: (21.20)].
and consequently the sum of the two terms (21.20 and 21.21) is independent of Nm11, namely, equal to:
i.e., each level mu contributes, whether occupied or unoccupied, the same amount to the sum (21.19). The same holds, as can easily be seen, for another class of transitions, which differ from the ones discussed so far in the sequence of the light emission and light absorption processes, other things being equal. Altogether, one obtains: (21.22)
""
l
E'(Em)
k(Em
mn
mF mil
E'(Abs) mil m 1
E'(Abs) tnF mil
E'(Em) mil m 1
~
•
(Em +hwF)amam. +hwr) -EmII + EmF I I I II
Insofar as the scattering process is not altogether forbidden by the exclusion principle (i.e., provided that for the initial state Nm1 = 1, NmF = o) its probability is, according to (21.22), the same as that calculated with the unquantized Dirac wave mechanics (without hole theory); in other words, it will be given
196
V. QUANTIZATION OF ELECTRON FIELDS
by the well-known formula of Klein and Nishina. 1 In the unrelativistic limiting case, it will reduce to the classical (Thomson) scattering formula (d. §r7). The same is also true for the scattering of light on positrons. Further problems which could be treated with the perturbation theory, on the basis of (21.17), are the creation of an electron-positron pair by light and the reverse process, the annihilation of a pair. On account of the conservation of energy and momentum, these processes-as was explained in §u for the creation of a meson pair-depend on the presence of an additional electr
1 Z. Phys. 52, 853, 1929. Cf. also Heitler, Quantum Theory of Radiation, Oxford Univ. Press, London, 1936, §16. 2 Oppenheimer and Plesset, Phys. Rev. 44, 53, 1933; Heitler and Sauter, Nature IJ2, 892, 1933; Bethe and Heitler, Proc. Roy. Soc. London I46, 83, 1934. Cf. also Heitler, loc. cit., §2o. The niost important process for pair annihilation is that with the elnission of two light quanta (Dirac, Proc. Cambridge Phil. Soc. 26, 361, 1930), cf. Heitler, loc. ·cit. §21. 3 Proc. C~rnbridge Phil. Soc. 30, 150, 1934. 4 Z. Phys. 90, 209, 1934-
§21. ELECTRONS IN ELECTROMAGNETIC FIELD
197
a:* according to (21.1) have the following significance:
where a.,
a. =
(21.25)
ie
8 ux..
<>'*-~+!!_no (It') • ox' C "Vv X ,
--;:;:------- tJJ.. (x, t),
uv -
c
v
These definitions are for . = o slightly more general than the definitions (2o,~8, 20.49) used in §2o in that we do not yet require t'---+ t, x'---+ x. With (21.23, .24) the s. and T,... are now defined as matrices with respect to space and time coordinates. The proper physical density functions shall be defined later by a suitable limiting process, as finite limiting values. In order to satisfy the continuity equation for the 4-current, it is sufficient to require that the density matrix r should satisfy the differential equation: '\""' ("uv+ ...::::.,;
(21.26)
<>'*) ...::::.,; '\""' I'a' (v) a 1'00,-- 0,•
UV
a, a'
" for then ~(a.+
;i,*)s. =
o, or in the limit x',t'---+ x,t according to (21.25):
•
. .:'\""' :::.,; _;._ ox. (lim s..) =
o.
•·
It follows further from (21.26):
I
a;)
e{J .. = :~I [(op + e~*), (o,.-a:*)]Ir~~raa·; {J ~a'
considering that according to (21.25) [d. (13.6)]:
r
I (op + a;) ep•· = {J
1 2
cI
{J
{F{J .. (x, t) + F{J,. (x', t')} s,.,
and in the limit x', t'---+ x, t:
I a~{J (lim e{J . ) = - :Is{JF{J ... {J f.l
198
V. QUANTIZATION OF ELECTRON FIELDS
In order that also:
be true, one must assume besides (21.26) that: (2I.27)
.2: ~ {lim (e{J .. {J 8 {J
.2: (o{J + o~*) (e{J .. {J
e..,J} =lim
e,.{J) = o.
If we chose in (21.23, 21.24): 1
1'DG'
(X, t; X , t') =
w!• (X', t') "Po (X, t)
this would lead us back to the equations (21.4, 21.5) in which no subtraction of ·vacuum terms has yet taken place. In order to correct the density matrix in accordance with the general ideas of the hole theory, we follow Dirac and Heisenberg in assuming, as in the field-fr~ case [cf. (20.51, 20.54)}: (2I.28)
r=R+ S,
(2I.29) RD a' (x, t; x'' t') = 2._ {w!· (x'' t') "Po (x, t) -'lf'a (x, t) 2
'ljJ!· (x'' t')}
(~t = i ~* {J = 1r {J/h). According to the Dirac equation (21.3) the matrix R. satisfies the differential equations:
.};_2;y~~ o,. Rea'+ f-l Raa' = "
e
•
e
o,
,2;2-..,o:* Rae 'Y~~ -pRoD'= o. By addition of these equations and contraction with regard to the u, u' it follows further that: ~ (" "'-' u,.
"
~ - O, + u,.<>'*) £..; 'Yea R ae(v)
e. a
i.e., the R-part of r satisfies the equation (21.16). The R-part also agrees with the postulate (21.27), as can easily be verified.1 The S-part, which is given by (20.55, 20.56) in the field-free case, must satisfy the same conditions. One must further require that S should be independent of the state of the electrons; i.e., S must not contain the operators ~. ~t, while it may explicitly 1
Cf. footnote page 189.
199
§21. ELECTRONS IN ELECTROMAGNETIC FIELD
depend on the electromagnetic potential functions and their derivatives, subject, of course, to the condition of relativistic and gauge invariance. Our task now is to determine the matrix S subject to the above-mentioned S will yield finite results in the . restrictions such that the operator r = R limit x', t' ~ x, t. Only those terms of S are important which influence the limiting values of s. and T,.. (x', t' ~ x, t). In this sense Heisenberg1 was essentially able to solve the problem unambiguously, after Dirac had already prepared the way. We cannot enter into the rather lengthy calculations and
+
shall only describe shortly the corrected Hamiltoni~n H =
Jdx (-
T44
+ p o)
as derived by Heisenberg. It contains besides the terms (21.1?), subtraction terms which are unit matrices with regard to the electron numbers N m and which depend on the «1>. and their derivatives in a complicated way. «1>. here appears always multiplied by the elementary charge E h. H H is expanded in powers of the electron charge:
H=.J: JI(k>, k
then nco> agrees, of course, with the field-free values (20.42, 20.43), or (21.18). If the Maxwell field is quantized then the light quantum energy must be added to this. We obtain, moreover: H
~ ' ~ E' "T' =..::.... Emm Nm-..::.... mm 111 m+ m
<Em > 0)
m
<Em < 0)
~ E' * an' ~ mn am m=Fn
where E' is the matrix defined in (21.17). As far as terms m #- n are concerned, H
200
V. QUANTIZATION OF ELECTRON FIELDS
obtain from these the integral quantities H
x
=
x+ ~.
x' =X-~
-to simplify we choose t' = t-and integrate over the x-space with- constant vector~:
n
FI
n
~
II
n
FII III. H(O)_H(O). I II
in that case it leads to finite results. The R-terms do not contribute anything to H<2>, H<3>, ••• ; hence each of the higher perturbation functions (k ~ 2) is constant (unit matrix) with respect to the electron and positron numbers Nm, N~, while their dependence on the potentials 4>. is determined by that of the S-matrix. As a (relatively simple) example we shall write down H<4):
H<4l
I (e2h)ll I (f/J (x)-· -~)4.
= - - ---
48 n 11
c
--
hc
1~1
H<5> and the higher terms vanish for ~ = o. The Heisenberg terms H< 2>, H< 3>, H< 4>are principally important for electrodynamic problems. Since the Hamiltonian contains terms of the third and fourth order in 4>., the electromagnetic field equations are no longer strictly linear, i.e., one must expect deviations from the principle of superposition for high field strengths. Intuitively_ this may be interpreted as a .reaction of the ---·-----vacuum polarization on the field, which is of a non-linear character (as in a ;_~dium-whiCh a;_;t;~-p~it,ri;d.;-and ;hi~h h~s ~di~iectric constant d~~~ding on the field strength). As a typical non-linear effect we mention the scattering ~f !1ght on light or on an electric field. Such effects can already be understoOd qualitatively from the primitive picture of the holes.1 Thus, for instance, one interprets the interaction of two light quanta, which gives rise to their scattering, as due to the emission and reabsorption-of virtual electron-positron pairs in a similar way as two electrons are supposed to interact by emission and reab~~;p.. tion of light quanta. Heisenberg's subtraction formalism is needed, however, 1
Ha.lpern, Phys. Rev. 44,
Bss, 1933; DelbrUck, Z. Phys. 84, 144, I933·
§21. ELECTRONS IN ELECTROMAGNETIC FIELD
201
to obtain a sufficiently small probability for the scattering of light on light (especially at low frequencies).1 In the respective matrix element, which is of the fourth order in E, the contributions from the perturbation function HU> are chiefly compensated by the term H<4). (This term contains, evidently,matrix elements which correspond to the annihilation and creation of two light quanta without change in the state of the electrons. cl> in H<4> is, of course, to be considered as the field operator, called 1/t in §16). Also for the scattering of light on electric fields (at not too high frequencies) only a very small intensity results which is hardly of measurable order of magnitude.2 Provided that all wave lengths involved are large compared with" the Compton wave length of the electron, it seems possible to describe all these effects which are not dependent on the state of the electrons by a new Lagrangian for the electromagnetic field: 3
L = _:_ (~2- ~}+_I_ e,4h6 {(~2-~)2+ 7"(~·~)2} + .... 2 36o n2 m 4 c7 (This resembles the Lagrangian of the non-linear theories of Mie and Born, which aim at a "unitary" description of field and charged particle. Whether this connection is more than purely formal seems doubtful in view of the difference of the fundamental ideas in the two theories.) The Dirac-Heisenberg subtraction formalism has, however, not led to any improvement regarding the self-energy problem of quantum electrodynamics. The electromagnetic self-energy of the electron is still infinite as before, although the respective momentum space integral now diverges only logarithmically.4 But just this fact makes it appear doubtful whether a solution or a reduction of the problem can be achieved by applying the multiple-time theory, as in the configuration-space theory of the electrons (cf. §19). Furthermore, the light quantum, too, gives rise to a self-energy in the "hole" theory, on account of its ability to create virtual electron-positron pairs. Here again the Heisenberg formalism leads to -a lOgarithmi~ally divergent.. integraL 6 If the momentum spectra are cut off, the self-energy terms prove to .be small in the second approximation, compared with the unperturbed energy eigen values (Em or h elk!), even if the cut-off momentum is chosen ) ) m c. The reason is that, 1
Euler, Ann. Physik 26, 398, 1936. Helv. Phys. Acta 10, n2, I937· 3 Euler, loc. cit.; Heisenberg and Euler, Z. Phys. 98, 714, 1936; Weisskopf, Kgl. Danske Vidensh. Selsk., Math.1ys. Medd. XIV, 6, 1936; Kemmer, loc. cit. 'Weisskopf, z. Phys. 89, 27, I934. and 90, 8I7, I934; Phys. Rev. s6, 72, I939· 6 Heisenberg, loc. cit. 2 Kemmer,
202
V. QUANTIZATION OF ELE;CTRON FIELDS
on the one hand, this momentum enters only logarithmically, and that, on the other hand, the pure number rh/c which enters as an expansion parameter is small. As was said before, this method of cutting off is only a make-shift theory because it destroys the Lorentz invariance of the theory.
Chapter VI
Supplementary Remarks. § 22. Panicles with Higher Spin. Spin and Statistics The types of field which were discussed extensively in the preceding chapters were selected partly on account of their relative simplicity, partly on account of their connections, either assumed or verified, with elementary particles known from experiments: mesons, photons, and electrons. Regarding other, ·more complicated types of field, we must be content with a short report, especially in view of the rapidly growing complications of the mathematical formalism for fields with more components. So far there is no indication that such higher fields are realized in nature, with the only exception of "gravitational waves," about which we shall speak later. As we have seen, there exists a conne::tion between the relativistic transformation properties of the field and the spin of the particles which are described by the quantized field: the scalar field describes particles with spin o, the vector fields those with spin 1, while electrons with spin-! are represented by a Dirac "spinor" field. The generalization for integral spin is obvious: we use tensors of rank s to describe particles with spin s. The van der Waerden "spinor calculus," 1 which will not be discussed here, provides for half-integral spins (s = 3/2, sf 2, ...) the formal mathematical apparatus for the construction of field functions with the desired transformation properties. This calculus allows even a uniform description of particles with integral and non-integral spin.2 But in the case of integral spin the respective spinors can be reduced to tensors. The tensor or spinor fields must satisfy certain additional conditions lf they shall describe only particles of a definite spin s. We have already seen an 1 Van der Waerden, Die gruppentheoretische Methode in der Quantenmechanik, Springer, Berlin, 1932. 2 Dirac, Proc. Roy. Soc. London, 155, 447, 1936; Fierz, Helv. Phys. Acta 12, 3, 1939.
203
204
VI. SUPPLEMENTARY. REMARKS
example for this in §12. We had to subject the vector field 1/t. to the subsidiary condition (12.2) (vanishing of the 4-divergence) in order to avoid having particles with spin o appear besides those with spin I. Since the former would have in addition a negative energy, the condition (12.2) simultaneously provides that the field energy is positive-definite. The additional conditions serve the same purpose for cases of higher spin. We shall now discuss briefly the case s = 2 in order to indicate the generalization of the formalism for higher spin values.1 Let 1/1,.. be a symmetrical tensor of the second rank with identically vanishing trace:
I'lj),.,.=O.
(22.1)
The Schrodinger-Gordon equation shall hold for each field component 1/t,..: (22.2)
In addition, one requires, similar to (12.2), that the vector divergence of the tensor 1/t vanishes: (22.3)
We shall write 1/;--in the non-quantized theory-as a plane wave: '" =aJl'll eikz-iwkt J Tptl -
where
OJ2k
=
c2 \fA' t .,2
+ kz),
and we shall count how many independent waves exist for a given wave number vector k. H we use, for reasons of simplicity, the reference system in which k = o (rest-system of the respective particles in the quantized theory), there results: 'P,.,.a,.. e-ipt ,
and the divergence condition (22.3) yields:
If the rest mass is assumed p. :F o, then in this coordinate system all components 1/t-t.. = 1/;.4 will vanish, and there remain only the independent components of the three dimensional tensor 1/tik with the properties:
1
We follow here the representation of Fierz, loc. cif.
§22. PARTICLES WITH HIGHER
S~IN
205
The number of the linearly-independent components is obviously s, i.e., equals 2s +I. It can easily be deduced. from the way in which these components transform under a rotation of the space coordinate system that the appertaining five particle states in the quantized theory correspond exactly to the five possible orientations of the spin 2. The case of vanishing rest mass, J.L = o, must be treated separately, just as for s = I (electromagnetic field, d. §I6). Then there exist "gauge transformations" [analogous to (I6.4)] which leave the field equations invariant. The equations (22.I, 22.2, 22.3), for instance, with p. = o, remain unchanged,
if 1/t,.p is replaced by 1/t,.. + aA,
ax,.
the conditions
0
+ aA,., where Ap is a vector field which satisfies ax.
A.= o and
"EaApjax. =
o. If one now considers two
•
states of the field as physically equivalent which transform into each other by a gauge transformation, then there remain only two independent, nonequivalent "states of polarization," for a definite frequency and direction of a plane wave. This is true for all spin values s 7J6 o. The problem of constructing Lagrangians in such a way that the wave equation and the subsidiary conditions follow simultaneously from the Euler differential equations is quite difficult.1 The simplest assumption for s = 2 is:
here 1/t,.. is meant to be a symmetrical tensor right from the beginning and 1/t has the significance:
(22.5)
.
The variation with respect to the ten independent field components the field equations:
1/t:. yields
1 Cf. Fierz and Pauli, Proc. Roy. Soc. 173, 2n, 1939. The Lagrangian functions mentioned in this paper also contain auxiliary fields which belong to smaller spin and whose disappearance also can be derived subsequently from the principle of variation. The influence of an external electromagnetic field can be taken into account by replacing in these Lagrangian functions ajax. by a. [cf. (I3.2), (2I.I)]. We disregard here external forces, i.e., we discuss only "vacuum fields."
VI. SUPPLEMENTARY REMARKS
206
(22.6)
If one applies here on the left side successively the operators:
I
~
a:,. ··.,
p
o2
2: ox,. a~. ··., 2: lJ,.p • • •• "''"
"''"
there follows: (22.7) (22.8)
(22.9)
For p. 7J6 o it follows from (22.8 and 22.9):
'P =0,
(22.10)
and hence from (22.7): (22.II)
~ 0"""' ox,."
~
= 0.
p
In view of this (22.6) implies: (22.12)
The equations (22.5, 22.10, 22.n, 22.12) agree with (22.1, 22.2, 22.3) as was desired. For p. = o, on the other hand, the equations (22.10, 22.n, 22.12) no longer follow from (22.6), since the equations (22.7, 22.8) degenerate to identities. This corresponds to the earlier result for s = I. By putting p. = o, the equations (22.6, 22.9) go over into the Einstein differential eqUa.tions for a weak gravitational field in a space free of matter; 1/t,.. stands for the deviation of the·
§22. PARTICLES WITH HIGHER SPIN
207
metrical fundamental tensor gp. from the unity tensor:
g,., =
(},.,.+ 'P,. ...
and the terms quadratical in 'f/tp. are neglected.1 If one introduces further the field:
2I (j,. .. 'P
'
'P,. .. = 'P,. .. -
one can, as Hilbert has shown,t transform the coordinates, without altering the infinitesimal character of 'f/tp., in such a way that:
8 ' '\" 'P,.,. =
~ p
ox,.
0
This corresponds to a gauge transformation of the field l/tp,..2 The equations (22.6, 22.9) now reduce to: D'P~ .. = o.
The plane waves which satisfy these equations have only two independent, non-equivalent states of polarization3 ; these "gravitational waves" are identical with the above mentioned solu.tions of the :Fierz field equations for s = 2, u = o. The corresponding particles of the quantized theory, the "gravitational 1 Cf., for instance, Pauli, Encykl. d. Math. Wisse,nsch. Teubner, Leipzig-Berlin, 1921, Vol. V, part 2, section 6o. .p,.. is here, of course, a "real" tensor. 2The equations (22.6, 22.9) (with p. = o) are invariant under the gauge transformations:
aA,
aA,.
'1',.,.-'1',. .. + ax + --;;;-· p.
"
where A,. may .be any vector field. The field >/t' transforms according to: I
I
aA,
aA,.
'\" aA 11
'1',.-,-'1',.,. +OK + ~-t5,.,. ~ p.
"
I!
~· I!
so that:
by a suitable choice of A,. this divergence and also simultaneously the trace .P' can be made to vanish. 8 Einstein, Berliner Berichte IpiB~ I54··
208
VI. SUPPLEMENTARY REMARKS
quanta," thus have a spin of the magnitude 2h, with two allowed orientations (parallel or antiparallel to the direction of propagation). A further task is to construct for any spin value energy-momentum tensors which satisfy the conservation equations (2.7); and, further, to define charge- and current-density functions for complex (charged) fields in accordance with the continuity equations (3.12). This has been carried out first by Jauch and Fierz.1 Especially important are the results concerning th~ sign of energy and charge. We have seen earlier that the energy density.is positive-definite for the cases s = o and s = I. This is no longer true for higher spin values; although the total energy is for integral spin always positive-definite, while the total charge is indefinite. On the other hand, for non-integral spins, and in particular for s = i (cf. §2o), the charge is definite, but the energy indefinite: the sign of the total energy enters symmetrically into the theory. This has the same consequences for the quantization of these fields, as we met already in the theory of the electrons and positrons (see below). 1 Fierz, loc. cit. In the force-free case, there are (except for the spins = o) several possible definitions for T"" and s., for which the integrals dx r,. and dx s, (energy, momentum, and charge) are the same. The localization of these quantities in the field seems ambiguous. For instance, one can add, for s = I, to the current density (I2.7) a "polarization-current":
J
J
(oy = const.) without violating the continuity equation. This corresponds to a modification of the Lagmngian by a divergence:
For s =
! the corresponding substitution is: L --+ L- const.
Z "
a!,
Z p
'Pt i
{yCPl yC"l _
yM yCP>) : : • p
The density definitions become unambiguous if one discusses the (charged) particles in the electromagnetic field and if one assumes their equations of motion in the field in a certain way. For s = I, it means disposing of the constant 1' in the additional term to the Lagrangian, mentioned in §I3 ( page 95 ), i.e., choosing the magnetic spin moment of the particle. A corresponding situation results for s = !.
§22. PARTICLES WITH HIGHER SPIN
209
The spin values s > I give rise to additional complications in the quantized theory. In the scalar theory (§§6 and 8) the canonical commutation rules (I.J) or (3.9) yielded directly a relativistic, invariant prescription for quantization. For s = I (§I2) the subsidiary conditions (I2.2) had the consequence that the canonical commutation rules could not be applied to the redundant field component '4t4. Yet 1/14 could be eliminated and thereupon the canonical formalism would yield again invariant commutation rules. For higher spin values the number of subsidiary conditions and with them also the number of redundant field components increases quickly, and their elimination is no longer possible. But a relativistic invariant quantization is feasible even with9ut the canonical formalism. Fierz (loc. cit.) has found invariant commutation rules for any spin value which for s ~ I are identical with the above derived relations (6.8) or (8.8), (I2.22, I2.23, I2.24), (20.39), and which represent a generalization of these equations. They satisfy the general postulates of the quantum theoretical formalism, since we derive from them the validity of the operator equation ip = ifh · [H, 'P1 for each field quantity (which does not contain the time explicitly). The corpuscular properties can be inferred again from the fact that, for instance, the eigen values of the total energy are the sums of the energies ~k of individual particles. To illustrate this we state the commutation rules of Fierz for the case s = 2, J.L ¢ o (complex field). With the same notations as above and with the abbreviation:
[cf. (I2.24)] they may be written:
[VJ,.,. (x, t), VJ,..,.. (x', t')] =[VI;,. (x, t), VI;.,.. (x', t')] = (22.13)
o,
[VJ,.,. (x, t), 1p;.,.. (x', t')j= ~· &· ~
(d,.,.. d,.,.. + du,.• d,..,. -fd,.,.d,..,..) D(x-x', t-t').
One can easily verify that these relations are compatible with the field equations (22.I, 22.2, 22.3) due to the fact that the invariant D-function satisfies the Schrodinger-Gordon equation. For instance, the contraction of the right side of (22.I3) with respect to the indices p., vis zero in accordance with (22.I), for:
VI. SUPPLEMENTARY REMARKS
210
.2 d,,.. d,,. D = J\d,..,.- p,"x
2 ox,.·oox,..
"
_2d,,D = (4•
(
I-
7o )lI D = d,..,. D,
~)D =3D.
We have already pointed out the importance of the fact that in the nonquantized theory the sign of the energy for non-integral spin is not definite. In order to secure a positive-definite energy in quantum theory, the most obvious procedure--and evidently also the only possible one--is to introduce the hole theory of the positron and the subtraction formalism, discussed in §20, into the theories of particles with higher non-integral spin. In particular, the vacuum must be identified with that state of the system in which all individual states of negative energy are occupied, and all states of positive energy are empty. Speaking of "occupied" (i.e., completely occupied) individual states, implies of course that the theory is quantized according to the Pauli exclusion principle;. i.e., the commutation rules must as in (20.39), for instance, refer to the anticommutators (bracket symbols with positive sign). Hence the postulate that the energy in the quantized theory must be positive can be satisfied only by assuming that the particles with non-integral spin generally obey the Pauli exclusion principle. H one tries, on the other hand, to apply the exclusion principle to particles with integral spin (s = o, 1, ••.), i.e., to require for the respective fields commutation rules with positive "bracket symbols," we arrive at a mathematical contradiction. This is due to the fact that the anticommutator of an operator with its Hermitian conjugate ([a, a*]+ = aa* + a*a) is positive-definite, while the expression to which the anticommutator should be equal can have both signs. Hence, for integral spin, quantization according to the exclusion principle is impossible. On the other hand, the commutation rules for commutators ([a, a*] = aa*- a*a is, of course, indefinite) are consistent. The most general proof for these statements has been given by Pauli: 1 The special form of the field equations is left entirely arbitrary; moreover, no unique value· for the spin must be assumed. Whether a field describes particles with integral or non-integral spin, can be seen from the transformation properties of its components under Lorentz transformations. One can now associate, in the unquantized theory, with each solution of the field equations 2 another 1
Phys. Rev. 58, 716, 1940. Only their invariance under the "proper" Lorentz group is essential, i.e., transformations with the determinant +r, which do not reverse the direction of time. 2
§22. PARTICLES WITH HIGHER
~PIN
211
solution with the help of the transformation x. ~ - x. and the simultaneous reversal of the signs for certain field components. The energy-momentum tensor which is some quadratic or bilinear function of the field functions has then the property that the values of its components for the two solutions are either of the same or of opposite sign according to whether the spin is assumed integral or half-integral. For half-integral spin the indefinite character of the
J
energy (- dx T44 ) in the unquantiZed theory is thus generally proven. From it follows the necessity of quantization according to the exclusion principle. For integral spin, correspondingly, the charge is indefinite. With regard to the invariant commutation rules Pauli requires only that the commutators, or the anticommutators, of the field components be represented by the invariant D-function (4.25). Formally it would be possible here to admit the other invariant function, which was called D' in §20 [cf. (20.56)]; but since this function is not zero in the outside part of the light cone [in contrast to the D-function; cf. (4.32)], this possibility can be excluded for physical reasons: commutation rules, which contain the D'-function, would mean that measure. ments in world points situated spacelike to each other would not be independent. This would imply a propagation of perturbations with velocities greater than that of light (cf. §4, last part). If one excludes this, only the D-function remains an admissible invariant function. In that case it can be shown that the commutation rules with + bracket symbols can be made consistent only for half-integral spin; for integral spin such rules would lead to equations of the type [a, a*]+ = o, which are contradictory on account of the positivedefinite character of the left side, thus proving again, and most generally, that the exclusion principle cannot be applied to particles with integral spin. The conclusion is that the relativistic quantum theory of fields compels us to quantize a field by means of commutation rules with negative or poSitive bracket symbols, according to whether the corresponding particles have integral or half-integral spin. This is equivalent to the statement that particles with integral spin necessarily obey Bose-Einstein statistics and those with halfintegral spin necessarily the Fermi-Dirac statistics, and is just what we know from the experimental evidence to be true, at least for those elementary particles which are sufficiently well-known experimentally: light quanta, electrons, protons, and neutrons. It is certainly one of the most beautiful successes of the quantum theory of fields that-together with the postulates of the theory of relativity-it furnishes a general theoretical foundation for the connection between spin and statistics.
212
VI. SUPPLEMENTARY REMARKS
§ 23. Oudook If one tries to summarize the accomplishments of the theories that have been discussed, one must distinguish between theories which involve "interactions" and those without interactions. The theory of the force-free fields, or particles, as such leaves nothing to be desired. It reconciles the descriptions in-terms waves and corpuscles in a satisfactory way. We emphasize especially how the quantumlike nature of energy, momentum, and electric charge appear in this theory as a consequence of the field quantization; furthermore, the theory leads to a natural classification of the elementary particles according to their spin values; the characteristic connection between spin and statistics can be deduced from the properties of the respective. fields; the number of known simple field types is just sufficient to fit all known elementary particles. As to the theories involving interactions, the outlook is much less satisfactory. One starts with the assumption that there exist different fields, or particles, which are coupled with each other by suitable mvariant terms added to the Lagrangian. The formalism of quantum theory applied to such systems leads to some very reasonable results, for instance, regarding the forces trans- · mitted by the fields. But in the self-energy problems one meets again and again with the divergence difficulties. The primitive "cut off" methods are at variance with the relativistic requirements. Even if an invariant subtraction formalism can be found which may succeed in eliminating all infinities from the theory, it will presumably involve a great deal of arbitrariness. Although it seems likely that the interaction theory is not altogether wrong, in particular in those problems where the special choice of the "cutting off" procedure (form factors) is irrelevant, such a theory can hardly be accepted as final or satisfactory. We know from the classical Lorentz theory of the electron that the selfenergy problem is intimately connected with the question of the "electromagnetic mass." In the classical theory, the problem was essentially that of the structure of the electron,! and even today, in quantum theory, this same problem is still at the root of all self-energy difficulties. Apparently it is not sufficient to assign to the electron a spatial extension, i.e., a form factor. Furthermore, this would hardly be compatible with the idea that the electron is an indivisible unit. Although the correct formulation is still unknown, the impression remains that the self-energy problem is, in fact, intimately connected with the question of the masses of the elementary particles. While
ol
1 Cf.
Pauli, Emykl. tl. Math. Wissensch. Vol. V, part
2,
sections 63 to 67.
§23. OUTLOOK
213
_in the formalism so far considered, the constant p. of the rest mass plays the part of an arbitrary parameter, we encounter here the problem of the values of the masses or of the mass ratios of the elementary particles regardless of whether the interaction with other fields causes an additional inertia or not. In the above-mentioned classical investigations, the electromagnetic field was considered the only agency (besides gravitation) responsible for the interaction so that it seemed justifiable to search for a "unitary theory" with purely electromagnetic basis. Such a limitation of our problem would no longer be suitable in the light of our present knowledge. Besides the electromagnetic forces, nuclear forces, for instance, must be considered. They must be considered almost certainly of non-electromagnetic origin even if one doubts the meson theory. One could, for instance, suppose that the masses of the proton and of the neutron are mainly determined by the inertia of the adherent "nuclear field," while the electromagnetic field would cause only small corrections. This would explain why the proton and neutron masses are approximately equal and large compared with the mass of the electron. Besides the masses, one should also consider other characteristic properties of the elementary particles. With regard to the spin, we have seen in §22 that small.spin values (s = o, I, and!) are distinguished by greater simplicity of the formalism. This is, however, not sufficient to explain why only particles with small spin.exist in nature,. let alone why certain spin values exist only combined with definite charge and mass numbers. We know just as little about the reasons why certain types of interactions between elementary particles are distinguished before others which are formally possible. This question is related to the question about the numerical value of the dimensionless constant e2/hc, which determines the strength of the interaction between electron and light quantum1 (Sommerfeld's fin~ structure constant); in quantum electrodynamics this numerical value is taken from experiments (e2/hc'""' 1/137, if the elementary chargee is measured in ordinary and not in Heaviside units). Such a coupling parameter appears, of course, in any interaction term. A special case is the one in which the coupling parameter disappears, which means that the respective type of interaction does not exist. Such statements cannot be derived from the basic postulates of the theory but rather must be . taken from the experiments. We may, for instance, imagine an interaction between protons, positrons, and electromagnetic field in such a way that there 1 In the interaction terms (17.14) and (21.17), the strength of the coupling is determined by the factor e (en or Eh), so that theexpressione/V/;;;plays the role of a dimensionless coupling parameter.
214
VI. SUPPLEMENTARY REMARKS
exists a spontaneous transformation of a proton into a positron with emission of a light quantum•; such an interaction which is formally possible must be excluded in view of the stability of the free proton. All this indicates that the quantum theory of the wave fields in its ,present form is a too general frame which comprises many more theoretical possibilities than are realized in nature. Considering that the problem of the numerical values of the coupling parameters is again related to the mass problem, one must conclude that the self-energy problem can be solved ·only together with the whole complex of problems mentioned above. This solution seems to require an entirely new idea, for which the present theories offer not even a starting point. Until then one must be content with provisional remedies, as, for instance, the "cutting off method." This seems justifiable in view of the partial success of the classical electron theory. In this case the most beautiful and permanent results were gained by postponing the deeper questions relating to the structure and the mass of the electron. The present quantum theory of fields can be regarded as a finished discipline in the same sense as this classical theory. It is known that one obtains for the "classical radius of the electron" the order of magnitude e2 jme2 ~ 2.8 · 10-13 em., if one assumes that the electromagnetic mass is of the same order of magnitude as the actual mass m of the electron. Everything indicates that in the quantum theory, too, the "cutting off" radius does not exceed the classical radius of the electron, i.e., that only momenta ~h · me2/e2 ~ 137 me are affected by the cutting off of the momentum spectrum. Accordingly, the theory should be reliable for all events in which only wave lengths > e2/me2; i.e., momenta < 137 me, play an essential part. For certain problems the theory stands the test even in the region of higher energies; the quantum electrodynamical formulas for the probability of certain radiation processes ("Bremsstrahlung," pair production), for instance, are even at very· high energies quite compatible with the observations on the cosmic 1
Such an interaction term may be written:
,2) cea• (])e9': ~.. + conj.,
e. a,.,
where <2>p, "'"' rJt. represent the wave functions of the proton, of the positron, and of the light field. The coefficie11ts Cpa• are determined (except for a common factor) by the Lorentz invariance.
§23. OUTLOOK
215
radiation. Heisenberg• has tried to define the limits of validity of the theory more accurately on the basis of plausible considerations; he introduces the conception of a "universal length," which he assumes to be of the order of magnitude of the classical radius of the electron. The region beyond these limits is unknown territory and one may hope that its experimental exploration by the study of cosmic radiation or other fundamental phenomena might eventually indicate the direction of further progress in these, as yet, unsolved problems. 1 Z. Phys. no, 251, 1938.
Appendix I
The Symmetrization of the Canonical Energy-Momentum Tensor The energy-momentum tensor T,.. as defined in (2.8) js in general not symmetrical. It is possible to give a general formula for a tensor e,.. = T,., + by adding a tensor to the canonical· which satisfies the following three conditions:
r:.
r:.
r,..
(1.1)
e,.. =e.,.,
(1.2)
Laax,. r,.. = o , p=l
(1.3)
Jr~,.dx = o.
4
'
The second condition ensures a differential conservation law of energy and momentum: 4
La e,.. = p=l
ox,..
o
(provided that aL/ a(x.) = o; cf. (2.n)) and the third condition implies that the total energy and momentum is the same for the canonical as for the symmetrical tensor: (Ls)
The proof of this theorem follows from the relativistic invariance of the Lagrange density function L. 217
218
APPENDIX I
Let an infinitesimal Lorentz transformation be given by: 4
=
fix,.
L"'"• x,, I'= I
where the infinitesimals "'"" form an antisymmetrical tensor "'"' = - w,,.. The variation of the field variables at a fixed space-time point are then given by: (1.6) The Aa, are linear functions of the parameters "'"• which characterize a given transformation, thus: 4
L A~~ "'>.."'
Aap =
>..,,.=1
where we define the quantities A~~ by:
For the derivatives of the field variables we have a variation given by: " iJJ/;a _ ~ A iJJf;p u !I !I ux,. - £..i ,. ap ux,.
(1.8)
+
4
~ 01/la £..i "'''" ux. !I • •=1
The variation ·of the Lagrangian t at a fixed space-time point is zero because t is a scalar:
at
o
=
fit =
·
4
at iol/1~)
L iJJf;, c51/,. + ~,.~1 i"'" '\ox,.
•
ax,.
Inserting the equations (1.6, 1.7, 1.8) into (l.9) we find:
_~ j~ at
0 -
£,.j ~.p=t
>..p. £.I iJJf; A,.a 11,a P
·'·
Y'rr
+ £,.j ~~ at ( A,.a >..,. a"'" OX + a"',. OX "•P•"iJ-" ax.
•
"
fi >..,
It follows that the tensor: (I.xo)
r>..,. =
L.(~ 1/la + ±~ iJJf;")A~~ + L~ iJJf;,. iJl/1 •= iJ ol/1 iJx, p iJ iJ!/1 ax,.
p, a
p
1
p
ax.
p
OX>.
)~ "'>..,..
APPENDIX I
219
is symmetrical: (l.n) If we define a tensor
H.~>.p
of third rank by:
{1.12)
then we have from the field equations (2.9): (1.13)
Equation (I.xo) may then be written from (2.8): 4
~ -iJH.~>.p 1\1' = £..i !1-ux. •=l
T)l.p
-
+ L~
Vl\p•
We construct now a tensor G•l\p which satisfies the two conditions: (l.15)
(1.16) The tensor G is uniquely defined by these conditions and is given by:
The tensor: (l.18) (l.19) with:
r' N.<
4
= -
~ aG.I>.p
£..i •=l
ax.
satisfies then all the conditions of the symmetrical energy-momentum tensor: (1.1)
(1.2)
APPENDIX I
220
on account of (!.15). (1.3)
~ iiG~:4,. - d x = - Jk--dx=o. ilx. ilxk J·4p dx=- Jk~ -i1G.4p 4
3
J'=l
k=l
T
It is easy to verify and may be left to the reader that the tensors defined in (12.50) and (20.10) for vector and spinor fields, respectively, are precisely the tensors obtained with the general rule (!.18, 1.19). This rule is completely general and allows the definition of a symmetrical energy-momentum tensor for any kind of a field with an invariant Lagrange function.
INDEX A Alvarez, no Angular momentum, of a field, xo of particles. See Spin. Anticommutator, 174 Arnold, W. R., no
Commutation relations (continued): in momentum space, 27 ff. in the theory of particles with higher spin, ;109 Complex fields, 12 ff. Condon, 105 Conservation laws for energy, momentum and angular momentum, S ff. for the charge, 14 ff. Continuity equation(s), for energy and momentum, S ff. as operator equations, u, 15 for the charge, 14 ff. Corben, 95 Coulomb potential, 132, 150, 15S ff., 193 scattering of mesons, 71, 96 ff. Coupling of mesons with nucleons (nuclear) 37 ff., 53 ff., 97 ff. Coupling of mesons with nucleons, (strong), 63 Current density (electric), 14 ff. Cutting-off method, 46, 212
B
Bartlett force, 105 Belinfante, 10 Bethe, xoS, 196 Bhabha, 97 Bloch, IIO, 140, 145 Bohr, 26, IIS Booth, 97 Born, 46, 71, 201 Bose statistics for light quanta, 123 Bose-Einstein statistics, impossibility for particles with half odd integral spin, 2II quantization according to, 36 ff. Breit, xos, 107, no
c Canonical equations of motion as operator equations, 7 Canonical field equations, 7 Canonically conjugate field, 3 ff., 12 Charge, charge density, ambiguity in their definition, 20S Charge, charge density (electric), 14 ff. Charge eigenvalues as integral multiples of an elementary charge, 51 ff. Charge independent forces, 66 Charge number, 54 Charge symmetry in the theory of the positron, 1S6 ff. Christy, 97 Commutation relations, invariant,- 20 ff., 24 canonical_, 4 ff. for non-simultaneous quantities, l7 ff. for the electromagnetic field, II 5 for exclusion particles, 174 ff.
D
D-function, invariant, 23 ff. of Jordan and Pauli, us, 14S ff. D'-function, invariant, lSS Delbruck, 2oo Delta-function (Dirac's), 5 Fourier expansion, 23 Derivative, functional, 2 time, of an operator, 7 Deuteron, electric quadrupole moment,
wS stationary states, l06 ff. Dirac, 5, 25, 112, 127 ff., 135, 13S, 153 ff., 167, 16S ff., I8o, 1S3 196 ff., 203 Dirac's radiation theory, 135 ff. Dirac's theory of the positron (theory of holes), xSo ff. Dirac's wave equation of the electron, x6S, lSS 221
222.
INDEX E
Einstein, 2o6 ff. Electric charge and current density, 14 Electromagnetic field, 111 ff. interaction with electrons, 124 ff., 192 ff. interaction with scalar mesons, 126 quantization, 114 ff. Electromagnetic mass, 153, 165 ff., . 212 ff. Electron radius, classical, significance for limits of validity of the theory, 214 ff. Electron wave field, 167 ff. Electron wave field, quantization accord~ ing to the exclusion principle, 172 ff. Energy, conservation of, 8 Energy current, 9 Energy density, 8 positive definite character, 208 Energy eigenvalues as sums of corpuscle energies, 3 5 Energy-momentum tensor, 9 ambiguity, 208 symmetrical, construction, xo, 217 Euler, 201 Exchange force, exchange operator, 6o ff., 100 ff. ' Exclusion principle, impossibility for particles with integral spin, 210 quantization according to, 172 ff. F
Feenberg, 107 Fermi, n2, 1:35 ff. Fermi-Dirac statistics, impossibility for particles with integral spin, 21o quantization according to, 172 ff. Field energy, 8 Field energy, positive definite character, 208 Field equations, as operator equations, 7 canonical, 7 canonically conjugate, 3 ff., 12 classical, 1 ff. Field functions, 1 complex, 12 Field operators, 5 matrix representation, 34 ff., 51 {f., 171 ff.
Field operators (continued): non-Hermitian, 13 time dependent, 17 ff. Fierz, 203 ff. Fine structure constant, 213 ff .. Fock, 112, 138, 183 Form-factor of the nucleon, 46, 62 Fourier decomposition of a field, 27 ff. Frisch, IIO Frohlich, 97, 109 Functional derivative, 2 Furry, 183 G
Gardner, II o Gauge transformation, first kind, 14 second kind, 68, III ff., 189, 205, 20'7 Gordon, 67 Gravitational waves, 207 H Hafstad, 105 Halpern, 200 Hamiltonian, as energy density, 8 ff. of a field, 4 Hamiltonia~ operator, 6 Heavy meson, 11o Heisenberg, 4 ff., 18, 54, 101, 105, n2, 135, 183, 196 ff., 215 Heisenberg force, Ioi, xos Heitler, 26, 97, 109, 136, 196 Heydenburg, 105 Hilbert, 207 Hoisington, 107, IIO Hole theory of the positron, x8o ff., 210 Hu, 109 Hyper quantization, x68 I
Indeterminacy relations for field components, 26, ns Interaction, nuclear. See Coupling. Invariant D-functions, 23 ff. Isobars of the proton, 63 Isotopic spin, matrices with respect to the isotopic spin, 57 · Iwanenko, 105
J Jauch, 109, 208 Jordan. 24. n <;. 148 ff .• I72
223
INDEX K
Kellogg, 1o8, 110 Kemmer, 63 ff., 97, 104, 107, 109, 201 Klein-Nishina formula, 196 Koba, 193 Kobayasi, 97 Kramers, 136 Kusaka, 97 Kusch, 110 L
Lagrangian of a field, 3 Lorentz invariance, 15 ff. transformation, 2, 2o8 Laporte, 97 Lattes, 1;0 Light quantum, 122 ff. spin, 123 Limits of validity of the theory, 214 Longitudinal waves, electromagnetic, elimination, 120 ff., 130 ff., 156 ff., 193 Lorentz invariance, of the commutation relations, 17 ff. of the Lagrangian, 15 Lorentz invariant functions, 23 ff. 1\f
Magnetic moment, 208 of proton, neutron, and deuteron, 109 ff. of the vector meson, 94 ff. Majorana, 101 Majorana force, 1o1, 105 Mass, electromagnetic, 153, 165 ff., 212 ff. Matrices, with respect to particle numbers, 34, 51 ff., 172 ff. with respect to the charge number, 55 ff. with respect to the spin coordinates, 127, 168 ff. Matrix representation of field operators, 34 ff., 51 ff., 171 ff. Maxwell's equations, as operator equations, 117 ff., 129 ff. for the expectation values of the field-strengths, n8, 129 ff. Meson, mesotron, 3 7 charged, in an electromagnetic field,
Meson absorption and emission, 41, 54 ff. Meson field, 37 charged, 48 ff. pseudoscalar, 109 ff. vector, 75 ff. Meson scattering, electric, 71, 95 ff. nuclear, 42 ff., s8 ff., 100 Mie, 201 Millman; no Meller, 109 Meller-Rosenfeld coupling in meson theory, 109 Momentum of a field, xo Momentum density, 10 Momentum eigenvalues as sums of corpuscle momenta, 35 Momentum space, transition to, 27 ff. Muirhead, no Multi-body forces, 63 Multiple time formalism of the electromagnetic field, 138 physical interpretation of. the multiple-time Schrodinger function, 145 N
Nishina, 196 Nuclear force!!, due to meson fields, 43 ff., 59-. 99 ff. phenomenological potential, 105 ff. range, 45, 110 saturation conditions, 107 Nuclear interaction. See Coupling. Nucleon, 54 0
Occhialini, no Operators, time dependent, 16ft.. Oppenheimer, 63, 183, 196 p
Pair production, annihilation of mesons, 70, 73. 97 Pair production (annihilation), electrons and positrons, 194, 196 mesons, 70, 73, 97 Pauli, 4 ff., 14, x8, 24, 48, 57, 68, 72, 95, 102, 109, II2, .IIS, 135, 148 ff., x66, 167, x87, 189, :aos, 207, 210 ff., :n:a
224
INDEX
Photon. See Light quantum. Plesset, 196 Podolsky, II2, 138 Polarization of the vacuum, 73, 196, 200 Positron, theory of holes, I8o ff. Powell, uo Present, xos Proca, 75 Proton-isobars, 63 Proton-neutron, 54 Pseudoscalar field, 109 ff.
Q Quadrupole moment of the deuteron, 108 Quantization of a field according to Bose-Einstein statistics, 36 ff. according to Pauli's exclusion principle or Fermi-Dirac statistics, I72 ff. canonical, 5 second, I68 Quantum electrodynamics, I 11 ff. relativistic and gauge invariance, 145 R Rabi, I08, uo Ramsey, xo8, uo Range of nuclear forces, 45, I xo Rarita, no Reality conditions for Fourier coefficients, 27 Relativistic invariance. See Lorentz invariance. Roberts, I IO Rosenfeld, IO, I8, 26, I09, I I 5
s Sakata, 97 Saturation conditions for the nuclear forces, 107 Sauter, I96 Scalar field, complex, 48 ff. real, 29 ff. Scattering, electric, of mesons, 71, 95 ff. nuclear, of mesons, 42 ff. 58 ff., IOO of light by light or electric fields, 200 ff. by electrons, I37 ff., I94 ff. Schrodinger-Gordon equation, 22, 67 Schwinger,63,95, 109, II9
Self-energy, 46, 6o, 73, roo, 133, I5I ff., . 201, 212 ff. Share, xos, no Sommerfeld's fine structure constant, 213 ff. Spin, of electron and positron, 183 of the light quantum, 123 of the vector meson, 89 ff. particles with higher spin, 203 ff. relation between spin and statistics, . 210 ff. Stem, no Stress tensor, 9 Stueckelberg, 39, 97 Subtraction prescriptions, I8o ff., 196 ff. Symmetrical theory for the meson field, 63 ff., I04 T Taketani, 97 1'amm, 105 Tati, I93 Time dependent operators, I6 ff. Tomonaga, 193 Tuve, IOS
u
Unitary theory, 20I, 213 Universal length, 215 Utiyama, 97
v Vacuum polarization, 73, I96, 200 Van der Waerden, 203 Variational principle, definition of the field equations, I ft., 205 Vector meson fields, 75 ff.
w Waller, 164 Weisskopf, 48, 72, 73, 20I Wentzel, 63, IOQ, I36, 151, 153 Wigner, IOS, I72 Wigner force, IOS Wilson, 97 y
Yukawa, 45, 53,. 59 ff., 97, I04 Yukawa potential, 44, xo6 Yukawa's theory of nuclear forces, 45, 59 ff., 99 ff.
z Zacharias. xo8. 1IO