廣義相對論與時空彎曲:從等效原理到愛因斯坦場方程
以度規、測地線與黎曼曲率重建重力,並推導 Schwarzschild 解與重力時間膨脹
從「力」到「幾何」:等效原理的躍遷
牛頓說重力是一種把蘋果拉向地面的力;愛因斯坦卻說,蘋果根本沒有受到任何力,它只是沿著被質量彎曲的時空中最「筆直」的路徑運動。這一句話的轉折來自等效原理(equivalence principle):在一個自由下落的封閉電梯內,所有物體一同下落,局部上重力場與慣性加速度無法被任何實驗區分。慣性質量 $m_i$ 與重力質量 $m_g$ 在所有實驗中精確相等(Eötvös 型實驗驗證至 $10^{-13}$ 以上精度),這暗示重力並非外加的場,而是時空本身的幾何性質。
數學上,自由下落觀測者所在的局部慣性系中,物理定律退化為狹義相對論。這要求我們把平直閔考斯基時空 $\eta_{\mu\nu}=\mathrm{diag}(-1,1,1,1)$ 推廣為一個可隨位置變化的度規張量 $g_{\mu\nu}(x)$,線元為
$$ ds^2 = g_{\mu\nu}\,dx^\mu dx^\nu. $$
度規承載了「兩事件之間的時空間隔」這一切可觀測量,重力的全部資訊都編碼在 $g_{\mu\nu}$ 及其導數之中。

測地線方程:彎曲時空中的「直線」
自由質點沿測地線(geodesic)運動,即固有時 $\tau$ 取極值的世界線。對作用量 $S=-mc\int d\tau$ 變分,或等價地對 $\int g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\,d\lambda$ 變分,得到測地線方程
$$ \frac{d^2 x^\mu}{d\tau^2} + \Gamma^{\mu}{}_{\alpha\beta}\frac{dx^\alpha}{d\tau}\frac{dx^\beta}{d\tau}=0, $$
其中 Christoffel 符號(聯絡係數)由度規一階導給出:
$$ \Gamma^{\mu}{}_{\alpha\beta}=\tfrac12\, g^{\mu\nu}\left(\partial_\alpha g_{\nu\beta}+\partial_\beta g_{\nu\alpha}-\partial_\nu g_{\alpha\beta}\right). $$
在弱場、低速極限下,取 $g_{00}\approx-(1+2\Phi/c^2)$,可證測地線方程退化為 $\ddot{\vec{x}}=-\nabla\Phi$,正好回到牛頓重力,其中 $\Phi$ 為牛頓重力勢。這說明 $\Gamma$ 扮演了「重力加速度場」的角色——但它不是張量,可透過坐標選擇在一點消去,這正是等效原理的數學表述。
曲率:潮汐力與黎曼張量
單一的 $\Gamma$ 可被局部消去,無法當作重力的內稟判據。真正不可消去的是潮汐效應:兩條鄰近測地線的相對加速度。設分離向量 $\xi^\mu$,測地線偏離方程為
$$ \frac{D^2\xi^\mu}{d\tau^2}=-R^{\mu}{}_{\alpha\nu\beta}\,u^\alpha\xi^\nu u^\beta, $$
其中 $R^{\mu}{}_{\alpha\nu\beta}$ 是黎曼曲率張量,由 $\Gamma$ 及其導數構成:
$$ R^{\rho}{}_{\sigma\mu\nu}=\partial_\mu\Gamma^{\rho}{}_{\nu\sigma}-\partial_\nu\Gamma^{\rho}{}_{\mu\sigma}+\Gamma^{\rho}{}_{\mu\lambda}\Gamma^{\lambda}{}_{\nu\sigma}-\Gamma^{\rho}{}_{\nu\lambda}\Gamma^{\lambda}{}_{\mu\sigma}. $$
曲率張量不為零,才是時空「真正彎曲」的標誌;它無法被任何坐標變換整體消除。縮併可得 Ricci 張量 $R_{\mu\nu}=R^{\lambda}{}_{\mu\lambda\nu}$ 與 Ricci 純量 $R=g^{\mu\nu}R_{\mu\nu}$。
愛因斯坦場方程
物質如何決定幾何?愛因斯坦在 1915 年寫下
$$ G_{\mu\nu}\equiv R_{\mu\nu}-\tfrac12 R\,g_{\mu\nu}=\frac{8\pi G}{c^4}\,T_{\mu\nu}. $$
左側 $G_{\mu\nu}$ 是愛因斯坦張量,純粹的幾何量;右側 $T_{\mu\nu}$ 是能量–動量張量,描述物質與能量分布。係數 $8\pi G/c^4$ 由弱場極限要求對應到牛頓重力的 Poisson 方程 $\nabla^2\Phi=4\pi G\rho$ 而定。$G_{\mu\nu}$ 之所以取這個組合,是因為 Bianchi 恆等式保證 $\nabla^\mu G_{\mu\nu}=0$,與能量–動量守恆 $\nabla^\mu T_{\mu\nu}=0$ 自洽——這是整個理論在數學上必然的結構。約翰·惠勒的名言精煉地概括:「時空告訴物質如何運動,物質告訴時空如何彎曲。」
定量小範例:黑洞事件視界與重力時間膨脹
對球對稱真空($T_{\mu\nu}=0$)解場方程,得到 Schwarzschild 度規:
$$ ds^2=-\left(1-\frac{r_s}{r}\right)c^2dt^2+\left(1-\frac{r_s}{r}\right)^{-1}dr^2+r^2 d\Omega^2, $$
其中 Schwarzschild 半徑 $r_s=\dfrac{2GM}{c^2}$。
步驟一:求太陽的 $r_s$。 代入 $M_\odot=1.989\times10^{30}\,\text{kg}$、$G=6.674\times10^{-11}$、$c=2.998\times10^8$:
$$ r_s=\frac{2(6.674\times10^{-11})(1.989\times10^{30})}{(2.998\times10^8)^2}\approx 2.95\times10^3\,\text{m}\approx 2.95\,\text{km}. $$
步驟二:重力時間膨脹。 靜止鐘的固有時與坐標時關係為 $d\tau=\sqrt{1-r_s/r}\,dt$。在太陽表面 $r=R_\odot=6.96\times10^8\,\text{m}$,
$$ \frac{r_s}{R_\odot}=\frac{2.95\times10^3}{6.96\times10^8}\approx 4.24\times10^{-6}. $$
故 $d\tau/dt=\sqrt{1-4.24\times10^{-6}}\approx 1-2.12\times10^{-6}$。太陽表面的鐘相對於遠方每秒約慢 $2.1\,\mu\text{s}$,對應光譜的重力紅移 $z\approx 2.1\times10^{-6}$——此值已被太陽譜線觀測證實,量級也與 GPS 衛星必須做的相對論校正同源。
深入探討(研究所視角)
Einstein–Hilbert 作用量與場方程的變分起源。 場方程並非憑空假設,而可由作用量
$$ S=\frac{c^4}{16\pi G}\int R\sqrt{-g}\,d^4x + S_{\text{matter}} $$
對度規 $g^{\mu\nu}$ 變分得到。利用 $\delta(\sqrt{-g})=-\tfrac12\sqrt{-g}\,g_{\mu\nu}\delta g^{\mu\nu}$ 及 Palatini 恆等式($\delta R_{\mu\nu}$ 為全散度,在邊界上需配 Gibbons–Hawking–York 項),令 $\delta S=0$ 即得 $G_{\mu\nu}=\frac{8\pi G}{c^4}T_{\mu\nu}$,其中能量–動量張量自然定義為 $T_{\mu\nu}=-\dfrac{2}{\sqrt{-g}}\dfrac{\delta S_{\text{matter}}}{\delta g^{\mu\nu}}$。這個拉格朗日表述讓重力與其他場論共享同一套變分框架。
Hamilton 表述與初值問題(ADM)。 把時空切成空間類葉片 $\Sigma_t$,度規分解為三維誘導度規 $h_{ij}$、lapse $N$ 與 shift $N^i$。ADM(Arnowitt–Deser–Misner)形式中,$N$ 與 $N^i$ 是 Lagrange 乘子,其變分給出約束方程(Hamiltonian constraint 與 momentum constraint),真正的動力學自由度是 $h_{ij}$ 與其共軛動量 $\pi^{ij}$。這套 $3+1$ 分解是數值相對論(如雙黑洞併合模擬)的根基,也是正則量子重力(loop quantum gravity)的出發點。Hamiltonian 在純引力中弱等於零,反映了廣義協變性帶來的「時間問題」。
場論視角:自旋–2 規範場。 在弱場 $g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}$ 下,線性化場方程描述一個無質量、自旋為 2 的場 $h_{\mu\nu}$,具規範對稱性 $h_{\mu\nu}\to h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$。在 Lorenz 規範下波動方程 $\Box\bar{h}_{\mu\nu}=-\frac{16\pi G}{c^4}T_{\mu\nu}$ 預言重力波,2015 年 LIGO 直接探測雙黑洞併合的 $h\sim10^{-21}$ 應變得到證實。此觀點也將廣義相對論與量子場論連接——重力子即此場的量子,但理論在高能下不可重整化,提示需要更深層理論(弦論、漸近安全等)。
理論連結與前沿。 Schwarzschild 解的視界與 Hawking 輻射、Bekenstein–Hawking 熵 $S=k_B A/4\ell_P^2$ 把幾何、熱力學與量子資訊綁在一起,催生黑洞資訊悖論與 AdS/CFT 全像對偶。宇宙學尺度上,加入宇宙常數 $\Lambda$ 的 FLRW 度規構成 $\Lambda$CDM 標準模型,把同一組場方程從黑洞推廣到整個可觀測宇宙的膨脹歷史。