source freeな電磁場を重力源とし宇宙項を持つEinstein-Maxwell系の厳密解についての定理としてBirkhoff(バーコフ)の定理というものが有名です。この記事ではBirkhoffの定理を証明します。
イントロ
1916年に4次元静的球対称のEinstein方程式の真空解であるSchwartzschild計量が見つかりました。そして1923年にGeorge David Birkhoff(ジョージ・デビット・バーコフ)は「4次元の真空解で空間的球対称なものは静的で漸近的平坦、すなわちSchwartzschild計量のみである」というBirkhoffの定理を証明しました。ただ1921年に既にノルウェーの物理学者Jørg Tofte Jebsen(ヨルグ・トフテ・イェブセン)がこの定理を発表していたらしいのでJebsen-Birkhoffの定理と呼ぶべきなのかもしれません。
Birkhoff
さらにBirkhoffの定理はsource-freeな電磁場を含むEinstein-Maxwell系にまで一般化されています。この記事ではこの一般化されたBirkhoffの定理を証明します。一般相対論を勉強すると必ずSchwartzschild計量の導出はやると思いますが、Birkhoffの定理を勉強することでより一般的な立場から応用も効きやすい形で学べるのでおすすめです。
Lorentz計量の符号はtimelikeを負に取るようにします。
定義と定理の定式化
まずEinstein-Maxwell系とは以下です。
Einstein-Maxwell系
時空とし、ゲージ場に対してそのfield strengthをとする。重力場と電磁場の組がEinstein-Maxwell方程式
を満たすとき、がEinstein-Maxwell系を成すという。
時空が静的であることと球対称であることの定義は以下です。
静的、球対称
を次元時空とする。このときが静的(static)であるとは、timelike Killingベクトル場が存在し、が成り立つことである。すなわちに関する直交分布がFrobenious可積分となることである。このときに直交するspacelike超曲面のfoliationが存在する。
が球対称であるとは、がに等長変換として作用し、その軌道が次元のspacelike曲面のfoliationを成すことである。
次のBirkhoffの定理が成り立ちます。
Birkhoffの定理(Einstein-Maxwell ver)
4次元時空が球対称なEinstein-Maxwell系の解であるとする。さらにの軌道の断面曲率がとする。このとき適当な座標近傍がありは
と表される。
さらにとするとき、電磁場は
で与えられる。
証明
ではBirkhoffの定理を証明します。まず群作用から計量がどこまで決定されるかを見ます。
を4次元時空とし、3次元Lie群がに等長変換群として作用しているとする。このとき、の2次元の部分多様体によるfoliationがあり、は各leafに推移的に作用しているとする。また各leafはnullではないとする。
このとき適当な座標近傍があり
と表される。ここでの軌道がspacelikeなときはで、timelikeなときはとし、
であり、はの関数である。
さらにの軌道の断面曲率がを満たすならとできる。
局所的に座標があり、の各leafがこの座標に関してが一定となるようにできる。各leafをと書く。
あるleafに対して、を通りに直交する測地線をとする。の作用が作るKillingベクトル場をとすると、であり、また測地線とKillingベクトル場の内積はその測地線上で一定であるから、である。は各leafに接しており、は各leafに推移的に作用するからは各leafに直交する。
を通り、に直交する測地線の集合が定める2次元の部分多様体をとする。上で示したことによりは各leafに直交する。上で各に対してを作るとnullでない2次元部分多様体のfoliationが得られる。
の各leaf上で一定となる独立な2つの関数はの各leaf上の座標となる。の各leaf上で一定となる独立な2つの関数はの各leaf上の座標となる。さらにがMの適当な開近傍の座標となる。
以下、などとする。上の誘導計量を、上の誘導計量をとするととなる。
はの各軌道に制限しても等長変換群として作用しているから、よりである。またの作用の作るKillingベクトル場は(は適当な関数)と表されるので
となる。が推移的に作用することを考えるとはに依存せず、となる。さらにを適当に取り換えることで
としてよい(
2次元擬リーマン多様体の計量の対角化座標について
)。
各leafは2次元定曲率空間であり、の等質空間であることから曲率の正、負、0は全てのleafで同一である(曲率はのLie環で決まる)。よってを断面曲率がのいずれかの計量とするとき、と表される。を適当に取ることで
と表される。ただしの軌道がspacelikeのとき、timelikeのときとする。またの構成の仕方からのときはと取ることが可能である。
Warped積多様体の曲率
の断面曲率の公式より
であるから、となることがありえない(もしそうならが定数となりも定数となってしまう)。よってとできる。
次に上のような時空上のsource-free Maxwell方程式を満たす電磁場を決定します。
を4次元時空、を3次元Lie群とする。
はに等長変換群として作用し、その軌道はMのspacelikeな2次元の部分多様体によるfoliationを成すとする。
このとき適当な座標近傍において
と表されているとする。ここではの関数である。また
とする。
co-frameをとするとき、Maxwell方程式を満たし、の作用で不変な電磁場は
で与えられる。特にのとき、となる。
などとする。
とおく。
の作用が作るKillingベクトル場をとする。このとき、
であり、またよりとなる。
またこのときが成り立つ。
次に
であるから、となる。
また任意の点に対してをの固定部分群の生成するKillingベクトル場とすると、であるから、上の式の第二項は
であり、
であるから、行列は正則であり、となる。
よって
となる。
さらにのとき
となるから、
となり、
が得られる。
またより同様にして
となる。
さらにEinstein-Maxwell方程式から計量を決定します。
時空の適当な座標近傍において
と表されているとする。ここではの関数である。また
とする。co-frameをとするとき、電磁場が
で与えられているとする。このときがEinstein-Maxwell方程式を満たしているならば、であり、
となる。
に関して、
であるから、
Warped積多様体の曲率
の例より
となるから、である。さらに
より
であるから、はのみの関数でなければならないからこれは定数である。座標を適当に取り換えればこの定数は0としてよいからである。
さらに
となり、これはで積分でき、積分定数をとすると
を得る。
以上より次の定理を得ます。
一般化Birkhoffの定理
4次元時空に3次元Lie群が等長変換として作用しその軌道が2次元のspacelikeなfoliationを成すとし、その軌道の断面曲率がとする。不変な電磁場があり、がEinstein-Maxwell方程式を満たすならば、適当な座標近傍がありは
と表される。ここでであり、は断面曲率がの2次元定曲率リーマン多様体の計量である。
さらにとするとき、電磁場は
で与えられる。
まとめと議論
有名な解
定理5において、を以下のようにするとよく知られた時空が得られます。
| | | | |
Schwartzschild | | non zero | 0 | 0 |
Reissner-Nordstrom | | non zero | non zero | 0 |
de Sitter, anti-de Sitter | | 0 | 0 | non zero |
Schwartzschild-de Sitter | | non zero | 0 | non zero |
Reissner-Nordstrom-de Sitter | | non zero | non zero | non zero |
質量体の球対称な振動
Birkhoffの定理からは面白い結論が得られます。質量を持った球の半径が変わるような振動をしているとします。このときBirkhoffの定理から少し離れた位置にいる観測者には球がどれだけ激しく振動していてもその振動が球対称である限り計量は変化しないことになります。これは質量体の球対称な振動は重力波を生じさせないことを意味しています。