广义相对论基础
广义相对论基础(General Relativity Basics)
本章目标:从“等效原理”出发,建立广义相对论的最小数学工具箱(张量、度规、协变导数、曲率),给出爱因斯坦场方程的常见推导动机与弱场极限,并以 Schwarzschild 时空为主线串起经典检验(引力红移、光线偏折、近日点进动、Shapiro 延迟)与典型考题。
为方便计算,本文会在不同小节切换单位:
- 几何单位:
(常用于黑洞/测地线推导) - SI 单位:保留
(适合数值估算与实验量级)
符号约定(请先看)
- 指标:希腊字母
,其中 。 - 度规号:本文默认
(时间分量为负)。 - 爱因斯坦求和约定:重复上下指标自动求和。
- 4-速度:
,其中 为固有时。
0. 从“引力是什么”到“时空几何”
牛顿引力把引力看作一种作用于物体的力:
然而两个关键事实迫使我们升级理论:
- 惯性质量 = 引力质量(实验精度极高)
- 光也会被引力影响(偏折、延迟、红移),而光“没有静止质量”
广义相对论的核心观点是:
引力不是一种“额外的力”,而是时空几何(度规)的体现;自由落体沿着时空中的测地线运动。
1. 等效原理:广义相对论的出发点
1.1 弱等效原理(WEP)
所有自由落体在同一重力场中具有相同的加速度,与其内部组成无关。
这等价于“惯性质量
1.2 爱因斯坦等效原理(EEP)
在任意一点附近,总能选择一个局部惯性系,使得该点附近的物理定律与狭义相对论相同。
直观表述:
- 封闭电梯里做实验:无法区分“处于均匀重力场静止”与“在无重力的空间做匀加速运动”。
1.3 用等效原理推导引力红移(最经典的 1 页推导)
考虑一部在深空中以加速度
顶部在光子飞行时间
对顶部而言,接收到的光发生相对论多普勒效应(弱速):
由等效原理,把匀加速与匀重力
同理可得时间膨胀:上方的钟走得更快。
2. 最小数学工具箱:度规、张量与协变导数
2.1 间隔与度规(metric)
狭义相对论中 Minkowski 间隔:
广义相对论把
物理意义:度规决定“距离/时间”的测量方式,因此也决定自由粒子的运动。
2.2 固有时与 4-速度
对时类轨迹(可作为粒子世界线),定义固有时:
因此
2.3 指标升降
其中
2.4 为什么需要协变导数?
在曲面/曲时空中,普通偏导
其中
2.5 Christoffel 符号的公式
在无挠、度规相容(
小提醒:Christoffel 不是张量
它依赖坐标系选择(可以在某点选取局部惯性系使其为 0),但它组合成的曲率张量是坐标不变量。
3. 测地线:自由落体的方程
3.1 从“极值固有时”推导测地线方程
自由粒子在两事件间走“固有时最大”(或作用量极值)的路径:
其中
对该拉格朗日量做变分(略去常数并选取仿射参数),可得欧拉-拉格朗日方程最终化为:
这就是测地线方程:自由落体“没有外力”,但坐标加速度可不为零。
3.2 牛顿极限:测地线如何还原 
在弱场、低速下,度规可写成
测地线的空间分量(只保留一阶小量)给出
即恢复牛顿引力势
4. 曲率:引力的“强度”如何编码
4.1 曲率来自“绕一圈不回原位”
在平直空间,把向量平移绕一圈会回到原向量;在曲空间则会发生偏转。数学上表现为协变导数不对易:
这里
4.2 Riemann、Ricci 与标量曲率
从 Christoffel 可写出:
收缩得到 Ricci 张量与标量曲率:
4.3 爱因斯坦张量与 Bianchi 恒等式
定义
它满足重要恒等式(几何上“守恒”):
这将迫使右边的物质源也满足能动量守恒:
5. 爱因斯坦场方程:几何 = 物质
5.1 形式与常数
广义相对论最核心的方程:
其中
5.2 为什么是 
?(最常用的“推导动机”)
我们希望左边是:
- 由度规及其一、二阶导数组成(对应“局域”引力)
- 对称二阶张量(与
匹配) - 满足协变守恒
- 弱场极限还原泊松方程
在这些条件下,最自然且最简单的选择就是
更系统的推导:Hilbert–Einstein 作用量
取总作用量 $$ S=\frac{c^3}{16\pi G}\int R\sqrt{-g}\,d^4x+S_{\text{matter}}. $$ 对
(完整变分细节较长,竞赛/入门通常只要求理解“为何是
5.3 常见物质:理想流体的 
宇宙学与恒星结构常用“理想流体”:
其中
6. 弱场近似与线性化引力(选学但很实用)
设
在线性近似与合适规范(如 Lorenz 规范)下,场方程会变成“波动方程”形式,真空中存在引力波解。
6.1 线性化方程的标准形(了解即可)
定义迹反转(trace-reversed)扰动
在 Lorenz 规范
下,Einstein 方程线性化为
真空区
6.2 引力波最小图景:TT 规范与应变
对沿
其中
对于入门最关键的是:在静态弱场、低速下
因此广义相对论与牛顿引力在日常尺度高度一致,只在精密实验/强引力处显著。
7. Schwarzschild 时空:最重要的精确解
7.1 度规(真空、球对称、静态)
对质量
定义 Schwarzschild 半径
当
7.2 静止观测者的引力时间膨胀
对固定
因此远处观察者看到近处的钟变慢。

7.3 能量与角动量守恒(测地线的第一积分)
Schwarzschild 度规对
在赤道面
7.4 有效势(时类测地线)
在几何单位
其中(典型形式)

7.5 光子球与 ISCO(竞赛很常考的两个半径)
在几何单位
- 光子球(photon sphere):不稳定的圆形光子轨道 $$ \boxed{ r_{\text{ph}}=3M=\frac{3}{2}r_s } $$
- 最内稳定圆轨道(ISCO,时类):稳定圆轨道存在的内边界 $$ \boxed{ r_{\text{ISCO}}=6M=3r_s } $$
直观理解:越靠近黑洞,时空曲率越强,有效势的“势阱”结构改变,稳定圆轨道会消失。
8. 经典检验与常用结果(入门必会)
8.1 引力红移(精确形式:Schwarzschild)
两静止观测者分别在
当
8.2 光线偏折(弱场近似)
对冲量参数(impact parameter)

8.3 近日点进动(弱场、近开普勒轨道)
椭圆轨道半长轴
8.4 Shapiro 时间延迟(选学)
雷达信号掠过质量
(不同教材对几何定义略有差异,但共同点是:它随
8.5 宇宙学一瞥:FRW 度规与 Friedmann 方程(选读)
在“大尺度均匀各向同性”的宇宙假设下,度规可写为 FRW 形式:
其中
代入 Einstein 方程并取物质为理想流体,可得 Friedmann 方程(最常用版本):
以及加速度方程
并由
9. 例题(含全过程推导与计算)
例题 1:用弱场近似估算地球表面与高空的引力红移
已知地球半径
解:
弱场中
地球引力势(取无穷远为 0)为
当
得
所以
若取
结论:千米量级高度差带来
例题 2:Schwarzschild 时空中的静止钟差(精确公式)
在 Schwarzschild 外部时空中,两只静止钟分别位于
解:
静止钟有
积分得到
所以
与引力红移公式一致(频率与时间尺度互为倒数)。
例题 3:弱场光线偏折(给出标准推导骨架)
证明在弱场近似下,掠过质量
解题思路骨架:
- 弱场近似度规(各向同性形式)可写为 $$ ds2\approx-(1+2\Phi/c2)c2dt2+(1-2\Phi/c2)(dx2+dy2+dz2),\quad \Phi=-\frac{GM}{r}. $$
- 对光线
,可得到等效“折射率” $$ n®\approx 1-\frac{2\Phi}{c2}=1+\frac{2GM}{rc2}. $$ - 用几何光学近似(费马原理) $$ \delta\int n\,dl=0 $$ 把光线当作在介质中传播的射线。
- 在小偏折近似中,偏折角约为 $$ \alpha\approx\int_{-\infty}^{+\infty}\frac{\partial}{\partial b}\left(\frac{2GM}{c2\sqrt{x2+b^2}}\right)dx =\frac{4GM}{bc^2}. $$
例题 4:近日点进动公式(从有效势到近似解)
给出椭圆轨道的相对论修正导致的每周进动
推导要点:
- 对 Schwarzschild 测地线,可得到轨道方程的近似形式(令
) $$ \frac{d2u}{d\phi2}+u=\frac{GM}{L2}+3\frac{GM}{c2}u^2. $$ - 把
视为小扰动,设开普勒解 $$ u_0=\frac{GM}{L^2}(1+e\cos\phi). $$ - 扰动会把角频率从 1 改成
,使得一周后相位多走 $$ \Delta\phi\approx 2\pi\delta=\frac{6\pi GM}{a(1-e2)c2}. $$
(竞赛层面通常要求记结论并能解释“为何是小扰动导致的频率偏移”。)
例题 5:求 Schwarzschild 的光子球半径与 ISCO 半径
在几何单位
解(思路 + 关键步骤):
- 对赤道面运动,利用守恒量可把径向运动写成 $$ \left(\frac{dr}{d\lambda}\right)2+V_{\text{eff}}®=E2. $$
- 圆轨道条件:
意味着 $$ \frac{dr}{d\lambda}=0\quad\Rightarrow\quad V_{\text{eff}}®=E^2, $$ 且要“保持在圆轨道上”还需 $$ \frac{dV_{\text{eff}}}{dr}=0. $$ - 光子(零质量)的有效势(形式上)为 $$ V_{\text{eff}}{(\text{null})}®=\left(1-\frac{2M}{r}\right)\frac{L2}{r^2}. $$ 求导并令
得 $$ r=3M. $$ - 时类(有质量)圆轨道的稳定性由二阶导数决定:稳定要求
。 对 Schwarzschild,稳定圆轨道存在于 ;临界点为 $$ r_{\text{ISCO}}=6M. $$
例题 6:径向自由落体到达视界需要多少固有时?坐标时间会怎样?
考虑从
- 自由落体者的固有时
是否有限? - 远处静止观察者的坐标时间
是否有限?
解(定性 + 关键结论):
- 对下落者,
是沿世界线积分得到的真实物理时间。 - 在 Schwarzschild 坐标下,
在靠近 时会出现对数发散(这是坐标效应)。 - 结论:
- 固有时有限:自由落体者在有限
内穿过视界。 - 坐标时间发散:远处观察者用
描述会看到物体“永远接近但不穿过”视界。
- 固有时有限:自由落体者在有限
(若需要具体积分表达式,可在后续补充“径向测地线第一积分”并做积分计算。)
例题 7:掠日光线偏折角的数量级估算
取
解:
代入
换算为角秒(
这就是经典的“掠日偏折约 1.75 角秒”。
例题 8:水星近日点进动的数量级估算
已知水星轨道参数(可查表):半长轴
解:
代入数值可得每一周(每绕太阳一圈)约
10. 习题(含提示/答案要点)
10.1 基础题
- 证明:在局部惯性系中,某点可令
,但一般不能令 同时在邻域处处为 0。 - 设弱场度规
,证明静止钟的频移满足 。 - 写出理想流体
并解释各项物理意义。
10.2 计算题(更贴近竞赛/考题)
- 黑洞视界尺度估算:太阳质量
,求 的数量级。- 答案要点:
。
- 答案要点:
- 引力时间膨胀:若某天体
,在 静止的钟相对于无穷远的钟慢多少?- 提示:
。
- 提示:
光偏折角数值:太阳半径
,质量 ,估算掠日光线偏折角。- 提示:
,取 。
- 提示:
光子球数值:对某黑洞
,求光子球半径 与 ISCO 半径 。- 答案要点:
, 。
- 答案要点:
引力波应变量级:若某引力波通过地球时的应变
,LIGO 级别的臂长 ,估算长度变化 。- 答案要点:
。
- 答案要点:
11. 用 Python 复现/绘制示意图(可选)
本文插图由 Python 生成并保存在 docs/modern/images/:
schwarzschild_time_dilation_factor.pngschwarzschild_effective_potential.pnglight_deflection_weak_field.png
示例代码(生成弱场光偏折图)
1 2 3 4 5 6 7 8 9 10 11 | |
参考与延伸阅读
- Misner, Thorne, Wheeler, Gravitation(体系最全,但很厚)
- Schutz, A First Course in General Relativity(入门友好)
- Carroll, Spacetime and Geometry(现代写法,推导清晰)
本页面最近更新:2025/12/28 22:57:04,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:Leafuke, 匿名同学
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用