史瓦西度規

史瓦西度規（Schwarzschild metric），又稱史瓦西幾何、史瓦西解，是卡爾·史瓦西於1915年針對廣義相對論的核心方程式——愛因斯坦場方程式——關於球狀物質分布的解。根據伯考夫定理（Birkhff`s theorem），史瓦西解可說是愛因斯坦方程式最一般的真空解。這樣的解又可被稱作史瓦西黑洞，他所對應的幾何是一個是靜止不旋轉、不帶電荷之黑洞。在物理上他可以對應任何球對稱星球外部的的時空幾何。因此常常用於近似於不同旋轉緩慢（遠小於光速）的天體的重力場，例如恆星、行星等。
在史瓦西解中，只有一個刻劃該解的參數，可以看成是史瓦西黑洞的質量。因此某方面來說，一個史瓦西黑洞只能用他的質量來區別，兩質量相等的史瓦西黑洞在物理上是完全一樣的。史瓦西解有個很重要的超曲面叫做事件視界，在事件視界內發生的事件無法被事件視界外的觀測者觀測到。它並非任何物理上實際存在的介面，事實上，如果有一觀測者通過事件視界，他不會感受到任何異狀。但是一旦通過事件視界，觀測者將無法回到黑洞外部。
此外史瓦西解另一個重要的特徵是它包含了奇異點。在奇異點時空的曲率發散，古典的廣義相對論並不適用在奇異點上，故實如何在物理上詮釋奇異點並不明確。可能需要一個可以考慮量子效應的量子重力理論才能給出好的解釋。任何通過事件視界的類時(time-like)的觀測者都會碰到奇異點。

歷史

如其名，卡爾·史瓦西是第一個發現史瓦西度規的人。該精確解發現於1915年底，旋即在1916年初發表，只比廣義相對論本身晚幾個月發表而已。不過史瓦西在發表論文後不久便死於在第一世界大戰服役所得的疾病。
Johannes Droste in 1916
史瓦西解是除了顯然的平空間解之外，第一個為世人所知的愛因斯坦方程式精確解。而在1916年，約翰內斯·德羅斯特以更簡單，更直接的方式獨立推導出了史瓦西解。
在廣義相對論發表之初，物理學家對史瓦西解，或其他解內的奇異點的意義不甚了解。事實上，在史瓦西的文章中，他將現今認為是事件視界的那點設為徑向座標的原點 ，而又在文章中引進了一個輔助座標，我們現今稱它為的史瓦西徑向座標，也就是上節公式中的座標。
一個更完整的分析在隔年由大衛·希爾伯特給出，並且指出了兩個可能的奇異點   和  。當時一般認為   為一個真正幾何上的奇異點，但是對於   的本質仍不清楚。
保羅·班勒衛和阿爾瓦·古爾斯特蘭德分別在1921和1922年獨立推導出愛因斯坦方程式球對稱的真空解，他們在 處並沒有奇異點。在那時他們並不了解這個解是史瓦西解在其他座標下的形式。事實上，他們還用此解說明廣義相對論是有缺失的。如今這個解被稱為古爾斯特蘭德-班勒衛座標(Gullstrand–Painlevé coordinates)，顯示他只是史瓦西解的一個座標形式而已。
在 1924年，亞瑟·愛丁頓構造出了第一個座標變換，使得史瓦西解在  處沒有奇異點，也就是愛丁頓-芬克斯坦座標(Eddington–Finkelstein coordinates)。但是他似乎沒有意識到這個發現重要性。隨後在1932年，喬治·勒梅特給出了另一個在 處沒有奇異點的座標(勒梅特座標，Lemaître coordinates)，並且意識到 處不是物理上真正的奇異點。而在1939年，霍華德·羅伯遜證明了一個自由墜落的觀測者，只會在有限的原時通過 處，雖然對一個在遠處的觀測者來說，需要耗費無限久的時間。
在1950年，約翰·辛格找出了整個史瓦西解的最大解析延拓形式，並且再次證明了 處奇異點只是個座標選擇造成的假象。之後類似的最大解析延拓解也獨立的被塞凱賴什·哲爾吉和馬丁·克魯斯卡爾發現。 而這座標如今被稱為克魯斯卡爾-塞凱賴什座標(Kruskal-Szekeres coordinates)。這個座標比辛格給出的座標還要簡單許多，但是兩者都是一套可以完整覆蓋所有史瓦西解的座標系統。話雖如此，可能是因為發表的期刊的關係，勒梅特和辛格的論文並沒有受到學界注意，使得眾多知名的物理學家，包括愛因斯坦，都認為在史瓦西半徑上的奇異點是實際存在的。
隨後到了1960年代，一些更高等的數學工具例如微分幾何進入了廣義相對論的研究後，才有更多的進展。利用微分幾何的概念，勞倫茲流形上的奇異點可以被精確的定義。而這讓整個史瓦西度規上的奇異點完全地的確立下來。 並且正式的證明了處只是一時空上的事件視界而已。

奇異點和事件視界

史瓦西度規在  和 處是散發的，表示他們可能是奇異點。一般而言，史瓦西解只能描述一個球對稱星體外部的時空結構， 因此如果星體半徑  的話就無任何問題。對於一般的恆星，這條件幾乎在所有的時候都會滿足。例如太陽的半經差不多有 70,0000  公里，但是他的史瓦西半徑大約只有三公里而已。
實際上， 處是一個事件視界，他將整個時空分成兩個區域。 史瓦西外部解( Exterior Schwarzschild solution)，也就是 的區域。它可以描述星體的外部結構。而史瓦西內部解 (Interior Schwarzschild solution) 則為  的區域。他們是兩個互不重疊的局部坐標系 (又稱為座標卡, coordinate chart)，並且可視為互相獨立的解。在 的地方並非是一個真實的奇異點。度規會發散是因為我們選了一個不恰當的座標系統，如果改用其他的座標系統，例如克魯斯卡爾-塞凱賴什座標，則在 處就不會發散。而使用這樣的座標系統則可以讓我們把史瓦西外部解延伸到史瓦西內部解。
史瓦西內部解是一個完全合法的愛因斯坦方程式解，但是他有許多有趣的性質。例如說，在內部裡面徑向座標  是類時的，而時間座標  是類空間的。也就是說，觀測者不可能維持在等徑向距離移動(  是常數)。事實上因為觀測者的未來光錐永遠指向  變小的方向，所以任何在這個區域的觀測者都終將會碰到  處(奇異點)。因此 處可以看成是一個界線，任何觀測者進入了這個界限之後將再也無法脫離黑洞，而任何在的觀測者也無法接受到來自  處的訊息。
相對於 處的事件視界，在  的地方是一個真正物理上的奇異點，又稱為重力奇異點(Gravitational singulartiy)。要證明他是真正的奇異點我們可以檢查幾個重要的座標不變量是否發散，例如柯瑞奇曼純量 (Kretschmann scalar)。而我們發現史瓦西度規的 柯瑞奇曼純量 是：
可以看得出來它在  處是發散的，因此這是一個真正的奇異點。愛因斯坦方程式無法描述此處的時空性質，物理學家也無法確定在在奇異點會發生甚麼事，或者它代表甚麼意義。一般相信需要一個完整的量子重力理論，或者一個考慮量子修效應的半古典重力才能解釋重力奇異點的現象。在過去物理學家認為有這樣一個有重力奇異點的解是沒有物理意義的。但是隨著人們對廣義相對論有更深入的了解之後，他們意識到了這種有重力奇異點的解是很一般的現象。史瓦西度規的奇異點不是一個特殊的例外。

其他座標系統

除了上述的用的史瓦西座標之外，史瓦西度規也可以用其他的座標系統表示。不同的座標系統強調史瓦西解不同的特性。以下列出幾個常見的座標系統。注意在這裡光速設為1，亦即，而
是二維球面(2-sphere)上的標準度規。

愛丁頓-芬克斯坦座標

它的形式有兩種，分別為向內型和向外型。向內的座標為：
而向外的座標為：
他們在史瓦西半徑都是解析的，其中向內型的座標延伸到未來事件視界，而向外型的座標延伸到過去事件視界。

各向同性座標

它的座標形式為：
其中 。它的光錐在等時間的切片上是同向的。

克魯斯卡爾-塞凱賴什座標

它的座標形式為：
其中  為  和  的函數，它滿足以下的隱式方程式：
此度規一樣在史瓦西半徑處是解析的，而且它是整個史瓦西解的最大解析延拓形式。

封閉軌道

對於一個在史瓦西黑洞自由運動的物體，在恰當的起始條件之下可能可以有封閉圓形軌道。這樣的軌道存不存在取決於物體離黑洞的距離。半徑為 的軌道是存在且穩定的。而半徑為介於和 之間的軌道存在，但是不穩定。而半徑小於的軌道是不存在的。在軌道半徑趨近於最小值時該物體的速度會趨近於光速。當然物體還是可以在擁有比還要小的軌道，但是此時必須對物體施加外力讓它不掉進黑洞裡。
對於非圓形的軌道，物體的運動也會和古典牛頓重力預測的有所不同：物體不再會是封閉的原軌跡。定性而言，物體在近日點附近的時間會相較於古典重力預測的比較長。而一個物體掉進黑洞永遠不會再出來可以看成是這個特性的極端情況。