6.3 Ricci 與 Einstein 張量#

導言：從 20 個分量到 10 個方程#

Riemann 張量資訊完備但太「細」；廣義相對論的場方程只需要它的縮併：Ricci 張量與 Einstein 張量。本節完成這一步縮併，引入比安基恆等式與能量動量守恆的協變形式，最後拼出 Einstein 方程的幾何側——為第 8 章的物理側做好一切準備。

縮併與 Ricci 張量#

定義#

Ricci 張量：Riemann 張量對第一與第三指標縮併：

\[ \mathrm{Ric}_{\mu\nu} = R^\rho{}_{\mu\rho\nu} \]

性質：對稱（ \(\mathrm{Ric}_{\mu\nu} = \mathrm{Ric}_{\nu\mu}\) ，由第一 Bianchi 與對稱性）， \(n\) 維有 \(\frac{n(n+1)}{2}\) 個分量（ \(n=4\) : 10 個）。 \(n = 2\) 時 \(\mathrm{Ric}_{\mu\nu} = K g_{\mu\nu}\) （Ricci = 曲率 × 度量，無新資訊）； \(n = 3\) 時 Ricci 完全決定 Riemann；** \(n = 4\) 時 Ricci（10）+ Weyl（10）= Riemann（20）**。

純量曲率：

\[ S = g^{\mu\nu}\mathrm{Ric}_{\mu\nu} \]

幾何意義：體積的變化#

在 \(p\) 點沿測地線聚攏的小球（測地球），其體積相對於歐氏球面的偏差：

\[ \frac{V_{\text{測地}} - V_{\text{歐氏}}}{V_{\text{歐氏}}} = -\frac{\mathrm{Ric}(v, v)}{6}\,t^2 + o(t^3), \qquad |v| = 1 \]

（ \(t\) 為小球半徑。）Ricci 在方向 \(v\) 的分量 = 沿 \(v\) 方向體積元的聚焦速率。這個公式把「曲率」直接變成「可測的體積效應」，也是 Penrose 奇點定理中「聚焦條件」 \(R_{\mu\nu}v^\mu v^\nu \geq 0\) 的幾何來源（8.3 節）。

第二 Bianchi 恆等式與 Einstein 張量#

縮併的第二 Bianchi#

由 \(\nabla_{[\lambda}R_{\mu\nu]\rho\sigma} = 0\) 對指標縮併：

\[ \nabla^\mu R_{\mu\nu} = \frac{1}{2}\nabla_\nu S \]

（縮併的 Bianchi 恆等式。）它是「守恆律的守恆律」：Ricci 的散度由純量曲率的梯度決定——不能隨意指定物質分佈（其對應的 Ricci）而不遵守此式。

Einstein 張量#

\[ \boxed{\ G_{\mu\nu} = \mathrm{Ric}_{\mu\nu} - \frac{1}{2}S\,g_{\mu\nu}\ } \]

散度恆為零：

\[ \nabla^\mu G_{\mu\nu} = \nabla^\mu \mathrm{Ric}_{\mu\nu} - \frac{1}{2}\nabla_\nu S = \frac{1}{2}\nabla_\nu S - \frac{1}{2}\nabla_\nu S = 0 \]

這正是 Einstein 1915 年苦尋的性質：左邊（幾何）必須自動滿足守恆，才能與右邊（物質的能量動量守恆 \(\nabla_\mu T^{\mu\nu} = 0\) ）相配。Einstein 在 1915 年 11 月的競賽（與 Hilbert 同時抵達終點）中，正靠 Grossmann 提醒的縮併 Bianchi 恆等式確定 \(\mathrm{Ric} - \frac{1}{2}Sg\) 是唯一（二階導數、對稱、散度自由）的候選。

Einstein 空間#

\(G_{\mu\nu} = \Lambda g_{\mu\nu}\) 的流形（Einstein 度量）： \(\mathrm{Ric} = \lambda g\) 。例：常曲率空間（ \(\mathrm{Ric} = (n-1)c\,g\) ）、Schwarzschild 真空（ \(\Lambda = 0\) 、 \(\mathrm{Ric} = 0\) ）、Kähler 幾何中的 Calabi–Yau（ \(\mathrm{Ric} = 0\) ）。Ricci 平坦度量的存在性問題（Calabi 猜想 → 丘成桐 1976）成為弦論緊化的數學支柱。

物質側：能量動量張量#

\(T^{\mu\nu}\) 的內容#

完美流體（局部靜止系）：

\[ T^{\mu\nu} = (\rho + p)u^\mu u^\nu + p\,g^{\mu\nu}, \qquad u^\mu = (1, 0, 0, 0) \]

\(T^{00} = \rho\) ：能量密度（含質量： \(E = mc^2\) ，7.2 節）；
\(T^{0i}\) ：動量密度 / 能流；
\(T^{ij}\) ：壓力、應力（黏滞性）。

電磁場： \(T^{\mu\nu} = F^{\mu\alpha}F^\nu{}_\alpha - \frac{1}{4}g^{\mu\nu}F_{\alpha\beta}F^{\alpha\beta}\) ——光有能量動量，故光也產生重力（愛因斯坦 1913 年即認識到光偏折需要「能量也重力化」）。

協變守恆#

\[ \nabla_\mu T^{\mu\nu} = 0 \]

不是普通的 \(\partial_\mu T^{\mu\nu} = 0\) ：彎曲時空中局域能量守恆（ \(T^{00}\) 的散度方程）含 Christoffel 項——「重力做功」的項。全域能量守恆在一般彎曲時空中不存在（除非有時間平移對稱；ADM 質量在漸近平坦時空定義，1950 年代末）——這是 Noether 定理（對稱 ⟺ 守恆）的幾何化後果：時空不對稱，則能量不守恆（宇宙膨脹中光子紅移、能量「丟失」——宇宙學的著名例子，9.2 節）。

Einstein 方程的幾何側總表#

對象	定義	散度	分量（ \(n=4\) ）
\(\mathrm{Ric}_{\mu\nu}\)	\(R^\rho{}_{\mu\rho\nu}\)	\(\nabla^\mu \mathrm{Ric}_{\mu\nu} = \frac{1}{2}\nabla_\nu S\)	10
\(S\)	\(g^{\mu\nu}\mathrm{Ric}_{\mu\nu}\)	—	1
\(G_{\mu\nu}\)	\(\mathrm{Ric} - \frac{1}{2}Sg\)	\(\equiv 0\)	10
\(W_{\mu\nu\rho\sigma}\)	\(R\) 的無跡部分	含規範自由	10
\(T^{\mu\nu}\)	物質能量動量	\(= 0\) （協變）	10

對稱的美：幾何側候選（10 個分量的二階對稱散度自由張量）與物質側（10 個分量的守恆張量）數目恰好匹配——這不是巧合，而是對稱性（微分同胚協變性）的後果；場方程：

\[ G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T^{\mu\nu} \]

（ \(\Lambda\) ：宇宙學常數，1917 年 Einstein 為靜態宇宙引入、1929 Hubble 膨脹後自稱「一生最大錯誤」、1998 暗能量觀測後復活——科學史最戲劇性的迴圈，9.2 節。）

例題#

例題 1：驗證球面 Ricci 張量#

單位球面（ \(n = 2\) ），由 6.2 節 \(R_{\theta\phi\theta\phi} = \sin^2\theta\) 。

Ricci 計算： \(\mathrm{Ric}_{\theta\theta} = R^\rho{}_{\theta\rho\theta} = g^{\phi\phi}R_{\phi\theta\phi\theta}\) 。

先由對稱性 \(R_{\phi\theta\phi\theta} = R_{\theta\phi\theta\phi} = \sin^2\theta\) ：

\[ \mathrm{Ric}_{\theta\theta} = \frac{1}{\sin^2\theta}\cdot\sin^2\theta = 1, \qquad \mathrm{Ric}_{\phi\phi} = g^{\theta\theta}R_{\theta\phi\theta\phi} = \sin^2\theta \]

驗證 \(\mathrm{Ric}_{\mu\nu} = K g_{\mu\nu}\) （ \(n = 2\) 恆成立）： \(K = 1\) 、 \(g_{\theta\theta} = 1\) 、 \(g_{\phi\phi} = \sin^2\theta\) 。✓

純量曲率： \(S = g^{\mu\nu}\mathrm{Ric}_{\mu\nu} = \frac{1}{1} + \frac{\sin^2\theta}{\sin^2\theta} = 2\) 。（ \(n\) 維球面 \(S = \frac{n(n-1)}{R^2}\) ： \(n = 2\) , \(R = 1\) 得 2 ✓。）

Einstein 張量（ \(n = 2\) ）： \(G_{\mu\nu} = \mathrm{Ric}_{\mu\nu} - \frac{1}{2}Sg_{\mu\nu} = Kg_{\mu\nu} - Kg_{\mu\nu} = 0\) ——二維 Einstein 張量恆為零！這就是為什麼二維沒有「內秉重力」（拓樸重力：場方程變成純拓樸的 Gauss–Bonnet）。三維： \(G = 0\) ⟹ \(S = 0\) ⟹ \(\mathrm{Ric} = 0\) ⟹（ \(n=3\) 無 Weyl） \(R = 0\) ：三維真空無重力波、無局部重力——引力波只在 \(n \geq 4\) 存在（9.2 節的深刻背景）。

例題 2：牛頓極限的恢復（幾何側計算）#

弱場慢速極限：度量近閔氏， \(g_{00} = -(1 + 2\Phi/c^2)\) （ \(\Phi\) 為牛頓位勢， \(|\Phi|/c^2 \ll 1\) ）。計算 \(G_{00}\) 的主階：

Christoffel（只需含 \(\Phi\) 的項）： \(\Gamma^i_{00} = \frac{1}{2}g^{ij}(-\partial_j g_{00}) \cdot (\ldots)\) ，細算：

\[ \Gamma^i_{00} = -\frac{1}{2}\delta^{ij}\,\partial_j\left( 1 + \frac{2\Phi}{c^2} \right)\cdot(-1) = \frac{\partial^i\Phi}{c^2} \]

Ricci 的 \(00\) 分量（主階，只保留二階導數項）：

\[ \mathrm{Ric}_{00} = \partial_\mu\Gamma^\mu_{00} - \ldots \approx \nabla^2\left( \frac{\Phi}{c^2} \right) = \frac{\nabla^2\Phi}{c^2} \]

Einstein 張量主階： \(G_{00} \approx \mathrm{Ric}_{00} - \frac{1}{2}Sg_{00}\) ；純量 \(S\) 的貢獻在 \(G_{00}\) 中是 \(O(\Phi/c^2)\cdot\mathrm{Ric}\) 高階，主階 \(G_{00} \approx \frac{\nabla^2\Phi}{c^2}\) 。

場方程（8.2 節）給出：

\[ \frac{\nabla^2\Phi}{c^2} = \frac{8\pi G}{c^4}\,\rho c^2 \ \Longrightarrow\ \boxed{\ \nabla^2\Phi = 4\pi G\rho\ } \]

牛頓萬有引力定律從幾何中湧現！這一計算是「廣義相對論正確回復牛頓極限」的驗證核心（8.2 節完整版），也是場方程常數 \(8\pi G/c^4\) 的來由。

與其他領域的關聯#

向量微積分#

\(\nabla_\mu T^{\mu\nu} = 0\) 是散度定理的協變版； \(\sqrt{|g|}\) 因子使積分守恆律全域成立。Maxwell 方程的協變化（7.3 節）使用同一套散度/旋度幾何。

算子理論#

場方程是半線性橢圓–雙曲混合 PDE（Lorentz 簽號下雙曲為主）；存在性理論（Choquet-Bruhat 1952：初值問題的整體存在性）使用偏微分方程算子的能量估計；
線性化場方程 \(=\) 波方程算子 \(+\) 位勢項——引力波（9.2 節）以波算子的傳播解出；
共形循環（Bach 張量、泛函行列式）聯繫譜不變量與重力作用量。

量子力學#

\(G_{\mu\nu} = 8\pi T_{\mu\nu}\) 的量子化：重力場量子化遭遇不可重整化——量子重力問題（當代物理最大的未解難題之一）；
半經典重力： \(G_{\mu\nu} = 8\pi\langle\hat T_{\mu\nu}\rangle\) （期望值），Hawking 輻射（1974）由此導出——黑洞不黑，溫度 \(T = \frac{\hbar c^3}{8\pi G M k_B}\) ：** \(\hbar\) 出現在重力公式中**——幾何與量子的深度交匯（8.3、9.2 節）；
AdS/CFT： \(n+1\) 維 Einstein 重力 \(\leftrightarrow\) \(n\) 維量子場論——重力 = 量子糾纏的幾何（全息原理）。

資料科學／機器學習#

Ricci 流用於網路社群偵測與影像處理（曲率驅動的尺度空間）；
Ricci 平坦性作為生成模型的正則化（度量的「均勻化」）；
Einstein 張量的離散版本（離散微分幾何）用於三維網格的曲率估計（10.3 節）。

小結#

Ricci = Riemann 的縮併；量度體積聚焦； \(n=2\) : \(\mathrm{Ric} = Kg\) 。
縮併 Bianchi ⟹ \(G_{\mu\nu} = \mathrm{Ric}_{\mu\nu} - \frac{1}{2}Sg_{\mu\nu}\) 散度自由——唯一自然的幾何候選。
物質側 \(T^{\mu\nu}\) 協變守恆；全域能量守恆只在對稱時空存在。
場方程 \(G + \Lambda g = 8\pi G T/c^4\) ；牛頓極限恢復檢驗並定出常數。
\(n = 2\) 的 \(G \equiv 0\) 、 \(n = 3\) 無引力波：維數決定重力的現象學。

第 7 章暫離彎曲時空，回到 1905 年：光速不變性如何迫使幾何改用 Minkowski 度量，為第 8 章鋪路。