Professional Documents
Culture Documents
Electromag PDF
Electromag PDF
Relativistic Electromagnetism
In which it is shown that electricity and magnetism can no more be separated
than space and time.
8.1
Our starting point is the electric and magnetic fields of an infinite straight
wire, which are derived in most introductory textbooks on electrodynamics,
such as Griffiths [3], and which we state here without proof.
The electric field of an infinite straight wire with charge density points
away from the wire with magnitude
E=
20 r
(8.1)
where r is the perpendicular distance from the wire and 0 is the permittivity constant. The magnetic field of such a wire with current density I has
magnitude
0 I
B=
(8.2)
2r
with r as above, and where 0 is the permeability constant, which is related
to 0 by
1
0 0 = 2
(8.3)
c
(The direction of the magnetic field is obtained as the cross product of the
direction of the current and the position vector from the wire to the point in
question.)
43
44
~ on a
We will also need the Lorentz force law, which says that the force F
test particle of charge q and velocity ~v is given by
~ = q(E
~ +~v B)
~
F
(8.4)
~ and B
~ denote the electric and magnetic fields (with magnitudes E
where E
and B, respectively).
Consider an infinite line charge, consisting of identical particles of charge
, separated by a distance `. This gives an infinite wire with (average) charge
density
(8.5)
0 =
`
Suppose now that the charges are moving to the right with speed
u = c tanh
(8.6)
=
= 0 cosh
(8.7)
`
cosh
Suppose now that there are positively charged particles moving to the
right, and equally but negatively charged particles moving to the left, each
with speed u. Consider further a test particle of charge q situated a distance
r from the wire and moving with speed
v = c tanh
(8.8)
to the right. Then the net charge density in the laboratory frame is 0, so
that there is no electrical force on the test particle in this frame. There is of
course a net current density, however, namely
I = u + ()(u) = 2u
(8.9)
What does the test particle see? Switch to the rest frame of the test
particle; this makes the negative charges appear to move faster, with speed
u > u, and the positive charges move slower, with speed u+ < u. The
relative speeds satisfy
u+
= tanh( )
c
u
= tanh( + )
c
(8.10)
(8.11)
45
(8.12)
(8.13)
(8.14)
(8.15)
0
2
(8.16)
q tanh sinh
0 r
u
qv cosh
0 c2 r
0 I
=
qv cosh
2r
(8.17)
(8.18)
(8.19)
(8.20)
~ = d~p
(8.21)
F
dt
But since in this case the force is perpendicular to the direction of motion,
we have
d~p = d~p0
(8.22)
and since dx0 = 0 in the comoving frame we also have
dt = dt0 cosh
1
(8.23)
This is the traditional notion of force, which does not transform simply between frames.
As discussed briefly below, a possibly more useful notion of force is obtained by differentiating with respect to proper time.
46
0 I
F0
=
qv
cosh
2r
(8.24)
(8.25)
~ given by (8.2)!
with B = |B|
We conclude that in the laboratory frame there is a magnetic force on the
test particle, which is just the electric force observed in the comoving frame!
8.2
Lorentz Transformations
|E| =
(8.26)
20
The magnetic field of such a sheet with current density ~ has constant magnitude
|B| = |~|
(8.27)
2
and direction determined by the right-hand-rule.
Consider a capacitor consisting of 2 horizontal (z = constant) parallel
plates, with equal and opposite charge densities. For definiteness, take the
charge density on the bottom plate to be 0 , and suppose that the charges
are at rest, that is, that the current density of each plate is zero. Then the
electric field is given by
~ 0 = E0~ = 0 ~
E
(8.28)
0
between the plates and vanishes elsewhere. Now let the capacitor move to
the left with velocity
~u = u~ = c tanh ~
(8.29)
47
Then the width of the plate is unchanged, but, just as for the line charge
(8.7), the length is Lorentz contracted, which decreases the area, and hence
increases the charge density. The charge density (on the bottom plate) is
therefore
= 0 cosh
(8.30)
But there is now also a current density, which is given by
~ = ~u
(8.31)
on the lower plate. The top plate has charge density , so its current
density is ~. Then both the electric and magnetic fields vanish outside the
plates, whereas inside the plates one has
~ = E y~ = ~
(8.32)
E
0
~ = B z ~k = 0 u ~k
(8.33)
B
which can be rewritten using (8.29) and (8.30) in the form
E y = E0 cosh
B z = cB0 sinh
(8.34)
(8.35)
For later convenience, we have introduced in the last equation the quantity
1
E0
(8.36)
c2
which does not correspond to the magnetic field when the plate is at rest
which of course vanishes since ~u = 0.
The above discussion gives the electric and magnetic fields seen by an
observer at rest. What is seen by an observer moving to the right with
speed v = c tanh ? To compute this, first use the velocity addition law to
compute the correct rapidity to insert in (8.35), which is simply the sum of
the rapidities and !
~ 0 and a magnetic
The moving observer therefore sees an electric field E
~ 0 . From (8.35), (8.36), and the hyperbolic trig formulas (4.5) and (4.6),
field B
we have
B0 = 0 0 = 0 0 E0 =
E 0y =
=
=
=
E0 cosh( + )
E0 cosh cosh + E0 sinh sinh
E0 cosh cosh c2 B0 sinh sinh
E y cosh cB z sinh
(8.37)
48
and similarly
B 0z = cB0 sinh( + )
= cB0 sinh cosh + cB0 cosh sinh
1
= B z cosh E y sinh
c
(8.38)
Repeating the argument with the y and z axes interchanged (and being
careful about the orientation), we obtain the analogous formulas
E 0z = E z cosh + cB y sinh
1
B 0x = B y cosh + E z sinh
c
(8.39)
(8.40)
Finally, by considering motion perpendicular to the plates one can show [3]
E 0x = E x
(8.41)
(8.42)
(8.43)
(8.44)
and
~ = E
~ E
~k
E
~ = B
~ B
~k
B
(8.45)
~k
~0 = E
E
k
~0 = B
~k
B
k
(8.47)
(8.46)
We then have
(8.48)
49
8.3. TENSORS
and
~ cosh
~ 1 ~v E
B
2
c
~ +~v B
~ cosh
= E
~0 =
B
~0
E
8.3
Tensors
8.3.1
Vectors
(8.49)
(8.50)
x =
2 =
x
y
3
x
z
(8.51)
These are called contravariant vectors, and their indices are written upstairs, that is, as superscripts.
Just as before, Lorentz transformations are hyperbolic rotations, which
must now be written as 4 4 matrices. For instance, a boost in the x
direction now takes the form
cosh
ct0
sinh
x0
0 =
y
0
z0
0
sinh
cosh
0
0
0
0
1
0
0
ct
x
0
0 y
1
z
(8.52)
(8.53)
where are (the components of) the appropriate 4 4 matrix, and where
we have adopted the Einstein summation convention that repeated indices,
in this case , are to be summed from 0 to 3. In matrix notation, this can
be written as
x0 = x
(8.54)
50
Why are some indices up and others down? In relativity, both special and
general, it is essential to distinguish between 2 types of vectors. In addition
to contravariant vectors, there are also covariant vectors, often referred to
as dual vectors. The dual vector associated with x is 2
ct
x0
x
x
(8.55)
x = 1 =
y
x2
z
x3
We wont have much need for covariant vectors, but note that the invariance
of the interval can be nicely written as
x x = c2 t2 + x2 + y 2 + z 2
= x0 x0
(8.56)
(Dont forget the summation convention!) In fact, this equation can be taken
as the definition of Lorentz transformations, and it is straightforward to
determine which matrices are allowed.
Taking the derivative with respect to proper time leads to the 4-velocity
dx
dx dt
=
d
dt d
It is often useful to divide these into space and time in the form
u =
c
u=
~v
c cosh
=
c sinh
v
(8.57)
(8.58)
p = mu =
1
c
E
~p
mc
m~v
mc cosh
=
mc sinh
v
(8.60)
(8.61)
(8.62)
51
8.3.2
Tensors
Roughly speaking, tensors are like vectors, but with more components, and
hence more indices. We will only consider one particular case, namely rank
2 contravariant tensors, which have 2 upstairs indices. Such a tensor has
components in a particular reference frame which make up a 4 4 matrix,
namely
00
T
T 01 T 02 T 03
T 10 T 11 T 12 T 13
(8.63)
20
T =
T
T 21 T 22 T 23
T 30 T 31 T 32 T 33
8.4
0
a
a
0
=
b f
c e
b
c
f e
0
d
d 0
(8.67)
Why have we done all this? Well, first of all, note that, due to antisymmetry,
T has precisely 6 independent components. Next, compute T 0 , using matrix
multiplication and the fundamental hyperbolic trig identity (4.4). As you
52
T 0
0
a0
= 0
b
c0
a0
0
f 0
e0
b0
f0
0
d0
c0
e0
d0
0
(8.68)
where
a0
b0
c0
d0
e0
f0
=
=
=
=
=
=
(8.69)
(8.70)
(8.71)
(8.72)
(8.73)
(8.74)
a
b cosh f sinh
c cosh + e sinh
d
e cosh + c sinh
f cosh b sinh
The first 3 of these are the transformation rule for the electric field, and the
remaining 3 are the transformation rule for the magnetic field!
We are thus led to introduce the electromagnetic field tensor, namely
F uv
8.4.1
0
1 x
c E
=
1 y
c E
1c E z
1
c
Ex
0
B z
By
1
c
Ey
Bz
0
B x
1
c
Ez
B y
Bx
(8.75)
Maxwells equations
0
~ B
~ = 0
~
~ E
~ = B
(8.77)
~
~ B
~ = 0 J
~ + 0 0 E
(8.79)
~ E
~ =
(8.76)
(8.78)
53
(8.80)
~ = q(E
~ +~v B)
~
F
(8.81)
The middle two of Maxwell equations are automatically solved by intro~ and defining
ducing the scalar potential and the vector potential A
~ =
~ A
~
B
~
~ = A
~
E
t
8.4.2
(8.82)
(8.83)
(8.84)
This corresponds to four different expressions, one for each value of . For
= 0, we get
0+
1~ ~
1 E x 1 E y 1 E z
+
+
=
= c0
E =
c x
c y
c z
c
c0
(8.85)
where Gauss Law was used to get the final two equalities. Similarly, for
= 1 we have
1 E x
B z B y
2
+0+
(8.86)
c t
y
z
and combining this with the expressions for = 2 and = 3 yields the
left-hand-side of
~
1 E
~ = 0J
~
2
+ B
(8.87)
c t
54
J =
c
~
J
(8.88)
leads to
F
~
= 0J
(8.89)
x
which is equivalent to the two Maxwell equations with a physical source,
namely Gauss Law and Amp`eres Law.
Furthermore, taking the (4-dimensional!) divergence of the 4-current density leads to
J
F
0 =
=0
(8.90)
x
x x
since there is an implicit double sum over both and , and the derivatives
commute but F is antisymmetric. (Check this by interchanging the order
of summation.) Working out the components of this equation, we have
1 J 0 J 1 J 2 J 3
+
+
+
=0
c t
x
y
z
(8.91)
Guv
B x
=
y
B
B z
Bx
0
1
Ez
c
1c E y
By
1c E z
0
1
Ex
c
Bz
1
Ey
c
1c E x
G
=0
x
(8.92)
(8.93)
correspond to
~ B
~ = 0
(8.94)
~
1 B
1~
~ = 0
E
c t
c
(8.95)
55
(8.96)
(8.97)
where care must be taken with the signs of the components of the covariant
tensors F and G . You may recognize these equations as corresponding
to important scalar invariants of the electromagnetic field.
Finally, it is possible to solve the sourcefree Maxwell equations by introducing a 4-potential
!
1
A =
(8.98)
~
A
and defining
F =
A
A
x
x
(8.99)
where again care must be taken with the signs of the components with downstairs indices. Furthermore, the Lorentz force law can be rewritten in the
form
p
= qu F
(8.100)
m
Note the appearance of the proper time in this equation. Just as in the previous chapter, this is because differentiation with respect to pulls through
a Lorentz transformation, which makes this a valid tensor equation, valid in
any inertial frame.