Vous êtes sur la page 1sur 11

PHYSICAL REVIEW VOLUME 76 . N UM BER 6 SEPTEMBER 15 .

1949

The Theory of Positrons


R. P. FEYNMAN
Department of Physics , Cornell University , Ithaca , New York
( Received April 8, 1949)

The problem of the behavior of positrons and electrons in given in time (positron scattering) or forward (pair production). For
external potentials, neglecting their mutual interaction , is analyzed such a particle the amplitude for transition from an initial to a
by replacing the theory of holes by a reinterpretation of the solu - final state is analyzed to any order in the potential by considering
tions of the Dirac equation . It is possible to write down a complete it to undergo a sequence of such scatterings.
solution of the problem in terms of boundary conditions on the The amplitude for a process involving many such particles is
wave function , and this solution contains automatically all the the product of the transition amplitudes for each particle. The
possibilities of virtual ( and real ) pair formation and annihilation exclusion principle requires that antisymmetric combinations of
together with the ordinary scattering processes, including the amplitudes be chosen for those complete processes which differ
correct relative signs of the various terms. only by exchange of particles. It seems that a consistent interpre-
In this solution, the “ negative energy states” appear in a form tation is only possible if the exclusion principle is adopted . The
which may be pictured (as by Stiickelberg) in space-time as waves exclusion principle need not be taken into account in intermediate
traveling away from the external potential backwards in time. states. Vacuum problems do not arise for charges which do not
Experimentally, such a wave corresponds to a positron approach- interact with one another, but these are analyzed nevertheless in
ing the potential and annihilating the electron. A particle moving anticipation of application to quantum electrodynamics.
forward in time (electron ) in a potential may be scattered forward The results are also expressed in momentum-energy variables.
in time (ordinary scattering) or backward (pair annihilation ) . Equivalence to the second quantization theory of holes is proved
When moving backward (positron ) it may be scattered backward in an appendix.

1. INTRODUCTION as a whole rather than breaking it up into its pieces.


' I 'HIS is the first of a set of papers dealing with the It is as though a bombardier flying low over a road
solution of problems in quantum electrodynamics. suddenly sees three roads and it is only when two of
The main principle is to deal directly with the solutions them come together and disappear again that he realizes
to the Hamiltonian differential equations rather than that he has simply passed over a long switchback in a
with these equations themselves. Here we treat simply single road.
the motion of electrons and positrons in given external This over-all space-time point of view leads to con -
potentials. In a second paper we consider the interactions siderable simplification in many problems. One can take
of these particles, that is, quantum electrodynamics. into account at the same time processes which ordi-
The problem of charges in a fixed potential is usually narily would have to be considered separately. For
treated by the method of second quantization of the example, when considering the scattering of an electron
electron field, using the ideas of the theory of holes. by a potential one automatically takes into account the
Instead we show that by a suitable choice and inter- effects of virtual pair productions. The same equation ,
pretation of the solutions of Dirac’s equation the prob- Dirac’s, which describes the deflection of the world line
,
lem may be equally well treated in a manner which is of an electron in a field can also) describe the deflection
(and in just as simple a manner when it is large enough
fundamentally no more complicated than Schrodinger’s
to reverse the time-sense of the world line, and thereby
method of dealing with one or more particles. The vari-
correspond to pair annihilation. Quantum mechanically
ous creation and annihilation operators in the conven-
the direction of the world lines is replaced by the
tional electron field view are required because the direction of
propagation of waves.
number of particles is not conserved , i.e., pairs may be
This view is quite different from that of the Hamil-
created or destroyed. On the other hand charge is tonian method which considers the future as
developing
conserved which suggests that if we follow the charge, continuously from out of the past. Here we imagine
the
not the particle, the results can be simplified. entire space- time history laid out, and that we just
In the approximation of classical relativistic theory become aware of increasing portions of it successively.
the creation of an electron pair (electron A , positron B ) In a scattering problem this over-all view of the com-
might be represented by the start of two world lines plete scattering process is similar to the 5-matrix view
from the point of creation, 1. The world lines of the point of Heisenberg. The temporal order of events dur-
-
positron will then continue until it annihilates another ing the scattering, which is analyzed in such detail by
electron , C, at a world point 2. Between the times /1 the Hamiltonian differential equation, is irrelevant. The
and / 2 there are then three world lines, before and after relation of these viewpoints will be discussed much more
only one. However, the world lines of C, B , and A fully in the introduction to the second paper, in which
together form one continuous line albeit the “ positron the more complicated interactions are analyzed.
part ” B of this continuous line is directed backwards The development stemmed from the idea that in non-
in time. Following the charge rather than the particles relativistic quantum mechanics the amplitude for a
corresponds to considering this continuous world line given process can be considered as the sum of an ampli-
749
750 R . P. F E Y N M A N

tilde for each space- time path available.1 In view of the (where we write 1 for Xi, h and 2 for x 2, t 2) in this case
fact that in classical physics positrons could be viewed
as electrons proceeding along world lines toward the
past (reference 7) the attempt was made to remove, in

K ( 2 , 1) = £ 0 « (x 2) tf > n*(xi) exp( iEn( t 2 1\ ) ) , (3) —
for t 2> t\. We shall find it convenient for / 2 < / i to define
the relativistic case, the restriction that the paths must K { 2 , 1) = 0 (Eq. ( 2 ) is then not valid for t 2 < h ) . It is
proceed always in one direction in time. It was dis- then readily shown that in general K can be defined by
covered that the results could be even more easily that solution of
understood from a more familiar physical viewpoint ,
that of scattered waves. This viewpoint is the one used ( id / dt 2 - H 2 ) K ( 2, 1) = «(2, 1) , (4)
in this paper. After the equations were worked out which is zero for t 2 < th where 5 ( 2 , 1) = 5( / 2 t ) b ( x 2 Xi )
~
—^
physically the proof of the equivalence to the second
quantization theory was found .2
— —
Xd ( y 2 yi ) 8 ( z 2 zi ) and the subscript 2 on H 2 means
that the operator acts on the variables of 2 of K ( 2 , 1) .
First we discuss the relation of the Hamiltonian When H is not constant , ( 2 ) and (4) are valid but K is
differential equation to its solution, using for an example less easy to evaluate than (3) . 4
the Schrodinger equation. Next we deal in an analogous We can call K ( 2, 1) the total amplitude for arrival
way with the Dirac equation and show how the solu- at x 2, t 2 starting from Xi , h. (It results from adding an
tions may be interpreted to apply to positrons. The amplitude, expiS ,for each space time path between these
interpretation seems not to be consistent unless the points, where S is the action along the path.1) The
electrons obey the exclusion principle. (Charges obeying transition amplitude for finding a particle in state
the Klein-Gordon equations can be described in an x (x 2, t 2 ) at time t 2, if at t\ it was in (xi , /1) , is
analogous manner, but here consistency apparently
requires Bose statistics.) 3 A representation in momen-
^
tum and energy variables which is useful for the calcu-
lation of matrix elements is described . A proof of the
/ X* ( 2 ) K ( 2 , 1) ( 1 )d xl( Px 2.
3
* (5 )

equivalence of the method to the theory of holes in A quantum mechanical system is described equally well
second quantization is given in the Appendix. by specifying the function K , or by specifying the
Hamiltonian H from which it results. For some purposes
2. GREEN’S FUNCTION TREATMENT OF the specification in terms of K is easier to use and
SCHRODINGER’ S EQUATION
visualize. We desire eventually to discuss quantum
We begin by a brief discussion of the relation of the electrodynamics from this point of view.
non-relativistic wave equation to its solution. The ideas To gain a greater familiarity with the K function and
will then be extended to relativistic particles, satisfying the point of view it suggests, we consider a simple
Dirac’s equation, and finally in the succeeding paper to perturbation problem. Imagine we have a particle in
interacting relativistic particles, that is, quantum a weak potential U ( x , / ) , a function of position and
electrodynamics. time. We wish to calculate K ( 2 , 1) if U differs from
The Schrodinger equation zero only for t between h and t 2 . We shall expand K in
id\p / dt = H\l/ , (1) increasing powers of U :
K { 2, 1) = AT0 (2, l ) + it (1) ( 2 , l ) + i£(2) ( 2 , 1) + • • . (6)
describes the change in the wave function \p in an
*

infinitesimal time At as due to the operation of an To zero order in U , K is that for a free particle, AT0 ( 2, l ) . 4

operator exp( iHAt ). One can ask also, if (xi , ti ) is
the wave function at Xi at time / i, what is the wave ^ To study the first order correction K ( l ) ( 2, 1) , first con-
sider the case that U differs from zero only for the
function at time / 2 > / i ? It can always be written as infinitesimal time interval A / 3 between some time / 3
and / 3 | A / 3(/ I < / 3 < / 2 ). Then if (1) is the wave function
i (* 2 , h ) = f K( X2 , W, Xi , h ) fr ( xh ti )d?Xi ,
\ (2 ) at Xi, /1, the wave function at x 3, / 3 is ^
where AT is a Green ’s function for the linear Eq. (1). i (.3 ) = jK ( 3 , l )ia )d
0
3
xh (7 )
(We have limited ourselves to a single particle of co-
ordinate x, but the equations are obviously of greater since from /1 to / 3 the particle is free. For the short
generality.) If H is a constant operator having eigen- interval A / 3 we solve (1) as
values En, eigenfunctions <f>n so that (x, /1) can be ex- \p ( x , i 3

^ ^ ^ — —
+ At 3 ) = exp ( — iffA / 3) (x, / 3) ^—
panded as Cn0n (x) , then (x, / 2) = exp( iEn( t 2 h ) ) = ( l i f f o A l 3 — iUAt 3 )t ( x , / 3) ,
XCn0 n ( x ) . Since Cn= J' <t> n* ( xi ) (xi , / i)d3Xi , one finds For a non-relativistic free particle, where <£ , = exp(fp - x )
4
t
1 R. P. Feynman, Rev. Mod. Phys. 20, 367 (1948). En = P2/ 2 w, (3) gives, as is well known
The equivalence of the entire procedure (including photon
—*
2
interactions) with the work of Schwinger and Tomonaga has been J —
K 0( 2, 1) = exp[ (7p - xi 7p x 2) - —
/ i ) / 2 w ]d3p ( 27r ) ~3
demonstrated by F. J. Dyson, Phys. Rev. 75, 486 (1949).
3 These are special examples of the general relation of spin and
statistics deduced by W. Pauli, Phys. Rev. 58, 716 (1940).
= / i) )
for / 2 > /1, and ATo = 0 for t 2 < h-

expGiw (x 2 — — Xt ) 2 ( / 2 / i) ~l)
THEORY OF POSITRONS 751
where we put H = H 0\ - - U , Ho being the Hamiltonian ?
of a free particle. Thus ( x , / 3+ A / 3) differs from K 0( 2,4)

what it would be if the potential were zero (namely ^ K «( 4,3) CONTAINS \


(1 iHoAta )\p ( x , t 3) ) by the extra piece
±\P = - iU ( xh / 3W (x 3, 4) A 4, (8)
ENERGIES
» 4 MUST
> f3

BOTH POS- a NEC.

BE
2
3)
«4)

which we shall call the amplitude scattered by the


potential. The wave function at 2 is given by ^ -
INCIDENT WAVES
SPACE
( a ) FIRST ORDER,EQ ( 9 )
*
'
( b ) SECOND ORDER, EQ (10)

M* 2 , A) =
^ A'0 (X 2, 4 ; x 3, / 3 H- A / 3 ) ( X 3, / 3 + A / 3) J 3 X 3 ,

since after / 3+ A / 3 the particle is again free. Therefore


the change in the wave function at 2 brought about by
the potential is (substitute ( 7 ) into (8) and (8) into
the equation for (x 2, to ) ) :
^ FIG . 1 . The Schrodinger ( and Dirac ) equation can he visualized
as describing the fact that plane waves are scattered successively
bv a potential . Figure 1 (a ) illustrates the situation in first order .
A 0 ( 2 , 3 ) is the amplitude for a free particle starting at point 3
'

to arrive at 2 . The shaded region indicates the presence of the


potential A which scatters at 3 with amplitude — A4 ( 3) per
cm3sec . ( Eq . (9 ) ) . In ( b ) is illustrated the second order process
( Eq . ( 10) ) , the waves scattered at 3 are scattered again at 4. How -
^ ever , in Dirac one-electron theory .Ao(4, 3) would represent elec-
trons both of positive and of negative energies proceeding from

^ —
f K 0 ( 2 , 3 ) U ( 3 ) K 0 ( 3 , 1) 3 to 4. This is remedied by choosing a different scattering kernel
A ( 2) = i
*(1 )d xld xiM - .
3 3
i
A'+(4, 3) , Fig. 2.

In the case that the potential exists for an extended was. One can in this way obviously write down any of
time, it may be looked upon as a sum of effects from the terms of the expansion (6) . 5
each interval A / 3 so that the total effect is obtained by
integrating over / 3 as well as x 3. From the definition ( 2 ) 3. TREATMENT OF THE DIRAC EQUATION
of K then , we find
We shall now extend the method of the last section
to apply to the Dirac equation. All that would seem
A ( 2 , 1) = - i
( 11

JK 0 ( 2 , 3) t/ (3) A'„(3, 1 ) drlt (9) to be necessary in the previous equations is to consider


II as the Dirac Hamiltonian , \p as a symbol with four
where the integral can now be extended over all space indices (for each particle). Then KQ can still be defined
and time, dr 3 = d3x 3d / 3. Automatically there will be no by (3) or (4 ) and is now a 4-4 matrix which operating
contribution if / 3 is outside the range 4 to to because of on the initial wave function , gives the final wave func-
our definition , Ko( 2 , 1) = 0 for 4 < 4
We can understand the result (6 ) , (9) this way. We
- tion . In (10) , 1/ (3) can be generalized to yl 4 (3) a A (3)
where /i 4 , A are the scalar and vector potential ( times e,
— -
can imagine that a particle travels as a free particle the electron charge ) and a are Dirac matrices.
from point to point , but is scattered by the potential U . To discuss this we shall define a convenient rela-
Thus the total amplitude for arrival at 2 from 1 can tivistic notation . We represent four-vectors like x , t by
be considered as the sum of the amplitudes for various a symbol xwhere M = 1, 2 , 3, 4 and xA= t is real. Thus
alternative routes. It may go directly from 1 to 2 the vector and scalar potential ( times e ) A , A 4 is AM .
(amplitude K 0( 2 , 1) , giving the zero order term in (6) ). The four matrices /3a , /3 can be considered as transform-
Or (see Fig. 1(a ) ) it may go from 1 to 3 (amplitude ing as a four vector yM (our yM differs from Pauli’s by a
/Co (3, 1) ) , get scattered there by the potential (scatter- factor i for /* = 1, 2, 3) . We use the summation conven-

ing amplitude iU ( 3 ) per unit volume and time ) and
then go from 3 to 2 (amplitude KQ { 2 , 3) ) . This may
occur for any point 3 so that summing over these
— — —
a is any four vector ( but not a matrix) we write
^
— -
tion atlbtl - a i)\ aibi a 2 b 2 a j) z a b. In particular if
/

<* = <4x 7 / so that a is a matrix associated with a vector


1

alternatives gives (9) . (a will often be used in place of as a symbol for the
Again , it may be scattered twice by the potential vector ) . The yM satisfy 7 M7 „+ 7 v 7M = 2 where $ 44 = h 1 » ~

( Fig. 1( b)) . It goes from 1 to 3 ( K 0 (3, 1) ) , gets scattered —


Sn = 822 = S 33 = 1, and the other SMy are zero. As a

there ( iU (3) ) then proceeds to some other point , 4 ,
in space time (amplitude A 0 (4, 3)) is scattered again
consequence of our summation convention 8 ni- < / —
and <5 = 4. Note that ab\ ~

- ba 2a b and that a=
v


( / £/ (4 ) ) and then proceeds to 2 ( K 0 ( 2 , 4 ) ) . Summing
over all possible places and times for 3, 4 find that the
^
= a - a is a pure number. The svmbol 0 Ox „ " ill mean
di 0 t f o r M = 4 , and —-
<3/ d.v, — -
d / dy ,
_
<9 0 z for / u = l ,
'

second order contribution to the total amplitude


K ( 2 ) ( 2 , 1) is
-
2 , 3. Call V 7 M <VcTvv /3d / () / -F /3a V . We shall imagine
6 We are simply
solving by successive approximations an integral
equation ( deducible directly from ( 1 ) with / / /* » +- u na - '

- -
J A „( 2, 4) r (4 ) A „(4, 3)
XC (3) /v „(3, 1 ) drdu . (10 )
with // = // 0) ,

/
+( 2 ) = - i: A'O(2, 3) t/ (3 ) </' (3 ) tfr3 + A o ( 2, l ) \Kl ) d x
J
' 3

where the first integral extends over all space and all times / 3
This can be readily verified directly from (1) just as (9 ) greater than the / 1 appearing in the second term , and t « >tu
752 R . P. F E Y N M A N

K ( 2 ,3) , POS E
+ expansion of the integral equation
T
K f A ) ( 2 , \ ) = K i ( 2 , 1)
Ac

;
K + ( 2 3 ) , NEG E -i f A + ( 2 , 3) 4 (3) X+M (3, l ) rfrj,
'
J
)
(16)
"M
0.2'
( o ) FIRST ORDER , EQ ( 13 )
which it also satisfies.
We would now expect to choose, for the special solu -
MOTION OF
POSITRON tion of (12 ) , K+= K 0 where K 0 ( 2 , 1) vanishes for t 2 < ti
A (3) and for t 2> h is given by (3) where <f> n and En are the
14 ) eigenfunctions and energy values of a particle satis-
CONTAINS ONLY POS. E.
CON &NS ONLY fying Dirac’s equation , and <pn* is replaced by 4> n.
NEG. E
( b) VIRTUAL SCATTERING ( c ) VIRTUAL PAIR
The formulas arising from this choice, however, suffer
U >» 3 »4 < t 3 from the drawback that they apply to the one electron
SECOND ORDER, EO. ( 14 )
theory of Dirac rather than to the hole theory of the
FIG. 2. The Dirac equation permits another solution K +( 2, 1) positron . For example, consider as in Fig. 1 (a ) an
if one considers that waves scattered by the potential can proceed electron after being scattered by a potential in a small
backwards in time as in Fig. 2 (a). This is interpreted in the second
order processes ( b) , (c) , by noting that there is now the possi - region 3 of space time . The one electron theory says
bility (c) of virtual pair production at 4, the positron going to 3 (as does (3) with K+= K 0 ) that the scattered amplitude
to be annihilated . This can be pictured as similar to ordinary at another point 2 will proceed toward positive times
scattering ( b) except that the electron is scattered backwards in
time from 3 to 4. The waves scattered from 3 to 2' in (a) represent with both positive and negative energies, that is with
the possibility of a positron arriving at 3 from 2' and annihilating both positive and negative rates of change of phase. No
the electron from 1. This view is proved equivalent to hole theory: wave is scattered to times previous to the time of
electrons traveling backwards in time are recognized as positrons.
scattering. These are just the properties of K 0 ( 2 , 3) .
hereafter, purely for relativistic convenience, that <f> n* On the other hand , according to the positron theory
in (3) is replaced by its adjoint </> „= 0 n*/3. negative energy states are not available to the electron
Thus the Dirac equation for a particle, mass m, in an after the scattering. Therefore the choice K+ Ka is
unsatisfactory. But there are other solutions of (12).

external field A= Allyll is
We shall choose the solution defining K+ ( 2, 1) so that
(/V — m ) p= A p ,
\ \ ( ID K+ ( 2 , 1 ) for t 2> ti is the sum of (3) over positive energy
and Eq. (4) determining the propagation of a free states only. Now this new solution must satisfy (12 ) for
particle becomes all times in order that the representation be complete.
It must therefore differ from the old solution K 0 by a
,
(*V - w) A'+ (2 l 1) = *5(2, 1) (12 ) solution of the homogeneous Dirac equation. It is clear
the index 2 on V 2 indicating differentiation with respect from the definition that the difference K 0 K+ is the
sum of (3) over all negative energy states, as long as

to the coordinates x 2li which are represented as 2 in
K+ ( 2, 1) and 6 ( 2 , 1) . t 2> ti. But this difference must be a solution of the
The function K+( 2 , 1) is defined in the absence of a homogeneous Dirac equation for all times and must
field. If a potential A is acting a similar function, say therefore be represented by the same sum over negative
K+( A ) ( 2 , 1) can be defined. It differs from K+ ( 2, 1) by a energy states also for t 2 < t\. Since K 0= 0 in this case,
first order correction given by the analogue of (9) it follows that our new kernel, K+( 2, l ) , for t 2 < t\ is the
namely negative of the sum (3) over negative energy states. That is,

AVl ) ( 2 , l ) = - if K ( 2 , 3 ) A( 3 ) K ( 3, 1 )drh (13) ^ —


- + ( 2 , 1) Upos En 0» ( 2)0n ( l )
+

representing the amplitude to go from 1 to 3 as a free


+
— —
Xexp ( iEn ( t 2 ti ) ) for t 2> h
— HNEG En <t> n( 2 ) <pn( l )
~
(17 )
particle, get scattered there by the potential ( now the
matrix A (3) instead of 1/ (3) ) and continue to 2 as free .
— —
X exp ( iEn( t 2 ti ) ) for h< h.

The second order correction , analogous to (10) is With this choice of K+ our equations such as (13) and
(14) will now give results equivalent to those of the
positron hole theory.
X+® ( 2 , !) = -
// A+ ( 2 > 4M (4 )
X A+ (4, 3) i4 (3) A'+ (3, 1 )dudr 3 , (14 )
That (14) , for example, is the correct second order
expression for finding at 2 an electron originally at 1
according to the positron theory may be seen as follows
and so on. In general K+ ( A ) satisfies ( Fig. 2 ) . Assume as a special example that t 2> h and

^ \ , =*
( iV 2 - A ( 2 ) - m ) K A 2 1) 5( 2, 1) (15 ) that the potential vanishes except in interval t 2 ti so
that U and h both lie between h and t 2 .

and the successive terms 13) , 14) ( ( are the power series First suppose t 4> t 3 ( Fig. 2 ( b) ) . Then (since h> tf )
THEORY OF POSITRONS 753

the electron assumed originally in a positive energy With this interpretation real pair production is also
state propagates in that state ( by #+ (3, 1)) to position described correctly (see Fig. 3). For example in (13) if
3 where it gets scattered (4 (3) ). It then proceeds to 4, h<tz <t 2 the equation gives the amplitude that if at
which it must do as a positive energy electron. This is time t\ one electron is present at 1, then at time t 2 just
correctly described by (14) for K+( 4, 3) contains only one electron will be present (having been scattered at 3)
positive energy components in its expansion , as t ^ > tz . and it will be at 2. On the other hand if t 2 is less than / 3,
After being scattered at 4 it then proceeds on to 2 ,
again necessarily in a positive energy state, as t 2> t 4.

for example, if t 2 ti < h , the same expression gives the
amplitude that a pair, electron at 1, positron at 2 will
In positron theory there is an additional contribution annihilate at 3, and subsequently no particles will be
due to the possibility of virtual pair production (Fig. present. Likewise if t 2 and t\ exceed h we have ( minus)
2 (c)). A pair could be created by the potential .4 (4) the amplitude for finding a single pair , electron at 2,
at 4, the electron of which is that found later at 2. The positron at 1 created by 4 (3) from a vacuum. If
positron (or rather , the hole ) proceeds to 3 where it t\> h> t 2 (13) describes the scattering of a positron.
}

annihilates the electron which has arrived there from 1. All these amplitudes are relative to the amplitude that
This alternative is already included in (14) as con- a vacuum will remain a vacuum , which is taken as
tributions for which / 4 < / 3, and its study will lead us to unity. (This will be discussed more fully later.)
an interpretation of A'+ (4, 3) for U < t 3. The factor The analogue of ( 2 ) can be easily worked out .8 It is,
K+( 2, 4) describes the electron (after the pair produc-
tion at 4) proceeding from 4 to 2. Likewise K+ ( 3 1)
represents the electron proceeding from 1 to 3. 7£+ (4, 3)
must therefore represent the propagation of the positron
f
vK 2 ) = JK + ( 2 , \) N ( l ) M )d3Vh (18)

or hole from 4 to 3. That it does so is clear. The fact where dW 1 is the volume element of the closed 3-
dimensional surface of a region of space time containing
that in hole theory the hole proceeds in the manner of
and electron of negative energy is reflected in the fact
that K+ ( 4 , 3) for / 4 < / 3 is (minus) the sum of only
negative energy components. In hole theory the real
energy of these intermediate states is, of course,
positive. This is true here too, since in the phases

exp ( iEn( U ~ tz ) ) defining I£+ (4, 3) in (17 ) , En is nega-

tive but so is ti tz. That is, the contributions vary with
1

— —
/ 3 as exp( i | £ n | ( / 3 M ) as they would if the energy
of the intermediate state were | En| . The fact that the 1 1

entire sum is taken as negative in computing K+( 4, 3)


is reflected in the fact that in hole theory the amplitude
has its sign reversed in accordance with the Pauli
principle and the fact that the electron arriving at 2
has been exchanged with one in the sea.6 To this, and
to higher orders, all processes involving virtual pairs FIG. 3 . Several different processes can be described by the same
formula depending on the time relations of the variables t 2 , t \.
are correctly described in this way. Thus Pr | i£ + U ) (2 , 1 ) |2 is the probability that : (a) An electron at
The expressions such as (14) can still be described as 1 will be scattered at 2 (and no other pairs form in vacuum) .
( b) Electron at 1 and positron at 2 annihilate leaving nothing .
a passage of the electron from 1 to 3 (A + (3, 1) ) , scatter- (c) A single pair at 1 and 2 is created from vacuum , (d) A positron
ing at 3 by 4 (3) , proceeding to 4 ( K+( 4, 3)), scattering at 2 is scattered to 1 . ( K +U )( 2, 1) is the sum of the effects of
again , 4 (4) , arriving finally at 2 . The scatterings may, scattering in the potential to all orders. Pv is a normalizing
constant . )
however, be toward both future and past times, an
electron propagating backwards in time being recog- Stuckelberg, Helv. Phys. Acta 15, 23 ( 1942) ; R . P . Feynman ,
nized as a positron . Phys. Rev. 74 , 939 ( 1948) . The fact that classically the action
(proper time) increases continuously as one follows a trajectory
This therefore suggests that negative energy com- is reflected in quantum mechanics in the fact that the phase, which
ponents created by scattering in a potential be con- —
is | En | | / 2 /119 always increases as the particle proceeds from one
scattering point to the next .
sidered as waves propagating from the scattering point
toward the past , and that such waves represent the
8 By

— — —
multiplying ( 12 ) on the right by ( » Vi m ) and noting
that Vi 5 (2, 1 ) = V 2b { 2 1) show that K +( 2, 1) also satisfies
propagation of a positron annihilating the electron in — —
}

K + { 2 , l ) ( » Vi m) = »5 (2, 1) , where the Vi operates on variable


1 in K +( 2, 1) but is written after that function to keep the correct
the potential. 7
6 It has often been noted that the one-electron theory
apparently
gives the same matrix elements for this process as does hole theory .
order of the 7 matrices. Multiply this equation by ( 1) and Eq.
( 11) (with A = 0, calling the variables 1 ) by A+ (2, 1 ) , subtract
and integrate over a region of space- time. The integral on the left-
hand side can be transformed to an integral over the surface of
^
The problem is one of interpretation , especially in a way that will the region. The right-hand side is if the point 2 lies within
also give correct results for other processes, e .g . , self -energy . the region , and is zero otherwise. ( What happens when the 3-
7 The idea
that positrons can be represented as electrons with surface contains a light line and hence has no unique normal need
proper time reversed relative to true time has been discussed by not concern us as these points can be made to occur so far away
the author and others, particularly by Stuckelberg. E. C. C. from 2 that their contribution vanishes. )
754 R. P. FEYNMAN

point 2, and N ( 1) is TYM (1)7M where iVM (1) is the inward tivistic calculations, can be removed as follows. Instead
drawn unit normal to the surface at the point 1. That of defining a state by the wave function /(x) , which it
is, the wave function (2) (in this case for a free par- has at a given time / i = 0, we define the state by the
^
tide) is determined at any point inside a four-dimen- function /(1) of four variables Xi, h which is a solution
of the free particle equation for all h and is fixi) for
sional region if its values on the surface of that region
are specified. / i = 0. The final state is likewise defined by a function
To interpret this, consider the case that the 3-surface g ( 2 ) over-all space-time. Then our surface integrals can
consists essentially of all space at some time say / = 0 be performed since fK+( 3 , l ) fif ( x1 )d3 x 1= /(3) and
previous to t 2 y and of all space at the time T > t 2. The J' g ( x2 ) fid? x2 K+( 2 , 3 )= g ( 3 ). There results
cylinder connecting these to complete the closure of the
surface may be very distant from x 2 so that it gives no
appreciable contribution (as K+( 2, 1) decreases expo-
nentially in space-like directions). Hence, if 74 = /3, since
i
J g ( 3 ) A ( 3 ) f ( 3 ) dr 3 , ( 22 )

the inward drawn normals N will be and /3,


— the integral now being over-all space-time. The transi-
tion amplitude to second order (from (14)) is

*(2) = J*4( 2, l ) W( l )<Pxi JJ g ( 2 ) A( 2 ) K+( 2 , lM ( l )/( l )


^ r 2, ( 23 )

f K+( 2 y l'W ( l' )d* xv , (19)


for the particle arriving at 1 with amplitude /(1) is
-
scattered ( 4 (1)) , progresses to 2, ( K+( 2, 1) ) , and is
.
where / x = 0, ty = T Only positive energy (electron)
-
scattered again ( 4 ( 2 )) , and we then ask for the ampli-
components in i ( l ) contribute to the first integral and
^
only negative energy ( positron) components of to
tude that it is in state g ( 2 ) . If g ( 2 ) is a negative energy
state we are solving a problem of annihilation of elec-
the second. That is, the amplitude for finding a charge tron in /(1), positron in g { 2) , etc.
at 2 is determined both by the amplitude for finding We have been emphasizing scattering problems, but
an electron previous to the measurement and by the obviously the motion in a fixed potential V , say in a
amplitude for finding a positron after the measurement. hydrogen atom, can also be dealt with. If it is first
This might be interpreted as meaning that even in a viewed as a scattering problem we can ask for the
problem involving but one charge the amplitude for amplitude, <j> k ( 1) , that an electron with original free
finding the charge at 2 is not determined when the only wave function was scattered k times in the potential V
thing known in the amplitude for finding an electron either forward or backward in time to arrive at 1. Then
(or a positron ) at an earlier time. There may have been the amplitude after one more scattering is
no electron present initially but a pair was created in
the measurement (or also by other external fields) . The
amplitude for this contingency is specified by the
amplitude for finding a positron in the future.
t
< > k+i ( 2 ) = — i Jl4 ( 2 , l ) 7( l ) t ( l )in
* ( 24)

We can also obtain expressions for transition ampli- An equation for the total amplitude
tudes, like (5). For example if at / = 0 we have an elec-
tron present in a state with (positive energy) wave iKi.) = AZ
:=0
<4 ( i )
function /(x) , what is the amplitude for finding it at
t = T with the (positive energy) wave function g ( x ) ? for arriving at 1 either directly or after any number of
The amplitude for finding the electron anywhere after scatterings is obtained by summing ( 24) over all k from
/ = 0 is given by (19) with (1) replaced by /(x) , the 0 to oo ;
^
second integral vanishing. Hence , the transition ele-
ment to find it in state g ( x ) is, in analogy to (5) , just

( h T , / i = 0)
'l' ( 2 )= <t>0 ( 2 ) — if * 4(2, 1WD41)dn. ( 25)

Viewed as a steady state problem we may wish , for


jg ( xi ) pK+( 2 , l ) /3/(xi)(/3Xid3X 2, ( 20) example, to find that initial condition <£ 0 (or better just
the \f/ ) which leads to a periodic motion of \p . This is
most practically done, of course, by solving the Dirac
since g* = <?/3.
If a potential acts somewhere in the interval between equation,
(iV - m) ( l ) = F( l ) ( l ) ,
0 and T , K+ is replaced by K+( A ) . Thus the first order * *
( 26)
effect on the transition amplitude is, from (13), deduced from (25) by operating on both sides by iV 2 m,
thereby eliminating the 0O, and using (12 ). This illus-

— i JI g ( x 2 ) /3 K+( 2 , 3 ) A( 3 ) K+( 3 , l ) Pf ( xi )d?Xid? x 2 . ( 21) trates the relation between the points of view.
For many problems the total potential A+ V may be
Expressions such as this can be simplified and the split conveniently into a fixed one, V , and another, A ,
-
3 surface integrals, which are inconvenient for rela - considered as a perturbation. If K+( V ) is defined as in
THEORY OF POSITRONS 755
(16) with V for A, expressions such as (23) are valid
and useful with K+ replaced by K+{ V ) and the functions
/(1), g (2 ) replaced by solutions for all space and time OR
of the Dirac Eq. (26) in the potential V ( rather than
free particle wave functions). (a )

4. PROBLEMS INVOLVING SEVERAL CHARGES

We wish next to consider the case that there are two


(or more) distinct charges (in addition to pairs they may
produce in virtual states) . In a succeeding paper we
discuss the interaction between such charges. Here we
assume that they do not interact. In this case each
particle behaves independently of the other. We can
expect that if we have two particles a and b, the ampli-
tude that particle a goes from Xi at / i, to x 3 at h while
b goes from x 2 at h to x 4 at / 4 is the product
£(3, 4; l, 2 ) = tf +a (3, l ) +>(4, 2 ).
* OR
The symbols a, b simply indicate that the matrices
appearing in the K+ apply to the Dirac four component (C)
spinors corresponding to particle a or b respectively ( the
wave function now having 16 indices). In a potential FIG. 4. Some problems involving two distinct charges (in addi-
tion to virtual pairs they may produce) : Pv \ A+( A ) (3, 1) A+ U ) (4, 2)
K+a and K+b become K+aU ) and K+bU ) where K+aU )
is defined and calculated as for a single particle. They — { ,\ ) K+( A ) ( 3, 2) |2 is the probability that : ( a) Electrons
K+( A )\
at 1 and 2 are scattered to 3, 4 (and no pairs are formed ) , (b)
Starting with an electron at 1 a single pair is formed , positron at 2,
commute. Hereafter the a, b can be omitted ; the space
electrons at 3, 4. ( c) A pair at 1, 4 is found at 3, 2 , etc. The exclu-
time variable appearing in the kernels suffice to define sion principle requires that the amplitudes for processes involving
on what they operate. exchange of two electrons be subtracted .
The particles are identical however and satisfy the
exclusion principle. The principle requires only that one term (14). We shall see, however, that considering the

calculate K ( 3 , 4 ; 1, 2 ) AT (4, 3; 1, 2 ) to get the net
amplitude for arrival of charges at 3, 4. ( It is normalized
exclusion principle also requires another change which
reinstates the quantity.
assuming that when an integral is performed over points For we are computing amplitudes relative to the
3 and 4, for example, since the electrons represented are amplitude that a vacuum at t\ will still be a vacuum at
identical, one divides by 2.) This expression is correct t 2 . We are interested in the alteration in this amplitude
for positrons also ( Fig. 4). For example the amplitude due to the presence of an electron at 1. Now one process
that an electron and a positron found initially at Xi and that can be visualized as occurring in the vacuum is the
x 4 (say t i = U ) are later found at x 3 and x2 (with creation of a pair at 4 followed by a re-annihilation of
t 2= h> ti ) is given by the same expression the same pair at 3 (a process which we shall call a closed
loop path ). But if a real electron is present in a certain

K+U ) ( 3 y l ) tf + U ) (4, 2) AT+ U ) (4, 1)£+ <*> (3, 2) . ( 27)
state 1, those pairs for which the electron was created
The first term represents the amplitude that the electron in state 1 in the vacuum must now be excluded. We
proceeds from 1 to 3 and the positron from 4 to 2 ( Fig. must therefore subtract from our relative amplitude the
4 (c)) , while the second term represents the interfering term corresponding to this process. But this just rein-
amplitude that the pair at 1, 4 annihilate and what is states the quantity which it was argued should not
found at 3, 2 is a pair newly created in the potential. have been included in (14) , the necessary minus sign
The generalization to several particles is clear. There is coming automatically from the definition of K+. It is
an additional factor K+u ) for each particle, and anti- obviously simpler to disregard the exclusion principle
symmetric combinations are always taken . completely in the intermediate states.
No account need be taken of the exclusion principle All the amplitudes are relative and their squares give
in intermediate states. As an example consider again the relative probabilities of the various phenomena.
expression (14) for t 2> h and suppose / 4 < / 3 so that the Absolute probabilities result if one multiplies each of
situation represented ( Fig. 2 (c)) is that a pair is made the probabilities by Pv, the true probability that if one
at 4 with the electron proceeding to 2 , and the positron has no particles present initially there will be none
to 3 where it annihilates the electron arriving from 1. finally. This quantity Pv can be calculated by normal-
It may be objected that if it happens that the electron izing the relative probabilities such that the sum of the
created at 4 is in the same state as the one coming from probabilities of all mutually exclusive alternatives is
1, then the process cannot occur because of the exclusion unity. ( For example if one starts with a vacuum one can
principle and we should not have included it in our calculate the relative probability that there remains a
756 R . P. F E Y N M A N

vacuum ( unity) , or one pair is created, or two pairs, etc. In addition to these single loops we have the possi-
-
The sum is Pv~1 ) Put in this form the theory is com - bility that two independent pairs may be created and
each pair may annihilate itself again. That is, there may
plete and there are no divergence problems. Real proc -
esses are completely independent of what goes on in be formed in the vacuum two closed loops, and the
the vacuum. contribution in amplitude from this alternative is just
When we come, in the succeeding paper, to deal with the product of the contribution from each of the loops
interactions between charges, however, the situation is considered singly. The total contribution from all such
not so simple. There is the possibility that virtual elec- pairs of loops (it is still consistent to disregard the
trons in the vacuum may interact electromagnetically exclusion principle for these virtual states) is L2 / 2 for
with the real electrons. For that reason processes occur- in L2 we count every pair of loops twice. The total
ing in the vacuum are analyzed in the next section , in vacuum-vacuum amplitude is then
which an independent method of obtaining Pv is
discussed . C* = l - I+ L2/ 2- L3/ 6+ • • • = exp (- Z) , (30)

5. VACUUM PROBLEMS the successive terms representing the amplitude from


zero, one, two, etc., loops. The fact that the contribu-
An alternative way of obtaining absolute amplitudes
is to multiply all amplitudes by CVJ the vacuum to

tion to Cv of single loops is L is a consequence of the
Pauli principle. For example, consider a situation in
vacuum amplitude, that is, the absolute amplitude that which two pairs of particles are created . Then these
there be no particles both initially and finally. We can pairs later destroy themselves so that we have two
assume Cv= 1 if no potential is present during the loops. The electrons could , at a given time, be inter-
interval, and otherwise we compute it as follows. It changed forming a kind of figure eight which is a single
differs from unity because, for example, a pair could be loop. The fact that the interchange must change the
created which eventually annihilates itself again. Such sign of the contribution requires that the terms in C „
a path would appear as a closed loop on a space-time appear with alternate signs. (The exclusion principle is
diagram. The sum of the amplitudes resulting from all also responsible in a similar way for the fact that the
such single closed loops we call L. To a first approxima -
tion L is

amplitude for a pair creation is K+ rather than + K+. )
Symmetrical statistics would lead to
1 Cv = l+ L+ D / 2 = exp (+ L) .
La ) = - 6704(2, 1) 4 (1)
2 The quantity L has an infinite imaginary part (from
XK+(\ , 2 ) A ( 2 ) dTidT 2. ( 28)
^
For a pair could be created say at 1, the electron and
La\ higher orders are finite). We will discuss this in
connection with vacuum polarization in the succeeding
positron could both go on to 2 and there annihilate. paper. This has no effect on the normalization constant
The spur, Sp, is taken since one has to sum over all for the probability that a vacuum remain vacuum is
possible spins for the pair. The factor § arises from the given by
fact that the same loop could be considered as starting
at either potential, and the minus sign results since the
.
— — -
Pv |Cu | 2 = exp ( 2 real part of L )
from (30) This value agrees with the one calculated
}


interactors are each iA. The next order term would be9
directly by renormalizing probabilities. The real part
of L appears to be positive as a consequence of the Dirac
L( 2 ) — + G/3) JJf Sp\_ K { 2, 1) 4(1)
+ equation and properties of K+ so that Pv is less than
one. Bose statistics gives C* = exp (+ Z) and conse-
XK+( 1, 3 ) A( 3 ) K+( 3, 2 ) A( 2 )2dndT 2dTi , quently a value of Pv greater than unity which appears
etc. The sum of all such terms gives L.10 meaningless if the quantities are interpreted as we have
9 This term actually vanishes as can be seen as follows.
done here. Our choice of K+ apparently requires the
In any exclusion principle.
spur the sign of all 7 matrices may be reversed. Reversing the
sign of 7 in K+( 2, 1) changes it to the transpose of + (1, 2 ) so Charges obeying the Klein-Gordon equation can be
^
that the order of all factors and variables is reversed. Since the equally well treated by the methods which are dis-
integral is taken over all n , T 2, and T3 this has no effect and we are
—.
left with ( l ) 3 from changing the sign of A. Thus the spur equals
its negative Loops with an odd number of potential interactors
give zero. Physically this is because for each loop the electron can
cussed here for the Dirac electrons. How this is done is
discussed in more detail in the succeeding paper. The
go around one way or in the opposite direction and we must add
real part of L comes out negative for this equation so
these amplitudes. But reversing the motion of an electron makes that in this case Bose statistics appear to be required
it behave like a positive charge thus changing the sign of each for consistency.3
potential interaction , so that the sum is zero if the number of
interactions is odd. This theorem is due to W. H. Furry, Phys. in any of the n potentials. The result after summing over n by
Rev. 51, 125 (1937). (13) , (14) and using (16) is
10 A closed expression for
L in terms of K+'< A ) is hard to obtain
because of the factor ( l / n ) in the » th term . However, the per
turbation in L, A L due to a small change in potential A A , is easy
- AL= -if Spl ( K+ <.1, l ) - K+( l , 1)) AA( 1 ) J4TI . (29)
.
to express The ( l / n ) is canceled by the fact that A A can appear The term 2ST+(1, 1) actually integrates to zero.
THEORY OF POSITRONS 757
6. ENERGY-MOMENTUM REPRESENTATION t 2 < x2 , Hi { 2 ) is the Hankel function and 8 ( s2 ) is the
T h e practical evaluation of the matrix elements in Dirac delta function of s2. It behaves asymptotically
some problems is often simplified by working with —
as exp ( ims ) , decaying exponentially in space-like
directions.12
momentum and energy variables rather than space and
time. This is because the function K+ ( 2, 1) is fairly By means of such transforms the matrix elements
complicated but we shall find that its Fourier transform like ( 22 ) , ( 23) are easily worked out. A free particle
is very simple, namely ( i / 4Tr2 )( p — m )~ l that is wave function for an electron of momentum pi is

ui exp ( ipvx ) where u\ is a constant spinor satisfying
K+( 2 , l ) = (;/4 tt-2 )
"
j ( p- m) exp( -ip - x )dAp , (31)
l
~
2i

the Dirac equation piUi mui so that p m2. The
matrix element ( 22) for going from a state pi , Ui to a ^—

state of momentum P 2 , spinor u2 , is 47r2i (xZ 2a (g) wi)
where p' X 2iz= p' X 2
d 4 p means ( 2 ir )~2 2
xi — p - — ptlx — p^ ^ p — pp.y^ and
2tl Xi
dpidp dpzdpi , the integral over all p.
where we have imagined A expanded in a Fourier
integral
That this is true can be seen immediately from (12 ) ,

— — JVg) exp( — iq -
for the representation of the operator iV m in energy yl ( l ) = Xi ) d* q ,
(£ 4) and momentum ( pi , 2, 3) space is p m and the trans-
form of 5 ( 2 , 1) is a constant. The reciprocal matrix and we select the component of momentum q p2 ~ pi — -
—— —
( p m)~l can be interpreted as ( p+ m ) ( p2 m2 )~1 for
The second order term ( 23) is the matrix element

p2 m2= ( p m )( p+ m ) is a pure number not involving between Ui and u2 of
7 matrices. Hence if one wishes one can write
K+( 2 , l ) = i(iV 2+ m) /+ ( 2 , 1) ,
where
4TH j ( a{ Pi- pi- q ){ pi+q- Yla( q)d%
) (35)

7+ ( 2 , 1 ) = ( 2T )-2
J ( p2 - m2 )~l exp( -ip - X 2i ) d4 p, (32 ) since the electron of momentum pi may pick up q from
the potential a ( q) , propagate with momentum pi+ q
is not a matrix operator but a function satisfying —
(factor ( pi+ q m ) l ) until it is scattered again by the
~

— —
potential, a ( p2 pi — q ) , picking up the remaining mo-


22/+ (2, l ) m2/+ (2, 1) = 5(2, 1) ,
where [J 22 = ( V 2) 2 = ( d / dx 2» ) ( d / dx 2 ) . ft
(33)

mentum, p 2 ~ pi q , to bring the total to p2. Since all
values of q are possible, one integrates over q .
The integrals (31) and (32 ) are not yet completely These same matrices apply directly to positron prob-
defined for there are poles in the integrand when lems, for if the time component of , say, pi is negative

p2 m2 0. We can define how these poles are to be
evaluated by the rule that m is considered to have an
the state represents a positron of four-momentum pi ,
and we are describing pair production if p2 is an elec-

injinitesimal negative imaginary part . That is m , is re- tron, i.e., has positive time component, etc.

placed by m id and the limit taken as 5 >0 from above.
This can be seen by imagining that we calculate K+ by
— The probability of an event whose matrix element is
( u2 Mui ) is proportional to the absolute square. This
integrating on p\ first. If we call E =+ ( m2+ pi2 may also be written ( uiMu 2 ) ( u2 Mui ) where M is M ,
+ p22+ pffi then the integrals 2involve pi essentially as with the operators written in opposite order and explicit

f exp ( ipifa h dp p — —^ ^ ^ — E )-1 which has poles at
pi =+ E and p ±= E . The replacement of m by m id — —
appearance of i changed to i ( M is /3 times the complex
conjugate transpose of /3M). For many problems we are
means that E has a small negative imaginary part ; the not concerned about the spin of the final state. Then we
first pole is below , the second above the real axis. Now can sum the probability over the two u 2 corresponding
—^
if t 2 i > 0 the contour can be completed around the
semicircle below the real axis thus giving a residue from
to the two spin directions. This is not a complete set be-
cause p2 has another eigenvalue, m. To permit sum-—
the pi= -\- E pole, or
— —
t 2 ti <0 the upper semicircle must be used , and
~

— —
( 2 E ) l exp( iE ( t 2 h ) ). If ming over all states we can insert the projection operator
(2 m )~l ( p 2+ m) and so obtain ( 2m )~1( uiM ( p 2+m ) Mui )
pi ~ E at the pole, so that the function varies in each for the probability of transition from pi , uh to p2 with
case as required by the other definition (17). arbitrary spin. If the incident state is unpolarized we
Other solutions of (12) result from other prescrip- can sum on its spins too, and obtain
tions. For example if pi in the factor ( pP m2 )~l is con-
sidered to have a positive imaginary part K+ becomes
— _
( 2m )~2Sp[ ( pi+ m ) M ( p2+ m ) M\
^ (36)
replaced by K 0 , the Dirac one-electron kernel, zero for for ( twice) the probability that an electron of arbitrary
t 2 < ti . Explicitly the function is11 (x , t x 2 iM)1 — spin with momentum Pi will make transition to p2. The
I+( x , t ) = - ( Tr )~ld ( s2 )+ ( m/ STTs ) Hi ^ ( ms ) , (34) expressions are all valid for positrons when / s with
^
^
11
— —_
where s + ( P x2 ) * for t2> x2 and s = i ( x2 Z2) * for

. —

7+(x, t ) is (2i ) 1(7) i (x > /) iD( x , / )) where Di and D are the
functions defined by W Pauli, Rev. Mod. Phys. 13, 203 (1941) .
— 12

If the i8 is kept with m here too the function 7+ approaches
zero for infinite positive and negative times. This may be useful
in general analyses in avoiding complications from infinitely
remote surfaces.
758 R . P. F E Y N M A N

negative energies are inserted, and the situation inter-


preted in accordance with the timing relations discussed
— ^ .
Xexpi iJl dt' ) As is well known ( x, t ) satisfies the Dirac
^
^
equation, (differentiate (x, t ) with respect to t and use commuta-
tion relations of H and
above. (We have used functions normalized to (uu ) = 1
instead of the conventional ( u /3u )= ( u*u ) = 1. On our id* ( x , /) /d* = (a ( - -iv-A) + 44+ w0) ¥ (x, /).
i ( 42 )
scale ( u u ) = energy/ m so the probabilities must be Consequently </> ( x, / ) must also satisfy the Dirac equation ( differ -
^
corrected by the appropriate factors. ) entiate (41) with respect to t , use (42 ) and integrate by parts).
,
That is, if <f>( x T ) is that solution of the Dirac equation at time
The author has many people to thank for fruitful
conversations about this subject , particularly H . A.
T which is <£ (x) at / = 0, and if we define
< >'* =
* T )dH then 4>'* = S < >*S ~ l , or
*

J' Af * ( x ) <p ( x )d 3x and
Bethe and F. J. Dyson. (43)
APPENDIX The principle on which the proof will be based can now be
illustrated by a simple example. Suppose we have just one electron
a. Deduction from Second Quantization initially and finally and ask for
In this section we shall show the equivalence of this theory with r = ( xo*GSF*xo). (44)
the hole theory of the positron .2 According to the theory of second
quantization of the electron field in a given potential,13 the state We might try putting F* through the operator 5 using (43) ,
of this field at any time is represented by a wave function x
satisfying

at T arising from /(x) at 0. Then

SF* F'*S , where /' in F'* J' * ( x ) f ' ( x )d 3 x is the wave function
^
idx / dt= Hx, r = ( xo*GF'*Sxo) = f x )d*x - Cv - ( xo* F'*GSXo ) ,
fg* ( x )\ (45 )
where H = y' * (x) (a ( iV
^ - — — '
A ) - jrAi -\- m(3 )'l' ( x )d 3 x and 'k (x) is
an operator annihilating an electron at position x, while >F*(x) is where the second expression has been obtained by use of the defi-
the corresponding creation operator. We contemplate a situation nition (38) of Cv and the general commutation relation
in which at / = 0 we have present some electrons in states repre - GF*+ F*G= f g* ( x )f ( x )d%
sented by ordinary spinor functions /i ( x ) , /2 (x), • • • assumed
orthogonal, and some positrons. These are described as holes in which is a consequence of the properties of 'k (x) ( the others are
the negative energy sea, the electrons which would normally fill the
holes having wave functions p\ ( x ) , /> 2 (x) , • • We ask , at time T — —
FG= GF and F*G*= G* F* ). Now xo* F'* in the last term in
(45 ) is the complex conjugate of F'xo - Thus if /' contained only
what is the amplitude that we find electrons in states gi ( x) , positive energy components, F' x 0 would vanish and we would have
-
£2 ( X ) , • • • and holes at <71 ( x ) , q2 { x ) , • • • . If the initial and final state reduced r to a factor times Cr. But F' , as worked out here, does
vectors representing this situation are x* and xi respectively, we

contain negative energy components created in the potential A


wish to calculate the matrix element
and the method must be slightly modified.
R -(** ( Xf * SXi ) - (37)
Before putting F * through the operator we shall add to it
another operator F"* arising from a function f" ( x) containing only
negative energy components and so chosen that the resulting /'
We assume that the potential A differs from zero only for times has only positive ones. That is we want
between 0 and T so that a vacuum can be defined at these times.
If xo represents the vacuum state ( that is, all negative energy S ( Fpo *+ Fnee"* ) = Fpos'*S , (46)
states filled , all positive energies empty ) , the amplitude for having where the “ pos” and “ neg” serve as reminders of the sign of the
a vacuum at time T , if we had one at / = 0, is energy components contained in the operators. This we can now
C* = ( xo*Sxo) , (38) use in the form
(47)

writing S for exp ( ifQTHdt ) . Our problem is to evaluate R and
show that it is a simple factor times C„, and that the factor involves
‘i 1 pos 1 pos ‘-' t neg •

In our one electron problem this substitution replaces r by two


the K +{ A ) functions in the way discussed in the previous sections. terms
To do this we first express x » in terms of xo- The operator r = ( xo*GFpJ *SXo ) ~ ( xo*OS7W'*Xo).

4>* = f **(x) 4.(x) rf x,


3 (39)
The first of these reduces to

creates an electron with wave function <f>( x ) . Likewise 4> = f </>* (x)
r= f g* ( x ) fpJ ( x )d x - C
3

X 4Kx) fi? 3x annihilates one with wave function <£ (x). Hence state as above, for F poa' xo is ,now zero, while the second is zero since the
Xi is XI = FI* F 2* ‘ • P\Pi’ • • xo while the final state is GI*G2* " "
-
XQiQi • xo where Fi , Gi , Pi , Qi are operators defined like 4>, in
- creation operator Fneg /* gives zero when acting on the vacuum
*
state as all negative energies are full. This is the central idea of
( 39) , but with /i, gi , pi , qi replacing <f> ; for the initial state would the demonstration.
result from the vacuum if we created the electrons in /1, /2, The problem presented by (46) is this: Given a function fpo8(x)
and annihilated those in ph p2 , • • • . Hence we must find at time 0, to find the amount , /neg", of negative energy component
- - -
R= ( xo* • Qi*Qx* • •G2G1SFl* F 2* • PiP2 • xo) . --
To simplify this we shall have to use commutation relations be
--
(40)
-
which must be added in order that the solution of Dirac’s equa
tion at time T will have only positive energy components, / poa'.
-
tween a 4>* operator and S . To this end consider exp( iJllHdt' ) &*
Xexp (-f- ifJHdt' ) and expand this quantity in terms of ¥*(x ) ,
— This is a boundary value problem for which the kernel K+( A ) is
designed. We know the positive energy components initially , / poa ,
giving f ** { x ) <t>{ x , t )dzx , ( which defines and the negative ones finally (zero). The positive ones finally are
/ )). Now multiply
- - —
this equation by expi+iJo' Hdt' ) • exp ( ifJEdt' ) and find therefore (using (19) )

JV*(x) £(x)rf x = f ¥*(x, t )<f>( x, t )d%


< 3
(41) /
/PO,'(X 2) = K+< A> ( 2, lWPo (xi ) <i3Xi . (48)

where h = T , ti = 0. Similarly, the negative ones initially are


where we have defined ¥ (x, /) by
*(x, /) = exp(+iJotHdt' ) <F ( x )
See, for example, G. Wentzel, Einfuhrung in die Quanten
13

theorie der Wellmfelder ( Franz Deuticke, Leipzig, 1943) , Chap-


- /neg"(x 2) = f K+^ ( 2, l )^/ po8( 1) x
^x -/ 1 x ,
p 08( 2) (49)
ter V. where t 2 approaches zero from above, and t\= 0 The /p 08(x > ) is .
THEORY OF POSITRONS 759
subtracted to keep in /neg"( x2) only those waves which return
from the potential and not those arriving directly at t 2 from the
K +( 2, 1 ) part of K+( A ) ( 2, 1) , as / 2-*0. We could also have written

The value of Cv ( to A/0) arises from the Hamiltonian Hto Ato
which differs from Hto just by having an extra potential during
the short interval At 0. Hence, to first order in At0 y we have

..
/n "(x,) -/ [£+ > (2, l ) - K +( 2 , l )Wpo ki )d >n.
“ . ,
(50)

Cv ( to A/o) = xo*( i Jf toT
— Ato
-
Ilto Atodt
Therefore the one-electron problem , r = J' g* ( x ) fpos ( x )d* X ' Cvi

^ ^ ^— —ij T
gives by (48) = xo* exp f **( x )
r= Cvf g* ( xi ) K ( Xl ) Xlrf 3X 2,
as expected in accordance with
^ AKthe, lW
2
^
reasoning of the previous sec-
-
X ( a A ( X, / 0) + T 4 (X, t0 ) ) Ar ( x )d 3x
we therefore obtain for the derivative of Cv the expression
tions (i.e., (20) with K+( A ) replacing K + ) .
The proof is readily extended to the more general expression R ,
(40) , which can be analyzed by induction. First one replaces Fi*
(
dCv ( to ) /dto = ~ i xo* exp
by a relation such as (47) obtaining two terms
,
R= ( xo* • • •Q 2*QI * • • •G2GlFlpoa *SF 2* • • PlP 2‘ • - xo)
X
J >k *( X ) /3A ( X )
, *o)*( X) <PXxo , (51)
--
- ( xo* • Q2*Ql*‘ ’ G 2GiSFineg"* F 2* • PiiV • xo) . - - which will be reduced to a simple factor times Cv ( t0 ) by methods
analogous to those used in reducing R. The operator can be
In the first term the order of Fipoa'* and Gi is then interchanged,
producing an additional term J' gi* ( x ) fil>oa' ( x )d 3 x times an expres- imagined to be split into two pieces SPpos and aeg operating on
sion with one less electron in initial and final state. Next it is positive and negative energy states respectively. The M> pos on xo
exchanged with G2 producing an addition
times a similar term, etc. Finally on reaching the Q * with which

J' g 2* ( x ) fipoB' ( x )d 3x
gives zero so we are left with two terms in the current density,
'Fpoa*/3A >Fneg and A' neg* pA' fraeg . The latter Arneg* pA''S neg is just
it anticommutes it can be simply moved over to juxtaposition the expectation value of 0 A taken over all negative energy states
( minus ''f negP AAraeg* which gives zero acting on xo) . This is the
with xo* where it gives zero. The second term is similarly handled
by moving /qneg"* through anti commuting P 2*, etc., until it effect of the vacuum expectation current of the electrons in the
sea which we should have subtracted from our original Hamil-
reaches Pi. Then it is exchanged with Pi to produce an addi-
tional simpler term with a factor zFj' p * ( x ) fiuegn { x )d‘ix or tonian in the customary way.
The remaining term Arpoa* AAfneg , or its equivalent Arpoa* A
z ' * (% i ) K { A ) { l ) 0 i ( xi ) <pXi <PX 2 from (49) , with / 2 = / i = 0 ( the
^ JP + 21 /
extra /i (x 2) in (49) gives zero as it is orthogonal to p\{ x 2 ) ) . This
^
can be considered as \k*( X)fpo8 ( X) where fp08(x) is written for the ^^
describes in the expected manner the annihilation of the pair, positive energy component of the operator A ( x ) Now this
operator, r*( X )fpo8(x) , or more precisely just the ¥*(x) part of it, ^ ^ .
electron /i , positron pi . The Fneg"* is moved in this way succes- ^ —
can be pushed through the exp( iJt0THdt) in a manner exactly
sively through the P’s until it gives zero when acting on xo Thus
R is reduced , with the expected factors (and with alternating signs
- analogous to (47) when / is a function. (An alternative derivation
results from the consideration that the operator (x, /) which
as required by the exclusion principle) , to simpler terms containing
satisfies the Dirac equation also satisfies the linear integral equa- ^
two less operators which may in turn be further reduced by using
F 2* in a similar manner , etc. After all the F* are used the ()*’s tions which are equivalent to it.) That is, (51) can be written
by (48) , (50) ,
can be reduced in a similar manner. They are moved through the
S in the opposite direction in such a manner as to produce a purely
negative energy operator at time 0, using relations analogous to - dC ,( t0 ) / dh= -i( xo* ff ^* ( X ) K+^ ( 2 , 1)
2

(46 ) to (49). After all this is done we are left simply with the ex-
( — ijr Hdl A X 'V dHldiTiiXaj
pected factor times Cv (assuming the net charge is the same in

^ ( ) ( xi ) '
Xexp
initial and final state.)
In this way we have written the solution to the general problem
of the motion of electrons in given potentials. The factor Cv is + i(xo* exp( * f * Hdt ) f f ** ( [ K <
~ X2) +
V (2 , 1)
obtained by normalization. However for photon fields it is desir-
able to have an explicit form for C 0 in terms of the potentials.
This is given by (30) and ( 29) and it is readily demonstrated that
- K +{ 2 , mAXmxMXd' xixo , )
this also is correct according to second quantization . where in the first term / 2 = T, and in the second The
( A ) in K +^ A ) refers to that part of the potential A after / 0 The
first term vanishes for it involves (from the K +{ A ) { 2, 1)) only
-
b . Analysis of the Vacuum Problem positive energy components of which give zero operating into
We shall calculate Cv from second quantization by induction
considering a series of problems each containing a potential dis -
-
Xo* In the second term only negative components of ’4r*( X 2)
appear. If , then Ar* ( x 2 ) is interchanged in order with 'I'(xi ) it will
tribution more nearly like the one we wish. Suppose we know Cv give zero operating on xo, and only the term,
for a problem like the one we want and having the same potentials
for time t between some to and T , but having potential zero for -dCv ( t0 ) / dto=+if Spt ( K +<\
A 1, 1)

times from 0 to to. Call this Cv ( to ) , the corresponding Hamiltonian


Hto and the sum of contributions for all single loops, T (/ 0) . Then
- K+( l , l ) ) A( l ) -]d >xvCv( to ) t (52)
for to= T we have zero potential at all times, no pairs can be will remain, from the usual commutation relation of V * and

produced , L( T ) = 0 and Cv ( T ) l . For / 0 = 0 we have the com
plete problem, so that Cv (0) is what is defined as Cv in (38) .
-
— —— —
The factor of C» (/ o) in (52) times A/ 0 is, according to ( 29)
(reference 10) , just L{ to A*0) L( t0 ) since this difference arises
from the extra potential AA A during the short time interval

— —
Generally we have,
Ato. Hence dCv ( to ) / dto= \ -
- ( dL( to ) / dt0 )Cv( to ) so that integration
(
Cv ( to) = xo* — . rT
ifJ Htodt
o
from to T to / 0 = 0 establishes (30).
Starting from the theory of the electromagnetic field in second
=

^ Xo* exp

since Ht 0 is identical to the constant vacuum Hamiltonian HT for


t <t0 and xo is an eigenfunction of HT with an eigenvalue (energy
of vacuum ) which we can take as zero.
(-
^
Etodt xo , ) quantization, a deduction of the equations for quantum electro
dynamics which appear in the succeeding paper may be worked
out using very similar principles. The Pauli-Weisskopf theory of
the Klein-Gordon equation can apparently be analyzed in essen
tially the same way as that used here for Dirac electrons.
-

Vous aimerez peut-être aussi