「シュワルツシルト解」の版間の差分
削除された内容 追加された内容
m →関連項目: {{相対性理論}} |
m →歴史: ハンガリー語順、ミドルネーム |
||
| (2人の利用者による、間の10版が非表示) | |||
1行目:
{{翻訳直後|[[:en:Special:Permalink/739135394|en:Schwarzschild metric]]|date=2016年10月}}
{{一般相対性理論|cTopic=解}}
[[アルベルト・アインシュタイン|アインシュタイン]]による[[一般相対性理論]]において、'''シュワルツシルト解'''（{{Lang-en-short|'''Schwarzschild solution'''}}、'''シュワルツシルト計量''' {{Lang|en|'''Schwarzschild metric'''}}、'''シュワルツシルト真空''' {{Lang|en|'''Schwarzschild vacuum'''}} とも）とは、[[アインシュタイン方程式]]の厳密解の一つで、[[球対称]]で静的な[[質量]]分布の外部にできる[[重力場]]を記述する。ただし、[[電荷]]や[[角運動量]]、[[宇宙定数]]はすべてゼロとする。この解は[[太陽]]や[[地球]]など、十分に自転の遅い[[恒星]]や[[惑星]]が外部の[[真空]]空間に及ぼす重力を近似的に表わすことができ、応用されている。名称については、この解を[[1916年]]に初めて発表した[[カール・シュヴァルツシルト]]に由来する。
[[バーコフの定理]]により、シュワルツシルト計量は球対称性をもつアインシュタイン方程式の{{仮リンク|label=真空解|真空解 (一般相対性理論)|en|Vacuum solution (general relativity)}}として唯一のものといえる。'''[[シュワルツシルト・ブラックホール]]'''（{{Lang|en|'''Schwarzschild black hole'''}}）または別名'''静的ブラックホール'''（{{Lang|en|'''static black hole'''}}）とは、[[チャージ (物理学)|電荷]]も[[角運動量]]ももたないブラックホールを指す。シュワルツシルト・ブラックホールはシュワルツシルト解により記述でき、シュワルツシルトブラックホールにはその質量以外で区別する手段がない。
シュワルツシルトブラックホールには、その中心から[[シュワルツシルト半径]]だけ離れた場所に[[事象の地平面]]と呼ばれる境界面を持つという特徴がある。この境界面は物理的な面ではなく、もし人が事象の地平面の内部に（[[潮汐力]]により引き裂かれる前に）落ち込んだとしても、物理的ななにかを感じることはない。この面は数学的なものであり、ブラックホールの性質を決定づける上で重要である。無回転・無電荷の質量が、その質量に応じたシュワルツシルト半径よりも小さい領域に凝集したとき、必ずブラックホールが生じる。シュワルツシルト解は質量 {{Mvar|M}} がどんな値でも成り立つので、形成するための条件を満たせば（一般相対性理論によれば）原理的には任意の質量のシュワルツシルトブラックホールが存在しうる。
== シュワルツシルト計量 ==
符号 {{Math|(1, −1, −1, −1)}} の{{仮リンク|シュワルツシルト座標|en|Schwarzschild coordinates}}を用いると、シュワルツシルト計量の{{仮リンク|線素|en|Line element}}は以下のような式で書き下される。
: <math>
c^2 {\mathrm d \tau}^{2} =
\left(1 - \frac{r_\mathrm s}{r} \right) c^2 \mathrm dt^2 - \left(1-\frac{r_\mathrm s}{r}\right)^{-1} \mathrm dr^2 - r^2 \left(\mathrm d\theta^2 + \sin^2\theta \, \mathrm d\varphi^2\right)
</math>
ここで、以下のような[[変数 (数学)|変数]]および[[定数]]を用いた。
* {{Mvar|τ}} は[[固有時|固有時間]]（{{仮リンク|試験粒子|en|Test particle}}のたどる[[世界線]]に沿って動く時計で測った時間）
* {{Mvar|c}} は[[光速]]
* {{Mvar|t}} は座標時（質量から無限に遠い静的な時計で測った時間）
* {{Mvar|r}} は動径座標
* {{Mvar|θ}} は[[余緯度]]座標（北極から[[ラジアン]]単位で測った角度）
* {{Mvar|φ}} は[[経度]]座標（単位はラジアン）
* {{Math|''r''<sub>s</sub>}} は質量をもつ物体に対応する[[シュワルツシルト半径]]（{{Mvar|M}} により {{Math|1=''r''<sub>s</sub> = 2''GM''/''c''<sup>2</sup>}} のように決まる[[スケール因子|スケールファクター]]。ここで {{Mvar|G}} は[[万有引力定数]]である）<ref name="landau_1975">{{Harv|Landau|Liftshitz|1975}}.</ref>
この解は、ニュートン力学において質点のつくる重力場に相当する<ref>{{Cite journal|last=Ehlers|first=Jürgen|author-link=Jürgen Ehlers|date=January 1997|title=Examples of Newtonian limits of relativistic spacetimes|url=http://pubman.mpdl.mpg.de/pubman/item/escidoc:153004:1/component/escidoc:153003/328699.pdf|journal=[[Classical and Quantum Gravity]]|volume=14|issue=1A|pages=A119–A126|bibcode=1997CQGra..14A.119E|DOI=10.1088/0264-9381/14/1A/010}}</ref>。
ほとんどの場合、{{Math|''r''<sub>s</sub>/''r''}} は極端に小さい。たとえば[[地球]]のシュワルツシルト半径 {{Math|''r''<sub>s</sub>}} はおよそ {{Val|8.9|ul=mm}}, 地球の {{Val|3.3|e=5|u=倍}}の質量を持つ[[太陽]]でさえ<ref>{{Cite book|editor-last=Tennent|editor-first=R.M.|title=Science Data Book|year=1971|publisher=[[Oliver & Boyd]]|ISBN=0-05-002487-6|page=}}</ref>そのシュワルツシルト半径はおよそ {{Val|3.0 |ul=km}} である。地球の表面においてさえ、ニュートン重力からの一般相対性理論によるずれは10億分の1程度にすぎない。この比は[[中性子星]]などの極端に密度の高い物体に対してしかブラックホールにおいて見られるような大きな値にはならない{{要出典|date=2016年10月}}。
シュワルツシルト計量は何もない空間についてのアインシュタイン方程式の解であり、重力源の「外側」についてのみ意味を持つ。つまり、球状物体の半径を {{Mvar|R}} とすると {{Math|''r'' > ''R''}} についてしか適用できない。重力源となる物体の外部と内部の両方を取り扱うためには、{{仮リンク|シュワルツシルトの内部解|en|Interior Schwarzschild solution}}を初めとする内部解と {{Math|1=''r'' = ''R''}} において適切に接続する必要がある<ref>{{Cite book|title=Introduction to Black Hole Physics|year=2011|publisher=Oxford|ISBN=0-19-969229-7|page=168|last1=Frolov|last2=Zelnikov|first1=Valeri|first2=Andrei}}</ref>。
== 歴史 ==
シュワルツシルト解の名は、アインシュタインが一般相対性理論を発表してから一ヶ月そこそこでこの厳密解を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|ref=harv|bibcode=1916AbhKP......189S}}</ref>[[カール・シュヴァルツシルト]]を称えて命名された。これは自明な[[ミンコフスキー空間|平坦空間解]]を除けば初めて見付かったアインシュタイン方程式の厳密解である。シュヴァルツシルトはこの論文が発表されてすぐ、第一次世界大戦にドイツ兵として参戦中に病のため亡くなった<ref name="MacTutorBio">{{MacTutor|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|url=http://www.dwc.knaw.nl/DL/publications/PU00012325.pdf|journal=[[Proceedings of the Royal Netherlands Academy of Arts and Science]]|volume=19|issue=1|pages=197–215|ref=harv|bibcode=1917KNAB...19..197D}}</ref>は独立に、より直接的な導出方法を用いてシュワルツシルト解を導いた<ref>{{Cite book|last=Kox|first=A. J.|title=Studies in the History of General Relativity|year=1992|publisher=[[Birkhäuser]]|ISBN=978-0-8176-3479-7|page=41|chapter=General Relativity in the Netherlands:1915-1920|editor1-last=Eisenstaedt|editor2-last=Kox|editor1-first=J.|editor2-first=A. J.|chapterurl=https://books.google.com/books?id=vDHCF_3vIhUC&lpg=PA39|chapter-url=https://books.google.com/books?id=vDHCF_3vIhUC&lpg=PA39}}</ref>。
一般相対性理論の黎明期にはシュワルツシルト解を初めとするアインシュタイン方程式の解に現われる特異点をめぐって多くの混乱が見られた。シュヴァルツシルトの原論文では、現在では事象の地平面と呼ばれている面を座標の原点としていた<ref>{{Cite book|last=Brown|first=K.|title=Reflections On Relativity|url=http://mathpages.com/rr/s8-07/8-07.htm|year=2011|publisher=[[Lulu.com]]|ISBN=978-1-257-03302-7|at=Chapter 8.7}}</ref>。同論文では、シュワルツシルト動径座標（上式の {{Mvar|r}}）は補助変数として用いられていた。シュヴァルツシルトの方程式においては、シュワルツシルト半径においてゼロとなる別の動径座標が用いられていた。
より完全な特異点構造の解析は後年、[[ダフィット・ヒルベルト]]<ref>{{Cite journal|last=Hilbert|first=David|year=1924<!-- This paper is a reprint combining notes first published in 1915 and 1917 -->|title=Die Grundlagen der Physik|journal=Mathematische Annalen|volume=92|issue=1-2|pages=1–32|publisher=Springer-Verlag|DOI=10.1007/BF01448427}}</ref>により与えられ、 {{Math|1=''r'' = 0}} と {{Math|1=''r'' = ''r''<sub>s</sub>}} の両方が特異点であるとされた。{{Math|1=''r'' = 0}} における特異点は「真の」物理的な特異点であることが一般の共通理解となっていたが、{{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点の性質については未だはっきりしなかった<ref name="earman">{{Cite book|last=Earman|editor-last=Goenner|editor-first=H.|first=J.|title=The expanding worlds of general relativity|year=1999|publisher=[[Birkhäuser]]|ISBN=978-0-8176-4060-6|page=236-|chapter=The Penrose–Hawking singularity theorems: History and Implications|chapterurl=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236|chapter-url=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236}}</ref>。
1921年には[[ポール・パンルヴェ]]により、そして1922年には[[アルヴァル・グルストランド]]により、それぞれ独立に現在では{{仮リンク|グルストランド・パンルヴェ座標|en|Gullstrand–Painlevé coordinates}}と呼ばれる、 {{Math|1=''r'' = ''r''<sub>s</sub>}} において特異点を持たない、シュワルツシルト計量の変換にあたる座標が導出された。しかし、彼らはその解を単なる座標変換であると気付いておらず、アインシュタインの説が誤っているという議論に実際用いた。1924年、[[アーサー・エディントン]]は、{{仮リンク|エディントン・フィンケルシュタイン座標|en|Eddington–Finkelstein coordinates}}と呼ばれる座標変換を初めて用い、{{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点は座標の取り方による人為的なものにすぎないことを示していたが、やはり彼もこの発見の重要性に気付いていなかった。1932年まで下って、[[ジョルジュ・ルメートル]]によりまた異る座標変換（{{仮リンク|ルメートル座標|en|Georges Lemaître}}）が示され、{{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点が物理的なものではないことが意識的に初めて示された。1939年、[[ハワード・ロバートソン]]は、シュワルツシルト計量上で自由落下を行う観測者は、{{Math|1=''r'' = ''r''<sub>s</sub>}} を通り過ぎるのに無限の座標時を要するにも関らず、有限の固有時しか要さないことを示した<ref name="earman">{{Cite book|last=Earman|editor-last=Goenner|editor-first=H.|first=J.|title=The expanding worlds of general relativity|year=1999|publisher=[[Birkhäuser]]|ISBN=978-0-8176-4060-6|page=236-|chapter=The Penrose–Hawking singularity theorems: History and Implications|chapterurl=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236|chapter-url=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236}}</ref>。
1950年、{{仮リンク|ジョン・シン|en|John Lighton Synge}}<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>はシュワルツシルト計量の極大[[解析接続|解析拡張]]を用いてやはり {{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点が座標による人工物であり、二つの地平面を表わすことを示した。同様の結果が後に{{仮リンク|セケレシュ・ジェルジ|en|George Szekeres}}<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|bibcode=2002GReGr..34.2001S|DOI=10.1023/A:1020744914721}}</ref>および{{仮リンク|マーティン・デイヴィッド・クルスカル|en|Martin David Kruskal}}<ref>{{Cite journal|last=Kruskal|first=M. D.|year=1960|title=Maximal extension of Schwarzschild metric|journal=[[Physical Review]]|volume=119|issue=5|pages=1743–1745|bibcode=1960PhRv..119.1743K|DOI=10.1103/PhysRev.119.1743}}</ref>によりそれぞれ独立に再発見された。この現在では[[クルスカル・スゼッケル座標系|クルスカル・セケレシュ座標]]として知られる新しい座標はシンによるものより大幅に単純であるものの、単一の座標系により全時空を覆うことができた。しかし、ルメートルとシンが論文を投稿した論文誌が有名でなかったためか、彼らの結論は知られることがなく、アインシュタインを含めた主要人物の大部分がシュワルツシルト半径における特異点が物理的なものであると考えていた<ref name="earman">{{Cite book|last=Earman|editor-last=Goenner|editor-first=H.|first=J.|title=The expanding worlds of general relativity|year=1999|publisher=[[Birkhäuser]]|ISBN=978-0-8176-4060-6|page=236-|chapter=The Penrose–Hawking singularity theorems: History and Implications|chapterurl=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236|chapter-url=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236}}</ref>。
1960年代に入って初めて、[[微分幾何学]]というより厳密な道具が一般相対性理論の分野に持ち込まれ、[[擬リーマン多様体|ローレンツ多様体]]における特異点の意味をより厳密に定義できるようになり、状況が進展した。これにより、シュワルツシルト計量の {{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点が[[事象の地平面]]（一方向にしか通過できない[[超曲面]]）であることが決定づけられた<ref name="earman">{{Cite book|last=Earman|editor-last=Goenner|editor-first=H.|first=J.|title=The expanding worlds of general relativity|year=1999|publisher=[[Birkhäuser]]|ISBN=978-0-8176-4060-6|page=236-|chapter=The Penrose–Hawking singularity theorems: History and Implications|chapterurl=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236|chapter-url=https://books.google.com/books?id=5mGZno8CvnQC&pg=PA236}}</ref>。
== 特異点とブラックホール ==
シュワルツシルト解は {{Math|1=''r'' = 0}} と {{Math|1=''r'' = ''r''<sub>s</sub>}} において[[特異点 (数学)|特異点]]を持つようにみえる。すなわち、計量のいくつかの成分が発散するのである。シュワルツシルト計量は重力源となる物体の半径 {{Mvar|R}} よりも外側についてしか有効であると考えられないため、{{Math|''R'' > ''r''<sub>s</sub>}} の場合には問題は存在しない。通常の恒星や惑星では常にこの条件が成り立つ。例えば、[[太陽]]の直径はおよそ {{Val|700000 |e=|u=km}} であるが、シュワルツシルト半径はわずか {{Val|3|e=|u=km}} でしかない。
シュワルツシルト座標の {{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点は座標を二つの[[連結空間|非連結]]な{{仮リンク|アトラス (位相幾何学)|en|Atlas (topology)|label=座標パッチ|preserve=1|FIXME=1<!--多様体へのリダイレクト-->}}に分割する。このうち、{{Math|''r'' > ''r''<sub>s</sub>}} を満たす「シュワルツシルトの外部解」は恒星や惑星の生み出す重力と関係がある。対して、{{Math|0 ≤ ''r'' < ''r''<sub>s</sub>}} を満たす「シュワルツシルトの内部解」は {{Math|1=''r'' = 0}} に特異点を含み、外部とは {{Math|1=''r'' = ''r''<sub>s</sub>}} の特異点により完全に断絶している。そのため、シュワルツシルト座標は内部と外部で物理的な繋りをまったく持っておらず、別々の解と見做すことができる。しかし、{{Math|1=''r'' = ''r''<sub>s</sub>}} における特異点は見掛け上のものにすぎない。このような存在を座標特異点と呼ぶ。名前の示すとおり、この特異点は座標の選びかたもしくは{{仮リンク|座標条件|en|Coordinate conditions}}が悪いために生じるものである。座標を適切に変更すれば（例えばルメートル座標、エディントン・フィンケルシュタイン座標、クルスカル・セケレシュ座標、ノビコフ座標、グルストランド・パンルヴェ座標など）、計量は {{Math|1=''r'' = ''r''<sub>s</sub>}} において正則となり外部の座標パッチと内部の座標パッチを繋ぐことができる。したがって、座標変換を用いれば外部と内部を関連付けることが可能となる<ref>{{Cite book|title=An introduction to general relativity|url=https://books.google.com/books?id=2q5Rdjn0qfgC&lpg=PA126|year=1990|publisher=[[Cambridge University Press]]|ISBN=978-0-521-33943-8|last1=Hughston|last2=Tod|first1=L.P.|first2=K.P.|at=Chapter 19}}</ref>。
しかし、{{Math|1=''r'' = 0}} の場合は話が異る。{{Mvar|r}} がどんな値でも成り立つような解を求めようとすると必ず[[重力の特異点]]と呼ばれる真の物理的特異点が原点に生じる。この特異点が真の特異点であることを理解するためには座標の選択によらない量を調べる必要がある。そのような量のうち重要なものとして、下に示す{{仮リンク|クレッチマン不変量|en|Kretschmann invariant}}が挙げられる。
: <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|1=''r'' = 0}} において曲率は無限大になり、すなわち特異点の存在を示す。この点では計量および時空そのものが良い定義を持ちえない。長い間、このような解は物理的でないと見做されていた。しかし、一般相対性理論がよりよく理解されるにつれて、このような特異点は珍しい特殊例ではなく、この理論にまつわる一般的な特徴であることが明らかになってきた。
{{Math|''r'' > 0}} の全域において成り立つようなシュワルツシルト解を、'''[[シュワルツシルト・ブラックホール]]'''と呼ぶ。これはいくつかの奇妙な特徴を持っているが、完全に妥当なアインシュタイン方程式の厳密解である。{{Math|''r'' < ''r''<sub>s</sub>}} において、シュワルツシルト座標 {{Mvar|r}} は[[時空|時間的]]となり、座標時 {{Mvar|t}} は[[時空|空間的]]となる。したがって、{{Mvar|r}} を一定に保つような曲線はもはや粒子や観測者の世界線には成り得ず、どのような力を加えたとしてもこのような軌跡を描くことはできない。このことは時空が著しく曲がっているため原因と結果の向き（粒子の未来[[光円錐]]）が特異点にしか向かわないことに起因する{{要出典|date=2016年10月}}。曲面 {{Math|1=''r'' = ''r''<sub>s</sub>}} はブラックホールの「事象の地平面」と呼ばれるある種の限界を表わしている。これは、光ですら重力から逃れることができなくなる点を表わしている。その半径 {{Mvar|R}} がシュワルツシルト半径よりも小さくなった物理的物体は全て[[重力崩壊]]を起こし、ブラックホールとなる<ref>{{Cite journal|last=Brill|first=D.|date=19 January 2012|title=Black Hole Horizons and How They Begin|url=http://astroreview.com/issue/2012/article/black-hole-horizons-and-how-they-begin|journal=Astronomical Review}}</ref>。
== 別の座標系 ==
シュワルツシルト解は先に示した式で用いられていた座標とは別の座標系によっても表わすことができる。それぞれの座標はこの解のそれぞれ別の側面を強調している。下表にいくつかの一般的な座標をまとめる。
{| class="wikitable" style="margin: 1em auto 10px;"
|+その他の座標系
!座標系
!線素
!備考
!特徴
|-
|{{仮リンク|エディントン・フィンケルシュタイン座標系|en|Eddington-Finkelstein coordinates}}（内向き）
|<math>\left(1-\frac{r_\mathrm s}{r} \right) \mathrm dv^2 - 2 \mathrm dv \mathrm dr - r^2 \mathrm d\Omega^2</math>
|
|地平面において正則、未来地平面を超えて拡がる
|-
|エディントン・フィンケルシュタイン座標系（外向き）
|<math>\left(1-\frac{r_s}{r} \right) \mathrm du^2 + 2 \mathrm du \mathrm dr - r^2 \mathrm d\Omega^2</math>
|
|地平面において正則、過去地平面を超えて拡がる
|-
|{{仮リンク|グルストランド・パンルヴェ座標系|en|Gullstrand–Painlevé coordinates}}
|<math>\left(1-\frac{r_\mathrm s}{r} \right)\mathrm dT^2- 2\sqrt{\frac{r_\mathrm s}{r}} \mathrm dT \mathrm dr - \mathrm dr^2-r^2\mathrm d\Omega^2</math>
|
|地平面において正則
|-
|{{仮リンク|等方座標系|en|Isotropic coordinates}}
|<math>\frac{(1-\frac{r_\mathrm s}{4R})^{2}}{(1+\frac{r_\mathrm s}{4R})^{2}}{\mathrm d t}^2 - \left(1+\frac{r_\mathrm s}{4R}\right)^{4}(\mathrm dx^2+\mathrm dy^2+\mathrm dz^2)</math>
|<math>R = \sqrt{ x^2 + y^2 + z^2 }</math><ref name="eddntn1923">{{Cite book|last=Eddington|first=A. S.|title=The Mathematical Theory of Relativity|edition=2nd|year=1924|publisher=[[Cambridge University Press]]|ISBN=|page=93|lccn=|LCCN=}}</ref>
|等時間断面において光円錐が等方的
|-
|[[クルスカル・スゼッケル座標系|クルスカル・セケレシュ座標系]]
|<math>\frac{4r_\mathrm s^3}{r}e^{-r/r_\mathrm s}(\mathrm dT^2 - \mathrm dR^2)- r^2 \mathrm d\Omega^2</math>
|<math>T^2 - R^2 = \left(1-\frac{r}{r_\mathrm s}\right)e^{r/r_\mathrm s}</math>
|地平面において正則、全時空に最大限拡がる
|-
|{{仮リンク|ルメートル座標系|en|Lemaitre coordinates}}
|<math> \mathrm dT^{2} - \frac{r_\mathrm{s}}{r} \mathrm dR^{2}- r^{2}\mathrm d\Omega^{2}</math>
|<math>r = \left[\frac{3}{2}(R-T)\right]^{2/3}r_\mathrm {s}^{1/3}</math>
|地平面において正則
|}
上の表において、簡潔さのためにいくつかの簡略化を用いた。光速 {{Mvar|c}} は1とした。二次元球面の計量を表わすために <math> \mathrm d\Omega^2= \mathrm d\theta^2+\sin(\theta)^2 \mathrm d\phi^2</math> という表記を用いた。さらに、{{Mvar|R}} および {{Mvar|T}} はそれぞれその座標系における新たな動径座標と座標時を表わす。{{Mvar|R}} および {{Mvar|T}} はそれぞれの座標系によって異なることに注意されたい。
== フラムの双曲面 ==
[[ファイル:Flamm.jpg|左|サムネイル|250x250ピクセル|フラムの[[双曲面]]のプロット。{{仮リンク|重力井戸|en|Gravity well}}の概念と混同してはならない。]]
シュワルツシルト解の {{Math|''R'' > ''r''<sub>s</sub>}} における空間曲率を左図のように図示することができる。シュワルツシルト解の一定時間・赤道面 ({{Math|1=''θ'' = ''π''/2, ''t'' = const.}}) における断面を考える。この平面上を運動する粒子の位置は残りのシュワルツシルト座標 {{Math|(''r'', ''φ'')}} により表わすことができる。ここにもうひとつ仮想のユークリッド次元 {{Mvar|w}}（時空の一部ではない）を追加したところを想像してみよう。そして、{{Math|(''r'', ''φ'')}} 平面を {{Mvar|w}} 方向に次のように窪んだ曲面（フラムの[[双曲面]]）と置き換える。
: <math>
w = 2 \sqrt{r_\mathrm{s} \left( r - r_\mathrm{s} \right)}.
</math>
この曲面は、その上で測る距離がシュワルツシルト計量により定義するものと一致するという性質を持つ。なぜなら、上記の {{Mvar|w}} の定義により、次の式が成り立つ。
: <math>\mathrm dw^2 + \mathrm dr^2 + r^2 \mathrm d\varphi^2 = -c^2 \mathrm d\tau^2 = \frac{\mathrm dr^2}{1 - \frac{r_\mathrm s}{r}} + r^2 \mathrm d\varphi^2</math>
このため、フラムの双曲面はシュワルツシルト計量における空間の歪みを可視化するのに便利である。しかし、これを{{仮リンク|重力井戸|en|Gravity well}}の概念と混同してはならない。通常の粒子は（質量の有無に関らず）この双曲面上に世界線を辿ることができない。なぜなら、この双曲面上の線分は全て[[時空|空間的]]だからである（これはある瞬間における断面であり、全ての動く粒子は無限大の[[速度]]を持つことになってしまう）。[[タキオン]]を持ち出したとしても、「ゴム膜」のアナロジーをナイーブに当てはめたときに予期されるような軌跡を辿るわけではない。一例をあげれば、この窪みが下向きでなく上向き描かれていたとしても、タキオンの軌跡は中心質量に向かって曲がるのであって離れるように曲がるのではない。
フラムの双曲面は次のように導出することができる。[[ユークリッド距離|ユークリッド計量]]の下の距離を[[円柱座標変換|円柱座標系]] {{Math|(''r'', ''φ'', ''w'')}} を用いて書くと下のように書き下せる。
: <math>
\mathrm{d}s^2 = \mathrm{d}w^2 + \mathrm{d}r^2 + r^2 \mathrm{d}\phi^2
</math>
この曲面を {{Math|1=''w'' = ''w''(''r'')}} なる[[関数]]で表わすことにすると、ユークリッド計量はつぎのように書き下せる。
: <math>
\mathrm{d}s^2 = \left[ 1 + \left(\frac{\mathrm{d}w}{\mathrm{d}r}\right)^2 \right] \mathrm{d}r^2 + r^2\mathrm{d}\phi^2
</math>
これをある固定時間の下 {{Math|1=(''t'' = const., d''t'' = 0)}} での赤道面 ({{Math|1=''θ'' = ''π''/2}}) におけるシュワルツシルト計量での距離
: <math>
\mathrm{d}s^2 = \left(1-\frac{r_{s}}{r} \right)^{-1} \mathrm{d}r^2 + r^2\mathrm{d}\phi^2
</math>
と比較すると、{{Math|''w''(''r'')}} の[[積分法|積分]]表式は次のように書けることがわかる。
: <math>
w(r) = \int \frac{\mathrm{d}r}{\sqrt{\frac{r}{r_\mathrm{s}}-1}} = 2 r_{s} \sqrt{\frac{r}{r_\mathrm{s}}- 1} + \mbox{constant}
</math>
この解がフラムの双曲面である。
== 軌道運動 ==
シュワルツシルト計量下における粒子は、{{Math|''r'' > 3''r''<sub>s</sub>}} の場合は安定な[[円軌道]]を描くことができる。{{Math|3''r''<sub>s</sub>/2 < ''r'' < 3''r''<sub>s</sub>}} の間の場合は円軌道は不安定となり、{{Math|''r'' < 3''r''<sub>s</sub>/2}} の場合は円軌道は存在しない。この最小半径 {{Math|3''r''<sub>s</sub>/2}} における円軌道は軌道速度が光速となる軌道に対応する。{{Math|''r''<sub>s</sub> < ''r'' < 3''r''<sub>s</sub>/2}} の場合でも円を描かせることはできるが、なんらかの力を加える必要がある。
[[水星]]のような非円形軌道では、[[ニュートン力学]]から予測されるよりも長い間、動径が小さい部分にとどまる。この事実を、粒子が事象の地平面を超えて永遠に出てこないという場合のあまり極端でない例だと考えることもできる。水星の場合と事象の地平面に落ち込む場合の間の中間例には、例えば、任意の回数だけほぼ円形の軌道を描いたあと外側に戻ってくる「ナイフエッジ」軌道のような直感的でない例が存在する。
== 対称性 ==
シュワルツシルト計量上の[[等長写像|等長変換]]の成す[[群 (数学)|群]]は10次元[[ポアンカレ群]]の、時間軸（恒星のトラジェクトリ）をそれ自身に写すような[[部分群]]である。ここには空間並進（3次元）と[[ローレンツ変換|ブースト]]（3次元）は含まれない。時間並進（1次元）と回転（3次元)は含まれる。したがって、4つの次元を持つ。ポアンカレ群の場合と同様、4つの連結成分が存在する。恒等成分、時間反転成分、空間反転成分、時間空間反転成分である。
== 引用 ==
{{Quote|{{Lang|de|Es ist immer angenehm, über strenge Lösungen einfacher Form zu verfügen.}}" (思い通りに単純な厳密解が得られた時はいつも快い)''|Karl Schwarzschild, 1916.}}
== 関連項目 ==
*
*
*[[事象の地平面]]
* {{仮リンク|シュワルツシルト解の導出|en|Deriving the Schwarzschild solution}}
* [[ライスナー・ノルドシュトロム解]]（電荷を持ち、角運動量を持たない解）
* [[カー解]]（電荷を持たず、角運動量を持つ解）
* [[カー・ニューマン解]]（電荷を持ち、角運動量も持つ解）
* [[ブラックホール]] 総説
* {{仮リンク|シュワルツシルト座標|en|Schwarzschild coordinates}}
* [[クルスカル・スゼッケル座標系|クルスカル・セケレシュ座標]]
* {{仮リンク|エディントン・フィンケルシュタイン座標|en|Eddington–Finkelstein coordinates}}
* {{仮リンク|グルストランド・パンルヴェ座標|en|Gullstrand–Painlevé coordinates}}
* {{仮リンク|ルメートル座標|en|Lemaitre coordinates}}（{{仮リンク|同期座標|en|Synchronous coordinates}}によるシュワルツシルト解）
* {{仮リンク|一般相対性理論における基準場|en|Frame fields in general relativity}}（シュワルツシルト真空におけるルメートル観測者）
== 出典 ==
{{Reflist}}
== 参考文献 ==
{{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|ref=harv|bibcode=1916AbhKP1916..189S|DOI=}}
:* [http://de.wikisource.org/wiki/%C3%9Cber_das_Gravitationsfeld_eines_Massenpunktes_nach_der_Einsteinschen_Theorie Text of the original paper, in Wikisource]
:* Translation: {{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}}
:* A commentary on the paper, giving a simpler derivation: {{Cite arXiv|last=Bel|first=L.|year=2007|title=Über das Gravitationsfeld eines Massenpunktesnach der Einsteinschen Theorie|class=gr-qc|eprint=0709.2257}}
* {{Cite journal|last=Schwarzschild|first=K.|year=1916|title=Über das Gravitationsfeld einer Kugel aus inkompressibler Flüssigkeit|journal=[[Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften]]|volume=1|issue=|pages=424|bibcode=|DOI=}}
* {{Cite journal|last=Flamm|first=L.|year=1916|title=Beiträge zur Einstein'schen Gravitationstheorie|journal=[[Physikalische Zeitschrift]]|volume=17|issue=|pages=448|bibcode=|DOI=}}
* {{Cite book|title=Introduction to General Relativity|edition=2nd|year=1975|publisher=[[McGraw-Hill]]|ISBN=0-07-000423-4|last1=Adler|last2=Bazin|last3=Schiffer|first1=R.|first2=M.|first3=M.|at=Chapter 6}}
* {{Cite book|ref=harv|title=The Classical Theory of Fields|edition=4th Revised English|series=[[Course of Theoretical Physics]]|year=1951|publisher=[[Pergamon Press]]|ISBN=0-08-025072-6|volume=2|last1=Landau|last2=Lifshitz|first1=L. D.|first2=E. M.|at=Chapter 12}}
* {{Cite book|title=Gravitation|year=1970|publisher=[[W.H. Freeman]]|ISBN=0-7167-0344-0|last1=Misner|last2=Thorne|last3=Wheeler|first1=C. W.|first2=K. S.|first3=J. A.|at=Chapters 31 and 32}}
* {{Cite book|last=Weinberg|first=S.|title=Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity|year=1972|publisher=[[John Wiley & Sons]]|ISBN=0-471-92567-5|at=Chapter 8}}
* {{Cite book|title=Exploring Black Holes: Introduction to General Relativity|year=2000|publisher=[[Addison-Wesley]]|ISBN=0-201-38423-X|last1=Taylor|last2=Wheeler|first1=E. F.|first2=J. A.}}
* {{Cite journal|last=Heinzle|first=J. M.|year=2002|title=Remarks on the distributional Schwarzschild geometry|journal=[[Journal of Mathematical Physics]]|volume=43|issue=3|page=1493|arxiv=gr-qc/0112047|bibcode=2002JMP....43.1493H|DOI=10.1063/1.1448684}}
* {{Cite arXiv|last=Foukzon|first=J.|year=2008|title=Distributional Schwarzschild Geometry from nonsmooth regularization via Horizon|class=physics.gen-ph|eprint=0806.3026}}
{{相対性理論}}
| |||