数学型式

爱因斯坦引力场方程

其中

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）能量与动量守恒，透过应力-能量张量（代表能量密度、动量密度以及应力）可写出：

场方程左边（弯曲几何部分）因为和场方程右边（物质状态部分）仅成比例关系，物质状态部分所遵守的守恒律因而要求弯曲几何部分也有相似的数学结果。透过微分比安基恒等式，以描述时空曲率的里奇张量 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} 可以满足这项要求：

场方程为非线性的

爱因斯坦场方程的非线性特质使得广义相对论与其他物理学理论迥异。举例来说，电磁学的麦克斯韦方程组跟电场、磁场以及电荷、电流的分布是呈线性关系（亦即两个解的线性叠加仍然是一个解）。另个例子是量子力学中的薛定谔方程，对于概率波函数也是线性的。

对应原理

透过弱场近似以及慢速近似，可以从爱因斯坦场方程退化为牛顿引力定律。事实上，场方程中的比例常数是经过这两个近似，以跟牛顿引力理论做连结后所得出。

添加宇宙常数项

爱因斯坦为了使宇宙能呈现为静态宇宙（不动态变化的宇宙，既不膨胀也不收缩），在后来又尝试加入了一个常数 Λ Λ --> {\displaystyle \Lambda \,} 相关的项 Λ Λ --> g μ μ --> ν ν --> {\displaystyle \Lambda g_{\mu \nu }\,} 于场方程中，使得场方程形式变为：

可以注意到 Λ Λ --> g μ μ --> ν ν --> {\displaystyle \Lambda g_{\mu \nu }\,} 这一项正比于度规张量，而维持住守恒律：

此一常数 Λ Λ --> {\displaystyle \Lambda } 被称为宇宙常数。

这个尝试后来因为两个原因而显得不正确且多此一举：

此一理论所描述的静态宇宙是不稳定的。

十年后，由爱德温·哈勃对于远处星系所作观测的结果证实我们的宇宙正在膨胀，而非静态。

因此， Λ Λ --> {\displaystyle \Lambda } 项在之后被舍弃掉，且爱因斯坦称之为“一生中最大的错误”("biggest blunder [he] ever made") 。之后许多年，学界普遍设宇宙常数为0。

尽管最初爱因斯坦引入宇宙常数项的动机有误，将这样的项放入场方程中并不会导致任何的不一致性。事实上，近年来天文学研究技术上的进步发现，要是存在不为零的 Λ Λ --> {\displaystyle \Lambda } 确实可以解释一些观测结果。

爱因斯坦当初将宇宙常数视为一个独立参数，不过宇宙常数项可以透过代数运算移动到场方程的另一边，而将这一项写成应力-能量张量的一部分：

刚才提到的项即可定义为：

而另外又可以定义常数

为“真空能量”密度。宇宙常数的存在等同于非零真空能量的存在；这些名词前在广义相对论中常交替使用。也就是说可以将 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} ，则真空场方程可写为：

对此式做张量缩并，亦即使指标μ跟ν相同：

由于 g μ μ --> ν ν --> g μ μ --> ν ν --> = δ δ --> μ μ --> μ μ --> {\displaystyle g^{\mu \nu }g_{\mu \nu }=\delta _{\mu }^{\mu }} ，整理可得：

而克罗内克尔δ在四维空间（时空）下取迹数为4，所以式子可写作：

是故 R = 0 {\displaystyle R=0\,} 。

因此可以得到此一更常见、等价的迹数反转（trace-reversed）式：

宇宙常数不为零

若宇宙常数不为零，则方程为

若同上面宇宙常数为零的例子，其迹数反转（trace-reversed）形式为

真空场方程的解顾名思义称作真空解。平直闵可夫斯基时空是最简单的真空解范例。不寻常的真空解范例包括了史瓦西解与克尔解。

附带一提的是：微分几何中，里奇张量为零（即： R μ μ --> ν ν --> = 0 {\displaystyle R_{\mu \nu }=0} ）的流形称作里奇平坦流形，另外里奇张量与度规成比例关系的流形，称为爱因斯坦流形（Einstein manifold）。

爱因斯坦-麦克斯韦方程

如果方程组右边的能量-动量张量等于电磁学中的能量-动量张量，也就是

则此方程组称为“ 爱因斯坦-麦克斯韦方程”：

其中 F α α --> β β --> {\displaystyle F_{\alpha \beta }} 称为电磁张量，定义如下：

其中 A α α --> {\displaystyle A_{\alpha }} 是4-矢势，分号代表协变微分，逗号代表偏微分。

参见

广义相对论资源

参考文献

Aczel, Amir D., 1999. God"s Equation: Einstein, Relativity, and the Expanding Universe . Delta Science. A popular account.

Charles Misner, Kip Thorne, and John Wheeler, 1973. Gravitation . W H Freeman.

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。