电场强度E与磁场强度B在张量中的角色
在经典电动力学的传统描述中，电场强度 $\mathbf{E}$ 和磁场强度 $\mathbf{B}$ 通常被视为两个独立的矢量场。然而，随着狭义相对论的发展，我们发现电场与磁场并非孤立存在，它们在不同惯性系下的观察者眼中会发生相互转化。为了在四维时空中以统一、协变的方式描述电磁现象，必须引入张量理论。
通过张量化的处理，$\mathbf{E}$ 和 $\mathbf{B}$ 不再是两个独立的物理量，而是被整合进一个单一的二阶反对称张量——法拉第电磁张量（Faraday Tensor）之中。本文将深入探讨 $\mathbf{E}$ 与 $\mathbf{B}$ 在电磁张量中的数学构造、物理角色及其在能量-动量张量中的体现。
在四维闵可夫斯基时空中，我们使用四维坐标 $x^\mu = (ct, x, y, z)$。为了描述电磁场，我们首先定义电磁四维势 $A^\mu = (\phi/c, \mathbf{A})$，其中 $\phi$ 是标量势，$\mathbf{A}$ 是矢量势。
电磁场张量 $F^{\mu\nu}$ 定义为四维势的反对称导数：
$$F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu$$
这个二阶张量包含了电场和磁场的所有独立分量。由于其反对称性（即 $F^{\mu\nu} = -F^{\nu\mu}$），该张量共有 6 个独立分量，这恰好对应于三维空间中电场 $\mathbf{E}$ 的三个分量和磁场 $\mathbf{B}$ 的三个分量。
在度规符号为 $\eta^{\mu\nu} = \text{diag}(1, -1, -1, -1)$ 的情况下，法拉第张量的矩阵形式如下：
$$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}$ 分量（$i=1,2,3$）代表了电场，它描述了电势在时间方向上的变化与空间方向上的耦合；而 $F^{ij}$ 分量（$i \neq j$）代表了磁场，描述了空间分量之间的旋度关系。
- 洛伦兹协变性：当观察者从一个惯性系变换到另一个惯性系时，$\mathbf{E}$ 和 $\mathbf{B}$ 会通过洛伦兹变换发生混合。在张量语言中，这仅仅是 $F^{\mu\nu}$ 经历了一个线性变换：$F'^{\alpha\beta} = \Lambda^\alpha{}\mu \Lambda^\beta{}\nu F^{\mu\nu}$。这意味着电场和磁场在本质上是同一物理实在在不同时空切面上的投影。
对偶张量与麦克斯韦方程组
为了完整描述电磁场的动力学，我们引入了对偶张量 $\tilde{F}^{\mu\nu}$（Dual Tensor），其定义为：
$$\tilde{F}^{\mu\nu} = \frac{1}{2} \epsilon^{\mu\nu\alpha\beta} F_{\alpha\beta}$$
其中 $\epsilon^{\mu\nu\alpha\beta}$ 是列维-奇维塔符号。
在张量表示下，麦克斯韦方程组展现出了惊人的对称美：
- 源项方程（高斯定律与安培定律）：$\partial_\mu F^{\mu\nu} = \mu_0 J^\nu$
- 无源方程（高斯磁定律与法拉第定律）：$\partial_\mu \tilde{F}^{\mu\nu} = 0$
在这里，$\mathbf{E}$ 和 $\mathbf{B}$ 的角色通过对偶变换实现了互换。例如，在真空中，如果我们将电场和磁场进行某种特定的对偶变换，方程的形式保持不变，这揭示了电磁场在数学结构上的深刻对称性。
电磁能量-动量张量：能量与动量的载体
在电磁场能量与动量研究中，$\mathbf{E}$ 与 $\mathbf{B}$ 的角色从“场本身”转变为“能量与动量的来源”。电磁场的能量、动量以及应力全部被封装在一个二阶对称张量中，即电磁能量-动量张量 $T^{\mu\nu}$。
其标准表达式为：
$$T^{\mu\nu} = \frac{1}{\mu_0} \left( F^{\mu\alpha} F^\nu{}\alpha - \frac{1}{4} \eta^{\mu\nu} F{\alpha\beta} F^{\alpha\beta} \right)$$
通过展开这个张量，我们可以清晰地看到 $\mathbf{E}$ 和 $\mathbf{B}$ 如何决定物理量的分布：
能量密度 ($T^{00}$)：
$$T^{00} = \frac{1}{2} \left( \epsilon_0 E^2 + \frac{1}{\mu_0} B^2 \right)$$
这表明电场能和磁场能是构成时空能量密度的共同成分。能量流密度/坡印廷矢量 ($T^{0i}$)：
$$T^{0i} = \frac{1}{c} (\mathbf{E} \times \mathbf{H})_i$$
这描述了电磁能量在空间中的传递速率，即坡印廷矢量 $\mathbf{S}$。麦克斯韦应力张量 ($T^{ij}$)：
$$T^{ij} = \epsilon_0 E_i E_j + \frac{1}{\mu_0} B_i B_j - \frac{1}{2} \delta_{ij} \left( \epsilon_0 E^2 + \frac{1}{\mu_0} B^2 \right)$$
这部分描述了电磁场产生的机械应力（压力与剪切力），体现了场对物质的力学作用。
示例：洛伦兹变换下的场转换
为了直观理解 $\mathbf{E}$ 与 $\mathbf{B}$ 在张量中的角色，考虑一个仅存在电场 $\mathbf{E} = (E_0, 0, 0)$ 的静电场。
若观察者以速度 $\mathbf{v} = (v, 0, 0)$ 沿 $x$ 轴运动，根据法拉第张量的变换规则，新的电磁场分量将变为：
- $E'_x = E_x = E_0$
- $E'_y = \gamma(E_y - v B_z) = 0$
- $B'_z = \gamma(B_z - \frac{v}{c^2} E_y) = 0$
- $B'_y = \gamma(B_y + \frac{v}{c^2} E_z) = 0$
（注：若电场方向与运动方向垂直，例如 $\mathbf{E} = (0, E_0, 0)$，则会产生非零的磁场 $B'_z = \gamma \frac{v}{c^2} E_0$）。
这个例子说明：在张量框架下，$\mathbf{E}$ 和 $\mathbf{B}$ 并不是两个独立的实体，而是同一个张量 $F^{\mu\nu}$ 在不同坐标系下的不同分量表现。这种统一性是理解电磁场守恒律（如能量-动量守恒 $\partial_\mu T^{\mu\nu} = -f^\nu$）的基础。
总结
在张量理论的视角下，电场 $\mathbf{E}$ 与磁场 $\mathbf{B}$ 的角色发生了从“独立矢量”到“张量分量”的质变。法拉第张量 $F^{\mu\nu}$ 将它们统一为时空中的一个几何对象，而能量-动量张量 $T^{\mu\nu}$ 则将它们的平方项转化为时空的物理属性。这种高度的数学统一性不仅简化了相对论电动力学的描述，更为研究高能物理、引力与电磁场的相互作用提供了核心的理论工具。