查看“︁史瓦西度規”︁的源代码

{{noteTA|G1=物理學}}

'''史瓦西度規'''（{{lang|en|'''Schwarzschild metric'''}}），又稱史瓦西幾何、史瓦西解，是[[卡爾·史瓦西]]於1915年針對[[广义相对论]]的核心方程——[[愛因斯坦場方程式]]——关于球状物质分布的解。根據[[伯考夫定理]]（Birkhoff's theorem），史瓦西解可說是愛因斯坦方程最一般的球對稱真空解。這樣的解又可被稱作'''史瓦西黑洞'''，此種幾何對應一個靜止不旋轉、不帶[[電荷]]之[[黑洞]]。在物理上它可以對應任何[[圓對稱|球對稱]]星球外部的時空幾何。因此常常用於近似於不同旋轉緩慢（遠小於[[光速]]）的[[天體]]的重力場，例如[[恆星]]、[[行星]]等。

在史瓦西解中，只有一個刻劃該解的參數，可以看成是史瓦西黑洞的[[质量|質量]]。因此某方面來說，一個史瓦西黑洞只能用他的質量來區別，兩質量相等的史瓦西黑洞在物理上是完全一樣的。史瓦西解有個很重要的[[超曲面]]叫做[[事件視界]]，在事件視界內發生的事件無法被事件視界外的觀測者觀測到。它並非任何物理上實際存在的介面，事實上，如果有一觀測者通過事件視界，他不會感受到任何異狀。但是一旦通過事件視界，觀測者將無法回到黑洞外部。視界的大小由[[史瓦西半徑]]描述，質量為<math>M</math>的黑洞，史瓦西半徑為
:<math>r= 2MG/c^2 .</math>

此外史瓦西解另一個重要的特徵是它包含了[[引力奇点|奇異點]]。在奇異點時空的[[曲率]][[發散]]，古典的廣義相對論並不適用在奇異點上，故實如何在物理上詮釋奇異點並不明確。可能需要一個可以考慮[[量子力学|量子]]效應的[[量子引力|量子重力]]理論才能給出好的解釋。任何通過事件視界的[[閔考斯基時空|類時]](time-like)的觀測者都會碰到奇異點。

== 史瓦西度規 ==
利用[[史瓦西座標]]，'''史瓦西度規'''可以表示成如下形式：
: <math>\mathrm{d}s^{2} = c^2 \left(1-\frac{2GM}{c^2 r} \right) \mathrm{d}t^2 - \left(1-\frac{2GM}{c^2 r}\right)^{-1}\mathrm{d}r^2 - r^2 \mathrm{d}\Omega^2,</math>

其中<math>G</math>是[[重力常數]]，<math>c</math>是光速，<math>M</math>解釋為產生重力的物體之[[質量]]，而
: <math>\mathrm{d}\Omega^2 = \mathrm{d}\theta^2+\sin^2\theta \mathrm{d}\varphi^2\,</math>

是[[二維球面]](2-sphere)上的標準[[度規]]（即：[[立體角]]的標準單元）。

定義
: <math>r_s = \frac{2GM}{c^2} </math>
稱作'''[[史瓦西半徑]]'''，在史瓦西解中扮演關鍵角色。

史瓦西度規實際上是[[愛因斯坦場方程#真空場方程式|真空場方程式]]的解析解，意思上表示其僅在重力來源物體'''以外'''的地方能夠成立。也就是說，對一半徑<math>R</math>之球狀體，此解僅在<math>r > R</math>時成立。然而，若<math>R</math>少於史瓦西半徑<math>r_s</math>，此時解描述的是一個[[黑洞]]。為了要描述重力來源物體內部與外部兩者的重力場，史瓦西解必須跟一個適當的內部解在<math>r = R</math>處[[连续函数|連續]]。而內部解的形式多樣，例如如果把星球視為[[不可壓縮流|不可壓縮流體]]，則內部解為[[史瓦西內部解|史瓦西內度規]](Interior Schwarzschild metric)。

此外，注意到當<math>M\to 0</math>或<math>r \rightarrow\infty</math>，史瓦西度規近似為[[閔可夫斯基時空]]：
: <math>\mathrm{d}s^{2} = c^2 \mathrm{d}t^2 - \mathrm{d}r^2 - r^2 \mathrm{d}\Omega^2.\,</math>

直觀上說，這樣的結果是合理的：既然遠離了重力來源物體，時空理應變得近乎平直。具有這樣性質的度規稱作是[[漸進平直]] (asymptotically flat)。

== 歷史 ==
如其名，[[卡爾·史瓦西]]是第一個發現史瓦西度規的人。該精確解發現於[[1915年]]底，旋即在[[1916年]]初發表<ref name="Schwarzschild1916">{{cite journal
 |last=Schwarzschild |first=K.
 |year=1916
 |title=Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie
 |url=https://archive.org/stream/sitzungsberichte1916deutsch#page/188/mode/2up
 |journal=[[Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften]]
 |volume=7 |issue= |pages=189–196
 |bibcode=1916AbhKP......189S
 |ref=harv
}} For a translation, see {{cite arXiv
 |last1=Antoci |first1=S.
 |last2=Loinger |first2=A.
 |year=1999
 |title=On the gravitational field of a mass point according to Einstein's theory
 |eprint=physics/9905030
 |class=physics
}}</ref>，只比廣義相對論本身晚幾個月發表而已。不過史瓦西在發表論文後不久便死於在[[第一次世界大战|第一世界大戰]]服役所得的疾病。<ref name="MacTutorBio">{{MacTutor Biography|id=Schwarzschild|title=Karl Schwarzschild}}</ref>

史瓦西解是除了顯然的[[閔考斯基時空|平空間]]解之外，第一個為世人所知的愛因斯坦方程精確解。而在1916年，[[約翰內斯·德羅斯特]]以更簡單，更直接的方式獨立推導出了史瓦西解。<ref>{{cite journal
 |last=Droste
 |first=J.
 |year=1917
 |title=The field of a single centre in Einstein's theory of gravitation, and the motion of a particle in that field
 |journal=[[Proceedings of the Royal Netherlands Academy of Arts and Science]]
 |volume=19
 |issue=1
 |pages=197–215
 |url=http://www.dwc.knaw.nl/DL/publications/PU00012325.pdf
 |bibcode=1917KNAB...19..197D
 |ref=harv
 |access-date=2018-02-15
 |archive-date=2013-05-18
 |archive-url=https://web.archive.org/web/20130518034708/http://www.dwc.knaw.nl/DL/publications/PU00012325.pdf
 |dead-url=yes
 }}</ref><ref>{{cite book
 |last=Kox
 |first=A. J.
 |year=1992
 |chapter=General Relativity in the Netherlands:1915-1920
 |chapter-url=https://books.google.com/books?id=vDHCF_3vIhUC&lpg=PA39
 |page=41
 |editor1-last=Eisenstaedt
 |editor1-first=J.
 |editor2-last=Kox
 |editor2-first=A. J.
 |title=Studies in the History of General Relativity
 |publisher=[[Birkhäuser]]
 |isbn=978-0-8176-3479-7
 |access-date=2018-02-15
 |archive-date=2019-05-02
 |archive-url=https://web.archive.org/web/20190502043114/https://books.google.com/books?id=vDHCF_3vIhUC&lpg=PA39
 |dead-url=no
 }}</ref>

在廣義相對論發表之初，物理學家對史瓦西解，或其他解內的奇異點的意義不甚了解。事實上，在史瓦西的文章中，他將現今認為是事件視界的那點設為徑向[[座標系|座標]]的原點<ref>{{cite book
 |last=Brown
 |first=K.
 |year=2011
 |title=Reflections On Relativity
 |at=Chapter 8.7
 |url=http://mathpages.com/rr/s8-07/8-07.htm
 |publisher=[[Lulu.com]]
 |isbn=978-1-257-03302-7
 |access-date=2018-02-15
 |archive-date=2019-12-13
 |archive-url=https://web.archive.org/web/20191213180956/http://mathpages.com/rr/s8-07/8-07.htm
 |dead-url=yes
 }}</ref> ，而又在文章中引進了一個輔助座標，我們現今稱它為的史瓦西徑向座標，也就是上節公式中的<math>r</math>座標。

一個更完整的分析在隔年由[[大卫·希尔伯特|大衛·希爾伯特]]給出，並且指出了兩個可能的奇異點  <math>r=0</math> 和 <math>r=r_{s}</math> 。當時一般認為  <math>r=0</math> 為一個真正幾何上的奇點，但是對於  <math>r=r_{s}</math> 的本質仍不清楚。

[[保罗·班勒卫|保羅·班勒衛]]和[[阿爾瓦·古爾斯特蘭德]]分別在1921和1922年獨立推導出愛因斯坦方程球對稱的真空解，他們在 <math>r=r_{s}</math>處並沒有奇點。在那時他們並不了解這個解是史瓦西解在其他座標下的形式。事實上，他們還用此解說明廣義相對論是有缺失的。如今這個解被稱為[[古爾斯特蘭德-班勒衛座標]](Gullstrand–Painlevé coordinates)，顯示他只是史瓦西解的一個座標形式而已。

在 [[1924年]]，[[亚瑟·爱丁顿|亞瑟·愛丁頓]]構造出了第一個座標變換，使得史瓦西解在  <math>r=r_{s}</math>處沒有奇點，也就是[[愛丁頓-芬克斯坦座標]](Eddington–Finkelstein coordinates)。但是他似乎沒有意識到這個發現重要性。隨後在[[1932年]]，[[乔治·勒梅特|喬治·勒梅特]]給出了另一個在 <math>r=r_{s}</math>處沒有奇點的座標([[勒梅特座標]]，Lemaître coordinates)，並且意識到 <math>r=r_{s}</math>處不是物理上真正的奇點。而在[[1939年]]，[[霍華德·P·羅伯遜|霍華德·羅伯遜]]證明了一個[[自由落體|自由墜落]]的觀測者，只會在有限的[[原時]]通過 <math>r=r_{s}</math>處，雖然對一個在遠處的觀測者來說，需要耗費無限久的時間。<ref name=earman>{{cite book
 |last=Earman
 |first=J.
 |year=1999
 |chapter=The Penrose–Hawking singularity theorems: History and Implications
 |chapterurl=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236
 |page=236-
 |editor-first=H.
 |editor-last=Goenner
 |title=The expanding worlds of general relativity
 |isbn=978-0-8176-4060-6
 |publisher=[[Birkhäuser]]
 |access-date=2018-02-15
 |archive-date=2019-05-02
 |archive-url=https://web.archive.org/web/20190502050155/https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236
 |dead-url=no
 }}</ref>

在[[1950年]]，[[約翰·辛格(物理學家)|約翰·辛格]]找出了整個史瓦西解的[[解析延拓|最大解析延拓]]形式，並且再次證明了 <math>r=r_{s}</math>處奇點只是個座標選擇造成的假象。<ref>{{cite journal
 |last=Synge |first=J. L.
 |year=1950
 |title=The gravitational field of a particle
 |journal=[[Proceedings of the Royal Irish Academy]]
 |volume=53 |issue=6 |pages=83–114
 |bibcode=
 |doi=
}}</ref>之後類似的最大解析延拓解也獨立的被[[塞凱賴什·哲爾吉]]和[[馬丁·克魯斯卡爾]]發現。<ref>{{cite journal
 |last=Szekeres |first=G.
 |year=1960
 |title=On the singularities of a Riemannian manifold
 |journal=[[Publicationes Mathematicae Debrecen 7]]
 |volume=7 |pages=285
 |doi=10.1023/A:1020744914721
|bibcode = 2002GReGr..34.2001S }}</ref> <ref>{{cite journal
 |last=Kruskal |first=M. D.
 |year=1960
 |title=Maximal extension of Schwarzschild metric
 |url=https://archive.org/details/sim_physical-review_1960-09-01_119_5/page/n301 |journal=[[Physical Review]]
 |volume=119 |issue= 5|pages=1743–1745
 |bibcode=1960PhRv..119.1743K
 |doi=10.1103/PhysRev.119.1743
}}</ref>而這座標如今被稱為[[克魯斯卡爾-塞凱賴什座標]](Kruskal-Szekeres coordinates)。這個座標比辛格給出的座標還要簡單許多，但是兩者都是一套可以完整覆蓋所有史瓦西解的座標系統。話雖如此，可能是因為發表的期刊的關係，勒梅特和辛格的論文並沒有受到學界注意，使得眾多知名的物理學家，包括愛因斯坦，都認為在史瓦西半徑上的奇點是實際存在的。

隨後到了[[1960年代]]，一些更高等的數學工具例如[[微分几何|微分幾何]]進入了廣義相對論的研究後，才有更多的進展。利用微分幾何的概念，[[流形|勞倫茲流形]]上的奇點可以被精確的定義。而這讓整個史瓦西度規上的奇點完全地的確立下來。 並且正式的證明了<math>r=r_{s}</math>處只是一時空上的事件視界而已。

==  奇異點和事件視界 ==
史瓦西度規在 <math>r=0</math> 和 <math>r=r_{s}</math>處是發散的，表示他們可能是[[引力奇点|奇異點]]。一般而言，史瓦西解只能描述一個球對稱星體外部的時空結構， 因此如果星體半徑 <math>R > r_{s}</math> 的話就無任何問題。對於一般的[[恒星|恆星]]，這條件幾乎在所有時候都會滿足。例如太陽半徑大約為 700,000 [[公里]]，但是其史瓦西半徑大約只有 3 公里。

實際上， <math>r=r_{s}</math>處是一個[[事件視界]]，他將整個時空分成兩個區域。 史瓦西外部解( Exterior Schwarzschild solution)，也就是 <math>r > r_{s}</math>的區域。它可以描述星體的外部結構。而史瓦西內部解 (Interior Schwarzschild solution) 則為 <math>0 \leq r < r_{s}</math> 的區域。他們是兩個互不重疊的[[局部坐标系|局部坐標系]] (又稱為[[图册 (拓扑学)|座標卡]], coordinate chart)，並且可視為互相獨立的解。在 <math>r=r_{s}</math>的地方並非是一個真實的奇異點。度規會發散是因為我們選了一個不恰當的[[坐標系|座標系統]]，如果改用其他的座標系統，例如[[克魯斯卡爾-塞凱賴什座標]]，則在 <math>r=r_{s}</math>處就不會發散。而使用這樣的座標系統則可以讓我們把史瓦西外部解延伸到史瓦西內部解<ref>{{cite book
 |last1=Hughston |first1=L. P.
 |last2=Tod |first2=K. P.
 |year=1990
 |url=https://books.google.com/books?id=2q5Rdjn0qfgC&lpg=PA126
 |title=An introduction to general relativity
 |at=Chapter 19
 |publisher=[[Cambridge University Press]]
 |isbn=978-0-521-33943-8
}}</ref>。

史瓦西內部解是一個完全合法的愛因斯坦方程解，但是他有許多有趣的性質。例如說，在內部裡面徑向座標 <math>r</math> 是[[類時]]的，而時間座標 <math>t</math> 是[[類空|類空間]]的。也就是說，觀測者不可能維持在等徑向距離移動( <math>r</math> 是常數)。事實上因為觀測者的未來[[光锥|光錐]]永遠指向 <math>r</math> 變小的方向，所以任何在這個區域的觀測者都終將會碰到 <math>r=0</math> 處(奇異點)。因此 <math>r=r_{s}</math>處可以看成是一個界線，任何觀測者進入了這個界限之後將再也無法脫離黑洞，而任何在<math>r > r_{s}</math>的觀測者也無法接受到來自 <math>r < r_{s}</math> 處的訊息<ref>{{cite journal|title=Black Hole Horizons and How They Begin|url=http://astroreview.com/issue/2012/article/black-hole-horizons-and-how-they-begin|last=Brill|first=D.|date=19 January 2012|journal=Astronomical Review|access-date=2018-02-15|archive-date=2014-09-16|archive-url=https://web.archive.org/web/20140916114805/http://astroreview.com/issue/2012/article/black-hole-horizons-and-how-they-begin|dead-url=no}}</ref>。

相對於 <math>r=r_{s}</math>處的[[事件視界]]，在 <math>r=0</math> 的地方是一個真正物理上的奇異點，又稱為[[引力奇点|重力奇異點]](Gravitational singulartiy)。要證明他是真正的奇異點我們可以檢查幾個重要的座標不變量是否發散，例如[[柯瑞奇曼純量]] (Kretschmann scalar)。而我們發現史瓦西度規的 [[柯瑞奇曼純量]] 是：

<math>R^{\alpha\beta\gamma\delta} R_{\alpha\beta\gamma\delta} = \frac{12 r_\mathrm{s}^2}{r^6} = \frac{48 G^2 M^2}{c^4 r^6} \,</math>

可以看得出來它在 <math>r=0</math> 處是發散的，因此這是一個真正的奇點。[[愛因斯坦方程式|愛因斯坦方程]]無法描述此處的時空性質，物理學家也無法確定在在奇異點會發生甚麼事，或者它代表甚麼意義。一般相信需要一個完整的[[量子重力]]理論，或者一個考慮量子修效應的[[半古典重力]]才能解釋重力奇點的現象。在過去物理學家認為有這樣一個有重力奇異點的解是沒有物理意義的。但是隨著人們對廣義相對論有更深入的了解之後，他們意識到了這種有引力奇異點的解是很一般的現象。史瓦西度規的奇異點不是一個特殊的例外。

== 其他座標系統 ==
除了上述的用的史瓦西座標之外，史瓦西度規也可以用其他的座標系統表示。不同的座標系統強調史瓦西解不同的特性。以下列出幾個常見的座標系統<ref>{{Cite book|url=https://books.google.com/books?id=lvUnDwAAQBAJ&pg=PAI-126|title=One Hundred Years of General Relativity: From Genesis and Empirical Foundations to Gravitational Waves, Cosmology and Quantum Gravity|publisher=World Scientific|editor-last=Ni|editor-first=Wei-Tou|volume=1|page=I-126}}</ref>。注意在這裡[[光速]]設為1，亦即<math>c=1</math>，而

<math> d\Omega^2= d\theta^2+\sin^2\theta \,d\varphi^2</math>

是[[二維球面]](2-sphere)上的標準[[度規]]。

=== 愛丁頓-芬克斯坦座標 ===
它的形式有兩種，分別為向內型和向外型。向內的座標為：

<math>ds^{2} = -\left(1-\frac{r_\mathrm{s}}{r} \right)\, dv^2 + 2 \,dv \,dr + r^2 \,d\Omega^2</math>

而向外的座標為：

<math>ds^{2} =-\left(1-\frac{r_\mathrm{s}}{r} \right)\, du^2 - 2 \,du \,dr + r^2 \,d\Omega^2</math>

他們在史瓦西半徑都是解析的，其中向內型的座標延伸到未來事件視界，而向外型的座標延伸到過去事件視界。

=== 各向同性座標 ===
它的座標形式為：

<math>ds^{2}=-\frac{\left(1-\frac{r_\mathrm{s}}{4R}\right)^2}{\left(1+\frac{r_\mathrm{s}}{4R}\right)^2}\,{dt}^2 + \left(1+\frac{r_\mathrm{s}}{4R}\right)^4\,\left(dx^2+dy^2+dz^2\right)</math>

其中 <math>R = \sqrt{ x^2 + y^2 + z^2 }</math><ref name="eddntn1923">{{cite book|title=The Mathematical Theory of Relativity|last=Eddington|first=A. S.|publisher=[[Cambridge University Press]]|year=1924|isbn=|edition=2nd|page=93|lccn=}}</ref>。它的光錐在等時間的切片上是同向的。

=== 克魯斯卡爾-塞凱賴什座標 ===
{{Main|克魯斯卡爾座標系}}
它的座標形式為：

<math>ds^{2} = -\frac{4r_\mathrm{s}^3}{r}e^{-\frac{r}{r_\mathrm{s}}}\,\left(dT^2 - dR^2\right)+ r^2 \,d\Omega^2</math>

其中 <math>r^{2} = r^{2}(T,R)</math> 為 <math>R</math> 和 <math>T</math> 的函數，它滿足以下的[[隱式方程]]：

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

此度規一樣在史瓦西半徑處是解析的，而且它是整個史瓦西解的[[解析延拓|最大解析延拓]]形式。

=== 其他 ===
此外還有一些比較少用到的座標形式：
* [[勒梅特座標]] (Lemaître coordinates) <math> ds^{2} = -dT^{2} + \frac{r_\mathrm{s}}{r}\, dR^2 - r^2\,d\Omega^2</math>
* [[古爾斯特蘭德-班勒衛座標]](Gullstrand–Painlevé coordinates) <math>ds^{2}=-\left(1-\frac{r_\mathrm{s}}{r} \right)\,dT^2+ 2\sqrt\frac{r_\mathrm{s}}{r} \,dT \,dr - dr^2-r^2\,d\Omega^2</math>
它們的特點都是在史瓦西半徑上是解析的。

== 封閉軌道 ==
[[File:Newton.vs.Schwarzschild.thumbnail.250px.png|thumb|right|250px|link=File:Newton_versus_Schwarzschild_trajectories.gif|兩個自由物體分別在古典重力(左)和史瓦西度規(右)運動的情形。可以注意到在右邊的情況會有[[進動|近日點進動]]。]]

對於一個在史瓦西黑洞自由運動的物體，在恰當的起始條件之下可能可以有封閉圓[[轨道 (力学)|形軌道]]。這樣的軌道存不存在取決於物體離黑洞的距離。半徑為 <math>r > 3r_{s}</math>的軌道是存在且穩定的。而半徑為介於<math>1.5 r_{s}</math>和 <math>3r_{s}</math>之間的軌道存在，但是不穩定。而半徑小於<math>1.5 r_{s}</math>的軌道是不存在的。在軌道半徑趨近於最小值<math>1.5 r_{s}</math>時該物體的速度會趨近於光速。當然物體還是可以在擁有比<math>1.5 r_{s}</math>還要小的軌道，但是此時必須對物體施加外力讓它不掉進黑洞裡。

對於非圓形的軌道，物體的運動也會和古典[[艾萨克·牛顿|牛頓]][[牛顿万有引力定律|重力]]預測的有所不同：物體不再會是封閉的原軌跡。定性而言，物體在近日點附近的時間會相較於古典重力預測的比較長。而一個物體掉進黑洞永遠不會再出來可以看成是這個特性的極端情況。

==曲率張量==

史瓦西度規的[[里奇曲率張量|里奇曲率純量]]和[[里奇曲率張量]]皆為零，但是他的[[黎曼曲率張量]]則不一定為零，不為零的分量有<ref>Misner, Charles W., Thorne, Kip S., Wheeler, John Archibald, "Gravitation", W.H. Freeman and Company, New York, {{ISBN|0-7167-0334-3}}</ref>：
:<math>R^{t}{}_{rrt}=2R^{\theta}{}_{r\theta r}=2R^{\phi}{}_{r\phi r}=\frac{r_s}{r^2(r_s-r)},  </math>
:<math>2R^{t}{}_{\theta\theta t}=2R^{r}{}_{\theta\theta r}=R^{\phi}{}_{\theta\phi\theta}=\frac{r_s}{r},</math>
:<math>2R^{t}{}_{\phi\phi t}=2R^{r}{}_{\phi\phi r}=-R^{\theta}{}_{\phi\phi\theta}=\frac{r_s \sin^2\theta}{r},</math>
:<math>R^{r}{}_{trt}=-2R^{\theta}{}_{t\theta t}=-2R^{\phi}{}_{t\phi t}= c^2 \frac{r_s (r_s - r)}{r^4}
</math>
注意其他可以用曲率張量對稱性得到的分量不列在此表內。

== 相關條目 ==
* [[愛因斯坦場方程式]]
* [[白洞]]
* [[黑洞]]
* [[萊斯納-諾德斯特洛姆度規]] (帶電，無[[角动量|角動量]]的解)
* [[克爾度規]]  (不帶電，有角動量的解)
* [[克尔-纽曼度规|克爾-紐曼度規(]] 帶電，有角動量的解)
* [[托尔曼－奥本海默－沃尔科夫方程|托爾曼－歐本海默－沃爾科夫方程式]] (描述一個球對稱，由均向物質所造成的度規的方程)
*[[史瓦西半径]]

== 參考文獻 ==
{{Reflist|30em}}

{{黑洞}}
{{廣義相對論}}

[[Category:廣義相對論的精確解|S]]