Escolar Documentos
Profissional Documentos
Cultura Documentos
Bo Thidé
Department of Space and Plasma Physics
Uppsala University
and
Swedish Institute of Space Physics
Uppsala Division
Sweden
Σ
Ipsum
This book was typeset in LATEX 2
on an HP9000/700 series workstation
and printed on an HP LaserJet 5000GN printer.
Copyright c 1997, 1998 by
Bo Thidé
Uppsala, Sweden
All rights reserved.
Preface xi
1 Classical Electrodynamics 1
1.1 Electrostatics . . . . . . . . . . . . . . . . . . . .1 . . . . . . . .
1.1.1 Coulomb’s law . . . . . . . . . . . . . . .2 . . . . . . . .
1.1.2 The electrostatic field . . . . . . . . . . . .3 . . . . . . . .
1.2 Magnetostatics . . . . . . . . . . . . . . . . . . .5 . . . . . . . .
1.2.1 Ampère’s law . . . . . . . . . . . . . . . .5 . . . . . . . .
1.2.2 The magnetostatic field . . . . . . . . . . .6 . . . . . . . .
1.3 Electrodynamics . . . . . . . . . . . . . . . . . .8 . . . . . . . .
1.3.1 Equation of continuity . . . . . . . . . . .9 . . . . . . . .
1.3.2 Maxwell’s displacement current . . . . . .9 . . . . . . . .
1.3.3 Electromotive force . . . . . . . . . . . . .
10 . . . . . . . .
1.3.4 Faraday’s law of induction . . . . . . . . .
11 . . . . . . . .
1.3.5 Maxwell’s microscopic equations . . . . .
13 . . . . . . . .
1.3.6 Maxwell’s macroscopic equations . . . . .
14 . . . . . . . .
1.4 Electromagnetodynamics . . . . . . . . . . . . . .
15 . . . . . . . .
Example 1.1 Invariance of the electromagnetodynamic equations 16
Example 1.2 Maxwell from Dirac-Maxwell equations for a fixed
mixing angle . . . . . . . . . . . . . . . . . . . 17
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Electromagnetic Waves 21
2.1 The wave equation . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Plane waves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2.1 Telegrapher’s equation . . . . . . . . . . . . . . . . . . . 25
2.2.2 Waves in conductive media . . . . . . . . . . . . . . . . . 26
2.3 Observables and averages . . . . . . . . . . . . . . . . . . . . . . 27
i
ii
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3 Electromagnetic Potentials 31
3.1 The electrostatic scalar potential . . . . . . . . . . . . . . . . . . 31
3.2 The magnetostatic vector potential . . . . . . . . . . . . . . . . . 32
3.3 The electromagnetic scalar and vector potentials . . . . . . . . . . 32
3.3.1 Electromagnetic gauges . . . . . . . . . . . . . . . . . . 34
Lorentz equations for the electromagnetic potentials . . . 34
Gauge transformations . . . . . . . . . . . . . . . . . . . 35
3.3.2 Solution of the Lorentz equations for the electromagnetic
potentials . . . . . . . . . . . . . . . . . . . . . . . . . . 36
The retarded potentials . . . . . . . . . . . . . . . . . . . 39
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5 Relativistic Electrodynamics 53
5.1 The special theory of relativity . . . . . . . . . . . . . . . . . . . 53
5.1.1 The Lorentz transformation . . . . . . . . . . . . . . . . 54
5.1.2 Lorentz space . . . . . . . . . . . . . . . . . . . . . . . . 55
Metric tensor . . . . . . . . . . . . . . . . . . . . . . . . 56
Radius four-vector in contravariant and covariant form . . 56
Scalar product and norm . . . . . . . . . . . . . . . . . . 57
Invariant line element and proper time . . . . . . . . . . . 57
Four-vector fields . . . . . . . . . . . . . . . . . . . . . . 58
The Lorentz transformation matrix . . . . . . . . . . . . . 59
The Lorentz group . . . . . . . . . . . . . . . . . . . . . 59
5.1.3 Minkowski space . . . . . . . . . . . . . . . . . . . . . . 60
5.2 Covariant classical mechanics . . . . . . . . . . . . . . . . . . . 62
5.3 Covariant classical electrodynamics . . . . . . . . . . . . . . . . 63
5.3.1 The four-potential . . . . . . . . . . . . . . . . . . . . . 64
5.3.2 The Liénard-Wiechert potentials . . . . . . . . . . . . . . 65
5.3.3 The electromagnetic field tensor . . . . . . . . . . . . . . 67
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
iii
F Formulae 153
F.1 The Electromagnetic Field . . . . . . . . . . . . . . . . . . . . . 153
F.1.1 Maxwell’s equations . . . . . . . . . . . . . . . . . . . . 153
Constitutive relations . . . . . . . . . . . . . . . . . . . . 153
F.1.2 Fields and potentials . . . . . . . . . . . . . . . . . . . . 154
Vector and scalar potentials . . . . . . . . . . . . . . . . 154
Lorentz’ gauge condition in vacuum . . . . . . . . . . . . 154
F.1.3 Force and energy . . . . . . . . . . . . . . . . . . . . . . 154
Poynting’s vector . . . . . . . . . . . . . . . . . . . . . . 154
Maxwell’s stress tensor . . . . . . . . . . . . . . . . . . . 154
F.2 Electromagnetic Radiation . . . . . . . . . . . . . . . . . . . . . 154
F.2.1 Relationship between the field vectors in a plane wave . . 154
F.2.2 The far fields from an extended source distribution . . . . 154
F.2.3 The far fields from an electric dipole . . . . . . . . . . . . 155
F.2.4 The far fields from a magnetic dipole . . . . . . . . . . . 155
F.2.5 The far fields from an electric quadrupole . . . . . . . . . 155
F.2.6 The fields from a point charge in arbitrary motion . . . . . 155
F.2.7 The fields from a point charge in uniform motion . . . . . 156
F.3 Special Relativity . . . . . . . . . . . . . . . . . . . . . . . . . . 156
F.3.1 Metric tensor . . . . . . . . . . . . . . . . . . . . . . . . 156
F.3.2 Covariant and contravariant four-vectors . . . . . . . . . . 156
F.3.3 Lorentz transformation of a four-vector . . . . . . . . . . 156
F.3.4 Invariant line element . . . . . . . . . . . . . . . . . . . . 157
F.3.5 Four-velocity . . . . . . . . . . . . . . . . . . . . . . . . 157
F.3.6 Four-momentum . . . . . . . . . . . . . . . . . . . . . . 157
F.3.7 Four-current density . . . . . . . . . . . . . . . . . . . . 157
F.3.8 Four-potential . . . . . . . . . . . . . . . . . . . . . . . . 157
F.3.9 Field tensor . . . . . . . . . . . . . . . . . . . . . . . . . 157
F.4 Vector Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
F.4.1 Spherical polar coordinates . . . . . . . . . . . . . . . . . 158
v
vi
L IST OF F IGURES
vii
To the memory of
L EV M IKHAILOVICH E RUKHIMOV
dear friend, remarkable physicist
and a truly great human
P REFACE
This book is the result of a twenty-five year long love affair. In 1972, I took my
first advanced course in electrodynamics at the Theoretical Physics department,
Uppsala University. Shortly thereafter, I joined the research group there and took
on the task of helping my supervisor, professor P ER -O LOF F RÖMAN, with the
preparation of a new version of his lecture notes on Electricity Theory. These two
things opened up my eyes for the beauty and intricacy of electrodynamics, already
at the classical level, and I fell in love with it.
Ever since that time, I have off and on had reason to return to electrodynamics,
both in my studies, research and teaching, and the current book is the result of
my own teaching of a course in advanced electrodynamics at Uppsala University
some twenty odd years after I experienced the first encounter with this subject.
The book is the outgrowth of the lecture notes that I prepared for the four-credit
course Electrodynamics that was introduced in the Uppsala University curriculum
in 1992, to become the five-credit course Classical Electrodynamics in 1997. To
some extent, parts of these notes were based on lecture notes prepared, in Swedish,
by B ENGT L UNDBORG who created, developed and taught the earlier, two-credit
course Electromagnetic Radiation at our faculty.
Intended primarily as a textbook for physics students at the advanced under-
graduate or beginning graduate level, I hope the book may be useful for research
workers too. It provides a thorough treatment of the theory of electrodynamics,
mainly from a classical field theoretical point of view, and includes such things
as electrostatics and magnetostatics and their unification into electrodynamics, the
electromagnetic potentials, gauge transformations, covariant formulation of clas-
sical electrodynamics, force, momentum and energy of the electromagnetic field,
radiation and scattering phenomena, electromagnetic waves and their propagation
in vacuum and in media, and covariant Lagrangian/Hamiltonian field theoretical
methods for electromagnetic fields, particles and interactions. The aim has been to
write a book that can serve both as an advanced text in Classical Electrodynamics
and as a preparation for studies in Quantum Electrodynamics and related subjects.
xi
xii P REFACE
Classical
Electrodynamics
Classical electrodynamics deals with electric and magnetic fields and interactions
caused by macroscopic distributions of electric charges and currents. This means
that the concepts of localised charges and currents assume the validity of certain
mathematical limiting processes in which it is considered possible for the charge
and current distributions to be localised in infinitesimally small volumes of space.
This is in obvious contradiction to electromagnetism on a microscopic scale, where
charges and currents are known to be spatially extended objects. However, the
limiting processes yield results which are correct on a macroscopic scale.
In this Chapter we start with the force interactions in classical electrostatics and
classical magnetostatics and introduce the static electric and magnetic fields and
find two uncoupled systems of equations for them. Then we see how the conser-
vation of electric charge and its relation to electric current leads to the dynamic
connection between electricity and magnetism and how the two can be unified in
one theory, classical electrodynamics, described by one system of coupled dynamic
field equations.
1.1 Electrostatics
The theory that describes physical phenomena related to the interaction between
stationary electric charges or charge distributions in space is called electrostatics.
1
2 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
x x
x
x
x x
F x
4
0 x x 3
1
(1.1)
4
0 x x
where we have used results from Example M.5 on page 177. In SI units, which
we shall use throughout, the force F is measured
in Newton (N), the charges
and in Coulomb (C), and the length x x in metres (m). The constant
0 107 4 2
8 8542 10 12 Farad per metre (F/m) is the vacuum permit-
tivity and 2 9979 108 m/s is the speed of light in vacuum. In CGS units
0 1 4
and the force is measured in dyne, the charge in statcoulomb, and
length in centimetres (cm).
1.1. E LECTROSTATICS 3
def F
Estat ! lim0 (1.2)
where F is the electrostatic force, as defined in Equation (1.1) on the facing page,
from a net charge on the test particle with a small electric net charge . Since the
purpose of the limiting process is to assure that the test charge does not influence
the field, the expression for Estat does not depend explicitly on but only on the
charge and the relative radius vector x x . This means that we can say that
any net electric charge produces an electric field in the space that surrounds it,
regardless of the existence of a second charge anywhere in this space.1
Using formulae (1.1) and (1.2), we find that the electrostatic field Estat at the
field point x (also known as the observation point), due to a field-producing charge
at the source point x , is given by
x x
Estat x
4
x x 3
0
1
" (1.3)
4
0 x x
In the presence of several field producing discrete charges # , at x# , $% 1 & 2 & 3 &''' ,
respectively, the assumption of linearity of vacuum2 allows us to superimpose their
individual E fields into a total E field
1
In the preface to the first edition of the first volume of his book A Treatise on Electricity and Mag-
netism, first published in 1873, James Clerk Maxwell describes this in the following, almost poetic,
manner [5]:
“For instance, Faraday, in his mind’s eye, saw lines of force traversing all space where
the mathematicians saw centres of force attracting at a distance: Faraday saw a me-
dium where they saw nothing but distance: Faraday sought the seat of the phenomena
in real actions going on in the medium, they were satisfied that they had found it in a
power of action at a distance impressed on the electric fluids.”
2
In fact, vacuum exhibits a quantum mechanical nonlinearity due to vacuum polarisation effects
manifesting themselves in the momentary creation and annihilation of electron-positron pairs, but
classically this nonlinearity is negligible.
4 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
# x x#
Estat x
)( (1.4)
# 4
0 x x# 3
If the discrete charges are small and numerous enough, we introduce the charge
density * located at x and write the total field as
1 x x 3.
Estat x
* x
3 -
4
0 + , x x
1 1
* x
- 3. (1.5)
4
0 + , x x
where, in the last step, we used formula Equation (M.60) on page 177. We em-
phasise that Equation (1.5) above is valid for an arbitrary distribution of charges,
including discrete charges, in which case * can be expressed in terms of one or
more Dirac delta functions.
10
Since, according to formula Equation (M.70) on page 179, / x
32 0
0
for any 3D 4 3 scalar field x
, we immediately find that in electrostatics
1 1
Estat x
* x
65 7 - 3.
4
0 + , x x
0 (1.6)
(1.7)
0
which is Gauss’s law in differential form.
1.2. M AGNETOSTATICS 5
1.2 Magnetostatics
While electrostatics deals with static charges, magnetostatics deals with stationary
currents, i.e., charges moving with constant speeds, and the interaction between
these currents.
F x
@ l -
4 A B A BDC - x x 3
0 >%> 1
" @ l 65 - l 7
4 A B A BDC - x x
(1.8)
Here - l and - l are tangential line elements of the loops = and = , respectively, and,
in SI units, 0 4E 10 7 1 2566 10 6 H/m is the vacuum permeability.
@
From the definition of
0 and 0 (in SI units) we observe that
@
107 1 2 2
0 0 (F/m) 4F 10 7 (H/m) (s /m ) (1.9)
@ 4 2 2
which is a useful relation.
At first glance, Equation (1.8) above appears to be unsymmetric in terms of the
loops and therefore to be a force law that is in contradiction with Newton’s third
law. However, by applying the vector triple product “bac-cab” Formula (F.56) on
page 159, we can rewrite (1.8) in the following way
0 >%> 8 1
F x
" @ 5- l 7 - l
4 A B A BDC x x
0 >G> x x 8
@ 3 - l - l (1.10)
4 A B A BDC x x
Recognising the fact the integrand in the first integral is an exact differential so that
this integral vanishes, we can rewrite the force expression, Equation (1.8) above,
in the following symmetric way
0 >G> x x 8
F x
H @ l - l (1.11)
4 A B A BDC x x 3 I
This clearly exhibits the expected symmetry in terms of loops = and = .
6 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
KL J
l
x x J
l
x
K
x L
K
Figure 1.2. Ampère’s law describes how a small loop , carrying a static electric
J
current through its tangential line K element l located at x, experiences a mag-
L force from a smallJ loop , carrying a static electric current through
netostatic
the tangential line element l located at x . The loops can have arbitrary
L shapes
as long as they are simple and closed.
their vectorial characteristics. With this definition of Bstat , Equation (1.8) on page 5
may we written
F x
"> l Bstat x
(1.14)
A B -
In order to study the properties of Bstat , we investigate its divergence and curl.
Taking the divergence of both sides of Equation (1.13) on the facing page, we
obtain
98 0 98 1
Bstat x
@ j x
- 3.
4 + , x x
8 1
@
0
j x
5 7 - 3.
4 + , x x
0 (1.15)
10
where Equation (M.70) on page 179 for / x
M2 was used.
Applying the operator “bac-cab” rule, Formula (F.69) on page 159, the curl of
Equation (1.13) on the facing page can be written
1
Bstat x
" @
0
j x
- 3.
4 + , x x
1
" @
0
j x
; 2 - 3.
4 + , x x
N 8 1
@
0
/ j x
2 - 3. (1.16)
4 + , x x
If, in the first of the two integrals on the right hand side, we use the representation
of the Dirac delta function Equation (M.65) on page 178, and integrate the second
one by parts, by utilising Formula (F.61) on page 159 as follows:
8: 1 3.
/ j x
2 -
+ , x x
8QP 1
xO j x
5FR . 7TS - 3.
+ , O x x
R
8 1
j x
V - 3.
+ , U x x
1 8
xO j x
R . - S
+ W O x x
R
8 1
j x
V - 3. 0 (1.17)
+ , U x x
Here the first integral, obtained by applying Gauss’s theorem, vanishes when integ-
rated over a large sphere far away from the localised source j x
, and the second
8 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
98
one vanishes because j 0 for stationary currents (no charge accumulation in
space). The net result is simply
Bstat x
0 j x
< x x
- 3. 0j x
(1.18)
@ + , @
1.3 Electrodynamics
As we saw in the previous sections, the laws of electrostatics and magnetostatics
can be summarised in two pairs of time-independent, uncoupled vector differential
equations, namely the equations of classical electrostatics
98 * x
Estat x
(1.19a)
0
Estat x
0 (1.19b)
2. A change in the magnetic flux through a loop will induce an EMF electric
field in the loop. This is the celebrated Faraday’s law of induction.
1.3. E LECTRODYNAMICS 9
B X_& x
0 j X_& x
< x x
- 3.
@ + ,
N 0 1 3.
@ R * XY& x
-
4 X + , x x
R
N
0 j X_& x
0 R
0 E XY& x
(1.22)
@ @ X
R
where, in the last step, we have assumed that a generalisation of Equation (1.5) on
page 4 to time-varying fields allows us to make the identification
1 1
R * XY& x
- 3.
4
0 X + , x x
R
1 1
R * YX & x
- 3.
4
0 X + , x x
R
dR E XY& x
(1.23)
X
R
Later, we will need to consider this formal result further. The result is Maxwell’s
source equation for the B field
10 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
N
B X_& x
0 j X_& x
R
0 E XY& x
(1.24)
@ X
R
where the last term
0 E X_& x
X is the famous displacement current. This term
R R
was introduced, in a stroke of genius, by Maxwell in order to make the right hand
side of this equation divergence free when j X_& x
is assumed to represent the dens-
ity of the total electric current, which can be split up in “ordinary” conduction
currents, polarisation currents and magnetisation currents. The displacement cur-
rent is an extra term which behaves like a current density which flows in vacuum
and, as we shall see later, its existence has very far-reaching physical consequences
as it predicts the existence of electromagnetic radiation that can carry energy and
momentum over very long distances, even in vacuum.
j XY& x
fe E XY& x
(1.25)
where e is the electric conductivity (S/m). In the most general cases, for instance
in an anisotropic conductor, e is a tensor.
We can view Ohm’s law, Equation (1.25), as the first term in a Taylor expan-
sion of the law j / E XY& x
32 . This general law incorporates non-linear effects such
as frequency mixing. Examples of media which are highly non-linear are semi-
conductors and plasma. We draw the attention to the fact that even in cases when
the linear relation between E and j is a good approximation, we still have to use
Ohm’s law with care. The conductivity e is, in general, time-dependent (temporal
dispersive media) but then it is often the case that Equation (1.25) above is valid
for each individual Fourier component of the field. We shall not, however, dwell
upon such complicated cases here.
If the current is caused by an applied electric field E XY& x
, this electric field will
exert work on the charges in the medium and, unless the medium is superconduct-
ing, there will be some energy loss. The rate at which this energy is expended is
8
j E per unit volume. If E is irrotational (conservative), j will decay away with
time. Stationary currents therefore require that an electric field which corresponds
1.3. E LECTRODYNAMICS 11
- X
8
- B X_& x
- S
X
- + W
8
- S R B X_& x
(1.29)
+ W X
R
where Φm is the magnetic flux and h is the surface encircled by = which can
be interpreted as a generic stationary “loop” and not necessarily as a conducting
circuit. Application of Stokes’ theorem on this integral equation, transforms it into
the differential equation
E X_& x
fR B X_& x
(1.30)
X
R
which is valid for arbitrary variations in the fields and constitutes the Maxwell
equation which explicitly connects electricity with magnetism.
12 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
k
v S
B i xj
v
l
k
l
B i xj
Figure 1.3. A loop m which moves with velocity v in a spatially varying mag-
netic field B n x o will sense a varying magnetic flux during the motion.
8:
B v
v
B (1.34)
allowing us to rewrite Equation (1.32) on the preceding page in the following way:
g 8
X_& x
EEMF - l
A B
8
- B - S
- X + W
8 8
R B - S B v
- S (1.35)
+ W X + W
R
With Stokes’ theorem applied to the last integral, we finally get
g 8
X_& x
EEMF - l
A B
8 8
R B - S B v
- l (1.36)
+ W X A B
R
or, rearranging the terms,
8 8
EEMF v B
- l " R B - S (1.37)
+ B + W X
R
where EEMF is the field which is induced in the “loop,” i.e., in the moving system.
The use of Stokes’ theorem “backwards” on Equation (1.37) yields
EEMF v B
" R B (1.38)
X
R
In the fixed system, an observer measures the electric field
E EEMF v B (1.39)
Hence, a moving observer measures the following Lorentz force on a charge
N
EEMF f E v B
(1.40)
corresponding to an “effective” electric field in the “loop” (moving observer)
N
EEMF E v B
(1.41)
Hence, we can conclude that for a stationary observer, the Maxwell equation
E R B (1.42)
X
R
is indeed valid even if the “loop” is moving.
are
98 * _X & x
E (1.43a)
0
N B
E R 0 (1.43b)
9R 8 X
B 0 (1.43c)
E
B
0 0 R 0 j X_& x
(1.43d)
@ X @
R
In these equations * X_& x
represents the total, possibly both time and space depend-
ent, electric charge, i.e., free as well as induced (polarisation) charges, and j X_& x
represents the total, possibly both time and space dependent, electric current, i.e.,
conduction currents (motion of free charges) as well as all atomistic (polarisation,
magnetisation) currents. As they stand, the equations therefore incorporate the
classical interaction between all electric charges and currents in the system and
are called Maxwell’s microscopic equations. Another name often used for them
is the Maxwell-Lorentz equations. Together with the appropriate constitutive re-
lations, which relate * and j to the fields, and the initial and boundary conditions
pertinent to the physical situation at hand, they form a system of well-posed partial
differential equations which completely determine E and B.
netic) field.
The field equations expressed in terms of the derived field quantities D and H
are
98
D * X_& x
(1.47a)
N B
E R 0 (1.47b)
9R 8 X
B 0 (1.47c)
D
H R j XY& x
(1.47d)
X
R
and are called Maxwell’s macroscopic equations.
1.4 Electromagnetodynamics
If we look more closely at the microscopic Maxwell equations (1.48), we see that
they exhibit some, albeit not a complete, symmetry. Let us for explicitness de-
note the electric charge density ** XY& x
by * e and the electric current density
j j X_& x
by je . We further make the ad hoc assumption that there exist mag-
netic monopoles represented by a magnetic charge density, denoted * m * m XY& x
,
and a magnetic current density, denoted jm jm X_& x
. With these new quantities
included in the theory, the Maxwell equations can be written
98 * e
E (1.48a)
0
N B
E R " 0 jm (1.48b)
9R 8 X @
B 0* m (1.48c)
@
1 E
B R 0 je (1.48d)
2 X @
R
We shall call these equations the Dirac-Maxwell equations or the electromagneto-
dynamic equations
Taking the divergence of (1.48b), we find that
98 98 8
E
R B
0 jm 0 (1.49)
X @
R
where we used the fact that, according to Formula (M.74) on page 180, the diver-
gence of a curl always vanishes. Using (1.48c) to rewrite this relation, we obtain
the equation of continuity for magnetic monopoles
16 C HAPTER 1. C LASSICAL E LECTRODYNAMICS
* m N 8
R jm 0 (1.50)
X
R
which has the same form as that for the electric charges and currents, Equation (1.21)
on page 9.
We notice that the new Equations (1.48) on the previous page exhibit the follow-
ing symmetry (recall that
0 0 1 2 ):
@
E B (1.51a)
1
B E (1.51b)
1
* e * m (1.51c)
* m '* e (1.51d)
1
je jm (1.51e)
jm je (1.51f)
which leaves the Dirac-Maxwell equations, and hence the physics they describe
(often referred to as electromagnetodynamics), invariant. Since E and je are (true
or polar) vectors, B a pseudovector (axial vector), * e a (true) scalar, then * m and
, which behaves as a mixing angle in a two-dimensional “charge space,” must be
pseudoscalars and jm a pseudovector.
E XAMPLE 1.1 I NVARIANCE OF THE ELECTROMAGNETODYNAMIC EQUATIONS
Show that the symmetric, electromagnetodynamic form of Maxwell’s equations (the Dirac-
Maxwell equations), Equations (1.48) on the preceding page are invariant under the duality
transformation (1.52).
Explicit application of the transformation yields
1.4. E LECTROMAGNETODYNAMICS 17
H' 6:
E E cos B sin cos sin
e
0
0 m
1 1
cos sin ¢¡F e
(1.53)
e m
0 0
¤£ B ¤£© 1
E ¦¥ E cos ª B sin Q«¥ E sin B cos ¡
¥¨§ ¥¬§
B 1 E
¥ cos 0 jm cos ¥ sin 0 je sin
¥¨§ 1 E B ¥¨§
¥ sin ¥ cos w 0 jm cos ª 0 je sin
0 ¥¨ j§ e sin j¥¨m§ cos 0 jm (1.54)
E ND OF EXAMPLE 1.1 ®
M AXWELL FROM D IRAC -M AXWELL EQUATIONS FOR A FIXED MIXING ANGLE E XAMPLE 1.2
Show that for a fixed mixing angle such that
Explicit application of the fixed mixing angle conditions on the duality transformation
(1.52) on page 16 yields
1 1
cos sin ¯ cos e tan sin
e
e
m
e
1 1
e cos
2
sin2 (1.56a)
cos e cos
e
e sin ª e tan cos ¯ e sin ª sin w 0 (1.56b)
m
e
1 1
je je cos je tan sin w je cos2 je sin2 je (1.56c)
cos cos
jm je sin ª je tan cos w je sin je sin w 0 (1.56d)
Hence, a fixed mixing angle, or, equvalently, a fixed ratio between the electric and magnetic
charges/currents, “hides” the magnetic monopole influence ( m and jm ) on the dynamic
equations. Furthermore, we notice that
H' H 6 6
E E cos B sin E cos sin
H 6
0 m
or
H 1
E e
1 sin2 e
(1.58)
cos2 0 0
E ND OF EXAMPLE 1.2 ®
18
B IBLIOGRAPHY 1
[1] Richard Becker. Electromagnetic Fields and Interactions. Dover Publications, Inc.,
New York, NY, 1982. ISBN 0-486-64290-9.
[2] Erik Hallén. Electromagnetic Theory. Chapman & Hall, Ltd., London, 1962.
[3] John D. Jackson. Classical Electrodynamics. Wiley & Sons, Inc., New York, NY . . . ,
second edition, 1975. ISBN 0-471-43132-X.
[4] Lev Davidovich Landau and Evgeniy Mikhailovich Lifshitz. The Classical Theory of
Fields, volume 2 of Course of Theoretical Physics. Pergamon Press, Ltd., Oxford . . . ,
fourth revised English edition, 1975. ISBN 0-08-025072-6.
[5] James Clerk Maxwell. A Treatise on Electricity and Magnetism, volume 1. Dover
Publications, Inc., New York, NY, third edition, 1954. ISBN 0-486-60636-8.
[6] David Blair Melrose and R. C. McPhedran. Electromagnetic Processes in Dispersive
Media. Cambridge University Press, Cambridge . . . , 1991. ISBN 0-521-41025-8.
[7] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
[8] Julius Adams Stratton. Electromagnetic Theory. McGraw-Hill Book Company, Inc.,
New York, NY and London, 1953. ISBN 07-062150-0.
[9] Jack Vanderlinde. Classical Electromagnetic Theory. John Wiley & Sons, Inc., New
York, Chichester, Brisbane, Toronto, and Singapore, 1993. ISBN 0-471-57269-1.
19
20
C HAPTER 2
Electromagnetic
Waves
Maxwell’s microscopic equations (1.43) on page 14, which are usually written in
the following form
98 * _X & x
E (2.1a)
0
E" R B (2.1b)
98 X
B 0 R (2.1c)
N
B 0j X_& x
0 0 R E (2.1d)
@ @ X
R
can be viewed as an axiomatic basis for classical electrodynamics. In particular,
these equations are well suited for calculating the electric and magnetic fields E
and B from given, prescribed charge distributions * XY& x
and current distributions
j X_& x
of arbitrary time- and space-dependent form.
However, as is well known from the theory of differential equations, these four
first order, coupled partial differential vector equations can be rewritten as two un-
coupled, second order partial equations, one for E and one for B. We shall derive
the second order equation for E, which, as we shall see is a homogeneous wave
equation, and then discuss the implications of this equation. We shall also show
how the B field can be easily calculated from the solution of the E equation.
21
22 C HAPTER 2. E LECTROMAGNETIC WAVES
E
R B
X
R N
0 R j
0 R E (2.2)
@ X X
R R
According to the operator triple product “bac-cab” rule Equation (F.69) on page 159
98
E
E
; 2E (2.3)
Furthermore, since *° 0, Equation (2.1a) on the previous page yields
98
E 0 (2.4)
and since EEMF 0, Ohm’s law, Equation (1.26) on page 11, yields
j fe E (2.5)
we find that Equation (2.2) can be rewritten
N
; 2
E 0 R e E
0 R E 0 (2.6)
@ X X
R R
or, also using Equation (1.9) on page 5,
1 2
; 2
E E 0 0 eR E (2.7) R
X 2 X2 @
R R
which is the homogeneous wave equation for E.
We look for a solution in the form of a time-harmonic wave, and make therefore
the following Fourier component Ansatz
E E0 x
± Q² ³¬´ (2.8)
Inserting this into Equation (2.7), we obtain
1 2
; 2
E e0 R E0 x
± Q² ³¨´ R E0 x
± Q² ³¬´
@ X 2 X2
R R 1
; 2E 0 e $¶µ
E0 x
± Q² ³¬´ ·¸µ
2 E0 x
± Q² ³¨´
@ 2
1
; 2E 0 e ·¸µ
E w·¹µ
2 E 0 (2.9)
@ 2
which we can rewrite as
N µ 2 N e N µ 2 N ·
; 2
E 1 · E ; 2
E 1 º µ E 0 (2.10)
2
0µ 2
N µ 2
; 2
E E 0 (2.11)
2
we can write, using the fact that ½ 1 ¿¾
0 0 according to Equation (1.9) on
@
page 5,
1 1 0
ÀrÁÂ Ä Ã ÁÂÅÃÄ Æ¢Ç ÂÈà ÇÊÉ ËÄ Âà ÇÍÌ 0 (2.14)
0 0 0
where in the last step we introduced the characteristic impedance for vacuum
0
Ì 0 ÂÎÉ ËÄ 376 Ð 7 Ω (2.15)
0 Ï
Ó ÒH
 ˆ Ô (2.16)
Ô Ñ
ÒÖˆ Õ Ô
E
0 (2.17a)
Â
Ô Ñ
Ò)ˆ × Ô
E Ô B (2.17b)
Â"Ø
Ô Ñ ÔÚÙ
ÒÖ
ˆ ÕÚÔ
B
0 (2.17c)
Â
Ô Ñ
Ò)
ˆ ×ÛÔ
B Ä Ô E Eß Ä Ô E
 0j Ü ÙYÝ x Þ ß 0 0  0 0 0 (2.17d)
Ô Ñ Ë Ë ÔàÙ Ë Ã Ë ÔÚÙ
Scalar multiplying (2.17d) by Ò ˆ , we find that
0Â ÒÖ
ˆ Õ á Ò)
ˆ צÔ
B ÒÖ
ˆ Õ á ß Ä Ô E (2.18)
 0 0 0
Ô Ñ â Ë Ã Ë Ô Ù â
à
which simplifies to the first-order ordinary differential equation for the normal
component ãä of the electric field
- ã ä ß ãä Â 0 (2.19)
ÃÄ
- Ù 0
ãä Â ãwä 0 ¨
å æQç¢èêéë
0
 ãä 0 ¨
å æìèêéMí (2.20)
This, together with (2.17a), shows that the longitudinal component of E, i.e., the
component which is perpendicular to the plane surface is independent of Ñ and has
a time dependence which exhibits an exponential decay, with a decrement given by
the relaxation time À in the medium.
Scalar multiplying (2.17b) by Ò ˆ , we similarly find that
0Â ÒÖ
ˆ Õ á Ò)
ˆ צÔ
E ÒÖÕQÔ B
ÂØ ˆ (2.21)
Ô Ñ â ÔàÙ
or
ÒÖ
ˆ Õ Ô
B
0 (2.22)
Â
ÔàÙ
From this, and (2.17c), we conclude that the only longitudinal component of B
must be constant in both time and space. In other words, the only non-static solu-
tion must consist of transverse components.
2.2. P LANE WAVES 25
B Â Á Ò)
Ç 1 1ý
ˆ × EÂ Á k× EÂ Æ ˆ × EÂ
Ä Ò)× E
0 0 ˆ (2.30)
Ë
Hence, to each transverse component of E, there exists an associated magnetic field
given by Equation (2.30) above. If E and/or B has a direction in space which is
constant in time, we have a plane polarised wave (or linearly polarised wave).
26 C HAPTER 2. E LECTROMAGNETIC WAVES
2 2
Ô Eß Ä Á 2
Eß ò Á E Ô Eß 2
EÂ 0 (2.31)
0 0 0 Â
Ô Ñ Ô Ñ
2 2
Ë Ë Ã
where
Á
2
2 Ä Á 2 á 1ß á 1ß Ç 2 á 1ß (2.32)
 0 0 òÄ Ã Á â Â Æ 2 òÄ Ã Á â  òÄ Ã Á â
Ë 0 0 0
where, in the last step, Equation (2.13) on page 23 was used to introduce the wave
number Ç . Taking the square root of this expression, we obtain
Â
Ç
É 1ß ò Ä Ã ÁÂ
0
ß ò (2.33)
where
É 1 ß
Ç
2
ë ö
ç ß 1
FÂ 0
(2.34a)
2
É
ë ç ö
Ç
2
1ß Ø 1
1Â 2
0
(2.34b)
With the aid of Equation (2.30) on the previous page we can calculate the associ-
ated magnetic field, and find that it is given by
BÂ Á
1
ýˆ ×
EÂ Á
1 ýˆ ×
Ü E ÞÜ ß ò Þ Â Á
1 ýˆ ×
Ü EÞ å¢ó (2.36)
Ç á 1ß
1
2
ò Ä Ã Á
1 Ø1ò Ä
Ç 0
Á 1
2
Ç Ü1ß
 òÄ Ã Á â Â
Á Ï
òÞ É 2Ä Ã 0 Á
0 0
Ã
Ä Á Ü1ß 0
 0 0 òÞ É 2Ä Ã ÁÂ
Ü1ß òÞ É Ë 2Ã (2.37)
Ë 0
From this analysis we conclude that when the wave impinges perpendicularly
upon the medium, the fields are given, inside this medium, by
Á Á
E Â E0 exp Ø É ! Ë 2Ã
0
#"
Ñ exp ò á É ! Ë 2Ã
0
Ñ Ø Á Ù
â
" (2.38a)
Ü1ß òÞ É
0 Ò ×
B Â Ë 2Á Ã Ü ˆ E Þ (2.38b)
%
0
Ë Ã
This distance is called the skin depth.
trivial to perform. However, every physical measurable quantity is always real val-
ued. I.e., “Ephysical  Re Emathematical .” It is particularly important to remember
'&)(
this when one works with products of physical quantities.
Generally speaking, we tend to measure temporal averages Ü !Þ of our physical
observables. If we have two physical vectors F and G which both are time har-
monic, i.e., can be represented by Fourier components proportional to exp Øò Á Ù ,
it is easy to show that the average of the product of the two physical quantities
represented by F and G can be expressed as
& Re F Õ Re G ( Â 12 Re F Õ G* Â
1
2
Re F Õ G * (2.40)
27
28 C HAPTER 2. E LECTROMAGNETIC WAVES
B IBLIOGRAPHY 2
[1] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
29
30
C HAPTER 3
Electromagnetic
Potentials
Instead of expressing the laws of electrodynamics in terms of electric and magnetic
fields, it turns out that it is often more convenient to express the theory in terms
of potentials. In this Chapter we will introduce and study the properties of such
potentials.
-
Taking the divergence of this and using Equation (1.7) on page 4, we obtain Pois-
sons’ equation
2
+ stat Ü x Þ ÂØ
Ó Õ E Ü xÞ
stat  Ø
/. Ä Ü xÞ
0
(3.2)
A comparison with the definition of Estat , namely Equation (1.5) on page 4, after
Ó
the has been moved out of the integral, shows that this equation has the solution
+ stat Ü
0 1 2 x. Ø x - ¨ß
xÞ Â
1ÜxÞ
4 Ä 0
. 3
(3.3)
where the integration is taken over all source points x at which the charge density
Þ is non-zero and is an arbitrary quantity which has a vanishing gradient.
. Ü x example
An of such a quantity is a scalar constant. The scalar function + Ü x Þ in
stat
Equation (3.3) above is called the electrostatic scalar potential.
31
32 C HAPTER 3. E LECTROMAGNETIC P OTENTIALS
3
Consider the equations of magnetostatics (1.20) on page 8. From Equation (M.74)
Ó Õ Ó ×
on page 180 we know that any 3D vector a has the property that Ü aÞ 0
and in the derivation of Equation (1.15) on page 7 in magnetostatics we found that
Ó Õ
Bstat Ü x Þ Â 0. We therefore realise that we can always write
Ó ×
Bstat Ü x Þ Â Astat Ü x Þ (3.4)
where Astat Ü x Þ is called the magnetostatic vector potential.
We saw above that the electrostatic potential (as any scalar potential) is not
unique: we may, without changing the physics, add to it a quantity whose spa-
tial gradient vanishes. A similar arbitrariness is true also for the magnetostatic
vector potential.
In the magnetostatic case, we may start from Biot-Savart’s law as expressed by
Ó
Equation (1.13) on page 6 and “move the out of the integral:”
jÜ x Þ ×
xØ x 3.
0 12 x Ø x -
0
Bstat Ü x Þ Â
4Ë 3
Ó á
jÜ x Þ ×
1 3.
ÂØ 4Ë 0 x Ø x â
12
0
-
Ó × jÜ x Þ .
4Ë 0 1 2 x Ø x -
0 3
 (3.5)
.
case with temporal and spatial dependent sources Ü ÙYÝ x Þ and j Ü ÙYÝ x Þ , and corres-
ponding fields E Ü Ù_Ý x Þ and B Ü ÙYÝ x Þ , as described by Maxwell’s equations (1.43) on
page 14. In other words, let us study the electromagnetic potentials Ü Ù_Ý x Þ and
A Ü ÙYÝ x Þ .
+
3.3. T HE ELECTROMAGNETIC SCALAR AND VECTOR POTENTIALS 33
Inserting this expression into the other homogeneous Maxwell equation, Equa-
tion (1.30) on page 11, we obtain
Ó × E Ü xÞ
Ù_Ý ÂØ
Ô /Ó
Ô Ù
à
× A Ü xÞ
ÙYÝ ÂØ
Ó
54 ×«Ô A Ü x Þ
ÔàÙ
Ù_Ý (3.8)
Ó × á E Ü xÞ ß Ô A Ü xÞ
Ù_Ý ÙYÝ â Â 0 (3.9)
Ô Ù
à
As before we utilise the vanishing curl of a vector expression to write this vector
expression as the gradient of a scalar function. If, in analogy with the electrostatic
case, we introduce the electromagnetic scalar potential function Ø Ü ÙYÝ x Þ , Equa-
tion (3.9) becomes equivalent to
6+
E Ü Ù_Ý x Þ ß Ô A Ü xÞ
Ô Ù
à
YÙ Ý Â Ø
H
Ó
+ Ü ÙYÝ x Þ (3.10)
This means that in electrodynamics, E Ü Ù_Ý x Þ can be calculated from the formula
E Ü Ù_Ý x Þ
 Ø
Ó
+ Ü Ù_Ý x Þ Ø Ô A Ü xÞ
Ô Ù
à
YÙ Ý (3.11)
and B Ü Ù_Ý x Þ from Equation (3.7) above. Hence, it is a matter of taste whether we
want to express the laws of electrodynamics in terms of the potentials Ü Ù_Ý x Þ and +
A Ü Ù_Ý x Þ , or in terms of the fields E Ü Ù_Ý x Þ and B Ü Ù_Ý x Þ . However, there exists an im-
portant difference between the two approaches: in classical electrodynamics the
only directly observable quantities are the fields themselves (and quantities de-
rived from them) and not the potentials. On the other hand, the treatment becomes
significantly simpler if we use the potentials in our calculations and then, at the
final stage, use Equation (3.7) and Equation (3.11) above to calculate the fields or
physical quantities expressed in the fields.
Inserting (3.11) and (3.7) into Maxwell’s equations (1.43) on page 14 we obtain,
34 C HAPTER 3. E LECTROMAGNETIC P OTENTIALS
-
after some simple algebra and the use of Equation (1.9) on page 5,
- + Ô Ü Ó Õ AÞ
/.
Ü YÙ Ý x Þ
2
ß Â Ø
Ä (3.12a)
Ô Ù
Ú 0
Ó á Ó Õ
+â
2
A Ø Æ 2 Ô 2A Ø
1 1 Ô
2
Aß Æ 2 ÂØ 0j Ü Ù_Ý x Þ (3.12b)
ÔàÙ ÔàÙ Ë
These two second order, coupled, partial differential equations, representing in all
+
four scalar equations (one for and one each for the . 1 Ý . 2 , and . 3 components
of A) are completely equivalent to the formulation of electrodynamics in terms of
Maxwell’s equations, which represent six scalar first-order, coupled, partial differ-
ential equations (one equation for each of the components of E and B).
which is called the Lorentz gauge condition, because this choice simplifies the sys-
tem of coupled equations (3.12) above into the following set of uncoupled partial
differential equations: -
7 + 3 2 def
Æ
1 Ô 2
+ - + Â8. Ü ÄÙYÝ xÞ
2
(3.14a)
2 2 Ø
ÔàÙ
7
0
2
A 3
def 1 Ô 2
Æ 2 2A Ø
2
AÂ 0j Ü ÙYÝ x Þ (3.14b)
7 ÔàÙ Ë
where 2 is the d’Alembert operator discussed in Example M.4 on page 176. We
shall call (3.14) the Lorentz equations for the electromagnetic potentials.
3.3. T HE ELECTROMAGNETIC SCALAR AND VECTOR POTENTIALS 35
Gauge transformations
We saw in Section 3.1 on page 31 and in Section 3.2 on page 32 that in electro-
statics and magnetostatics we have a certain mathematical degree of freedom, up
to terms of vanishing gradients and divergences, to pick suitable forms for the po-
tentials and still get the same physical result. In fact, the way the electromagnetic
+
scalar potential Ü Ù_Ý x Þ and the vector potential A Ü Ù_Ý x Þ are related to the physically
observables gives leeway for similar “manipulation” of them also in electrodynam-
+
ics. If we transform Ü Ù_Ý x Þ and A Ü ÙYÝ x Þ simultaneously into new ones Ü Ù_Ý x Þ and
A Ü Ù_Ý x Þ according to the scheme
+
+ Ü Ù_Ý x Þ Â9+ Ü ÙYÝ x Þ ßÔ Γ Ü xÞ
ÔÓ Ù
Ú
Ù_Ý (3.15a)
A Ü Ù_Ý x Þ Â A Ü Ù_Ý x Þ Ø Γ Ü Ù_Ý x Þ (3.15b)
where Γ Ü Ù_Ý x Þ is an arbitrary, differentiable scalar function called the gauge func-
tion, and insert the transformed potentials into Equation (3.11) on page 33 for the
electric field and into Equation (3.7) on page 33 for the magnetic field, we obtain
the transformed fields
E Â"Ø
Ó
Ø
Ô A
ÔàÙ
+ ÂØ
Ó
Ø
Ô Ó Γ
ÔàÙ
Ø
ÔÚÙ
+
Ô Aß Ô Ó Γ
ÔàÙ
Â"Ø
Ó ×
Ó
Ø
Ô A
ÔàÙ Ó
+ Ó Ó Ó
(3.16a)
B Â A Â × A × ΓÂ × A (3.16b)
Ø
where, once again Equation (M.70) on page 179 was used. Comparing these ex-
pressions with (3.11) and (3.7) we see that the fields are unaffected by the gauge
transformation (3.15). A transformation of the potentials and A which leaves
the fields, and hence Maxwell’s equations, invariant is called a gauge transforma-
+
tion. A physical law which does not change under a gauge transformation is said
to be gauge invariant. By definition, the fields themselves are, of course, gauge
invariant.
- -
the resulting Lorentz equations (3.14) on the preceding page, these equations will
be transformed into
+ - + . Ü ÄÙ_Ý xÞ
2 2
1 Ô Ô á 1 Ô Γ
- Γ
2 2
Æ 2 ©Ø Ø Æ 2 2 Ø Â (3.17a)
2
ÔàÙ Ô Ù
à ÔÚÙ â 0
1 Ô 2 Ó á 1 Ô 2
Æ 2 2Γ Ø Γ 0j Ü Ù_Ý x Þ
2 2
Æ 2 2A Ø AØ
â Â (3.17b)
ÔÚÙ ÔàÙ Ë
36 C HAPTER 3. E LECTROMAGNETIC P OTENTIALS
+
where Ψ is a shorthand for either or one of the vector components of A, and ï is
the pertinent generic source component.
We assume that our sources are well-behaved enough in time Ù so that the Fourier
transform pair for the generic source function
; 54 3 def
Ü x Þ å¨æQó ö¬è - Á
/ï Ü xÞ ï Ü ÙYÝ x Þ Â
1 æ< ïö
1
æ (3.20a)
ö
; / ï Ü Ù_Ý xÞ54 3 1
<
20 1 <
def
ï Ü xÞ Â ï Ü ÙYÝ x Þ ¢å ó ö¬è - Ù (3.20b)
ö
æ
exists, and that the same is true for the generic potential component: <
3.3. T HE ELECTROMAGNETIC SCALAR AND VECTOR POTENTIALS 37
Á
1 æ < Ψö Ü xÞ å¨æQó ö¨è -
Ψ Ü ÙYÝ x Þ Â (3.21a)
<
Inserting the Fourier representations (3.20a) and (3.21a) into Equation (3.19) on
the preceding page, and using the vacuum dispersion relation for electromagnetic
waves
Á Æ:Ç (3.22)
Â
-
the generic 3D inhomogeneous wave equation Equation (3.19) on the facing page
turns into
Ψ Ü x Þ ß Ç 2 Ψ Ü x Þ ÂHØÊï Ü x Þ
2
(3.23)
ö ö ö
which is a 3D inhomogeneous time-independent wave equation, often called the
3D inhomogeneous Helmholtz equation.
As postulated by Huygen’s principle, each point on a wave front acts as a point
source for spherical waves which form a new wave from a superposition of the
individual waves from each of the point sources on the old wave front. The solution
-
of (3.23) can therefore be expressed as a superposition of solutions of an equation
where the source term has been replaced by a point source:
2 = Ü xÝ x Þ ß Ç 2 = Ü x Ý x Þ Â"Ø
% ÜxØ xÞ (3.24)
and the solution of Equation (3.23) above which corresponds to the frequency Á is
given by the superposition
= Ü x Ý x Þ - 3.
Ψ Â
ö 1 ï
ö
ÜxÞ (3.25)
=
The function Ü x Ý x Þ is called the Green’s function or the propagator.
%
In Equation (3.24), the Dirac generalised function Ü x Ø x Þ , which represents
>
the point source, depends only on x Ø x and there is no angular dependence in
>
the equation. Hence, the solution can only be dependent on  x Ø x . If we
interpret as the radial coordinate in a spherically polar coordinate system, the
“spherically symmetric” Ü Þ is given by the solution of = >
>- >
= >= > % Ü> Þ
2
- Ü Þ ß Ç 2
Ü Þ ÂØ (3.26)
2
Away from >  x Ø x  0, i.e., away from the source point x , this equation
takes the form
38 C HAPTER 3. E LECTROMAGNETIC P OTENTIALS
= >=
>- Ü >
2
- Þ ß Ç 2
Ü Þ Â 0 (3.27)
2
N N
Equation (3.24) on the previous page can under this assumption be approximated
by -
?BA ß ? æO 1 á x Ø 1 x â - . ß Ç ?BA ß ? æO 1 x Ø 1 x - .
2 3 2 3
% Ü H x Ø xPH Þ .
1 H H-
3
Â"Ø (3.30)
In virtue of the fact that the volume element - . in spherical polar coordinates is 3
%
integral can be written as Ø 40 Ü' x Ø x Þ and, hence, that
more, from Equation (M.65) on page 178, we find that the integrand in the first
R?QA 1 å ó÷ù æ 3. FE G E
x x
å æQó ù æ 3.
? 1 FE G E
x x
Ψ Ü xÞ Â
ö
ï Ü x Þ x x - ¨ß
ö Ø
æ ï ÜxÞ x x -
ö Ø
(3.32)
The Fourier transform to ordinary Ù domain of this is obtained by inserting the
above expression for Ψ Ü x Þ into Equation (3.21a) on the preceding page:
FE G E U T
ö
exp Øò Á Ù Ø ù x æ x S
@?BA /1 1
Ψ Ü Ù_Ý x Þ Â ï ÜxÞ
ö x x
ö -
Á 3.
-
FE G E UT
Ø
exp Øwò Á Ù ß ù x æ x S
? 1/1
ß æ ï ÜxÞ
ö xØ x
ö - -
Á 3.
(3.33)
$ $
If we introduce the retarded time Ù ret and the advanced time Ù adv in the following
way [using the fact that in vacuum Ç Á Â 1 Æ , according to Equation (3.22) on
page 37]:
٠ret  HH KHH
Ù ret Ü Ù_Ý x Ø x Þ Â Ù Ø
Ç x x
Á
Ø
Â
Ù Ø
x Ø Æ x (3.34a)
Ü Ù_Ý H x Ø xKH Þ
Ç x x x Ø Æ x
Ù adv  ٠adv H H Â Ù ß Á
Ø
Â Ù ß (3.34b)
Ψ Ü ÙYÝ x Þ Â @?BA 1 ï xÜ Ù Ø Ý xx Þ
ret
-
3.
¨ß ? æ 1 ï Ü xÙ Ø xÝ x Þ
adv
-
3.
(3.35)
This is a solution of the generic inhomogeneous wave equation for the potential
components Equation (3.19) on page 36. We note that the solution at time Ù at
the field point x is dependent on the behaviour at other times Ù of the source at
x and that both retarded and advanced Ù are mathematically acceptable solutions.
However, if we assume that causality requires that the potential at Ü ÙYÝ x Þ is set up by
the source at an earlier time, i.e., at Ü Ù ret Ý x Þ , we must in Equation (3.35) set æ Â 0 ?$ 0
and therefore, according to Equation (3.31) on the preceding page, Â 1 rÜ 4 Þ . ?A
The retarded potentials
From the above discussion on the solution of the inhomogeneous wave equation
we conclude that under the assumption of causality the electromagnetic potentials
in vacuum can be written
+ Ü Ù_Ý x Þ Â
1
4 Ä . ÜÙ ÝxÞ
0 1 x Ø x -
0
ret 3.
(3.36a)
jÜ Ù Ý x Þ .
4Ë 0 1 x Ø x -
0 ret
A Ü Ù_Ý x Þ Â 3
(3.36b)
Since these retarded potentials were obtained as solutions to the Lorentz equations
(3.14) on page 34 they are valid in the Lorentz gauge but may be gauge transformed
according to the scheme described in Subsection 3.3.1 on page 35. As they stand,
we shall use them frequently in the following.
39
40 C HAPTER 3. E LECTROMAGNETIC P OTENTIALS
B IBLIOGRAPHY 3
41
42
C HAPTER 4
The Electromagnetic
Fields
While, in principle, the electric and magnetic fields can be calculated from the
Maxwell equations in Chapter 1, or even from the wave equations in Chapter 2, it
is often physically more lucid to calculate them from the electromagnetic potentials
derived in Chapter 3. In this Chapter we will derive the electric and magnetic fields
from the potentials.
We recall that in order to find the solution (3.35) for the generic inhomogen-
eous wave equation (3.19) on page 36 we presupposed the existence of a Fourier
transform pair (3.20a) on page 36 for the generic source term
Á
ï Ü Ù_Ý x Þ Â
1 æ< ï
ö
Ü xÞ ¨
å æQó ö¬è - (4.1a)
ï
ö
Ü xÞ Â
1
<
20 1 < ï Ü Ù_Ý x Þ ¢å ó ö¨è - Ù (4.1b)
æ
and for the generic potential component <
V V Ü x Þ å¨æQó ö¨è - Á
1 æ<
Ü ÙYÝ x Þ Â
ö
(4.2a)
43
44 C HAPTER 4. T HE E LECTROMAGNETIC F IELDS
This is the method we shall utilise in this Chapter in order to derive the electric
and magnetic fields in vacuum from arbitrary given charge densities Ü Ù_Ý x Þ and
current densities j Ü Ù_Ý x Þ , defined by the Fourier transform pairs .
Á
. Ü ÙYÝ xÞ Â 1 æ < . ö Ü xÞ å¨æQó ö¨è - (4.3a)
.ö Ü xÞ Â
1
< Ü xÞ
20 1 < . ÙYÝ å¢ó ö¬è - Ù
(4.3b)
æ
and <
j Ü x Þ å¨æQó ö¬è - Á
j Ü ÙYÝ x Þ Â
1 æ< ö (4.4a)
j Ü xÞ Â
ö
1
< j Ü Ù_Ý xÞ å¢ó ö¨è - Ù
20 1 <
(4.4b)
æ
under the assumption < that only retarded potentials produce physically acceptable
solutions. 1
The Fourier transform pair for the retarded vector potential can then be written
< G
å ó÷ùFE æ E .
+ ö  20 1 < + å¢ó ö¬è -  40 Ä 1 . ö x Ø x -
1 1 x x
Ü x Þ Ü _
Ù Ý x Þ Ù Ü x Þ (4.5b) 3
0
æ
where in the last step, we< made use of theV explicit
form of the generic potential component
expression for the Fourier trans-
Ü x Þ , Equation (3.32) on page 38. Sim-
ilarly, the following Fourier transform pair ö for the vector potential must exist:
A Ü x Þ å¨æQó ö¨è - Á
A Ü ÙYÝ x Þ Â
1 æ< ö
(4.6a)
1
< FE G E
x x
j Ü x Þ å ó÷ù æ 3.
20 1 < 0 1
0
A Ü xÞ Â A Ü ÙYÝ x Þ å¢ó ö¬è - Ù Â (4.6b)
ö 4Ë ö xØ x -
æ
Clearly, we must require that <
A Â A Ý
ö æìö
* ö
Â
æìö
+ W+ * (4.7)
in order that all physical quantities be real. Similar transform pairs and require-
ments of real valuedness exist for the fields themselves.
In the limit that the sources can be considered as being monochromatic, we have
1
In fact, John A. Wheeler and Richard P. Feynman derived in 1945 a fully self-consistent electro-
dynamics using both the retarded and the advanced potentials [6]; See also [1].
4.1. T HE MAGNETIC FIELD 45
The calculations are much simplified if we work in Á space and, at the final
stage, Fourier transform back to ordinary Ù space. We are working in the Lorentz
gauge and note that in Á space the Lorentz condition, Equation (3.13) on page 34,
takes the form
Ç
Ó Õ A
ö
Ø ò Æ
F +ö Â 0 (4.10)
which provides a relation between (the Fourier transforms of) the vector and scalar
potentials.
Using the Fourier transformed version of Equation (4.9) and Equation (4.6b) on
the preceding page, we obtain
Ó × A Ü xÞ Ó × FE G E
x x
j Ü x Þ å ó÷ù æ 3.
0 12 X
0
B Ü xÞ Â Â (4.11)
ö ö 4Ë ö xØ x
0 12 x Ø x ]B^_X
0
B Ü x Þ ÂØ Ë 3
ö 4 ö
ÂØ 4Ë 0
Y j Ü x Þ × [ Ø x Ø x å¢ó ùFE æ G E .
12 ö x Ø x ] X
0 x x 3
3
j ÜxÞ × á òÇ
xØ x
F E GE 1 .
ß
12 ö x Ø x â x Ø x X ^
x x 3
¢
å ó ù æ
Y j Ü x Þ å ó÷ùFE æ G E × Ü x Ø x Þ .
x x
 4Ë 0 X
1 2 ö x Ø x
0 3
3
Ü Øò Ç Þ j Ü x Þ å ó÷ùFE æ G E × Ü x Ø x Þ . x x
ß
12 x Ø x X ^
3
ö 2
(4.12)
From this expression for the magnetic field in the frequency (Á ) domain, we
$
obtain the magnetic field in the temporal (Ù ) domain by taking the inverse Fourier
transform (using the identity Øwò Ç ÂØwò Á Æ ):
B Ü x Þ å¨æQó ö¨è Á
B Ü ÙYÝ x Þ Â
ö 1 < X
< Sb FE G E X T
æ
j Ü x Þ å óõôõù x æ x æìö¬èÿû Á × Ü x Ø x Þ
3.
a0 ` 1 2
ö
X
0
 4Ë 3
xØ x
Sb FE G E X T
Ü Øwò Á Þ j Ü x Þ å ó¹ôõù x æ x æìö¬èÿû Á × Üx xÞ
X Kc
1 Ø 3.
ö
ß Æ
12 xØ x 2
j Ü Ù ret Ý x Þ × Ü x Ø x Þ 3.
d0 12 ef X g
0
 4Ë
xØ x 3
Induction field
j̇ Ü Ù ret Ý xÞ × ÜxØ xÞ 3.
d0 12 xe f Ø x X g
0
ß (4.13)
4Ë Æ 2
Radiation field
where
á Ô j 3
def
ih G
j̇ Ü Ù ret Ý xÞ (4.14)
ÔàÙ â
è rè ret
The first term, the induction field, dominates near the current source but falls off
rapidly with distance from it, while the second term, the radiation field or the far
field, dominates at large distances and represents energy that is transported out to
Ó
infinity. Note how the spatial derivatives ( ) gave rise to a time derivative (˙)!
4.2. T HE ELECTRIC FIELD 47
1 Y
.
x x
40 12 x Ø x X
3
Â Ä ö 3
0
j Ü x Þ å ó ùjE æ G E .
1 2 . x Ø x Ø ö Æ â x Ø x X ^ (4.15)
Ç á Ü x Þ'Ü x Ø x Þ x x
3
Ø
ò ö
$
Doing so in the last term of Equation (4.15) above, and also using the fact that
Ç Á Æ , we can rewrite this Equation as
Â
Y FE G E
0 12 .ö
1 Ü x Þ å ÷ó ù x æ x Ü x Ø x Þ 3.
E Ü xÞ Â
ö 4 Ä 0
xØ x 3 X
1 á
Ó Õ j Ü x Þ Ü x x Þ
Ø Ç jE G E .
x x
å óù æ
d1 2
Ø ò j ÜxÞâ
ef X g^
3
Ø Æ ö F
xØ x ö xØ x
I
ö (4.18)
á
Ó Õ j Ü x ÞÜ x x Þ
Ø Ç j Üx Þ å óù æ
x x
3. jE G E
I Â
12 ö
Ø
ò â xØ x X
ö
n n
ö
o n jE G E
xØ x
k . .
k n
1 2 ml l
x x
á Ô Ø Ç Ü x Þ ˆ àå ó ù æ 3.
Â
Ô
ö.
xØ x F
Ø ò
ö â xØ x X (4.19)
But, since
48 C HAPTER 4. T HE E LECTROMAGNETIC F IELDS
[k nØ .n .
G k . n . n
G
.
Ô
öpl x Ø x
å¢ó ùFE æ E ]
Â
x x
. p
ö l â x Ø x å¢ó÷ùFE æ E
á Ô Ø x x
l l
2 2
Ô Ô
[ . n . n
ß k Ô Ø G (4.20)
å¢ó÷ùFE æ E ]
öpl Ô xØ x
x x
.
l
2
we can rewrite I as
1 2 öpl Ô l x Ø x ] ö x Ø x ^ X
x x 3
I Â"Ø 2
ö
[ . n . n
Ô
k Ø o ˆ n å¢ó ùFE æ G E .
ß
1 2 Ô l öpl x Ø x ] X
x x 3
. 2
(4.21)
Ç [ s4
/ j Õ Ü x Ø x Þ ¿Ü x Ø x Þ
FE G E
x x
å óù æ FE G E 3.
12 ß
] X
x x
Ø
ò Ø ö å ¢ ÷
ó ù æ j (4.22)
xØ x 3 ö xØ x
Using the triple product “bac-cab” Formula (F.56) on page 159 backwards, and
inserting the resulting expression for I into Equation (4.18) on the previous page,
we arrive at the following final expression ö for the Fourier transform of the total
jE G E GE
E-field:
1 Ó å óù æ
x x
3. ò 0 jE
Á x x
å óù æ 3.
E Ü x Þ ÂØ
ö 4 Ä 0 0 12 . X
ö
Ü x Þ
xØ x 0 12 ¨ß
Ë4 j
ö
Ü x Þ
xØ x X
1 Y . jE G E
Ü x Þ å ó ù x æ x Ü x Ø x Þ 3.
 4 Ä ö
0 12 xØ x 3X
FE G E
0
1 s4
/ j Ü x Þ å ó÷ù x æ x Õ Ü x Ø x Þ MÜ x Ø x Þ 3.
ß Æ
12ö
X
xØ x 4
1 FE G E s4
/ j Ü x Þ å ó÷ù x æ x × Ü x Ø x Þ × Ü x Ø x Þ 3.
ß Æ
12 ö
X
xØ x 4
ò
Ç
FE G E s4
/ j Ü x Þ å ó÷ù x æ x × Ü x Ø x Þ × Ü x Ø x Þ 3.
Ø Æ
12 ö
xØ x 3 X (4.23)
^
t
Taking the inverse Fourier transform of Equation (4.23), once again using the
vacuum relation Ç Æ , we find, at last, the expression in time domain for the
Â
total electric field:
Á
E Ü Ù_Ý x Þ Â
1 < æ
X
E Ü xÞ ¨
ö
å æQó ö¬è
<
d 0 1 2 . e f
1 Ü Ù ret Ý x Þ'Ü x Ø x Þ 3.
 4 0 Ä
xØ x 3 X g
Retarded Coulomb field
1 / jÜ Ù ret Ý x Þ Õ Ü x Ø x Þ MÜ x Ø x Þ s4 3.
d0 12 e xf Ø x X g
ß
4 Ä 0Æ 4
Intermediate field
1 / jÜ Ù ret Ý xÞ × ÜxØ xÞ × ÜxØ xÞ 54 3.
d0 12 e f X g
ß
4 Ä 0Æ xØ x 4
Intermediate field
1 / j̇ Ü Ù ret Ý xÞ × ÜxØ xÞ × ÜxØ xÞ s4 3.
d0 12 e xf Ø x X g
ß Ä
4 0Æ 2 3
Radiation field
(4.24)
Here, the first term represents the retarded Coulomb field and the last term repres-
ents the radiation field which carries energy over very large distances. The other
two terms represent an intermediate field which contributes only in the near zone
and must be taken into account there.
With this we have achieved our goal of finding closed-form analytic expressions
for the electric and magnetic fields when the sources of the fields are completely
arbitrary, prescribed distributions of charges and currents. The only assumption
made is that the advanced potentials have been discarded; recall the discussion
following Equation (3.35) on page 39 in Chapter 3.
49
50 C HAPTER 4. T HE E LECTROMAGNETIC F IELDS
B IBLIOGRAPHY 4
[1] Sir Fred Hoyle and Jayant V. Narlikar. Lectures on Cosmology and Action at a Dis-
tance Electrodynamics. World Scientific Publishing Co. Pte. Ltd, Singapore, New
Jersey, London and Hong Kong, 1996. ISBN 9810-02-2573-3(pbk).
[2] John D. Jackson. Classical Electrodynamics. Wiley & Sons, Inc., New York, NY . . . ,
second edition, 1975. ISBN 0-471-43132-X.
[3] Lev Davidovich Landau and Evgeniy Mikhailovich Lifshitz. The Classical Theory of
Fields, volume 2 of Course of Theoretical Physics. Pergamon Press, Ltd., Oxford . . . ,
fourth revised English edition, 1975. ISBN 0-08-025072-6.
[4] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
[5] Julius Adams Stratton. Electromagnetic Theory. McGraw-Hill Book Company, Inc.,
New York, NY and London, 1953. ISBN 07-062150-0.
[6] John Archibald Wheeler and Richard Phillips Feynman. Interaction with the absorber
as a mechanism for radiation. Reviews of Modern Physics, 17, 1945.
51
52
C HAPTER 5
Relativistic
Electrodynamics
We saw in Chapter 3 how the derivation of the electrodynamic potentials led, in a
$
most natural way, to the introduction of a characteristic, finite speed of propagation
that equals the speed of light Æ Â 1 Ä 0 0 and which can be considered as a con-
stant of nature. To take this finite speed ofË propagation of information into account,
and to ensure that our laws of physics be independent of any specific coordinate
frame, requires a treatment of electrodynamics in a relativistically covariant (co-
ordinate independent) form. This is the object of the current chapter.
53
54 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
uDv ww xx
| |
vzvyiyi{j{y}|~y
|'yi yi P
Σ Σ v
{ {
Figure 5.1. Two inertial systems Σ and Σ in relative motion with velocity v
of Σ coincided with the
along the axis. At time 0 the origin
origin of Σ. At time , the inertial system Σ has been translated a distance
along the axis in Σ. An event represented by
Ps K
in Σ is represented
. by
K K
in Σ .
P D P D
ordinates as measured in the two systems are Ù and Ü . Ý Ý Þ , and Ù and Ü . Ý Ý Þ ,
respectively. At time Ù Â Ù Â 0 the origins and
and the . and . axes of the
two inertial systems coincide and at a later time Ù they have the relative location as
depicted in Figure 5.1.
For convenience, let us introduce the two quantities
1ÂÆ (5.1)
 1 1Ø 2
(5.2)
Æ
Ù Â ÜÆ Ù Ø . Þ (5.3a)
Â
. Ü. Ø
Â
ÙÞ
(5.3b)
(5.3c)
 (5.3d)
N
Taking the difference between the square of (5.3a) and the square of (5.3b) we find
that
Æ 2 2
Ù Ø
. 2
Â
2 Æ 2 2
Ù Ø 2
. Æ
Ù ß
. 2 2
Ø
. 2
ß 2.
Ù Ø
ÙO
2 2
Â
1 Æ 2 2
Ù
á 1
Ø Æ
2
Ø
. 2 á 1
Ø Æ â
2
Æ
2 2â 2
1Ø 2
Æ 2 2 . 2
Â Ù Ø (5.4)
From Equation (5.3) on the facing page we see that the and coordinates are
unaffected by the translational motion of the inertial system Σ along the . axis of
system Σ. Using this fact, we find that we can generalise the result in Equation (5.4)
above to
Æ 2 2
Ù Ø
. 2
Ø 2
Ø 2
Â
Æ 2 2
Ù Ø
. 2
Ø 2
Ø 2
(5.5)
which means that if a light wave is transmitted from the coinciding origins and
at time Ù Â Ù Â 0 it will arrive at an observer at Ü . Ý Ý Þ at time Ù in Σ and an P D
P D
observer at Ü . Ý Ý Þ at time Ù in Σ in such a way that both observers conclude
that the speed (spatial distance divided by time) of light in vacuum is Æ . Hence, the
speed of light in Σ and Σ is the same. A linear coordinate transformation which
has this property is called a (homogeneous) Lorentz transformation.
Metric tensor
We want our space to be a Riemannian space, i.e., a space where a distance and a
scalar product are defined. We therefore need to define in this space a metric tensor,
also known as the fundamental tensor, which we shall denote ð and choose as ¢£
(in matrix notation):
0 1 0 0
§ ¨¨
Üð ¢£
Þ Â ¤¥¥¦
0
0
0
0
Ø 1
0
0
Ø 1
© (5.7)
Ø 1 0 0 0
i.e., with a main diagonal with sign sequence, or signature, ß Ý Ø Ý Ø Ý Ø . 1
§ ¨¨
tion in our chosen flat 4D space is nearly trivial:
.
0 1 0 0 0 . 0 . 0§ ¨¨ § ¨¨ § ¨¨
. . . 1
¤¥¥¦ © ¤¥¥¦ © ¥¦¥¤ © ¤¥¥¦ ©
0 Ø 1 0 0 1
1 Ø
. Â 0 0 Ø 1 0 . 2 Â . 2 (5.9)
2 Ø
. 0 0 0 Ø 1 . 3 . 3
3 Ø
which we can describe as
¢.
Â ð ¢ £ «£
. Æ
Â Ü ÙYÝ Ø x Þ (5.10)
¢
i.e., the covariant radius four-vector
.
.
¢
is obtained from the contravariant radius
four-vector simply by changing the sign of the last three components. These
1
Without changing the physics, one can alternatively choose a signature . The latter ¬~¯® ° ® ° ® ° ±
has the advantage that the transition from 3D to 4D becomes smooth, while it will introduce some
annoying minus signs in the theory. In current physics literature, the signature
to be the most commonly used one.
seems ¬ ° ®I¯®I²®I³±
5.1. T HE SPECIAL THEORY OF RELATIVITY 57
components are referred to as the space components; the zeroth component is re-
ferred to as the time component.
´
The four-dimensional space (or space-time) with these properties is called Lorentz
space and is denoted 4 . The corresponding real, linear 4D space with a positive
¡
definite norm which is conserved during ordinary rotations is a Euclidean vector
space which we denote 4 .
´
The 4 metric tensor Equation (5.7) on the preceding page has a number of
interesting properties: Firstly, we see that this tensor has a trace Tr Ü ð Þ Â Ø 2 ¢£
¡
whereas in 4 , as in any vector space with definite norm, the trace equals the space
dimensionality. Secondly, we find, after trivial algebra, that the following relations
between the contravariant, covariant and mixed forms of the metric tensor hold:
ð ¢¢ ££ Â ð £ ¢ (5.12a)
Â ð ¢ £
ð
ð £ µ 𠵶¢  𠣢 Â
% £¢ (5.12b)
ð £ µ 𠵶¢ Â ð ¢ £ Â
% ¢£ (5.12c)
% ¢
(5.12d)
Here we have introduced the 4D version of the Kronecker delta £ , a mixed four-
tensor of rank 2 which fulfils
% £¢ % ¢ £ !
 Â
0 if Â
¸· ªª (5.13)
1 if Ë Â
Ë
Invariant line element and proper time
between the two points . and . ß ¢ ¢
. in 4 can be ¢ ´
The differential distance
X¹ X
¢ £ X «£ X ¢ X ¢ X ¢ X
calculated from the Riemannian metric, given by the quadratic differential form
. . . . . 0Þ 2 Ü . 1Þ 2 Ü . 2Þ 2 Ü . 3Þ 2
X¹ Â ð Â Ü X X X
2
Â Ø Ø Ø
X X X X
Æ 2 2 . 2 2 2
Â Ù Ø Ø Ø (5.14)
where the metric tensor is as in Equation (5.7) on the facing page. The square root
of this expression is the invariant line element
58 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
Æ 1 YáX. 2
á X Ù â
2
X Ù â ^
á
2
X¹ Â X Ù 1Ø Æ 2
XÙâ
ß
X
ß
X
Æ
Æ X Ù X Ù
2
Æ É 1 Æ 1 Æ À
XÙÂ X
2 (5.15)
Â Ø 2 Â Ø Â
where we introduced
X Ù$
À
X Â (5.16)
Since À measures the time when no spatial changes are present, it is called the
proper time.
X
Expressing Equation (5.5) on page 55 in terms of the differential interval and
comparing with Equation (5.14) on the preceding page, we find that
X¹
X X
Æ .
X¹ XÙ Ø X
2 2 2 2 2 2
Â Ø Ø (5.17)
is invariant during a Lorentz transformation. Conversely, we may say that every co-
ordinate transformation which preserve this differential interval is a Lorentz trans-
formation.
If in some inertial system
º
X X
. Æ
X ß ß
XÙ
2 2 2 2 2
(5.18)
X X
. Æ
X ß ß
XÙ
2 2 2 2 2
 (5.20)
is a light-like interval; we may also say that in this case we are on the light cone.
A vector which has a light-like interval is called a null vector. The time-like,
space-like or light-like aspects of an interval
formation.
is invariant under a Lorentz trans-
X¹
Four-vector fields
Any quantity that relative to any coordinate system has a quadruple of real numbers
and which transform in the same way as the radius four-vector . , is called a ¢
¼¢ ¼ ´
four-vector. I analogy with the notation for the radius four-vector we introduce
Â Ü Ý a Þ for a general contravariant four-vector field in
the notation 0 4 and
5.1. T HE SPECIAL THEORY OF RELATIVITY 59
find that the “lowering of index” rule, Equation (M.20) on page 169, for such an
arbitrary four-vector yields the dual covariant four-vector field
¼¢ µ ¢£¼£ µ ¼ µ
Ü. Þ Â ð Ü . Þ Â Ü 0 Ü . Þ Ý Ø a Ü . Þ!Þ µ (5.21)
The scalar product between this four-vector field and another one Ü . Þ is ½¢ µ
¢£¼ £ µ ½¢ µ ¼
ð ½
Ü . Þ Ü . Þ Â Ü 0 Ý Ø aÞ Õ Ü 0 Ý bÞ Â 0 0 Õ
Ø a b ¼ ½ (5.22)
µ
.
µ
which is a scalar field, i.e., an invariant scalar quantity Ü Þ which depends on
time and space, as described by . Â Ü Æ Ù_Ý . Ý Ý Þ . P D
The Lorentz transformation matrix
Introducing the transformation matrix
§ ¨¨
¾Ø ³ 0 0
¢£
ÜΛ Þ Â ¥¤¦¥ 0 0
Ø ³
¾ 0 0
© (5.23)
1 0
0 0 0 1
¢L ¢ ¢
the linear Lorentz transformation (5.3) on page 55, i.e., the coordinate transforma-
tion . .
Â
. Ü . 0 . 1 . 2 . 3 Þ , from one inertial system Σ to another inertial
Ý Ý Ý
system Σ , can be written
.¢ ¢ £ «£
 Λ
. (5.24)
The inverse transform then takes the form
U£ .
 ÜΛ Þ æ
1. ¢£ ¢ (5.25)
FÂ 1 ß ß
1 2
1 2
(5.26)
This means that the nonempty set of Lorentz transformations constitute a closed
algebraic structure with a binary operation which is associative. Furthermore,
one can show that this set possesses at least one identity element and at least one
inverse element. In other words, this set of Lorentz transformations constitute a
mathematical group. However tempting, we shall not make any further use of
group theory.
60 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
À
À Á 0
0
Â
¿Á 1
Â
¿ 1
ÎÒ Ê Ë
where a Lorentz transformation from 1 0 to 1 0
cor-
Ð
iÏ Ä ÏÑ Æ Ð Ç
responds to an ordinary rotation through an angle . This rotation leaves the
Euclidean distance 1
2 0 2 2 2 2
invariant. Ä
5.1.3 Minkowski space
ÓÕÔ×Ö Ø Ó Ù Ó Ù Ó Ù Ó Ú
ÛÜÖÝÓ Þ ß
Specifying a point 0 1 2 3 in 4D space-time is a way of saying
Ø Ó ÙPà«ÙDá Ú Ö Ø Ó Ù Ó Ù Ó Ú
that “something takes place at a certain time 0 and at a certain place
1 2 3 .” Such a point is therefore called an event. The traject-
Ó ÖÓ
ory for an event as a function of time and space is called a world line. For instance,
the world line for a light ray which propagates in vacuum is the trajectory 0 1.
â äÖ ã}Ó Öã ß Û
If we introduce
åæÜç ã å è
0 0
(5.27a)
ñ
i.e., as a 4D differential form which is positive definite just as is ordinary 3D Euc-
lidean space 3 . We shall call the 4D Euclidean space constructed in this way the
Minkowski space 4 . ò
ó ï
As before, it suffices to consider the simplified case where the relative motion
between Σ and Σ is along the axes. Then
åæ ç ì å â í î ì åðï í
2 0 2 1 2
â ï
(5.29)
and we consider and 0 1
â ï plane
as orthogonal axes in an Euclidean space. As in all
Euclidean spaces, every interval is invariant under a rotation of the 0 1
5.1. T HE SPECIAL THEORY OF RELATIVITY 61
ü
ô õ9öø÷
0
ôù 0 ô õ ô
0 1
û
ýù ôù 1
ú õ úù û öø÷
ý ô õ ô
1
þ
Figure 5.3. Minkowski diagram depicting geometrically the transformation
ÿ ÿ ÿ
(5.31) from the unprimed system to the primed system. Here denotes the
ÿ
world line for an event and the line 0 1
the world line for a light
ray in vacuum. Note that the event is simultaneous with all points on the 1
ÿ
axis ( 0), including the origin while the event , which is also simultan-
eous with all points on the axis, including , to an observer at rest in the
primed system, is not simultaneous with in the unprimed system but occurs
there at time .
â óïó:
0 1
â ó ç ë ï sin î â cos
through an angle into
ó ç ë ï
Equation (5.27b) on the preceding page backwards, we obtain
ï ó çäï ë î cosh
sinh
sinh (5.31a)
cosh (5.31b)
ç
which are identical to the transformation equations (5.3) on page 54 if we let
sinh ç
(5.32a)
cosh
tanh
ç (5.32b)
(5.32c)
62 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
1tanh tanh
tanh
1 2
tanh 1
2
tanh 1 2
(5.33)
The use of "!# and , which leads to the interpretation of the Lorentz trans-
4
general relativity, the “"!# ” trick will turn out to be an impasse. Let us therefore
immediately return to $ where all components are real valued.
4
( , 89
' ( % )
% & +* 1 - /! . 01 2 1 5 - 2
u 1 u
(5.34)
3 46 ! 1 7 3 46 2
2
2
2
which, when multiplied with the scalar invariant : ! yields the four-momentum 0
2
( 89
;<( : ! % ) : ! : !
% & +* : ! !=- u 01 2 1 3546 - 2 1 3746
u 2
2 0 0
0 0 (5.35)
2 2
2 2
p : u (5.36)
where
: >* : 2 : 0
(5.37)
3746
0
2
1 2
i.e., that Lorentz covariance implies that the mass-like term in the ordinary 3D
linear momentum is not invariant.
5.3. C OVARIANT CLASSICAL ELECTRODYNAMICS 63
; >* : ! 2 : ! :?!
0 2 0
2
2
(5.38)
1 374 6
0
2
2
Since this is an invariant, this equation holds in any inertial frame, particularly in
the frame where p 0 where we thus have
@ : ! 0
2
(5.41)
where we introduced
I >* I 0 (5.43)
! M#
2 2
2 2
(5.44)
where Q is the scalar potential and A the vector potential, defined in Section 3.3
on page 32, we can write the inhomogeneous wave equations (Lorentz equations)
Equation (3.14) on page 34 in the following compact (and covariant) way:
L P ( JS (
2
(5.46)
0
With the help of the above, we can formulate our electrodynamic equations co-
variantly. For instance, the covariant form of the equation of continuity, Equa-
tion (1.21) on page 9 is
J U
( T M J(
M( M)( 0 (5.47)
and the Lorentz gauge condition, Equation (3.13) on page 34, can be written
P ( T M P(
M( M)( 0 (5.48)
PWV ( P ( 3 M ( / ! Γ ) C X P ( 3 M ! Γ ) C
M)( (5.49)
If only one dimension Lorentz contracts (for instance, due to relative motion
)
along the direction), a 3D spatial volume transforms according to
i.e., the charge in a given volume is conserved. We can therfore conclude that the
electron charge is a universal constant.
5.3. C OVARIANT CLASSICAL ELECTRODYNAMICS 65
P ( d 4 e a S H x 3 1 xV H - 0f
0 (5.52)
V
where H x 3 x H is the usual distance from the source point to the field point, eval-
0 0
0
uated in the rest system (signified by the index “0”).
Let us introduce the relative radius four-vector between the source point and the
g
field point:
( ) ( 3 ) V ( ! bR3Gb V - x 3 xV (5.53)
Scalarg multiplying
g this relative four-vector with itself, we obtain
( ( ! bh3ib V - x 3 xV F ! bD3jb V -D3 x 3 xV B ! bh3ib V 3lk x 3 xV k (5.54)
V kV k
2 2 2
We know that in vacuum the signal (field) from the charge a at ) ( propagates
to ) ( with the speed of light ! so that
kk x 3 xV kk ! bm3Gb V (5.55)
g this
Inserting g into Equation (5.54), we see that
( ( 0 (5.56)
or thatg Equation (5.53) above can be written
( k x 3 xV k - x 3 xV
k k (5.57)
Now we want to find the correspondence to the rest system solution, Equa-
tion (5.52), in an arbitrary inertial system. We note from Equation (5.34) on
89
page 62 that in the rest system
'( 01 2 1
- 2 u 1 - 0 (5.58)
1 3N4 6 ! 1 7 3 46 n o p o q
0 2 2
2 2
4 u 0 0
and g
( kk x 3 xV kk - x 3 gxV kk x 3 xV kk - x 3 xV (5.59)
Like all scalar products, ' ( ( is invariant, so we can evaluate it in any inertial
0 0 0 0
66 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
g g g
system. If we evaluate it in the rest system the result is:
'( ( '( ( '( (
1 - 0 F kk x 3 xV kk - x 3 xV kk x 3 xV kk
0 0 0
0 0 0
(5.60)
P ( a VS ' ' g (
4e 0
C Cg g (5.61)
Introducing
V
& kk x 3 xV kk 3 x 3 !x F u (5.63)
g
we can write
' C C >* & (5.64)
and
' g(
' C C d 1& - ! u& f (5.65)
P ( ) t a VS d 1 - u f QR-B! A
4e & !& (5.66)
0
where in the last step the definition of the four-potential, Equation (5.45) on page 64,
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 u, the scalar
5.3. C OVARIANT CLASSICAL ELECTRODYNAMICS 67
V 1
and vector potentials are given by the expressions
a a V
Q b- x 4e S & 4e S H x 3 xV H 3 n u 6 vwqyx
1
(5.67a)
Vu 1 Vu
x x u
0 0
a a
A b- x
4e S ! & 4e S ! H x 3 xV H 3 n u 6 v qzx
1
2 2 x x u
(5.67b)
0 0
3 ˆ
3 1 1 3 2
3 ˆ
1 2 2 1 3 (5.68)
We notice that the th component of the vector c can be represented as
! + } ~ 3 ~
} ! } ~ 3E! ~ } - - J (5.69)
In other words, the pseudovector c a { b can be considered as an antisymmetric
tensor of rank two!
The same is true for the curl operator 7{ . For instance, the Maxwell equation
{ E 3 M M Bb (5.70)
can in this tensor notation be written
M @ }~ 3 M @ ~ } 3 M } ~
M) M) Mb (5.71)
We know from Chapter 3 that the fields can be derived from the electromagnetic
potentials in the following way:
B { A (5.72a)
E 3jQ3
M P
Mb (5.72b)
P~ MP} P
In component form, this can be written
} ~ M ) } 3 M ) P ~ NM } ~ 3 M ~ P }
M (5.73a)
(C MP C 3 MP ( N
define the covariant four-tensor
M ( P C 3 MCP (
(
M) M) C (5.75)
@ @ @W 89
can be written
1 E3 @ ! 0 3
! (5.76)
3W@E 3
! ! 0
3W@ 3W@ 3W@ 89
The matrix representation for the contravariant field tensor is
( C NM ( P C 3 M C P ( 0 @ 0 3
! !
0
1 @ ! 0 3E! (5.77)
@E 3E! ! 0
curl of the four-potential vector ( .
P
It is perhaps interesting to note that the field tensor is a sort of four-dimensional
F E SI (5.78)
{ B d j S M M Eb f d I u S M M Eb f
0
0 0 0 0 (5.79)
M C C ( JS (
correspond to
M) 0
(5.80)
{ E 3 M M Bb (5.81)
F B 0 (5.82)
correspond to
68
5.3. C OVARIANT CLASSICAL ELECTRODYNAMICS 69
M ( C M C( t M tC (
M)t M) M) 0 (5.83)
Hence, Equation (5.80) on the facing page and Equation (5.83) above constitute
Maxwell’s equations in four-dimensional formalism.
70 C HAPTER 5. R ELATIVISTIC E LECTRODYNAMICS
B IBLIOGRAPHY 5
[1] J. Aharoni. The Special Theory of Relativity. Dover Publications, Inc., New York,
second, revised edition, 1985. ISBN 0-486-64870-2.
[2] Asim O. Barut. Dynamics and Classical Theory of Fields and Particles. Dover Pub-
lications, Inc., New York, NY, 1980. ISBN 0-486-64038-8.
[3] Walter T. Grandy. Introduction to Electrodynamics and Radiation. Academic Press,
New York and London, 1970. ISBN 0-12-295250-2.
[4] Lev Davidovich Landau and Evgeniy Mikhailovich Lifshitz. The Classical Theory of
Fields, volume 2 of Course of Theoretical Physics. Pergamon Press, Ltd., Oxford . . . ,
fourth revised English edition, 1975. ISBN 0-08-025072-6.
[5] C. Møller. The Theory of Relativity. Oxford University Press, Glasgow . . . , second
edition, 1972.
[6] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
[7] J. J. Sakurai. Advanced Quantum Mechanics. Addison-Wesley Publishing Com-
pany, Inc., Reading, MA . . . , 1967. ISBN 0-201-06710-2.
[8] Barry Spain. Tensor Calculus. Oliver and Boyd, Ltd., Edinburgh and London, third
edition, 1965. ISBN 05-001331-9.
71
72
C HAPTER 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 Lagrangian and Hamiltonian
methods, is fully covariant, and yields results which are relativistically correct.
Lagrange formalism
Call the 4D Lagrange function nq and assume that it fulfils the variational prin-
4
ciple
n ( '(
q) - % &
1
4 0 (6.1)
0
%&
where is the invariant line element given by Equation (5.15) on page 58, and the
nq
endpoints are fixed.
We must require that 4 fulfils the following conditions:
73
74 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
: ^
difference between the kinetic and potential energies. A free particle has only
:
kinetic energy. If the particle mass is 0 then in 3D the kinetic energy is 0 2 2.
This suggests that in 4D the Lagrangian for a free particle should be
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 68 in the
following way
M P( C
' (
'
2 M ' ( ( ¡ d ( M ) C ) f £ % &
1
0
2
(
¢ ' '(
0
P
' (
' ( M P( C
:?! ( ¤ d ( M ) C ) f £ % & 0
1
2
(6.4)
0 ¢
According to Equation (5.34) on page 62, the four-velocity is
'( % ) (
%& (6.5)
'( d % ) ( f % ) (
%& %& (6.6)
Inserting this into the first two terms in the last integral in Equation (6.4), we obtain
6.1. C HARGED PARTICLES IN AN E LECTROMAGNETIC F IELD 75
n ( '(
q ) - % &
1
4
d :?! ' ( % % & ) ( ¤ P ( % % & ) ( ¡ '( M P C( ) C f % &
0
M)
2
(6.7)
0
Partial integration in the two first terms in the right hand member in (6.7) gives
n ( '(
q ) - % &
1
4
0
% ' ( ( % P ( ( '( M P C( ) C f % &
d 3E: ! % & ) 3 % & ) ¡
1
M)
2
0 (6.8)
0
where the integrated parts do not contribute since the variations at the endpoints
vanishes. Change of irrelevant summation index from to in the first two terms ¥
in the right hand member in (6.8) yields, after breaking out a common factor
n ( '(
q ) - % &
1
4
0
% ' C % P C '( PM ( C
d 3E: ! % & 3 % & ¡ M)Cf ) %&
1
2
0 (6.9)
0
%P C%&
Applying well-known rules of differentiation and the expression (5.34) for the
four-velocity, we can reform the expression for as follows:
% P C M P C % ) ( M P C '(
%& M)( %& M)( (6.10)
'(
By inserting this expression (6.10) into the right-hand member of Equation (6.9)
above, and moving out a common factor , we obtain the final variational prin-
ciple expression
n ( '(
q ) - % &
1
4
0
% ' C '( M P ( M P C
3E: ! % & d M ) C 3 M ) ( f £ ) C % &
1
2
(6.11)
¢
0
0
)C
)( )(
Since, according to the variational principle, this expression shall vanish and
is arbitrary along the world-line from 0 tp 1 , the expression inside in the ¦X
76 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
integrand in the right hand member of (6.11) must vanish. In other words, we have
found an equation of motion:
% ' C '( M P ( M P C
: ! % & + d M ) C 3 M ) ( f
0
2
(6.12)
With the help of Equation (5.77) on page 68 we can express this equation in terms
of the electromagnetic field tensor in the following way:
'
: ! % % & C + '( C (
0
2
(6.13)
Hamiltonian formalism
The usual Hamilton equations for a 3D space are given by Equation (M.81) on
page 181 in Chapter M. These six first-order partial differential equations are
M;§ % }
M } %¨b ; (6.14a)
M§ 3 % }
M } %¨b (6.14b)
velocity ' ( , as given by Equation (5.34) on page 62, and the four-momentum ; ( ,
We seek a similar set of equations in 4D space. To this end we utilise the four-
§ n q ;<(' ( 3 n q
4 4 (6.15)
;<( M ' n q
4
M ( (6.16)
where n q is as in Equation (6.3) on page 74. With the help of these, the radius
four-vector ) ( , considered as the generalise four-coordinate, and the invariant line
4
element % & , defined in Equation (5.15) on page 58, we introduce the following
6.1. C HARGED PARTICLES IN AN E LECTROMAGNETIC F IELD 77
M§ ; n q % ) (
M n( % & ;
4
(6.17a)
M§ q 3 % (
M)( %&
4
(6.17b)
;
on page 63, has a zeroth (time) component which we identify with the total energy.
Hence we must require that this component 0 solves the ordinary 3D Hamilton
§ nq
equations (6.14).
n q
Using to the definition of 4 , Equation (6.15) on the preceding page, and the
expression for 4 , Equation (6.3) on page 74, we obtain
M ( ' ( M P ( ( 2
: ! ¡0
2
(6.19)
12 : ! '(' (
0
2
(6.20)
§ n q 12 : !
4 0
2
(6.21)
'( 1 <; ( 3 P (
: ! 2
(6.22)
§ n q : 2! d : 1! ;<( 3 P ( : 1! ; ( 3 P ( f
2
0
4 2 2
P ( ; ( 3 P (
0 0
2: 1 ! 2
;<( 3
© ;<(
; ( 3 2 P (h; ( ¡ P ( P (`ª
0
2: 1 ! 0
2
2
(6.23)
That this four-Hamiltonian yields the correct covariant equation of motion can be
seen by inserting it into the four-dimensional Hamilton’s equations (6.17) and using
M§ n q 3 ; C 3 P C M P C
the relation (6.22):
M)( : ! M)(
4
P 2
3 : ! : ! ' C MM ) ( C
0
2
PC 2 0
' C M
0
3
M)(
; '
3 % % & ( 3
:?! % % & ( 3 M P C( ' C
M)
2
(6.24)
where in the last step Equation (6.19) on the preceding page was used. Rearranging
which is identical to the covariant equation of motion Equation (6.13) on page 76.
§ nq : !
We can then safely conclude that the Hamiltonian in question is correct.
Setting expression (6.23) above for 4 equal to the scalar value 0 2 2, as
derived above, and using the fact that
;<( ; B- ! p
P(
0
;<(
; ; QR-B! A
P (
; (( ; 3! p
0 2 2 2
P (P ( Q 3G! p F A
0 2
Q 3G! A
2 2 2
2: !
0 0 2 2 2 0 2 2 2 2 2 2
2 2
0
(6.27)
which is a second order algebraic equation in ; 0
6.1. C HARGED PARTICLES IN AN E LECTROMAGNETIC F IELD 79
; ; 3 2 Q ; 3G; ! p « 2 ! p F A 3 ! A ¬ ¤ Q 3 : !
0 2 0 2 2 2 2 2 2 2 2 2
0
2 2
; 3 2 Q ; 3 ! p 3 A Q 3G: ! 0
0
0 2 0 2 2 2 2 2 4
(6.28)
0
; + Q®¡! 2 p 3 A : !
0 2 2 2
0 (6.29)
T ; 2
§ + Q ! p 3 A : !
0 2 2 2
0 (6.30)
is the ordinary 3D Hamilton function for a charged particle moving in scalar and
vector potentials associated with prescribed electric and magnetic fields.
§
nq § nq
The ordinary Lagrange and Hamilton functions and are related to each other
by the 3D transformation [cf. the 4D transformation (6.15) between 4 and 4 ]
pF u3 § (6.31)
p 3 A 2 : 0u
: u (6.32)
1 37¯ 6 2
2
Together with (6.30) and (6.31), gives the ordinary 3D Lagrange function
'
3 Q ¤ A F u 3G: ! ] 1 3 !
2
2
0 2
(6.33)
for a charged particle moving in scalar and vector potentials associated with pre-
scribed electric and magnetic fields.
80 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
±³²µ´ 1
±³² ±³² ¶ 1
¸ · ¸ · ¸ · ¸ · ¸ ¹
° ° ° °
º
»
Figure 6.1. A one-dimensional chain consisting of discrete, identical mass
¼
points , connected to their neighbours with identical, ideal springs with spring
½ and
¾ ¿ À ÁÃÂÅÄ h¾ ¿ ÃÁ ÂÅÄ h¾ ¿ Æ ÃÁ ÂÅÄ
constants . The equilibrium distance between the neighbouring mass points is
, , are the instantaneous deviations, along the axis, Ç
ÁyÈ É Ä È ÁyÈ¨Ê Ä
1 1
of positions of the 1 th, th, and 1 th mass point, respectively.
perturbation, the motion of mass point will be a one-dimensional oscillatory mo-
Ì }b
tion along ˆ . Let us denote the magnitude of the deviation for mass point from
its equilibrium position by ˆ.
The solution to this mechanical problem can be obtained if we can find a Lag-
rangian (Lagrange function) which satisfies the variational equation
6.2. C OVARIANT F IELD T HEORY 81
Ì } - Ì ˙} -Bb %¨b 0 (6.34)
According to Equation (M.76) on page 180, the Lagrangian is where >Í 3¡Y
Í Y
denotes the kinetic energy and the potential energy of a classical mechanical
system with conservative forces. In our case the Lagrangian is
Ï « : Ì ˙ 3 Ì 3GÌ ¬
1
} }Ð }
} Îo
2 2
1 (6.35)
2
1
Let us write the Lagrangian, as given by Equation (6.35), in the following way:
Ï Î `Ñ } (6.36)
}o 1
Here,
Ñ } 1 : Ì ˙} 3¡ d Ì } Ð 3GÌ } f Ó 2
Ò
1
2
(6.37)
2
ÔÖ% )
: Ô
(6.38a)
ÔØ×
(linear mass density) (6.38b)
(Young’s modulus) (6.38c)
Ì } Ð 3GÌ } Ô Ù Ú
Ù
1
(6.38d)
we obtain
Ñ %) (6.39)
where
Ó
Ñ d Ì- M M Ì b - MM )Ì B- b f Ò d M M Ì b f 3× d MM )Ì f
2 2
1
(6.40)
2
Notice how we made a transition from a discrete description, in which the mass
points were identified by a discrete integer variable 1 2 - -DÛDÛDÛ
-sË
, to a continu-
ous description, where the infinitesimal mass points were instead identified by a
)
continuous real parameter , namely their position along ˆ .
82 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
Under the assumption of time independence and fixed endpoints, the variation
principle (6.34) on the previous page yields:
Ü b
ÝÞÑ d Ì - M M Ì b - M M )Ì f % ) %¨b
M Ñ Ì
MÌ
M, Ñ d M M Ì b f M, Ñ Ù Ú d MM )Ì f ßà % ) %¨b
M ÙÙ Ú . M Ù.
0 (6.41)
ÝÞ 89
The last integral can be integrated by parts. This results in the expression
89
M<Ñ 3 M 01 M, Ñ M MÑ
M Ì M b M Ù Ú . 3 M ) 01 M , Ù Ú . ßà Ìá% ) %¨b 0 (6.42)
Ù Ù
where the variation is arbitrary (and the endpoints fixed). This means that the
itself must vanish. If we introduce the functional derivative
integrand
89
Ñ MÑ 3 M 01 M, Ñ
Ì M Ì M ) M Ù Ú (6.43)
Ù .
we can express this as
89
Ñ 3 M 01 M, Ñ
Ì M b M Ù Ú 0 (6.44)
Ù .
which is the one-dimensional Euler-Lagrange equation.
Inserting the linear mass point chain Lagrangian density, Equation (6.40) on the
preceding page, into Equation (6.44) above, we obtain the equation of motion for
our one-dimensional linear mechanical structure. It is:
6.2. C OVARIANT F IELD T HEORY 83
M M b âÌ 3× M M ) Ì d × M M b 3 M M ) f Ì 0
2 2 2 2
2 2 2 2
(6.45)
å Ü b ÝÞ Ñ % )WÜ b
3
Ñ d Ì - M M ) Ì ( f % )
4
89
M<Ñ 3 M ( 01 ,MÑ
M Ì M ) M Ù Ú . ßà Ìá% ) 0
4
(6.46)
Ù
where the variation Ì is arbitrary and the endpoints are fixed. This means that the
89
integrand itself must vanish:
MÑ 3 M ( 01 ,MÑ
M Ì M ) M ÙÚ . 0 (6.47)
Ù
This constitutes the three-dimensional Euler-Lagrange equations.
Introducing the three-dimensional functional derivative
Ñ MÑ 3 M } æ MÑ
Ì M Ì M ) M Ù Ú ç è (6.48)
Ù
we can express this as
89
Ñ 3 M 01 M<, Ñ
Ì M b M Ù Ú 0 (6.49)
Ù .
I analogy with particle mechanics (finite number of degrees of freedom), we may
introduce the canonically conjugate momentum density
e ) ( e bc- x M , Ñ
M ÙÙ Ú .
(6.50)
If, as usual, we differentiate this expression and identify terms, we obtain the fol-
84 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
M é M Ì
lowing Hamilton density equations
Mée M b e (6.52a)
3 M
Ì Mb (6.52b)
The Hamilton density functions are in many ways similar to the ordinary Hamilton
functions and lead to similar results.
Ñ +Ñ
tot
Ñ Ñ
mech inter field
(6.53)
volume. Expressed in the rest mass density I , the mechanical Lagrange density
4 4
0
m
can be written
Ñ 12 I ! '(`' (
mech 0 2
m (6.54)
The Ñ inter
part which describes the interaction between the charged particles
and the external electromagnetic field. A convenient expression for this interaction
J(P (
Lagrange density is
Ñ inter
(6.55)
For the field part Ñ field
we choose the difference between magnetic and electric
energy density (in analogy with the difference between kinetic and potential energy
in a mechanical field). Using the field tensor, we express this field Lagrange density
as
Ñ field 1
4
0 S (C (C (6.56)
Ñ tot
12 I ! ' (' ( J ( P ( 14 S ( C ( C
0 2
m 0 (6.57)
6.2. C OVARIANT F IELD T HEORY 85
É ò ü û É
ò ý É ö
ò þ ÿ
ë
ì
í ï ó =ì ôõí É ó hí ôöì ø
0
ñ ñ
ï ÷ùú òüòýû ð ñ 0 þ É ð 0 þ É ð ð ñ ý û (6.59)
òöþ É ð ñ ý ð ñ û 0
and from Formula (5.76) on page 68 that
ü
ò û ò ý ö
ò þ ÿ
ñ
ë ì
íEïóîì ô í É äó í ô ì ï ùú÷ É òüû ñ 0 É ð þ ð ñ ý
0
ñ
É òý ð ñ þ ñ 0 É ð 0 û (6.60)
É òþ É ð ý ð û
where denotes the row number and the column number. Then, Einstein summation and
direct substitution yields
ë
ì
íDë ìîíEï ë ë Ê ë ë Ê ë ë Ê ë ë
Ê ëë ëë Ê ëë ëë Ê ëë ëë Ê ë ë
00 01 02 03
00 01 02 03
ë ë
10 11 12 13
Ê ë ë Ê ë ë Ê ë ë Ê
10 11 12 13
ë ë
20 21 22 23
Ê Ê Ê Ê
20 21 22 23
30 31 32 33
ï 0É ò û É ò ý É ò þ
30 31 32 33
2 2 2
É ò û Ê 0Ê ð ñ þ Ê ð ñ ý
2 2 2 2 2
2
É ò ý Ê ð ñ þ Ê 0Ê ð ñ û
2 2 2 2
2
É òþÊ ðñýÊ ðñûÊ 0
2 2 2 2
ï É 2ò û É 2ò ý É 2ò þ Ê ð ñ û Ê ð
2 2 2 2 2 2 ñýÊ ðñþ
2 2 2
ï É 2ò Ê 2ð ñ ï 2 Ázð ñ É ò Ä
2 2 2 2 2 2
(6.61)
QED
E ND OF EXAMPLE 6.1
Ñ PC
Using tot in the 3D Euler-Lagrange equations, Equation (6.47) on page 83
Ì
(with replaced by ), we can derive the dynamics for the whole system. For
instance, the electromagnetic part of the Lagrangian density
Ñ EM
>Ñ inter
Ñ field
J C P C 14 S ( C ( C 0 (6.62)
inserted into the Euler-Lagrange equations, expression (6.47) on page 83, yields
two of Maxwell’s equations. To see this, we note from Equation (6.62) above and
86 C HAPTER 6. I NTERACTIONS OF F IELDS AND PARTICLES
M C (6.63)
Furthermore,
S ,
M ( M <M MÑ ( P C £ 4 M ( M M (M P C t t . £
EM
0
¢S ¢ P
4 M (
M M ( P C M t 3 M P t M t P 3 M P t
0 M
S
4 M ( M M (M P C M t P M t P 3 M t P M P t
0
¢
3 M P t M t P ¤M P t M P t £
S , P P
2M ( M M ( C M t M t 3 M t P M P t . £
0 M P
¢ (6.64)
, P P
But
MP M t M N
M t P MP M P
M M ( C t . M M ( C t
NM t M M (M P C M t P
P
NM t P M M (M P C M t P
NM t P M M (M P C ð¨t M ð P
NM t P M M (M P C M t P
ð¨t ð M t P M M (M P C M P
NM t P M M (M P C M t P
NM P M M (M P C M P
2M ( P C (6.65)
Similarly,
6.2. C OVARIANT F IELD T HEORY 87
MP , P P P
M t M 2M C (
M M ( C t. (6.66)
(C
so that
M Ñ P £
M ( M M ( C M ( M
EM
S ( P C 3 C P (
M M)( S M (6.67)
¢
0 0
MÑ P 3 M ( MÑ P £ J C 3 S M ( ( C 0
EM EM
M C M¢ M ( C 0
M) (6.68)
M ( ( C JS C
or
M) 0
(6.69)
Explicitly, setting ¥ 0 in this covariant equation and using the matrix rep-
electromagnetic field tensor ( C , we obtain
resentation Formula (5.77) on page 68 for the covariant component form of the
M M M M 0 M @ M @ M @E
00 10 20 30
M)
0
M) 1
M) 2
M)
3
M ) I M M
F E S
0
(6.70)
which is the Maxwell source equation for the electric field, Equation (1.43a) on
page 14. For ¥
1 we get
M M M M 3 1 M @ 0 ! M ! M
01 11 21 31
M) 0
M) M)
1
M ) I '! M b
2 3
M M
S (6.71)
J
or, using S 1 ! and identifying I ' ,
0
2
0 0
MK 3 M 3 S M @ J
M M Mb 0 0 0 (6.72)
{ B 3 S M M Eb j b- x
0 0 0 (6.73)
which is the Maxwell source equation for the magnetic field, Equation (1.43d) on
page 14.
Other fields
In general, the dynamic equations for most any fields, and not only electromagnetic
ones, can be derived from a Lagrangian density together with a variational principle
(the Euler-Lagrange equations). Both linear and non-linear fields are studied with
this technique. As a simple example, consider a real, scalar field which has the Ì
following Lagrange density:
Ñ 1
2 © M ( Ì M ( Ìâ3G: Ì ª 2 2 1
2
d M M ) Ì ( M M ) Ì ( 3G: Ì f
2 2
(6.74)
Insertion into the 1D Euler-Lagrange equation, Equation (6.44) on page 82, yields
the dynamic equation
L 3G: Ì
2 2
0 (6.75)
with the solution
u"#%$
Ì n x u"!yq H x H
x$
kx
(6.76)
which describes the Yukawa meson field for a scalar meson with mass : . With
e ! 1 MM Ìb2
(6.77)
Ñ EM
>Ñ inter
Ñ field
J C P C 14 S ( C ( C : P ( P (
0
2
(6.79)
M ( ( C : P C JS C
which leads to the dynamic equation
M)
2
(6.80)
0
This equation describes an electromagnetic field with a mass, or, in other words,
massive photons. If massive photons would exist, large-scale magnetic fields, in-
cluding those of the earth and galactic spiral arms, would be significantly modified
to yield measurable discrepances from their usual form. Space experiments of this
kind onboard satellites have led to stringent upper bounds on the photon mass. If
the photon really has a mass, it will have an impact on electrodynamics as well as
on cosmology and astrophysics.
88
B IBLIOGRAPHY 6
[1] Asim O. Barut. Dynamics and Classical Theory of Fields and Particles. Dover Pub-
lications, Inc., New York, NY, 1980. ISBN 0-486-64038-8.
[2] Herbert Goldstein. Classical Mechanics. Addison-Wesley Publishing Company, Inc.,
Reading, MA . . . , second edition, 1981. ISBN 0-201-02918-9.
[3] Walter T. Grandy. Introduction to Electrodynamics and Radiation. Academic Press,
New York and London, 1970. ISBN 0-12-295250-2.
[4] Lev Davidovich Landau and Evgeniy Mikhailovich Lifshitz. The Classical Theory of
Fields, volume 2 of Course of Theoretical Physics. Pergamon Press, Ltd., Oxford . . . ,
fourth revised English edition, 1975. ISBN 0-08-025072-6.
[5] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
[6] J. J. Sakurai. Advanced Quantum Mechanics. Addison-Wesley Publishing Com-
pany, Inc., Reading, MA . . . , 1967. ISBN 0-201-06710-2.
89
90
C HAPTER 7
Interactions of Fields
and Matter
The microscopic Maxwell equations (1.43) derived in Chapter 1 are valid on all
scales where a classical description is good. However, when macroscopic matter is
present, it is sometimes convenient to use the corresponding macroscopic Maxwell
equations (in a statistical sense) in which auxiliary, derived fields are introduced in
order to incorporate effects of macroscopic matter when this is immersed fully or
partially in an electromagnetic field.
where the * is the charge density introduced in Equation (1.7) on page 4), the
electric dipole moment vector
' ( ) + * + 3/
p x,0 x0 - x, - . , (7.2)
'
with components 1 2 , 3 1 4 2 4 3, the electric quadrupole moment tensor
( ) +
Q' x,0 x0 - + x,50 x0 - * +
x, - .
3/
, (7.3)
'
with components 6 2 7 4384:9 1 4 2 4 3, and higher order electric moments.
91
92 C HAPTER 7. I NTERACTIONS OF F IELDS AND M ATTER
& +
; + ' 1 1 x0 x0 - 2
stat x- @ @ A @ @ 21 2 @ @ A
4<>= 0 ? x 0 x0 x 0 x0 x 0 x0
1 3 + x 0 x0 -C2 + x 0 x0 - 7 1
@ @36 2 7 B @ @ @ @ 0 27 E AGFFFIH
x 0 x0 2 x 0 x0 x 0 x0 2D
(7.4)
; + ' 1 ( ) x 0 x,
p x- P + x, - J @ @ .
3/
,
4<>= 0 x 0 x, 3
' 1 ( ) 1
0 P + x, - JML B @ @E .
3/
,
4<K= 0 x 0 x,
' 1 ( ) 1
P + x, - JMLN, B @ @E .
3/
, (7.5)
4<>= 0 x 0 x,
Using the expression Equation (M.63) on page 178 and applying the divergence
theorem, we can rewrite this expression for the potential as follows:
; + ' 1 ( ) P + x, - 3/ ( ) L , JP + x, - 3/
p x- LN,J B @ @E . ,0 @ @ . ,QP
4<>= 0 O x 0 x, x 0 x,
' 1 P + x, - J n̂ 2/ ( ) L , JP + x, - 3/
@ @ . 0 @ @ . ,P
4<>= 0 O R S x 0 x, x 0 x,
(7.6)
where the first term, which describes the effects of the induced, non-cancelling
dipole moment on the surface of the volume, can be neglected, unless there is a
7.1. E LECTRIC POLARISATION AND THE ELECTRIC DISPLACEMENT VECTOR 93
discontinuity in P J T ˆ at the surface. Doing so, we find that the contribution from
the electric dipole moments to the potential is given by
; ' 1 ( ) 0UL , J P + x, - 3/
p @ @ . , (7.7)
4<K= 0 x0 x,
Comparing this expression with expression Equation (3.3) on page 31 for the elec-
trostatic potential from a static charge distribution * , we see that 0VLWJ P + x - has the
characteristics of a charge density and that, to the lowest order, the effective charge
density becomes * + / - 0XLYJ P + / - , in which the second term is a polarisation term.
The version of equation Equation (1.7) on page 4 where “true” and polarisation
charges are separated thus becomes
* +
' x- 0[LZJ P + x-
LZJ E (7.8)
= 0
Rewriting this equation, and at the same time introducing the electric displacement
vector (C/m2 )
'
D = 0E A P (7.9)
we obtain
+ ' 'G* +
LZJ = 0E A P- LZJ D true x- (7.10)
where * true is the “true” charge density in the medium. This is one of Max-
well’s equations and is valid also for time varying fields. By introducing the
notation * pol ' 0VL\J P for the “polarised” charge density in the medium, and
* 'G* *
total true A pol for the “total” charge density, we can write down the following
alternative version of Maxwell’s equation (7.23a) on page 95
* +
' total x-
LZJ E (7.11)
= 0
@ @
Often, for low enough field strengths E , the linear and isotopic relationship
between P and E
'
P = 0] E (7.12)
Inserting the approximation (7.12) into Equation (7.9) on the previous page, we
can write the latter
'
D = E (7.13)
where, approximately,
' +
= = 0 1A ] - (7.14)
' ^ P
jtotal jtrue A A Lba M (7.17)
^`
We then obtain the Maxwell equation
' d ^ P
Lca B 0 B jtrue A A Lba ME (7.18)
^`
Moving the term Lea M to the left hand side and introducing the magnetising field
(magnetic field intensity, Ampère-turn density) as
B
H' d 0 M (7.19)
0
and using the definition for D, Equation (7.9) on page 93, we can write this Max-
well equation in the following form
' ^ D
Lca H jtrue A (7.20)
^`
We may, in analogy with the electric case, introduce a magnetic susceptibility
for the medium. Denoting it ] m , we can write
B
H' d (7.21)
where, approximately,
d ' d +
0 1A ] m- (7.22)
' ^ B ^ D ' 1 ^ +
0 HJ 0 EJ j0 EJ 0 H J B A E J D- 0 j J E (7.24)
^` ^` 2 ^`
Integration over the entire volume h and using Gauss’s theorem (the divergence
theorem), we obtain
^ ( ) 1+
0 H J B A E J D - . 3/ , ' ( ) j J E . 3/ , A ( + E a H - Ji. S, (7.25)
^` 2 S
But, according to Ohm’s law in the presence of an electromotive force field,
Equation (1.26) on page 11:
'Gj +
j E A EEMF - (7.26)
which means that
( ) 3/ ' ( ) 9 2 3/ ( ) 3/
j J E. , j . , 0
j J EEMF . , (7.27)
A ( +
E a H- Ji. S, (7.28)
k S l m n
Radiated power
which is the energy theorem in Maxwell’s theory also known as Poynting’s theorem.
It is convenient to introduce the following quantities:
o ' 1 ( )
e E J D . 3/ , (7.29)
2
o ' 1 ( )
m H J B . 3/ , (7.30)
2
S' Ea H (7.31)
o o
where e is the electric field energy, m is the magnetic field energy, both measured
in J, and S is the Poynting vector (power flux), measured in W/m2 .
7.3. E NERGY AND MOMENTUM 97
Let us now investigate the momentum balance (force actions) in the case that a
field interacts with matter in a non-relativistic way. For this purpose we consider
the force density given by the Lorentz force per unit volume * E A j a B. Using
Maxwell’s equations (7.23) and symmetrising, we obtain
* ' + ^ D
EA j a B LZJ D- E A B Lba H0 E a B
^`
' ^ D
E+ LZJ D- A +
Lba H- a B0 a B
^`
'
E+ LZJ D- 0 B a
+
Lca H-
^ + ^ B
0 D a B- A D a
^ `
^`
'
E + LZJ D- 0 B a
+
Lca H-
^ + +
0 D a B- 0 D a Lca E- A H + k LZl mJ B
n -
^` p 0
' q + + A q + +
E LZJ D- 0 D a Lca E -:r H LZJ B- 0 B a Lca H -Cr
^ +
0 D a B- (7.32)
^`
One verifies easily that the 3 th vector components of the two terms in square
brackets in the right hand member of (7.32) can be expressed as
q
E+ LZJ D- 0 D a + Lba E -Crs2
' 1 ^ D ^ E ^ 1
B EJ / 0 DJ / E A / B t 2 u 7 0 EJ D 27 E (7.33)
2 ^ 2 ^ 2 ^ 7 2 D
and
q
H+ LZJ B- 0 B a + Lca H -Cr 2
' 1 ^ B ^ H ^ 1
B HJ / 0 BJ / E A / B v 2 wx7 0 BJ H 27 E (7.34)
2 ^ 2 ^ 2 ^ 7 2 D
respectively.
Using these two expressions in the 3 th component of Equation (7.32) above and
98 C HAPTER 7. I NTERACTIONS OF F IELDS AND M ATTER
+* 1 ^ D ^ E
EA j a B- 2 0 B EJ / 0 DJ / E
2 ? ^ 2 ^ 2
^ B ^ H ^ +
A B HJ / 0 BJ / E H A D a B- 2
^ 2 ^ 2 ^`
' ^ 1 1
/ B t 2 u 7 0 EJ D 27 A v 2 wx7 0 HJ B 27 E (7.35)
^ 7 2 D 2 D
1 ^ D ^ E ^ B ^ H
0 B E J / 0 DJ / E A B HJ / 0 BJ / E H (7.36)
2 ? ^ 2 ^ 2 ^ 2 ^ 2
If we introduce the relative electric permittivity z and the relative magnetic per-
meability z m as
' '
D z = 0E = E (7.39)
' d ' d
B z m 0H H (7.40)
we can rewrite (7.38) as
y
^ 27 ' zz m ^ S
/ B Fev A { 2 E (7.41)
^ 7 ^` 2
where S is the Poynting vector defined in Equation (7.31) on page 96. Integration
over the entire volume h yields
( ) 3/ . ( ) zz m 3/ ' ( 2/
Fev . , A { 2 S. , T| ˆ . , (7.42)
k l m n .` k l m n k S l m n
Force on the matter Field momentum Maxwell stress
which expresses the balance between the force on the matter, the rate of change
of the electromagnetic field momentum and the Maxwell stress. This equation is
called the momentum theorem in Maxwell’s theory.
In vacuum (7.42) becomes
( ) * + 3/ 1 . ( ) 3/ ' ( 2/
EA v a B- . , A { 2 S. , T| ˆ . , (7.43)
.` S
or
. . ' ( 2/
pmech A pfield T| ˆ . , (7.44)
.` .` S
99
100 C HAPTER 7. I NTERACTIONS OF F IELDS AND M ATTER
B IBLIOGRAPHY 7
[1] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
101
102
C HAPTER 8
Electromagnetic
Radiation
In this chapter we will develop the theory of electromagnetic radiation, and there-
fore study electric and magnetic fields which are capable of carrying energy and
momentum over large distances. In Chapter 3 we were able to derive general ex-
pressions for the scalar and vector potentials from which we then, in Chapter 4 cal-
culated the total electric and magnetic fields from arbitrary distributions of charge
and current sources. The only limitation in the calculation of the fields was that the
advanced potentials were discarded.
We shall now study these fields further under the assumption that the observer is
located in the far zone, i.e., very far away from the source region(s). We therefore
study the radiation fields which are dominating in this zone.
103
104 C HAPTER 8. E LECTROMAGNETIC R ADIATION
^ j
j̇ +
def
`Cret
, 4 x, - B E (8.3)
^` p ret
Instead of studying the fields in the time domain, we can often make a spectrum
analysis into the frequency domain and study each Fourier component separately.
A superposition of all these components and a transformation back to the time
domain will then yield the complete solution.
The Fourier representation of the radiation fields (8.1) (8.2) were included in
Equation (4.12) on page 46 and Equation (4.23) on page 48, respectively and are
explicitly given by
1
Brad + x - ' ( }
Brad + `4 x- .`
2< ~
d }
' 0 ( ) j + x , - a
+
x 0 x, - x ~ x 3/
0 @ @2 . ,
4< x 0 x,
d +
' 0 ( ) j x, - a k Q x ~ x 3/
0 @ @ . , (8.4)
4< x 0 x,
1 (
Erad + x - ' }
Erad + `4 x- .`
2< ~
} q
' ( ) j + x , - a
+
x 0 x, -:r a
+
x 0 x, - Q x ~ x 3/
0 { @ @3 . ,
4<>= 0 x 0 x,
q
' 1 ( ) j + x , - a kr a + x 0 x , - QM x ~ x 3/
0 { @ @2 . , (8.5)
4<>= 0 x 0 x,
If the source is located@ inside a volume h near x0 and has such a limited spatial
@ @ @
extent that max x, 0 x0 @ x 0 x@, , and the@ integration
@
surface , centered on x0 ,
has a large enough radius x 0 x0 max x, 0 x0 , we see from Figure 8.1 that
we can approximate
+ @ @
x 0 x, k J x 0 x, - x 0 x0 0 k J + x,0 x0 - (8.6)
and
T
ˆ J ˆ
@ @ 2 .X. Ω (8.7)
x 0 x0
' @ @2
where . x 0 x0 . Ω, was used.
8.1. T HE RADIATION FIELDS 105
ˆ 2
S
x x
¡ˆ
x x0 x
x x0
x x0 ¤
Figure 8.1. Relation between the surface normal and the k vector for radiation
generated at source points x¥ near the point x0 in the source volume ¦ . At dis-
tances
¨
much larger than the extent of ¦ , the unit vector § ˆ , normal to the surface
©
which has its centre at x0 , and the unit vector ˆ of the radiation k vector from
x¥ are nearly coincident.
Within approximation (8.6) the expressions (8.4) and (8.5) for the radiation fields
can be approximated as
d
QM x ~ x0 ( ) j + x , - a k ~ k ¬® x ~ x0 ¯
Brad + x - 3/
0
ª0« @ @ . ,
4< x 0 x,
d QM x ~ x0
0 ~ k ¬® x ~ x0 ¯
ª0« @ @ ( ) q j + x, - a kr .
3/
, (8.8)
4< x 0 x0
q
1 Q x ~ x0 ( ) j + x, - a kr a
+
x 0 x, - ~ k ¬® x ~ x0 ¯ 3/
Erad + x - ª0« { @ @2 . ,
4<K= 0 x 0 x,
x ~ x0 +
1 x0 x0 - ( ) q ~ k ¬® x ~ x0 ¯
f { @ @ @ @ a j + x, - a kr .
3/
,
4<K= 0 x 0 x0 x 0 x0
(8.9)
@ @ @ @
I.e., if max x, 0 x0 x 0 x, , then the fields can be approximated as spherical
waves multiplied by dimensional and angular factors, with integrals over points in
the source volume only.
106 C HAPTER 8. E LECTROMAGNETIC R ADIATION
Using the far-field approximations (8.8) and (8.9) and the fact that 1 _ {¸' ¹ d
= 0 0
and º 0 '¼» d 0 _ = 0 according to the definition (2.15) on page 23, we obtain
2
± ' 1 1 ( ) q½+ ~ k ¬Q x ~ x0 ¯ 3/ x 0 x0
S² º @2 j a k -:r . , @ @ (8.11)
32< 2 0 @ x 0 x0
x 0 x0
or, making use of (8.7) on page 104,
2
.° ' 1 ( ) q½+ ~ k ¬Q x ~ x0 ¯ 3/
º j a k -:r . , (8.12)
. Ω 32< 2 0
which is the radiated power per unit solid angle.
Formula (8.18) includes only source coordinates. This means that the amount of
energy that is being radiated is independent on the distance to the source (as long
as it is large).
Linear antenna
Let us apply Equation (8.12) on page 106 for calculating the power from a linear,
transmitting antenna, fed across a small gap at its centre with a monochromatic
source. The antenna is a straight, thin conductor of length Å which carries a one-
dimensional time-varying current so that it produces electromagnetic radiation.
We assume that the conductor resistance and the energy loss due to the electro-
magnetic radiation are negligible. Since we can assume that the antenna wire is
infinitely thin, the current vanishes at the end point. The current therefore forms a
standing wave with wave number '
_ { and can be written
@/ @
+ 'fÆ + / +/ sin q +
Å _ 20 3, -:r Ç
j0 x , - 0 1, - 2, - + ˆ3 (8.19)
D D sin Å _ 2-
where the amplitude Æ 0 is constant. In order to evaluate Formula (8.12) on page 106
8.3. R ADIATING SYSTEMS 109
with the explicit monochromatic current (8.19) inserted, we need the expression
2
~ ~
( ) +
j0 a k - k ¬Q x x0 ¯ . 3/ ,
2 q + @/ @ 2
' sin Å _ 20 3, -:r ~Q Ë ~Q Ë 0
(ÄÈ É Æ
sin Ê 3ÎÌ ÍÏÑÐ ÑÌ ÍÏÑÐ . / ,
0 + 3
2 sin Å _ 2-
È É
2 sin2 Ê 2 2
'GÆ 2 Q Ë cos Ð
2
2 ( È É q + / + / /
0 2+
0
sin Å _ 20 3, -:r cos 3, cos Ê - . 3,
sin Å _ 2- 0
q½+ + 2
' Æ 2 cos Å _ 2 - cos Ê r 0 cos Å _ 2-
4 0 B E (8.20)
sin Ê sin + Å _ 2-
inserting this expression and . Ω ' 2< sin Ê . Ê into Formula (8.12) on page 106
and integrating over Ê , we find that the total radiated power from the antenna is
+ ' < ÅÔ 2
lim ° Å - B E º 0Õ 0 (8.22)
0 12
È Ó
Ô
where is the vacuum wavelength.
The quantity
+ + 2 2
+ ' ° Å - ' ° Å - ' < ÅÔ ÅÔ
º rad Å - Æ 2 1Æ 2
º 0 B E 197 B E Ω (8.23)
eff 2 0
6
Ô
is called the radiation resistance. For the technologically important case of a half-
' '
wave antenna, i.e., for Å _ 2 or Å < , Formula (8.21) reduces to
Ô Ö
+ ' Æ 2 1 ( Ò cos2 Ò2 cos Ê ×
° _ 2- º 0 0 . Ê (8.24)
4< 0 sin Ê
analytically as follows:
cos2 Ö cos Ê × 1 cos2 Ö Ò 2 Ú×
( Ò Ò2 ' Ø ' ( '
. Ê cos Ê ÙÛÚ Ü .Ú
0 sin Ê ~ 1 1 0XÚ 2
Ý
Þ < ' 1A cos + <>Ú -
cos2 Úß
2 2 à
' 1 (
1
1 A cos + <KÚ -
+ A .Ú
2 ~ 1 1 Ú - + 1 0XÚ -
' 1 (
1
1 A cos + <>Ú - 1 (
1
1 A cos + <KÚ -
+ A .Ú A + .Ú
4 ~ 1 1 Ú - 4 ~ 1 1 0XÚ -
' 1 (
1
1 A cos + <>Ú - 'âá
+ A .Ú 1A ÚãÙ ä
2 ~ 1 1 Ú - <xå
tion (7.9) on page 93], we see that the quantity p is related to the “true” charges in
the same way as P is related to polarised charge. Therefore, p is referred to as the
polarisation vector.
We introduce a further potential Z with the following property
' ;
LZJ Z 0 (8.29a)
1 ^ Z '
{ 2 A (8.29b)
^ `
;
where and A are the electromagnetic scalar and vector potentials, respectively.
As we see Z acts as a “super-potential” in the sense that it is a potential from which
we can obtain other potentials. It is called the Hertz’ vector or polarisation poten-
tial and, as can be seen from (8.28) and (8.29b), it satisfies the inhomogeneous
è
wave equation
2 ' 1 ^ 2 2 ' p
Z { 2 Z0 é Z (8.30)
^` 2 = 0
This equation is of the same type as Equation (3.19) on page 36, and has there-
fore the retarded solution
1 ( p + ` ret
, 4 x, -
Z+ `4 x- ' @ @ .
3/
, (8.31)
4<>= 0 x 0 x,
with Fourier components
QM ~ x
1 ( p + x , - x
Z + x - ' @ @ .
3/
, (8.32)
4<K= 0 x 0 x,
If we introduce the help vector C such that
'
C Lca Z (8.33)
we see that we can calculate the magnetic and electric fields, respectively, as fol-
lows
' 1 ^ C
B { 2 (8.34a)
^ `
'
E Lca C (8.34b)
where the last equation is valid only outside the source volume, where LZJ E ' 0.
Since we are mainly interested in the fields in the far zone, a long distance from
the source region, this is no essential limitation.
Assume that the source region is a limited volume around some central point
x0 far away from the field (observation) point x. Under these assumptions, we
112 C HAPTER 8. E LECTROMAGNETIC R ADIATION
can expand expression (8.31) on the preceding page the Hertz’ vector, due to the
presence of non-vanishing p + ` , 4 x, - in the vicinity of x0 , in a formal series. For this
purpose we recall from potential theory that
Q x ~ x ê }
@ @
@ @ '
+
2ì A 1- ° ë
+
cos Θ - 9 ë
+
x,0 x0 1 +
- í ë ¯ x 0 x0 - (8.35)
x 0 x, ë p
0
where
Θ is the angle between x,0 x0 and x 0 x0
+
° ë cos Θ - is the Legendre polynomial of order ì
9 ë + x,0 x0 - is the spherical Bessel function of the first kind of order ì
@
ë 1 ¯ + @
í x0 x0 - is the spherical Hankel function of the first kind of order ì
According to the addition theorem for Legendre polynomials, we can write
ë
ê î î ~ î î ðï ~ ï ¯
+ ' + + +
° ë cos Θ - 0 1- ° ë cos Ê - ° ë cos Ê ,- (8.36)
î p ~ ë
î
where ° ë is an associated Legendre polynomial and, in spherical polar coordin-
ates,
' + ;
x,0 x0 x,0 x0 4 Ê ,ñ4 , - (8.37a)
' + @ ; @
x 0 x0 x0 x0 4 Ê 4 - (8.37b)
Inserting Equation (8.35) above, together with Equation (8.36), into Equation (8.32)
on the previous page, we can in a formally exact way expand the Fourier compon-
ent of the Hertz’ vector as
ë
ê } ê î @ @ î î ï
' + 1 + +
Z 0 1- í ë ¯ x 0 x0 - ° ë cos Ê -
4<K= 0 ë p î p ~ ë
0
( ) ~ î
a p + x , - 9 ë
+
x,0 x0 - ° ë
+
cos Ê ,- .
3/
, (8.38)
We notice that there is no dependence on x 0 x0 inside the integral; the integrand
is only dependent on the relative source vector x, 0 x0 .
We are interested in the case where the field point is many wavelengths away
from the sources, i.e., when the following inequalities
@ @
x,0 x0 1 x 0 x0 (8.39)
1¯
hold. Then we may to a good approximation replace í ë with the first term in its
asymptotic expansion:
8.3. R ADIATING SYSTEMS 113
x ~ x0
1 + ë
í ë ¯ 0 - @ @ (8.40)
x 0 x0
and replace 9 ë with the first term in its power series expansion:
ë
2 ì ! ë
+ Ö
9 ë x,0 x0 - + x,0 x0 × (8.41)
2ì A 1- !
Inserting these expansions into Equation (8.38) on the facing page, we obtain the
multipole expansion of the Fourier component of the Hertz’ vector
ê } ë
Z Z ¯ (8.42a)
ë p 0
where
Q x ~ x0 ë
ë ë 1 2 ì ! ( ) ë
Z ¯ ' +
0« - @ @ p + x , - +
x,0 x0 - ° ë
+
cos Θ - .
3/
,
4<>= 0 x 0 x0 + 2ì - !
(8.42b)
are ôöõ ô
Q x ~ x0
' 0¯ ' 1
ô ô cos Ê @ 1 ó 1 cos Ê @ (8.44a)
4<>= 0 x 0 x0
Q ~
ô ' 0¯ ' 1 x x0
0 sin Ê 0 @ @ 1 ó 1 sin Ê (8.44b)
Ð 4<K= 0 x 0 x0
'
ï 0 (8.44c)
Evaluating Formula (8.33) on page 111 for the help vector C, with the spheric-
0
ally polar components (8.44) of Z ¯ inserted, we obtain
Q x ~ x0
0¯ ù 1 1
C 'ø÷
"ó ï ˆ '
B @ @ 0X E @ @ 1 ó 1 sin Ê ù ˆ (8.45)
4<K= 0 x 0 x0 x 0 x0
Applying this to Equation (8.34) on page 111, we obtain directly the Fourier com-
ponents of the fields:
d Q x ~ x0
1
' @ 1 ó 1 sin Ê ù
0
B 0« B @ @ 0À E @ ˆ (8.46)
4< x 0 x0 x 0 x0
' 1 1 x 0 x0
E 2 ú @ @2 0 @ @û cos Ê @ @ (8.47)
4<K= 0 ? x 0 x0 x 0 x0 x 0 x0
Q x ~ x0
1 ü
A ú @ @2 0 @ @ 0 2û
sin Ê ˆ H @ @ 1 "ó 1 (8.48)
x 0 x0 x 0 x0 x 0 x0
These fields constitute the electric dipole radiation, also known as E1 radiation.
Q x ~ x0
Z 0«
1¯ ' @ @ ( ) x,0 x0 p + x, - cos Θ . 3/ , (8.50)
4<>= 0 x 0 x0
Q x ~ x0
' 1 ( ) q½+
0« @ @ x 0 x0 - J + x,0 x0 -:r p + x, - . 3/ , (8.51)
4<K= 0 x 0 x0 2
' 1 ( ) +
mò x,0 x0 - a j + x , - .
3/
, (8.59)
2
1¯
The final result is that the antisymmetric, magnetic dipole, part of Z can be
written
x ~ x0
ó antisym ' +
Z 1 ¯ 0 @ @2 x 0 x0 - a m (8.60)
4<K= 0
x 0 x0
In analogy with the electric dipole case, we insert this expression into Equation (8.33)
on page 111 to evaluate C, with which Equations (8.34) on page 111 then gives the
B and E fields. Discarding, as before, all terms belonging to the near fields and
transition fields and keeping only the terms that dominate at large distances, we
obtain
QM x ~ x0
d
0
Brad + x - '
0 @ + @ m a k- a k (8.61a)
4 < x 0 x0
x ~ x0
Erad + x - '
{ @ @ m a k (8.61b)
4K
< = 0 x 0 x0
which are the fields of the magnetic dipole radiation (M1 radiation).
Again we use this expression in Equation (8.33) on page 111 to calculate the
fields via Equations (8.34) on page 111. Tedious, but fairly straightforward al-
gebra (which we will not present here), yields the resulting fields. The radiation
components of the fields in the far field zone (wave zone) are given by
d x ~ x0
+ ' 0
Brad x - @ @ + k J Q - a k (8.63a)
8< x 0 x0
Q x ~ x0
Erad + x - ' @ @ sq + k J Q - a kr a k (8.63b)
8K
< = 0 x 0 x0
x
u
x x S
x
Figure 8.2. Signals which are observed at the field point x were generated at
source points x on a sphere, centred on x and expanding, as time increases,
with the velocity c outward from the center. The source charge element moves
with an arbitrary velocity u and gives rise to a source “leakage” out of the source
volume 3 .
) )
be used in (8.64) is 6 * + ` ret , 4 x, - .
3/ and 6
, u* + ` ret
, 4 x, - .
3/ , respectively, because
,
during the finite time interval that the observed signal is generated, part of the
charge distribution will “leak” out of the volume element . 3/ , .
The charge distribution which@ contributes @
to the field at + `4 x - is located at + ` , 4 x, -
on a sphere with radius 7 ' x 0 x, ' { + `V0` , - . The radius interval of this
sphere from which radiation is received at the field point x during the time interval
`4I` A .` - is 7 47 A .87 - and the net amount of charge in this radial interval is
+ +
+
x 0 x, - J u
.
&
,
'G* +
`Cret
, 4 x, - .¸. %0 87 * +
` ret
, 4 x, - @ @ .Ã.` (8.65)
x 0 x,
where the last term represents the amount of “source leakage” due to the fact that
the charge distribution moves with velocity u. Since .` ' .87 _ { and .¸.87 ' . 3/ ,
we can rewrite this expression for the net charge as
+
& 'f* + 3/ * + x 0 x, - J u 3/
. , ` ret
, 4 x, - . ,0 ` ret
, 4 x, - { @ @ . ,
x 0 x,
+
'f* + x 0 x, - J u 3/
` ret
, 4 x, - B 10 { @ @ E . , (8.66)
x 0 x,
or
&
* + 3/ ' . ,
`Cret
, 4 x, - . , (8.67)
x ~ x ¯ ¬ u
10 ~
Ì x x
This is the expression to be used in the expressions (8.64) for the retarded poten-
tials. The result is
&
; + ' 1 ( . ,
`g4 x- @ @ (8.69a)
4<>= x ~ x ¯ ¬ u
0 x 0 x, 0
Ì
d &
u. ,
A+ ' 0 (
`g4 x- @ @ (8.69b)
4< x ~ x ¯ ¬ u
x 0 x, 0
Ì
For a sufficiently small and well localised charge distribution we can, assuming
that the integrands do not change sign in the integration volume, use the mean
8.3. R ADIATING SYSTEMS 119
)
value theorem and the fact that 6 .
&
,
'G&
, , evaluate these expressions to become
& &
; + ' 1 , ' 1 ,
`4 x-
4<K=
@ @ x ~ x ¯ ¬ u 4<K= 9 (8.70a)
0 x 0 x, 0 0
Ì
& &
1 , u 1 ,u
A+ `4 x- '
{ 2 @ @ x ~ x ¯ ¬ u
'
{ 2 9 (8.70b)
4<K= 0 x 0 x, 0 4<K= 0
Ì
where
+
9 '
x 0 x, 0
x 0 x, - J u
(8.71)
{
is the retarded relative distance. These potentials are precisely the Liénard-Wiechert
potentials which we derived in Equation (8.70) above using a covariant formalism.
It is important to realise that in the complicated derivation presented here the ob-
server is in a coordinate system which has an “absolute” meaning and the velocity
u is that of the particle, whereas in the covariant derivation two frames of equal
standing were moving relative to each other with u. Expressed in the four-potential,
Equation (5.45) on page 64, the Liénard-Wiechert potentials become
:<; + / = '
&
, 1 u ' + ; {
-
4<>= 0
B 9 4 { 9 E 4 A- (8.72)
G x H xD G ? @BA x C
I u 0 u
? @EDFA xD C >
x H xD
? @BA x C
Figure 8.3. Signals which were generated at the source point JK ¥L x¥NM are ob-
served at the field point JK L x M . The particle, which moves with constant, uniform
velocity u, has then reached the “simultaneous” coordinate x0 .
{
which propagates with speed and arrives at the observation point at time ` . In
other words,
' + {
x 0 x, ` 0X` , - (8.73)
Under the same time interval `«0` , , the particle has moved in a straight line a
distance
@ @
+ ' x 0 x, Ú
`ö0X` , - Ú { (8.74)
to the “simultaneous” position + `4 x0 - . The radius vector of this computed point
relative to the field point + `g4 x - is
@ @
' x 0 x, u
x 0 x0 x 0 x,0 { (8.75)
According to Equation (8.71) on the previous page, the square of the retarded
relative distance 9 is
+ + 2
9 2 '
x 0 x,
2
0 2 x 0 x,
x 0 x, - J u
A B
x 0 x, - J u
E (8.76)
{ {
Combining this with the identity
2 2 ' q½+ q½+
x 0 x, Ú x 0 x, - J ur 2 A x 0 x, - a ur 2 (8.77)
and, from Formula (8.75),
+ ' +
x 0 x, - a u x 0 x0 - a u (8.78)
we can express 9 in terms of the “simultaneous” coordinate x0 :
8.3. R ADIATING SYSTEMS 121
+
9
2
sin2 O
' @ @2 x 0 x0 - a u ' @ @ Ú 2
x 0 x0 0 B { E x 0 x0 10 { 2 (8.79)
Á
We see that E is directed along the vector from the “simultaneous” source point
+ +
`4 x0 - to the field (observation) point `4 x - . In a similar way, the magnetic field
can be calculated and one finds that
d &
0 , Ú 2 1
B' 9 3
B 10 { E u a
2
+
x 0 x0 - ' { 2 u a E (8.85)
4<K= 0
From these explicit formulas for the E and B fields we see that
122 C HAPTER 8. E LECTROMAGNETIC R ADIATION
3. ÚãÙ
{
R E becomes dependent on O
4. ÚãÙ
{
4 sin O 0 R E Ù
+
1 0XÚ 2_ { 2- ECoulomb
5. ÚãÙ
{
4 sin O 1 R E Ù
+
1 0XÚ 2 { 2 ~ 1 2 ECoulomb
_ - É
Accelerated charges
Consider a point charge & , and assume that its trajectory is known as a function of
retarded time
' +
x, x, ` ,- (8.86)
This means that we know the source point x, at which a signal is emitted at time ` ,
in order to arrive at the field point x at time ` . We obtain the retarded velocity and
acceleration from
. x,
u+ `C, -
'
(8.87a)
.` ,
. u . 2 x,
a+ ` ,-
'
u̇ + ` ,-
' '
(8.87b)
.` , .` , 2
If we choose the field point as fixed, (8.87) yields for the relative vector x 0 x, :
. + '
x 0 x, - 0 u+ `C, - (8.88a)
.` ,
. 2 + '
x 0 x, - 0 u̇ + `C, - (8.88b)
.` , 2
The retarded time ` , can, at least in principle, be obtained from the implicit relation
@ + + @
' x ` - 0 x, ` ,-
` 0X` , { (8.89)
The fields are determined, as usual, from the potentials, Formulae (8.80) on the
previous page. In these formulae the unprimed L , i.e., the spatial derivative differ-
entiation operator
' ^ Ç
L / ˆ2 (8.90)
^ 2
Here 9 is the retarded relative distance given by Equation (8.71) on page 119. Mak-
ing use of this, we obtain the following operator relation
@ @
^ ' ^` , ^ ' x 0 x, ^
B
^`
E B
^`
E B
^` ,
E 9 B
^` ,
E (8.94)
x x x x
By applying { +
L - to Equation (8.89) on the preceding page we obtain
{ + ' + 'x 0 x, + +
0 L - ` , L - x 0 x, @ @ J L - x 0 x, -
x 0 x,
+
' x 0 x, x 0 x, - J u +
@ @ 0 @ @ L - `C, (8.95)
x 0 x, x 0 x,
from which we see that
+ ' x 0 x,
L - ` , 0 { 9 (8.96)
This gives the following operator relation when + L - is acting on an arbitrary func-
tion of / and ` , :
124 C HAPTER 8. E LECTROMAGNETIC R ADIATION
^ x 0 x, ^
+
L -
' +
L - A TS + L - ` , VU B E
' +
L - 0 { 9 B E (8.97)
^` , x ^` , x
With the help of the rules (8.97) and (8.94) we are able to replace ` by ` , in the
operations which we need to perform. We find, for instance, that
&
; + ; ' 1 ,
L L - L
4<>= 0
B 9 E
&
' , x 0 x, u x 0 x, ^ 9
0
4<>= 0
9 2
O
@
x 0 x,
@ 0 { 0 { 9 B
^` ,
E P (8.98a)
x
d &
^ ^ ' ^ 0 ,u
^`
A B
^`
E A
^`
B
4< 9 E
x
&
' , 9 ^ 9
4<K= 0
{ 2 3 9 O
x 0 x,
u̇ 0
x 0 x, u
B
^` ,
E P (8.98b)
x
Applying this to the calculation of the E field with the use of the Liénard-Wiechert
potentials, Equations (8.70) on page 119, we obtain
; ^ A
E+ `g4 x- '
0UL 0
^`
& + @ @ {
' , x 0 x, - 0 x 0 x, u _
4<>= 0
9 2
?
@
x 0 x,
@
+ @ @ { @ @
x 0 x, - 0 x 0 x, u _ ^ 9 x 0 x, u̇
0 { 9 B
^` ,
E 0 { 2 H (8.99)
x
In analogy with the uniform motion, we can introduce certain useful quantities
as depicted in Figure 8.4. During the arbitrary motion, we interpret x 0 x0 as the
radius vector of the field point relative to the virtual simultaneous position x0 . This
is the position the charged particle would have had if at ` , all external forces would
have been switched off so that the trajectory would have been a straight line in the
direction of the tangent at x, . The particle would, from that point onwards, have
continued with the constant velocity u + ` , - from x, to x0 .
In order to simplify expression (8.99) above further, we use the fact that
+ +
B
^
E
9 ' Ú 2 x 0 x, - J u
@ @
x 0 x, - J u̇
{ 0 0 { (8.100)
^` , x x 0 x,
and find that we can write the electric field from an arbitrarily moving particle at
+
` , 4 x, - is given by the expression
8.3. R ADIATING SYSTEMS 125
\ x ] x[ \ WXY x Z WX [ Z
^ u 0 u
WXE[FY x[ Z
x ] x[
WXY x Z
Figure 8.4. Signals which are observed at the field point JK L x M were generated at
the source point JKÑ¥ L x¥ M . After time KÑ¥ the particle, which moves with nonuniform
velocity, has followed a yet unknown trajectory. Extrapolating the trajectory
from (K ¥L x¥M , based on the velocity u JK ¥M , defines the “virtual simultaneous radius
vector” x0 .
& @ @
+ ' , + x 0 x, u Ú 2
E `4 x-
4<K= 9 3_ B x 0 x, - 0 { E B 10 { 2E
0 k l m n
Coulomb field when `ba
@
0
@ c
x 0 x, + x 0 x, u
A { 2 a B x 0 x, - 0 { E a u̇P (8.101)
k O l m n
Radiation field
The first part of the field, the velocity field tends to the ordinary Coulomb field
when Ú Ù 0 and does not contribute to the radiation. The second part of the field,
the acceleration field, is radiated into the far zone and is therefore also called the
radiation field.
In a similar way we can compute the magnetic field:
x 0 x, ^
B+ `4 x- '
Lba A +
L - a A ' +
L - a A0 { 9 a B E A
^` , x
&
' , x 0 x, x 0 x, ^
0 @
4<>= 0 { 2 2 x 0 9 x,
@ a u0 @
x 0 x,
@ a B
^`
E A (8.102)
x
where we made use of Equation (8.70) on page 119 and Formula (8.94) on page 123.
But, according to (8.98a),
126 C HAPTER 8. E LECTROMAGNETIC R ADIATION
&
x 0 x, + ; ' , x 0 x,
@
x 0 x,
@ { a L - @
4<K= 0 { 2 2 x 0 9 x,
@ a u (8.103)
so that
x0 x, ; ^
B+ `g4 x- ' @ @ { a 0
+
L - 0 B E AP
x0 x, O ^` x
' x0 x,
@ @ { a E+ `4 x- (8.104)
x0 x,
The radiation part of the electric field is obtained from the acceleration field in
Formula (8.101) on the preceding page as
Erad + `4 x- '
lim E+ `4 x-
x ~ x
& Ó } @ @
, x 0 x, u
' +
9 x 0 x, - ed
a
+
x 0 x, - 0 P a u̇ f
4<>= 0 { 2 3 O
{
&
' , + q½+
4<>= 0 { 2 3 9 x 0 x, - a x 0 x0 - a u̇r (8.105)
'G& +
p1 , x, C` , - (8.110)
and at the same time make the transitions
& ' 2
, u̇ p̈1 Ù 0
pó 1 (8.111a)
'
x 0 x, x 0 x0 (8.111b)
The power flux in the far zone is described by the Poynting vector as a function
of Erad and Brad . We use the close correspondence with the dipole case to find that
it becomes
& 2+d 2
' 0 , u̇ - x 0 x,
S @ @ sin2 Ê @ @ (8.112)
16< 2 { x 0 x, 2 x 0 x,
where Ê is the angle between u̇ and x 0 x0 . The total radiated power (integrated
over a closed spherical surface) becomes
d & 2+ 2 & 2 2
' 0 , u̇ - ' , Ú˙
° { (8.113)
6< 6<K= 0 { 3
which is the Larmor formula for radiated power from an accelerated charge. Note
{
that here we are treating a charge with Ú but otherwise totally unspecified mo-
tion while we compare with formulae derived for a stationary oscillating dipole.
The electric and magnetic fields, Equation (8.108) on the preceding page and Equa-
tion (8.109) on the facing page, respectively, and the expressions for the Poynting
flux and power derived from them, are here instantaneous values, dependent on
the instantaneous position of the charge at x, + ` , - . The angular distribution is that
which is “frozen” to the point from which the energy is radiated.
Bremsstrahlung
An important special case of radiation is when the velocity u and the acceleration
u̇ are collinear (parallel or antiparallel) so that u a u̇ ' 0. This condition (for an
arbitrary magnitude of u) inserted into expression (8.105) on the preceding page
for the radiation field, yields
&
,
Erad + `4 x- '
9
{ 2 3
+
x 0 x, - a
q½+
x 0 x, - a u̇r 4 u g u̇ (8.114)
4<>= 0
from which we obtain, with the use of Formula (8.104) on the facing page, the
magnetic field
& @ @
, x 0 x,
Brad +
`4 x- '
{ 3 3 9
q
u̇ a
+
x 0 x, -:r 4 u g u̇ (8.115)
4<K= 0
{
The difference between this case and the previous case of Ú is that the ap-
9
proximate expression (8.106) on the preceding page for is not valid; we must
128 C HAPTER 8. E LECTROMAGNETIC R ADIATION
h5i 0 j 5k
Figure 8.5. Polar diagram of the energy loss angular distribution factor
sin2 lnm J 1 É ` cos lnmpo M 5 during bremsstrahlung for particle speeds `rq 0,
`sq 0 t 25o , and `bq 0 t 5o .
instead use the correct expression (8.71) on page 119. The angular distribution of
the power flux (Poynting vector) therefore becomes
2z ˙ 2 sin2 x ~ xx
Su
y
w
v 2| } x 0
16{ x ~ xx } 2 1 Q
~ cos 6 }x ~ xx } (8.116)
It is interesting to note that the magnitudes of the electric and magnetic fields are
the same whether u and u̇ are parallel or antiparallel.
We must be careful when we compute the energy (S integrated over time). The
Poynting vector is related to the time when it is measured and to a fixed surface
in space. The radiated power into a solid angle element
Ω, measured relative to
the particle’s retarded position, is given by the formula
2z ˙ 2
rad
Ω u S x ~ xx x ~ xx
Ω u v 0 nw x 2 |
sin2
Ω
8 16{ ~ cos 6
1Q
(8.117)
On the other hand, the radiation loss due to radiation from the charge at retarded
time x :
rad x
Ω u
Ω rad
(8.118)
8 x x
8
Using Formula (8.94) on page 123, we obtain
8.3. R ADIATING SYSTEMS 129
S
Ω
x2 #
u
x
<
x2
x1
Figure 8.6. Location of radiation between two spheres as the charge moves with
velocity u from x1 to x2 during the time interval y¡ ¢£ .
¤¥ ¤¥ §® ¤
¤ ¤
¤8¦-rad
§ Ω ¨ ¤8¦rad ª © § ª Ω ¨ S¬ x« x Ω (8.119)
x« x ©
Inserting Equation (8.116) on the facing page for S into (8.119), we obtain the
explicit expression for the energy loss due to radiation evaluated at the retarded
time
¤¥ ® § 2³ 2
rad ¯ ¤ 0² ˙ sin2 ¯ ¤
¤8¦°§ Ω¨ ± µ ¶ Ω (8.120)
16´ 2
1 «Q· ¸ cos ¯ ¹
5
The angular factors of this expresssion, for three different particle speeds, is plotted
in Figure 8.5.
Comparing expression (8.117) on the preceding page with expression (8.120),
³ µ
§ ª they differ by a factor 1 « cos ¯ º which comes from the extra factor
we ª see that
º x « x introduced in (8.119). Let us explain this in geometrical terms.
© During the interval ¦ §B» ¦ §¼ ¤8¦ § ® and within the solid angle element ¤ Ω the particle
¤¥ ® ¤8¦ § ¾ ¤8¦ §
¦§
radiates an energy ½ rad ¯ º . As shown in Figure 8.6 § ® energy is at time
§ ¦ this
§ ¦ §¼ two
located between
¤8¦ § ® spheres,§ ¦ § ®one
¼ outer ¦ in¦ §x¼ 1 ¤8¦ § ® and
¤8¦ with its origin ¾ one ¦§®
¦ § ¤8with
¦ inner
its origin in x1 ¨ x1 u and radius µ ½ « ¨ µ « « .
From Figure 8.6 we see that the volume element subtending the solid angle ele-
ment
¤5¿
¤
Ω ¨ ª § ª2 (8.121)
x « x2
is
130 C HAPTER 8. E LECTROMAGNETIC R ADIATION
where Formula (8.71) on page 119 was used in the last step. Hence, the volume
element under consideration is
Ë
3À Á
5ÂÃ
8Ä Á } Â | 8
x
x ~ x2x } Ì
(8.124)
We see that the energy which is radiated per unit solid angle during the time interval
xÍ x Å
8 x is located in a volume element whose size is dependent. This explains
the difference between expression (8.117) on page 128 and expression (8.120) on
the previous page.
Let the radiated energy, integrated over Ω, be denoted ˜ rad . After tedious, but
relatively straightforward integration of Formula (8.120) on the preceding page,
one obtains
˜ rad Á 0 wyx 2 z ˙ 2 1
v | Î (8.125)
8 x 6{ 2 3
1 ~ 2 Ï
If we know u x , we can integrate this expression over x and obtain the total
energy radiated during the acceleration or deceleration of the particle. This way
we obtain a classical picture of bremsstrahlung (braking radiation). Often, an
atomistic treatment is required for an acceptable result.
E XAMPLE 8.1
Ð B REMSSTRAHLUNG AT LOW SPEEDS AND SHORT ACCELERATION TIMES
Calculate the bremsstrahlung when a charged particle, moving at a non-relativistic speed,
is accelerated or decelerated during an infinitely short time interval.
We approximate the velocity change at time ÑÒ8ÓÔÑ 0 by a delta function:
x Ù x0 ä x Ù xÒ (8.129)
From the general expression (8.104) on page 126 we conclude that E è B and that it
suffices to consider éëê æ Erad æ . According to the “bremsstrahlung expression” for Erad ,
Equation (8.114) on page 127,
Ò sin î
éìÓ 4ñ
í
ï ð 0 2 æx Ù
o xÒ æ ∆àå×ØÕÑ Ò Ù Ñ 0 Ö (8.130)
òóÓ é o (8.131)
Ú ýåÚ Ü é ò¡ß¢Ñ Ò ß 2 Ó
Ü
o Ú¢ýåÚ Þ Ü é 2 Øß Ñ Ò ß
1 1
Ó 2
0 Þ 0
Ó ð 0 o Ú ý Ú Ü é 2 ßØÑ Ò ß 2
Ü Ü
(8.133)
Þ
Ü
According to Parseval’s identity [cf. Equation (8.15) on page 107] the following equality
holds:
For our infinite spectrum, Equation (8.132) on the previous page, we obtain
Ö
í Ò ï Õ 3∆ð à o 3 Ú ß Ú sin2 î sin î ß î ßØû
2 2
Ó 16
0 0
0
Ó 3ïñí ðÒ o þ ∆o à ßØû
2 2
(8.136)
0 2ï
ü
We see that the energy spectrum ˜ rad is independent of frequency û . This means that if
we integrate it over all frequencies û
0 Ö , a divergent integral would result.
In reality, all spectra have finite widths, with an upper cutoff limit set by the quantum
condition
û Ó 1
Õ ∆à Ö 2
(8.137)
2
which expresses that the highest possible frequency in the spectrum is that for which all
kinetic energy difference has gone into one single field quantum (photon) with energy û .
If we adopt the picture that the total energy is quantised in terms of ô photons radiated
during the process, we find that
ü˜
rad ßØû Ó ß (8.138)
û
or, for an electron where Ò Ó Ù æ ÷ æ , where ÷ is the elementary charge,
í
2 Øß û 1 2 ∆à 2 ßØû
÷
ß Ó 4ï5ð o 32ï þ ∆o à ä
2
0 û 137 3ï
þ o û (8.139)
where we used the value of the fine structure constant ÷ 2 m Õ 4ïñð 0 o Ö ä 1 m 137.
Even if the number of photons becomes infinite when û 0, these photons have negligible
energies so that the total radiated energy is finite.
E ND OF EXAMPLE 8.1
"%$ - x( x . x&
x
u
0
Figure 8.7. Coordinate system for a particle in circular motion with velocity
u ÕÑÒ Ö along the tangent and constant acceleration u̇ ÕÑÒ Ö toward the origin at the
source point ÕÑ Ò xÒ Ö . The /
0 1
axes are chosen so that the relative field point vector
x Ù xÒ makes an angle with the axis which is normal to the plan of the orbital
motion. The radius of the orbit is . 2
3 , and an angular frequency 4 0, we obtain
5 x Á 4 x (8.140a)
3 6 7 ˆ cos 5
x Å 8 ˆ sin 5 x :9
0
xx x Á (8.140b)
u x Á ẋx x Á 3 4 0 6 ~ 7 ˆ sin 5 x Å 8 ˆ cos 5 x ; 9 (8.140c)
z Á } u} Á 3 4 0 (8.140d)
u̇ x Á ẍx x Á ~ 3 4 02 6 7 ˆ cos 5 x Å 8 ˆ sin 5 x ; 9 (8.140e)
z˙ Á } u̇ } Á 3 4 02 (8.140f)
where < is the angle between x ~ xx and the normal plane of the particle orbit.
134 C HAPTER 8. E LECTROMAGNETIC R ADIATION
The power flux is given by the Poynting vector, which, with the help of For-
mula (8.104) on page 126, can be written
x ~ xx
Á E> B Á } E} 2
1 1
S | }x ~xx } (8.143)
v 0
v 0
where the retarded distance Ë is given by expression (8.71) on page 119. With the
radiation part of the electric field, expression (8.105) on page 126, inserted, and
using (8.142a) and (8.142b) above, one obtains, after some algebra, that
Î
5 5
< Í5 < ~ 2 Ï sin2 <
z 1 ~Q sin cos 2~ 2
sin2
Á v 0w x 2 ˙2 1
cos 5
rad
16{ 2 |
8 x 1~ sin < 5
(8.145)
5
The angles and vary in time during the rotation, so that refers to a moving
coordinate system. But we can parametrise the solid angle
Ω in the angle and 5
<
the (fixed) angle so that
Ω Á sin
. Integration of Equation (8.145) over < < 5
this
Ω, gives after some cumbersome algebra the angular integrated expression
˜ rad Á 0 w x 2 z ˙ 2 1
v | Î (8.146)
8 x 6{
1Q
~ 22 Ï
2
1. z ?A
| @ 1 which corresponds to cyclotron radiation.
Á v 0 yw x 2 z ˙ 2 1 ~ cos2
2z 2
Á v 0 yw x ˙ sin2
rad
16{ 2 | 16{ 2 |
(8.149)
8 x
Consequently, a fixed observer near the orbit plane will observe cyclotron radi-
ation twice per revolution in the form of two equally broad pulses of radiation with
alternating polarisation.
rad { ? 2 Í 0 Á v 0 w x 2 z ˙ 2 1
16{ 2 |
(8.150)
8 x ~
1Q
3
which means that an observer near the orbit plane sees a very strong pulse followed,
half an orbit period later, by a much weaker pulse.
The two cases represented by Equation (8.149) and Equation (8.150) above are
very important results since they can be used to determine the characteristics of the
particle motion both in particle accelerators and in astrophysical objects where a
direct measurement of particle velocities are impossible.
< ?
In the orbit plane ( Á { 2), Equation (8.145) on the facing page gives
Î
? 2Í 5 z
1~ 5 2~ 1~ 2 Ï
2
sin2 5
{ Á v 0 yw x 2 ˙2 cos
5
rad
8 x 16{ 2 | 1 ~Q cos 5
(8.151)
"%$ - x( y
x . x&
∆
u
∆
"%$ &%- x& (
+ !#u̇"%$F&)(
0
0
Figure 8.8. When the observation point is in the plane of the particle orbit, i.e.,
ÓÔï m 2 the lobe width is given by ∆î .
z
cos 5 0
Á
| (8.152a)
z
sin 5 H
Á G 0 1~ |
2
2
(8.152b)
5
Hence, the angle 0 is a measure of the synchrotron radiation lobe width ∆ ; see
Figure 8.8. For ultra-relativistic particles, defined by
z
I Á J 1
1Í G 1~ |
2
@ 1Í (8.153)
K
2
1~ 2
2
∆ C I1 (8.155)
This angular interval is swept by the charge during the time interval
8.3. R ADIATING SYSTEMS 137
∆
∆ x Á 4 (8.156)
0
during which the particle moves a length interval
∆
L
∆ Á z ∆ x Á z
4 0
(8.157)
in the direction toward the observer who therefore measures a pulse width of length
∆ Á ∆ x ~
∆ L Á ∆ x ~
z ∆ x Î
Á 1~ Ï
z
∆ x Á
Î z
~ | Ï
∆
|
|
| 1
4 0
Î z z 2
C 1~ | Ï I4
1 Á 1 ~ 1z Å
I4 C
1
1~ | 2 I4
1
Ç ÈÉ Ê
Ç ÅÈ É | Ê
2
1? I
0 1 0 0
2 C 2
Á
I 4
1 1
(8.158)
2 3 0
As a general rule, the spectral width of a pulse of length ∆ is ∆ 1 ∆ . In the 4 B ?
ultra-relativistic synchrotron case one can therefore expect frequency components
up to
4 1 Á C
2 3 0 I 4 (8.159)
∆
max
M4
M C I
A spectral analysis of the radiation pulse will exhibit Fourier components 0 from
M Á 1 up to 2 3.
When N
electrons are contributing to the radiation, we can discern between
three situations:
1. All electrons are very close to each other so that the individual phase differ-
ences are negligible. The power will be multiplied by 2 relative to a single N
electron and we talk about coherent radiation.
2. The electrons are perfectly evenly distributed in the orbit. This is the case,
for instance, for electrons in a circular current in a conductor. In this case the
radiation fields cancel completely and no far fields are generated.
3. The electrons are unevenly distributed in the orbit. This happens for an open
ring current which is subject to fluctuations of order as for all open O N
systems. As a result we get incoherent radiation. Examples of this can be
found both in earthly laboratories and under cosmic conditions.
P x~ xx x~ xx ~
rad
8 x 16{ 2 | Ë 5 |
(8.160)
Integration over the solid angle Ω gives the totally radiated power as
˜ rad Á 0 w x 2 z ˙ 2 1 Q ~ 2 sin2 U
2
v | Î (8.161)
8 x 6{
1Q ~ 22 Ï
3
U
where is the angle between u and u̇.
V U
In the limit u u̇, sin Á 0, which corresponds to bremsstrahlung. For u u̇,
U
sin Á 1, which corresponds to cyclotron radiation or synchrotron radiation.
XW
~ u ZY (8.162)
If we return to the original definition of the potentials and the inhomogeneous wave
equation, Formula (3.19) on page 36, for a generic potential component Ψ Í x and
a generic source component Í x , [
\ Í x Á | 2 2 ~ ] 2 Ψ Í x Á [ Í x
2
Ψ
1 2
(8.163)
we find that under the assumption that u Á z 7 ˆ 1 , this equation can be written
z 2 2Ψ
1~ | 2
2Ψ 2Ψ
Á ^~ [ x
À 21 Å À 22 Å À 23
(8.164)
i.e., in a time-independent form. Transforming
_1Á ` À 1
1 ~ z 2? | 2
(8.165a)
_2Á À 2
_3Á À 3 (8.165b)
(8.165c)
the time-independent equation (8.164) reduces to an ordinary Poisson’s equation
8.3. R ADIATING SYSTEMS 139
a] Ψ _ Á ~A[ J
2
1~ z 2 ?| _ Í_ Í_
2
1 2 3
(8.166)
Ψ b Á 1 [ b x
_ x
c d b ~ b x
3
(8.167)
4{
Ψ x Á 1 [ xx
3À x
4{ cd Ë (8.168)
Ë Á À 1 ~ À 1x 2 Å 1 ~ z 2 ? | 6À
2
2 ~ À 2x 2 Å À 3 ~ À 3x 2 9
1
2
(8.169)
Applying this to the explicit scalar and vector potential components, realising that
e
for a rigid charge distribution moving with velocity u, the current is given by
jÁ e u we obtain
f Í x Á
1 xx
3À x e
4{hg 0 c d Ë (8.170a)
ue xx 3À Á u f
A Í x Á
1
4{hg 0 | 2 c d Ë
x | 2 Íx (8.170b)
f Í x Á
wnx
4{hg Ë 0
(8.171a)
A Í x Á wyx u
4{hg | Ë
2
(8.171b)
0
The E and B fields are obtained from Formulae (8.80) on page 121 and the poten-
tials given by Equations (8.170) in the following way, making use of Formula (8.162)
140 C HAPTER 8. E LECTROMAGNETIC R ADIATION
f
on page 138:
Á ~^Y f ~ A Á ~^Y f ~ 1 u Á ~^Y f Å u u ZY f
E | 2 |2
Î u f u f
| j Y Ï | ~kY
Á (8.173a)
Î uf
B Á Yl> A Á Yl> Á Y f > u Á ~ u >mY f
|2 Ï |2 |2
Á u >on u Z Y f Ï u ~kY fqp Á u > E
Î
|2 | | |2 (8.173b)
> p ZY f kY f >mY f Ï p
Î u Î u Î u
FÁ w EÅ u |2 E Ï Á w | n
u
Ï | ~ ~
u
>
| | n >
(8.174)
Applying the “bac-cab” rule, Formula (F.56) on page 159, on the last term yields
>Y f f Y f
Î Î z
> Ï Á | ZY
u u u u 2
| | Ï | ~ | 2
(8.175)
U
The scalar function is called the convection potential or the Heaviside poten-
tial. When the rigid charge distribution is well localised so that we can use the
potentials (8.171) the convection potential becomes
z
U Á 1~
2
wyx
| 2 4{ hg 0
Ë (8.178)
Á I 2 À 1 ~ À x 2 Å À 2 ~ À x 2 Å À 3 ~ À x 2 Á Const (8.179)
1 2 3
U
These Heaviside ellipsoids are equipotential surfaces, and since the force is propor-
tional to the gradient of , which means it is perpendicular to the ellipsoid surface,
8.3. R ADIATING SYSTEMS 141
v{
y
uwv x
z
u ˆ
|~} ˆ
the force between the two charges is in general not directed along the line which
connects the charges. A consequence of this is that a system consisting of two
comoving charges connected with a rigid bar, will experience a torque. This is the
idea behind the Trouton-Noble experiment, aimed at measuring the absolute speed
of the earth or the galaxy. The negative outcome of this experiment is explained
by the special theory of relativity which postulates that mechanical laws follow the
same rules as electromagnetic laws, so that a compensating torque appears due to
mechanical stresses within the charge-bar system.
Virtual photons
According to Formula (8.84) on page 121 and Figure 8.9
Á Á wx 1~
z 2
x0 =ˆ
4{hg 0
Ë 3 | 2 x~
Á wx
4{hg I 6 z 0 2 2Å 2 ?I 9
2 3 2
(8.180)
which represents a contracted field, approaching the field of a plane wave. The
passage of this field “pulse” corresponds to a frequency distribution of the field
Here, 1 is the Kelvin function (Bessel function of the second kind with imaginary
argument) which behaves in such a way for small and large arguments that
142 C HAPTER 8. E LECTROMAGNETIC R ADIATION
w 4 @ z I
4{ g z Í (8.182a)
0 4 zI
Í
2
0
(8.182b)
K length is of the order ? zqI .
showing that the “pulse”
the electric and magnetic fields,
Due to the equipartition of the field energy into
the total field energy can be written
Á g
ÀxÁ g z
8 2{
max
cd c c
2 3 2
0 0 (8.183)
min
where the volume integration is over the plane perpendicular to u. With the use
of Parseval’s identity for Fourier transforms, Formula (8.15) on page 107, we can
rewrite this as
Á g z c c } # }
4 2{
4 Á max
Ô
4{
c
2
0
0
min 0
C w z
4
2
2{ g c c
2
(8.184)
0 0
min
C w ln zI
from which we conclude that
2
2{ g z 2 0 4 min
(8.185)
|I
photons [cf. Equation (8.138) on page 132]. Then we find that
N 4 C {
2 < Î | 4
p1 ~ px Ï
4
ln 1
4 (8.187)
Since this change in momentum corresponds to a change in energy 4 Á ~
Á I | , we see that 1 x
1
and 1 0
2<
} | p ~ | px }
4
C
NXö
4 { ln | ~ x 4 1
2
1 1
(8.188)
0 1 1
a formula which gives a reasonable account of electron- and photon-induced pro-
cesses.
8.3. R ADIATING SYSTEMS 143
~Á 0 ~g
2E E 2E
(8.192)
v
2 v 2
(1D) wave
describing propagation
in a material medium.
In Chapter 2 we concluded that the existence of a finite conductivity, manifesting
itself in a collisional interaction between the charge carriers, causes the waves
to decay exponentially with time and space. Let us therefore assume that in our
medium Á 0 so that the wave equation simplifies to
Á 0~g
2E 2E
(8.193)
v 2
2
If we introduce phase velocity in the medium as
the
¡ Á 1 Á 1 Á ¢|
O g v O g 0 mv 0 O m (8.194)
£Á [ ~ ¡ ¥
Å ¤ Å ¡ Í ¦ Á 1Í 2Í 3 (8.195)
The ratio of the phase speed in vacuum and in the medium
| Á
¡ O ¢ m
Á | O gv r M def
(8.196)
r¨§ © ˆ Á § ª ˆ ¡ Á 4 v¡
k
def
¡ ¡ (8.197)
%
® ¯ ±°
EÁ E 0
kx
(8.198)
where now k is the wave vector in the medium given by Equation (8.197) above.
With these definitions, the vacuum formula for the associated magnetic field, Equa-
tion (2.30) on page 25,
B Á O g v ©ˆ > E Á 1 ©
¡ ˆ> E Á
4
1
k > E (8.199)
~¡ Á | Á 4
M § (8.200)
If the medium has a refractive index which, as is usually the case, dependent on
4
frequency , we say that the medium is dispersive. Because in this case also k 4
4
and k), so that the group velocity
Á 4
g
§ (8.201)
has a unique value for each frequency component, and is different from . Except ¡
in regions of anomalous dispersion, is always smaller than | . In a gas of free ¡
charges, such as a plasma, the refractive index is given by the expression
M ´ Á 1~
4 2
4
2 p
2
(8.202)
where · ·
4 Á¶µ· Ng w ·
2
2
(8.203)
· ·
p
0
is the plasma frequency. Here and denote the mass and number dens- N
· ·
ity, respectively, of charged particle species . In an inhomogeneous plasma,
N Á N
x so that the refractive index and also the phase and group velocit-
ies are space dependent. As can be easily seen, for each given frequency, the phase
and group velocities in a plasma are different from each other. If the frequency 4
¡
is such that it coincides with p at some point in the medium, then at that point 4
Wl¸
while g
W
0 and the wave Fourier component at is reflected there. 4
Vavilov-Čerenkov radiation
As we saw in Subsection 8.3.3, a charge in uniform, rectilinear motion in vacuum
does not give rise to any radiation; see in particular Equation (8.84) on page 121.
Let us now consider a charge in uniform, rectilinear motion in a medium with elec-
tric properties which are different from those of a (classical) vacuum. Specifically,
consider a medium where
¡ Á | Á 1 |
M O gv º 0
(8.205)
Hence, in this particular medium, the speed of propagation of (the phase planes of)
electromagnetic waves is less than the speed of light in vacuum, which we know is
146 C HAPTER 8. E LECTROMAGNETIC R ADIATION
an absolute limit for the motion of anything, including particles. A medium of this
kind has the interesting property that particles, entering into the medium at high
speeds } u } , which, of course, are below the phase speed in vacuum, can experience
that the particle speeds are higher than the phase speed in the medium. This is the
basis for the Vavilov-Čerenkov radiation that we shall now study.
If we recall the general derivation, in the vacuum case, of the retarded (and
advanced) potentials in Chapter 3 and the Liénard-Wiechert potentials, Equa-
tions (8.70) on page 119, we realise that we obtain the latter in the medium by
a simple formal replacement | | in the expression (8.71) on page 119 for Ë . ?M
Hence, the Liénard-Wiechert potentials in a medium characterized by a refractive
W
M
index , are
f
®M » ° ¯
wyx wyx
Í x Á Á
1 1
4{g 0
}
x ~ xx }~ x x u
4{g 0
Ë (8.206a)
® »°¯
A Í x Á
1 wyx u Á 1 wyx u
4{g 0
| 2 }
x ~ xx ~ M
} x x u
4{ hg 0
| 2 Ë (8.206b)
where now
x~ xx u
Ë Á x ~
xx ~ M | (8.207)
The need for the absolute value of the expression for Ë is obvious in the case when
? ½¼ ? M
z |
? ³@ ? M
z |
1 because then the second term can be larger than the first term; if
1 we recover the well-known vacuum case but with modified phase
speed. We also note that the retarded and advanced times in the medium are [cf.
Equation (3.34) on page 39]
rx et Á rx et Í x ~ xx Á ~ § }x ~ } Á
xx
~
} x ~ xx } M
4 | (8.208a)
x Á x Í x ~ xx Á Å § } x ~ xx } Á
Å
} x ~ xx } M
adv adv
4 | (8.208b)
so that the usual time interval ~ó x between the time measured at the point of
observation and the retarded time in a medium becomes
} x ~ xx } M
~ x Á | (8.209)
For z ? X
| ¼ 1 ? M , the retarded distance Ë , and therfore the denominators in Equa-
tions (8.206) vanish when
8.3. R ADIATING SYSTEMS 147
¾c ¿c u
Figure 8.10. Instantaneous picture of the expanding field spheres from a point
charge moving with constant speed à mpo 1 m in a medium where 1. This À Á ÁÀ
generates a Vavilov-Čerenkov shock wave in the form of a cone.
M x ~ xx | Á x ~
u
xx M z
cos c Á x ~ xx
| (8.210)
In the direction defined by this angle c , the potentials become singular. During
the time interval ~ x given by expression (8.209) on the preceding page, the field
exists within a sphere of radius } x ~ xx } around the particle while the particle moves
a distance
L Á z ~ x (8.212)
speed | ?M
This cone of potential singularities and field sphere circumferences propagates with
in the form of a shock front, called Vavilov-Čerenkov radiation.1 The
Vavilov-Čerenkov cone is similar in nature to the Mach cone in acoustics.
1
The first observation of this radiation was made by P. A. Čerenkov in 1934, who was then a post-
graduate student in S. I. Vavilov’s research group at the Lebedev Institute in Moscow. Vavilov wrote
148 C HAPTER 8. E LECTROMAGNETIC R ADIATION
j Á w x u  xx ~ u x Á w xz  À x ~ z x  x  à x 7ˆ (8.214)
j
Á wyx Ä »
 x  à x 7 ˆ (8.215)
2{
This Fourier component can be used in the formulae derived for a linear current in
Subsection 8.3.1 if only we make the replacements
g W g Á M g 2
§ W M |4
0 0 (8.216a)
(8.216b)
In this manner, using j from Equation (8.215), the resulting Fourier transforms of
the Vavilov-Čerenkov magnetic and electric radiation fields can be calculated from
the expressions (8.4) and (8.5) on page 104, respectively.
The total energy content is then obtained from Equation (8.15) on page 107
(integrated over a closed sphere at large distances). For a Fourier component one
obtains [cf. Equation (8.18) on page 107]
Å
ΩC
1
> k ¯ »
À x
Ω 2
4{hg M | c d
kx 3
j
rad
0
16{ g | c z S
2
exp
3
0
3
(8.217)
where is the angle between the direction of motion, 7 ˆ x , and the direction to the
©
the spatial extent of the motion of the particle to the closed interval 6 ~Æ Í Æ 9 on the
observer, ˆ . The integral in (8.217) is singular of a “Dirac delta type.” If we limit
a manuscript with the experimental findings, put Čerenkov as the author, and submitted it to Nature.
In the manuscript, Vavilov explained the results in terms of radioactive particles creating Compton
electrons which gave rise to the radiation (which was the correct interpretation), but the paper was
rejected. The paper was then sent to Physical Review and was, after some controversy with the
American editors who claimed the results to be wrong, eventually published in 1937. In the same
year, I .E. Tamm and I. M. Frank published the theory for the effect (“the singing electron”). In fact,
predictions of a similar effect had been made as early as 1888 by Heaviside, and by Sommerfeld in
his 1904 paper “Radiating body moving with velocity of light”. On May 8, 1937, Sommerfeld sent a
letter to Tamm via Austria, saying that he was surprised that his old 1904 ideas were now becoming
interesting. Tamm, Frank and Čerenkov received the Nobel Prize in 1958 “for the discovery and the
interpretation of the Čerenkov effect” [V. L. Ginzburg, private communication].
Ç È axis we can evaluate the integral to obtain
É Å#Ê Ω ËÍÌ È M 4 sin Î sin ÑÓÒ 1 ÔÖÕZØ × cos Î Ù Ú ×ÝÛ Ü Ê Ω
2 2 2 2
rad
4Ï g Ð ÑÓÒ 1 Ô½ÕZØ × cos Î ÙÛ
3 3
(8.218)
2
0
×ÞÜ
which has a maximum in the direction Î c as expected. The magnitude of this
maximum grows and its width narrows as Æ ß
¸ . The integration of (8.218)
over Ω therefore picks up the main contributions from Î à Î c . Consequently, we
can set sin Î à sin Î c and the result of the integration is
2 2
ïñð ÚÛ
à Ì È ë ì í sin Î c â sin 1 ò ÕZ×ôØó õ ×Ýö Ê ê
2 1 2
2 2
2Ï Ð î ï÷ð 1 ò ÕZ×ôØ ó õ Û
2 3
(8.219)
2
×ö
0 1
ê
The integral (8.219) is strongly in peaked near ËøÔ Ð ù ä ë ú å , or, equivalently,
near cos Î c Ë Ð ù ä ë ú å so we can extend the integration limits to ûXü without
introducing too much error. Via yet another variable substitution we can therefore
approximate
ï÷ð 1 ò ÕZ×ôØÝó õ Ú Û ê Ç Ç
cos Î c â
1 sin2
× ö Ê à ý 1 Ô ë Ð ú þ Ð÷ì ÿ ë â
Ý 2
Ç Ê
sin2
î î
2
sin
ïñð 1 ò ÕZ×ôØ ó õ Û 2 2 2 2
×ö
1
Ë Ð÷ì ÿ ë Ï ý 1 Ô ë Ð ú þ
2
2 2
(8.220)
ä ì Óì ò Ê ì å
leading to the final approximate result for the total energy loss in the frequency
interval
É ˜ á#Ê ì Ë Ì È ÿ ý 1 Ô Ð ì Ê ì
2 2
rad
2Ï í Ð ë ú þ 0
2 2 2
(8.221)
É #á Ê ì
is
Èì ý Ð ì
˜ rad
Ë Ï í Ð Ô ë äì åú þ Ê
Ì
2 2
ÿ 2 4 0 2
1 2 2
(8.222)
This result was derived under the assumption that 1 , i.e., under the ú ù Ð ù ë äì å
ive. For all media it is true that 1 when ë äì å ß
, so there exist always aì ß ü
condition that the expression inside the parentheses in the right hand side is posit-
149
150 C HAPTER 8. E LECTROMAGNETIC R ADIATION
ë
highest frequency for which we can obtain Vavilov-Čerenkov radiation from a fast
charge in a medium. Our derivation above for a fixed value of is valid for each
individual Fourier component.
B IBLIOGRAPHY 8
[1] Richard Becker. Electromagnetic Fields and Interactions. Dover Publications, Inc.,
New York, NY, 1982. ISBN 0-486-64290-9.
[2] Vitaliy Lazarevich Ginzburg. Applications of Electrodynamics in Theoretical Physics
and Astrophysics. Gordon and Breach Science Publishers, New York, London, Paris,
Montreux, Tokyo and Melbourne, Revised third edition, 1989. ISBN 2-88124-719-9.
[3] John D. Jackson. Classical Electrodynamics. Wiley & Sons, Inc., New York, NY . . . ,
second edition, 1975. ISBN 0-471-43132-X.
[4] Jerry B. Marion and Mark A. Heald. Classical Electromagnetic Radiation. Academic
Press, Inc. (London) Ltd., Orlando, . . . , second edition, 1980. ISBN 0-12-472257-1.
[5] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
[6] Jack Vanderlinde. Classical Electromagnetic Theory. John Wiley & Sons, Inc., New
York, Chichester, Brisbane, Toronto, and Singapore, 1993. ISBN 0-471-57269-1.
151
152
A PPENDIX F
Formulae
F.1 The Electromagnetic Field
F.1.1 Maxwell’s equations
Constitutive relations
D Ë íE (F.5)
H Ë
B
(F.6)
j Ë E (F.7)
PË í 0 E (F.8)
153
154 A PPENDIX F. F ORMULAE
Ë
A
B
(F.9)
E Ë Ô Ô
A (F.10)
4x å E. ä x å .
B ä xå ä x Ô Ð x Ô x4 (F.24)
=
. x Ô x4 . Ô ä x Ô x4 å uÐ (F.25)
R?
ä x Ô x4 å Ô . x Ô x4 . uÐ (F.26)
4 . x Ô x4
.
ý
þ (F.27)
x =
156 A PPENDIX F. F ORMULAE
4Ï í = Ð þ
E 1 3 2
R0 (F.28)
0
u E ä xå
Bä x å
Ð 2
(F.29)
.R . Ô ý R u 2
= Ð þ
2 0
0 (F.30)
R
xÔ x (F.31)
0 0
F.3.5 Four-velocity
B
ú B d3 ð uP õ (F.39)
d=
M M
F.3.6 Four-momentum
T B QU 0 P 2 ú B ä P p å (F.40)
F.3.8 Four-potential
W B P Aå
ä (F.42)
ä å ä åä
ther c x x ededed be arbitrary scalar fields and a x b x c x d x ededed arbitrary ä å ä å ä å ä å
vector fields.
N
The differential vector operator is in Cartesian coordinates given by
^ f
^ 6 ˆ 3 def
^ h
i
3
def
g (F.44)
1
6
where ˆ , j
1 2 3 is the j th unit vector and 6 ˆ 1 ^ 6 ˆ , 6 ˆ 2 ^ k ˆ , and 6 ˆ 3 ^ l ˆ . In
component (tensor) notation
can be written
m ý 3 3 3 þ
ý 3 _ a þ (F.45)
1 2 3
Volume element
1 33 1y 1SuC1x u 2 S1 uv1 Ω (F.52)
F.4. V ECTOR R ELATIONS 159
a
b
r b
a
} !2z {~! 6 ˆ (F.54)
a ä b cå ä a bå c
(F.55)
a ä b cå
b a cå r c a bå
ä ä (F.56)
a
ä b cå ò b ä c aå ò c ä a bå 0 (F.57)
ä a bå ä c då a 9 b ä c då ; ä a cå ä b då r ä a då ä b cå (F.58)
ä a bå ä c då ä a b då c r ä a b cå d (F.59)
c å c ò c
ä (F.60)
c a å c
a r a s c
ä (F.62)
a b å b
aå r a å
ä ä ä b (F.63)
ä a bå a ä bå r b ä aå ò ä b - å a r ä a - å b (F.64)
ä a bå a ä bå ò b ä
aå ò ä b - å a ò ä a - å b (F.65)
L c m 2 c (F.66)
s c 0 (F.67)
aå
ä 0 (F.68)
ä a å aå r m
ä 2
a (F.69)
Special relations
In the following k is an arbitrary constant vector.
x 3 (F.70)
x
0 (F.71)
. x. . x. (F.72)
x
ý . 1. þ r . x.
3
(F.73)
x x
ý . x.
x þ 3
r m 2 ý . 1. þ
x
4 ä xå (F.74)
>
ý . k. r k. . x
ý . 1. þ
x þ k @ x3x
(F.75)
>
k
ý . x. 3 þ @ r ý k. . 3x þ if . x . 0 (F.76)
x x
m ý . k. þ
2
k
m . 1 . þ r 4 k ä x å
2 ý (F.77)
x x
k a å k aå ò k
ä ä ä aå r ä k aå (F.78)
Integral relations
ä å
Let y x be the volume bounded by the closed surface x y . Denote the 3-
å ä å
dimensional volume element by 1 33 ^ d y and the surface element, directed along ä
the outward pointing surface normal unit vector w ˆ , by 1 S ^ d23 w ˆ . ä å
â / ä aå 1 3 1 S a
3
(F.79)
â / ä c å 1 3 1 Sc
3
(F.80)
â / ä aå 1 3 1 S a 3
(F.81)
160
F.4. V ECTOR R ELATIONS 161
c1 l 1 S s c (F.82)
a
1 l 1 S
ä a å (F.83)
162 A PPENDIX F. F ORMULAE
B IBLIOGRAPHY F
[1] George B. Arfken and Hans J. Weber. Mathematical Methods for Physicists. Academic
Press, Inc., San Diego, CA . . . , fourth, international edition, 1995. ISBN 0-12-059816-
7.
[2] Philip M. Morse and Herman Feshbach. Methods of Theoretical Physics. Part I.
McGraw-Hill Book Company, Inc., New York, NY . . . , 1953. ISBN 07-043316-8.
[3] Wolfgang K. H. Panofsky and Melba Phillips. Classical Electricity and Magnetism.
Addison-Wesley Publishing Company, Inc., Reading, MA . . . , third edition, 1962.
ISBN 0-201-05702-6.
163
164
A PPENDIX M
Mathematical
Methods
M.1 Scalars, Vectors and Tensors
Every physical observable can be described by a geometric object. We will de-
scribe the observables in classical electrodynamics mathematically in terms of scal-
ars, pseudoscalars, vectors, pseudovectors, tensors or pseudotensors and will not
exploit differential forms to any significant degree.
A scalar describes a scalar quantity that may or may not be constant in time
and/or space. A vector describes some kind of physical motion due to vection
and a tensor describes the motion or deformation due to some form of tension.
However, generalisations to more abstract notions of these quantities are common-
place. The difference between a scalar, vector and tensor and a pseudoscalar,
pseudovector and a pseudotensor is that the latter behave differently under such
V
coordinate transformations which cannot be reduced to pure rotations.
Throughout we adopt the convention that Latin indices j 8 ededed run over the
range 1 2 3 to denote vector or tensor components in the real
Euclidean three-
dimensional (3D) configuration space 3 , and Greek indices ededed , which
are used in four-dimensional (4D) space, run over the range 0 1 2 3.
M.1.1 Vectors
Radius vector
Any vector can be represented mathematically in several different ways. One suit-
able representation is in terms of an ordered -tuple, or row vector, of the co-
ordinates 3 where is the dimensionality of the space under consideration. The
most basic vector is radius vector which is the vector from the origin to the point
of interest. Its -tuple representation simply enumerates the coordinates which
165
166 A PPENDIX M. M ATHEMATICAL M ETHODS
describe this point. In this sense, the radius vector from the origin to a point is
3 and the radius vector can be represented by
synonymous with the coordinates of the point itself.
In the 3D space 3 , we have
å 1 2 3. The coordinates 3 are scalar
the triplet 3 1 3 2 3 3 of coordinates 3 , j
ä
quantities that describe the position along the unit base vectors 6 ˆ which span 3 .
Therefore a representation of the radius vector in 3 is
f 3
6 ˆ 3 def
^ 6ˆ 3
x g (M.1)
1
where we have introduced Einstein’s summation convention (EΣ) which states that
a repeated index in a term implies summation over the range of the index in ques-
tion. Whenever possible and convenient we shall in the following always assume
EΣ and suppress explicit summation in our formulae. Typographically, we repres-
ent a 3D vector by a boldface letter or symbol in a Roman font.
Alternatively, we may describe the radius vector in component notation as fol-
lows:
3 def
^ ä 3 1 3 2 3 3
å ^ ä3 `_Yba å (M.2)
This component notation is particularly useful in 4D space where we can repres-
ent the radius vector either in its contravariant component form
3 B def
^ ä 3 0 3 1 3 2 3 3 å (M.3)
or its covariant component form
3 B def
^ ä 3 0 3 1 3 2 3 3
å (M.4)
The relation between the covariant and contravariant forms is determined by the
metric tensor (also known as the fundamental tensor) whose actual form is dictated
by the physics. The dual representation of vectors in contravariant and covariant
forms is most convenient when we work in a non-Euclidean vector space with
an indefinite metric. An example is Lorentz space 4 which is a 4D Riemannian
space. 4 is often utilised to formulate the special
B theory B of3 4relativity.
B 3 0 3 1 3 2 3 3
We note that for a change of coordinates 3 3 4 ß ä , due å
B
to a transformation from a system Σ to another system Σ 4 , the differential radius
vector 1 3 transforms
B as
31 4 B 3 3 4 D 1 3 D (M.5)
3 4 B
D
which follows trivially from the rules of differentiation of considered as func-
tions of four variables 3 .
M.1. S CALARS , V ECTORS AND T ENSORS 167
M.1.2 Fields
A field is a physical entity which depends on one or more continuous parameters.
Such a parameter can be viewed as a “continuous index” that enumerates the “co-
ordinates” of the field. In particular, in a field which depends on the usual radius
vector x of 3 , each point in this space can be considered as one degree of freedom
so that a field is a representation of a physical entity which has an infinite number
of degrees of freedom.
Scalar fields
We denote an arbitrary scalar field in 3 by
c ä xå c 3 3 3
ä 1 2 3
å ^ c ä3 å
def
(M.6)
This field describes how the scalar quantity c varies continuously in 3D 3 space.
In 4D, a four-scalar field is denoted
c ä 3 0 3 1 3 2 3 3 å ^ c ä3 B
def å (M.7)
which indicates that the four-scalar c depends on all four coordinates spanning
this space. Since a four-scalar has the same value at a given point regardless of
coordinate system, it is also called an invariant.
Analogous to B the transformation rule, Equation (M.5) on the facing page,
3 B for the
differential 1 3 , the
B 3 4B
transformation rule for the differential operator under ù
a transformation 3 ß
becomes
3D
3 4B 3 4B 3 D (M.8)
Vector fields
We can represent an arbitrary vector field a x in ä å 3 as follows:
ax ä å 6 ˆ z xå
ä (M.9)
_ B properties
sional) contravariant vector or not, depends on its transformation
_ `
_ `
_
during
2 `_ 3 å
a change of coordinates. For instance, in 4D an assemblage 0 1
ä
constitutes a contravariant four-vector (or the contravariant components of a four-B
B
vector) if and only if, during a transformation from a system Σ with coordinates 3
to a system Σ4 with coordinates 3 4 , it transforms to the new system according to
the rule
B 3 4B D
_4 3 D _ (M.13)
B
i.e., in the same way as the differential coordinate element 1 3 transforms accord-
ing to Equation (M.5) on page 166.
The analogous requirement for a covariant four-vector is that it transforms, dur-
ing the change from Σ to Σ4 , according to the rule
3 D
_ B4 3 B _ D
4 (M.14)
3B
i.e., in the same way as the differential operator ù transforms according to
Equation (M.8) on the preceding page.
Tensor fields
ä å
We denote an arbitrary tensor field in 3 by A x . This tensor field can be repres-
ented in a number of ways, for instance in the following matrix form:
H
W
ä xåå W
ä xåå W
ä xåå J
ä å GE W W W ^ W ä 3 ! å
11 12 13
A x
W 21 ä xå W 22 ä xå W 23 ä xå def
(M.15)
31 ä x 32 ä x 33 äx
where, in the last member, we have again used the more compact component nota-
tion. Strictly speaking, the tensor field described here is a tensor of rank two.
M.1. S CALARS , V ECTORS AND T ENSORS 169
0 if j VV
1 if j
(M.16)
ë
2 may be represented by a two-dimensional
notation where a vector (tensor) is represented in its component form is called the
tensor notation. A tensor of rank
array or matrix whereas higher rank tensors are best represented in their component
forms (tensor notation).
In 4D, we have three forms of four-tensor fields of rank . We speak of: ë
W B B B ¡ 3 D å ,
A contravariant four-tensor field, denoted 1 2
ä
or a covariant four-tensor field, denoted W B B B ¡ ä 3 D å ,
or a mixed four-tensor field, denoted W BBC¢ B £ BCB ¡¢ ä 3 D å .
1 2
1 2
1
BD
From the above we see that ACB D “lowers” one index and that A “raises” one in-
dex of the tensor on which it operates. In particular, the “raising of index” analogue
of the “lowering of index” rule, Equation (M.20) on the previous page, is:
z B 3 ¤ å def BD å
ä ^ A z D ä3 ¤ (M.21)
ë
More generally, the following “lowering” and “raising” rules hold for arbitrary
rank mixed tensor fields:
BB ¢ B £ B ¢ BC£ ¢¥ B BC¡ ¢ 3 ¤ W BD ¢ BB ¢ £ BC¢bB ¥ ¡ 3 ¤
A D ¢BC¢ W 1 2 1
ä å 1 2
ä å
1
(M.22)
BCB ¢bB BC¢ £ B ¢ ¥B ¡ ä 3 ¤ å W BCB ¢ B £ BC ¢ B £ ¢¥ B D ¡¢ ä 3 ¤ å
1 2 1
A D¢B¢W 1 2
1
1 1 2
1 2
1
(M.23)
Successive lowering and raising of more than one index is achieved by a repeated
application of this rule. For example, a dual application of the lowering operation
on a rank 2 tensor in contravariant form yields
W B D A B A§¦ D W ¤ ¦
¤ (M.24)
i.e., the same rank 2 tensor in covariant form. This operation is also known as a
tensor contraction.
E XAMPLE M.1
¨ T ENSORS IN 3D SPACE
Consider the tetrahedron-like volume element © indicated in Figure M.1 on the facing page
analysis. Let ª S «ª 2¬ ˆ in Figure M.1 on the next page be a directed surface element of
of a solid, fluid, or gaseous body, whose atomistic structure is irrelevant for the present
this volume element and let the vector T® ˆ ª 2¬ be the force that matter, lying on the side of
ª 2¬ toward which the unit normal vector ˆ points, acts on matter that lies on the opposite
side of ª 2¬ . This force concept is meaningful only if the forces are short-range enough that
they can be assumed to act only in the surface proper. According to Newton’s third law,
this surface force fulfils
T¯ ® ˆ « ° T® ˆ (M.25)
Using (M.25) and Newton’s second law, we find that the matter of mass ± , which at a
given instant is located in © obeys the equation of motion
where Fext is the external force and a is the acceleration of the volume element. In other
words
T® ˆ « ´ ² ³ ´ ² ³ ´ ² ³ ± 2
ª ¬ µ a° ± ¶
Fext
1T ˆ 1 2T ˆ 2 3T ˆ 3 (M.27)
M.1. S CALARS , V ECTORS AND T ENSORS 171
· 3
ºˆ
¹· 2
· 2
· 1
for the Ó th component of the vector TÉ ˆ Ê , we can write Equation (M.28) above in component
form as follows
Î Î Æ ÔÆ Î Æ Æ Î
Í Â ÃÐÏ TÂ Ñ Ã Å Æ Ç 3 Í Ë Í (M.30)
ˆ ˆ
1 È È
Using Equation (M.30), we find that the component of the vector T Â ˆ in the direction of an
172 A PPENDIX M. M ATHEMATICAL M ETHODS
ª 3
¬ ³ T® ˆ ª 2¬
ª§äæå ç v ª ± « å ç f ª åéè (M.32)
where, in the last step, Equation (M.30) on the previous page was used. Setting ª ± «îíæª 3¬
and using the divergence theorem on the lastÝÚ term, we can rewrite the result as
Ú Ú Ö Ý
í ª ª 3¬
« ª 3
¬ ³ 3¬
å ç ìª ä2ê åç ë åç ï ¬ ª (M.34)
ï
Since this formula is validÝÚ for any arbitrary volume, we must require that
Ú Ú Ö Ý
í ªìª ä ê ° ë ° ï ¬ « 0 (M.35)
ï
or, equivalently Ú Ú Ú Ö ÝÝ Ú
í ï ê ä ³ í v Øeð ê ° ë ° ï ¬ « 0 (M.36)
Úòñ Ú
ï ï
Note that
ê ä is the rate of change with time of the velocity component ê
point x «ôï ó ¬ 1 õ ¬ ï 1 õ ¬ 3 ö .
at a fixed
E ND OF EXAMPLE M.1 ÷
M.1. S CALARS , V ECTORS AND T ENSORS 173
z ý { ý ý z { ý z { þý z ý {
in the following way
(M.38)
where we made use of the index “lowering” and “raising” rules (M.20) and (M.21).
The result is a four-scalar, i.e., an invariant which is independent on in which iner-
tial system it is measured.
2 ý ý ý ý
The quadratic differential form
(M.39)
i.e., the scalar product of the differential radius four-vector with itself, is an in-
ý and ý which
variant called the metric. It is also the square of the line element
distance between neighbouring points with coordinates
ý . is the
¨ S CALAR PRODUCT, NORM AND METRIC IN L ORENTZ SPACE E XAMPLE M.2
In 4 the metric tensor attains a simple form [see Equation (5.7) on page 56 for an example]
and, hence, the scalar product in Equation (M.38) can be evaluated almost trivially and
becomes
õ a õ b
a b
0
0
0
0
(M.40)
The important scalar product of the radius four-vector with itself becomes
4
0
2 1 2 2 2 3 2 2
(M.41)
which is the indefinite, real norm of . The metric is the quadratic differential form
4 4
% # % % & % % % %
2 2 2 1 2 2 2 3 2
(M.42)
E ND OF EXAMPLE M.2 ÷
174 A PPENDIX M. M ATHEMATICAL M ETHODS
E XAMPLE M.3
' M ETRIC IN GENERAL RELATIVITY
In the general theory of relativity, several important problems are treated in a 4D spherical
polar coordinate system where the radius four-vector can be given as and !"( ) (!*("+
the metric tensor is
/0 243 798
, .- 1 2 50 6 0
)
0
*:
0 0 0
0 0 2
)0
(M.43)
0 0 0 2
sin2
""( ) (<*=("+ !"( ) (!*("+
where ; ; and > > . In such a space, the metric takes the form
% # & 2 3 % 2 6 % )
2 2 2 2 2
) * )
% sin %
2 2 2
* +
2
(M.44)
In general relativity the metric tensor is not given a priori but is determined by the Einstein
equations.
E ND OF EXAMPLE M.3 ?
Dyadic product
A tensor A û x ü can sometimes be represented in the dyadic form A û x ü a û xü b û xü . @
The dyadic notation with two juxtaposed vectors a and b is interpreted as an outer
product and this dyad is operated on by another vector c “from the right” and “from
the left” with a scalar (inner) product in the following two ways:
Aø c
def
@ ab ø c @
def
a û b ø cü (M.45a)
cø A
def
@ c ø ab @ û c ø aü b
def
(M.45b)
B
The vector product or cross product of two arbitrary 3D vectors a and b in ordinary
3 space is the vector
c a C b
ED F GIHKJ GML H N ˆ F (M.46)
Here
D F GIH
is the Levi-Civita tensor defined in Equation (M.18) on page 169. Some-
times the vector product of a and b is denoted a b or, particularly in the Russian O
literature, ab . P Q
M.1. S CALARS , V ECTORS AND T ENSORS 175
ZF ] Z Z Z
Z 1S Z 2S Z 3^ (M.48)
Z ý ] Z Z S Z Z S Z Z S Z Z
3^
(M.49)
0 1 2
whereas the covariant four-del operator is
Zý ] Z Z Z Z
Z 0 S Z 1 S Z 2 S Z 3^ (M.50)
We can use this four-del operator to express the transformation properties (M.13)
and (M.14) on page 168 as
176 A PPENDIX M. M ATHEMATICAL M ETHODS
_ R ýa` Z R ýb _ (M.51)
` Z ýR b _
and
_ ýR (M.52)
respectively.
E XAMPLE M.4
' T HE FOUR - DEL OPERATOR IN L ORENTZ SPACE
In 4 the contravariant form of the four-del operator can be represented as
c c 1 c c m $n
2
2 2
(M.55)
n
2 2
which is the d’Alembert operator, sometimes denoted , and sometimes defined with an
opposite sign convention.
E ND OF EXAMPLE M.4 ?
With the help of the del operator we can define the gradient, divergence and curl
of a tensor (in the generalised sense).
The gradient
The gradient of an
B 3 scalar field o û xü , denoted Ypo û ü , is an B 3 vector field a û x ü :
From this we see that the boldface notation for the nabla and del operators is very
handy as it elucidates the 3D vectorial property of the gradient.
o
ý
In 4D, the four-gradient is a covariant vector, formed as a derivative of a four-
scalar field û ü , with the following component form:
Zýo û ü Z o û ý ü
Z (M.57)
M.1. S CALARS , V ECTORS AND T ENSORS 177
s t sut
two vectors x and x , i.e., on x x . In analogy with Equation (M.47) on page 175, we
can define the “primed” del operator in the following way:
vw c
j s ˆ c w
s gs (M.58)
Using this, the “unprimed” version, Equation (M.47) on page 175, and elementary rules of
differentiation, we obtain the following two very useful results:
v w c t x xsxt
j t x x s t ˆ cw
x xs
t x xs t
v w c t x xsut
ˆ c ws
j s t x xs t (M.59)
e e
j t x 1 xs t h t xx xxs s t j s t x 1 xs t h
3
(M.60)
E ND OF EXAMPLE M.5 ?
The divergence
We define the 3D divergence of a vector field in
B 3 as
J F û xü
Yø a û xü [ ø N ˆ G J G û xü y F G Z F J G û xü
Z Z F J F û xü
Z F o û xü (M.61)
B
which, as indicated by the notation o û x ü , is a scalar field in 3 . We may think of
the divergence as a scalar product between a vectorial operator and a vector. As
is the case for any scalar product, the result of a divergence operation is a scalar.
J
ý is the following four-scalar:
Again we see that the boldface notation for the 3D del operator is very convenient.
The four-divergence of a four-vector
Z ý Jý û ü
Z ýJ ý û ü Z J ý û ü
Z ý (M.62)
178 A PPENDIX M. M ATHEMATICAL M ETHODS
E XAMPLE M.6
' D IVERGENCE IN 3D
For an arbitrary r 3
sz
vector field a x , the following relation holds:
e e
j s t xa xs{x s t h j t xs axxs s|t& } a xs j s t x 1 xs t h (M.63)
which demonstrates how the “primed” divergence, defined in terms of the “primed” del
operator in Equation (M.58) on the preceding page, works.
E ND OF EXAMPLE M.6 ?
The Laplacian
The 3D Laplace operator or Laplacian can be described as the divergence of the
gradient operator:
Z F N ˆ F ø N ˆ GZ G y F G Z F Z G 3 2
~ Yø.Y Z F2 Z Z 2F @ F Z Z 2F
2
∆
Z Z
2
1
(M.64)
The symbol
~ 2 is sometimes read del squared. If, for a scalar field
o û xü , ~ 2
o 0
at some point in 3D space, it is a sign of concentration of o at that point.
E XAMPLE M.7
' THE LAPLACIAN AND THE DIRAC DELTA
A very useful formula in 3D r is 3
e e
j j t x 1 xs t h m t x 1 xs t h 4ï
x xs
2
(M.65)
where
x xsz is the 3D Dirac delta “function.”
E M.7 ? ND OF EXAMPLE
The curl
B
In 3 the curl of a vector field a û x ü , denoted Y C a û xü , is another B
3 vector field
b û x ü which can be defined in the following way:
D F I
G H F G
J H D F I
G H F Z JH û xü
N ˆ Z N
Y C a û xü
û xü ˆ
Z G b û xü (M.66)
where use was made of the Levi-Civita tensor, introduced in Equation (M.18) on
page 169.
ý
The covariant 4D generalisation of the curl of a four-vector field û ü is the
J
antisymmetric four-tensor field
ý û ü Z ý J û ü T Z J ý û ü T ý û ü (M.67)
A vector with vanishing curl is said to be irrotational.
M.1. S CALARS , V ECTORS AND T ENSORS 179
e c c
2 3 3 2
e
3 1
c
1 3
c c c c h x v ˆ
2 2
0 } 1 2 2 1
3
(M.69)
E ND OF EXAMPLE M.8 ?
Using the definition for the Levi-Civita symbol, defined by Equation (M.18) on page 169,
180 A PPENDIX M. M ATHEMATICAL M ETHODS
we find that, due to the assumed well-behavedness of a ,
c w w! c
x c c w! c
w c
e c c
c c
2
c c h
2
x
1
e c c
2 3 3 2
} ccc c
c h
x
2 2
2
e
3 1
c1 3
c c cc h
x
2 2
0 } 1 2 2 1
3
(M.73)
i.e., that
j j ax 0 (M.74)
for any arbitrary, well-behaved r 3
vector field a x .
In 4D, the four-divergence of the four-curl is not zero, for
c M- . - c c -
- 3 n
3
2
0 (M.75)
E ND OF EXAMPLE M.9 ?
Numerous vector algebra and vector analysis formulae are given in Chapter F.
Those that are not found there can often be easily derived by using the compon-
ent forms of the vectors and tensors, together with the Kronecker and Levi-Civita
tensors and their generalisations to higher ranks. A short but very useful reference
in this respect is the article by A. Evett [3].
¥ F Z F
Z ˙ (M.78)
After differentiating the left and right hand sides of this definition and setting them
equal we obtain
Z ¦ F ¥ F
Z ¦ F F
Z ¦ ˙F ¥ F
¥ F ˙F T Z F F T Z F ˙F T Z
Z¥ Z Z Z Z ˙ Z
(M.81)
F
According to the definition of ¥ , Equation (M.78) above, the second and fourth
terms on the right hand side cancel. Furthermore, noting that according to Equa-
T ¥ F F
tion (M.79) the third term on the right hand side of Equation (M.81) above is equal
to ˙ and identifying terms, we obtain the Hamilton equations:
Z¦F F
Z¥ ˙F (M.82a)
F
Z¦F ¥T ˙F T ¥
Z
(M.82b)
181
182 A PPENDIX M. M ATHEMATICAL M ETHODS
B IBLIOGRAPHY M
[1] George B. Arfken and Hans J. Weber. Mathematical Methods for Physicists. Academic
Press, Inc., San Diego, CA . . . , fourth, international edition, 1995. ISBN 0-12-059816-
7.
[2] R. A. Dean. Elements of Abstract Algebra. Wiley & Sons, Inc., New York, NY . . . ,
1967. ISBN 0-471-20452-8.
[3] Arthur A. Evett. Permutation symbol approach to elementary vector analysis. Amer-
ican Journal of Physics, 34, 1965.
[4] Philip M. Morse and Herman Feshbach. Methods of Theoretical Physics. Part I.
McGraw-Hill Book Company, Inc., New York, NY . . . , 1953. ISBN 07-043316-8.
[5] Barry Spain. Tensor Calculus. Oliver and Boyd, Ltd., Edinburgh and London, third
edition, 1965. ISBN 05-001331-9.
183
184 A PPENDIX M. M ATHEMATICAL M ETHODS
I NDEX
185
186 I NDEX
Young’s modulus, 81
Yukawa meson field, 88