克鲁斯卡尔坐标系(或称作克鲁斯卡尔-塞凯赖什坐标系,英文Kruskal coordinates或Kruskal-Szekeres coordinates)是在史瓦西度规下建立的一种坐标系,名称来自于美国数学物理学家马丁·克鲁斯卡尔(Martin Kruskal)和匈牙利-澳大利亚数学家乔治·塞凯赖什。这种坐标系的优点在于它能够涵盖整个时空流形,使得奇点之外的所有点在坐标系中都存在定义,也就是说它能够将原有的在球坐标系下的史瓦西度规最大限度地推广到整个时空中。
图1——Kruskal坐标 考虑在球坐标系下的史瓦西度规
![{\displaystyle ds^{2}=-\left(1-{\frac {2GM}{r}}\right)dt^{2}+\left(1-{\frac {2GM}{r}}\right)^{-1}dr^{2}+r^{2}d\Omega ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e08fe3637e9b4066320a12672ff519c0c7c2e48)
其中
![{\displaystyle d\Omega ^{2}\ {\stackrel {\mathrm {def} }{=}}\ d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bc97fc9d1b7b0a81330a048c7dc6deb236579e6)
是二维球面
的线元。
将时间坐标
和径向坐标
做如下代换:
- 对于视界外部
的区域,
![{\displaystyle T=\left({\frac {r}{2GM}}-1\right)^{1/2}e^{r/4GM}\sinh \left({\frac {t}{4GM}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f805e0ca1bd6dd0d7cfd8ffeb8fbe61532da8b)
![{\displaystyle R=\left({\frac {r}{2GM}}-1\right)^{1/2}e^{r/4GM}\cosh \left({\frac {t}{4GM}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff82abf4ada55b666b9564fe4510d20864d55591)
- 对于视界内部
的区域,
![{\displaystyle T=\left(1-{\frac {r}{2GM}}\right)^{1/2}e^{r/4GM}\cosh \left({\frac {t}{4GM}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30a8b213e5116aa7a61431760bd6a6f4cd6cf285)
![{\displaystyle R=\left(1-{\frac {r}{2GM}}\right)^{1/2}e^{r/4GM}\sinh \left({\frac {t}{4GM}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dc02983c323f3918b8cba66b1eabbf2d7e618e6)
在这些坐标下,史瓦西度规由下式给出:
![{\displaystyle ds^{2}={\frac {32G^{3}M^{3}}{r}}e^{-r/2GM}(-dT^{2}+dR^{2})+r^{2}d\Omega ^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f868f6478f6bbd6e41b63fb77d1eab0e95fd5127)
其中
的定义被隐含在
![{\displaystyle T^{2}-R^{2}=\left(1-{\frac {r}{2GM}}\right)e^{r/2GM}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b9ef2754cd71d2a9be4ffcc5a81c08837824e52)
或等价于
![{\displaystyle {\frac {r}{2GM}}=1+W\left({\frac {R^{2}-T^{2}}{e}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38d32324471c24b7f8e5497940eeb16bf432a3e3)
其中
是朗伯W函数。
这组由
构成的坐标系称作Kruskal坐标系,有时也称作Kruskal-Szekeres坐标系。
图2——蓝色的双曲线族表示径向坐标
为常数的面 史瓦西黑洞的视界位于
,此时
![{\displaystyle T^{2}-R^{2}=\left(1-{\frac {r}{2GM}}\right)e^{r/2GM}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b9ef2754cd71d2a9be4ffcc5a81c08837824e52)
的右面为零,从而有
![{\displaystyle T=\pm R\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9a7da0750bb8060f3ac9976753a32ea0ea5fff8)
即史瓦西黑洞的视界在T-R平面上是两条45°的对角线。
对于一般的常数
,可以得到
![{\displaystyle T^{2}-R^{2}={\text{constant}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d16455353e1c7012898e4c275f7b3da0215d69bb)
即它们是T-R平面上的一组双曲线。
对于一般的常数
,
![{\displaystyle {\frac {T}{R}}=\tanh \left({\frac {t}{4GM}}\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eae0228e68cb51d3f298f0c49af32d6e0f52f89b)
它们是通过原点的斜率为
的直线。注意到当
时
,从而等价于
的情形。这表明
和
描述的是同一个面。
如果像上节所述那样将时空图画到T-R平面上就得到了像右面图1所示的Kruskal图。Kruskal图上的每一点都代表了一个二维球面。从图中可以看到:
- 径向坐标
可以从正无穷大连续变化到零,中间经过视界
。这个连续变化对应着图2中蓝色的双曲线族,其中经过R轴的双曲线对应着
的情形,经过T轴的双曲线对应着
的情形,双曲线的两条渐近线对应着
的视界。
对应着黑洞的奇点,而在那以外的部分(图2中的灰色区域)时间和空间坐标都没有定义。 - 时间坐标
可以从负无穷大连续变化到正无穷大,其范围涵盖了两条渐近线(两条45°的对角线)所夹的包含R轴的部分,即在这范围内通过原点的所有直线。R轴对应着时间坐标
的直线。 - 在Kruskal坐标下,R具有从负无穷大到正无穷大的连续定义,T也一样,但两者在灰色区域仍然没有定义。
图3——最大延伸的史瓦西解所包含的四个不同时空 对于球坐标系下的史瓦西解而言,存在物理意义的径向坐标的范围是
,且
;但从上节我们已经看到在Kruskal坐标系中,在避免撞上奇点
的前提下所允许的R的范围是从负无穷大到正无穷大,并且
。在Kruskal图中所描述的史瓦西解被称作最大延伸的史瓦西解(Maximally Extended Schwarzchild Solution),从图3中可以看到它包含有通过视界
分割的四个不同的时空:
I | 我们的宇宙 | 且 ![{\displaystyle R>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57914127d03a5cea02c60a32cfbb22f34904f00d) | |
II | 黑洞视界内部 | 且 ![{\displaystyle T>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e39e90b9e1e7d5be3b5eae57729dc63494bbe3fd) | |
III | 白洞视界内部 | 且 ![{\displaystyle T<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e30cc1e53d8bb2fc4919724a1375652b8f6961) | |
IV | 镜像宇宙 | 且 ![{\displaystyle R<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94dd6dbcf8c9bace9750a111d92dce99289e75b5) | |
- 区域I——史瓦西几何中
的时空,也就是黑洞视界以外,我们的渐进平直时空。 - 区域II——史瓦西几何中
的时空,也就是史瓦西黑洞的内部。任何从区域I经过视界
到达区域II的物体都无法返回区域I,并且它们的最终命运都是撞上奇点
。 - 区域III——史瓦西几何中
区域的时间反演,也就是说物体可以从区域III经过视界到达区域I,但它们都无法返回区域III。这就是理论上一个白洞的物理概念:白洞具有一个类似于宇宙大爆炸那样的过去的奇点,同时具有过去的视界(相对于区域II中未来的奇点和未来的视界)。 - 区域IV——同样作为
的渐近平直时空,却不能通过时间流逝或反演从区域I到达区域IV,或者反过来从区域IV到达区域I,这是我们宇宙的一个镜像。在理论上,能够在这两个宇宙间建立联系的方法是虫洞(爱因斯坦-罗森桥)。假设将Kruskal图上所描述的时空以T为常数切成多个类空的表面,则在史瓦西几何中能够在短时间内存在一个连接两个渐进平直时空的虫洞。但在理论上,这个虫洞的敞开时间太短以至于任何类时的观察者都无法通过虫洞到达镜像时空中。
- Misner, Thorne, Wheeler. Gravitation. W H Freeman and Company. 1973. ISBN 0-7167-0344-0 (英语). 第32.6节
- Sean M. Carroll. Spacetime and Geometry: An Introduction to General Relativity (Hardcover). Benjamin Cummings. 2003. ISBN 978-0805387322 (英语). 第5.7节