クリストッフェル記号について
クリストッフェル記号とは、
リーマン幾何学において、
測地線の微分方程式を定式化するために導入される記号であり、主にブルーノ・クリストッフェル(1829–19
00)の名にちなんで名付けられました。この記号には主に二つの種類があり、第一種クリストッフェル記号と第二種クリストッフェル記号に分けられていますが、一般には第二種のクリストッフェル記号がよく用いられます。
クリストッフェル記号の概要
リーマン幾何学では、n次元の
多様体と呼ばれる空間を扱います。
測地線の長さは積分を用いて表現され、その長さは基本計量
テンソルという関数によって記述されます。
測地線の微分方程式は、オイラー・ラグランジュの方法を用いて導出され、その式が実際に
測地線を特定するための基礎となります。このようにして、クリストッフェル記号は
測地線の性質と計量テンスの関係を結びつける重要な要素となります。
クリストッフェル記号の定義
次に、クリストッフェル記号の具体的な定義について見ていきます。
第一種クリストッフェル記号
第一種クリストッフェル記号は、基本計量
テンソルから次のように定義されます:
$$
[j\,k\,a] = \frac{1}{2}\left( \frac{\partial g_{ja}}{\partial x^{k}} + \frac{\partial g_{ka}}{\partial x^{j}} - \frac{\partial g_{jk}}{\partial x^{a}} \right)
$$
第二種クリストッフェル記号
一方、第二種クリストッフェル記号は次のように定義されます:
$$
\left\{ {{i} \atop {j\,k}} \right\} = \frac{1}{2} g^{ia}\left( \frac{\partial g_{ja}}{\partial x^{k}} + \frac{\partial g_{ka}}{\partial x^{j}} - \frac{\partial g_{jk}}{\partial x^{a}} \right)
$$
これにより、クリストッフェル記号は計量
テンソルから導出されたレヴィ・チヴィタ接続に基づく、
座標空間における表現として機能します。
性質と応用
クリストッフェル記号は幾つかの重要な性質を持っています。特に、第二種クリストッフェル記号は添字の順番に対して対称です。すなわち、次の等式が成り立ちます:
$$
\left\{ {{i} \atop {j\,k}} \right\} = \left\{ {{i} \atop {k\,j}} \right\}
$$
また、クリストッフェル記号は
テンソルではないため、
座標変換を行った際にその成分が単純な法則に従わないことも重要な点です。
さらに、一般相対論においてクリストッフェル記号は不可欠な役割を持ち、アインシュタインの方程式において物質が
時空をどのように曲げるかを記述する際の基盤となります。特に、クリストッフェル記号を用いることで、粒子や光の軌跡を測地的方程式を解くことによって予測することが可能になります。
まとめ
クリストッフェル記号は、
リーマン幾何学及び一般相対論において、重要な役割を果たします。その定義、性質、応用に至るまでの理解は、現代の幾何学や
物理学における基本的な枠組みを形成しています。今後の研究や学習においても重要なテーマであり、さらなる探求が期待されます。