Kruskal-Szekeres_coordinates

**克魯斯卡爾坐標系**（或稱作**克魯斯卡爾 - 塞凱賴什坐標系**，英文 **Kruskal coordinates** 或 **Kruskal-Szekeres coordinates**）是在史瓦西度規下建立的一種坐標系，名稱來自於美國數學物理學家馬丁・克魯斯卡爾（Martin 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 坐標的性質

史瓦西黑洞的視界位於 $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 也一樣，但兩者在灰色區域仍然沒有定義。

## 最大延伸的史瓦西解

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

* 區域 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 節