JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

曲率與愛因斯坦場方程式

用黎曼張量量度曲率、把潮汐力辨識為測地線偏離,並組裝出把時空幾何與其中物質綁在一起的那條方程式。

度量曲率:黎曼張量

指南 3 暗示了:當空間彎曲時,沿閉迴路平行移動一個向量會使它轉向。黎曼曲率張量 R^{\rho}{}_{\sigma\mu\nu} 正是回報那個轉動、每單位迴路面積的機器。它是曲率完整、與座標無關的描述——由克氏符號及其導數構成:

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}

黎曼張量。它是貨真價實的張量:若在一個參考系為零,則在所有參考系皆為零,所以「平坦」是一個誠實、與觀測者無關的陳述。

潮汐力即測地線偏離

回想指南 1:重力真正無法消去的部分是潮汐力——兩個鄰近自由落體的相對加速度。在數學上,那相對加速度由黎曼張量透過測地線偏離方程式所支配,其中 \xi^\mu 是兩條相鄰測地線之間的分離、u^\alpha 是它們的四維速度:

\frac{D^2 \xi^\mu}{d\tau^2} = -\,R^{\mu}{}_{\alpha\nu\beta}\,u^\alpha \xi^\nu u^\beta

鄰近的自由落體以正比於黎曼張量的量彼此加速靠攏或分離。這就是曲率的物理意義。

這閉合了指南 1 開啟的迴圈。地球高空放下、互相靠攏的兩顆球,以及頭腳相隔、彼此分開的一對,字面上就是鄰近測地線的收斂與發散——而其量由 R^{\mu}{}_{\alpha\nu\beta} 決定。潮汐力就是曲率。這正是等效原理只在局部成立的原因:你能在一點令克氏符號歸零,卻永遠無法在一整個範圍內令黎曼張量歸零。

從黎曼到里奇到愛因斯坦

完整的黎曼張量比場方程式所需的更多。縮並它的一對指標得到里奇張量 R_{\mu\nu}(大略是:一小團自由落體的體積如何收縮);再縮並一次得到里奇純量 R,一個度量平均曲率的單一數字:

R_{\mu\nu} = R^{\lambda}{}_{\mu\lambda\nu}, \qquad R = g^{\mu\nu}R_{\mu\nu}

逐次縮並把 20 個分量的黎曼張量提煉成與物質耦合的部分。

該放在場方程式幾何一側的正確組合,是愛因斯坦張量 G_{\mu\nu}。它被設計成自動無散度(\nabla^\mu G_{\mu\nu}=0,即縮並後的比安基恆等式),這至關重要——它讓方程式白白地就強制了能量與動量的局域守恆:

G_{\mu\nu} = R_{\mu\nu} - \tfrac{1}{2}\,R\,g_{\mu\nu}

愛因斯坦張量:曲率的唯一組合,對稱、由度規及其前兩階導數構成、且恆等守恆。

愛因斯坦場方程式

現在把幾何配上它的源。時空的物質與能量含量——質量密度、壓力、動量通量,全部——都打包進應力-能量張量 T_{\mu\nu}。令幾何正比於物質,就得到愛因斯坦場方程式,理論的心臟:

曲率(幾何,左)被令為等於物質的應力-能量(右)。兩邊說著不同的語言——幾何與物質——而愛因斯坦常數在它們之間翻譯。

G_{\mu\nu} + \Lambda\,g_{\mu\nu} = \frac{8\pi G}{c^4}\,T_{\mu\nu}

愛因斯坦場方程式。關於度規的十條耦合非線性偏微分方程式;宇宙常數 Lambda 代表真空的能量(暗能量)。

為何是那個常數、那個正負號

比例常數 8\pi G/c^4 並非任意——它由「弱、慢、靜態極限須重現牛頓」這一要求所固定。在該極限下,場方程式的時間-時間分量退化為卜瓦松方程式,即牛頓重力的場形式,把位能與質量密度 \rho 相關聯:

\nabla^2 \Phi = 4\pi G\,\rho

作為場方程式的牛頓重力。與此吻合便固定了愛因斯坦的耦合常數——新理論必須包含舊理論。

所以分母中那看似渺小的 c^4,使重力的耦合異常地:得用一整顆行星份量的質量,才能明顯地彎曲時空。同一組方程式,施於不同的 T_{\mu\nu},就生成理論的每一個預言。在指南 5 中,我們為最簡單而有趣的情形求解它們——球形恆星周圍的真空——於是黑洞與經典驗證便隨之而出。