跳轉到

8.2 Einstein 方程#

導言:1915 年 11 月的四個星期四#

1915 年 11 月 4、11、18、25 日,Einstein 在普魯士科學院連續提交四篇論文,完成廣義相對論。過程艱辛:1912–15 的「入口歧途」(錯誤的場方程)、與 Hilbert 的競賽、以及水星近日點進動的最後檢驗。場方程:

\[ \boxed{\ R_{\mu\nu} - \frac{1}{2}S\,g_{\mu\nu} = \frac{8\pi G}{c^4}\,T_{\mu\nu}\ } \]

一句話:物質告訴時空如何彎曲,時空告訴物質如何運動(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)\) 代入得

\[ \nabla^2\Phi = 4\pi G\rho\quad (\text{Poisson 方程}) \]

常數 \(\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 的數學預備)#

設置:球對稱真空(太陽外),最一般的靜態球對稱度量:

\[ ds^2 = -e^{2\alpha(r)}c^2dt^2 + e^{2\beta(r)}dr^2 + r^2d\Omega^2 \]

真空方程 \(R_{\mu\nu} = 0\) 給四個分量方程。計算(Christoffel 符號 → Riemann → Ricci):

\[ R_{tt} \text{ 分量}: \quad e^{-2\beta}\left( \beta'' + \beta'^2 - \alpha'\beta' + \frac{2\beta'}{r} \right) = 0 \]
\[ R_{rr}: \quad e^{-2\beta}\left( \alpha'' + \alpha'^2 - \alpha'\beta' - \frac{2\alpha'}{r} \right) = 0 \]
\[ R_{\theta\theta}: \quad 1 - e^{-2\beta}\left( 1 + r(\alpha' - \beta') \right) = 0 \]

由第一式減第二式: \(\alpha' + \beta' = 0\) ⟹ \(\alpha + \beta = \text{const}\) ;由漸近平坦( \(r \to \infty\) 時 \(g \to\) 閔氏)取常數為 0 ⟹ \(\beta = -\alpha\) 。代入第三式:

\[ 1 - e^{2\alpha}\left( 1 + 2r\alpha' \right) = 0 \implies \left( r\,e^{2\alpha} \right)' = 1 \implies r\,e^{2\alpha} = r - r_s \]
\[ \boxed{\ e^{2\alpha} = 1 - \frac{r_s}{r}, \qquad r_s = \frac{2GM}{c^2}\ } \]

Schwarzschild 度量(8.3 節展開物理後果):

\[ ds^2 = -\left( 1 - \frac{2GM}{c^2 r} \right)c^2dt^2 + \left( 1 - \frac{2GM}{c^2 r} \right)^{-1}dr^2 + r^2d\Omega^2 \]

歷史:Karl Schwarzschild 1915 年 12 月在東線戰壕中完成此解(數月後病逝)。Einstein 驚訝於精確解存在(他以為需要近似)。

例題 2:水星近日點進動的計算#

Schwarzschild 度量中測地線(赤道面 \(\theta = \pi/2\) ),引入 \(u = 1/r\) ,軌道方程化為:

\[ \frac{d^2u}{d\varphi^2} + u = \frac{GM}{h^2} + 3\frac{GM}{c^2}u^2, \qquad h = r^2\dot\varphi\ (\text{比角動量}) \]

右端第一項 = 牛頓(橢圓軌道解 \(u_0 = \frac{GM}{h^2}(1 + e\cos\varphi)\) );第二項是 GR 修正。微擾法:把 \(u = u_0 + \delta u\) 代入,一階修正解為

\[ \delta u \approx \frac{3(GM)^3}{c^2h^4}e\,\varphi\sin\varphi + \cdots \]

共振項 \(\varphi\sin\varphi\) 累積成每圈的進動:

\[ \Delta\varphi = \frac{6\pi GM}{c^2a(1-e^2)}\ \text{(每圈)} \]

水星數值: \(GM_\odot/c^2 = 1477\,\mathrm{m}\) 、 \(a = 5.79\times10^{10}\,\mathrm{m}\) 、 \(e = 0.2056\) :

\[ \Delta\varphi = \frac{6\pi \times 1477}{5.79\times10^{10} \times (1 - 0.0423)} \approx 5.02\times10^{-7}\ \text{rad/圈} \]

每圈 \(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\) :

\[ \Box\bar h_{\mu\nu} = -\frac{16\pi G}{c^4}T_{\mu\nu} \]

波方程:真空解是橫波(兩個極化 \(+\) 、 \(\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)、重力波探測器、衛星重力梯度測量——場方程是工程學科。


小結#

  1. 1915.11.25 場方程 \(G_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}\) ; \(-\frac{1}{2}Sg\) 項由縮併 Bianchi 強制。
  2. 結構:4 條約束 + 6 條演化;與規範理論同型。
  3. 三大檢驗:水星 \(43''\) (第一勝利)、光偏折 \(1.75''\) (1919)、引力紅移(1960)。
  4. Schwarzschild 解 1915 戰壕中誕生;測地線微擾給進動公式 \(\Delta\varphi = 6\pi GM/[c^2a(1-e^2)]\) 。
  5. 線性化 ⟹ 重力波(四極輻射);強場 ⟹ 黑洞——下一節深入。

下一節進入 Schwarzschild 時空的深處:事件視界、黑洞熱力學、與天文學的革命。