洛伦兹协变性下的张量变换
在狭义相对论的框架下，物理定律必须在所有惯性参考系中保持形式不变，这一原则被称为洛伦兹协变性（Lorentz Covariance）。为了在数学上实现这一目标，我们不能仅仅使用传统的矢量分析，而必须引入更强大的数学工具——张量（Tensor）。张量不仅能够描述空间中的物理量，更重要的是，它定义了这些物理量在不同惯性系之间进行坐标变换时的严格数学规则。
在讨论张量变换之前，必须首先明确洛伦兹变换。假设有两个惯性参考系 $S$ 和 $S'$，它们之间存在相对速度为 $v$ 的沿 $x$ 轴方向的平移。坐标之间的关系可以通过洛伦兹变换矩阵 $\Lambda^\mu{}_\nu$ 来表示：
$$x'^\mu = \Lambda^\mu{}_\nu x^\nu$$
其中，$\mu, \nu = 0, 1, 2, 3$ 分别代表时间分量和三个空间分量。洛伦兹变换矩阵 $\Lambda$ 必须满足一个核心性质，即它保持闵可夫斯基度规 $\eta_{\mu\nu}$ 不变：
$$\eta_{\alpha\beta} \Lambda^\alpha{}\mu \Lambda^\beta{}\nu = \eta_{\mu\nu}$$
这个性质保证了时空间隔 $ds^2 = \eta_{\mu\nu} dx^\mu dx^\nu$ 在所有惯性系中都是物理不变的，这也是洛伦兹协变性的数学基石。
张量的分类与变换规则
张量根据其指标（Index）的位置和性质，可以分为多种类型。在相对论中，我们主要关注逆变（Contravariant）、**协变（Covariant）以及混合（Mixed）**张量。
1. 标量（Rank-0 Tensor）
标量是一个没有指标的量，例如时空间隔 $s$ 或粒子的静质量 $m$。标量在洛伦兹变换下保持不变：
$$S'(x') = S(x)$$
2. 逆变矢量（Rank-1 Contravariant Vector）
逆变矢量通常用上标表示，如四维位置 $x^\mu$ 或四维动量 $p^\mu$。其变换规则为：
$$V'^\mu = \Lambda^\mu{}_\nu V^\nu$$
这意味着新坐标系下的分量是原坐标系分量与变换矩阵乘积的结果。
3. 协变矢量（Rank-1 Covariant Vector）
协变矢量通常用下标表示，如四维梯度 $\partial_\mu = \frac{\partial}{\partial x^\mu}$。其变换规则为：
$$V'\mu = (\Lambda^{-1})^\nu{}\mu V_\nu$$
或者利用度规张量 $\eta_{\mu\nu}$ 进行指标转换：$V_\mu = \eta_{\mu\nu} V^\nu$。
4. 高阶张量（Higher-Rank Tensors）
对于二阶张量（如电磁场张量 $F^{\mu\nu}$），其变换规则是多个变换矩阵的叠加。对于一个二阶逆变张量 $T^{\mu\nu}$，其变换规则为：
$$T'^{\mu\nu} = \Lambda^\mu{}\alpha \Lambda^\nu{}\beta T^{\alpha\beta}$$
这意味着每一个指标都必须按照其对应的类型（逆变或协变）进行独立的线性变换。
指标的升降与度规张量
在处理洛伦兹协变问题时，频繁涉及指标的“上升”与“下降”。这一操作是通过度规张量 $\eta_{\mu\nu}$ 实现的。
- 降指标（从逆变变为协变）： $V_\mu = \eta_{\mu\nu} V^\nu$
- 升指标（从协变变为逆变）： $V^\mu = \eta^{\mu\nu} V_\nu$
由于在闵可夫斯基空间中 $\eta_{\mu\nu} = \eta^{\mu\nu}$（通常取对角阵 $\text{diag}(1, -1, -1, -1)$），这种操作在数值上非常直观，但在理论上，它确保了物理量在几何结构上的自洽性。
电磁学中的应用实例
为了理解张量变换的实用性，我们以电磁场为例。
电磁场张量 $F^{\mu\nu}$
在经典电动力学中，电场 $\mathbf{E}$ 和磁场 $\mathbf{B}$ 是独立的矢量。但在相对论框架下，它们被统一为一个二阶反对称张量——法拉第电磁张量（Faraday Tensor）：
$$F^{\mu\nu} = \begin{bmatrix} 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{bmatrix}$$
当我们进行洛伦兹变换时，通过应用 $F'^{\mu\nu} = \Lambda^\mu{}\alpha \Lambda^\nu{}\beta F^{\alpha\beta}$，我们可以直接计算出在运动参考系中观察到的电场和磁场。这解释了为什么一个纯电场在运动观察者看来会产生磁场——这本质上是电磁张量在洛伦兹变换下的分量混合。
能量-动量张量 $T^{\mu\nu}$
在讨论电磁场能量与动量时，**能量-动量张量（Stress-Energy Tensor）**是核心。对于电磁场，其形式为：
$$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)$$
该张量的分量具有明确的物理意义：
- $T^{00}$：能量密度。
- $T^{0i}$：能量流密度（即坡印廷矢量 $\mathbf{S}/c$）。
- $T^{ij}$：麦克斯韦应力张量（描述动量流和压力）。
由于 $T^{\mu\nu}$ 是一个二阶张量，它遵循严格的洛伦兹变换规则。这意味着电磁场的能量密度和动量密度在不同惯性系之间不是独立的，而是通过张量变换规则耦合在一起的。这种耦合正是能量与动量守恒律在相对论框架下能够以 $\partial_\mu T^{\mu\nu} = 0$ 这一简洁形式表达的原因。
总结
洛伦兹协变性下的张量变换不仅是一种数学技巧，更是描述物理规律在时空变换下一致性的必然要求。通过将物理量表示为张量，我们能够：
- 统一物理量：将电场与磁场、能量与动量统一在更高维度的几何对象中。
- 简化方程：将复杂的矢量方程组转化为简洁的张量微分方程。
- 确保物理一致性：确保在任何惯性系下，物理定律的形式（如麦克斯韦方程组）保持不变。
掌握张量变换规则，是深入研究电磁场能量、动量以及广义相对论等高级物理理论的必经之路。