Appearance
钟慢尺缩与质增
核心主题
时间膨胀、长度收缩和质量增加是狭义相对论最著名、最反直觉的三大效应。它们都源于洛伦兹变换，且由一个共同的因子——相对论因子 $\gamma$ 统一描述。
一、相对论因子 $\gamma$
1.1 定义
$$ \gamma = \frac{1}{\sqrt{1 - \beta^2}}, \qquad \beta = \frac{v}{c} $$
1.2 $\gamma$ 的行为
| $v/c$ | $\gamma$ | 含义 |
|---|---|---|
| $0$ | $1$ | 无相对论效应 |
| $0.1$ | $1.005$ | 几乎无效应 |
| $0.5$ | $1.155$ | 温和效应 |
| $0.866$ | $2$ | 明显效应 |
| $0.9$ | $2.294$ | 显著效应 |
| $0.99$ | $7.089$ | 极强效应 |
| $0.999$ | $22.37$ | 质量/时间放大 22 倍 |
| $0.9999$ | $70.71$ | — |
| $\to 1$ | $\to \infty$ | 有质量物体无法达到光速 |
常识
日常生活中 $v \ll c$，$\gamma \approx 1$，所以我们感觉不到相对论效应。但 GPS 卫星的时钟修正必须考虑这一效应。
更详细的 $\gamma$ 值参考表
下表给出了更精细的 $\beta$取值及其对应的$\gamma$ 值，便于在计算中快速查阅：
| $\beta = v/c$ | $\gamma$（精确值） | $\gamma - 1$ | 备注 |
|---|---|---|---|
| $0$ | $1.000000$ | $0$ | 牛顿极限 |
| $0.01$ | $1.000050$ | $5.0 \times 10^{-5}$ | 日常速度量级 |
| $0.05$ | $1.001252$ | $1.25 \times 10^{-3}$ | 最快人造飞行器量级 |
| $0.10$ | $1.005038$ | $5.04 \times 10^{-3}$ | — |
| $0.20$ | $1.020621$ | $2.06 \times 10^{-2}$ | — |
| $0.30$ | $1.048285$ | $4.83 \times 10^{-2}$ | — |
| $0.40$ | $1.091089$ | $9.11 \times 10^{-2}$ | — |
| $0.50$ | $1.154701$ | $1.55 \times 10^{-1}$ | 温和效应开始 |
| $0.60$ | $1.250000$ | $2.50 \times 10^{-1}$ | — |
| $0.70$ | $1.400280$ | $4.00 \times 10^{-1}$ | — |
| $0.75$ | $1.511858$ | $5.12 \times 10^{-1}$ | — |
| $0.80$ | $1.666667$ | $6.67 \times 10^{-1}$ | — |
| $0.85$ | $1.898316$ | $8.98 \times 10^{-1}$ | — |
| $0.866$ | $2.000000$ | $1.000$ | $\gamma = 2$ 标志点 |
| $0.90$ | $2.294157$ | $1.294$ | — |
| $0.92$ | $2.551552$ | $1.552$ | — |
| $0.94$ | $2.931056$ | $1.931$ | — |
| $0.95$ | $3.202563$ | $2.203$ | — |
| $0.96$ | $3.571429$ | $2.571$ | — |
| $0.97$ | $4.113448$ | $3.113$ | — |
| $0.98$ | $5.025189$ | $4.025$ | — |
| $0.99$ | $7.088812$ | $6.089$ | 显著增长 |
| $0.995$ | $10.012523$ | $9.013$ | — |
| $0.999$ | $22.366272$ | $21.366$ | 质量/时间放大 22 倍 |
| $0.9995$ | $31.626777$ | $30.627$ | — |
| $0.9999$ | $70.712446$ | $69.712$ | — |
| $0.99995$ | $100.001250$ | $99.001$ | — |
| $0.99999$ | $223.607357$ | $222.607$ | — |
| $0.999999$ | $707.106958$ | $706.107$ | LHC 质子$\gamma \approx 7000$ |
| $\to 1$ | $\to \infty$ | $\to \infty$ | 有质量物体无法达到$c$ |
实用参考
大型强子对撞机（LHC）中质子的 $\gamma \approx 7000$，对应的 $\beta \approx 0.99999999$。宇宙线中能量最高的粒子（Oh-My-God 粒子）$\gamma \approx 3 \times 10^{11}$，其速度与光速相差不到 $10^{-24}$ 倍。
1.3 $\gamma$ 的级数展开（低速近似）
$$ \gamma = 1 + \frac{1}{2}\beta^2 + \frac{3}{8}\beta^4 + \cdots $$
当 $\beta \ll 1$ 时，$\gamma \approx 1 + \frac{1}{2}\frac{v^2}{c^2}$，动能 $K = (\gamma-1)m_0c^2 \approx \frac{1}{2}m_0v^2$，恢复牛顿力学形式。
1.4 $\gamma$ 的泰勒展开详细推导
$\gamma(\beta) = (1 - \beta^2)^{-1/2}$在$\beta = 0$处的泰勒展开可以通过二项式级数得到。对于一般形式$(1 + x)^\alpha$，有：
$$ (1 + x)^\alpha = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!}x^2 + \frac{\alpha(\alpha-1)(\alpha-2)}{3!}x^3 + \cdots $$
令 $x = -\beta^2$，$\alpha = -1/2$，代入：
$$ \begin{aligned} \gamma &= (1 - \beta^2)^{-1/2} \newline[4pt] &= 1 + \left(-\frac{1}{2}\right)(-\beta^2) + \frac{(-\frac{1}{2})(-\frac{3}{2})}{2!}(-\beta^2)^2 + \frac{(-\frac{1}{2})(-\frac{3}{2})(-\frac{5}{2})}{3!}(-\beta^2)^3 + \cdots \newline[4pt] &= 1 + \frac{1}{2}\beta^2 + \frac{3}{8}\beta^4 + \frac{5}{16}\beta^6 + \frac{35}{128}\beta^8 + \cdots \end{aligned} $$
展开式的物理意义
- 第一项 $1$：静止能量 $E_0 = m_0c^2$
- 第二项 $\frac{1}{2}\beta^2$：对应牛顿动能 $\frac{1}{2}m_0v^2$（乘以 $m_0c^2$ 后）
- 第三项 $\frac{3}{8}\beta^4$：最低阶的相对论修正项
- 更高阶项在 $v \ll c$ 时可以忽略
误差估计：当 $\beta = 0.1$时，取到$\beta^2$项的近似$\gamma \approx 1.005000$，精确值为 $1.005038$，相对误差仅约 $3.8 \times 10^{-5}$。当 $\beta = 0.5$时，取到$\beta^4$项近似$\gamma \approx 1.1546875$，精确值 $1.154701$，相对误差约 $1.2 \times 10^{-5}$。
二、时间膨胀（钟慢效应）
2.1 物理图像
时间膨胀
运动参考系中的时钟走得比静止参考系中的慢。运动系中经过的时间 $\Delta t_0$（固有时），在静止系中观测为 $\Delta t = \gamma \Delta t_0$。
2.2 光钟推导
考虑一个以速度 $v$ 运动的"光钟"（两个平行镜面间来回反射的光子）：
- 静止系中：光子垂直往返，$\Delta t_0 = 2L/c$
- 运动系中：光子走斜线，路径变长 $2\sqrt{L^2 + (v\Delta t/2)^2}$
由光速不变：$c\Delta t = 2\sqrt{L^2 + (v\Delta t/2)^2}$
解得：
$$ \Delta t = \frac{2L/c}{\sqrt{1 - v^2/c^2}} = \gamma \Delta t_0 $$
时间膨胀公式
$$ \Delta t = \gamma \Delta t_0 = \frac{\Delta t_0}{\sqrt{1 - v^2/c^2}} $$
其中 $\Delta t_0$ 为固有时（proper time），即与事件同地发生的参考系中测量的时间间隔。
2.2.1 从洛伦兹变换直接推导时间膨胀
除了光钟的直观推导，时间膨胀也可以直接从洛伦兹变换得到，这更能体现其作为时空几何性质的必然性。
设 $S'$系相对于$S$系以速度$v$沿$x$ 轴匀速运动。洛伦兹变换为：
$$ t = \gamma\left(t' + \frac{v}{c^2}x'\right), \qquad x = \gamma(x' + vt') $$
考虑 $S'$系中同一地点发生的两个事件——例如一个时钟在$x' = 0$ 处先后两次读数。事件 1：$(t_1', x_1' = 0)$；事件 2：$(t_2', x_2' = 0)$。在 $S'$ 系中，这两个事件的时间间隔就是固有时：
$$ \Delta t_0 = t_2' - t_1' $$
在 $S$ 系中，利用洛伦兹变换：
$$ \begin{aligned} t_1 &= \gamma\left(t_1' + \frac{v}{c^2} \cdot 0\right) = \gamma t_1' \newline t_2 &= \gamma\left(t_2' + \frac{v}{c^2} \cdot 0\right) = \gamma t_2' \end{aligned} $$
因此：
$$ \Delta t = t_2 - t_1 = \gamma(t_2' - t_1') = \gamma \Delta t_0 $$
关键洞察
这个推导清晰地表明：时间膨胀不是某种物理机制导致的"时钟变慢"，而是洛伦兹变换的必然结果——它是四维时空本身的几何性质。在 $S'$ 系中同一地点 ($\Delta x' = 0$) 的事件，在 $S$ 系中不再同一地点，时间间隔变长了。
2.3 双生子佯谬
双生子佯谬
一对双胞胎，哥哥乘飞船以近光速往返旅行，弟弟留在地球。哥哥回到地球时比弟弟年轻。这是否矛盾？
解答：不矛盾。哥哥经历了加速阶段（非惯性系），两个参考系不对称。用闵氏几何可以严格证明：在闵氏时空中，两点之间的直线世界线（对应惯性运动）具有最长的固有时。哥哥的折线世界线固有时更短，所以更年轻。
实验验证
1971 年 Hafele-Keating 实验：将原子钟放在商用飞机上环球飞行，结果与相对论预言一致。
2.3.1 双生子佯谬的定量分析
设飞船以速度 $v = 0.8c$（$\gamma = 1/0.6 = 1.667$）飞向距离地球 $L_0 = 8$ 光年的恒星，到达后立即以相同速度返回。
地球参考系（弟弟）的分析：
- 单程距离：$L_0 = 8$ 光年
- 单程时间（地球系）：$t_{\text{去}} = L_0 / v = 8 / 0.8c = 10$ 年
- 往返总时间（地球系）：$T_{\text{地球}} = 20$ 年
- 弟弟的年龄增长：20 岁
飞船参考系（哥哥）的分析：
在哥哥看来，由于长度收缩，地球-恒星距离缩短为：
$$ L = \frac{L_0}{\gamma} = \frac{8}{1.667} = 4.8 \text{ 光年} $$
- 单程时间（飞船系）：$t_{\text{去}} = L / v = 4.8 / 0.8c = 6$ 年
- 往返总时间（飞船系）：$T_{\text{飞船}} = 12$ 年
- 哥哥的年龄增长：12 岁
结论
哥哥比弟弟年轻 $20 - 12 = 8$ 岁。无论从哪个参考系计算，只要正确使用相对论，结果一致——哥哥确实更年轻。
2.3.2 用闵氏几何的世界线进行定量计算
在闵氏时空中，固有时 $\tau$与世界线长度之间的关系为$d\tau = \sqrt{dt^2 - dx^2/c^2}$。
弟弟的世界线（$x = 0$，直线）：
$$ \tau_{\text{弟}} = \int_0^{20} \sqrt{1 - 0} \thinspace dt = 20 \text{ 年} $$
哥哥的世界线（折线，$|v| = 0.8c$）：
$$ \tau_{\text{哥}} = \int_0^{20} \sqrt{1 - \frac{v^2}{c^2}} \thinspace dt = \int_0^{20} \frac{1}{\gamma} \thinspace dt = \frac{20}{\gamma} = 20 \times 0.6 = 12 \text{ 年} $$
几何视角
在闵氏时空中，直线世界线（惯性运动）的固有时最长。折线或曲线世界线的固有时更短。这类似于欧氏几何中"两点之间直线最短"，但在闵氏时空中，由于度规符号为 $(+,-,-,-)$，直线世界线反而是"最长"的。双生子佯谬本质上是闵氏几何的"三角形不等式"的反转。
2.3.3 三兄弟佯谬
这是一个更复杂的变体，排除了加速阶段，更清晰地揭示了问题的本质。
三兄弟佯谬
三胞胎：A 留在地球；B 乘飞船以 $0.8c$飞向远方；C 乘飞船以$0.8c$ 从远方飞向地球。B 和 C 在远方擦肩而过时，B 将时钟读数传递给 C。C 到达地球时，比较 A 和 C 的年龄。
设地球在 $x = 0$，远方在 $x = L_0 = 8$ 光年处。
- A 的世界线：$x = 0$，从 $t = 0$到$t = 20$，$\tau_A = 20$ 年
- B 的世界线：$x = 0.8c \cdot t$，从 $t = 0$到$t = 10$， $\tau_B = \int_0^{10} \sqrt{1 - 0.8^2} \thinspace dt = 10 \times 0.6 = 6$ 年
- C 的世界线：$x = L_0 - 0.8c(t - 10)$，从 $t = 10$到$t = 20$， $\tau_C = \int_{10}^{20} \sqrt{1 - 0.8^2} \thinspace dt = 10 \times 0.6 = 6$ 年
B 和 C 的固有时之和为 $6 + 6 = 12$ 年，仍小于 A 的 20 年。这里完全没有加速度——每个观察者都是惯性运动，但世界线并非直线（而是折线），固有时仍然更短。
关键启示
三兄弟佯谬表明：双生子佯谬的本质不在于加速度，而在于世界线的几何。加速只是使得世界线弯曲的手段，但不是年轻化的原因。真正的原因是：连接两个事件的非直线世界线，其固有时短于直线世界线。
2.3.4 加速阶段对固有时的影响
在实际的双生子旅行中，飞船需要加速和减速。设飞船以恒定固有加速度 $g = 9.8 \text{ m/s}^2$（与地球表面重力加速度相同，使宇航员感到舒适）加速。
对于恒定固有加速度 $a$ 的直线运动，速度与时间的关系为：
$$ v(t) = \frac{at}{\sqrt{1 + (at/c)^2}}, \qquad \gamma(t) = \sqrt{1 + (at/c)^2} $$
飞船系中的固有时 $\tau$与地球系时间$t$ 的关系：
$$ t = \frac{c}{a} \sinh\left(\frac{a\tau}{c}\right), \qquad \tau = \frac{c}{a} \operatorname{arcsinh}\left(\frac{at}{c}\right) $$
数值示例
若飞船以 $g$ 加速一年（固有时间），则：
- $\tau = 1$ 年
- $t = \frac{c}{g} \sinh(g \cdot 1\text{yr}/c) \approx 1.19$ 年
- 末速度 $v \approx 0.77c$
如果持续加速，飞船在固有时间 2.5 年内可以到达银河系中心（约 26000 光年），而地球上的时间将流逝约 26000 年。
2.4 时间膨胀的更多实验验证
2.4.1 CERN $\mu$ 子存储环实验
1977 年，CERN 的 $\mu$子存储环实验（Bailey 等人）是时间膨胀最精确的验证之一。静止$\mu$子的平均寿命约为$\tau_0 = 2.197 \thinspace\mu\text{s}$。在存储环中，$\mu$子以$\gamma \approx 29.3$ 运动，实测寿命为：
$$ \tau_{\text{实测}} = \gamma \tau_0 \approx 64.4 \thinspace\mu\text{s} $$
与理论预言吻合，精度达到 $0.1\%$ 级别。这是狭义相对论时间膨胀公式的直接验证。
2.4.2 粒子寿命测量的精确数据
| 粒子 | 静止寿命 | 实验 $\gamma$ | 实验寿命 | 验证精度 |
|---|---|---|---|---|
| $\mu^\pm$ | $2.197 \thinspace\mu\text{s}$ | $29.3$ | $64.4 \thinspace\mu\text{s}$ | $\sim 0.1\%$ |
| $\pi^\pm$ | $26.03 \thinspace\text{ns}$ | $\sim 100$ | $\sim 2.6 \thinspace\mu\text{s}$ | $\sim 1\%$ |
| $K^\pm$ | $12.38 \thinspace\text{ns}$ | $\sim 50$ | $\sim 0.62 \thinspace\mu\text{s}$ | $\sim 1\%$ |
宇宙线 $\mu$ 子
宇宙线中的 $\mu$子产生于大气层顶部（约 15 km 高度），若不以时间膨胀，即使以光速也只能行进约$660 \thinspace\text{m}$就衰变殆尽。但实际观测到大量$\mu$子到达海平面，这是因为$\mu$子以$\gamma \approx 10\text{--}50$运动，在地球参考系中寿命延长了$10\text{--}50$ 倍，使其能够穿越整个大气层。这是时间膨胀的天然验证。
2.4.3 日常生活中的时间膨胀效应
虽然日常生活中 $v \ll c$，时间膨胀效应极其微小，但现代精密仪器可以测量到：
- GPS 卫星：轨道速度约 $3.9 \thinspace\text{km/s}$（$\beta \approx 1.3 \times 10^{-5}$），时间膨胀使卫星时钟每天变慢约 $7 \thinspace\mu\text{s}$。若不修正，GPS 定位误差每天累积约 $10 \thinspace\text{km}$。
- 喷气式飞机：以 $900 \thinspace\text{km/h}$ 飞行，$\beta \approx 8.3 \times 10^{-7}$，$\gamma - 1 \approx 3.5 \times 10^{-13}$。飞行 10 小时后，机上时钟比地面时钟慢约 $1.3 \times 10^{-8}$ 秒——远小于原子钟的测量精度，但已被 Hafele-Keating 实验验证。
- 人的一生：一个人以 $5 \thinspace\text{km/h}$的速度行走 80 年，因时间膨胀比静止的人年轻约$10^{-12}$ 秒——完全可以忽略。
三、长度收缩（尺缩效应）
3.1 物理图像
长度收缩
运动物体在运动方向上的长度比其静止长度（固有长度）短。
3.2 推导
设一根杆在 $S'$系（杆的静止系）中长度为$L_0$（固有长度）。在 $S$ 系中测量杆的长度，需要同时记录杆两端的位置。
由洛伦兹逆变换：$x_2' - x_1' = \gamma[(x_2 - x_1) - v(t_2 - t_1)]$
在 $S$ 系中同时测量：$t_2 = t_1$，故：
$$ L_0 = \gamma L \quad\Rightarrow\quad L = \frac{L_0}{\gamma} $$
长度收缩公式
$$ L = \frac{L_0}{\gamma} = L_0 \sqrt{1 - v^2/c^2} $$
- $L_0$：固有长度（物体静止系中的长度）
- $L$：运动系中观测到的长度
- 仅在运动方向收缩，垂直方向无变化
3.3 另两种推导方法
3.3.1 从时间膨胀 + 光速不变推导
考虑一根长度为 $L_0$的杆（在其静止系中），以速度$v$相对于$S$系运动。从$S$系来看，杆的前端经过某固定点，再到后端经过同一固定点，这之间的时间间隔为$\Delta t = L/v$（$L$是$S$ 系中测得的杆长）。
现在换到杆的静止系 $S'$ 来看：$S$系中的固定点以速度$v$反向运动，经过杆的全长$L_0$，所需时间为 $\Delta t' = L_0 / v$。但 $\Delta t'$是$S'$ 系中同一地点（杆静止系中的固定点）测得的时间，即固有时。由时间膨胀：
$$ \Delta t = \gamma \Delta t' \quad\Rightarrow\quad \frac{L}{v} = \gamma \frac{L_0}{v} \quad\Rightarrow\quad L = \frac{L_0}{\gamma} $$
洞察
这个推导优美地展示了长度收缩和时间膨胀是同一枚硬币的两面——它们通过光速不变原理紧密相连。
3.3.2 从闵氏时空图中推导
在闵氏时空图中，一个静止杆的世界线是两条平行的竖直线（$x = 0$和$x = L_0$）。在运动参考系中，"同时线"发生了倾斜。杆的长度由运动参考系的同时线与两条世界线的交点决定。
设 $S$系相对于$S'$系以速度$v$ 运动。$S$系中的同时线$t = \text{const}$在$S'$系中对应于$t' + vx'/c^2 = \text{const}$。在 $S'$系中，杆的两端世界线为$x' = 0$和$x' = L_0$。$S$系的同时线$t = 0$（即 $t' = -vx'/c^2$）与这两条世界线的交点分别为 $(x'=0, t'=0)$和$(x'=L_0, t'=-vL_0/c^2)$。在 $S$ 系中，这两个事件的空间坐标差为：
$$ L = \gamma(x_2' + vt_2') - \gamma(x_1' + vt_1') = \gamma(L_0 - v \cdot vL_0/c^2) = \gamma L_0(1 - \beta^2) = \frac{L_0}{\gamma} $$
3.4 视觉效应：Terrell 转动（1959）
重要区分
长度收缩是测量结果，不是视觉图像。我们实际"看到"的运动物体，由于光传播时间的差异，其视觉外观并非简单地收缩。
1959 年，James Terrell 指出：运动物体在视觉上看起来不是"收缩"了，而是转动了。这一效应被称为 Terrell 转动（Terrell Rotation）。
为什么看到的是旋转而非收缩？
考虑一个边长为 $L$的立方体以速度$v$ 相对于观察者运动。从立方体背面发出的光到达眼睛的时间比正面发出的光更晚（因为光需要多走一段距离）。当观察者同时接收到来自立方体不同部位的光时，这些光实际上是在不同时刻发出的。
对于横向经过观察者的运动物体：
- 从物体后端发出的光需要更长的传播时间才能到达观察者
- 在光传播的这段时间内，物体已经向前移动了一段距离
- 因此，观察者同时接收到的光子中，来自后端的光是在更早的时刻（物体在更靠后的位置）发出的
这种效应恰好使得物体看起来像是旋转了一个角度 $\theta = \arcsin(v/c)$，而非简单地压扁。
具体例子
一个边长为 $1 \thinspace\text{m}$的立方体以$v = 0.8c$横向经过观察者前方。根据长度收缩，立方体在运动方向上的长度应缩短为$0.6 \thinspace\text{m}$。但实际视觉效果是：立方体看起来旋转了约 $53^\circ$，观察者能看到原本看不到的侧面，整体轮廓看起来像一个正常的立方体被旋转了。
关键点
- 长度收缩是测量效应（同时测量两端位置得到的结论）
- Terrell 转动是视觉效应（光传播时间造成的感知）
- 两者不矛盾——它们回答的是不同的问题
- 对于点状物体或细杆，长度收缩的视觉表现确实接近"压扁"；但对于三维物体，视觉效应更接近旋转
3.5 长度收缩的"悖论"与解答——车库佯谬（梯子佯谬）
车库佯谬
一根长度为 $L_0 = 10 \thinspace\text{m}$的梯子以$v = 0.866c$（$\gamma = 2$）飞向一个 $5 \thinspace\text{m}$深的车库。在车库参考系中，梯子收缩到$L = 10/2 = 5 \thinspace\text{m}$，刚好能放入车库。但在梯子参考系中，车库收缩到 $2.5 \thinspace\text{m}$，梯子远远长于车库。梯子能否放入车库？这是一个矛盾吗？
车库参考系的分析
- 梯子长度：$L = L_0 / \gamma = 10 / 2 = 5 \thinspace\text{m}$
- 车库深度：$5 \thinspace\text{m}$
- 梯子刚好能放入车库
- 在梯子完全进入车库的瞬间，可以同时关闭车库的前后门（同时性在车库系中成立）
梯子参考系的分析
- 梯子长度：$L_0 = 10 \thinspace\text{m}$
- 车库深度（收缩后）：$5 / 2 = 2.5 \thinspace\text{m}$
- 梯子远长于车库，无法放入
解答：同时性的相对性
矛盾的关键在于同时性的相对性。在车库系中"同时"关闭前后门这两个事件，在梯子系中并不同时发生。
在梯子系中：
- 车库后门先关闭（梯子前端刚进入车库时）
- 然后梯子前端撞开后门（或后门打开），梯子继续前进
- 车库前门后关闭（梯子后端刚进入车库时）
在梯子系中，前后门的关闭不是同时的，因此不存在"梯子整体被关在车库内"的时刻。两个参考系对事件的描述虽然不同，但并不矛盾——它们对"什么事件同时发生"有不同的判断。
核心教训
车库佯谬再次印证：同时性是相对的。在理解长度收缩时，必须同时考虑同时性的相对性，否则就会产生表面上的悖论。
3.6 贝尔的飞船佯谬
贝尔的飞船佯谬
两艘相同的飞船，用一根绳子连接，初始时静止且相距 $L$。两艘飞船同时以相同的加速度程序启动（在初始静止参考系 $S$ 中同时）。问：绳子会断吗？
直觉：两艘飞船以相同方式加速，距离保持不变，绳子不会断。
相对论的回答：绳子会断。
详细分析
设初始静止参考系为 $S$。两艘飞船 A（前）和 B（后）在 $S$系中同时以相同的固有加速度$a$开始加速。在$S$系中，两艘飞船的世界线是相同的双曲线，只是平移了初始距离$L$：
$$ x_A(\tau) = \frac{c^2}{a}\cosh\left(\frac{a\tau}{c}\right), \qquad x_B(\tau) = \frac{c^2}{a}\cosh\left(\frac{a\tau}{c}\right) - L $$
在 $S$系的任意时刻$t$，两艘飞船的距离确实是 $L$。但问题在于：绳子也在加速。绳子不是刚体——在相对论中不存在理想刚体。
从飞船的瞬时静止参考系来看，由于同时性的相对性，前方飞船比后方飞船更早开始加速（在飞船的共动参考系中前方飞船的加速时刻更早），因此两艘飞船在共动参考系中的距离会不断增加。绳子最终被拉断。
定量结果
在飞船的瞬时静止参考系中，两艘飞船的距离为： $$ L'(\tau) = \gamma(\tau) \cdot L $$ 其中 $\gamma(\tau) = \cosh(a\tau/c)$。随着速度增加，$\gamma$ 增大，飞船间的固有距离不断增加，绳子承受的应力也越来越大，最终断裂。
物理意义
贝尔的飞船佯谬揭示了相对论中一个深刻的事实：不存在理想刚体。在狭义相对论中，任何力的传递速度都不能超过光速，因此一个物体不可能在受到外力时保持绝对的刚性。这是一个重要的物理洞察，与长度收缩的"同时测量"要求一脉相承。
四、相对论质量增加
4.1 核心概念
质量增加
物体的质量随速度增加而增大： $$ m = \gamma m_0 = \frac{m_0}{\sqrt{1 - v^2/c^2}} $$
其中 $m_0$ 为静质量（rest mass），$m$ 为动质量（relativistic mass）。
术语说明
现代物理教材中倾向于只使用"静质量" $m_0$（或简记为 $m$），而将 $\gamma m_0$ 理解为能量的一部分。但"质量增加"的概念对于直觉理解仍有帮助。
4.2 质量增加的意义
- 当 $v \to c$ 时，$m \to \infty$，需要无限大的力才能进一步加速
- 这解释了为什么有质量物体无法达到光速
- 光子的静质量为零，所以其速度恰好为 $c$
4.3 与质能方程的关系
由 [相对论推导](%E7%9B%B8%E5%AF%B9%E8%AE%BA%E6%8E%A8%E5%AF%BC.md#3.4 质能方程的推导思路)：
$$ E = \gamma m_0 c^2 = m c^2 $$
"质量增加"本质上反映的是能量增加：加速物体时，外力做功转化为物体的动能，表现为总能量增加。在相对论中，这个能量增加同时也表现为惯性（质量）的增加。
4.4 质量增加的实验验证
4.4.1 Bucherer 实验（1908）
Alfred Bucherer 在 1908 年通过测量电子在电磁场中的偏转，验证了相对论质量增加公式。他使用 $\beta$射线源发射的高速电子，使其在电场和磁场中偏转，测量电子的荷质比$e/m$ 随速度的变化。
实验原理：电子在电场中的偏转取决于 $e/(mv^2)$，在磁场中的偏转取决于 $e/(mv)$。通过比较两种偏转，可以独立测量 $e/m$和$v$。
Bucherer 的实验结果与相对论预言 $m = \gamma m_0$一致，电子在$\beta \approx 0.7$时的质量约为静止质量的$1.4$倍，与$\gamma(0.7) = 1.400$ 吻合。
4.4.2 电子在加速器中的质量测量
现代粒子加速器提供了更精确的验证。在同步加速器中，带电粒子在磁场中做圆周运动，其回旋频率为：
$$ \omega = \frac{eB}{\gamma m_0} $$
当粒子能量增加，$\gamma$增大，回旋频率降低。通过精确测量回旋频率随能量的变化，可以验证$m = \gamma m_0$的关系。现代测量精度达到$10^{-4}$ 级别。
| 加速器 | 粒子能量 | $\gamma$ | $m/m_0$ 理论值 | 测量值 |
|---|---|---|---|---|
| 经典回旋加速器 | $10 \thinspace\text{MeV}$ | $\sim 20$ | $\sim 20$ | 吻合 |
| LEP (CERN) | $100 \thinspace\text{GeV}$ | $\sim 2 \times 10^5$ | $\sim 2 \times 10^5$ | 吻合 |
| LHC | $7 \thinspace\text{TeV}$ | $\sim 7000$ | $\sim 7000$ | 吻合 |
同步加速器原理
同步加速器正是因为质量随能量增加而需要不断调整磁场强度（同步变化），才得名"同步"加速器。这正是相对论质量增加的工程应用。
4.4.3 Bertozzi 实验（1964）
William Bertozzi 在 1964 年设计了一个精巧的实验，直接测量电子动能与速度的关系。实验使用直线加速器将电子加速到不同能量，然后通过测量电子飞越已知距离的时间来确定速度。
实验结果清晰地展示了：随着能量不断增加，电子速度趋近于 $c$但永远达不到$c$。当电子动能 $K \gg m_0c^2$时，速度$v \approx c\left[1 - \frac{1}{2}(m_0c^2/K)^2\right]$，速度的增加越来越缓慢。
| 电子动能 $K$ | $K/(m_0c^2)$ | 理论$v/c$ | 实测$v/c$ |
|---|---|---|---|
| $0.5 \thinspace\text{MeV}$ | $0.98$ | $0.86$ | $0.86$ |
| $1.0 \thinspace\text{MeV}$ | $1.96$ | $0.94$ | $0.94$ |
| $1.5 \thinspace\text{MeV}$ | $2.93$ | $0.97$ | $0.97$ |
| $4.5 \thinspace\text{MeV}$ | $8.80$ | $0.995$ | $0.995$ |
| $15 \thinspace\text{MeV}$ | $29.4$ | $0.9994$ | $0.9994$ |
结论
Bertozzi 实验直观地证明：给电子注入的能量越多，它确实变得越"重"（惯性越大），越难加速，速度趋近于 $c$但永远达不到。这是对$E = \gamma m_0 c^2$和$m = \gamma m_0$ 的直接验证。
4.5 相对论动量与牛顿动量的偏离曲线
牛顿力学中动量 $p = m_0 v$，狭相中动量 $p = \gamma m_0 v$。两者的偏离随速度增加而显著增大：
| $\beta = v/c$ | $p_{\text{牛顿}}/(m_0 c)$ | $p_{\text{相对论}}/(m_0 c)$ | 偏离比例 |
|---|---|---|---|
| $0.1$ | $0.1$ | $0.1005$ | $0.5\%$ |
| $0.3$ | $0.3$ | $0.314$ | $4.8\%$ |
| $0.5$ | $0.5$ | $0.577$ | $15.5\%$ |
| $0.7$ | $0.7$ | $0.980$ | $40.0\%$ |
| $0.9$ | $0.9$ | $2.065$ | $129\%$ |
| $0.99$ | $0.99$ | $7.018$ | $609\%$ |
| $0.999$ | $0.999$ | $22.34$ | $2137\%$ |
偏离趋势
当 $\beta < 0.1$时，牛顿动量与相对论动量的偏差小于$0.5\%$，日常经验中完全可以忽略。但当 $\beta > 0.5$ 时，偏差迅速增大，牛顿力学彻底失效。在粒子加速器中，必须使用相对论动量和能量公式。
五、相对论多普勒效应
概述
相对论多普勒效应是经典多普勒效应在狭义相对论框架下的推广。与经典多普勒效应不同，相对论多普勒效应包含两个新特征：(1) 只依赖于光源与观察者的相对速度（不需要介质），(2) 存在纯相对论的横向多普勒效应。
5.1 纵向多普勒效应的完整推导
考虑光源在 $S'$系中静止，发射频率为$f_0$ 的单色光。$S'$系相对于$S$系以速度$v$沿$x$轴运动。假设观察者在$S$ 系中静止。
在 $S'$ 系中，光源发射两个相邻波峰的事件为：
- 事件 1：$(t_1' = 0, x_1' = 0)$
- 事件 2：$(t_2' = T_0 = 1/f_0, x_2' = 0)$
利用洛伦兹变换转换到 $S$ 系：
$$ \begin{aligned} t_1 &= \gamma(0 + v \cdot 0 / c^2) = 0 \newline t_2 &= \gamma(T_0 + v \cdot 0 / c^2) = \gamma T_0 \end{aligned} $$
在 $S$系中，两个波峰发射的时间间隔为$\gamma T_0$。但观察者接收这两个波峰的时间间隔并非简单的 $\gamma T_0$，因为第二个波峰需要多走（或少走）一段距离。光源在时间 $\gamma T_0$内移动了$v \gamma T_0$，因此：
$$ T_{\text{obs}} = \gamma T_0 + \frac{v \gamma T_0}{c} = \gamma T_0 \left(1 + \frac{v}{c}\right) $$
其中 $+$ 号对应光源远离观察者。整理得：
$$ f_{\text{obs}} = \frac{1}{T_{\text{obs}}} = \frac{f_0}{\gamma(1 + v/c)} = f_0 \frac{\sqrt{1 - v^2/c^2}}{1 + v/c} $$
化简：
$$ f_{\text{obs}} = f_0 \sqrt{\frac{1 - v/c}{1 + v/c}} = f_0 \sqrt{\frac{1 - \beta}{1 + \beta}} $$
纵向多普勒效应公式
$$ f_{\text{obs}} = f_0 \sqrt{\frac{1 - \beta}{1 + \beta}} \qquad \text{（光源远离，红移）} $$ $$ f_{\text{obs}} = f_0 \sqrt{\frac{1 + \beta}{1 - \beta}} \qquad \text{（光源靠近，蓝移）} $$
其中 $\beta = v/c$，$v$ 为光源与观察者之间的相对速度（正值表示远离）。
与经典多普勒效应的对比
经典多普勒效应（声波）：$f_{\text{obs}} = f_0 / (1 + v_s/v_{\text{波}})$ 相对论多普勒效应（光波）：$f_{\text{obs}} = f_0 \sqrt{(1 - \beta)/(1 + \beta)}$
关键区别：经典公式依赖于光源和观察者各自相对于介质的速度；相对论公式只依赖于两者之间的相对速度——这正是相对性原理的体现。当 $\beta \ll 1$时，相对论公式展开为$f_{\text{obs}} \approx f_0(1 - \beta)$，与经典公式一致。
5.2 横向多普勒效应——纯相对论效应
当光源的运动方向垂直于观察者的视线方向时，经典多普勒效应预言没有频率移动（因为光源与观察者的距离瞬时不变）。但狭义相对论预言仍然存在频率移动——这是由时间膨胀直接导致的。
横向多普勒效应
当光源在垂直于视线方向运动时： $$ f_{\text{obs}} = \frac{f_0}{\gamma} = f_0 \sqrt{1 - \beta^2} $$
观测频率低于光源固有频率，即总是红移。
推导
设光源在 $S$系中沿$x$轴运动，观察者在$y$轴上的$(0, D)$处。当光源经过原点时（最接近观察者的时刻），光源在$S'$系中发射频率为$f_0$ 的光。
在 $S'$系中，光源静止，发射周期为$T_0 = 1/f_0$。在 $S$系中，由于时间膨胀，发射周期为$\gamma T_0$。
在光源最接近观察者的时刻，光源的径向速度为零（瞬时垂直于视线），因此光传播时间差对频率没有影响。观察者接收到的周期直接就是 $\gamma T_0$，因此：
$$ f_{\text{obs}} = \frac{1}{\gamma T_0} = \frac{f_0}{\gamma} $$
重要意义
横向多普勒效应是纯相对论效应——在经典物理中完全不存在。它是时间膨胀的直接观测表现，也是 Ives-Stilwell 实验验证狭义相对论的关键。
5.3 Ives-Stilwell 实验（1938/1941）
Herbert Ives 和 G. R. Stilwell 在 1938 年首次实验验证了横向多普勒效应，1941 年进一步精确测量。
实验原理：使用高速运动的氢离子（$\beta \approx 0.005$）发出的光，同时测量正向（离子朝向观察者）和反向（离子远离观察者）的多普勒频移。
设 $f_+$ 为正向频移，$f_-$ 为反向频移。根据相对论多普勒公式：
$$ f_+ = f_0 \sqrt{\frac{1 + \beta}{1 - \beta}}, \qquad f_- = f_0 \sqrt{\frac{1 - \beta}{1 + \beta}} $$
注意 $f_+ f_- = f_0^2$。定义平均频率：
$$ f_{\text{avg}} = \frac{f_+ + f_-}{2} \approx f_0 \left(1 + \frac{1}{2}\beta^2\right) $$
经典多普勒效应预言 $f_{\text{avg}} = f_0$（没有横向效应）。相对论预言 $f_{\text{avg}} = f_0(1 + \beta^2/2)$——即有一个二阶红移。
Ives 和 Stilwell 测量到 $f_{\text{avg}} - f_0$的偏移与$\beta^2$成正比，与相对论预言一致。这是对时间膨胀公式$\Delta t = \gamma \Delta t_0$ 的早期实验验证。
历史地位
Ives-Stilwell 实验是第一个直接验证时间膨胀的地面实验。虽然 Ives 本人并不接受相对论，但他的实验数据却完美支持了相对论预言——这是科学史上一个有趣的注脚。
5.4 多普勒效应在天文观测中的应用
红移与蓝移
天体光谱线的频移是天文学中最重要的观测工具之一：
- 红移（Redshift）：天体远离我们，光谱线向低频（红色）方向移动
- 蓝移（Blueshift）：天体靠近我们，光谱线向高频（蓝色）方向移动
红移 $z$ 的定义：
$$ z = \frac{\lambda_{\text{obs}} - \lambda_0}{\lambda_0} = \frac{f_0}{f_{\text{obs}}} - 1 $$
代入相对论多普勒公式：
$$ 1 + z = \sqrt{\frac{1 + \beta}{1 - \beta}} \quad\Rightarrow\quad \beta = \frac{(1+z)^2 - 1}{(1+z)^2 + 1} $$
观测实例
| 天体 | 红移 $z$ | 退行速度 | 距离 |
|---|---|---|---|
| 仙女座星系 | $-0.001$（蓝移） | $\sim 300 \thinspace\text{km/s}$靠近 | $2.5 \times 10^6$ 光年 |
| 室女座星系团 | $0.004$ | $\sim 1200 \thinspace\text{km/s}$ | $5.4 \times 10^7$ 光年 |
| 类星体 3C 273 | $0.158$ | $\sim 0.15c$ | $2.4 \times 10^9$ 光年 |
| GN-z11 | $11.09$ | $\sim 0.986c$ | $1.34 \times 10^{10}$ 光年 |
GN-z11 是目前已知最遥远的星系之一，其退行速度已达光速的 $98.6\%$。
宇宙学红移
对于遥远天体，红移的主要贡献来自宇宙膨胀（空间本身的拉伸），而非简单的多普勒效应。宇宙学红移 $1+z = a(t_0)/a(t_e)$，其中 $a(t)$ 是宇宙标度因子。但对于较近的天体（$z \lesssim 0.1$），多普勒解释是很好的近似。
六、相对论光行差
概述
光行差（Aberration）是指由于观察者的运动，光源的视方向与其真实方向之间的偏差。经典光行差早已在天文观测中发现（如恒星的周年光行差），但狭义相对论给出了更精确的修正公式。
6.1 光行差公式的推导
设 $S'$系相对于$S$系以速度$v$沿$x$轴正方向运动。一束光在$S$系中与$x$轴的夹角为$\theta$，在 $S'$系中与$x'$轴的夹角为$\theta'$。
光子的四维波矢量为 $k^\mu = (\omega/c, \mathbf{k})$，其中 $|\mathbf{k}| = \omega/c$。在 $S$ 系中：
$$ k^\mu = \left(\frac{\omega}{c}, \frac{\omega}{c}\cos\theta, \frac{\omega}{c}\sin\theta, 0\right) $$
利用洛伦兹变换 $k'^\mu = \Lambda^\mu_{\thickspace\nu} k^\nu$：
$$ \begin{aligned} \frac{\omega'}{c} &= \gamma\left(\frac{\omega}{c} - \beta \frac{\omega}{c}\cos\theta\right) = \gamma\frac{\omega}{c}(1 - \beta\cos\theta) \newline[4pt] \frac{\omega'}{c}\cos\theta' &= \gamma\left(\frac{\omega}{c}\cos\theta - \beta\frac{\omega}{c}\right) = \gamma\frac{\omega}{c}(\cos\theta - \beta) \end{aligned} $$
两式相除，得到光行差公式：
$$ \cos\theta' = \frac{\cos\theta - \beta}{1 - \beta\cos\theta} $$
光行差公式（等价形式）
$$ \cos\theta' = \frac{\cos\theta - \beta}{1 - \beta\cos\theta}, \qquad \sin\theta' = \frac{\sin\theta}{\gamma(1 - \beta\cos\theta)} $$
或者用正切表示： $$ \tan\frac{\theta'}{2} = \sqrt{\frac{1+\beta}{1-\beta}} \tan\frac{\theta}{2} $$
与经典光行差的对比
经典光行差公式：$\tan(\theta - \theta') = (v/c)\sin\theta'$ 相对论光行差公式：$\cos\theta' = (\cos\theta - \beta)/(1 - \beta\cos\theta)$
当 $\beta \ll 1$ 时，两者一致。但在高速情况下，相对论公式给出了更精确的修正。
6.2 相对论射束效应（Beaming / Headlight Effect）
光行差公式的一个直接推论是相对论射束效应：当光源以相对论性速度运动时，其辐射集中在前进方向的一个窄锥内。
在光源静止系 $S'$ 中，辐射是各向同性的（$\theta'$均匀分布）。在$S$系中观测，利用光行差公式，辐射方向集中在$\theta$ 较小的范围内。
设 $S'$系中与$x'$轴成$\theta'$角的光子，在$S$系中与$x$ 轴的夹角为：
$$ \sin\theta = \frac{\sin\theta'}{\gamma(1 + \beta\cos\theta')} $$
在 $S'$ 系中，辐射到后半球的能量（$\theta' > 90^\circ$）在 $S$ 系中集中到角度：
$$ \theta_{\text{max}} \approx \frac{1}{\gamma} \quad (\text{当 } \gamma \gg 1) $$
射束效应
高速运动光源的辐射集中在前进方向角度约为 $\theta \sim 1/\gamma$ 的锥内。对于 LHC 中的质子（$\gamma \approx 7000$），辐射锥角仅为约 $0.008^\circ$——几乎是笔直向前的铅笔束。
天体物理中的射束效应
- 活动星系核（AGN）的喷流：观测到的喷流通常只有一侧明亮（朝向地球的一侧），另一侧因射束效应而变得非常暗弱
- 伽马射线暴（GRB）：极高 $\gamma$ 因子的喷流使辐射集中在极窄的锥内，我们只能观测到恰好指向地球的那些 GRB
6.3 在天体物理中的应用
恒星光行差
地球绕太阳公转速度约为 $30 \thinspace\text{km/s}$（$\beta \approx 10^{-4}$），导致恒星的视位置发生周期性变化。光行差角：
$$ \alpha \approx \frac{v}{c} \approx 10^{-4} \thinspace\text{rad} \approx 20.5'' $$
这是 James Bradley 在 1728 年发现的现象，当时被用来首次测量光速。
超光速视运动
在天体物理中，观测到某些活动星系核的喷流似乎在超光速运动。这实际上是光行差效应和光传播时间效应共同造成的视错觉。
设喷流以速度 $v$与视线成$\theta$角运动。喷流在时间$\Delta t$内实际移动距离$v\Delta t$，但由于光传播时间差，观测到的横向移动速度为：
$$ v_{\text{app}} = \frac{v\sin\theta}{1 - (v/c)\cos\theta} $$
当 $\theta$合适且$v$接近$c$ 时，$v_{\text{app}}$可以超过$c$。最大值出现在 $\cos\theta = v/c$ 时：
$$ v_{\text{app, max}} = \gamma v $$
观测实例
类星体 3C 273 的喷流视横向速度约为 $5c\text{--}10c$。这并非真正的超光速，而是光行差和光传播时间效应造成的几何投影效应。用相对论光行差公式可以完美解释。
与多普勒效应的关系
光行差公式与多普勒效应公式本质上来自同一个洛伦兹变换——前者处理的是波矢量的方向变化，后者处理的是波矢量的频率变化。两者结合，完整描述了运动参考系中光的传播特性。
七、三大效应的统一视角
7.1 共同因子
| 效应 | 公式 | 极限行为 ($v \to c$) |
|---|---|---|
| 时间膨胀 | $\Delta t = \gamma \Delta t_0$ | 时间"冻结" |
| 长度收缩 | $L = L_0 / \gamma$ | 长度趋于零 |
| 质量增加 | $m = \gamma m_0$ | 质量趋于无穷 |
所有效应都由 $\gamma$ 因子控制，且都源于洛伦兹变换的几何结构。
7.2 闵氏几何的统一
在闵氏几何中，这三大效应都有简洁的几何解释：
- 时间膨胀：不同参考系对时间轴的投影不同
- 长度收缩：不同参考系的"同时线"不同
- 质量增加：四维动量的时间分量随参考系变化
核心思想
这三大效应不是"真实的变化"，而是四维时空在不同三维切片上的投影不同。就像旋转一个物体，它在不同方向的投影长度会变化，但物体本身不变。在闵氏时空中，参考系变换就是某种"伪转动"。