查看“︁克鲁斯卡尔坐标系”︁的源代码

{{noteTA
|G1=物理学
}}

'''克鲁斯卡尔坐标系'''（或称作'''克鲁斯卡尔-塞凯赖什坐标系'''，英文'''{{lang|en|Kruskal coordinates}}'''或'''{{lang|en|Kruskal-Szekeres coordinates}}'''）是在[[史瓦西度规]]下建立的一种[[坐标系]]，名称来自于[[美国]]数学物理学家[[马丁·克鲁斯卡尔]]（{{lang|en|Martin Kruskal}}）和[[匈牙利]]-[[澳大利亚]]数学家[[乔治·塞凯赖什]]。这种坐标系的优点在于它能够涵盖整个[[时空]][[流形]]，使得[[奇点 (几何)|奇点]]之外的所有点在坐标系中都存在定义，也就是说它能够将原有的在[[球坐标系]]下的史瓦西度规最大限度地推广到整个时空中。

== 定义 ==
[[File:KruskalKoords.jpg|thumb|right|300px|图1——{{lang|en|Kruskal}}坐标]]

考虑在球坐标系下的[[史瓦西度规]]

:<math>ds^{2} = -\left(1-\frac{2GM}{r} \right) dt^2 + \left(1-\frac{2GM}{r}\right)^{-1}dr^2+ r^2 d\Omega^2</math>

其中

:<math>d\Omega^2\ \stackrel{\mathrm{def}}{=}\  d\theta^2+\sin^2\theta\,d\phi^2</math>

是二维球面<math>S^2\,</math>的线元。

将时间坐标<math>t\,</math>和径向坐标<math>r\,</math>做如下代换：

*对于[[视界]]外部<math>r>2GM</math>的区域，
:<math>T = \left(\frac{r}{2GM} - 1\right)^{1/2}e^{r/4GM}\sinh\left(\frac{t}{4GM}\right)</math>
:<math>R = \left(\frac{r}{2GM} - 1\right)^{1/2}e^{r/4GM}\cosh\left(\frac{t}{4GM}\right)</math>

*对于视界内部<math>0<r<2GM</math>的区域，
:<math>T = \left(1 - \frac{r}{2GM}\right)^{1/2}e^{r/4GM}\cosh\left(\frac{t}{4GM}\right)</math>
:<math>R = \left(1 - \frac{r}{2GM}\right)^{1/2}e^{r/4GM}\sinh\left(\frac{t}{4GM}\right)</math>

在这些坐标下，史瓦西度规由下式给出：

:<math>ds^{2} = \frac{32G^3M^3}{r}e^{-r/2GM}(-dT^2 + dR^2) + r^2 d\Omega^2,</math>

其中<math>r\,</math>的定义被隐含在

:<math>T^2 - R^2 = \left(1-\frac{r}{2GM}\right)e^{r/2GM}</math>

或等价于

:<math>\frac{r}{2GM} = 1 + W \left( \frac{R^2 - T^2}{e} \right)</math>

其中<math>W\,</math>是[[朗伯W函数]]。

这组由<math>\left( T, R, \theta, \phi \right)\,</math>构成的坐标系称作{{lang|en|Kruskal}}坐标系，有时也称作{{lang|en|Kruskal-Szekeres}}坐标系。

== {{lang|en|Kruskal}}图 ==
=== {{lang|en|Kruskal}}坐标的性质 ===
[[File:KruskalKoords.gif|thumb|right|300px|图2——蓝色的双曲线族表示径向坐标<math>r\,</math>为常数的面]]

史瓦西[[黑洞]]的视界位于<math>r = 2GM\,</math>，此时

:<math>T^2 - R^2 = \left(1-\frac{r}{2GM}\right)e^{r/2GM}</math>

的右面为零，从而有

:<math>T = \pm R\,</math>

即史瓦西黑洞的视界在{{lang|en|T-R}}平面上是两条45°的对角线。

对于一般的常数<math>r\,</math>，可以得到

:<math>T^2 - R^2 = \text{constant}\,</math>

即它们是{{lang|en|T-R}}平面上的一组[[双曲线]]。

对于一般的常数<math>t\,</math>，

:<math>\frac{T}{R} = \tanh \left( \frac{t}{4GM} \right)\,</math>

它们是通过原点的斜率为<math>\tanh(t/4GM)\,</math>的直线。注意到当<math>t \rightarrow \pm \infty\,</math>时<math>\tanh(t/4GM) = \pm 1\,</math>，从而等价于<math>T^2 - R^2 = 0,</math>的情形。这表明<math>t = \pm \infty\,</math>和<math>r = 2GM\,</math>描述的是同一个面。

=== {{lang|en|Kruskal}}图 ===
如果像上节所述那样将时空图画到{{lang|en|T-R}}平面上就得到了像右面图1所示的{{lang|en|Kruskal}}图。{{lang|en|Kruskal}}图上的每一点都代表了一个二维球面。从图中可以看到：

*径向坐标<math>r\,</math>可以从正无穷大连续变化到零，中间经过视界<math>r = 2GM\,</math>。这个连续变化对应着图2中蓝色的双曲线族，其中经过{{lang|en|R}}轴的双曲线对应着<math>r > 2GM\,</math>的情形，经过{{lang|en|T}}轴的双曲线对应着<math>r < 2GM\,</math>的情形，双曲线的两条[[渐近线]]对应着<math>r = 2GM\,</math>的视界。<math>r=0\,</math>对应着黑洞的奇点，而在那以外的部分（图2中的灰色区域）时间和空间坐标都没有定义。
*时间坐标<math>t\,</math>可以从负无穷大连续变化到正无穷大，其范围涵盖了两条渐近线（两条45°的对角线）所夹的包含{{lang|en|R}}轴的部分，即在这范围内通过原点的所有直线。{{lang|en|R}}轴对应着时间坐标<math>t=0\,</math>的直线。
*在{{lang|en|Kruskal}}坐标下，{{lang|en|R}}具有从负无穷大到正无穷大的连续定义，{{lang|en|T}}也一样，但两者在灰色区域仍然没有定义。

== 最大延伸的史瓦西解 ==
[[File:KruskalUniverse.png|thumb|right|300px|图3——最大延伸的史瓦西解所包含的四个不同时空]]

对于球坐标系下的史瓦西解而言，存在物理意义的径向坐标的范围是<math>0<r<\infty\,</math>，且<math>r\ne 2GM\,</math>；但从上节我们已经看到在{{lang|en|Kruskal}}坐标系中，在避免撞上奇点<math>r=0\,</math>的前提下所允许的{{lang|en|R}}的范围是从负无穷大到正无穷大，并且<math>T^2 - R^2 < 1\,</math>。在{{lang|en|Kruskal}}图中所描述的史瓦西解被称作最大延伸的史瓦西解（{{lang|en|Maximally Extended Schwarzchild Solution}}），从图3中可以看到它包含有通过视界<math>r=2GM\,</math>分割的四个不同的时空：

{| class="wikitable" style="margin: auto"
|-
! I
| 我们的宇宙 || <math>T^2 - R^2 < 0</math> 且 <math>R > 0</math> || <math>2GM < r</math>
|-
! II
| 黑洞视界内部 || <math>0 < T^2 - R^2 < 1</math> 且 <math>T > 0</math> || <math>0 < r < 2GM</math>
|-
! III
| [[白洞]]视界内部 || <math>0 < T^2 - R^2 < 1</math> 且 <math>T < 0</math> || <math>0 < r < 2GM</math>
|-
! IV
| 镜像宇宙 || <math>T^2 - R^2 < 0</math> 且 <math>R < 0</math> || <math>2GM < r</math>

|}

*区域{{lang|en|I}}——史瓦西几何中<math>r>2GM\,</math>的时空，也就是黑洞视界以外，我们的渐进平直时空。
*区域{{lang|en|II}}——史瓦西几何中<math>r<2GM\,</math>的时空，也就是史瓦西黑洞的内部。任何从区域{{lang|en|I}}经过视界<math>r=2GM\,</math>到达区域{{lang|en|II}}的物体都无法返回区域{{lang|en|I}}，并且它们的最终命运都是撞上奇点<math>r=0\,</math>。
*区域{{lang|en|III}}——史瓦西几何中<math>r<2GM\,</math>区域的时间反演，也就是说物体可以从区域{{lang|en|III}}经过视界到达区域{{lang|en|I}}，但它们都无法返回区域{{lang|en|III}}。这就是理论上一个白洞的物理概念：白洞具有一个类似于宇宙大爆炸那样的过去的奇点，同时具有过去的视界（相对于区域{{lang|en|II}}中未来的奇点和未来的视界）。
*区域{{lang|en|IV}}——同样作为<math>r>2GM\,</math>的渐近平直时空，却不能通过时间流逝或反演从区域{{lang|en|I}}到达区域{{lang|en|IV}}，或者反过来从区域{{lang|en|IV}}到达区域{{lang|en|I}}，这是我们宇宙的一个镜像。在理论上，能够在这两个宇宙间建立联系的方法是[[虫洞]]（爱因斯坦-罗森桥）。假设将{{lang|en|Kruskal}}图上所描述的时空以{{lang|en|T}}为常数切成多个类空的表面，则在史瓦西几何中能够在短时间内存在一个连接两个渐进平直时空的虫洞。但在理论上，这个虫洞的敞开时间太短以至于任何类时的观察者都无法通过虫洞到达镜像时空中。

== 参见 ==
*[[史瓦西度规]]
*[[彭罗斯图]]

== 参考文献 ==
* {{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}}}} 第32.6节
*{{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}}}} 第5.7节

[[Category: 广义相对论]]
[[Category:坐标系]]