**希尔伯特作用量**或**爱因斯坦-希尔伯特作用量**（英文：）是广义相对论中能够导出爱因斯坦引力场方程（通过取变分得到时空度规的运动方程）的作用量，它最早由希尔伯特在1915年提出。从希尔伯特作用量导出爱因斯坦引力场方程的优点是多方面的：首先，它能够简单地将广义相对论理论和其他同样用作用量形式表示的经典场论（如麦克斯韦理论） 统一起来；其次，通过寻找这个作用量中包含的对称性可以轻易地根据诺特定理判别守恒量。在广义相对论中，作用量一般都被认为是度规（以及物质场）的一个泛函，而其联络是列维-奇维塔联络。

能够导出真空中的爱因斯坦方程的作用量S[g]\,由下面的拉格朗日量的积分给出：

S[g]=\int {1 \over 2\kappa }R{\sqrt {-g}}\,{\mathrm {d}}^{4}x
其中g=\,{1 \over c^{2}}\,\det \,(g\_{{\alpha \beta }})是时空的洛伦兹度规的行列式，R\,是里奇标量，\kappa ={\frac {8\pi G}{c^{4}}}\,是一个普适性常数，拉格朗日量是{1 \over 2\kappa }R{\sqrt {-g}}，积分范围是时空中的一块区域。对于有物质存在的爱因斯坦方程，在对应的拉格朗日量中还要添加物质本身的拉格朗日量。（注意：这里所谓"拉格朗日量"都是指其标量密度，在国际单位制中的单位是焦耳/立方米，而不是指其在空间或时空范围内的一个积分。）

注意到{\sqrt {-g}}\,{\mathrm {d}}^{4}x是一个形式不变的四维体元，因此也可以将希尔伯特作用量写成（可能更好看些的）如下形式：

S[g]=\int {1 \over 2\kappa }R\,{\mathrm {dV}}\,

导出爱因斯坦引力场方程
-----------

假设理论中场的完整作用量形式即包括爱因斯坦-希尔伯特作用量以及可描述任意物质场的拉格朗日量{\mathcal {L}}\_{{\mathrm {M}}}，则有

S=\int \left[{1 \over 2\kappa }\,R+{\mathcal {L}}\_{{\mathrm {M}}}\right]{\sqrt {-g}}\,{\mathrm {d}}^{4}x
作用量原理告诉我们这个作用量对度规g^{{\mu \nu }}\,的变分为零：

{\begin{aligned}0&=\delta S\\&=\int \left[{1 \over 2\kappa }{\frac {\delta ({\sqrt {-g}}R)}{\delta g^{{\mu \nu }}}}+{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}\_{{\mathrm {M}}})}{\delta g^{{\mu \nu }}}}\right]\delta g^{{\mu \nu }}{\mathrm {d}}^{4}x\\&=\int \left[{1 \over 2\kappa }\left({\frac {\delta R}{\delta g^{{\mu \nu }}}}+{\frac {R}{{\sqrt {-g}}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{{\mu \nu }}}}\right)+{\frac {1}{{\sqrt {-g}}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}\_{{\mathrm {M}}})}{\delta g^{{\mu \nu }}}}\right]\delta g^{{\mu \nu }}{\sqrt {-g}}\,{\mathrm {d}}^{4}x.\end{aligned}}
由于这个方程要求对所有变分\delta g^{{\mu \nu }}都成立，这意味着

{\frac {\delta R}{\delta g^{{\mu \nu }}}}+{\frac {R}{{\sqrt {-g}}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{{\mu \nu }}}}=-2\kappa {\frac {1}{{\sqrt {-g}}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}\_{{\mathrm {M}}})}{\delta g^{{\mu \nu }}}},
是度规场的运动方程，而方程的右边则（根据定义）正比于能量-动量张量。

T\_{{\mu \nu }}:=-2{\frac {1}{{\sqrt {-g}}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}\_{{\mathrm {M}}})}{\delta g^{{\mu \nu }}}}=-2{\frac {\delta {\mathcal {L}}\_{{\mathrm {M}}}}{\delta g^{{\mu \nu }}}}+g\_{{\mu \nu }}{\mathcal {L}}\_{{\mathrm {M}}}.
计算方程的左边需要得到里奇标量的变分和度规的行列式，它们的有关计算可以参考有关教科书，下面给出的范例来自Carroll 2004。

### 黎曼张量、里奇张量和里奇标量的变分

为计算里奇标量的变分我们首先考虑黎曼张量以及里奇张量的变分。黎曼张量的定义为

{R^{\rho }}\_{{\sigma \mu \nu }}=\partial \_{\mu }\Gamma \_{{\nu \sigma }}^{\rho }-\partial \_{\nu }\Gamma \_{{\mu \sigma }}^{\rho }+\Gamma \_{{\mu \lambda }}^{\rho }\Gamma \_{{\nu \sigma }}^{\lambda }-\Gamma \_{{\nu \lambda }}^{\rho }\Gamma \_{{\mu \sigma }}^{\lambda },
由于黎曼曲率只和列维-奇维塔联络\Gamma \_{{\mu \nu }}^{\lambda }有关，黎曼张量的变分可由下给出：

\delta {R^{\rho }}\_{{\sigma \mu \nu }}=\partial \_{\mu }\delta \Gamma \_{{\nu \sigma }}^{\rho }-\partial \_{\nu }\delta \Gamma \_{{\mu \sigma }}^{\rho }+\delta \Gamma \_{{\mu \lambda }}^{\rho }\Gamma \_{{\nu \sigma }}^{\lambda }+\Gamma \_{{\mu \lambda }}^{\rho }\delta \Gamma \_{{\nu \sigma }}^{\lambda }-\delta \Gamma \_{{\nu \lambda }}^{\rho }\Gamma \_{{\mu \sigma }}^{\lambda }-\Gamma \_{{\nu \lambda }}^{\rho }\delta \Gamma \_{{\mu \sigma }}^{\lambda }.
现在由于\delta \Gamma \_{{\nu \mu }}^{\rho }是两个联络的差，因此它是一个张量，我们计算它的协变导数：

\nabla \_{\lambda }(\delta \Gamma \_{{\nu \mu }}^{\rho })=\partial \_{\lambda }(\delta \Gamma \_{{\nu \mu }}^{\rho })+\Gamma \_{{\sigma \lambda }}^{\rho }\delta \Gamma \_{{\nu \mu }}^{\sigma }-\Gamma \_{{\nu \lambda }}^{\sigma }\delta \Gamma \_{{\sigma \mu }}^{\rho }-\Gamma \_{{\mu \lambda }}^{\sigma }\delta \Gamma \_{{\nu \sigma }}^{\rho }
我们现在可以清楚地看到黎曼曲率张量的变分表达式等于如下两项的差：

\delta R^{\rho }{}\_{{\sigma \mu \nu }}=\nabla \_{\mu }(\delta \Gamma \_{{\nu \sigma }}^{\rho })-\nabla \_{\nu }(\delta \Gamma \_{{\mu \sigma }}^{\rho }).
而里奇张量的变分可简单地通过紧缩黎曼张量的变分表达式的两个分量得到：

\delta R\_{{\mu \nu }}\equiv \delta R^{\rho }{}\_{{\mu \rho \nu }}=\nabla \_{\rho }(\delta \Gamma \_{{\nu \mu }}^{\rho })-\nabla \_{\nu }(\delta \Gamma \_{{\rho \mu }}^{\rho }).
里奇标量的定义为

R=g^{{\mu \nu }}R\_{{\mu \nu }}.\!
从而它相对于度规g^{{\mu \nu }}的变分为

{\begin{aligned}\delta R&=R\_{{\mu \nu }}\delta g^{{\mu \nu }}+g^{{\mu \nu }}\delta R\_{{\mu \nu }}\\&=R\_{{\mu \nu }}\delta g^{{\mu \nu }}+\nabla \_{\sigma }\left(g^{{\mu \nu }}\delta \Gamma \_{{\nu \mu }}^{\sigma }-g^{{\mu \sigma }}\delta \Gamma \_{{\rho \mu }}^{\rho }\right)\end{aligned}}
在第二行中我们使用了上面得到的里奇张量的变分结果以及协变导数对度规的性质\nabla \_{\sigma }g^{{\mu \nu }}=0。

最后一项\nabla \_{\sigma }(g^{{\mu \nu }}\delta \Gamma \_{{\nu \mu }}^{\sigma }-g^{{\mu \sigma }}\delta \Gamma \_{{\rho \mu }}^{\rho })是一个全微分，根据斯托克斯定理当对它进行积分时只能得到一个边界项。因而当度规的变分\delta g^{{\mu \nu }} 在无穷远处趋于零时这项的积分也为零，从而不对作用量有贡献。这样我们得到

{\frac {\delta R}{\delta g^{{\mu \nu }}}}=R\_{{\mu \nu }}
### 度规行列式的变分

根据对行列式进行求导的雅可比公式

\,\!\delta g=g\,g^{{\mu \nu }}\delta g\_{{\mu \nu }}
我们得到

{\begin{aligned}\delta {\sqrt {-g}}&=-{\frac {1}{2{\sqrt {-g}}}}\delta g&={\frac {1}{2}}{\sqrt {-g}}(g^{{\mu \nu }}\delta g\_{{\mu \nu }})&=-{\frac {1}{2}}{\sqrt {-g}}(g\_{{\mu \nu }}\delta g^{{\mu \nu }}),\end{aligned}}
从而结论为

{\frac {1}{{\sqrt {-g}}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{{\mu \nu }}}}=-{\frac {1}{2}}g\_{{\mu \nu }}
### 运动方程

我们得到了所需要的所有变分，将它们代入运动方程可得

R\_{{\mu \nu }}-{\frac {1}{2}}g\_{{\mu \nu }}R={\frac {8\pi G}{c^{4}}}T\_{{\mu \nu }},
这是爱因斯坦引力场方程，其中\kappa ={\frac {8\pi G}{c^{4}}}的选取是为了使非相对论极限能够满足牛顿引力理论的形式，而G\,是万有引力常数。

宇宙学常数
-----

对于含有宇宙常数项的爱因斯坦方程 

R\_{{\mu \nu }}-{\frac {1}{2}}g\_{{\mu \nu }}R+\Lambda g\_{{\mu \nu }}={\frac {8\pi G}{c^{4}}}T\_{{\mu \nu }}\,
对应的希尔伯特作用量也包含宇宙学常数，写为

S=\int \left[{1 \over 2\kappa }\left(R-2\Lambda \right)+{\mathcal {L}}\_{{\mathrm {M}}}\right]{\sqrt {-g}}\,{\mathrm {d}}^{4}x

相關條目
----

* 作用量

参考文献
----

* Carroll, Sean M. Addison Wesley, 2004, ISBN 0-8053-8732-3, （原始内容存档于2012-12-09）
* Hilbert, D. (1915)  *Die Grundlagen der Physik* （页面存档备份，存于）, Konigl. Gesell. d. Wiss. Gottingen, Nachr. Math.-Phys. Kl. 395-407
* Sokolov, D.D. Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
阿尔伯特·爱因斯坦 |
| --- |
|  |
| 貢獻 | 
* 狭义相对论
* 廣義相對論
* 質能轉換公式（E=mc2）
* 布朗运动
* 光电效应
* 爱因斯坦系数
* 爱因斯坦模型
* 等效原理
* + 爱因斯坦张量
* 愛因斯坦半徑（英语：）
* 爱因斯坦关系
* 宇宙學常數
* 玻色–爱因斯坦凝聚
* 玻色–爱因斯坦统计
* 玻色–爱因斯坦相关（英语：）
* 愛因斯坦-嘉當理論
* 愛因斯坦-英費爾德-霍夫曼方程（英语：）
* 爱因斯坦-德哈斯效应
* 愛波羅
* -愛因斯坦之爭
* 遠距平行性（英语：）
* 愛因斯坦的思想實驗（英语：）
* 愛因斯坦的失敗研究（英语：）
* 波粒二象性
* 
* 茶叶悖论
* 爱因斯坦求和约定
* 愛因斯坦同步法
* 爱因斯坦-希尔伯特作用量

 |  |
|  |
| 著作 | 
* 《奇蹟年論文》（1905）
* 《論動體的電動力學》（1905）
* 《熱的分子運動論所要求的靜止液體中懸浮粒子的運動（英语：）》（1905）
* 《相對論入門:狹義和廣義相對論（英语：）》（1916）
* 《相对论的意义》（1922）
* 《我的世界觀（英语：）》（1934）
* 《》（1938）
* 《为什么要社会主义？》（1949）
* 《罗素—爱因斯坦宣言》（1955）

 |
|  |
| 獎項 | 
* 阿尔伯特·爱因斯坦奖
* 阿爾伯特·愛因斯坦獎章
* 卡林加獎（英语：）
* 阿尔伯特·爱因斯坦和平奖
* 阿尔伯特·爱因斯坦世界科学奖
* 爱因斯坦奖（英语：）
* 爱因斯坦奖 (美国物理学会)

 |
|  |
| 家族 | 
* 波琳·科赫（母亲）
* 赫尔曼·爱因斯坦（父亲）
* 瑪雅·愛因斯坦（英语：）（妹妹）
* 米列娃·馬利奇（第一任妻子）
* 爱尔莎·爱因斯坦（第二任妻子及表姊）
* 麗瑟爾·愛因斯坦（英语：）（女兒）
* 汉斯·爱因斯坦（兒子）
* 愛德華·愛因斯坦（英语：）（兒子）
* 伯恩哈德·凯撒·爱因斯坦（孫子）
* 艾弗琳·爱因斯坦（養孫女）
* ·愛因斯坦（英语：）（表弟）
* 西格貝特·愛因斯坦（英语：）（遠房親戚）

 |
|  |
| 相關 | 
* 獎章與榮譽
* 爱因斯坦的大脑
* 美國故居（英语：）
* 雕像（英语：）
* 政治觀
* 宗教观
* 以阿爾伯特·愛因斯坦命名的事物（英语：）
* 阿爾伯特·愛因斯坦檔案館（英语：）
* 阿尔伯特·爱因斯坦广场
* 爱因斯坦论文项目
* 愛因斯坦冰箱（英语：）
* 瑞士故居（英语：）
* 锿
* 馬克斯·塔爾梅（英语：）
* 愛因斯坦黑板（英语：）
* 爱因斯坦十字
* 爱因斯坦水槽
* 爱因斯坦望远镜
* 阿尔伯特·爱因斯坦研究所
* 愛因斯坦-西拉德信件
* 愛因斯坦與中國
* 大眾文化（英语：）
	+ 《世紀天才》（第一季，2017）

 |
|  |
| 
* 分类 **分類**

 |

 |