2.5 曲率与测地偏离：潮汐力的几何

2.5 曲率与测地偏离：潮汐力的几何

本节摘要：曲率是"平行搬运绕闭合回路一圈后箭头偏转"的量度，由黎曼张量完整编码，里奇张量与标量曲率是它的缩并。测地偏离方程把曲率翻译成相邻自由航迹的相对加速度，恰好就是第 1.2 节埋下的潮汐力——能被自由下落消除的只是联络效应，消不掉的曲率才是引力的"硬核"。本站算出球面回路的偏转角与黑洞附近的潮汐加速度，完成第 2 章仪器清单的最后一件。

平行搬运一圈，箭头转了多少

仪器清单的最后一件是弯度计。检测"舞台是否弯曲"最干净的办法不是看某一条航线，而是看箭头的搬运。在曲面上把一支箭头始终"平行于自己"地挪动（协变导数为零的移动，叫平行搬运），绕一条闭合回路回到出发点——平面上箭头仍指原方向；球面上未必。

经典演示：在球面上走一个三直角三角形——从赤道出发沿经线走到北极，转 90 度沿另一条经线回到赤道，再沿赤道回到起点。全程每一步都严格平行搬运箭头，回到出发点时箭头却相对出发时偏转了整整 90 度。偏转角与什么有关？与回路围住的面积成正比，比例系数正是曲率：

# 球面三直角三角形的搬运偏转：曲率乘面积
import math
R = 1.0
angles = [math.pi/2, math.pi/2, math.pi/2]          # 三个内角都是直角
area = (sum(angles) - math.pi) * R*R                 # 球面过剩角乘 R 方
holonomy = area / R**2                               # 高斯曲率 K=1/R 方 时的偏转角
print(f"三角形面积 = {area:.4f} 球面单位（八分之一球面 pi/2）")
print(f"搬运一圈的箭头偏转 = {math.degrees(holonomy):.1f} 度")
print("平面上同样的搬运偏转为 0——偏转非零即弯曲的直接证据")
​

日志记录：三角形面积 π/2（整球的八分之一），箭头偏转 90 度，恰为面积乘高斯曲率。偏转角非零就是"真的弯了"的判据——再高明的坐标系选择也伪造不出或抹掉这个偏转，因为它是几何量而非坐标量。把回路缩到无穷小，"偏转角除以面积"的极限就是黎曼曲率张量所记录的内容。

黎曼张量：把"弯"编码成张量

把上面的直觉写成公式：黎曼张量由度规的二阶导数组装（经由克氏符号），技术上定义为协变导数的不对易子——

R^ρ_σμν V^σ = (∇_μ∇_ν − ∇_ν∇_μ) V^ρ

沿着 μ 方向与 ν 方向各求一次协变导数，顺序交换后的差值不为零，说明"方向的规则本身在打架"——这就是曲率。四维时空的黎曼张量有 20 个独立分量，全方位记录弯曲。它的两次缩并给出出场方程的主角：里奇张量 R_μν = R^ρ_μρν（16 减对称约束后 10 个独立分量）与标量曲率 R = g^μν R_μν（一个数）。组装链条记牢：

度规 g → 联络 Γ（度规一阶导）→ 曲率 R（度规二阶导）→ 缩并出 R_μν 与 R

第 3 章的场方程左侧（爱因斯坦张量 G_μν = R_μν − ½Rg_μν）就是这条链条的终点产品。另一条同样重要的支线：联络可以被坐标选择局部抹平（自由下落舱内 Γ 处处为零，这是等效原理的数学面孔），但曲率张量的缩并不行——R 的某些缩并不为零时，任何坐标变换都消不掉。消除引力 vs 消除潮汐，在张量层面泾渭分明。

测地偏离：潮汐力的方程

曲率最物理的读法是测地偏离方程。两名并排自由航行的航行者，保持相对静止的分离矢量 ξ，其相对加速度为

d²ξ^ρ/dτ² = −R^ρ_μνσ u^μ ξ^ν u^σ

读法：曲率乘以分离矢量，等于相邻航迹的相对加速度——这正是牛顿语言里的潮汐力（1.2 节的残余项）。史瓦西时空中沿径向与横向的分离分别给出每米 2GM/r³ 与 −GM/r³ 的相对加速度，符号相反：径向被拉开、横向被压扁，"面条化"由此得名。

顺带补一块拼图：黎曼张量还可以分解为里奇部分（缩并可得的 10 个分量）与外尔部分（缩并恒为零的 10 个分量）。场方程只直接约束里奇部分——物质决定它；外尔部分则是"自由传播"的曲率，真空中（T 为零）里奇归零，潮汐全由外尔张量携带。这就是为什么太阳系内的引力波、光线偏折、潮汐力都能在"无物质的真空区"里照样存在：它们走的是外尔的账。第 3 章组装场方程时会看到里奇张量怎样进场，而外尔张量则在 6.1 节引力波里继续当主角。两个量级的对账：

# 潮汐加速度每米多少：近地轨道 vs 恒星级黑洞旁
G = 6.674e-11; c = 3.0e8
cases = [
    ("地球-空间站轨道", 5.97e24, (6.371+0.42)*1e6),
    ("太阳表面附近",   1.989e30, 6.96e8),
    ("10 倍太阳质量黑洞 1000 km 处", 10*1.989e30, 1.0e6),
]
print(f"{'地点':<20s} {'径向每米潮汐加速度':>14s}   体感")
for name, M, r in cases:
    a_rad = 2*G*M/r**3
    feel = "微米级，精密仪器才可见" if a_rad < 1e-3 else ("人形会被明显拉伸" if a_rad < 50 else "灾难级，先于视界撕碎")
    print(f"{name:<20s} {a_rad:>10.2e} m/s2   {feel}")
​

读表：空间站轨道上每米仅 2.5×10⁻⁶ 米每秒方（1.2 节的 5 微米正是 2 米实验室乘出来的账）；太阳表面附近每米约 5.6×10⁻⁷，比地球还温和；而 10 倍太阳质量黑洞上方 1000 公里处，每米潮汐加速度高达 2.7×10⁶ 米每秒方——一米长的身体两端要承受百万级米每秒方的相对拉伸，航行者会在抵达视界之前被撕开。黑洞的可怕不在"引力大"（等效原理说自由坠落中感受不到引力），而在曲率大（潮汐差在短距离内飙升）。这也顺手解释了 5 章的一个反直觉伏笔：超大质量黑洞视界处的潮汐反而温和，因为 r³ 随质量快速膨胀。

图 2-3 潮汐场：相邻航迹为何互相拆伙

收站记录：本站要点

• 曲率的操作定义：平行搬运绕闭合回路的箭头偏转，除以面积；球面三直角三角形偏转 90 度，平面上为零——坐标选择伪造不出这个量；
• 组装链：度规的一阶导组装联络、二阶导组装黎曼张量，缩并出里奇张量与标量曲率——场方程左侧全部到货；
• 测地偏离方程：曲率乘分离矢量等于相邻航迹相对加速度，即潮汐力；史瓦西情形径向每米 2GM/r³、横向 −GM/r³；
• 量级表：空间站轨道每米 2.5×10⁻⁶，太阳表面附近更温和，10 倍太阳质量黑洞旁 1000 公里处高达 2.7×10⁶——黑洞的杀伤力来自曲率而非引力本身；
• 两章交接：仪器舱满员。下一章把"物质清单"接上"几何组装线"，写出爱因斯坦场方程——航志进入动力段。