バーコフの定理という時空の時間に関する対称性について軽くまとめてみます.
シュワルツシュルト外部解
と書けますね().これは真空における解なので,実際に物質が分布している部分は記述しておらず,外部解や真空解と言われます.
逆に,物質が分布している部分の時空を記述するものは,内部解と言われます.
バーコフの定理の主張は,球対称解は静的であり,かつそれはシュワルツシュルト解のみであるというものです.
シュワルツシュルト時空の静的性
座標に依存せずに対称性をはかるためにキリングベクトルを用いて静的とはどのように定義されるのかを確認しておきます.まず超曲面を用意して,これを複製したものを積み重ねていき,その超曲面に直交するように回転率のないコングルエンスを通すとします(超曲面直交⇔回転率なしです).そうすると,そのコングエンスに伴うベクトル場は超曲面の法ベクトル場であるわけですが,その積分曲線をたどっても超曲面は一定であるわけですからキリングベクトルになっています.そのようなキリングベクトルが時間的である部分があれば,あるいは漸近的にでも時間的であればその時間的である領域における観測者からするとこのように作られた時空は静的であると考えられます.時間的でない領域における観測者からすれば,静的ではないのでしょう(このあたりを議論している文献が見当たらないので自信がなく個人的な見解になりますが...).逆に静的な時空とは少なくとも漸近的にでも時間的であるような完備なキリングベクトルが存在して,それが超曲面直交であるような時空と定義します.ちなみに,そのようなキリングベクトルが存在はするが超曲面直交でないときには定常な時空といいます.
静的とは何かがはっきりとしたところで,準備としてシュワルツシュルト時空が静的であることを確かめましょう.これを確かめればあとは球対称解がシュワルツシュルト時空のみであることが示されればよいわけです.ベクトル場は完備なキリングベクトルになっていてで時間的です.これは簡単な計算で確認ができて,
とリー微分が0,すなわちキリングベクトルです.なのでで時間的です.また都合よくというのはまさに一定面の法ベクトルであるので,その面に直交しています(このようにかけるはキリングパラメータといいます).よってシュワルツシュルト時空は静的な時空といえます.
球対称時空とシュワルツシュルト解の一意性
一意性自体は,標準的なテキストにあるような計算過程を追ってシュワルツシュルト解がただひとつでているということが証明になっているので割愛します.
ひとつコメントするとするなら,,と置いて計算し,そのまま終了しているテキストが多いのが気にはなりました.
計算の簡略化とを期待してそのように置くこと自体は良いアイデアだとは思うのですが,も考えたいのであれば,,と置きなおしてもう一度計算を追うか一言注意はしておいたほうがいいのかなと思っています(計算内容自体は符号が変わるだけなのですが).
この記事では,その計算は割愛するかわりにテキストではじめに仮定される,球対称性というものについて少しだけ掘り下げたいと思います.
おそらく量子力学でよく行う計算なので省きますが,角運動量演算子
がの生成子で,2次元球面のキリングベクトルが3つの任意パラメータを()としになります(難しくはないのでに対するキリング方程式を立てて求めてみるといい計算練習になります).
4次元時空が球対称性をもつというのは4次元時空が上にあげたキリングベクトルをもつということです.,以外の座標,を足して
で,成分が
であるということです.さてやりたいことはこれをキリングベクトルにもつような時空の計量がどのように制限されるかということです.単にキリング方程式に突っ込めばよいです.
の方程式より得られるのは
ということはすぐにわかります.代表してのみを考えればよいですね.任意パラメータにかかるのはのみなので
がいえます.すなわち,がに依らないことがわかりました.このことからキリング方程式はさらに,
となり,のときとほぼ同様にしてただちにがにも依らないということがわかります.キリング方程式の形は同じなので,,についても同様のことが言えます.
,(代表して)の方程式より得られるのは
同様の論法で,にかかるのはだけであり,これがなのではに依らず,
これに対するとの係数からそれぞれ次の式
が得られます.これよりとなりますが,これが恒等的に成り立つためにはでなければなりません.これをキリング方程式に戻せばがにも依らないことがただちにわかります.これはをに置き換えても同様です.
,(代表して)の方程式より得られるのはに注意して
で,の係数より
を得て,恒等的に0となるためにはとなります.
,のキリング方程式についてはわざわざ調べる必要がありません.もともとこのキリングベクトルは2次元球面のキリングベクトルであり,高次元の座標と無関係な計量成分であるのでに共形であり,計量はもとの計量から,にだけ依った関数倍の自由度しかありません.
まとめると球対称時空の計量は
とかけます.これ以降は一般的なテキストに従えばよいはずです(以上は最初に仮定される球対称時空の一般形について丁寧に考察してみたということです).座標変換をしてより簡単な形にしてアインシュタイン方程式に代入していけばシュワルツシュルト解を得られます.
バーコフの定理とニュートン重力
バーコフの定理は,重力源が球対称であれば真空領域は静的であるという主張ですが,これはそこまで驚くべき定理ではなくてニュートン重力や電場等のガウスの法則でも成り立っていることです.球対称性があれば,例えば重力源を球で囲んでガウスの法則を考えれば,重力源や電荷が消失したり生成したりしない限り重力場や電場は静的ですよね.ニュートン重力の場合,球殻な重力源の球殻の内側についてはガウスの法則を考えればわかるように重力が働きません.ということは一般相対性理論でも球殻の内側では重力がない,すなわち平坦時空になっているという予想が立ちます.バーコフの定理より,球殻内部であっても真空であるので,シュワルツシュルト外部解となります.そして積分の定数であるは内側の質量なので(ガウスの法則のように),今の場合はとなります.よって,とミンコフスキー時空になります.