P08 · 第 6 章 · 第三编场方程与综合复习

黑洞、宇宙学与相对论综合复习

从事件、时空间隔和四动量进入度量、曲率、测地线与 Einstein 场方程，比较黑洞视界、轨道与红移、引力波和 FLRW 宇宙的可观测量、坐标选择及模型适用域。

难度 5/5约 205 分钟最近修订 2026-07-14

报告页面错误

预备知识Einstein 场方程与典型解 Lorentz 变换与时空间隔四矢量、相对论动力学与电磁场张量、联络与曲率等效原理、测地线与引力红移

本章目标

用不变间隔和光锥判断事件因果关系，并区分坐标时间与固有时。
用四动量不变量处理相对论碰撞与衰变。
用曲率和测地线偏离区分引力与坐标加速度。
从对称性、源和边界判断 Schwarzschild、线性波或 FLRW 模型。
区分视界、光子轨道、奇点和坐标奇异。
为红移、轨道、引力波和宇宙膨胀明确观察者及适用域。

页面阅读位置0% · 仅保存在此浏览器

章节未开始

本册完成进度0/6 章 · 0%

本页目录

一套约定贯穿全册

采用号型 $(-,+,+,+)$ ， $x^0=ct$ 。平直时空线元

\mathrm ds^2=-c^2\mathrm dt^2+\mathrm dx^2+\mathrm dy^2+\mathrm dz^2.

时间样世界线有 $\mathrm ds^2=-c^2\mathrm d\tau^2$ ，光样间隔为零，空间样间隔为正。 $c$ 用 $\mathrm{m\,s^{-1}}$ ，固有时用 s，四坐标若均按长度写则用 m。坐标差依赖参考系，间隔、固有时和张量缩并不依赖坐标。

分析问题先写观察者：谁发射、谁接收、谁静止、谁自由落体。时间膨胀不是“某只钟绝对变慢”，长度收缩也不是物体自身固有长度改变；它们比较不同世界线或不同同时面。

Lorentz 变换、光锥与速度边界

沿 $x$ 方向相对速度 $v$ 的惯性系满足

ct'=\gamma(ct-\beta x),\qquad x'=\gamma(x-\beta ct),

$\beta=v/c$ 、 $\gamma=(1-\beta^2)^{-1/2}$ 。变换保持 $\mathrm ds^2$ 。时间样或光样分离的事件顺序不能被惯性变换颠倒；空间样事件可在不同系中有不同先后，但不能有因果信号连接。

速度合成

u'_x=\frac{u_x-v}{1-u_xv/c^2}

保持光速不变，也使亚光速叠加仍亚光速。该式只适用于惯性系的局部速度分量；弯曲时空中远距离“速度”依赖坐标，应在局部正交标架中比较。

例 1：事件顺序能否颠倒

两事件在某惯性系中相隔 $\Delta t=2.0\,\mu\mathrm s$ 、 $\Delta x=900\,\mathrm m$ 。 $c\Delta t\approx600\,\mathrm m$ ，故

\Delta s^2=900^2-600^2=4.50\times10^5\,\mathrm{m^2}>0.

分离为空间样，存在速度 $v=c^2\Delta t/\Delta x\approx0.667c$ 的系使两事件同时，更快但仍低于 $c$ 的系可颠倒顺序。这不产生因果悖论，因为连接两事件需要超光速信号。

固有时、雷达距离与钟比较

任意时间样世界线的固有时为

\tau=\int\sqrt{1-\frac{u(t)^2}{c^2}}\,\mathrm dt

（在单一 Minkowski 惯性坐标覆盖下）。比较两只重逢钟，应分别沿各自完整世界线积分；加速度负责改变旅行者世界线和惯性系，却不是积累时间差的额外“加速度项”。分段匀速近似必须在转向处保持事件连续。

远距离在相对论中需要测量协议。雷达距离可由观察者发出和接收光脉冲的固有时定义为 $D_{radar}=c(\tau_{recv}-\tau_{send})/2$ ，并把中间时刻赋给反射事件。它与某坐标切片上的空间距离未必相同。写“某物体现在多远”之前要说明同时性和观察者。

沿视线的相对论 Doppler 因子可由光子四动量缩并得到。惯性接收者远离源时

\frac{\nu_{rec}}{\nu_{emit}} =\sqrt{\frac{1-\beta}{1+\beta}}.

低速展开为 $1-\beta+O(\beta^2)$ 。斜向传播还含方向余弦，不能只代速度大小。

四速度、四动量和不变量

四速度 $U^\mu=\mathrm dx^\mu/\mathrm d\tau$ ，四动量

p^\mu=mU^\mu=(E/c,\mathbf p)

满足

p_\mu p^\mu=-m^2c^2, \qquad E^2=p^2c^2+m^2c^4.

$p^\mu$ 单位 $\mathrm{kg\,m\,s^{-1}}$ 。封闭碰撞在同一事件处满足四动量分量守恒。系统不变质量由总四动量平方决定，一般不等于各静质量之和，因为包含质心系动能和束缚能。

例 2：二体衰变的质心能量

静止母粒子质量 $M$ 衰变为两个同质量 $m$ 粒子。质心系动量相反、能量相同，由能量守恒 $2E=Mc^2$ ，

p=\frac c2\sqrt{M^2-4m^2}.

根号要求 $M\ge2m$ ；等号时子粒子无动能。若母粒子在实验室运动，先在质心系求解再 Lorentz 变换，不能在实验室中假设两子粒子能量相等。

阈值反应与四动量守恒

实验室系的能量守恒常隐藏质心整体运动，阈值问题应使用 Mandelstam 不变量

s=-(p_1+p_2)^2c^2,

其单位为 $\mathrm{J^2}$ ；质心系有 $\sqrt{s}=E_{CM}$ 。产生一组末态粒子的阈值是在质心系末态相对动量为零，此时 $E_{CM,min}=\sum_fm_fc^2$ 。实验室固定靶仍需为质心运动付出能量，所以入射阈值通常大于末态静能增量。

电磁作用下四力满足 $\mathrm dp^\mu/\mathrm d\tau=qF^\mu{}_{\nu}U^\nu$ 。电场和磁场分量随惯性系混合，但 $\mathbf E\cdot\mathbf B$ 与 $E^2-c^2B^2$ （在固定 SI 约定下）提供场型不变量。若两者都为零且第二个为正，可找纯电场系；为负可找纯磁场系；两不变量均零的平面波不能通过惯性变换消去。

这些不变量只分类局部场，不自动解粒子轨迹；还需初值、场空间依赖和辐射损失边界。

从度量到潮汐曲率

弯曲时空中度量 $g_{\mu\nu}(x)$ 决定固有时、距离和光锥。Christoffel 符号由度量一阶导数组成，但不是张量，可在一点选局部惯性坐标令其为零。Riemann 曲率含不可由坐标整体消去的二阶几何信息，单位 $\mathrm{m^{-2}}$ 。

自由测试粒子满足

\frac{\mathrm d^2x^\mu}{\mathrm d\tau^2} +\Gamma^\mu_{\alpha\beta} \frac{\mathrm dx^\alpha}{\mathrm d\tau} \frac{\mathrm dx^\beta}{\mathrm d\tau}=0.

相邻测地线分离矢量 $\xi^\mu$ 的相对加速度由 Riemann 张量控制。均匀加速坐标可产生非零 Christoffel 却无曲率；潮汐拉伸不能在有限区域内坐标消去。等效原理的局部性排除了有限范围均匀引力与加速系完全相同的结论。

测地线偏离方程可写为

\frac{D^2\xi^\mu}{D\tau^2} =-R^\mu{}_{\alpha\nu\beta}U^\alpha\xi^\nu U^\beta

（符号随 Riemann 约定）。左侧是相对加速度，单位 $\mathrm{m\,s^{-2}}$ ；右侧曲率 $\mathrm{m^{-2}}$ 乘两个四速度和分离长度后单位一致。局部装置尺度为 $\ell$ 时，曲率效应数量级由 $|R|\ell^2$ 控制。即使 Christoffel 在中心世界线上被消去，有限大小装置仍测得潮汐。

静态时空中若存在时间样 Killing 矢量 $\xi^\mu_{(t)}$ ，光子沿测地线的 $E_K=-p_\mu\xi^\mu_{(t)}$ 守恒。静态观察者四速度与 Killing 矢量归一化后，频率 $\omega=-p_\mu u^\mu$ 给出引力红移。这个推导清楚分离“沿光路守恒量”和“观察者局部测量”，也说明非静态 FLRW 不能沿用同一全局能量守恒。

场方程和模型选择

G_{\mu\nu}+\Lambda g_{\mu\nu} =\frac{8\pi G}{c^4}T_{\mu\nu}.

左侧曲率 $\mathrm{m^{-2}}$ ，右侧 $T_{\mu\nu}$ 为 $\mathrm{J\,m^{-3}}$ 乘 $G/c^4$ 。求解需指定物质、对称性、初边值和坐标规范。

静态球对称真空外部：Schwarzschild。
小扰动、远离强源：线性引力波。
大尺度均匀各向同性：FLRW。
静态弱场慢速：Newton–Poisson。

这些模型不能互相无条件嵌套。Schwarzschild 外部不描述旋转源、宇宙背景或内部压力；FLRW 平均背景不直接给局部黑洞轨道；线性波不适用于并合强场区。

黑洞：视界不是材料表面

Schwarzschild 半径 $r_s=2GM/c^2$ 。 $r=r_s$ 是事件视界在静态解中的面积半径，定义具有全局因果性质；它不是局部硬表面。静态外部观察者所需悬停加速度接近视界时发散，自由落体观察者可在有限固有时穿越且局部不遇坐标发散。

光子球位于 $r=3GM/c^2$ ，最内稳定圆形时间样轨道位于 $r=6GM/c^2$ （非旋转真空模型）。二者都不等于视界。真实天体自旋时需更一般几何，轨道半径和视界结构改变。

例 3：三个特征半径不能混用

设 $r_s=30\,\mathrm{km}$ 。视界为 $30\,\mathrm{km}$ ，光子球 $3GM/c^2=1.5r_s=45\,\mathrm{km}$ ，最内稳定圆轨道 $6GM/c^2=3r_s=90\,\mathrm{km}$ 。这些是 Schwarzschild 坐标面积半径。把观测图像亮环直接等同于某个单一半径还需要辐射转移、观测倾角和物质分布模型。

黑洞和宇宙学观测不是单一坐标读数

黑洞成像、吸积谱和轨道计时都需要从发射者到观察者积分光样测地线。观测亮环取决于光子轨迹、辐射率、吸收、Doppler 增亮和倾角，不等同于视界照片。非旋转 Schwarzschild 只是基准；旋转源需 Kerr 几何，并区分顺行、逆行轨道。

FLRW 中红移只给尺度因子比。径向光满足 $c\mathrm dt=a\mathrm d\chi$ ，共动距离由背景 $H(z)$ 积分得到。平直模型中角直径距离 $D_A$ 与光度距离 $D_L$ 满足

D_L=(1+z)^2D_A.

使用该关系需光子数守恒、光沿相应几何传播等条件。把 $d=cz/H_0$ 延伸到高红移会忽略 $H(z)$ 演化和距离定义差异。

引力波同样是观察者响应。应变是两个臂长的相对变化，波形相位和振幅受源质量尺度、距离、倾角与偏振共同影响。线性远区模板不能描述视界附近几何全貌；参数推断还包含噪声概率模型。

红移、波与膨胀宇宙

频率是观察者四速度 $u^\mu$ 与光子四动量的缩并：

\omega=-p_\mu u^\mu.

因此“引力红移”和“Doppler 红移”的拆分依赖选择的观察者族；总观测频率比是坐标无关的局部缩并比。

线性引力波应变 $h$ 无量纲，使自由测试质量间相对长度变化 $\Delta L/L$ 。两种张量偏振和传播速度 $c$ 来自远区线性真空方程；源参数从波形反演依赖模板和噪声模型。

FLRW 中共动观察者测得宇宙学红移

1+z=\frac{a(t_0)}{a(t_e)}.

这是光在膨胀背景传播的尺度因子比。低红移时可近似 $v\approx H_0d$ ，高红移不能把 $cz$ 当普通 Doppler 速度。距离还分光度距离、角直径距离和共动距离，必须注明定义。

例 4：尺度因子与光子能量

光在 $a_e=0.40a_0$ 时发射，则 $1+z=a_0/a_e=2.50$ ， $z=1.50$ 。观测波长为发射波长的 $2.50$ 倍，单光子能量 $E=h\nu$ 降为 $0.40$ 倍。该能量变化不能在非静态宇宙中简单归给某个全局势能库；FLRW 缺少一般的全局时间平移对称。

可观测量和坐标量

可靠结论优先写成固有时、频率比、散射角、曲率不变量或特定观察者测量的正交标架分量。坐标速度、坐标半径差和单个 Christoffel 分量可以随坐标改变。坐标不是“虚假”的；它是计算工具，但解释前必须转换为观测协议。

近似还需无量纲参数：狭义相对论修正由 $v/c$ 控制；弱场由 $GM/(rc^2)$ 控制；潮汐由曲率乘装置尺度平方控制；线性波由 $|h|$ 控制。只说“距离很大”或“速度很快”不构成适用性判断。

综合题的闭环检查

第一步固定事件、观察者和坐标域，并写号型。第二步判断需要的是局部惯性变换、给定背景上的测地线，还是必须反求度规的场方程。测试粒子近似要求其能量动量不足以显著改变背景；若反作用不可忽略，不能把背景保持固定。

第三步列守恒量及其来源：平直时空平移给四动量，静态或轴对称几何的 Killing 矢量给相应测地线常数，协变散度给局部物质守恒。没有相应对称性时，不应强行写全局能量常数。

第四步把坐标结果转成观测协议，如固有时、局部频率、面积半径、应变或距离定义。最后检查 $v/c\to0$ 、 $GM/(rc^2)\to0$ 、 $h\to0$ 等极限，核对每个 $c$ 因子和单位。若一个结论依赖“静止观察者”，还要确认该观察者世界线在目标区域确实时间样；Schwarzschild 视界内不存在固定 $r$ 的静态观察者。

相对论中的悖论往往来自混用不同时空事件、同时面或观察者。画世界线并标出光信号，通常比直接套时间膨胀公式更可靠。

任何数值答案都应同时报告参考系、坐标范围、单位、输入来源和近似阶数。

常见误区

广义相对论说所有参考系都等价

物理定律协变不等于所有观察者测得相同分量；固有加速度可区分悬停与自由落体。

黑洞吸引力在视界处无限大

曲率可在大质量黑洞视界处有限；发散常来自静态坐标或悬停观察者。

宇宙学红移就是星系穿过空间的普通速度

高红移关系来自尺度因子和光传播，距离与速度定义需模型化。

练习

练习 1：间隔分类

所属知识: 狭义相对论
难度: 2/5

分类给定两事件并判断因果。

查看提示

计算

-c^{2}\Delta t^{2}+|\Delta r|^{2}

。

查看解答

负、零、正分别为时间样、光样、空间样；只有空间样顺序可被惯性系颠倒。

练习 2：系统不变质量

所属知识: 四动量
难度: 3/5

推导两粒子系统不变质量。

查看提示

先相加总四动量，再求

-P^{2}/c^{2}

。

查看解答

M_{sys}^{2}c^{2}=-P_\mu P^\mu

；质心系中等于

E_{CM}^{2}/c^{4}

，包含内部动能和束缚能。

练习 3：坐标还是曲率

所属知识: 几何
难度: 3/5

设计区分加速坐标与弯曲的判据。

查看提示

Christoffel 可在一点消去，Riemann 不变量检验潮汐。

查看解答

非零

\Gamma

不足以证明曲率；若 Riemann 全零则局部平直，若潮汐或曲率不变量非零则是真实几何。

练习 4：弱场红移

所属知识: 等效原理
难度: 3/5

写出近地弱场两高度钟频率比。

查看提示

用

\Delta \nu/\nu \approx \Delta \Phi/c^{2}

并固定发射接收方向。

查看解答

上升光的接收频率相对发射频率约减少

(\Phi_2-\Phi_1)/c^{2}

；运动观察者还需 Doppler 项。

练习 5：黑洞尺度

所属知识: Schwarzschild
难度: 3/5

比较给定质量的三个半径。

查看提示

分别用

r_s

、

1.5r_s

、

3r_s

。

查看解答

三者是视界、光子球、最内稳定圆轨道，仅对非旋转 Schwarzschild 外部成立。

练习 6：模型分流

所属知识: 适用域
难度: 4/5

为四类问题选择相对论模型并列边界。

查看提示

逐项检查对称性、场强、源速度、尺度和所求观测量。

查看解答

弱静态源用 Newton 极限；球对称真空外部用 Schwarzschild；远区小扰动用线性波；均匀宇宙背景用 FLRW。

关系与资源

课程 · 2024

Introduction to Relativity and Spacetime Physics

Scott Hughes

用于核对 P08 的 Lorentz 变换、时空间隔、四动量、相对论电磁学、等效原理和弱场观测例题。

打开官方来源

课程 · 2020

General Relativity

Scott Hughes

用于核对 P08 的张量与曲率约定、测地线、场方程、Schwarzschild 时空和宇宙学解的推导边界。

打开官方来源

8.033 提供狭义相对论和等效原理入口，8.962 覆盖曲率、场方程、黑洞、波与宇宙学。本文的观察者、号型和模型边界均已明示。