8.2 Einstein 方程#
導言:1915 年 11 月的四個星期四#
1915 年 11 月 4、11、18、25 日,Einstein 在普魯士科學院連續提交四篇論文,完成廣義相對論。過程艱辛:1912–15 的「入口歧途」(錯誤的場方程)、與 Hilbert 的競賽、以及水星近日點進動的最後檢驗。場方程:
一句話:物質告訴時空如何彎曲,時空告訴物質如何運動(J. A. Wheeler)。本節從公理到檢驗,完成這個 20 世紀最偉大的幾何–物理方程。
Einstein 的路:從等效原理到場方程#
時間線#
- 1907:等效原理的「最幸福的思想」;
- 1911:等效原理推光偏折 \(0.87''\) (不完整);
- 1912:蘇黎世,向 Grossmann 求助:「你幫我研究 Riemann 幾何,否則我會發瘋」;
- 1913:與 Grossmann 合著《 Entwurf》(草稿)理論——但場方程非協變(錯誤的入口:Einstein 誤以為「一般協變」與因果性/守恆律矛盾——著名的「漏洞」);
- 1914:遷柏林;戰爭爆發;婚姻破裂;
- 1915.11.04:回到一般協變的嘗試(Ricci 平坦方程 \(R_{\mu\nu} = \kappa T_{\mu\nu}\) ——仍不對);
- 1915.11.18:用水星近日點計算淘汰錯誤方程;
- 1915.11.25:正確場方程 \(G_{\mu\nu} = \kappa T_{\mu\nu}\) ,含 \(-\frac{1}{2}Sg_{\mu\nu}\) 項;
- 1915.11.20:Hilbert 在哥廷根獨立從變分原理得到相同方程(競賽終點同日近;Hilbert 後讓先署名權)。
為什麼是 \(-\frac{1}{2}Sg\) 項#
6.3 節已證: \(G_{\mu\nu} = \mathrm{Ric}_{\mu\nu} - \frac{1}{2}Sg_{\mu\nu}\) 是唯一(二階、對稱、散度自由)的自然張量。Einstein 最初試 \(\mathrm{Ric}_{\mu\nu} = \kappa T_{\mu\nu}\) (1915.11.04 版),發現守恆律 \(\nabla_\mu T^{\mu\nu} = 0\) 與其不自洽(因 \(\nabla^\mu \mathrm{Ric}_{\mu\nu} = \frac{1}{2}\nabla_\nu S \neq 0\) )——**縮併 Bianchi 恆等式(Grossmann 提醒)強制加入 \(-\frac{1}{2}Sg\) **。數學的相容性決定物理的形狀。
場方程的讀法#
十個方程(不是一個)#
\(G_{\mu\nu} = \kappa T_{\mu\nu}\) 是 10 個分量方程(對稱 \(4\times4\) )。但 4 個由 Bianchi + 守恆自動滿足(Einstein 1923 認識到的規範自由:座標選取有 4 維自由度),獨立的初值方程分為:
- 4 條約束方程(初值數據必須滿足——Hamilton 約束與動量約束,ADM 形式 1959);
- 6 條演化方程(雙曲,決定時間演化)。
這個結構(約束 + 演化)與 Maxwell、Yang–Mills 同型——規範理論的通性(9.3 節)。
弱場極限恢復牛頓#
7.3 節(例題 2)已計算: \(g_{00} = -(1 + 2\Phi/c^2)\) 代入得
常數 \(\kappa = 8\pi G/c^4\) 由此定出。 \(8\pi\) 不是湊的: \(\frac{1}{2}\) 來自 Einstein 張量的構造、 \(4\pi\) 來自三維球的高斯定理——幾何在每一層留下指紋。
三大經典檢驗(Einstein 1915–16 提出)#
| 檢驗 | 牛頓/舊理論 | GR 預言 | 觀測 |
|---|---|---|---|
| 水星近日點進動 | 缺口 \(43''\) /百年 | \(43''\) /百年 | ✓(1915 即解釋——Einstein 心悸的計算) |
| 光線偏折 | \(0.87''\) (等效原理半) | \(1.75''\) | 1919 Eddington: \(1.61\pm0.30''\) 、 \(1.98\pm0.16''\) ✓ |
| 引力紅移 | 無 | \(\Delta\lambda/\lambda = \Delta\Phi/c^2\) | Pound–Rebka 1960 ✓ |
水星的 43 弧秒:1859 年 Le Verrier 發現水星進動無法用牛頓理論(已計入行星攝動)解釋,曾猜想「火神星」(Vulcan,從未找到)。Einstein 1915.11.18 的計算**恰好給出 \(43''\) **,他自述「心臟顫動數日」——理論的第一次定量勝利。
例題#
例題 1:Schwarzschild 解的導出梗概(8.3 的數學預備)#
設置:球對稱真空(太陽外),最一般的靜態球對稱度量:
真空方程 \(R_{\mu\nu} = 0\) 給四個分量方程。計算(Christoffel 符號 → Riemann → Ricci):
由第一式減第二式: \(\alpha' + \beta' = 0\) ⟹ \(\alpha + \beta = \text{const}\) ;由漸近平坦( \(r \to \infty\) 時 \(g \to\) 閔氏)取常數為 0 ⟹ \(\beta = -\alpha\) 。代入第三式:
Schwarzschild 度量(8.3 節展開物理後果):
歷史:Karl Schwarzschild 1915 年 12 月在東線戰壕中完成此解(數月後病逝)。Einstein 驚訝於精確解存在(他以為需要近似)。
例題 2:水星近日點進動的計算#
Schwarzschild 度量中測地線(赤道面 \(\theta = \pi/2\) ),引入 \(u = 1/r\) ,軌道方程化為:
右端第一項 = 牛頓(橢圓軌道解 \(u_0 = \frac{GM}{h^2}(1 + e\cos\varphi)\) );第二項是 GR 修正。微擾法:把 \(u = u_0 + \delta u\) 代入,一階修正解為
共振項 \(\varphi\sin\varphi\) 累積成每圈的進動:
水星數值: \(GM_\odot/c^2 = 1477\,\mathrm{m}\) 、 \(a = 5.79\times10^{10}\,\mathrm{m}\) 、 \(e = 0.2056\) :
每圈 \(5.02\times10^{-7}\) rad;每百年 \(415\) 圈: \(415 \times 5.02\times10^{-7} \approx 2.08\times10^{-4}\) rad \(= 43''\) 。✓ 與觀測缺口精確吻合。
現代版本:脈衝雙星 PSR B1913+16(Hulse–Taylor,1974)的近星點進動 \(4.2°\) /年( \(3.5\times10^4\) 倍水星效應)——強場檢驗,也提供重力波間接證據(軌道衰減率與 GR 預言吻合 \(10^{-3}\) 以內,1993 諾貝爾獎)。
場方程的解與應用總覽#
| 解 | 年代 | 物理內容 | 9 章關聯 |
|---|---|---|---|
| Schwarzschild | 1915 | 球對稱真空:黑洞 | 8.3、9.1 光偏折 |
| Friedman(FLRW) | 1922 | 動態宇宙 | 9.2 宇宙學 |
| de Sitter | 1917 | \(\Lambda > 0\) 空真空 | 9.2 暗能量 |
| Einstein 靜態 | 1917 | \(\Lambda\) 為平衡設計(失敗) | \(\Lambda\) 的悲喜劇 |
| Kerr | 1963 | 旋轉黑洞 | 9.2 吸積盤、能量提取 |
| Reisner–Nordström | 1916 | 帶電黑洞 | |
| Gödel | 1949 | 旋轉宇宙、時間閉環 | 哲學衝擊 |
| pp-波 | 1920s– | 平面重力波 | 9.2 LIGO |
數學地位:場方程是半線性雙曲–橢圓組;Choquet-Bruhat(1952)證明初值問題局部存在唯一;正質量定理(Schoen–Yau 1979、Witten 1981,用旋量/算子證明 ADM 質量 \(\geq 0\) )——幾何分析在此與物理正面交會。
引力的新現象學(預告)#
重力波#
線性化場方程 \(g_{\mu\nu} = \eta_{\mu\nu} + h_{\mu\nu}\) 、協變規範 \(\partial_\mu\bar h^{\mu\nu} = 0\) :
波方程:真空解是橫波(兩個極化 \(+\) 、 \(\times\) ),速度 \(c\) ;四極輻射(偶極不輻射——動量守恆),功率 \(P = \frac{G}{5c^5}\langle \dddot{Q}_{ij}\dddot{Q}_{ij}\rangle\) (Quadrupole 公式,Einstein 1918)。直接偵測要等 100 年(9.2 節)。
黑洞#
Schwarzschild 半徑 \(r_s = 2GM/c^2\) :地球 \(\approx 9\,\mathrm{mm}\) 、太陽 \(\approx 3\,\mathrm{km}\) 。 \(r = r_s\) 處度量的奇點是座標性的(可換座標消除,Eddington–Finkelstein 1924、Kruskal 1960); \(r = 0\) 是真奇點(Kretschmann 純量 \(\to \infty\) ,6.2 節)。事件視界:單向膜,內外因果隔絕——下一節的主角。
與其他領域的關聯#
微積分/幾何分析#
場方程的解的存在性、唯一性、奇點結構是 PDE 理論;Ricci 平坦度量的模空間、Ricci 流(6.3 節)——幾何分析學派(丘成桐、Schoen、Perelman)的動力源。
算子理論#
線性化場方程 = 波算子;約束方程 = 橢圓算子(Lichnerowicz 算子 \(\Delta_L\) )的方程;正質量定理的 Witten 證明用 Dirac 算子與其指標——算子的正性 ⟺ 幾何的質量正性。
量子力學#
- 半經典: \(G_{\mu\nu} = 8\pi G\langle\hat T_{\mu\nu}\rangle/c^4\) ;Hawking 溫度 \(T_H = \frac{\hbar c^3}{8\pi GMk_B}\) ——** \(\hbar\) 與 \(G\) 同框**,量子–重力的交界;
- 重力量子化困難: \(G\) 有量綱 ⟹ 微擾不可重整;候選:弦論、圈量子重力;
- 全息原理('t Hooft、Susskind 1993–95):黑洞熵 \(S = \frac{k_B A}{4\ell_P^2}\) (Bekenstein 1972、Hawking 1974)⟹ 重力理論的自由度 \(\sim\) 邊界面積——AdS/CFT(Maldacena 1997):重力 = 邊界量子場論,幾何成為量子資訊的語言(9.2、10.3 節)。
工程#
GPS、深空導航(Viking 衛星雷達延遲檢驗 Shapiro 效應 1964–79)、重力波探測器、衛星重力梯度測量——場方程是工程學科。
小結#
- 1915.11.25 場方程 \(G_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}\) ; \(-\frac{1}{2}Sg\) 項由縮併 Bianchi 強制。
- 結構:4 條約束 + 6 條演化;與規範理論同型。
- 三大檢驗:水星 \(43''\) (第一勝利)、光偏折 \(1.75''\) (1919)、引力紅移(1960)。
- Schwarzschild 解 1915 戰壕中誕生;測地線微擾給進動公式 \(\Delta\varphi = 6\pi GM/[c^2a(1-e^2)]\) 。
- 線性化 ⟹ 重力波(四極輻射);強場 ⟹ 黑洞——下一節深入。
下一節進入 Schwarzschild 時空的深處:事件視界、黑洞熱力學、與天文學的革命。