共変微分
計算が丁寧なのは親切心からじゃない。 ただ自分が気になるからだ。
リーマン幾何学
これからリーマン幾何学の勉強を始めよう。 一般相対性理論に使うための、ごく初歩的なところだけを説明する予定だ。 これから話すことが全て理解できたとしてもリーマン幾何学を理解したと過信してはいけない。 (説明している私が理解していないのだから。)
我々は小学生の頃から平らなノートの上に三角形やら四角形やらを描いて図形やベクトルを勉強してきた。 これらは平らな空間を前提にしてきたものであり「ユークリッド幾何学」と呼ばれている。 しかしリーマン幾何学ではノートそのものが曲がっている場合を扱う。
それは座標の目盛りが曲がっていることとは関係ない。 だから単に座標を極座標で書き換えたようなものとは違う。 平面の上に描いた図形をデカルト座標以外の座標を使って表したからといって、その図形の性質そのものが変わってしまうわけではないからだ。
ではどんな座標を使えばそのような曲がった状況を表せるというのだろうか。 例えば、( r, θ, ) の3次元の極座標を考える。 ここでパラメータの一つである r が r = a で一定とでも置いてやれば、それは球面を表す事になる。 つまり、この面のすべての点が ( θ, ) という2つのパラメータのみで表される状況である。 何もかもがこの面上で起きるとき、・・・もう一つのパラメータ r の存在が一切出てこないとき、これは曲がった面での幾何学だと言える事になる。
曲がった面、曲がった空間を表すこと自体はこのようにそれほど難しいことではない。 大切なのは、その面の上でどんなことが成り立っているかを知ることである。
共変微分
しかししばらくは「ユークリッド」の平らな空間を基礎に置いて議論しよう。 曲がった空間の話が出てくるのはもっと後になる。 その時にはちゃんと宣言するので、いつの間にか曲がった空間の話に突入していた、なんてことになりはしないかと心配する必要はない。
デカルト座標 Xi で表した共変ベクトル Ai を極座標などの別の方法で表した座標系 xi に変換したものを ai と表すとすると、
という関係が成り立っている。 元に戻したければ、
という関係を使う。 これは第1部で学んだ事だ。
さて、ここで Ai が全空間で一定のベクトルだったとしよう。 静磁場や静電場のようなイメージだ。 これを Xi で微分してやると、変化がないのだから当然
となる。 同じことを別の座標系で行うとどうなるか。
となって0にはならない。 ベクトルは一定であるのに、それを測る座標の目盛りの方が場所によって変化するので、計算上はあたかも変化しているかのように見なされてしまうのである。 これは面倒だ。
ベクトルそのものは変化していないのだから、たとえ別の座標系で表されていようとも、そのことを知ることが出来るような手段が欲しい。 そこでどうすれば良いかと言うと、先ほどの結果を予め引いておいたものを使えばいいのである。 つまり、
という演算を定義する。 この新たに定義された演算を ai の「共変微分」と呼ぶ。 この名前の由来は今回の記事の後の方で説明する。
すると、Ai が定ベクトルである場合には、
であることが言える。
共変微分の別定義
先ほどの共変微分の定義の第2項目はごちゃごちゃしていて毎回書くのが面倒くさい。 そこで、次のように表す事にする。
つまり、
だということだ。 この Γ 記号を「クリストッフェ
共変微分
計算が丁寧なのは親切心からじゃない。 ただ自分が気になるからだ。
リーマン幾何学
これからリーマン幾何学の勉強を始めよう。 一般相対性理論に使うための、ごく初歩的なところだけを説明する予定だ。 これから話すことが全て理解できたとしてもリーマン幾何学を理解したと過信してはいけない。 (説明している私が理解していないのだから。)
我々は小学生の頃から平らなノートの上に三角形やら四角形やらを描いて図形やベクトルを勉強してきた。 これらは平らな空間を前提にしてきたものであり「ユークリッド幾何学」と呼ばれている。 しかしリーマン幾何学ではノートそのものが曲がっている場合を扱う。
それは座標の目盛りが曲がっていることとは関係ない。 だから単に座標を極座標で書き換えたようなものとは違う。 平面の上に描いた図形をデカルト座標以外の座標を使って表したからといって、その図形の性質そのものが変わってしまうわけではないからだ。
ではどんな座標を使えばそのような曲がった状況を表せるというのだろうか。 例えば、( r, θ, ) の3次元の極座標を考える。 ここでパラメータの一つである r が r = a で一定とでも置いてやれば、それは球面を表す事になる。 つまり、この面のすべての点が ( θ, ) という2つのパラメータのみで表される状況である。 何もかもがこの面上で起きるとき、・・・もう一つのパラメータ r の存在が一切出てこないとき、これは曲がった面での幾何学だと言える事になる。
曲がった面、曲がった空間を表すこと自体はこのようにそれほど難しいことではない。 大切なのは、その面の上でどんなことが成り立っているかを知ることである。
共変微分
しかししばらくは「ユークリッド」の平らな空間を基礎に置いて議論しよう。 曲がった空間の話が出てくるのはもっと後になる。 その時にはちゃんと宣言するので、いつの間にか曲がった空間の話に突入していた、なんてことになりはしないかと心配する必要はない。
デカルト座標 Xi で表した共変ベクトル Ai を極座標などの別の方法で表した座標系 xi に変換したものを ai と表すとすると、
という関係が成り立っている。 元に戻したければ、
という関係を使う。 これは第1部で学んだ事だ。
さて、ここで Ai が全空間で一定のベクトルだったとしよう。 静磁場や静電場のようなイメージだ。 これを Xi で微分してやると、変化がないのだから当然
となる。 同じことを別の座標系で行うとどうなるか。
となって0にはならない。 ベクトルは一定であるのに、それを測る座標の目盛りの方が場所によって変化するので、計算上はあたかも変化しているかのように見なされてしまうのである。 これは面倒だ。
ベクトルそのものは変化していないのだから、たとえ別の座標系で表されていようとも、そのことを知ることが出来るような手段が欲しい。 そこでどうすれば良いかと言うと、先ほどの結果を予め引いておいたものを使えばいいのである。 つまり、
という演算を定義する。 この新たに定義された演算を ai の「共変微分」と呼ぶ。 この名前の由来は今回の記事の後の方で説明する。
すると、Ai が定ベクトルである場合には、
であることが言える。
共変微分の別定義
先ほどの共変微分の定義の第2項目はごちゃごちゃしていて毎回書くのが面倒くさい。 そこで、次のように表す事にする。
つまり、
だということだ。 この Γ 記号を「クリストッフェルの三指標記号」と呼ぶ。 これは第2部ですでに紹介した事があるものだが、その時に示した定義はこれとは違っていたのを覚えているだろうか。
その通り。 今回のような定義を使い続けるのは学問的にまずいのである。 なぜなら、これから曲がった空間についての議論を進めようというのに、デカルト座標の存在を前提にするような定義の仕方はいつまで通用するか分からないからである。 幸いにも別の方法を使って同じことを表すことができる。 計量の組み合わせを使えばいい。
計量というのはテンソルの一種であり、 xi 系での計量 とデカルト座標系での計量 の間には
という変換が成り立っている。 この式を微分してやると、
(1)
となり、余計な項が付いて来てはいるが、先ほどのクリストッフェル記号のまずい定義で使っているのと似た形の項が現れる。 は全空間で一定なので微分してやる必要はないからこのような結果になっている。 この式の左辺の添え字 i, j, k を入れ替えてやると、
(2) (3)
という式も作られることになるが、計量というのは添え字の入れ替えに対して対称であるため、 m と n を入れ替えて比較してやると、
(1)式 = A + B (2)式 = C + A (3)式 = B + C
という構造になっていることが分かる。 ここでもし(2)式 +(3)式 -(1)式 という組み合わせを作って2で割ってやるとすると、 C に相当する項だけが生き残ることになるわけだ。 それを実現するために
という量を新たに定義しよう。 これを「クリストッフェルの第1種記号」と呼んだりする。 先ほどから出てきている方が「第2種」というわけだ。 とにかく、
が言える。 第2種クリストッフェル記号は、これに対して少し手を加えて、
のように定義できるものだとする。 すると、
となり、先ほどのまずい定義と全く同じものが得られる。 (添え字はその場その場で適当に空いているものを選んで使っているだけなので、 k か m かという違いは気にしてはいけない。) よって今後は、クリストッフェルの記号の正式な定義として
を採用する事にして、古い足跡は消してしまうことにしよう。 この定義ならばデカルト座標の存在の気配がないので好都合だ。
クリストッフェル記号の性質
今さら言わなくても分かっているかも知れないが、クリストッフェル記号は場所の関数になっている。
クリストッフェル記号には3つの添え字があるのだから、2次元空間では組み合わせが 23 = 8 通り。 3次元では 33 = 27 通り。 4次元では 43 = 64 通りある。 しかし下側に付いている二つの添え字を入れ替えても同じ値なので独立な成分はこれよりは少ない。
これらの成分はデカルト座標について計算すると全地点ですべて0になる。 なぜなら、デカルト座標の計量というのはいたる所で定数であり、クリストッフェル記号は計量を微分したものから出来ているからである。 いや、待てよ。 計量がいたる所で定数というのならデカルト座標に限らず、斜交座標でも同じことが言えるだろう。 特殊相対論に出てきたミンコフスキー座標についても同じことが言える。 今後の私の説明ではこれら、デカルト座標、斜交座標、ミンコフスキー座標などをまとめて「直線座標」と呼ぶことにしよう。
クリストッフェル記号はいかにも3階の混合テンソルであるかのような姿をしているが、実はテンソルの資格はない。 これがどんな変換規則に従っているか、確認してみよう。
これは少しばかり面倒くさいことになる。 なるべく簡単に答えを得る方法を考えてみよう。 そのためにまずは「第1種クリストッフェル」の変換則を考えることにする。
(4)
この式からダッシュのない同じ形式のものを取り出してやればいいわけだ。 この式の3つの項は同じ計算をして添え字を入れ替えているだけなので、代表して第1項目だけ計算してみる。
これ以上続けると式が長くなるので、2つの項をそれぞれ X, Y とおいた。 別々に計算することにしよう。 X の部分は、
であり、i, j, k を入れ替えると同時に l, m, n を入れ替えれば、初めの3つの偏微分の積は値を変えることがない。 つまり、(4) 式の3つの項を合わせてやれば、
となり、もし Y の部分がなければ Γnlm は3階の共変テンソルだと言えることになる。 しかし Y の部分の存在がそれを邪魔するのである。
(5)
これは(4)式の初めの第1項を計算しただけのものであるから、この i, j, k を入れ替えたものをそれぞれ Y', Y'' として、 Z = (1/2)( Y + Y' - Y'') を計算してやる必要がある。
(6) (7)
ここで
(5)式 = A + B (6)式 = C + A (7)式 = B + C
となっているから、
となる。 まとめれば、Γ'kij の変換性は、
と表せるということだ。 これに g'tk を掛ければ、第2種記号の変換性が求まる。
(8)
確かに、テンソルの変換の形式ではない。 この式に式番号が付いているという事は、きっとどこかでこの結果を使うつもりがあるということだ。
微分はテンソルではない
テンソルの資格がないのは、クリストッフェル記号だけではない。 ベクトルを普通に微分したものもテンソルではない。 例えば反変ベクトルを微分したものは次のように変換できる。
もし第1項だけだったならば、これは2階の混合テンソルの変換規則になっていると言える。 しかし第2項が余分なのである。 第2項には2階微分が含まれているので、ローレンツ変換のような場合にはちゃんと0になってくれているが、一般的にはそうはならない。
共変ベクトルを微分した場合にも同じ事が言...