Professional Documents
Culture Documents
Dr Nigel Cooper
Michaelmas 2001
R ELATIVISTIC E LECTRODYNAMICS i
Contents
6 Relativistic Electrodynamics I 1
6.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
6.2 Is Charge a Lorentz Invariant? . . . . . . . . . . . . . . . . . . . 3
6.3 The 4-Gradient . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
6.4 The 4-Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6.5 The 4-Potential and Maxwell’s Equations . . . . . . . . . . . . . 7
Note on Linear Materials . . . . . . . . . . . . . . . . . . . . . . 8
7 Relativistic Electrodynamics II 9
7.1 Transformation of E and B . . . . . . . . . . . . . . . . . . . . 9
7.2 Covariance of Maxwell’s Equations . . . . . . . . . . . . . . . . 11
7.3 Magnetism as a Relativistic Effect and the Lorentz Force . . . . 12
7.4 The Field-Strength Tensor . . . . . . . . . . . . . . . . . . . . . 14
Transformation of E and B . . . . . . . . . . . . . . . . . . . . 15
Maxwell’s Equations in Frame-Independent Form and the Lorentz
Force . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
7.5 Electromagnetism as the Simplest Relativistic Theory . . . . . . 17
6 Relativistic Electrodynamics I
6.1 Background
Let us start our discussion of relativistic electrodynamics by considering where
we have got to already in our theoretical developments. What follows this
section is going to be an intriguing, and hopefully interesting, discussion of
the relationship between SR and EM. Indeed it is a very elegant piece of
theory. It is crucial to realise that everything we shall discuss is based very
firmly on experimental evidence. The theoretical elegance comes from how we
can develop a single physical model which follows using logical deduction from
the experimental basis
So let’s recap on where we have got to:
µ
x0 = Λµν xν
∇·E = ρ/²0
∇·B = 0
∇×E = −Ḃ
∇×B = µ0 j + µ0 ²0 Ė
B = ∇×A
∂
E = − A − ∇φ
∂t
2 1 ρ
∇ φ − 2 φ̈ = −
c ²0
1
∇2 A − 2 Ä = −µ0 j
c
| r −r 0 |
³ ´
0
1
Z ρ r ,t − c dV 0
φ(r, t) =
4π²0 all space |r − r 0 |
| r −r 0 |
³ ´
0
µ0
Z j r ,t − c dV 0
A(r, t) =
4π all space |r − r 0 |
R ELATIVISTIC E LECTRODYNAMICS 3
J ≡ J µ = (cρ, j) .
are induced). If the charge on the protons changed due to this motion then
the copper would charge up. If the copper is in the form of a sphere and we
could detect a change in potential of say 1mV (easily done) then we would be
sensitive to a net charge of about 10–14 Coulomb (the sphere is about 65 mm
radius). No such effect is observed hence the charges cannot differ by more
than 1 part in 1021 !
Within particle accelerators and mass spectrometers the dynamics of electrons
depend on e/m and their dynamics are correctly predicted by using the analysis
we have already developed and taking e as a constant. This has been verified
to the highest energies attainable with modern accelerators.
We therefore know to very high accuracy that charge is a LI.
We can now use the Lorentz transformations to evaluate each of the partial
differentials between the coordinates
∂t ∂x ∂y ∂z
= γ, = γV, =0 and =0
∂t0 ∂t0 ∂t0 ∂t0
hence µ ¶ µ ¶ µ ¶
1 ∂ 1 ∂ ∂ 1∂ ∂
0
= γ + γV =γ − γβ − .
c ∂t c ∂t ∂x c ∂t ∂x
R ELATIVISTIC E LECTRODYNAMICS 5
Therefore the 4-gradient transforms like a physical 4-vector and hence must
be a 4-vector.
Consider the scalar product of the 4-gradient with some 4-vector X.
1 ∂X 0 ∂X 1 ∂X 2 ∂X 3 ∂X µ
gµν ∂ µ X ν = ∂ν X ν = + + + = .
c ∂t ∂x ∂y ∂z ∂xµ
This we shall show is indeed the correct form and is a physical 4-vector. Let
us consider the scalar product of the gradient 4-vector with J
∂ρ
¤ · J = ∂µ J µ = +∇·j
∂t
1
Be careful, some texts use the symbol ¤ to represent the d’Alembertian itself (what
we call ¤2 ). In practice, there should be no ambiguity, as the d’Alembertian is a scalar,
while ¤ ≡ ∂ µ is a 4-vector. The meaning of the symbol ¤ in any equation can therefore be
deduced by reading off the number of components it is required to have.
6 R ELATIVITY AND E LECTRODYNAMICS
Now we know that in the rest frame of the charge density that ∂ρ ∂t
+∇·
j = 0: this is just the equation of continuity from electromagnetism which
expresses the conservation of charge. If we take the conservation of charge to
be something which should indeed hold in all frames then we can identify J
as a physical 4-vector since we know that the 4-gradient is a 4-vector. This is
not, however, something we should take so lightly, so let us consider this in a
little more detail.
Imagine a macroscopic charge, Q, which occupies some volume V0 in its instan-
taneous rest frame S0 . In S0 the charge density is ρ0 = Q/V0 . Now in a general
frame, S, in which the charge is moving at speed u the volume occupied by the
charge Q (which is unchanged since it is a Lorentz Invariant) will be given by
V = V0 /γ
z z
S
Q u S
Q
V V0
x x
and the charge density in this frame is therefore
ρ = γρ0
Now consider two nearby points on the world line of Q separated by the 4-
vector (cdt, dr). The current in S0 is zero, but in S
dr
j = ρu = γρ0
dt
Therefore in S
µ ¶
dr d d
J = (cρ, j) = γcρ0 , γρ0 = ρ0 γ (ct, r) = ρ0 (ct, r)
dt dt dτ
where we have used dτ = dt/γ, with τ the proper time. Since ρ0 is a Lorentz
Invariant (it is defined in the rest frame of the charge) and the proper time is
a Lorentz Invariant, then J must be a 4-vector since (ct, r) is a 4-vector.
Therefore we have proven that J, the 4-current, is a physical 4-vector, and
hence that the conservation of charge must hold in all frames.
R ELATIVISTIC E LECTRODYNAMICS 7
∂ρ
¤·J = +∇·j = 0
∂t
The scalar product of the 4-current density with itself gives a Lorentz Invariant
J · J = c2 ρ2 − j 2 = c2 ρ20
where again ρ0 is the charge density in the rest frame of the charges.
Applying the Lorentz transformations to the current 4-vector we can easily
find the transformation properties for the current and charge density to be
Alternatively we can write these same equation in a vector form noting the
component of j parallel to the direction of motion to give
Let us return and consider Maxwell’s equations in terms of the scalar and
vector potentials
1 ρ
∇2 φ − 2
φ̈ = −
c ²0
1
∇2 A − 2 Ä = −µ0 j.
c
We will now show that these equations can be written in terms of 4-vector
quantities. We will introduce (again as we have already postulated) the 4-
potential: µ ¶
µ φ
A≡A = ,A ,
c
8 R ELATIVITY AND E LECTRODYNAMICS
and rewrite our Maxwell’s equations in terms of the potential using the
d’Alembertian
1 ∂2
µ ¶ µ ¶µ ¶
1 1 2 2 φ ρ
2
φ̈ − ∇ φ = 2 2
−∇ = = µ0 cρ
c c c ∂t c c²0
1 ∂2
µ ¶
1
Ä − ∇2 A = 2
− ∇ A = µ0 j
c2 c2 ∂t2
¤2 A = µ 0 J
We have considered throughout this analysis the effects of charges and currents
in vacuo. We can easily generalise to linear materials by making the following
substitutions
µ ¶
µ √ ∂
¤=∂ = µµ0 ²²0 , −∇
∂t
µ √
A = A = ( µµ0 ²²0 φ, A)
µ ¶
µ ρ
J=J = √ ,j .
µµ0 ²²0
R ELATIVISTIC E LECTRODYNAMICS 9
7 Relativistic Electrodynamics II
7.1 Transformation of E and B
In the discussion of section 6 mention of the electric and magnetic field were
conspicuous because of their absence. To some extent this is because our 4-
potential and 4-current provide the natural physical quantities with which we
can talk about relativistic electrodynamics, however if we wish to consider
forces on charged particles it is essential that we now consider the electric and
magnetic field explicitly.
We will start by deriving expressions for E and B in two frames S and S0 and
hence derive their transformation properties. To do this we will start with
the 4-potential and 4-gradient transformation laws. We have already had the
results necessary for the 4-gradient and the transformation of the 4-potential
is simply derived by applying the Lorentz transformations to A = φc , A
¡ ¢
A0y = Ay , A0z = Az
∂ ∂ ∂ ∂
0
= , 0
=
∂y ∂y ∂z ∂z
We find B and E in the usual way
∂A0
B 0 = ∇0 × A0 , E 0 = −∇0 φ0 −
∂t0
Consider first the components of B.
∂A0z ∂A0y ∂Az ∂Ay
Bx0 = 0
− 0
= − = Bx
∂y ∂z ∂y ∂z
and
∂A0x ∂A0z
µ ¶ µ ¶
∂Ax V ∂φ ∂Az V ∂Az
By0 = − =γ − 2 −γ + 2
∂z 0 ∂x0 ∂z c ∂z ∂x c ∂t
µ ¶ µ ¶
∂Ax ∂Az V ∂φ ∂Az
= γ − +γ 2 − −
∂z ∂x c ∂z ∂t
µ ¶
V
= γ By + 2 Ez
c
10 R ELATIVITY AND E LECTRODYNAMICS
Similarly µ ¶
V
Bz0 = γ Bz − 2 Ey
c
∂φ0 ∂A0x
Ex0 = − 0
−
∂xµ ∂t0 ¶ µ ¶µ ¶
∂ V ∂ ∂ ∂ γV
= −γ + (γφ − γV Ax ) − γ +V γAx − 2 φ
∂x c2 ∂t ∂t ∂x c
2
∂Ax V 2 ∂φ
µ ¶
2 ∂φ ∂Ax V ∂φ V ∂Ax ∂Ax V ∂φ
= −γ −V + 2 − 2 + − 2 +V − 2
∂x ∂x c ∂t c ∂t ∂t c ∂t ∂x c ∂x
2
µ ¶µ ¶
V ∂φ ∂Ax
= −γ 2 1 − 2 +
c ∂x ∂t
= Ex
and for Ey
∂φ0 ∂A0y
Ey0 = − −
∂y 0 ∂t0
µ ¶
∂ ∂ ∂
= − (γφ − γV Ax ) − γ +V Ay
∂y ∂t ∂x
µ ¶
2 ∂φ ∂Ax ∂Ay ∂Ax
= −γ −V + +V
∂y ∂y ∂t ∂x
= γ (Ey − V Bz )
Similarly
Ez0 = γ (Ez + V By )
E 0k = E k E 0⊥ = γ (E
¡ + V1 × B)⊥ ¢
0 0
B k = B k B ⊥ = γ B − c2 (V × E) ⊥
= µ0 γ (jx − V ρ)
= µ0 jx0
Where we have used the transformation laws for the fields, currents and the
gradient operator. Of course we can show that this holds for all the other com-
ponents as well and hence we conclude that Maxwell’s equations are covariant.
It is nice to actually see that this works, but it also emphasises the power
of using the arguments concerning physical 4-vectors which demonstrated the
same physics certainly more elegantly and (perhaps) more clearly.
µ0 I
B= .
2πr
To detect this magnetic field the charge must be moving; let us take the particle
velocity to be u.
In Lab, S:
ρ=0 jx = I/a
Therefore in the rest frame we see a radial electric field which we can find from
Gauss’s theorem:
1 −γuI −µ0 γuI
Ey0 = al =
2πrl ²0 c2 a 2πr
dp0y µ0 I
0
= −γqu (inwards)
dt 2πr
dpy
= −quB
dt
which is just one component of the Lorentz force, f = q(u × B), in S. What
appears as a force due to the magnetic field in one frame appears as an electric
force in the rest frame.
f = q (E + u × B)
Transformation of E and B
Let us take the scalar product of the field-strength tensor with the 4-gradient
∂α F αβ = cµ0 J β
Writing out the components we easily see that these four equations are, in
terms of the 3-vector fields just
∇ · E = ρ/²0
∇ × B − µ0 ²0 Ė = µ0 j
i.e. two of Maxwell’s equations. What has happened to the other two? We
recover them by noting that
∂ δ F νµ + ∂ ν F µδ + ∂ µ F δν = 0
which follows from the definition of the field strength tensor in terms of the
4-potential. Expanding this in components shows that it is equivalent to
∇·B = 0
∇ × E = −Ḃ
Hence we have been able to write Maxwell’s original equations for the fields
explicitly in a frame independent or covariant form. We have come full cir-
cle, but en route shown the complete unity between Special Relativity and
Electromagnetism.
For completeness we can now write the Lorentz force in a frame independent
way
dP µ q
= F µν Uν
dτ c
S y y V
S
(x,y) (x,y)
r r
θ x θ x
V
We shall call the frame in which the charge is moving at a speed V the lab
frame, S; the rest frame of the charge is S0 . We consider the instant t = t0 = 0
when the charge is at the origin of both frames.
In the (x0 , y 0 )-plane of S0 we have for the fields (since the charge is at rest it is
just the static fields)
µ 0 0 ¶
0 q x y
E = , ,0 and B 0 = 0
4π²0 r03 r03
γV 0 V
Br = Bθ = 0, but Bϕ = 2
Ey = 2 E⊥
c c
What do we note?
• The electric field is purely radial, although its magnitude has an angular
dependence which depends on the Lorentz factor γ.
Let’s think about this last point a little. We see from the above that
E⊥ sin θ
= ,
Ek cos θ
i.e. the field is directed away from the origin which is the present position of
the charge.
This is perhaps a little surprising since one might expect it to depend on
where the charge was some time ago. However, we are dealing with a steady-
state situation in which the charge is in a uniform state of motion. There is
therefore no characteristic time in the problem (set for example by the start
of the particle’s motion) and therefore the only defining point at any time is
the particle’s current position. This argument makes it less surprising that
the electric field radiates from the current particle position and that the fields
are carried along by the particle much like fields fixed in a solid body. Below
we shall consider the case when the electron accelerates and then we shall see
that things are very different.
S y Direction of E−Field
l
x
lV/c
position at retarded time present position
Let’s examine the magnitude of the field as a function of the Lorentz factor.
R ELATIVISTIC E LECTRODYNAMICS 21
• For γ À 1:
Near θ = 0
1 q
Ek ∼ i.e. very small
γ 4π²0 r2
2
Near θ = π/2:
1 q γq
E⊥ ∼ 2 2 2 2 3/2
= i.e. very large
γ 4π²0 r (1 − V /c ) 4π²0 r2
Therefore the fields are flattened into the zy-plane, much as in the sketch.
y
Lines of electric field
x, V
ct
The length r 0 is the spatial distance between the charge and the point of
observation in S0 . We wish to determine this length for the present problem
in terms of quantities measured in S. Following convention, we choose r 0 to
denote the vector from the charge to the point of observation. In the case of
interest, r = −w R in S at a time tR = −|r|/c, and r 0 may be determined by
LT
the Lorentz transformation of the event (c(−|r|/c) , −r) −→ (c(−|r 0 |/c), −r 0 ).
Applying the LT to the time coordinate we have
where we have introduced the vector β = V /c. The length r in this expression
is of course the distance between the point at which the potential is determined
and the point where the charge was allowing for the light-travel time, r =
|wR |. In other words we have to evaluate this expression at the retarded time.
Inserting the expression for r 0 we now have our results for the potential of an
arbitrarily moving charge:
q µ0 q[V ]
φ= A=
4π²0 [r − β · r] 4π[r − β · r]
These potentials are called the Liénard-Wiechert potentials, where the brackets
“[ ]” indicate that the quantities are to be evaluated at the retarded time as
usual. As we have seen in the previous section if the particle is in a uniform
state of motion then we get fields which just move along with the charge. The
situation is very much more interesting if the charge accelerates.
The following diagram shows how the field lines develop for a charge initially
in steady motion with a speed V = 0.8c to the right is decelerated and comes
to rest.
24 R ELATIVITY AND E LECTRODYNAMICS
(a) shows the field for a uniformly moving charge. Only the fields in the upper
half plane are shown in all of the figures.
(b) The charge is brought to rest. The field now develops a kink which propa-
gates out at the speed of light. To a distant observer the field emanates from
the location the charge would have moved to, P1 .
(c) The fields a short time later.
Approximate Calculation
B
C
θ
A θ θ x
Fields of the
Fields of x=vT moving charge
the stationary charge
The lines AB and CD represent electric field lines in the inner and outer
regions, which both make the same angle θ to the x-axis about the points from
which the fields appear to emanate (x = vτ /2 ' 0 and x = vT respectively).
Consider the flux through the bases of the cones formed by rotating the lines
AB and CD around the x-axis. The field patterns in the two regions are just
the uniform radial fields from the charge (since we are neglecting relativistic
compression), so the flux enclosed by these two cones is identical. Hence, since
∇ · E = 0 in free space, for all the flux within AB in the inner region to emerge
within CD in the outer region, AB and CD must be part of the same field line.
26 R ELATIVITY AND E LECTRODYNAMICS
This tells us the direction of the field in the thin shell is parallel to BC (the
segment BC may be considered straight, for v ¿ c).
Geometry then gives the ratio of the transverse and radial components.
Er cτ cτ c2
= = =
Eθ vT sin θ (|a|τ )(R/c) sin θ |a|R sin θ
Now Er must take the same value as it does in the inner region close to B
(integrating ∇ · E = 0 over a small shell containing B), such that Er =
Q/4π²0 R2 from Gauss’s theorem. This then gives
Note that the field falls of like 1/R as is appropriate for a radiation field.
We can now estimate the B-field again in the kink. Maxwell’s 4th equation in
integral form gives in free space:
∂ ∂
I Z
B · dl = ²0 µ0 E · dS = ²0 µ0 ΦE
∂t ∂t
Let us apply this to the path formed by rotating the point C around the x-
axis. This is a circle around the direction of the particle velocity and in a plane
perpendicular to it. The area will be the spherical surface bounded on the left
by C. The electric flux, just before the arrival of the kink, is given by:
Q 4πR2 (1 − cos θ)
ΦE = ,
4π²0 R2 2
where we have used the expression for the field due to the charge at x = vT .
After a time τ the kink has swept past the point C and the flux through the
surface will be smaller value
Q 4πR2 (1 − cos θ0 )
Φ0E =
4π²0 R2 2
originating from the static charge close to the origin. However, from geometry
we have
µ0 Q2 |a|2
Z
P = N 2πR2 sin θ dθ =
6πc
µ0 Q2 (−A · A) µ0 Q2 6 2
P = = (γ a|| + γ 4 a2⊥ )
6πc 6πc
This result is the relativistic Larmor formula, or Liénard formula. Here parallel
and perpendicular refer to the direction of the velocity.
5
That the power radiated is a Lorentz invariant can be seen by considering a small
amount of energy dE 0 emitted in a time dt0 in the IRF of the charge (t0 is therefore the
proper time). The power loss in the IRF is then P 0 ≡ dE 0 /dt0 . In the IRF, the radiation is
emitted with a sin2 θ distribution and carries no net linear momentum; the four-momentum
lost is dP = (dE 0 /c, 0, 0, 0). Transforming to a frame S, we therefore find dE = γdE 0 , and
dt = γdt0 (as usual). Hence the power loss in S is P ≡ dE/dt = (γdE 0 )/(γdt0 ) = P 0 . The
power loss is the same in all inertial frames.
28 R ELATIVITY AND E LECTRODYNAMICS
Cyclotron Radiation
In this case γ ∼ 1. As the particle moves on its orbit the direction of the
acceleration continuously changes as seen by a distant observer. The charge
radiates as if it is two dipoles in quadrature with a frequency ω = qB/m
(this quantity is sometimes called the “Larmor” frequency or “gyrofrequency”,
ωg ≡ qB/m). [See problem 21 for a discussion of the radiation fields.]
Synchrotron Radiation
In this case γ À 1. The emission is then far from isotropic in the lab frame.
In the IRF the power-pattern from the accelerated charge is
[i.e. with sin2 θ distribution with respect to the axis of the acceleration]. In
the lab frame this is significantly aberrated as we have already seen
Therefore as the charge orbits we see a succession of pulses. We can use our
earlier results on aberration to show that the angular width of the pulse is
approximately 2/γ. To calculate what an observer will actually see, we must
allow for light travel time effects.
30 R ELATIVITY AND E LECTRODYNAMICS
The leading edge of the observed pulse originates from radiation that is emitted
when the particle is at X, and the radiation forming the trailing edge of the
pulse is emitted when the particle is at Y.
X Y
observer
R
1/γ
r + R/γ
tX +
c
where tX is the time when the particle is at X. The end of pulse is detected at
the time
2R r − R/γ
tX + +
γu c
The duration of the pulse is therefore
µ ¶ µ ¶
1 R R 2R 2R 1 1
δt = r− −r− + = −
c γ γ γu γ u c
2 u 1
= (1 − ) ≈ 3
γω c γ ω
1
νs ' = γ 3ω
δt
Intensity
0.5
0.4
0.3
0.2
0.1
y
1 2 3 4 5
Examples