65 Relativistic Electrodynamics
This lecture is based on relativistic kinematics as presented in lecture 62: you need to be fully familiar with those concepts. To summarize briefly: positions and intervals Lorentz transform as contravariant vectors, and differential operators transform as covariant vectors, Here and To lower an index, multiply by the metric tensor to raise one use both mean (in SR) just multiplying the time-index term by A product of a covariant and a contravariant vector is invariant: The two 's are inverses of each other, and so is the ordinary Kronecker just 1's on the diagonal, zeroes elsewhere.
Here we’ll formulate Maxwell’s equations in this notation: it leads to new insights.
An important example of a four-vector is the electric current,
where is the charge density in its rest frame, and is the local 4-velocity. The first component gives the local charge density (actually ) in the (in general) moving frame (note the Lorentz volume contraction), the other three components are the three-dimensional current. (To get the signs right, recall )
The experimentally established conservation of charge is written invariantly (remember ) :
This is an "inner product" of the contravariant and the covariant
Another obvious inner product is:
This operator will be invariant under a Lorentz transformation.
Recall now the wave equations for the vector and scalar potentials :
If we divide every term in the first equation by the right-hand sides of the two equations together form the four-vector current:
and we can put them together very succinctly:
Remember these equations are nothing but a rewriting of Maxwell's equations, so they must be true in all inertial frames.We know the right-hand side is a four-vector (it’s a constant times a four-velocity, so it transforms appropriately) and the differential operator is invariant, so, from the Lorentz invariance of the whole equation, it follows that
is also a four vector.
There is one loose end herethe equations only have this simple "wave equation" form in the Lorenz gauge,
But this is just
manifestly covariant, and the whole scheme is consistent.
The Field Tensor
The Magnetic Field
Recall now that the magnetic field was generated from the vector potential by or in an obvious notation. How does this work in four dimensions? To find out, we define the electromagnetic field tensor
(This is the standard notation, with both indices up so .)
This matrix is constructed from Lorentz vectors, so it will necessarily Lorentz transform as a tensor:
Notice that it is an antisymmetric 4 x 4 matrix, so the four diagonal elements are zero, the other elements occur in pairs with opposite signs, and there are only six independent elements.And, we already know three of them:
But what about ?
The first one
remembering This is nothing but the -component of
Exercise: Use for the particular case of a boost along the -axis to find the Lorentz transformation equations for electric and magnetic fields. You should get the equations we derived earlier by considering moving capacitors, etc. (To get you started, has only two nonzero terms.)
The Levi-Civita Tensor
An interesting higher order tensor (sometimes called the Levi-Civita tensor) is the set of numbers defined as follows:
For other indices, if is in some order; +1 for an even, -1 for an odd permutation.
But if any of the four indices are equal, then Thus, only 24 of the 256 elements are nonzero.
It turns out that this tensor is invariant under Lorentz transformations (although it changes sign under reflection, but that is not our concern here.)
To see how this comes about, look at the transformation equation:
In fact, the expression on the right-hand side is the definition of the determinant if we take equal to and permutation is equivalent to permuting the rows of the matrix, which bring in the appropriate sign change in the determinant. If two are equal, that's the determinant of a matrix with two identical rows, which is zero (in finding a determinant, you can always subtract one row from another).
Actually this is sometimes called a pseudotensor, because it changes sign if the Lorentz transformation includes a reflection.
Exercise: how much of this is true in ordinary three-dimensional space of the set ?
The Levi-Civita symbol is important in general relativity, its value here is that we can use it to generate another Lorentz invariant tensor from :
This dual tensor is denoted by a script F in Jackson, and some books use , the so-called Hodge dual symbol. But the reason we mention this at all is that it illustrates the electricmagnetic duality nicely, and it makes some conserved quantities explicit, as we'll see below.
Compare above with
Just as with the Lorentz transformation of yields the equations we derived for transformation of electric and magnetic fields between frames.
We've already seen that the magnitude of a vector, say , is invariant under a Lorentz transformation. In the exact same way, we can show that is invariant. Now
and recalling that lowering a suffix brings in a minus sign, we find that
is Lorentz invariant.
But what is the significance of this quantity? We'll return to it later: it's the Lagrangian density. (Recall that in classical mechanics the Lagrangian was the difference of kinetic energy and potential energy something similar is happening here.)
Note this invariance tells us that if in some frame there is only a magnetic field, there is no frame in which there is only an electric field.
The inner product gives the same invariant, by inspection, but evidently another Lorentz invariant.
Exercise: Check that Maxwell's equations can be written and that the Lorentz force law is the nonrelativistic limit of