刻上真空場方程式的紀念硬幣。
愛因斯坦重力場方程 (英語:Einstein field equations )是一組含有10個方程式的方程組,由愛因斯坦於1915年[1] 在廣義相對論 中提出。此方程組描述了重力 是由物質與能量所產生的時空 彎曲所造成。[2] 也就是說,如同牛頓的萬有引力 理論中質量作為重力的來源,亦即有質量就可以產生重力,愛氏的相對論理論更進一步的指出,動量與能量皆可做為重力的來源,並且將「重力場」詮釋成「時空彎曲」。所以當我們知道物質與能量在時空中是如何分布的,就可以計算出時空的曲率,而時空彎曲的結果即是重力。
愛因斯坦重力場方程是用來計算動量與能量所造成的時空曲率,再搭配測地線方程 ,就可以求出物體在重力場中的運動軌跡。這個想法與電磁學 的想法是類似的:當我們知道了空間中的電荷與電流(電磁場的來源)是如何分布的,藉由馬克士威方程組 ,我們可以計算出電場與磁場,再藉由勞倫茲力方程 ,即可求出帶電粒子在電磁場中的軌跡。
僅在一些簡化的假設下,例如:假設時空是球對稱,此方程組才具有精確解。這些精確解常常被用來模擬許多宇宙中的重力現象,像是黑洞 、膨脹宇宙、重力波 。
數學型式
愛因斯坦重力場方程式
G
μ
ν
=
R
μ
ν
−
1
2
g
μ
ν
R
=
8
π
G
c
4
T
μ
ν
{\displaystyle G_{\mu \nu }=R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={8\pi G \over c^{4}}T_{\mu \nu }}
其中
G
μ
ν
{\displaystyle G_{\mu \nu }\,}
稱為愛因斯坦張量 ,
R
μ
ν
{\displaystyle R_{\mu \nu }\,}
是從黎曼張量 縮併而成的里奇張量 ,代表曲率項;
R
{\displaystyle R\,}
是從里奇張量 縮併而成的純量曲率 (或里奇數量 );
g
μ
ν
{\displaystyle g_{\mu \nu }\,}
是從(3+1)維時空的度量張量 ;
T
μ
ν
{\displaystyle T_{\mu \nu }\,}
是能量-動量-應力張量 ,
G
{\displaystyle G\,}
是重力常數 ,
c
{\displaystyle c\,}
是真空中光速 。
愛因斯坦場方程是一組含有若干4階對稱張量 的張量方程。每一個張量都有10個獨立的分量。由於4個比安基恒等式 ,我們可以將10個愛因斯坦場方程式減少至6個獨立的方程組。這導致了度規張量gμν 有4個自由度,與座標選取的4個自由度是對應的。
雖然愛因斯坦場方程一開始是一個應用在四維時空的理論,但是一些理論學家嘗試將它應用在探索n維時空上。真空中的場方程(當方程式右邊的T張量等於零)定義了愛因斯坦流形 。
儘管愛因斯坦方程的形式看起來很簡單,實際上他們是一組複雜的二阶非線性微分方程 。只要給定一個質量與能量分布,亦即能量-動量張量 ,愛因斯坦場方程就變成一個度規張量gμν 的微分方程。
一般我們藉由定義愛因斯坦張量 ( 一個對稱的與度規gμν 有關的二階張量)
:
G
μ
ν
=
R
μ
ν
−
1
2
R
g
μ
ν
,
{\displaystyle G_{\mu \nu }=R_{\mu \nu }-{\tfrac {1}{2}}R\,g_{\mu \nu },}
來將愛因斯坦場方程寫成一個更加簡單的形式:
G
μ
ν
=
8
π
G
c
4
T
μ
ν
.
{\displaystyle G_{\mu \nu }={8\pi G \over c^{4}}T_{\mu \nu }.}
。
若使用幾何化單位制 ,則G = c = 1,場方程因此簡化為:
G
μ
ν
=
8
π
T
μ
ν
.
{\displaystyle G_{\mu \nu }=8\pi T_{\mu \nu }\,.}
如果是使用相對論中的幾何化單位制 (有理化的幾何化單位制),則場方程為:
G
μ
ν
=
2
T
μ
ν
.
{\displaystyle G_{\mu \nu }=2T_{\mu \nu }\,.}
此時,方程變得更簡單,連
π
{\displaystyle \pi }
都沒有。
等價形式
經愛因斯坦方程組兩邊同乘以gμν :
R
−
D
2
R
+
D
Λ
=
8
π
G
c
4
T
{\displaystyle R-{\frac {D}{2}}R+D\Lambda ={8\pi G \over c^{4}}T\,}
其中D是時空維度。
兩邊再同除以
D
2
−
1
{\displaystyle {\frac {D}{2}}-1}
:
−
R
+
D
Λ
(
D
2
−
1
)
=
8
π
G
c
4
T
D
2
−
1
.
{\displaystyle -R+{\frac {D\Lambda }{({\tfrac {D}{2}}-1)}}={8\pi G \over c^{4}}{\frac {T}{{\tfrac {D}{2}}-1}}\,.}
兩邊再同乘−1 / 2 gμν :
R
μ
ν
−
Λ
g
μ
ν
D
2
−
1
=
8
π
G
c
4
(
T
μ
ν
−
1
D
−
2
T
g
μ
ν
)
.
{\displaystyle R_{\mu \nu }-{\frac {\Lambda g_{\mu \nu }}{{\tfrac {D}{2}}-1}}={8\pi G \over c^{4}}\left(T_{\mu \nu }-{1 \over {D-2}}T\,g_{\mu \nu }\right).\,}
一般情況下,D=4:
R
μ
ν
−
Λ
g
μ
ν
=
8
π
G
c
4
(
T
μ
ν
−
1
2
T
g
μ
ν
)
.
{\displaystyle R_{\mu \nu }-\Lambda g_{\mu \nu }={8\pi G \over c^{4}}\left(T_{\mu \nu }-{\tfrac {1}{2}}T\,g_{\mu \nu }\right).\,}
愛因斯坦場方程式的性質
能量與動量守恆
場方程式的一個重要結果是遵守局域的(local)能量與動量守恆 ,透過應力-能量張量 (代表能量密度 、動量密度 以及應力 )可寫出:
∇
ν
T
μ
ν
=
T
μ
ν
;
ν
=
0
{\displaystyle \nabla _{\nu }T^{\mu \nu }=T^{\mu \nu }{}_{;\nu }=0}
場方程式左邊(彎曲幾何部份)因為和場方程式右邊(物質狀態部份)僅成比例關係,物質狀態部份所遵守的守恆律因而要求彎曲幾何部份也有相似的數學結果。透過微分比安基恒等式 ,以描述時空 曲率 的里奇張量
R
μ
ν
{\displaystyle R^{\mu \nu }\,}
(以及張量縮併 後的里奇純量
R
≡
R
μ
μ
{\displaystyle R\equiv R_{\mu }^{\mu }\,}
)之代數關係所設計出來的愛因斯坦張量
G
μ
ν
≡
R
μ
ν
−
1
2
g
μ
ν
R
{\displaystyle G^{\mu \nu }\equiv R^{\mu \nu }-{1 \over 2}g^{\mu \nu }R}
可以滿足這項要求:
∇
ν
G
μ
ν
=
G
μ
ν
;
ν
=
0
{\displaystyle \nabla _{\nu }G^{\mu \nu }=G^{\mu \nu }{}_{;\nu }=0}
場方程式為非線性的
愛因斯坦場方程式的非線性 特質使得廣義相對論 與其他物理學理論迥異。舉例來說,電磁學 的麦克斯韦方程組 跟電場 、磁場 以及電荷 、電流 的分佈是呈線性 關係(亦即兩個解的線性疊加 仍然是一個解)。另個例子是量子力學 中的薛定谔方程 ,對於機率波函數 也是線性的。
對應原理
透過弱場近似 以及慢速近似 ,可以從愛因斯坦場方程式退化為牛頓重力定律 。事實上,場方程式中的比例常數是經過這兩個近似,以跟牛頓重力理論做連結後所得出。[3]
添加宇宙常數項
愛因斯坦 為了使宇宙能呈現為靜態宇宙 (不動態變化的宇宙,既不膨脹也不收縮),在後來又嘗試加入了一個常數
Λ
{\displaystyle \Lambda \,}
相關的項
Λ
g
μ
ν
{\displaystyle \Lambda g_{\mu \nu }\,}
於場方程式中,使得場方程式形式變為:
R
μ
ν
−
1
2
g
μ
ν
R
+
Λ
g
μ
ν
=
8
π
G
c
4
T
μ
ν
{\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R+\Lambda g_{\mu \nu }={8\pi G \over c^{4}}T_{\mu \nu }}
可以注意到
Λ
g
μ
ν
{\displaystyle \Lambda g_{\mu \nu }\,}
這一項正比於度規張量 ,而維持住守恆律 :
∇
ν
(
Λ
g
μ
ν
)
=
Λ
∇
ν
(
g
μ
ν
)
=
0
{\displaystyle \nabla _{\nu }(\Lambda g_{\mu \nu })=\Lambda \nabla _{\nu }(g_{\mu \nu })=0}
此一常數
Λ
{\displaystyle \Lambda }
被稱為宇宙常數 。
這個嘗試後來因為兩個原因而顯得不正確且多此一舉:
此一理論所描述的靜態宇宙是不穩定的。
十年後,由愛德溫·哈伯 對於遠處星系 所作觀測的結果證實我們的宇宙正在膨脹,而非靜態。
因此,
Λ
{\displaystyle \Lambda }
項在之後被捨棄掉,且愛因斯坦稱之為「一生中最大的錯誤」("biggest blunder [he] ever made")[4] 。之後許多年,學界普遍設宇宙常數為0。
儘管最初愛因斯坦引入宇宙常數項的動機有誤,將這樣的項放入場方程式中並不會導致任何的不一致性。事實上,近年來天文學 研究技術上的進步發現,要是存在不為零的
Λ
{\displaystyle \Lambda }
確實可以解釋一些觀測結果。[5]
[6]
愛因斯坦當初將宇宙常數視為一個獨立參數,不過宇宙常數項可以透過代數運算移動到場方程式的另一邊,而將這一項寫成應力-能量張量 的一部分:
R
μ
ν
−
1
2
g
μ
ν
R
=
8
π
G
c
4
(
T
μ
ν
−
c
4
Λ
g
μ
ν
8
π
G
)
{\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={8\pi G \over c^{4}}\left(T_{\mu \nu }-{\frac {c^{4}\Lambda g_{\mu \nu }}{8\pi G}}\right)}
剛才提到的項即可定義為:
T
μ
ν
(
v
a
c
)
≡
−
c
4
Λ
g
μ
ν
8
π
G
{\displaystyle T_{\mu \nu }^{\mathrm {(vac)} }\equiv -{\frac {c^{4}\Lambda g_{\mu \nu }}{8\pi G}}}
而另外又可以定義常數
ρ
v
a
c
≡
c
2
Λ
8
π
G
{\displaystyle \rho _{\mathrm {vac} }\equiv {\frac {c^{2}\Lambda }{8\pi G}}}
為「真空能量 」密度 。宇宙常數的存在等同於非零真空能量的存在;這些名詞前在廣義相對論 中常交替使用。也就是說可以將
T
μ
ν
(
v
a
c
)
≡
−
c
4
Λ
g
μ
ν
8
π
G
{\displaystyle T_{\mu \nu }^{\mathrm {(vac)} }\equiv -{\frac {c^{4}\Lambda g_{\mu \nu }}{8\pi G}}}
看成和
T
μ
ν
{\displaystyle T_{\mu \nu }\,}
是一樣類型的量,只是
T
μ
ν
{\displaystyle T_{\mu \nu }\,}
的來源是物質 與輻射 ,而
−
c
4
Λ
g
μ
ν
8
π
G
{\displaystyle -{\frac {c^{4}\Lambda g_{\mu \nu }}{8\pi G}}}
的來源則是真空能量。物質、輻射與真空能量三者在物理宇宙學 中扮演要角。
真空場方程式
宇宙常數為零
若能量-動量張量
T
μ
ν
{\displaystyle T_{\mu \nu }}
在所關注的區域中為零,則場方程式被稱作真空場方程式 。在完整的場方程式中設定
T
μ
ν
=
0
{\displaystyle T_{\mu \nu }=0}
,則真空場方程式可寫為:
R
μ
ν
=
1
2
g
μ
ν
R
{\displaystyle R_{\mu \nu }={1 \over 2}g_{\mu \nu }R\ }
對此式做張量縮併 ,亦即使指標μ跟ν相同:
R
≡
R
μ
μ
=
g
μ
ν
R
μ
ν
=
g
μ
ν
1
2
g
μ
ν
R
{\displaystyle R\equiv R_{\mu }^{\mu }=g^{\mu \nu }R_{\mu \nu }=g^{\mu \nu }{1 \over 2}g_{\mu \nu }R}
由於
g
μ
ν
g
μ
ν
=
δ
μ
μ
{\displaystyle g^{\mu \nu }g_{\mu \nu }=\delta _{\mu }^{\mu }}
,整理可得:
R
=
δ
μ
μ
1
2
R
{\displaystyle R=\delta _{\mu }^{\mu }{1 \over 2}R}
而克羅內克爾δ 在四維空間(時空)下取跡數 為4,所以式子可寫作:
R
=
4
⋅
1
2
R
=
2
R
{\displaystyle R=4\cdot {1 \over 2}R=2R}
是故
R
=
0
{\displaystyle R=0\,}
。
因此可以得到此一更常見、等價的跡數反轉(trace-reversed)式:
R
μ
ν
=
0
{\displaystyle R_{\mu \nu }=0\ }
宇宙常數不為零
若宇宙常數不為零,則方程式為
R
μ
ν
=
1
2
g
μ
ν
R
−
Λ
g
μ
ν
,
{\displaystyle R_{\mu \nu }={1 \over 2}g_{\mu \nu }R-\Lambda g_{\mu \nu },\ }
若同上面宇宙常數為零的例子,其跡數反轉(trace-reversed)形式為
R
μ
ν
=
Λ
g
μ
ν
{\displaystyle R_{\mu \nu }=\Lambda g_{\mu \nu }\ }
真空場方程式的解顧名思義稱作真空解 。平直閔可夫斯基時空 是最簡單的真空解範例。不尋常的真空解範例包括了史瓦西解 與克爾解 。
附帶一提的是:微分幾何 中,里奇張量 為零(即:
R
μ
ν
=
0
{\displaystyle R_{\mu \nu }=0}
)的流形 稱作里奇平坦流形 ,另外里奇張量與度規 成比例關係的流形,稱為愛因斯坦流形 (Einstein manifold)。
愛因斯坦-麦克斯韦方程
如果方程組右邊的能量-動量張量等於電磁學中的能量-動量張量,也就是
T
α
β
=
−
1
μ
0
(
F
α
ψ
F
ψ
β
+
1
4
g
α
β
F
ψ
τ
F
ψ
τ
)
{\displaystyle T^{\alpha \beta }=\,-{\frac {1}{\mu _{0}}}\left(F^{\alpha }{}^{\psi }F_{\psi }{}^{\beta }+{1 \over 4}g^{\alpha \beta }F_{\psi \tau }F^{\psi \tau }\right)}
則此方程組稱為「 愛因斯坦-麦克斯韦方程」:
R
α
β
−
1
2
R
g
α
β
+
Λ
g
α
β
=
8
π
G
c
4
μ
0
(
F
α
ψ
F
ψ
β
+
1
4
g
α
β
F
ψ
τ
F
ψ
τ
)
.
{\displaystyle R^{\alpha \beta }-{1 \over 2}Rg^{\alpha \beta }+\Lambda g^{\alpha \beta }={\frac {8\pi G}{c^{4}\mu _{0}}}\left(F^{\alpha }{}^{\psi }F_{\psi }{}^{\beta }+{1 \over 4}g^{\alpha \beta }F_{\psi \tau }F^{\psi \tau }\right).}
其中
F
α
β
{\displaystyle F_{\alpha \beta }}
稱為電磁張量 ,定義如下:
F
α
β
=
A
α
;
β
−
A
β
;
α
=
A
α
,
β
−
A
β
,
α
{\displaystyle F_{\alpha \beta }=A_{\alpha ;\beta }-A_{\beta ;\alpha }=A_{\alpha ,\beta }-A_{\beta ,\alpha }\!}
其中
A
α
{\displaystyle A_{\alpha }}
是4-向量勢,分號代表協變微分 ,逗號代表偏微分。
參見
參考文獻
^ Einstein, Albert . Die Feldgleichungen der Gravitation . Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin . November 25, 1915: 844–847 [2006-09-12 ] . (原始内容存档 于2016-10-27).
^ Einstein, Albert. The Foundation of the General Theory of Relativity . Annalen der Physik . 1916, 354 (7): 769. Bibcode:1916AnP...354..769E . doi:10.1002/andp.19163540702 . (原始内容 (PDF ) 存档于2012-02-06).
^ 西恩·卡罗尔 . Spacetime and Geometry – An Introduction to General Relativity . 2004: 151 –159. ISBN 0-8053-8732-3 (英语) .
^ Gamow, George . My World Line: An Informal Autobiography [我的世界线:一份非正式自传] . Viking Adult . 1970-04-28 [2007-03-14 ] . ISBN 0670503762 . (原始内容存档 于2019-05-16) (英语) .
^ Wahl, Nicolle. Was Einstein's 'biggest blunder' a stellar success? . 2005-11-22 [2007-03-14 ] . (原始内容存档 于2007-03-07).
^ Turner, Michael S. A Spacetime Odyssey . Int.J.Mod.Phys. A17S1 . May 2001: 180–196 [2007-03-14 ] . (原始内容存档 于2019-07-25).
基礎概念 现象 方程 進階理論 精确解 近似解与数值模拟 科學家