資料紹介
ビアンキの恒等式
いよいよ大詰め。 真打登場！
リーマンテンソルの対称性
前にリーマンテンソルの対称性を表す次のような式を紹介した。
(1) (2)
その時の約束どおり、今回はこれらを証明する方法を紹介しておこう。
リーマンテンソルの定義はクリストッフェル記号だらけで複雑すぎて嫌になる。 こんな時に有効なのが、前に説明した局所直線座標系の考えである。 つまりある点で接続係数（クリストッフェル記号）が０となるような座標系を使えば、リーマンテンソルが簡単になるだろうと期待できる。 そのような点の上で先ほどの関係式を証明してやればいい。 その関係式はテンソルで書かれているので、その特別な座標系以外でも成り立つと言えるわけだ。
まず４階共変テンソルに直したリーマンテンソルを定義に従って書き下すと
となっているが、今考えている地点では後の２つの項は消えてしまう。 しかし前の２つの項は生き残る。 なぜなら０に出来るのはある点での接続係数だけであって、その微分までも０には出来ないからである。
さらにこれを定義に従って展開してみよう。
ところでここに使われている計量 gij は直線座標系での計量 g~ijになっている。 というのも、接続係数が０だということは、テンソルを平行移動させても値が変わらないということであり、そういう座標系は直線座標系だからである。 つまりこの点の付近に限っては、計量の１階微分は０である。
このことから上の式が全て０になってしまうのだと勘違いしてはいけない。 １階微分が０でも２階微分まで０だとは言えない。 １階微分したものにこの辺りの座標を代入すると０になるというだけである。 ２階微分したものにこの辺りの座標を代入すると０になっていないということはある。
R ij,kl の定義がここまで簡略化できれば上の４つの関係式を確かめるのは以前に比べてかなり楽になるだろう。 というわけで後は読者に任せる事にしよう。
ビアンキの恒等式
( 2 ) 式を導くにはもっと別の方法もある。
まず、 共変微分の交換関係 を確認した時の式を用意する。
そしてこの式全体の共変微分を取ってやる。
(3)
この式はとりあえずこのままにして、次に、この式に良く似た次の関係式を導く。
(4)
この式を導くのは手間がかかるが、それほど難しくはない。 私も記事を書いている責任があるので自分でやってみたが、計算と言うよりはまるでパズルのようだった。 ここに長ったらしい式変形を書くと説明の流れが悪くなるので読者の計算練習としておこう。 (3) 式から (4) 式を引いたものは、
(5)
と書ける。 この式の添え字 j, k, l を入れ替えてやると、次の式を得る事が出来る。
(6) (7)
そして (5)、(6)、(7) 式の和を取ってやるとなんとその左辺は０になる。 なぜなら次のような「ヤコビの関係式」というものがあって、ちょうどその形に当てはまるからである。
[a, [b, c]] + [b, [c, a]] + [c, [a, b]] = 0
この関係式は定義に従って展開すれば誰でもすぐに証明できる程度のものだ。
結局、次のようにまとめて書けるだろう。
この式から次の２つの関係式が常に成り立っていることが言える。 添え字は私の好みで付け替えてある。
(8) (9)
証明はこれで終わりである。 (8)
タグ
All rights reserved.
資料の原本内容
ビアンキの恒等式
いよいよ大詰め。 真打登場！
リーマンテンソルの対称性
前にリーマンテンソルの対称性を表す次のような式を紹介した。
(1) (2)
その時の約束どおり、今回はこれらを証明する方法を紹介しておこう。
リーマンテンソルの定義はクリストッフェル記号だらけで複雑すぎて嫌になる。 こんな時に有効なのが、前に説明した局所直線座標系の考えである。 つまりある点で接続係数（クリストッフェル記号）が０となるような座標系を使えば、リーマンテンソルが簡単になるだろうと期待できる。 そのような点の上で先ほどの関係式を証明してやればいい。 その関係式はテンソルで書かれているので、その特別な座標系以外でも成り立つと言えるわけだ。
まず４階共変テンソルに直したリーマンテンソルを定義に従って書き下すと
となっているが、今考えている地点では後の２つの項は消えてしまう。 しかし前の２つの項は生き残る。 なぜなら０に出来るのはある点での接続係数だけであって、その微分までも０には出来ないからである。
さらにこれを定義に従って展開してみよう。
ところでここに使われている計量 gij は直線座標系での計量 g~ijになっている。 というのも、接続係数が０だということは、テンソルを平行移動させても値が変わらないということであり、そういう座標系は直線座標系だからである。 つまりこの点の付近に限っては、計量の１階微分は０である。
このことから上の式が全て０になってしまうのだと勘違いしてはいけない。 １階微分が０でも２階微分まで０だとは言えない。 １階微分したものにこの辺りの座標を代入すると０になるというだけである。 ２階微分したものにこの辺りの座標を代入すると０になっていないということはある。
R ij,kl の定義がここまで簡略化できれば上の４つの関係式を確かめるのは以前に比べてかなり楽になるだろう。 というわけで後は読者に任せる事にしよう。
ビアンキの恒等式
( 2 ) 式を導くにはもっと別の方法もある。
まず、 共変微分の交換関係 を確認した時の式を用意する。
そしてこの式全体の共変微分を取ってやる。
(3)
この式はとりあえずこのままにして、次に、この式に良く似た次の関係式を導く。
(4)
この式を導くのは手間がかかるが、それほど難しくはない。 私も記事を書いている責任があるので自分でやってみたが、計算と言うよりはまるでパズルのようだった。 ここに長ったらしい式変形を書くと説明の流れが悪くなるので読者の計算練習としておこう。 (3) 式から (4) 式を引いたものは、
(5)
と書ける。 この式の添え字 j, k, l を入れ替えてやると、次の式を得る事が出来る。
(6) (7)
そして (5)、(6)、(7) 式の和を取ってやるとなんとその左辺は０になる。 なぜなら次のような「ヤコビの関係式」というものがあって、ちょうどその形に当てはまるからである。
[a, [b, c]] + [b, [c, a]] + [c, [a, b]] = 0
この関係式は定義に従って展開すれば誰でもすぐに証明できる程度のものだ。
結局、次のようにまとめて書けるだろう。
この式から次の２つの関係式が常に成り立っていることが言える。 添え字は私の好みで付け替えてある。
(8) (9)
証明はこれで終わりである。 (8) 式の全体に計量 gst を掛けて添え字を下げてやればこれが (2) 式と全く同じものであることが分かるだろう。
しかし (9) 式という新しい関係式も同時に導かれてしまった。 この式は「ビアンキの恒等式」と呼ばれる。 この関係式はこの後、非常に重要な役割を果たすのである。 扱いやすいようにここでちょっと変形しておこう。 全体に gns を掛けて添え字 n を下げてやる。
こういうことが出来るのは計量条件があるお陰である。 すぐ後でも同じことをするので、そのとき丁寧に説明しよう。
このビアンキの恒等式はリーマンテンソルの対称性にさらに制限を掛けたりはしないのだろうか。 つまり、その自由度を２０個よりもさらに少なくすることにはならないだろうか。 その点問題はない。 この式は微分したものの間の関係なので、別の点におけるリーマンテンソルの値との関係について制限を与えているだけである。
ビアンキの関係式についても、今回の初めにやったような局所直線座標系の考えを使って証明し直してやることが出来るのだが、もうわざわざここでやる必要はないだろう。 (2) 式を証明したときよりも少々複雑になるので、計算や思考の訓練をしたい人はチャレンジしてみてもいいかも知れない。
アインシュタイン・テンソル
ビアンキ恒等式に gtk を掛けて縮約を取る。
計量条件があるから、gtk をそのまま共変微分の中へ入れてやっても意味は変わらない。
こうしてこれらのカッコの中は大騒ぎである。 前回示した関係式によりリッチテンソルに変わったりする。
これにさらに gsj を掛けて縮約してやると、やはり計量条件のために単純に共変微分の中に入ることが許され、
カッコの中を計算してやるとスカラー曲率になるものが現れたりする。
これをもっときれいにまとめておきたい。 第１項をいじって、
としておくと共変微分の添え字が揃うので、
と出来る。 このカッコの中を、
と置けば、
とシンプルに書けるだろう。 Gji の定義の中にデルタ記号が入っているのがちょっとかっこ悪いと感じるならば、これに gik を掛けて、
というものを定義してやればいい。 計量条件があるので、
という式が成り立っていることもすぐに分かる。 ここに出てきた Gjk は「アインシュタイン・テンソル」と呼ばれている。 第２部で重力場の方程式を紹介した時に出てきたやつだ。
Gjk は対称行列であり、４次元の場合には独立成分は１０個である。 具体的に Gjk のどの成分がどんな意味を持つのかというイメージはもうほとんど分からないが、空間の曲がり具合を表す量であることは確かだ。
Gjk というのはそれに加えて、共変微分を取ると常に０になるという不思議な性質を備えた特別なテンソルである。 リッチテンソルやスカラー曲率の単独ではそのような性質は持たないのだった。
資料提供先→ http://homepage2.nifty.com/eman/relativity/bianchi.html
