克魯斯卡爾坐標系

克魯斯卡爾坐標系（或稱作克魯斯卡爾-塞凱賴什坐標系，英文Kruskal coordinates或Kruskal-Szekeres coordinates）是在史瓦西度規下建立的一種坐標系，名稱來自於美國數學物理學家馬丁·克魯斯卡爾（Martin Kruskal）和匈牙利-澳大利亞數學家喬治·塞凱賴什。這種坐標系的優點在於它能夠涵蓋整個時空流形，使得奇異點之外的所有點在坐標系中都存在定義，也就是說它能夠將原有的在球坐標系下的史瓦西度規最大限度地推廣到整個時空中。

定義

圖1——Kruskal坐標

考慮在球坐標系下的史瓦西度規

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

其中

d\Omega ^{2}\ {\stackrel {\mathrm {def} }{=}}\ d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}

是二維球面 $S^{2}\,$ 的線元。

將時間坐標 $t\,$ 和徑向坐標 $r\,$ 做如下代換：

對於視界外部 $r>2GM$ 的區域，

T=\left({\frac {r}{2GM}}-1\right)^{1/2}e^{r/4GM}\sinh \left({\frac {t}{4GM}}\right)

R=\left({\frac {r}{2GM}}-1\right)^{1/2}e^{r/4GM}\cosh \left({\frac {t}{4GM}}\right)

對於視界內部 $0<r<2GM$ 的區域，

T=\left(1-{\frac {r}{2GM}}\right)^{1/2}e^{r/4GM}\cosh \left({\frac {t}{4GM}}\right)

R=\left(1-{\frac {r}{2GM}}\right)^{1/2}e^{r/4GM}\sinh \left({\frac {t}{4GM}}\right)

在這些坐標下，史瓦西度規由下式給出：

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

其中 $r\,$ 的定義被隱含在

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

或等價於

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

其中 $W\,$ 是朗伯W函數。

這組由 $\left(T,R,\theta ,\phi \right)\,$ 構成的坐標系稱作Kruskal坐標系，有時也稱作Kruskal-Szekeres坐標系。

Kruskal圖

Kruskal坐標的性質

圖2——藍色的雙曲線族表示徑向坐標

r\,

為常數的面

史瓦西黑洞的視界位於 $r=2GM\,$ ，此時

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

的右面為零，從而有

T=\pm R\,

即史瓦西黑洞的視界在T-R平面上是兩條45°的對角線。

對於一般的常數 $r\,$ ，可以得到

T^{2}-R^{2}={\text{constant}}\,

即它們是T-R平面上的一組雙曲線。

對於一般的常數 $t\,$ ，

{\frac {T}{R}}=\tanh \left({\frac {t}{4GM}}\right)\,

它們是通過原點的斜率為 $\tanh(t/4GM)\,$ 的直線。注意到當 $t\rightarrow \pm \infty \,$ 時 $\tanh(t/4GM)=\pm 1\,$ ，從而等價於 $T^{2}-R^{2}=0,$ 的情形。這表明 $t=\pm \infty \,$ 和 $r=2GM\,$ 描述的是同一個面。

Kruskal圖

如果像上節所述那樣將時空圖畫到T-R平面上就得到了像右面圖1所示的Kruskal圖。Kruskal圖上的每一點都代表了一個二維球面。從圖中可以看到：

徑向坐標 $r\,$ 可以從正無窮大連續變化到零，中間經過視界 $r=2GM\,$ 。這個連續變化對應著圖2中藍色的雙曲線族，其中經過R軸的雙曲線對應著 $r>2GM\,$ 的情形，經過T軸的雙曲線對應著 $r<2GM\,$ 的情形，雙曲線的兩條漸近線對應著 $r=2GM\,$ 的視界。 $r=0\,$ 對應著黑洞的奇異點，而在那以外的部分（圖2中的灰色區域）時間和空間坐標都沒有定義。
時間坐標 $t\,$ 可以從負無窮大連續變化到正無窮大，其範圍涵蓋了兩條漸近線（兩條45°的對角線）所夾的包含R軸的部分，即在這範圍內通過原點的所有直線。R軸對應著時間坐標 $t=0\,$ 的直線。
在Kruskal坐標下，R具有從負無窮大到正無窮大的連續定義，T也一樣，但兩者在灰色區域仍然沒有定義。

最大延伸的史瓦西解

圖3——最大延伸的史瓦西解所包含的四個不同時空

對於球坐標系下的史瓦西解而言，存在物理意義的徑向坐標的範圍是 $0<r<\infty \,$ ，且 $r\neq 2GM\,$ ；但從上節我們已經看到在Kruskal坐標系中，在避免撞上奇異點 $r=0\,$ 的前提下所允許的R的範圍是從負無窮大到正無窮大，並且 $T^{2}-R^{2}<1\,$ 。在Kruskal圖中所描述的史瓦西解被稱作最大延伸的史瓦西解（Maximally Extended Schwarzchild Solution），從圖3中可以看到它包含有通過視界 $r=2GM\,$ 分割的四個不同的時空：

I	我們的宇宙	$T^{2}-R^{2}<0$ 且 $R>0$	$2GM<r$
II	黑洞視界內部	$0<T^{2}-R^{2}<1$ 且 $T>0$	$0<r<2GM$
III	白洞視界內部	$0<T^{2}-R^{2}<1$ 且 $T<0$	$0<r<2GM$
IV	鏡像宇宙	$T^{2}-R^{2}<0$ 且 $R<0$	$2GM<r$

區域I——史瓦西幾何中 $r>2GM\,$ 的時空，也就是黑洞視界以外，我們的漸進平直時空。
區域II——史瓦西幾何中 $r<2GM\,$ 的時空，也就是史瓦西黑洞的內部。任何從區域I經過視界 $r=2GM\,$ 到達區域II的物體都無法返回區域I，並且它們的最終命運都是撞上奇異點 $r=0\,$ 。
區域III——史瓦西幾何中 $r<2GM\,$ 區域的時間反演，也就是說物體可以從區域III經過視界到達區域I，但它們都無法返回區域III。這就是理論上一個白洞的物理概念：白洞具有一個類似於宇宙大爆炸那樣的過去的奇異點，同時具有過去的視界（相對於區域II中未來的奇異點和未來的視界）。
區域IV——同樣作為 $r>2GM\,$ 的漸近平直時空，卻不能通過時間流逝或反演從區域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節