Relativistic Electrodynamics

Relativistic electrodynamics unifies the laws of electricity and magnetism with Einstein's theory of special relativity. This framework is not merely a mathematical curiosity; it is essential for understanding how electromagnetic fields behave for observers moving at significant fractions of the speed of light, for calculating the motion of high-energy particles in accelerators and astrophysical environments, and for formulating a consistent, classical field theory that is the foundation for quantum electrodynamics. By expressing Maxwell's equations in a covariant form, we reveal their inherent relativistic nature, showing that electric and magnetic fields are not separate entities but different manifestations of a single underlying object—the electromagnetic field tensor.

The Electromagnetic Field Tensor and Covariant Maxwell's Equations

The cornerstone of the covariant formulation is the electromagnetic field tensor $F^{\mu\nu}$. This antisymmetric, rank-2 tensor combines the components of the electric and magnetic fields into a single geometric object. In Cartesian coordinates, with the metric signature $(+,-,-,-)$ and $c=1$, its contravariant components are defined by the matrix:

$$F^{\mu\nu} = \begin{pmatrix} 0 & -E_x & -E_y & -E_z \\ E_x & 0 & -B_z & B_y \\ E_y & B_z & 0 & -B_x \\ E_z & -B_y & B_x & 0 \end{pmatrix}.$$

Here, the time-space components ($F^{0i}$) encode the electric field, while the space-space components ($F^{ij}$) encode the magnetic field. The dual field tensor, $\tilde{F}^{\mu\nu} = \frac{1}{2}\epsilon^{\mu\nu\rho\sigma}F_{\rho\sigma}$, similarly contains the fields but with $\mathbf{E}$ and $\mathbf{B}$ swapped in a specific way.

Using this tensor and the four-current $J^\mu = (\rho, \mathbf{J})$, the four Maxwell equations condense into two elegant, covariant tensor equations. The inhomogeneous equations (Gauss's law for electricity and Ampère-Maxwell's law) become: $$\partial_\mu F^{\mu\nu} = \mu_0 J^\nu.$$ The homogeneous equations (Gauss's law for magnetism and Faraday's law of induction) become: $$\partial_\mu \tilde{F}^{\mu\nu} = 0.$$

This formulation is manifestly covariant—its form is identical in all inertial frames. This proves that Maxwell's equations are inherently consistent with special relativity; they do not require modification. The conservation of electric charge is also elegantly expressed as $\partial_\nu J^\nu = 0$, which follows directly from the antisymmetry of $F^{\mu\nu}$.

Lorentz Transformation of Electric and Magnetic Fields

Since $\mathbf{E}$ and $\mathbf{B}$ are components of $F^{\mu\nu}$, they mix under a Lorentz transformation. An observer moving with velocity $\mathbf{v} = v \hat{x}$ relative to a frame where fields $\mathbf{E}$ and $\mathbf{B}$ are measured will observe different fields $\mathbf{E}'$ and $\mathbf{B}'$. The transformation is found by applying the Lorentz transformation tensor $\Lambda^\mu_{ \ \nu}$ to the field tensor: $F'^{\mu\nu} = \Lambda^\mu_{ \ \rho} \Lambda^\nu_{ \ \sigma} F^{\rho\sigma}$.

For a boost along the $x$-axis with Lorentz factor $\gamma = 1/\sqrt{1-v^2/c^2}$, the field components transform as:

• Parallel components: Fields parallel to the boost direction are unchanged.

$$E'_x = E_x, \quad B'_x = B_x.$$

• Perpendicular components: Fields perpendicular to the boost direction mix.

$$E'_y = \gamma(E_y - v B_z), \quad E'_z = \gamma(E_z + v B_y).$$ $$B'_y = \gamma(B_y + \frac{v}{c^2} E_z), \quad B'_z = \gamma(B_z - \frac{v}{c^2} E_y).$$

This mixing explains phenomena that are puzzling from a non-relativistic perspective. For example, a pure magnetic field in one frame ($\mathbf{B} \ne 0, \mathbf{E}=0$) appears as a combination of both electric and magnetic fields to a moving observer. Conversely, what one observer calls an electric field, another in relative motion will perceive as a combination of electric and magnetic fields. This demonstrates that $\mathbf{E}$ and $\mathbf{B}$ are frame-dependent aspects of a single electromagnetic entity, just as time and space are aspects of spacetime.

Relativistic Particle Dynamics in Electromagnetic Fields

The motion of a charged particle with rest mass $m$ and charge $q$ in an electromagnetic field is governed by the relativistic form of the Lorentz force law. In covariant notation, this is expressed using the particle's four-velocity $U^\mu = \gamma(c, \mathbf{u})$ and four-momentum $p^\mu = m U^\mu$. The equation of motion is: $$\frac{dp^\mu}{d\tau} = q F^{\mu\nu} U_\nu.$$ Here, $d\tau$ is the proper time interval. This single tensor equation encapsulates both the time-rate change of energy and the three-vector force law.

Splitting this into time and space components recovers the familiar but relativistic results. The time component ($\mu=0$) gives the power delivered by the field: $$\frac{dE}{dt} = q \mathbf{E} \cdot \mathbf{u}.$$ Only the electric field does work. The spatial components ($\mu=1,2,3$) give the force: $$\frac{d\mathbf{p}}{dt} = q(\mathbf{E} + \mathbf{u} \times \mathbf{B}),$$ where $\mathbf{p} = \gamma m \mathbf{u}$ is the relativistic three-momentum. Solving these equations is crucial for designing particle accelerators like cyclotrons and synchrotrons, where one must account for the increasing inertia ($\gamma$) of particles as they approach light speed.

The Stress-Energy Tensor of the Electromagnetic Field

The electromagnetic field carries energy, momentum, and exerts stresses. All these properties are unified in the electromagnetic stress-energy tensor $T^{\mu\nu}_{em}$. This symmetric, rank-2 tensor describes the density and flux of energy and momentum in the field. Its components have clear physical interpretations:

• $T^{00}$: The energy density of the field, $u_{em} = \frac{1}{2}(\epsilon_0 E^2 + \frac{1}{\mu_0}B^2)$.
• $T^{0i}/c$: The components of the Poynting vector $\mathbf{S} = \frac{1}{\mu_0}(\mathbf{E} \times \mathbf{B})$, representing energy flux density.
• $T^{i0}/c$: The momentum density of the field, $\mathbf{g} = \epsilon_0 \mathbf{E} \times \mathbf{B} = \mathbf{S}/c^2$.
• $T^{ij}$: The Maxwell stress tensor, describing the force per unit area (stress) that the field exerts on a surface.

In terms of the field tensor, it is constructed as: $$T^{\mu\nu}_{em} = \frac{1}{\mu_0} \left( F^{\mu\alpha}F^\nu_{ \ \alpha} - \frac{1}{4} \eta^{\mu\nu} F^{\alpha\beta}F_{\alpha\beta} \right).$$

A profound result is that this tensor is divergenceless in free space: $\partial_\mu T^{\mu\nu}_{em} = 0$. This expresses the local conservation of energy and momentum for the electromagnetic field alone. When interacting with charged particles, the total stress-energy tensor (field + matter) is conserved, describing how energy and momentum are exchanged between fields and particles.

Common Pitfalls

1. Confusing Field Transformation Rules: A common error is misremembering the signs in the transformation equations for perpendicular field components. A reliable mnemonic is that for a positive charge at rest, its electric field lines are radial. An observer moving relative to it will see a current, which generates a magnetic field that curls around the direction of motion. The transformation rules must produce this physically expected result. Always derive or check signs from the tensor transformation law $F' = \Lambda F \Lambda^T$.

1. Applying Non-Relativistic Momentum in Force Law: In the Lorentz force law $d\mathbf{p}/dt = q(\mathbf{E} + \mathbf{u} \times \mathbf{B})$, the momentum $\mathbf{p}$ is relativistic ($\gamma m \mathbf{u}$), not Newtonian ($m \mathbf{u}$). Using the Newtonian form for high-velocity particles leads to significant inaccuracies in calculating trajectories, such as in a cyclotron where the particle's increasing mass with speed causes it to fall out of sync with the alternating electric field.

1. Misinterpreting the Stress-Energy Tensor Components: Students often forget that $T^{0i}$ and $T^{i0}$ represent flux densities. $T^{0i}$ is the i-th component of the energy flow (Poynting vector) per unit area per unit time. Its spatial integral over a closed surface gives the rate of energy leaving a volume. Similarly, the spatial components $T^{ij}$ represent force per unit area, not simple momentum density.

1. Assuming Covariant Means Components Are Invariant: Covariance means the form of the equations is the same in all frames, not that the numerical values of tensor components are the same. $F^{\mu\nu}$ itself is not invariant; its components change according to the Lorentz transformation. The Lorentz scalars built from it, such as $F^{\mu\nu}F_{\mu\nu} = 2(B^2 - E^2/c^2)$ and $F^{\mu\nu}\tilde{F}_{\mu\nu} = -4\mathbf{E}\cdot\mathbf{B}/c$, are the true invariants.

Summary

• Maxwell's equations are elegantly unified in covariant form using the antisymmetric electromagnetic field tensor $F^{\mu\nu}$, with the laws expressed as $\partial_\mu F^{\mu\nu} = \mu_0 J^\nu$ and $\partial_\mu \tilde{F}^{\mu\nu} = 0$.
• Electric and magnetic fields are frame-dependent. They transform according to the Lorentz transformation of $F^{\mu\nu}$, demonstrating that they are different manifestations of a single electromagnetic entity.
• The motion of a relativistic charged particle is governed by the covariant Lorentz force law $dp^\mu/d\tau = q F^{\mu\nu} U_\nu$, where the spatial part reduces to $d\mathbf{p}/dt = q(\mathbf{E} + \mathbf{u} \times \mathbf{B})$ with $\mathbf{p} = \gamma m \mathbf{u}$.
• The energy, momentum, and stress of the electromagnetic field are encoded in the symmetric stress-energy tensor $T^{\mu\nu}_{em}$. Its conservation law governs the flow and exchange of energy and momentum between fields and matter.
• This covariant framework reveals the deep geometric structure of electromagnetism, proving its consistency with special relativity and providing the powerful tools necessary for modern high-energy physics and field theory.