Electromagnetism Meets Relativity: The Charge and Current Four-Vector

The Geometric Unification

Imagine a crowd of people moving through a stadium. The number of people in a specific section (charge density) and the rate at which they flow out of that section (current) are two different ways of describing the same underlying reality: the distribution and motion of the crowd. In relativity, space and time are intertwined, so a quantity that looks like a "density" in one frame may look like a "flow" in another. Charge density \( \rho \) and current density \( \mathbf{J} \) are not separate entities; they are the time and space components of a single four-vector. This four-vector, called the four-current, transforms according to the Lorentz transformation, just like position and time. This ensures that if charge is conserved in one frame, it is conserved in all frames.

Constructing the Four-Current

To build the four-current, we start with the proper charge density \( \rho_0 \), which is the charge density measured in the rest frame of the charge distribution. We then multiply this scalar by the four-velocity \( U^\mu \) of the charge element. The four-velocity is defined as \( U^\mu = \gamma (c, \mathbf{v}) \), where \( \gamma = 1/\sqrt{1 - v^2/c^2} \). The resulting four-current is:

We identify the time component as \( J^0 = \rho c \) and the spatial components as \( \mathbf{J} = \rho \mathbf{v} \). Here, \( \rho = \rho_0 \gamma \) is the charge density in the lab frame. This shows that charge density is not invariant; it increases by a factor of \( \gamma \) in the frame where the charges are moving. This is consistent with length contraction: the same amount of charge is compressed into a shorter length, increasing the density.

Covariant Charge Conservation

The continuity equation in its classical form is \( \frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{J} = 0 \). We can rewrite this equation in a manifestly covariant form by recognizing that \( \frac{\partial}{\partial t} \) and \( \nabla \) are parts of the four-gradient operator \( \partial_\mu = \left( \frac{1}{c} \frac{\partial}{\partial t}, \nabla \right) \). The four-divergence of the four-current is then:

Since \( \partial_\mu J^\mu \) is a Lorentz scalar (the contraction of a covariant and a contravariant vector), the equation \( \partial_\mu J^\mu = 0 \) holds in all inertial frames if and only if it holds in one. This is the relativistic statement of local charge conservation. It is more fundamental than the classical continuity equation because it explicitly respects the symmetry of spacetime.

Physical Interpretation

The relation \( \rho = \gamma \rho_0 \) has a direct physical interpretation. Consider a line of charges at rest in their own frame, with proper density \( \rho_0 \). In a frame where they move with velocity \( v \), their length is contracted by \( 1/\gamma \). Since the total charge in a segment is invariant, the density must increase by \( \gamma \). The current density is then \( \mathbf{J} = \rho \mathbf{v} = \gamma \rho_0 \mathbf{v} \). This shows that current is not an independent quantity but is directly tied to the motion of the charge density. The four-current encapsulates this relationship geometrically.