Maxwell's Equations in Covariant Form

The Geometric Unification

In classical electrodynamics, we treat the electric field \( \mathbf{E} \) and the magnetic field \( \mathbf{B} \) as distinct vector fields. However, an observer moving relative to a charge will measure a different mix of electric and magnetic effects than a stationary observer. This suggests that \( \mathbf{E} \) and \( \mathbf{B} \) are not fundamental, independent quantities, but rather projections of a deeper structure onto different spatial and temporal axes.

Special relativity provides the framework for this unification. We package the six components of the electric and magnetic fields into a single antisymmetric object called the electromagnetic field tensor, \( F^{\mu\nu} \). Similarly, the charge density \( \rho \) and current density \( \mathbf{J} \) are combined into the four-current \( J^\nu \). The beauty of this approach is that the four separate Maxwell equations in three-dimensional space and time collapse into just two compact tensor equations. These equations are "covariant," meaning they maintain the same mathematical form under Lorentz transformations. If the equation is true in one inertial frame, the tensor nature of the objects involved guarantees it is true in all inertial frames.

The Inhomogeneous Equations

The inhomogeneous Maxwell equations describe how sources (charges and currents) generate fields. In standard vector calculus, these are Gauss's law and the Ampère-Maxwell law. In covariant form, they are combined into a single equation involving the divergence of the field tensor.

The equation is given by:

Here, \( \partial_\mu \) is the four-gradient operator, defined as \( (\frac{1}{c}\frac{\partial}{\partial t}, \nabla) \). The index \( \nu \) runs from 0 to 3. When \( \nu = 0 \), this equation yields Gauss's law, \( \nabla \cdot \mathbf{E} = \rho / \epsilon_0 \). When \( \nu = 1, 2, 3 \), it yields the Ampère-Maxwell law, \( \nabla \times \mathbf{B} - \frac{1}{c^2}\frac{\partial \mathbf{E}}{\partial t} = \mu_0 \mathbf{J} \). The constant \( \mu_0 \) appears here to maintain consistency with SI units, where the four-current \( J^\nu \) is typically defined as \( (c\rho, \mathbf{J}) \).

This single tensor equation encapsulates the source-field relationship. Because \( F^{\mu\nu} \) and \( J^\nu \) are tensors, the equation is automatically Lorentz invariant. We do not need to derive how \( \mathbf{E} \) and \( \mathbf{B} \) transform individually; the tensor transformation law handles it all at once.

The Homogeneous Equations

The homogeneous Maxwell equations describe the intrinsic properties of the fields in the absence of sources. These are Faraday's law of induction and the absence of magnetic monopoles (Gauss's law for magnetism).

In covariant form, these are expressed using the dual field tensor \( \star F^{\mu\nu} \), or more elegantly, using the antisymmetrized derivative of the field tensor itself. The equation is:

Here, the square brackets denote antisymmetrization over the indices \( \alpha, \beta, \gamma \). This means the sum over all permutations of the indices, with a sign change for each swap. This single equation is equivalent to the two familiar vector equations: \( \nabla \cdot \mathbf{B} = 0 \) and \( \nabla \times \mathbf{E} + \frac{\partial \mathbf{B}}{\partial t} = 0 \).

The physical significance of this equation is profound. It states that the electromagnetic field is "source-free" in the sense that it has no magnetic charges. Mathematically, it implies that the field tensor \( F_{\mu\nu} \) can be derived from a four-potential \( A_\mu \) via \( F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \). This potential formulation is crucial for quantum electrodynamics, where the photon is the quantum of the potential field.

Charge Conservation as a Consequence

One of the most elegant results of the covariant formulation is that charge conservation is not an independent assumption, but a direct mathematical consequence of the field equations. In standard electrodynamics, we often state the continuity equation \( \nabla \cdot \mathbf{J} + \frac{\partial \rho}{\partial t} = 0 \) as a separate law required for consistency.

In the tensor formalism, we can derive this immediately. Take the divergence of the inhomogeneous equation with respect to the index \( \nu \):

On the left-hand side, we have the contraction of two partial derivatives, which are symmetric under the exchange of indices \( \mu \) and \( \nu \), with the field tensor \( F^{\mu\nu} \), which is antisymmetric. The contraction of a symmetric tensor with an antisymmetric tensor is always zero. Therefore, the left-hand side vanishes identically.

This leaves us with:

Expanding this four-divergence gives \( \frac{1}{c}\frac{\partial}{\partial t}(c\rho) + \nabla \cdot \mathbf{J} = 0 \), which simplifies to the standard continuity equation. This demonstrates that local charge conservation is built into the geometric structure of spacetime and the definition of the electromagnetic field.