麦克斯韦方程组在相对论中的协变形式

在经典电磁学中，麦克斯韦方程组由四个偏微分方程组成，分别描述了电场和磁场的产生及其演化。然而，在经典形式下，电场 $\mathbf{E}$ 和磁场 $\mathbf{B}$ 被视为两个独立的矢量场。随着爱因斯坦狭义相对论的提出，物理学家意识到电场和磁场并非独立存在，而是同一个电磁场在不同惯性参考系下的不同表现形式。

为了使电磁理论与相对论兼容，我们需要将麦克斯韦方程组写成“协变形式”（Covariant Form）。所谓协变，是指方程的形式在洛伦兹变换下保持不变。通过引入四维矢量和电磁场张量，我们可以将四个复杂的方程简化为两个简洁的张量方程。

四维矢量基础

在狭义相对论中，时间与空间被统一为四维时空。为了描述电磁现象，我们需要定义以下几个核心的四维量：

1. 四维坐标 ($x^\mu$)：
   定义为 $x^\mu = (ct, x, y, z)$，其中 $c$ 是光速。
2. 四维电流密度 ($J^\mu$)：
   将电荷密度 $\rho$ 和电流密度 $\mathbf{j}$ 结合：
   $$J^\mu = (c\rho, j_x, j_y, j_z)$$
3. 四维势 ($\mathbf{A}^\mu$)：
   将标量势 $\phi$ 和矢量势 $\mathbf{A}$ 结合：
   $$A^\mu = (\phi/c, A_x, A_y, A_z)$$

此外，我们需要引入闵可夫斯基度规 $\eta_{\mu\nu} = \text{diag}(1, -1, -1, -1)$，用于在协变分量（下标）和逆变分量（上标）之间进行转换。

电磁场张量 $F^{\mu\nu}$

电磁场张量（Faraday Tensor）是相对论电磁学的核心。它是一个二阶反对称张量，将电场 $\mathbf{E}$ 和磁场 $\mathbf{B}$ 统一在一个 $4 \times 4$ 的矩阵中。

电磁场张量可以通过四维势的偏导数定义为：
$$F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu$$

其矩阵形式如下：
$$F^{\mu\nu} = \begin{pmatrix}
0 & -E_x/c & -E_y/c & -E_z/c \
E_x/c & 0 & -B_z & B_y \
E_y/c & B_z & 0 & -B_x \
E_z/c & -B_y & B_x & 0
\end{pmatrix}$$

物理意义：

• $F^{0i}$ 分量对应于电场 $\mathbf{E}$。
• $F^{ij}$ 分量（$i,j \in {1,2,3}$）对应于磁场 $\mathbf{B}$。
  这种结构清晰地表明，电场和磁场只是电磁场张量在不同时空方向上的投影。当你从一个参考系变换到另一个参考系时，张量的分量会发生混合，这在物理上就对应于电场转化为磁场，或反之。

麦克斯韦方程组的协变形式

利用电磁场张量 $F^{\mu\nu}$ 和四维电流 $J^\mu$，原有的四个麦克斯韦方程可以浓缩为两个张量方程。

1. 不均匀方程（源项方程）

包含高斯定律和安培-麦克斯韦定律的方程可以写为：
$$\partial_\mu F^{\mu\nu} = \mu_0 J^\nu$$

• 当 $\nu = 0$ 时，该方程还原为 $\nabla \cdot \mathbf{E} = \rho/\epsilon_0$（高斯定律）。
• 当 $\nu = 1, 2, 3$ 时，该方程还原为 $\nabla \times \mathbf{B} = \mu_0 \mathbf{j} + \frac{1}{c^2} \frac{\partial \mathbf{E}}{\partial t}$（安培-麦克斯韦定律）。

2. 均匀方程（无源方程）

包含高斯磁定律和法拉第电磁感应定律的方程可以写为：
$$\partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} = 0$$
这个方程也被称为比安基恒等式（Bianchi Identity）。另一种更简洁的表达方式是引入对偶张量 $\tilde{F}^{\mu\nu}$：
$$\partial_\mu \tilde{F}^{\mu\nu} = 0$$

• 当 $\mu, \nu$ 取空间分量时，它还原为 $\nabla \cdot \mathbf{B} = 0$（高斯磁定律）。
• 当其中一个分量为时间分量时，它还原为 $\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t}$（法拉第定律）。

物理图像与结论

将麦克斯韦方程组写成协变形式，不仅是数学上的简化，更揭示了深刻的物理本质：

• 统一性：电场和磁场不再是两种不同的物理量，而是同一个实体（电磁场张量）在不同参考系下的不同观察结果。
• 洛伦兹不变性：由于方程是以张量形式书写的，这意味着无论观察者处于哪个惯性系，电磁定律的形式完全相同。
• 因果律与光速：协变形式直接揭示了电磁波的传播速度 $c$ 是时空结构的固有属性，而非仅仅是电磁波的特性。

总结对比表

通过这种形式，麦克斯韦方程组成为了狭义相对论的第一个完美应用实例，并为后来广义相对论中处理引力场（通过度规张量 $g_{\mu\nu}$）奠定了数学基础。