3.2 场方程的建立与物理意义

3.2 场方程的建立与物理意义

本节摘要：爱因斯坦场方程 G_μν + Λg_μν = 8πG/c⁴ · T_μν 是广义相对论的总引擎：左侧是纯粹几何（里奇张量、标量曲率、度规），右侧是物质清单，耦合常数 8πG/c⁴ 小得惊人。方程的最终形态不是一蹴而就——"里奇张量直接正比于能量"的方案被比安基恒等式退稿，加上标量曲率项后左右两侧才同时守恒。本站拆解方程每个部件的物理身份，算出耦合常数的量级，并复盘宇宙学常数从"一生最大错误"到暗能量主角的翻案史。

组装车间里的三次退稿

1912 到 1915 年的苏黎世与柏林之间，爱因斯坦的笔记本记满了一场与自己的搏斗（他与数学家格罗斯曼合作的"纲要"论文是重要的中间站）。需求清单其实很短：找一个大 symmetry 的二阶张量方程，左边纯几何（由度规导数组装），右边接物质（应力能量张量），弱场时退化回牛顿。

第一次装配似乎水到渠成：左边放上里奇张量 R_μν（2.5 节组装链的缩并产品），右边放上 T_μν，配个常数——R_μν = κT_μν。这个版本却在质检环节翻车：比安基恒等式（黎曼几何的一条恒等式，几何身份决定它无条件成立）断言缩并后的 ∇^μG_μν 恒为零，其中 G_μν = R_μν − ½Rg_μν；而单独的里奇张量不满足 ∇^μR_μν = 0。与此同时，物质侧的能量动量守恒 ∇^μT_μν = 0 是物理铁律——局域能量动量不能凭空生灭。左边"想守恒什么就守恒什么"、右边"必须守恒"，等号就架不起来。

第二次装配换上正确的左侧 G_μν（后来称爱因斯坦张量）：它由 R_μν 与 ½Rg_μν 组合而成，恰好是满足比安基恒等式的"唯一自然人选"。这场"退稿再录用"意义深远：几何的恒等式反过来强制物理守恒——方程左边的形式自由度被数学锁死，右边的守恒律自动兑现，不需要额外假设。1915 年 11 月，爱因斯坦接连提交四篇通讯完成定稿；希尔伯特在同月用变分原理独立抵达同一方程——优先权之争两人早已和解，史家常记为一次同步到达。

最终装配：方程与读法

G_μν + Λg_μν = (8πG/c⁴) T_μν

逐项验明正身。左侧：R_μν 记录某方向对的体积形变率，R 是它的迹，g_μν 是度规本身——三项全是度规二阶导数的组装品，不含任何"力"的概念。右侧：κ = 8πG/c⁴ 是耦合常数，T_μν 是 3.1 节的货单。Λg_μν：宇宙学常数项，与物质无关也保持协变，先按下，本站末段专谈。

读方程的正确姿势有四条。其一，它是关于度规的方程：十个独立的 T 分量配上对称性约束，正好对应度规的十个未知函数——解方程就是解出 g_μν(x)。其二，它是非线性的：几何自己也携带能量（引力场能不是张量，藏在非线性项里），质量弯曲时空、弯曲的时空又参与弯曲自己，叠加原理失效——这既是一切求解困难的根源，也是黑洞、奇点这些"非线性红利"的来源。其三，"运动方程白送"：数学家证明，场方程加上 ∇T = 0 足以导出测地线方程——自由粒子怎么走，不劳另行假设。其四，尺度的悬殊：耦合常数小到 10⁻⁴³，下一节弱场检验会看到它如何把"几何"压缩回牛顿的面孔。

图 3-1 场方程解剖图：每个部件的身份卡

量级演习：耦合常数的尺度

耦合常数 κ = 8πG/c⁴ 有量纲（每单位能量密度对应多少曲率），它的渺小解释了日常世界里几何为何毫无存在感。两个数值演习：

# 演习一：把地球的能量密度换算成"曲率"
import math
G = 6.674e-11; c = 3.0e8
kappa = 8*math.pi*G/c**4
rho_earth = 5514 * c**2                 # 地表岩石能量密度，J/m3
curvature = kappa * rho_earth
print(f"耦合常数 kappa = {kappa:.3e} （单位：每焦每立方米对应 1/m2）")
print(f"地球物质对应的曲率约 {curvature:.2e} 1/m2")
print(f"曲率半径量级 {1/math.sqrt(curvature):.2e} m ≈ {1/math.sqrt(curvature)/1.496e11:.1f} AU")
print("——地球的引力竟把时空弯到天文单位尺度，日常毫无察觉是因曲率太小")
​

日志记录：κ ≈ 2.08×10⁻⁴³，地球物质对应的曲率约 10⁻²³ 每平方米，曲率半径约 10¹¹ 至 10¹² 米——地球引力的"弯曲半径"比日地距离还大两个量级，人形尺度上时空与平直的差别被压到 10⁻⁹ 以下，这与 2.2 节钟速读数完全自洽。反过来看中子星：能量密度高 14 个数量级，曲率半径缩到公里级，几何才真正走上前台。

# 演习二：宇宙学常数的"等效货单"
G = 6.674e-11; c = 3.0e8
Lambda = 1.1e-52                    # 观测给出的 1/m2
rho_L = Lambda * c**2 / (8*math.pi*G)   # 等效质量密度
rho_crit = 3 * (2.2e-18)**2 / (8*math.pi*G)   # 临界密度，H0 取 2.2e-18 每秒
print(f"Λ 等效密度 {rho_L:.2e} kg/m3")
print(f"宇宙临界密度 {rho_crit:.2e} kg/m3")
print(f"占比约 {rho_L/rho_crit*100:.0f}% —— 暗能量执掌宇宙总账约七成")
​

宇宙学常数：一段翻案史

Λ 项的故事值得单独记一页。1917 年爱因斯坦为让静态宇宙成为方程的解，在方程里加了 Λg_μν 这一项——它与物质无关、协变性完好，数学上无懈可击。1929 年哈勃发现宇宙膨胀，静态宇宙失去依据，爱因斯坦把引入 Λ 称为"一生最大的错误"，学界随之把它清出门户近七十年。

1998 年两个超新星观测团队独立发现宇宙在加速膨胀，而普通物质与辐射的源强度 ρ+3p 均为正、只能减速——驱动加速需要负压成分，Λ 的等效货单（p = −ρ，源强度 −2ρ）恰好是 3.1 节演算过的那种"负压货源"。翻案完成：今天 Λ 以"暗能量"的身份占据宇宙总账约七成，爱因斯坦亲手加又亲手删的那一项，成了当代宇宙学的头号谜题——它为什么这么小？为什么恰好此刻与物质同量级？第 6.3 节的宇宙航线将带着这个问号出航。

💡 关键直觉：场方程的"难"与"美"同源。非线性让它几乎不可解析求解（第 6.5 节交给计算机），但正是非线性让几何成为动力学实体——时空不是舞台布景，而是与物质互为因果的演员。

本站要点

• 三次退稿：里奇张量直接对能量方案违反比安基恒等式；换上 G_μν = R_μν − ½Rg_μν 后左右两侧同时协变守恒，1915 年 11 月定稿；
• 守恒的深意：几何恒等式强制物理守恒，左侧形式自由度被数学锁死——比安基当裁判；
• 四条读法：解方程即解度规；非线性使叠加失效；测地线方程白送；耦合常数 2×10⁻⁴³ 压扁日常几何效应；
• 量级：地球物质对应曲率约 10⁻²³ 每平方米、曲率半径天文单位级；中子星曲率半径缩到公里级；
• Λ 翻案史：为静态宇宙引入、为膨胀宇宙删除、为暗能量复活——等效负压密度约占宇宙七成；
• 下一站：引擎装好先做台架试验——弱场近似下它必须还原牛顿引力，这是新理论的出厂合格证。