クリストッフェル記号のソースを表示

[[リーマン幾何学]]において、'''クリストッフェル記号'''（クリストッフェルきごう、{{lang-en-short|Christoffel symbols}}）または'''クリストッフェルの三添字記号'''（クリストッフェルのさんそえじきごう、{{lang-en-short|Christoffel three index symbols}}）とは、[[測地線]]の微分方程式を表すにあたって[[エルウィン・ブルーノ・クリストッフェル|ブルーノ・クリストッフェル]] (1829–1900) によって導入された記号を言う<ref>{{citation | author=E.B.Christoffel | title=Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades | year=1869 | journal=Journal für die reine und angewandte Mathematik | volume=70 | pages= 46-70 }}</ref>。

クリストッフェル記号には第一種記号 <math>\left[ j \; k, a \right]</math> と第二種記号 <math>\left\{ { {i}\atop{j \; k} } \right\}</math> の二種類がある<ref>[[#相対論(1958)|相対論(1958)]] p.75</ref>が、基本的には第二種記号のことを意味する。

== 概要 ==
リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線
:{{Math|1 = ''x<sup>h</sup>'' = ''x<sup>h</sup>'' (''t''), ''t''<sub>1</sub> ≦ ''t'' ≦ ''t''<sub>2</sub>}}
の長さを、積分
:<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>
で計算できるように、各座標近傍内に
:{{Math|1 = ''g<sub>ij</sub>''(''x'') = ''g<sub>ji</sub>''(''x'')}}
という関数（[[計量テンソル|基本計量テンソル]]と呼ばれる）が与えられている。この積分の第一変分 {{Math|δ''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>
となる<ref group="注釈">詳しい導出は[[#矢野(1949)|矢野(1949)]] p.121 参照。</ref>。これを[[測地線]]の微分方程式と呼ぶ。なお、ここで
:<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)）と呼ぶ。

クリストッフェル記号は、[[計量テンソル]]から導かれた[[レヴィ・チヴィタ接続]]に対する、座標空間での表示式である<ref group="注釈">クリストッフェル記号は、[[微分幾何学]]において実際的な計算を行うのに利用できる。例えば、[[リーマン曲率テンソル]]はクリストッフェル記号とその一階[[偏微分|偏導函数]]の言葉で完全に表すことができる。</ref>{{efn|台となる {{Mvar|n}}-次元多様体の各点で、任意の局所座標系に対して、クリストッフェル記号はサイズが {{Math|''n'' × ''n'' × ''n''}} の[[多次元配列]]であり、{{Math|''n''<sup>3</sup>}} の各成分は[[実数]]である。}}<ref group="注釈">
多様体上の'''線型'''な[[座標変換]]の下では[[テンソル]]のように振舞うが、一般の座標変換の下では異なる挙動を示す。（与えられた座標系や計量テンソルがいくつかのよくある対称性を持つような）実用上の多くの問題において、クリストッフェル記号のほとんどの成分は [[0]] である。</ref><ref group="注釈">
[[一般相対性理論]]において、クリストッフェル記号は'''重力ポテンシャル'''が「計量テンソル」であるような'''重力場'''の役割を果たす。</ref>。
== 定義 ==
n次元微分多様体 M 上の各点近傍に定まる座標系を {{Math|1=''x''<sup>''h''</sup> (''h'' = 1, 2, ..., n)}} とする。さらに各座標近傍内に基本計量テンソル<ref group="注釈">一般にテンソルについては添字の上付きと下付き（反変と共変）とを注意して区別しなければならない。</ref>
:<math>g_{i j}(x) = g_{j i}(x)</math>
が与えられているものとする<ref group="注釈">このように{{mvar|n}}次元の微分多様体であって、各座標近傍内に基本計量テンソルが与えられているものを[[リーマン多様体]]と呼ぶ。</ref>。

なお以下においては、[[アインシュタインの縮約記法|アインシュタインの和の規約]]を用いる。

=== 第一種クリストッフェル記号 ===
第一種クリストッフェル記号は基本計量テンソルから
:<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>
と定義される。

==== 共変微分によるクリストッフェル記号の導出 ====
第二種クリストッフェル記号が定義されていない代わりに、接続の記号 {{Math|&Gamma;<sup>''k''</sup><sub>''ij''</sub>}} とともに[[レヴィ・チヴィタ接続|共変微分]]が定義されている場合<ref group="注釈">すなわち、接続の記号の具体的な表現が不明なまま形式的に共変微分が定義されている場合を指す。</ref>、接続の記号としてクリストッフェル記号を得ることができる<ref group="注釈">なお、通常リーマン多様体 M 上の共変微分を定義する場合、定義の段階で接続の記号としてクリストッフェル記号を用いるのが一般的である。</ref>。

二階共変テンソル {{Math|''S''<sub>''ij''</sub>}} の共変微分は[[レヴィ・チヴィタ接続#定義|定義より]]、
{{Quotation|
<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>（２階共変テンソルの共変微分）
}}
である。また、二階共変テンソルであるリーマン多様体 {{Mvar|M}} の基本計量テンソル {{Math|''g''<sub>''ik''</sub>}} の共変微分についてリッチの補定理
{{Quotation|
<math>\nabla_j g_{ik} = 0 , \;\; \nabla_j g^{ik} = 0</math>（リッチの補定理）
}}
が一般の接続の記号 {{Math|&Gamma;<sup>''k''</sup><sub>''ij''</sub>}} から定義される共変微分についてもそのまま成り立つものとされているとすると、
:<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>
と、接続の記号としてクリストッフェル記号を導出することができる{{efn|ここで行列 ({{Math|''g''<sup>''jk''</sup>}}) は行列 (''g''<sub>''jk''</sub>) の逆行列、すなわち[[クロネッカーのデルタ]]と[[アインシュタインの縮約記法|和の規約]]を用いて{{Math|1=''g''<sup>''ji''</sup>''g''<sub>''ik''</sub> = ''&delta;''<sup>j</sup><sub>k</sub>}}と定義されるものである。}}。

== 性質 ==
=== 第二種クリストッフェル記号は下の添字について対称 ===
定義から明らかに
:<math>\left\{ { {i}\atop{j \; k} } \right\}  = \left\{ { {i}\atop{k \; j} } \right\}</math>
が成り立つ。 
=== 第二種クリストッフェル記号はテンソルではない ===
第二種クリストッフェル記号について、座標系 {{Math|''x''<sup>''h''</sup>}} から座標系 {{Math|1=''u''<sup>''h''</sup> (''h'' = 1, 2, ..., 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>
:<small>ここで、上線は</small> {{Mvar|u}}<small>-座標系に関するクリストッフェル記号であることを表す。</small>
となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。

=== 測地座標系のある一点においてクリストッフェル記号は 0 ===
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で <math>\left\{ { {i}\atop{j \; k} } \right\} = 0</math> となるような座標系は一般に存在しない<ref>[[#矢野(1949)|矢野(1949)]] p.&nbsp;204.</ref>。ただし、曲面上のある特定の一点 {{Math|''x''<sup>''i''</sup><sub>0</sub>}} でならば <math>\left\{ { {i}\atop{j \; k} } \right\}_0 = 0</math> となるような座標系をとることができる<ref group="注釈">以後、<math>x^i = x^i_0</math> における値を示しているものについては右下に 0 をつける。</ref>。

ここで、
:<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> 
なる座標変換を行う。このとき、{{mvar|u<sup>h</sup>}} で偏微分を行うと
:<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>
となり、さらに {{mvar|u<sup>l</sup>}} で偏微分を行うと
:<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|1=''x''<sup>''i''</sup> = ''x''<sup>''i''</sup><sub>0</sub>}} のとき {{Math|1=''u''<sup>''i''</sup> = 0}} であることから、
:<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''<sup>''i''</sup><sub>0</sub>}} におけるクリストッフェル記号の変数変換式が
:<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''<sup>''i''</sup><sub>0</sub>}} においては全て０となることが導かれる。

このような座標系を、点 {{Math|1=''u''<sub>0</sub> = 0}} を原点とする'''測地座標系'''（{{Lang|en|geodetic coordinate system}}）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する<ref>[[#矢野(1949)|矢野(1949)]] pp.204-205</ref>。

=== 測地座標系の原点において共変微分は通常の微分と一致する ===
一階共変テンソルを {{Math|''w''<sub>''i''</sub>}} とするとき、その共変微分は
:<math>\nabla_j w_i = \frac{\partial w_i}{\partial x^j} - \left\{ { {a}\atop{j \; i} } \right\}  w_a</math>
で定義される。座標系 ({{Math|''x''<sup>''h''</sup>}}) を測地座標系 ({{Math|''u''<sup>''h''</sup>}}) へ座標変換すると、その原点において <math>\left\{ \overline{ { {i}\atop{h \; l} } } \right\}_0 = 0</math> となる。

したがって、{{Math|''w''<sub>''i''</sub>}} の共変微分は {{Math|1=''u''<sup>''i''</sup> = 0}} において、
::<math>\left( \nabla_j w_i \right)_0 = \left( \frac{\partial w_i}{\partial u^j} \right)_0</math>
と、共変微分と通常の微分が一致する。

=== 基本計量テンソルの行列式による表示 ===
{{Mvar|n}} 次元リーマン多様体の基本計量テンソル {{Math|''g''<sub>''ij''</sub>}} は {{Math|''n'' × ''n''}}の正方行列であると見なせることからその行列式 {{Mvar|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>
を定義することができる。ここで、{{Math|''g''<sub>''ij''</sub>}} の余因子行列を {{Math|''G''<sub>''ij''</sub>}} とし、{{Mvar|g}} を {{Math|''x''<sup>''k''</sup>}} で偏微分すると
:<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>
となる{{efn|余因子行列と行列式の間に
:<math>\frac{\partial g}{\partial g_{i j}} = G_{i j}</math>
の関係が成り立つため<ref>[[#現代代数学(1967)|現代代数学(1967)]] p.384</ref>。}}。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、{{Math|1=''G''<sub>''ij''</sub> = ''gg''<sup>''ij''</sup>}}。よって
:<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\} = \left\{ { {a}\atop{k \; a} } \right\} = \frac{1}{2} \frac{1}{g} \frac{\partial g}{\partial x^k} = \frac{\partial \log \sqrt{g}}{\partial x^k} = \frac{1}{\sqrt{g} }\frac{ \partial \sqrt{g} }{ \partial x^k }</math>
が得られる。

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

== 関連項目==
* [[リーマン幾何学の公式一覧]]
* [[可微分多様体]]
* [[アフィン接続]]

== 脚注 ==
{{脚注ヘルプ}}

=== 注釈 ===
{{Notelist}}

=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{Cite book |和書| title=リーマン幾何とその応用 | year=1971 | publisher=[[共立出版]] | ref=矢野(1971) |translator = [[矢野健太郎 (数学者)|矢野健太郎]]|last = リーマン|last2 = リッチ|last3 = レビ=チビタ|last4 = アインシュタイン|authorlink = ベルンハルト・リーマン|authorlink3 = トゥーリオ・レヴィ＝チヴィタ|authorlink2 = グレゴリオ・リッチ＝クルバストロ|authorlink4 = アルバート・アインシュタイン|coauthors = マイヤー|ISBN = 4320011635|series = 現代数学の系譜 10}}
* {{Cite book |和書| author=アインシュタイン | title=相対論の意味 附：非対称場の相対論 | year=1958 | ref=相対論(1958) | publisher=[[岩波書店]]|translator = 矢野健太郎|ISBN = 400005600X}}
* {{Cite book |和書 | author=矢野 健太郎 | title=微分幾何学 | publisher=[[朝倉書店]] | year=1949 | ref=矢野(1949) |ASIN = B000JBII2W|series = 数学全書（第10巻）}}
* {{Cite book|和書| author=ガーレット・バーコフ|authorlink=ガーレット・バーコフ | title=現代代数学概論 | edition=改訂第３版 | year=1967 | publisher=[[白水社]] | ref=現代代数学(1967) |ASIN = B000JA7R8E|author2=ソンダース・マクレーン|authorlink2=ソンダース・マクレーン|translator=[[奥川光太郎]]}}

{{Tensors}}

{{DEFAULTSORT:くりすとつふえるきこう}}
[[Category:リーマン幾何学]]
[[Category:数学の表記法]]
[[Category:数理物理学]]
[[Category:接続 (数学)]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]