Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

electrodynamics / Electromagnetic Field Theory - Bo Thide

.pdf
Скачиваний:
43
Добавлен:
19.03.2015
Размер:
965.11 Кб
Скачать

5.3 COVARIANT CLASSICAL ELECTRODYNAMICS

63

 

The gauge transformations (3.15) on page 37 in covariant form are simply

A0 = A @ [c (x )] = A

@

 

@x c (x )

(5.49)

If only one dimension Lorentz contracts (for instance, due to relative motion along the x direction), a 3D spatial volume transforms according to

dV = d3x =

1

 

 

 

 

v2

 

dV0

= dV0 2 1 2

= dV0 1

(5.50)

 

 

c2

then from Equation (5.43) on the facing page we see that

dV = 0dV0

(5.51)

i.e., the charge in a given volume is conserved. We can therefore conclude that the electron charge is a universal constant.

5.3.2 The Liénard-Wiechert potentials

Let us now solve the Lorentz equation (the inhomogeneous wave equation) (3.14) on page 36 in vacuum for the case of a well-localised charge q0 at a source point defined by the radius four-vector x0 = (x00 = ct0;x01;x02;x03). The field (observation) point is denoted by the radius four-vector x = (x0 = ct;x1;x2;x3).

In the rest system we know that the solution is simply

"A #

=

q0

1

;0

(5.52)

 

 

 

0

 

4 "0 jx x0j0

 

where jx x0j0 is the usual distance from the source point to the field point, evaluated in the rest system (signified by the index “0”).

Let us introduce the relative radius four-vector between the source point and the field point:

R = x x0 = (c(t t0);x x0)

(5.53)

Scalar multiplying this relative four-vector with itself, we obtain

R R =(c(t t0);x x0) (c(t t0); (x x0)) =c2(t t0)2 x x0 2 (5.54)

We know that in vacuum the signal (field) from the charge q0 at x0 propagates to x with the speed of light c so that

x x0 = c(t t0)

(5.55)

Draft version released 13th November 2000 at 22:01.

Downloaded from http://www.plasma.uu.se/CED/Book

 

 

64

RELATIVISTIC ELECTRODYNAMICS

 

Inserting this into Equation (5.54) on the preceding page, we see that

R R = 0

(5.56)

or that Equation (5.53) on the previous page can be written

R = ( x x0 ;x x0)

(5.57)

Now we want to find the correspondence to the rest system solution, Equation (5.52) on the preceding page, in an arbitrary inertial system. We note from Equation (5.34) on page 61 that in the rest system

"u #

= 53

? 1

 

 

;

 

v

 

 

= (1;0)

(5.58)

 

 

 

 

 

 

 

 

0

 

 

1

v2

c? 1

v2

 

 

 

 

 

 

 

 

86 (v=0)

 

 

 

 

 

c2

c2

 

 

and

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(R )0 = ( x x0 ;x x0)0 = ( x x0 0 ;(x x0)0)

(5.59)

Like all scalar products, u R is invariant, so we can evaluate it in any inertial system. If we evaluate it in the rest system the result is:

u R = "u R # = (u )0(R )0

 

0

(5.60)

 

= (1;0) ( x x0 0 ; (x x0)0) = x x0 0

 

 

We therefore see that the expression

 

A =

q0

 

u

 

(5.61)

 

 

4 "0 u R

 

subject to the condition R R = 0 has the proper transformation properties (proper tensor form) and reduces, in the rest system, to the solution Equation (5.52) on the preceding page. It is therefore the correct solution, valid in any inertial system.

According to Equation (5.34) on page 61 and Equation (5.57)

u R = 1; vc ( x x0 ; (x x0))

= x

 

x0

(x x0) v

(5.62)

 

 

 

 

 

 

c

 

Introducing

 

 

 

 

 

 

 

s = x

 

x0

(x x0) v

 

(5.63)

 

 

 

c

 

 

Downloaded from http://www.plasma.uu.se/CED/Book

Draft version released 13th November 2000 at 22:01.

 

 

5.3 COVARIANT CLASSICAL ELECTRODYNAMICS

65

 

we can write

 

 

u R = s

 

 

and

 

 

 

u

1

;

v

u R

= s

cs

from which we see that the solution (5.61) can be written

A (x ) =

q0

 

1

;

v

= ( ;cA)

4 "0

 

 

 

s cs

(5.64)

(5.65)

(5.66)

where in the last step the definition of the four-potential, Equation (5.45) on page 62, was used. Writing the solution in the ordinary 3D-way, we conclude that for a very localised charge volume, moving relative an observer with a velocity v, the scalar and vector potentials are given by the expressions

(t;x) =

q0 1

=

 

q0

1

 

 

 

 

 

(5.67a)

 

 

 

 

 

 

 

 

 

 

(x xc0) v

 

 

 

 

4 "0 s

 

 

4 "0 jx x0j

 

 

 

A(t;x) =

q0

 

v

=

 

q0

 

 

v

(5.67b)

 

 

 

 

 

 

 

 

 

 

 

(x xc0) v

 

 

4 "0c2 s

4 "0c2 jx x0j

 

 

These potentials are called the Liénard-Wiechert potentials.

5.3.3 The electromagnetic field tensor

Consider a vectorial (cross) product c between two ordinary vectors a and b:

c = a b = i jkaib j xˆk

= (a2b3 a3b2)xˆ1

(5.68)

+(a3b1 a1b3)xˆ2

+(a1b2 a2b1)xˆ3

We notice that the kth component of the vector c can be represented as

ck = aib j a jbi = ci j = c ji; i; j 6= k

(5.69)

In other words, the pseudovector c = a b can be considered as an antisymmetric tensor of rank two!

Draft version released 13th November 2000 at 22:01.

Downloaded from http://www.plasma.uu.se/CED/Book

 

 

66

RELATIVISTIC ELECTRODYNAMICS

 

The same is true for the curl operator r . For instance, the Maxwell equation

r E

=

@B

 

 

 

(5.70)

 

@t

 

 

can in this tensor notation be written

 

 

@E j

 

@Ei

 

 

@Bi j

(5.71)

 

 

 

 

 

=

 

 

 

@xi

 

@x j

@t

We know from Chapter 3 that the fields can be derived from the electromagnetic potentials in the following way:

B = r A

 

@A

 

(5.72a)

E = r

 

 

(5.72b)

 

 

 

 

 

 

 

 

@t

 

In component form, this can be written

 

Bi j =

@A j

 

 

@Ai

= @iA j @jAi

(5.73a)

 

 

 

 

 

 

@xi

@x j

Ei =

@

 

@Ai

= @i @t Ai

(5.73b)

@xi

 

@t

From this, we notice the clear difference between the axial vector (pseudovector) B and the polar vector (“ordinary vector”) E.

Our goal is to express the electric and magnetic fields in a tensor form where the components are functions of the covariant form of the four-potential, Equation (5.45) on page 62:

A = ( ; cA)

(5.74)

Inspection of (5.74) and Equation (5.73) above makes it natural to define the covariant four-tensor

F =

@A

 

@A

= @ A @ A

(5.75)

@x

@x

This anti-symmetric (skew-symmetric), covariant four-tensor of rank 2 is called the electromagnetic field tensor. In matrix representation, the covariant field tensor can be written

 

 

0

Ex

Ey

Ez

 

F = @ A

 

@ A = 543 Ex

0

cBz

cBy

(5.76)

 

 

Ey

cBz

0

 

cBx

 

 

 

 

 

 

 

Ez

cBy

cBx

 

0 867-7

 

Downloaded from http://www.plasma.uu.se/CED/Book

Draft version released 13th November 2000 at 22:01.

 

 

5.3 BIBLIOGRAPHY

67

 

The matrix representation for the contravariant field tensor is

 

0

Ex

Ey

Ez

 

F = @ A

@ A = 345Ex

0

cBz

cBy

(5.77)

 

Ey

cBz

0

 

cBx

 

 

 

 

Ez

cBy

cBx

 

0 867-7

 

It is perhaps interesting to note that the field tensor is a sort of four-dimensional curl of the four-potential vector A .

One can show that the two Maxwell source equations

 

r E =

 

 

 

 

 

 

 

 

 

 

 

 

(5.78)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@E

 

@E

 

r B = 0 j +"0

 

 

= 0

v +"0

 

 

(5.79)

@t

@t

correspond to

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@F

=

 

 

j

 

 

 

 

 

 

 

 

 

(5.80)

 

@x

 

"0

 

 

 

 

 

 

 

 

 

 

 

and that the two Maxwell “field” equations

 

r E =

@B

 

 

 

 

 

 

 

 

 

(5.81)

 

 

 

 

 

 

 

 

 

 

 

@t

 

 

 

 

 

 

 

 

 

 

r B = 0

 

 

 

 

 

 

 

 

 

(5.82)

correspond to

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@F

+

@F

+

@F

= 0

 

 

 

(5.83)

 

@x

 

@x

 

@x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hence, Equation (5.80) and Equation (5.83) above constitute Maxwell's equations in four-dimensional formalism.

Bibliography

[1]J. AHARONI, The Special Theory of Relativity, second, revised ed., Dover Publications, Inc., New York, 1985, ISBN 0-486-64870-2.

[2]A. O. BARUT, Dynamics and Classical Theory of Fields and Particles, Dover Publications, Inc., New York, NY, 1980, ISBN 0-486-64038-8.

Draft version released 13th November 2000 at 22:01.

Downloaded from http://www.plasma.uu.se/CED/Book

 

 

68

RELATIVISTIC ELECTRODYNAMICS

 

[3]W. T. GRANDY, Introduction to Electrodynamics and Radiation, Academic Press, New York and London, 1970, ISBN 0-12-295250-2.

[4]L. D. LANDAU, AND E. M. LIFSHITZ, The Classical Theory of Fields, fourth revised English ed., vol. 2 of Course of Theoretical Physics, Pergamon Press, Ltd., Oxford . . . , 1975, ISBN 0-08-025072-6.

[5]C. MØLLER, The Theory of Relativity, second ed., Oxford University Press, Glasgow . . . , 1972.

[6]W. K. H. PANOFSKY, AND M. PHILLIPS, Classical Electricity and Magnetism, second ed., Addison-Wesley Publishing Company, Inc., Reading, MA . . . , 1962, ISBN 0-201-05702-6.

[7]J. J. SAKURAI, Advanced Quantum Mechanics, Addison-Wesley Publishing Company, Inc., Reading, MA . . . , 1967, ISBN 0-201-06710-2.

[8]B. SPAIN, Tensor Calculus, third ed., Oliver and Boyd, Ltd., Edinburgh and London, 1965, ISBN 05-001331-9.

Downloaded from http://www.plasma.uu.se/CED/Book

Draft version released 13th November 2000 at 22:01.

 

 

6

Interactions of

Fields and

Particles

In this Chapter we study the interaction between electric and magnetic fields and electrically charged particles. The analysis is based on Lagrangian and Hamiltonian methods, is fully covariant, and yields results which are relativistically correct.

6.1 Charged Particles in an Electromagnetic Field

We first establish a relativistically correct theory describing the motion of charged particles in prescribed electric and magnetic fields. From these equations we may then calculate the charged particle dynamics in the most general case.

6.1.1 Covariant equations of motion

We can obtain an equation of motion if we find a Lagrange function in 4D for our problem and then apply a variational principle or if we find a Hamiltonian in 4D and solve the corresponding Hamilton's equations. We shall do both.

Lagrange formalism

Call the 4D Lagrange function L(4) and assume that it fulfils the variational principle

x1

L(4)(x ;u )ds = 0 (6.1)

x0

where ds is the invariant line element given by Equation (5.15) on page 56, and the endpoints are fixed.

69

 

 

70

INTERACTIONS OF FIELDS AND PARTICLES

 

We must require that L(4) fulfils the following conditions:

1.The Lagrange function must be invariant. This implies that L(4) must be a scalar.

2.The Lagrange function must yield linear equations of motion. This im-

plies that L(4) must not contain higher than the second power of the fourvelocity u .

According to formula (M.84) on page 176 the ordinary 3D Lagrangian is the difference between the kinetic and potential energies. A free particle has only kinetic energy. If the particle mass is m0 then in 3D the kinetic energy is m0v2=2. This suggests that in 4D the Lagrangian for a free particle should be

L(4)free =

m0c2

 

 

u u

(6.2)

2

 

 

 

For an interaction with the electromagnetic field we can introduce the interaction with the help of the four-potential given by Equation (5.74) on page 66 in the following way

 

m0c2

 

L(4) =

 

u u +qu A (x )

(6.3)

2

 

 

 

We call this the four-Lagrangian.

The variation principle (6.1) with the 4D Lagrangian (6.3) inserted, leads

to

x1

 

 

 

 

 

 

 

 

x1

 

m0c2

 

 

 

 

 

 

 

 

L(4)(x ;u )ds =

 

 

 

 

u u +qu A ds

 

 

 

2

 

 

 

x

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

m0c2

@

 

 

u u # u +q A u +u

@A

x

 

(6.4)

=

 

 

 

 

 

 

 

 

 

 

ds

 

 

2

 

 

@u

 

@x

 

x

 

 

 

"

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

@A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= moc

u u

 

+q A u

 

+u

 

 

x

 

ds = 0

 

 

 

 

 

@x

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

According to Equation (5.34) on page 61, the four-velocity is

 

u =

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.5)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

which means that we can write the variation of u as a total derivative with respect to s :

 

dx

d

 

u =

 

=

 

x #

(6.6)

ds

 

 

 

ds "

 

Downloaded from http://www.plasma.uu.se/CED/Book

Draft version released 13th November 2000 at 22:01.

 

 

6.1 CHARGED PARTICLES IN AN ELECTROMAGNETIC FIELD

71

 

Inserting this into the first two terms in the last integral in Equation (6.4) on the facing page, we obtain

x1

L(4)(x ;u )ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.7)

 

x1

2

 

 

 

d

 

 

 

#

d

 

 

 

#

@A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ds

= moc

u

 

 

x

 

+qA

 

 

 

x

 

+qu

 

@x

x

 

 

x

 

 

 

 

ds "

 

 

 

 

 

ds "

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Partial integration in the two first terms in the right hand member of (6.7)

gives

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

L(4)(x ;u )ds

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.8)

 

x1

 

 

2 du

 

dA

 

 

 

 

@A

 

 

 

ds

 

 

 

 

 

 

 

 

 

 

 

 

= x

m0c

 

 

 

 

x

 

 

q

 

x

 

 

+qu

 

 

x

 

 

 

 

 

ds

 

 

 

ds

 

 

@x

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

where the integrated parts do not contribute since the variations at the endpoints vanish. A change of irrelevant summation index from to in the first two terms of the right hand member of (6.8) yields, after moving the common factor x outside the partenthesis, the following expression:

x1

 

 

 

 

 

 

 

 

 

 

 

 

L(4)(x ;u )ds

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

(6.9)

x1

 

2 du

 

dA

 

@A

 

 

= x

m0c

q

+qu

x

ds

 

 

 

 

 

 

 

 

ds

ds

 

@x

 

0

 

 

 

 

 

 

 

 

 

 

 

 

Applying well-known rules of differentiation and the expression (5.34) for the four-velocity, we can reform the expression for dA =ds as follows:

dA

 

@A dx

@A

u

(6.10)

 

=

 

 

 

=

 

ds

@x

 

@x

 

 

ds

 

 

By inserting this expression (6.10) into the second term in right-hand member of Equation (6.9) above, and noting the common factor qu of the resulting term and the last term, we obtain the final variational principle expression

x1

 

 

 

 

 

 

 

 

 

 

L(4)(x ;u )ds

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

(6.11)

x1

 

2 du

 

@A

 

@A

 

 

 

 

 

ds

= x

m0c

 

 

+qu

 

 

 

 

x

 

ds

 

@x

@x

0

 

 

 

 

 

 

 

 

 

 

Draft version released 13th November 2000 at 22:01.

Downloaded from http://www.plasma.uu.se/CED/Book

 

 

72

INTERACTIONS OF FIELDS AND PARTICLES

 

Since, according to the variational principle, this expression shall vanish andx is arbitrary along the world-line between the fixed end points x0 and x1, the expression inside in the integrand in the right hand member of (6.11) must vanish. In other words, we have found an equation of motion for a charged particle in a prescribed electromagnetic field:

 

2 du

 

@A

 

@A

 

"

(6.12)

m0c

 

 

= qu

 

 

 

 

 

= qu

@ A @ A #

 

ds

 

@x

@x

With the help of Equation (5.75) on page 66 we can express this equation in terms of the electromagnetic field tensor in the following way:

m0c

2 du

= qu

 

F

(6.13)

 

ds

 

 

 

 

 

 

 

This is sought-for version of the covariant equation of motion for a particle in an electromagnetic field. It is often referred to as the Minkowski equation. As the reader can easily verify, the spatial part of this 4-vector equation is the covariant (relativistically correct) expression for the Newton-Lorentz force equation.

Hamiltonian formalism

The usual Hamilton equations for a 3D space are given by Equation (M.89) on page 176 in Chapter M. These six first-order partial differential equations are

@H

=

 

dqi

 

(6.14a)

@pi

 

dt

 

 

 

 

@H

 

=

 

dpi

(6.14b)

@qi

 

dt

where H(pi;qi;t) = piq˙i L(qi;q˙i;t) is the ordinary 3D Hamiltonian, qi is a generalised coordinate and pi is its canonically conjugate momentum.

We seek a similar set of equations in 4D space. To this end we introduce a canonically conjugate four-momentum p in an analogous way as the ordinary 3D conjugate momentum:

p =

@L(4)

(6.15)

@u

 

 

and utilise the four-velocity u , as given by Equation (5.34) on page 61, to define the four-Hamiltonian

H(4) = p u L(4)

(6.16)

Downloaded from http://www.plasma.uu.se/CED/Book

Draft version released 13th November 2000 at 22:01.