We are now ready to get serious about electrodynamics. We have developed a
beautiful, geometric system for describing the *coordinates* in terms of
which electrodynamics must be formulated for the speed of light to be an
invariant. We have developed a group of coordinate transformations that
preserves that invariance. Now we must face up to the fact that our original
equations of electrodynamics are not in a ``covariant'' formulation that makes
these constraints and transformation properties manifest. For example, we do
not yet know how the electric and magnetic fields themselves transform under a
LT!

Let us then reformulate our basic equations in 4-tensor form. We will make the equations themselves 4-scalars, 4-vectors, or 4-tensors of higher rank so that we can simply look at them and deduce their transformation properties. In addition, we will simplify the notation when possible.

We begin at the beginning. All we really know about electromagnetic fields is
their (defined) action on a charged particle:
d **p**dt = q ( **E** + **v**c ×**B**
)
(in 3-vector notation). Well, we know that the 3-vector momentum is just
part of a 4-vector momentum:
p^&alpha#alpha;= (p^0,**p**) = m(U^0,**U**)
(where
). Also, we don't know what ``t'' is (since that depends on
the choice of frame) so we need to use ``
'' instead in our definition.

Thus we can write
d **p**d&tau#tau; = qc ( U^0 **E** + **U** ×
**B** ) .
The left hand side tells us the rate of change of the (spatial) momentum,
which is just part of a four vector. The time component should tell us how
the energy changes with proper time:
dp^0d &tau#tau; = qc **U** ·**E**.

Now, if this energy-force 4-vector equation is to be covariant (so its transformed form is still a 4-vector) then the right hand sides must form a 4-vector too. Thus we must be able to express it (as a contraction of co and contra variant tensors) so that this property is ``manifest''. We know (experimentally) that charge is a Lorentz scalar; that is, charge is invariant under LT's. forms a contravariant 4-vector.

From this we can deduce the 4-tensor form for the electromagnetic field!
Since the space parts
form the time component of a
four vector, **E** must be the time-space part of a tensor of rank two.
That is,
**E** ·**U** = F^0 &beta#beta;U_&beta#beta;.
We could easily find **B** in a similar fashion and could eventually work
out the electromagnetic field strength tensor. However, it is more
constructive to keep on making four vectors, etc. out of the rest of the
relations at hand.

For example, we already have observed that the continuity equation is a
covariant 4-scalar:
&rho#rho;t + ·**J** = 0 .
To make it's covariance manifest, we define a 4-current
J^&alpha#alpha;= (c &rho#rho;, **J**)
so that
&part#partial;_&alpha#alpha;J^&alpha#alpha;= 0
is the continuity equation. Note that (as Jackson remarks) this only works
because electric charge is a Lorentz invariant and so is a
*four*-dimensional volume element (since
).

Next, consider the wave equations for the potentials in the Lorenz
gauge (note well that Jackson for no obvious reason I can see *still* uses Gaussian units in this part of chapter 11, which is goiing
to make this a pain to convert below - bear with me):
1c^2&phis#phi;t - &phis#phi;& = &
&rho#rho;&epsi#epsilon;_0 = J^0&epsi#epsilon;_0 c

& = & &mu#mu;_0 J^0&mu#mu;_0 &epsi#epsilon;_0 c = &mu#mu;_0 (c J^0)

so that:
1c^2(&phis#phi;/c)t - (&phis#phi;/c) & = & &mu#mu;_0 J^0

1c^2t - & = & &mu#mu;_0

Therefore, if we form the 4-vector potential
A^&alpha#alpha;= (&phis#phi;c,**A**)
then we can write the various 4-relations:
&part#partial;_&alpha#alpha;A^&alpha#alpha;= 1cA^0t +
(which is the 4-scalar Lorenz gauge condition)
A^&alpha#alpha;= &part#partial;_&beta#beta;&part#partial;^&beta#beta;A^&alpha#alpha;= &mu#mu;_0 J^&alpha#alpha;
(the 4-vector inhomogeneous electromagnetic wave equation constructed from
the 4-scalar D'Lambertian wave operator - the set of four wave
equations for
and the components of
above).

Now we can construct the components of **E** and **B** from the covariant
4-vector potential. For example, we know that:
= -&phis#phi;- t
where
, so
E_x = - c A_x(c t) - c A^0x = -
c (&part#partial;^0 A^1 - &part#partial;^1 A^0)
and similarly, since
:
B_x = A_zy - A_yz = -(&part#partial;^2 A^3 -
&part#partial;^3 A^2)
etc.

The components of the electric and magnetic fields (all six of them) thus
transform like the components of a **second rank, antisymmetric, traceless
field strength tensor**Electromagnetic tensorNote that
I'm not completely comfortable with the signs for the covariant form of
the potential in the Wikipedia article, although its main conclusions
are sound enough.:
F^&alpha#alpha;&beta#beta; = &part#partial;^&alpha#alpha;A^&beta#beta;- &part#partial;^&beta#beta;A^&alpha#alpha;.
In explicit component form,
F^&alpha#alpha;&beta#beta; =
( ) .
The tensor with two covariant indices (formed by two contractions with
) is
obtained by replacing
with
.
F_&alpha#alpha;&beta#beta; =
( ) .

Another important version of this tensor is the **dual field strength
tensor**
. In terms of the totally antisymmetric
tensor of the fourth rank and the normal field strength tensor it is given by:
F^&alpha#alpha;&beta#beta; = 12 &epsi#epsilon;^&alpha#alpha;&beta#beta;&gamma#gamma;
&delta#delta; F_&gamma#gamma;&delta#delta; = ( ) .
This is obtained from the basic contravariant field strength tensor by the
substitutions
. Consideration of the
section on magnetic monopoles shows that this is indeed a particular
duality transformation obtained in free space with the ``rotation''
parameter equal to
(in J6.151).

Finally, we must write Maxwell's equations in covariant form. The
inhomogeneous equations are (recall)
& = & &rho#rho;&epsi#epsilon;_0

- 1c^2 t & = & &mu#mu;_0
The quantity on the right is proportional to the four current. The quantity
on the left must therefore contract a 4-derivative with the field strength
tensor. You should verify that
&part#partial;_&alpha#alpha;F^&alpha#alpha;&beta#beta; = &mu#mu;_0 J^&beta#beta;
exactly reconstructs the inhomogeneous equation for each component of
.

The homogeneous equations
& = & 0

+ t & = & 0
also form a four vector (of zero's) and must hence be the contraction of a
field strength tensor. But which one? Well, the second homogeneous equation
requires that
and both require that
, so it must be the dual:
&part#partial;_&alpha#alpha;F^&alpha#alpha;&beta#beta; = 0 .
If we feel compelled to write everything in terms of the field strength tensor
itself, this can be done. The result is the four equations
&part#partial;^&alpha#alpha;F^&beta#beta;&gamma#gamma; + &part#partial;^&beta#beta;F^&gamma#gamma;&alpha#alpha; +
&part#partial;^&gamma#gamma;F^ &alpha#alpha;&beta#beta; = 0
where
are any three of the four indices 0,1,2,3.
However, this equation is a third rank tensor on the left, and its reduction
by symmetry to a tensor of first rank is not manifest. It is ugly, if you
will.

Now that we have written Maxwell's equations (and the consequences of ME) in four dimensional form (remarking all the while that they are unusually beautiful and concise in this notation) we are done. Before we go on to deduce (from these results) how electric and magnetic fields LT, however, we should complete the question with which we began the discussion, namely, how does Newton's law become covariant? The answer is (now that we know what the field strength tensor is) dp^&alpha#alpha;d &tau#tau; = m dU^&alpha#alpha;d &tau#tau; = qc F^&alpha#alpha;&beta#beta; U_&beta#beta;. The time-component equation is just the work-energy theorem, and the space equations are Newton's law.

As a postscript to our discussion (recalling that sometimes the fields propagate in some medium and not free space) we note that in this case the homogeneous equation(s) remain unchanged, but the inhomgeneous equations are modified (by using and instead of and ). The inhomogeneous equation is then &part#partial;_&alpha#alpha;G^&alpha#alpha;&beta#beta; = &mu#mu;J^&beta#beta; where hopefully the definition of is obvious (that is, substitute for throughout in appropriate places, or if you prefer recapitulate the entire derivation using and from the beginning).

Let us pause for a moment of religious silence and contemplate a great wonder of nature. This is the scientist's version of ``prayer in school''.