クリストッフェル記号

リーマン幾何学において、クリストッフェル記号（クリストッフェルきごう、英: Christoffel symbols）またはクリストッフェルの三添字記号（クリストッフェルのさんそえじきごう、英: Christoffel three index symbols）とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う。

クリストッフェル記号には第一種記号 [math]\left[ j k, a \right][/math] と第二種記号 [math]\left\{ { {i}\atop{j k} } \right\}[/math] の二種類があるが、基本的には第二種記号のことを意味する。

概要

リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線

x^h = x^h (t), t₁ ≦ t ≦ t₂

の長さを、積分

[math]I = \int_{t_1}^{t_2} \sqrt{ \sum_{i, j} g_{i j}(x) \frac{\mathrm dx^i }{\mathrm dt} \frac{\mathrm dx^j }{\mathrm dt}}\,\mathrm dt[/math]

で計算できるように、各座標近傍内に

g_ij(x) = g_ji(x)

という関数（基本計量テンソルと呼ばれる）が与えられている。この積分の第一変分 δI を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、

[math]\frac{\mathrm d^{2}x^{h} }{\mathrm ds^2 } + \sum_{j, i} \left\{ { {h}\atop{j i} } \right\} \frac{\mathrm dx^{j} }{\mathrm ds } \frac{\mathrm dx^{i} }{\mathrm ds } = 0[/math]

となる。これを測地線の微分方程式と呼ぶ。なお、ここで

[math]\left\{ { {h}\atop{j i} } \right\} = \sum_a \frac{1}{2} g^{h a} \left(\frac{\partial g_{i a} }{\partial x^j } + \frac{\partial g_{j a} }{\partial x^i } - \frac{\partial g_{j i} }{\partial x^a } \right)[/math]

であり、これを（第二種）クリストッフェル記号（Christoffel symbol (of the second kind)）と呼ぶ。

クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である。

定義

n次元微分多様体 M 上の各点近傍に定まる座標系を x^h (h = 1, 2, ..., n) とする。さらに各座標近傍内に基本計量テンソル

g_{i j}(x) = g_{j i}(x)

が与えられているものとする。

なお以下においては、アインシュタインの和の規約を用いる。

第一種クリストッフェル記号

第一種クリストッフェル記号は基本計量テンソルから

[math] \left[ j k, a \right] = \frac{1}{2} \left(\frac{ \partial g_{j a} }{\partial x^k } + \frac{ \partial g_{k a} }{\partial x^j } - \frac{ \partial g_{j k} }{\partial x^a } \right) [/math]

と定義される。

第二種クリストッフェル記号

第二種クリストッフェル記号は同じく基本計量テンソルまたは第一種クリストッフェル記号から

[math] \left\{ { {i}\atop{j k} } \right\} = \frac{1}{2} g^{i a} \left(\frac{ \partial g_{j a} }{\partial x^k } + \frac{ \partial g_{k a} }{\partial x^j } - \frac{ \partial g_{j k} }{\partial x^a } \right) = g^{i a} \left[ j k, a \right] [/math]

と定義される。

共変微分によるクリストッフェル記号の導出

第二種クリストッフェル記号が定義されていない代わりに、接続の記号 Γテンプレート:Su とともに共変微分が定義されている場合、接続の記号としてクリストッフェル記号を得ることができる。

二階共変テンソル S_ik の共変微分は定義より、

[math]\nabla_{j} S_{i k} = \frac{\partial S_{i k} }{\partial x^j} - \Gamma^a_{j i} S_{a k} - \Gamma^a_{j k} S_{i a}[/math]（２階共変テンソルの共変微分）

である。また、二階共変テンソルであるリーマン多様体 M の基本計量テンソル g_ik の共変微分についてリッチの補定理

[math]\nabla_j g_{ik} = 0 , \;\; \nabla_j g^{ik} = 0[/math]（リッチの補定理）

が一般の接続の記号 Γテンプレート:Su から定義される共変微分についてもそのまま成り立つものとされているとすると、

[math]\nabla_j g_{ik} = \frac{\partial g_{i k} }{\partial x^j} - \Gamma^a_{j i} g_{a k} - \Gamma^a_{j k} g_{i a} = 0[/math]

であり、添字を並べ替え、補うことにより、上式を計量テンソルの関数として接続の記号について陽に解いて

[math]\Gamma^l_{k j}=\frac{1}{2}g^{l m} \left(\frac{\partial g_{m k}}{\partial x^j} + \frac{\partial g_{m j}}{\partial x^k} - \frac{\partial g_{k j}}{\partial x^m} \right) = \left\{ { {l}\atop{k j} } \right\}[/math]

と、接続の記号としてクリストッフェル記号を導出することができる。

性質

第二種クリストッフェル記号は下の添字について対称

定義から明らかに

[math]\left\{ { {i}\atop{j k} } \right\} = \left\{ { {i}\atop{k j} } \right\}[/math]

が成り立つ。

第二種クリストッフェル記号はテンソルではない

第二種クリストッフェル記号について、座標系 x^h から座標系 u^h（h=1,...,n） への変数変換を行うと

[math]\frac{\partial x^i}{\partial u^a} \left\{ \overline{ { {a}\atop{b c} } } \right\} = \frac{\partial x^j}{\partial u^b}\frac{\partial x^k}{\partial u^c} \left\{ { {i}\atop{j k} } \right\} + \frac{\partial^2 x^i}{\partial u^b \partial u^c} [/math]

ここで、上線は u-座標系に関するクリストッフェル記号であることを表す。

となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。

測地座標系のある一点においてクリストッフェル記号は 0

曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で [math]\left\{ { {i}\atop{j k} } \right\} = 0[/math] となるような座標系は一般に存在しない。ただし、曲面上のある特定の一点 [math]x^i_0[/math] でならば [math]\left\{ { {i}\atop{j k} } \right\}_0 = 0[/math] となるような座標系をとることができる。

ここで、

[math]x^i - x^i_0 = u^i - \frac{1}{2} \left\{ { {i}\atop{j k} } \right\}_0 u^j u^k[/math] ただし、[math]u^i_0 = 0[/math]

なる座標変換を行う。このとき、u^h で偏微分を行うと

[math]\frac{\partial x^i}{\partial u^h} = \delta^i_h - \frac{1}{2} \left( \frac{\partial \left\{ { {i}\atop{j k} } \right\}_0}{\partial u^h} u^j u^k + \left\{ { {i}\atop{j k} } \right\}_0 \delta^j_h u^k + \left\{ { {i}\atop{j k} } \right\}_0 u^j \delta^k_h \right) = \delta^i_h - \frac{1}{2} \frac{\partial \left\{ { {i}\atop{j k} } \right\}_0}{\partial u^h} u^j u^k - \left\{ { {i}\atop{h k} } \right\}_0 u^k [/math]

となり、さらに u^l で偏微分を行うと

[math]\frac{\partial^2 x^i}{\partial u^l \partial u^h} = - \frac{1}{2} \left( \frac{\partial^2 \left\{ { {i}\atop{j k} } \right\}_0}{\partial u^l \partial u^h} u^j u^k + \frac{\partial \left\{ { {i}\atop{j k} } \right\}_0}{\partial u^h} \delta^j_l u^k + \frac{\partial \left\{ { {i}\atop{j k} } \right\}_0}{\partial u^h} u^j \delta^k_l \right) - \frac{\partial \left\{ { {i}\atop{h k} } \right\}_0 }{\partial u^l} u^k - \left\{ { {i}\atop{h k} } \right\}_0 \delta^k_l [/math]

となる。したがって、[math]x^i = x^i_0[/math] のとき [math]u^i_0 = 0[/math] であることから、

[math]\left( \frac{\partial x^i}{\partial u^h} \right)_0 = \delta^i_h , \;\;\; \left( \frac{\partial^2 x^i}{\partial u^l \partial u^h} \right)_0 = - \left\{ { {i}\atop{h l} } \right\}_0 [/math]

を得る。よって、ある一点 [math]x^i_0[/math] におけるクリストッフェル記号の変数変換式が

[math]\left( \frac{\partial x^i}{\partial u^k} \right)_0 \left\{ \overline{ { {k}\atop{h l} } } \right\}_0 = \left( \frac{\partial x^j}{\partial u^h} \right)_0 \left( \frac{\partial x^k}{\partial u^l} \right)_0 \left\{ { {i}\atop{j k} } \right\}_0 + \left( \frac{\partial^2 x^i}{\partial u^h \partial u^l} \right)_0 = \delta_h^j \delta_l^k \left\{ { {i}\atop{j k} } \right\}_0 - \left\{ { {i}\atop{h l} } \right\}_0 = 0 [/math]

であることから、

[math]\delta_k^i \left\{ \overline{ { {k}\atop{h l} } } \right\}_0 = \left\{ \overline{ { {i}\atop{h l} } } \right\}_0 = 0[/math]

すなわち、クリストッフェル記号はある一点 [math]x^i_0[/math] においては全て０となることが導かれる。

このような座標系を、点 [math]u^i = 0[/math] を原点とする測地座標系（geodetic coordinate system）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する。

測地座標系の原点において共変微分は通常の微分と一致する

一階共変テンソルを w_i とするとき、その共変微分は

[math]\nabla_j w_i = \frac{\partial w_i}{\partial x^j} - \left\{ { {a}\atop{j i} } \right\} w_a[/math]

で定義される。座標系 (x^h) を測地座標系 (u^h) へ座標変換すると、その原点において [math]\left\{ \overline{ { {i}\atop{h l} } } \right\}_0 = 0[/math] となる。

したがって、w_i の共変微分は uⁱ = 0 において、

[math]\left( \nabla_j w_i \right)_0 = \left( \frac{\partial w_i}{\partial u^j} \right)_0[/math]

と、共変微分と通常の微分が一致する。

基本計量テンソルの行列式による表示

n 次元リーマン多様体の基本計量テンソル g_ij(x) は n × n の正方行列であると見なせることからその行列式 g

[math]g = \det(g_{i j}) = \left| \begin{array}{ccc} g_{1 1} & g_{1 2} & \cdots \\ g_{2 1} & g_{2 2} & \cdots \\ \vdots & \vdots & \ddots \end{array} \right| [/math]

を定義することができる。ここで、g_ij の余因子行列を G_ij とし、g を x^k で偏微分すると

[math]\frac{\partial g}{\partial x^k} = \frac{\partial g}{\partial g_{i j}} \frac{\partial g_{i j}}{\partial x^k} = G_{i j} \frac{\partial g_{i j}}{\partial x^k}[/math]

となる。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、[math]G_{i j} = g g^{i j}[/math]。よって

[math]\begin{align} \frac{\partial g}{\partial x^k} &= g g^{i j} \frac{\partial g_{i j}}{\partial x^k} = g g^{i j} \left( g_{i a} \left\{ { {a}\atop{j k} } \right\} + g_{a j} \left\{ { {a}\atop{i k} } \right\} \right) \\ & = g \left( \delta^j_a \left\{ { {a}\atop{j k} } \right\} + \delta^i_a \left\{ { {a}\atop{i k} } \right\} \right) = g \left( \left\{ { {a}\atop{a k} } \right\} + \left\{ { {a}\atop{a k} } \right\} \right) \\ & = 2 g \left\{ { {a}\atop{a k} } \right\} \end{align} [/math]

よって

[math]\left\{ { {a}\atop{a k} } \right\} = \frac{1}{2 g} \frac{\partial g}{\partial x^k} = \frac{\partial \log \sqrt{g}}{\partial x^k} [/math]

が得られる。

一般相対論への応用

クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。（物体の存在によって時空の形状を決定するという）アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は（クリストッフェル記号が陽に現れる）測地的方程式を解くことによって計算できる。

関連項目

• リーマン幾何学の公式一覧
• 可微分多様体
• アフィン接続

参考文献

• リーマン・マイヤー 『リーマン幾何とその応用』 矢野健太郎訳、共立出版〈現代数学の系譜 10〉、1971年。
• アインシュタイン 『相対論の意味 附：非対称場の相対論』 矢野健太郎訳、岩波書店、1958年。
• 矢野 健太郎 『微分幾何学』 朝倉書店〈数学全書（第10巻）〉、1949年。
• ガーレット・バーコフ 『現代代数学概論』 奥川光太郎訳、白水社、1967年、改訂第３版。