<<

Romanian Reports in , Vol. 66, No. 2, P. 319–335, 2014

THE FIELD THEORY OF THE PHOTON

RUO PENG WANG Peking University, Physics Department, Beijing 100871, P.R. China E-mail: [email protected] Received October 28, 2013

Abstract. I introduce a spinor field theory for the photon. The three-dimensional vector and the four-dimensional vector potential are components of this spinor photon field. A spinor equation for the photon field is derived from Maxwell’s equations, the relations between the electromagnetic field and the four-dimensional vector potential, and the Lorentz gauge condition. The covariant quantization of free photon field is done, and only transverse photons are obtained. The vacuum energy divergence does not occur in this theory. A covariant “positive frequency” condition is introduced for separating the photon field from its complex conjugate in the presence of the and charge. Key words: photon, spinor.

1. INTRODUCTION

The electromagnetic interaction is the best studied one among the four known fundamental interactions. In the frame of quantum theory, the photon is the quantum of the electromagnetic field. There are several ways to represent the electromagnetic field: by the three-dimensional and vectors, by the 44× electromagnetic , or by the four-dimensional potential vector [1, 2]. The electric and magnetic fields are directly related to the energy density of the electromagnetic field. The four-vector potential is directly related to the Lagrangian density of interaction. But however, none of these fields can be regarded as the photon field, because the photon density can not be expressed as inner products of these fields with their adjoint fields. In this paper, I introduce the spinor photon field that satisfies a spinor equation similar to the Dirac equation for the electron. The three-dimensional vector electric field, the three-dimensional magnetic vector field and the four-dimensional vector potential are components of this spinor photon field. The spinor equation for the photon field is based on the Maxwell equations, the relations between the electromagnetic field and the four- dimensional vector potential, and the Lorentz gauge condition. The Lagrangian densities for the free photon field and for the photon field in interaction with the 320 Ruo Peng Wang 2 matter are established. Covariant quantization of photon field is carried out, and only transverse photons emerge from the quantization procedure. The vacuum state of the photon field is found to have null energy. The solution for the photon field in the presence of the electric current and charge is found, and a covariant “positive frequency” condition is introduced for separating the photon field from its complex conjugate. The Maxwell equations, the relations between the electromagnetic field and the four-dimensional vector potential, and the Lorentz gauge condition are rewritten as two eight-component spinor equations in Sec. 2. The spinor photon field is introduced in Sec. 3. The quantization of the photon field is treated in Sec. 4, and the photon field in the presence of electric current and charge is analysed in Sec. 5.

2. THE SPINOR EQUATION FOR THE ELECTROMAGNETIC FIELD

Maxwell’s equations for the electric and magnetic fields E and H in the presence of a ρ and a j can be written in the following form: ∂ ()ε000EHj=∇×() µ − µ , (1) ∂x0 ∂ ()µ=−∇×ε00HE(), (2) ∂x0

0 =−∇⋅( µ0 H) , (3)

0 = ∇⋅( ε00E) − ε ρ, (4) where ε 0 is the vacuum , µ 0 is the magnetic permeability of the vacuum, and x 0 =ct. Because the electric field, the magnetic field, the current density and the charge density are real quantities, they are completely described by their positive frequency components. An alternative way for writing the above equations is to introduce an eight components spinor electromagnetic field and an eight components spinor electric current density defined by

ψ=em ()x T (5) ()εεε01Ex() 02 Ex () 03 Ex ()0 µ 0 Hx 1 () µ 0 H 2 () x µ 0 H 3 ()0 x and 3 The spinor field theory of the photon 321

T je =µ01() jxjxjx() 2 () 3 ()0000 jx 0 () , (6) where jx()=ρ( c (),() xj x) is the four-vector current density. The Maxwell equations (1-4) now can be written as ∂ ψ=−⋅∇ψ−em()x α e em ()xjx e (), (7) ∂x 0 where

00 0−σiI22 000 −  00−σiI 0 00 0 22 α=ee12,, α= 000iIσ 22 000  iIσ−2200 0 000 (8) 00iσ 2 0  000−σi 2 α=e3 −σi 2 00 0  000iσ 2 with 010−i  σ=22andI =  . (9) i 001  We have

α⋅α+α⋅α=δem en en em2, mn mn ,1,2,3. = (10) The electromagnetic field can be described by the four-vector potential Ax()=φ( ()/, x cA () x) . The relation between the electric and magnetic fields and the four-vector potential, and the Lorentz gauge condition can be written as: ∂ 1 ()ε=−∇ε−ε0000AE()A , (11) ∂xc0 1 0 =∇× εAH − µ , (12) ()00c ∂ ()ε=−∇⋅ε00A () 0A . (13) ∂x 0 The relations (11–13) can be rewritten as 322 Ruo Peng Wang 4

∂ 1 ψ=⋅∇ψ−ψaea()x α ()xx em (), (14) ∂xc0

where the spinor potential field ψ a (x ) is defined by

ε ψ=()xAxAxAxAx0 () () () ()0000 ()T . (15) a 123 0 One may observe that the equation (14) also holds if we replace the Lorentz gauge condition with the following one: ∂ 1 ()ε=−∇⋅ε−ψ00A () 0A em 8, (16) ∂xc0 where ψ em8 is an arbitrary scalar constant. In this case, the spinor electromagnetic field takes the following form

ψ=em ()x T (17) ( εεε01Ex() 02 Ex () 03 Ex ()0 µ 0 Hx 1 () µ 0 H 2 () x µψ 0 H 3 () xem 8 () x) . According to properties of the electric field E (x ) , magnetic field H (x ) , and four- vector potential Ax ( ) under continuous space-time transformations, we have the following relation for ψ em (x ) and ψ a (x ) under a

ψ=−⋅ψ′′em()x exp( φl) em (),x (18) and

ψ=′′aea()x exp(φα ⋅−ψ( l)) (),x (19) where

v vv φ =+−−ln 1 ln 1 . (20)  vc c Under a rotation characterized by the rotation angle φ , expressed as an axial vector, we have

ψ=′′em()x exp(ixφ ⋅ψs) em (), (21) and

ψ=′′aa()x exp(ixφ ⋅ψs) (), (22) 5 The spinor field theory of the photon 323 with ΣΣ00 i  sl==,,   (23) 00ΣΣ −i  and 0000 00ii 0 0− 00  00−ii 0 0 000 0 00 Σ=,,. Σ= Σ= (24) 1230ii 00− 000 0000  0000 0000 0000 The following commutation relation holds for s :

3

[,s nmsi ]=ε∑ nmpp s . (25) p=1 Equations (7) and (14) are invariant under continuous space-time transformations (See the Appendices).

3. THE PHOTON FIELD

One can use ψ em ()x or ψ a ()x to represent the electromagnetic field, but it is not possible to express the photon density as an inner product of ψ em (x ) or

ψ a ()x with its adjoint field. Therefore neither ψ em ()x , nor ψ a ()x can be regarded as the photon field. The concept of photon is closely related to monochromatic electromagnetic plane waves, so we consider a monochromatic plane wave

kk ψψ∝−em (x ), a (xikx ) exp( ) (26)

+k +k in the absence of electric current and charge. Let ψ em ()x and ψ a ()x be the k k positive frequency parts of ψ em (x ) and ψ a (x ) . We find that the inner product ++kk† ψψem()x em ()x is equal to the time average of energy density, which should equal to, in the case of a monochromatic wave, the product of the photon density and the photon energy ck 0 . On other hand, we have 1 ε⋅=µ⋅EE++kk**()x ()xxx HH + k () + k ()=ψ++kk† ()x ψ ()x (27) 002 em em and 324 Ruo Peng Wang 6

1 ixxixxEA+kk**()⋅=−⋅= + () AE ++ kk () () EE ++ kk * () xx ⋅ (), (28) ck 0 thus the photon density is equal to

++kk†† ++ kk −ψixxixxaemema() ψ () + ψ () ψ (). (29) We have ψ +k ()x −ψixxixx++kk††() ψ () + ψ ++ kk () ψ () = ψ + k †† () x ψ + k () x τ em , (30) aemema() ema 2 +k ψ a ()x where

0 iβ e I 4 0 τ=2 with β=e  , (31) −βiIe 00 − 4

and I 4 is the 4× 4 unit .

Based on the relation (30), we define the photon field ψ f (x ) as

ψ ()x′ 1 4 em ψ≡f ()xkikxx d exp()()′ −. (32) 4 ∫ ψ ()x′ ()2π k 0 >0 a

One may observe that the condition k 0 > 0 is covariant for the free photon field,

because it does not contain Fourier components with k 0 < k . According to Eqs. (7) and (14), the free photon field satisfies the following equation: ∂ i ixixψ=−⋅∇ψ−βψfwff()α ()− () x, (33) ∂xc0 with

α e 000 α w =β=,,− (34) 00−α e I 8

where I 8 is the 88× unit matrix. The invariance of Eq. (33) under continuous space-time transformations is assured by the invariance of Eqs. (7) and (14). We have

ψ=′′ff()x exp(φΛ ⋅ψ) (),x (35) with −l 0 Λ =  (36) 0 αle − 7 The spinor field theory of the photon 325 for Lorentz transformations, and

ψ=′′fff()x exp(ixφ ⋅ψs ) (), (37) under space rotations, where s 0 s f = . (38) 0 s Eq. (33) is invariant also under space inversion and time reversal. It is easy to verify that τψ00f (,x −x ) and τ 30ψ−f (,)x x satisfy the same spinor equation

Eq. (33) as ψ f (,)x0 x , where

−βee00 β τ=03, τ= . (39) 00−β−βee The equation for the free photon field can be derived from the following Lagrangian density ∂ L0 =ψic f  +αwfff ⋅∇ψ+ψβψ i− , (40) ∂t

† where ψ=ψτff()x ()x 2 is the adjoint field. One may observe that there are a total of 15 component equations for photon field. Among these 15 equations only 11 equations are independent, and the other 4 equations (corresponding to Eqs. (2) and (3)) are a direct conclusion of these 11 equations. By means of variational calculation, all these 11 independent equations can be obtained.

The conjugate field of ψ f is

∂L 0 π f = =ψi f . (41) ∂ψ f The Hamiltonian now can be calculated: H =πψ−=d3 x 00∫ ( f L ) (42) =ψ−⋅∇−βψd.3 xαic i ∫ f ()wf− The Lagrangian density (40) is invariant under a global phase change of the photon field ψ f (x ) . This implies the conservation of the photon number N for free photon field: 326 Ruo Peng Wang 8

N =ρ d 3 x (43) ∫ ph and ∂ ρ +∇⋅j =0, (44) ∂t ph ph

where the photon density ρ ph is given by the inner product between the photon field ψ f (x ) and its adjoint ψ f ()x :

ρ ph()x =ψ f ()xx ψ f () (45) and

jαph= cxψψ f() w f () x (46) is the photon current density. One may observe that the photon density defined by Eq. (45) may take negative values. But however, when we talk about photons we refer to electromagnetic fields with well-defined frequencies. By direct calculation,

one can verify that ρ≥ph 0 if ψ f (x ) has a well-defined frequency. According to the relation between symmetries and conservation laws [3, 4], we may obtain the following expressions for the momentum P and the M of the free photon field: Px= −ψ∇ψi d3 (47) ∫ f f and Mxx=ψ×−∇ψ+ψd()d33i xs ψ . (48) ∫∫f [ ] ffff( )

It is clear that s f can be interpreted as the spin operator of the photon field. According to expression (25), we have

3 [,ssfn fm ]=ε i∑ nmp s fp , nm , = 1,2,3. (49) p=1

4. QUANTIZATION OF THE PHOTON FIELD

It is convenient to quantize the photon field in the momentum space. To do this, we have to find firstly the plane wave solutions of the photon field. By substituting the following form of solution

ψ∝f ()xikxw exp( −) (k) (50) 9 The spinor field theory of the photon 327 into the spinor equation (33), we find

iβ − αkw ⋅ −−kw0 () k = 0. (51) c

Eq. (51) permits two independent nontrivial solutions with k 0 = k . They can be chosen as 1 wcqircqircqir±1112233()kk=±±±(() k() k()0 2 c

∓∓∓criqcriqcriqkk()11() 2 2 k() 330 (52) T −±−±−±iq11 r iq 2 r 2 iq 3 r 30 0000) , where q and r are two unity vectors satisfying the following conditions:

kqrˆˆ×=,,,and, kr ×=− q qrk ×= ˆ r( − k) =− rk( ) (53) with kkkˆ = /.

w +1 (k) and w −1 (k) are orthogonal:

† wwhh(kk) ′′′( ) =τ w h( k) 2 w h( k) =δ hh k. (54) We also have ˆ ()ks⋅=fhwhwh() k h () k,1, =± (55) and

2 skfhwssww()=+(1) h( k) = 2 h( k) . (56) Therefore photons are particles of spin s =1. One may also observe that the components in w +1 (k) and w −1 (k) corresponding to ψ em8 are zero, so the Lorentz gauge condition is re-obtained.

Having plane wave solutions of the photon field ψ f (x ) , we may now expand ψ f (x ) in plane waves

1 −ikx ψ=fhh()xewb∑∑ ()kk () , k h V k (57) 1 ikx † ψ=fhh()xewb∑∑ ()kk () , k h V k 328 Ruo Peng Wang 10

with k 0 = k . According to relations (40) and (57), the Lagrangian of the photon field can be expressed as a function of the variables qthk ():

† ∂ Ltq0 (, )=−∑∑ qhhkk() t i ck q() t , (58) k h ∂t with

qtbhhk ( ) =−ωω=(k)exp( it) , ck0 . (59)

The conjugate momentum of qthk () can be calculated, and we have

∂L 0 † p hhk ()tibit== ()k exp ( ω ) . (60) ∂qt hk ()

By applying the quantization condition [qphhkk, ] = iδδ hh′ kk′ , we find the † following commutation relation for b ±1 (k) and b ± 1 (k)

† ′ bbhh(kk),.′ ( ) =δ hh′′ δkk (61)

† b ±1 (k) and b ± 1 (k) are just the photon annihilation operator and the photon creation operator. The Hamiltonian of the photon field can also be calculated. We obtain † HpqLbb00=−=ω∑∑hhkk ∑∑ h(kk) h( ). (62) kkhh We observe that the vacuum energy of the photon field is zero. The commutation relations for the photon field can be written in a covariant form. According to the commutation relations (61) and the expression (57), we have † ′′ ψψfl(),xxDxxlm fm ( ) = lm ( − ),with , = 1,2,,8, (63) where the 8× 8 matrix D ( x) is given by the following expression c D xkkke=δ⋅+⋅⋅d.42kl kl kl −ikx (64) () 3 ∫ ()0 ()() 22()π k0 >0 The replacement 11 → d3k (65) ∑ 3 ∫ V k ()2π 11 The spinor field theory of the photon 329 was used in obtaining the relation (63). Under Lorentz transformations, D ( x) transforms to Dx′′( ) = exp(−⋅φl) Dx( ) exp( −⋅ φl) . (66) One can verify with no difficulty that by using the expansions (57), the commutation relations (61) can be derived from commutation relation (63). Therefore, the commutation relations (61) and (63) are equivalent.

5. INTERACTION BETWEEN PHOTON FIELD AND MATTER

In the presence of electric current and charge, according to Eqs. (7) and (14), we have the following equation for the photon field: ∂ i ixiψ=−⋅∇−βψ−fw()α − ff () xiJx (), (67) ∂xc0 

where the spinor current density J f (x ) is given by

+ jxe () Jxf ()=  , (68) 0

+ and jxe () satisfies the relation

++* jxee()+ j () x= jx e (). (69)

It would be natural to request that the spinor current density J f ()x to have only + positive frequency Fourier components. But the spinor current density jxe ( ) may

contain Fourier components with k > k 0 , and for these Fourier components this separation does hold for all frames of reference. In other words, the positive frequency condition is not covariant. A covariant form of this condition can be written as: kp > 0 , where p is a well-defined 4-vector. For each physical system, there always is a well-defined 4-vector, namely the total energy-momentum 4-vector of the system. Therefore, we have jx+ () d()d44xeikx J x=θ kp xe ikx e , (70) ∫∫f ()  0 with  1ifz > 0  θ=()zz 1/2if = 0 , (71)   0ifz < 0 330 Ruo Peng Wang 12

and pp= ( 0 ,p) the total energy-momentum 4-vector of the photon field and the charged matter field under consideration. One may observe that, in the “centre of mass” frame in which the total momentum p of the whole system in interaction is

zero, J f (x ) have only positive frequency Fourier components. It is easy to verify that the equation (67) can be derived from the following Lagrangian density

f LL+L()x = 0int ()xx (), (72) with the Lagrangian density of interaction given by f †† L int()x =ψτicfff () x 2 J () x − J () x τψ 2 f (). x (73)

According to the definition of J f (x ) , we have

∞ ddx 3 x ψτ† ()xJxJx* () −T () τψ= () x 0. (74) ∫−∞ 0 ∫ fff22 f V

* Therefore it is not necessary to separate J f (x ) from J f ()x in the Lagrangian density of interaction, and the equation (67) can also be derived from the following Lagrangian density

LL+L()x = 0int ()xx (), (75) where the Lagrangian density of interaction is given by  † †  Lint()x =ψτic fss () x 2 J () x − J () x τψ 2 f (), x (76) with * J sf()xJxJx= ()+ f (). (77)

According to the relation between the photon field ψ f (x ) and the four-vector

potential Axf ( ) , the Lagrangian density of interaction L int ()x can also be written as † L int ()x =−Aff ()() xjx − jxA () (), x (78)

where Axf ( ) is the “positive frequency” part of Ax ( ) :

d()d().44xeAxikx=θ kp xeAx ikx (79) ∫∫f ( )

† One may observe that if jx ( ) commutes with Axf ( ) and Axf () , the

Lagrangian density of interaction L int ()x would become − jxAx( ) ( ) , as in the classical electrodynamics. 13 The spinor field theory of the photon 331

The equation (67) can be solved. We have ψ=ψ+()x 04 ()xxGxxJx d′ ( −′′ ) ( ), (80) ff∫ f f

0 where ψ f ()x is the free photon field given by expressions (57), and Gxf ( ) is the Green function for the photon field: 1 −−iikxexp ( ) iβ Gx=+⋅−d.4 k k αk − (81) fw() 4 ∫ 2 0 ()2π ki+ε  c

6. CONCLUSION

I introduced a spinor field theory for the photon. The spinor equation for the photon field is equivalent to Maxwell’s equations together with the relations between the four-vector potential and electric and magnetic fields, and the Lorentz gauge condition for the 4-vector potential. The quantization of free photon field is done, and only transverse photons are obtained. The vacuum energy divergence does not occur in this theory. The solution for the photon field in the presence of the electric current and charge is found, and a covariant “positive frequency” condition is introduced for separating the photon field from its complex conjugate.

APPENDIX A: INVARIANCE OF SPINOR EQUATIONS FOR ELECTROMAGNETIC FIELD AND POTENTIAL UNDER LORENTZ TRANSFORMATIONS

By direct verification, one may find the following relations for matrices s and l :

3 [,sinemα= ]∑ εα nmpep , nm , = 1,2,3, (A1) p=1 and

αα=−−δαenll m en m(1,,1,2,3. nm) em nm = (A2) Let’s consider a Lorentz transformation

x′11coshϕ−ϕ 0 0 sinh x   x′ 0100 x 22=  . (A3) x′330010 x   x′00−ϕsinh 0 0 cosh ϕ x 332 Ruo Peng Wang 14

We have ∂∂∂∂∂∂ =ϕ−ϕcosh sinh , =ϕ−ϕ cosh sinh (A4) ∂∂∂∂∂∂x 110001xxxxx′′ ′′ and jx( )=ϕ cosh jx′ (′′′ ) +ϕρ sinh c ( x ), 11 (A5) cxρ=( ) cosh ϕρ+ c′ ( x′′′ ) sinh ϕ jx1 ( ).

The last relations can be written in the terms of jxe () and jx′e ()′ :

jxeee()=ϕ−α exp( ( l11)) jx′ (′ ). (A6) By using the relations (A4), the equation (7) can then be written as the following: ∂ ()coshϕ− sinh ϕαeem1 ψ (x ) + ∂x′0 (A7) ∂∂∂ ()coshϕα−eeeeme123 sinh ϕ +α +α ψ (xjx ) + ( ) = 0. ∂∂∂xxx′′′123 Because

exp(−ϕαee11) = cosh ϕ − sinh ϕα , (A8) so ∂ exp()−ϕαeem1 ψ (x ) = ∂x′0 ∂∂∂ =−ϕαα+α+αψ=–exp()ee11 e 2 e 3 em ()x (A9) ∂∂∂xxx′′′123

=ϕ−α–exp()()ljx11ee′′ ( ). But

α ee11ll=α 1 1, (A10) we then have ∂∂ exp()−ϕlx1111 ψem ( ) = − α e + exp () −ϕ() l − α e × ∂∂xx′′01 (A11) ∂∂  ×αee23 +αexp() ϕllxjx 1 exp ( −ϕψ 1 ) eme ( ) −′′ ( ) = 0. ′′ ∂∂xx23  15 The spinor field theory of the photon 333

According to the relation (A2), we have

n n α=−ααemll11() e 1 em ,2,3, m = (A12) therefore

αϕ=ϕ−ααemexp( ll111) exp( ( e)) em , (A13) exp()ϕα=αllm111em em exp() ϕ ( −α e ) , = 2,3, and the equation (A11) becomes ∂ ψ=−⋅∇ψ−′′em()x α e ′′ em ()xjx ′′ e (), (A14) ∂x′0 with

ψ=−ϕψ′′em()x exp( lx1 ) em (). (A15) The equation (A14) in the new reference frame has exactly the same form as Eq. (7), this means the spinor equation for the electromagnetic field is invariant under Lorentz transformations. The invariance of Eq. (14) can be shown in a similar way. We have

∂∂ exp()ϕαeae111 ψ (x ) = α exp () ϕα e + ∂∂xx′′01 (A16) ∂∂ 1 +αeea23 +α ψ()x − exp() ϕlx 1 ψ′ em (′ ). ∂∂xx′′23 c But

exp(−ϕllm111) αem = α em exp( ϕ( α e −)) , = 2,3, (A17) thus Eq. (A16) can be reduced to ∂ 1 ψ=⋅∇ψ−ψ′′aea()x α ′′ ()xx ′ em (), ′ (A18) ∂xc′0 with

ψ=ϕα−ψ′′aea()x exp( ( 11lx)) (). (A19) This equation has exactly the same form as Eq. (14). 334 Ruo Peng Wang 16

APPENDIX B: INVARIANCE OF SPINOR EQUATIONS FOR ELECTROMAGNETIC FIELD AND POTENTIAL UNDER SPACE ROTATION

Let’s consider an infinitesimal space rotation

3 ′′ xx00==−εδ=,,1,2,3. xxnn∑ nmpmp x n (B1) mp,1= We have ∂∂3 ∂ =+εδ∑ nmp m ,1,2,3,n = (B2) ∂∂xxnn′′mp,1= ∂ x p and

3 ′′ ′ ′ ′ ′ ρ=ρ()xxjxjx ( ),nn () = ( ) +∑ εδ nmpmp jxn ( ), = 1,2,3. (B3) mp,1= The last relation is equivalent to

jxee()=−⋅( 1 iδs) jx′ (′ ). (B4) The equation (7) can be written as ∂ ()1()+⋅ixδs ψem = ∂x′0 (B5) 3 ∂ ′ ′ =−()1()(). +ixjxδs ⋅ αen −∑ ε nlm δ l α em ψ em − e lm,1= ∂x′n But

3 ∑ εα=α−αnlm emis l en i en s l ,, l n = 1,2,3, (B6) m=1 so

3 ∑ εδα=⋅α−α⋅nlm l emiiδs en en δs,1,2,3. n = (B7) lm,1= Then Eq. (B5) becomes

∂∂3 ′ ′ ()1()1()().+⋅ψixδsem =−α∑ en() +⋅ψ ixjx δs em − e (B8) ∂∂xx0′′n=1 n 17 The spinor field theory of the photon 335

On the other hand, we have ψ=+⋅ψ′′em()x ( 1ixδs) em (), so we rewrite Eq. (B8) as ∂ ψ=−⋅∇ψ−′′em()x α e ′′ em ()xjx ′′ e (), (B9) ∂x′0 which has exactly the same form as Eq. (7). So the spinor equation for the electromagnetic field is invariant under space rotations. The invariance of Eq. (14) can be demonstrated exactly in the same way.

REFERENCES

1. L. D. Landau and E. M. Lifshitz, Classical Theory of Fields, 4th ed., Butterworth Heinemann, 1980. 2. J. D. Jackson, Classical Electrodynamics, 3rd ed., John Wiley and Sons, New York, 1998. 3. E. Noether, Nachr. Gesellschaft, Wiss. Göttingen, 237 (1918). 4. F. Mandl and G. Shaw, , (Chap. 2), John Wiley and Sons, Chichester, 1984.