查看“︁基灵矢量场”︁的源代码

{{noteTA
|G1=物理学
}}
'''基灵矢量场'''，'''基灵矢量'''或'''基灵矢量场'''（{{lang|en|Killing vector 或 Killing vector field}}），以[[德国]]数学家[[威尔海姆·基灵]]命名，是定义在[[黎曼流形]]或[[伪黎曼流形]]上的一组[[矢量场]]，[[流形]]的[[度规]]在这组矢量的方向上能够保持不变。基灵矢量是[[等距同构]]的无穷小生成元，即由基灵矢量场生成的[[流 (数学)|流]]包含有一种[[对称性 (物理学)|对称性]]，也就是说流形在基灵矢量场的方向上进行平移不会改变其上点与点之间的距离。一个简单的例子是一个圆周上具有相同长度并且指向顺时针方向的矢量场即是一个基灵矢量场，因为将圆周上的点沿这些方向平移等同于顺时针转动这个圆周而不改变彼此间的距离。

如果度量（度规）的系数<math>g_{\mu \nu} \,</math>在某个坐标基<math>dx^{a} \,</math>下与<math>x^{K}</math>无关，那么<math>x^{\mu} = \delta^{\mu}_{K} \,</math>自动是一个基灵向量，这里 <math>\delta^{\mu}_{K} \,</math>是[[克罗内克函数]]。例如，如果度量系数都不是时间的函数，流形一定自动有一个类时基灵向量。

基灵矢量在[[广义相对论]]中描述了时空几何的对称性，每一种对称性都与一个基灵矢量相关联。

==数学定义==
具体地，向量场''X''是一个基灵场，如果度量关于 ''X'' [[李导数]]为零：

:<math>\mathcal{L}_{X} g = 0 \,.</math>

用[[列维-奇维塔联络]]表示，即

:<math>g(\nabla_{Y} X, Z) + g(Y, \nabla_{Z} X) = 0 \,</math>

对所有的向量''Y''与''Z''。在[[局部坐标系]]中，这便是基灵方程：
:<math>\nabla_{\mu} X_{\nu} + \nabla_{\nu} X_{\mu} = 0 \,.</math>

该条件表示成共变形式，从而只要在一个特定的坐标系中成立就在所有坐标系下成立。

一个基灵场由其在一点的向量和其梯度（即这个场在该点的所有[[共变导数]]）决定。

两个基灵场的[[李括号]]仍然是一个基灵场。从而流形''M''上的基灵场组成了''M''上一个[[李代数]]。如果''M''紧或者[[完备]]这便是流形的[[等距同构群]]的李代数。

对[[紧空间|紧]]流形：
* 负[[里奇曲率张量|里奇曲率]]意味着不存在非[[平凡 (数学)|平凡]]基灵场。 
* 非正里奇曲率，意味着任何基灵场都是平行的，即沿着任何向量场的共变导数恒为零。
* 如果[[截面曲率]]为正且''M''维数为偶，一个基灵场一定有零点。

基灵向量场可以推广到共形基灵向量场，定义为：
:<math>\mathcal{L}_{X} g = \lambda g \,</math>
对某个纯量<math>\lambda\, </math>，一个单参数[[共形映射]]族的导数是共形基灵场。另一种推广是共形基灵张量场，是一个对称[[张量]]场''T''，使得<math>\nabla T \,</math>的对称化中与迹无关的部分为零。

== 广义时空几何中的对称性和守恒律 ==

{{See also|对称性 (物理学){{!}}对称性|诺特定理}}
在广义相对论中，基灵矢量与时空的对称性紧密联系。简单说来，当一个时空流形在特定变换下具有几何不变性时，我们称这种时空流形具有[[对称性 (物理学)|对称性]]；也就是说度规在这种变换下是保持形式不变的。一个[[张量场]]可能会具有多种不同的对称性，例如[[闵可夫斯基时空]]的平直度规在平移变换（包含四种基本对称操作）及[[洛伦兹变换]]（包含六种基本对称操作）下保持不变，即对于[[闵可夫斯基度规]]

:<math>ds^2 = \eta_{\mu\nu}dx^{\mu}dx^{\nu}\,</math>

所具有的两种对称性表示为

:<math>x^{\nu} \to x^{\nu} + a^{\nu}\,</math> （[[平移对称性]]）
:<math>x^{\nu} \to \Lambda^{\nu}_{\mu}x^{\nu}\,</math> （[[洛伦兹协变性|洛伦兹对称性]]）

从闵可夫斯基时空的平移对称性表示中我们可以看到，度规的系数<math>\eta_{\mu\nu}\,</math>（1或-1）和平移的坐标函数<math>x^{\nu}\,</math>无关。这个性质可以推广到一般度规<math>g_{\mu\nu}\,</math>下的平移对称性，即对于某些确定的坐标函数<math>x^{\sigma}\,</math>，如果<math>\partial_{\sigma}g_{\mu\nu} = 0\,</math>对所有的<math>\mu\,</math>和<math>\nu\,</math>成立，则度规在<math>x^{\sigma}\,</math>方向上具有平移对称性：

:<math>\partial_{\sigma}g_{\mu\nu} = 0 \qquad \Rightarrow \qquad x^{\sigma} \to x^{\sigma} + a^{\sigma}\,</math>

=== 平移对称性和动量守恒 ===

对[[类时]]的[[测地线]]而言，[[测地线方程]]可以写成[[动量]]的形式，即对于粒子的四维动量<math>p^{\mu} = mU^{\mu}\,</math>，测地线方程为

:<math>p^{\lambda}\nabla_{\lambda}p^{\mu} = 0</math>

其中<math>p^{\lambda}\,</math>的上标可以降为下标而方程保持形式不变，根据[[协变导数]]的定义方程等价于

:<math>p^{\lambda}\partial_{\lambda}p_{\mu} - \Gamma^{\sigma}_{\lambda \mu}p^{\lambda}p_{\sigma} = 0\,</math>

左边第一项的含义是动量如何沿测地线变化：

:<math>p^{\lambda}\partial_{\lambda}p_{\mu} = m\frac{dx^{\lambda}}{d\tau}\partial_{\lambda}p_{\mu} = m\frac{dp_{\mu}}{d\tau}\,</math>

而第二项可以化为如下形式：

:<math>
\begin{align}
\Gamma^{\sigma}_{\lambda \mu}p^{\lambda}p_{\sigma} & = \frac{1}{2}g^{\sigma\nu} \left( \partial_{\lambda}g_{\mu\nu} + \partial_{\mu}g_{\nu\lambda} - \partial_{\nu}g_{\lambda\mu} \right) p^{\lambda}p_{\sigma}\\
& = \frac{1}{2}\left( \partial_{\lambda}g_{\mu\nu} + \partial_{\mu}g_{\nu\lambda} - \partial_{\nu}g_{\lambda\mu} \right) p^{\lambda}p^{\nu}\\
& = \frac{1}{2}\left( \partial_{\mu}g_{\nu\lambda} \right) p^{\lambda}p^{\nu}
\end{align}
</math>

其中第二步到第三步是用了<math>p^{\lambda}p^{\nu}\,</math>的对称性，从而对称的两项可以消去。综合上面的结果我们得到

:<math>m\frac{dp_{\mu}}{d\tau} = \frac{1}{2}\left( \partial_{\mu}g_{\nu\lambda} \right) p^{\lambda}p^{\nu}\,</math>

从这个方程我们可知，对于度规<math>g_{\nu\lambda}\,</math>若在坐标方向<math>\mu\,</math>上偏导数为零，则沿坐标方向<math>\mu\,</math>的动量<math>p^{\mu}\,</math>不随时间变化，即动量分量<math>p^{\mu}\,</math>是一个守恒量，即

:<math>\partial_{\sigma}g_{\mu\nu} = 0 \qquad \Rightarrow \qquad \frac{dp_{\sigma}}{d\tau} = 0 \,</math>

这个守恒律虽然是从类时的测地线得到的，它对所有的测地线都成立。

== 基灵矢量 ==

我们在上节中看到，当度规与坐标的某一个分量无关时，度规在这个分量上则具有平移对称性。现在从这个事实出发将其写成协变的形式，即当一个一般的度规<math>g_{\mu\nu}\,</math>与某一坐标分量<math>x^{\sigma}\,</math>无关时，定义矢量<math>\partial_{\sigma}\,</math>将其标记为<math>\boldsymbol{K}\,</math>：

:<math>\boldsymbol{K} = \partial_{\sigma}\,</math>

推导中一般写成分量的形式：

:<math>{K}^{\mu} = \left( \partial_{\sigma} \right)^{\mu} = \delta^{\mu}_{\sigma}\,</math>

这里我们称<math>{K}^{\mu}</math>是度规对称性的生成矢量，即在这个矢量的方向上的无穷小变换操作下坐标保持不变。在这个矢量的作用下，守恒量可以写成协变的形式，例如

:<math>p_{\sigma} = {K}^{\nu} p_{\nu}\,</math>

从前文的推导我们已知，若<math>p^{\mu}\,</math>是沿测地线的（标量）守恒量，则它沿测地线的[[方向导数]]为零，用生成矢量的形式写出来则得到

:<math>\frac{dp_{\sigma}}{d\tau} = 0 \qquad \Leftrightarrow \qquad p^{\mu}\nabla_{\mu} \left({K}_{\nu} p^{\nu} \right) = 0 \,</math>

将右面的式子作展开得到

:<math>
\begin{align}
p^{\mu}\nabla_{\mu} \left({K}_{\nu} p^{\nu} \right) & = p^{\mu}\nabla_{\mu} {K}_{\nu} p^{\nu} + p^{\mu}p^{\nu}\nabla_{\mu}K_{\nu}\\
& = p^{\mu}p^{\nu}\nabla_{\mu}K_{\nu} \\
& = p^{\mu}p^{\nu}\nabla_{( \mu}K_{\nu)}
\end{align}
</math>

从第一步到第二步中第一项消去的原因是测地线方程，而第二步到第三步是由于<math>\mu\,</math>和<math>\nu\,</math>的对称性。

由此可得到结论：对于任何满足方程<math>\nabla_{( \mu}K_{\nu)} = 0\,</math>的矢量<math>K_{\nu}\,</math>，都对应着沿测地线的守恒量<math>K_{\nu}p^{\nu}\,</math>：

:<math>\nabla_{( \mu}K_{\nu)} = 0 \qquad \Rightarrow \qquad p^{\mu}\nabla_{\mu} \left({K}_{\nu} p^{\nu} \right) = 0\,</math>

左面的方程<math>\nabla_{( \mu}K_{\nu)} = 0\,</math>叫做基灵方程，而满足这个方程的矢量场<math>K_{\nu}\,</math>叫做基灵矢量场或直接称作基灵矢量。基灵矢量的形式与度规的坐标选取有关，虽然上文的推导过程中基灵矢量的形式是<math>\boldsymbol{K} = \partial_{\sigma}\,</math>，这是由选取坐标系的特殊性决定的，在其他一般化的坐标系选取下它会具有不同的形式；但无论如何却总能找到一个特定的坐标系使对应的基灵矢量满足如<math>\boldsymbol{K} = \partial_{\sigma}\,</math>的形式。

从基灵矢量的概念可进一步推广到基灵张量，即满足方程

:<math>\nabla_{( \mu}K_{\nu_1 \nu_2 ... \nu_l)} = 0\,</math>

的<math>l\,</math>阶张量<math>K_{\nu_1 \nu_2 ... \nu_l}\,</math>对应有守恒量<math>{K}_{\nu_1 \nu_2 ... \nu_l} p^{\nu_1 \nu_2 ... \nu_l}\,</math>

:<math>p^{\mu}\nabla_{\mu} \left({K}_{\nu_1 \nu_2 ... \nu_l} p^{\nu_1 \nu_2 ... \nu_l} \right) = 0\,</math>

度规本身就是一个基灵张量，在[[膨胀宇宙模型]]中，[[弗里德曼-勒梅特-罗伯逊-沃尔克度规]]也具有类时的基灵张量。

=== 性质 ===
基灵矢量的[[协变导数]]与[[黎曼张量]]直接联系，彼此关系为

:<math>\nabla_{\mu}\nabla_{\sigma}K^{\rho} = R^{\rho}_{\sigma\mu\nu}K^{\nu}\,</math>

与[[里奇张量]]的关系为

:<math>\nabla_{\mu}\nabla_{\sigma}K^{\mu} = R_{\sigma\nu}K^{\nu}\,</math>

从这两个关系、[[比安基恒等式]]以及基灵方程可推出[[里奇标量]]在沿基灵矢量场的方向导数为零，这是其度规在这些方向上具有几何不变性的体现：

:<math>K^{\lambda}\nabla_{\lambda}R = 0\,</math>

=== 类时的基灵矢量 ===

{{See also|柯玛质量}}

动量守恒是空间平移不变性的体现，而能量守恒则是时间平移不变性的体现。借助于一个类时的基灵矢量我们能够定义一个全部时空的守恒能量：从基灵矢量<math>K_{\nu}\,</math>和能量-动量张量<math>T_{\mu\nu}\,</math>能够定义一个流

:<math>J^{\mu} = K_{\nu}T^{\mu\nu}\,</math>

这个流是一个守恒量：

:<math>\nabla_{\mu}J^{\mu} = \left( \nabla_{\mu}K_{\nu} \right) T^{\mu\nu} + K_{\nu} \left( \nabla_{\mu} T^{\mu\nu} \right) = 0\,</math>

第一项为零是由于基灵方程，而第二项为零是由于<math>T_{\mu\nu}\,</math>的守恒。

当<math>K_{\nu}\,</math>是一个类时的基灵矢量时，可以通过对这个守恒流在整个[[类空]]的[[超平面]]<math>\Sigma\,</math>内积分从而定义时空中的总能量：

:<math>E = \int_{\Sigma} J^{\mu}n_{\mu}\sqrt{\gamma}\,d^3x\,</math>

其中<math>\gamma_{ij}\,</math>是超平面<math>\Sigma\,</math>的[[诱导度规]]，而<math>n_{\mu}\,</math>是其法向矢量。这实际是广义相对论中[[柯玛质量]]的定义，在膨胀宇宙模型中时空中的总能量一般并不是守恒的，这与膨胀宇宙的度规是时间的函数有关。如果存在一个类时的基灵矢量，则度规与时间无关，从而存在一个守恒的能量定义。

== 参考资料 ==

*{{lang|en|{{cite book | language = en| author= Sean M. Carroll| title= Spacetime and Geometry: An Introduction to General Relativity (Hardcover)|year = 2003 | publisher= Benjamin Cummings| isbn= 978-0805387322}}}}
* {{lang|en|{{cite book | language = en| author=Jost, Jurgen| title= Riemannian Geometry and Geometric Analysis| location=Berlin | publisher=Springer-Verlag | year=2002 | id=ISBN 3-540-42627-2}}. }}

* {{lang|en|{{cite book | language = en| author=Adler, Ronald; Bazin, Maurice & Schiffer, Menahem| title= Introduction to General Relativity (Second Edition)| location=New York | publisher=McGraw-Hill | year=1975 | id=ISBN 0-07-000423-4}}}} 见第三章和第九章

* {{lang|en|{{cite book | language = en| title=Gravitation | last = Misner, Thorne, Wheeler | date=1973 | publisher = W H Freeman and Company| id=ISBN 0-7167-0344-0}}}}

[[Category:黎曼几何|J]]
[[Category:广义相对论|J]]
[[Category:李代數|J]]