クリストッフェル記号

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

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

概要

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

テンプレート:Math

の長さを、積分

I = \int_{t_{1}}^{t_{2}} \sqrt{\sum_{i, j} g_{i j} (x) \frac{d x^{i}}{d t} \frac{d x^{j}}{d t}} d t

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

テンプレート:Math

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

\frac{d^{2} x^{h}}{d s^{2}} + \sum_{j, i} {\binom{h}{j i}} \frac{d x^{j}}{d s} \frac{d x^{i}}{d s} = 0

となる^{[注釈 1]}。これを測地線の微分方程式と呼ぶ。なお、ここで

{\binom{h}{j i}} = \sum_{a} \frac{1}{2} g^{h a} (\frac{\partial g_{i a}}{\partial x^{j}} + \frac{\partial g_{j a}}{\partial x^{i}} - \frac{\partial g_{j i}}{\partial x^{a}})

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

クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である^{[注釈 2]}テンプレート:Efn^{[注釈 3]}^{[注釈 4]}。

定義

n次元微分多様体 M 上の各点近傍に定まる座標系をテンプレート:Math とする。さらに各座標近傍内に基本計量テンソル^{[注釈 5]}

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

が与えられているものとする^{[注釈 6]}。

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

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

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

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

と定義される。

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

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

{\binom{i}{j k}} = \frac{1}{2} g^{i a} (\frac{\partial g_{j a}}{\partial x^{k}} + \frac{\partial g_{k a}}{\partial x^{j}} - \frac{\partial g_{j k}}{\partial x^{a}}) = g^{i a} [j k, a]

と定義される。

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

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

二階共変テンソルテンプレート:Math の共変微分は定義より、テンプレート:Quotation である。また、二階共変テンソルであるリーマン多様体テンプレート:Mvar の基本計量テンソルテンプレート:Math の共変微分についてリッチの補定理テンプレート:Quotation が一般の接続の記号テンプレート:Math から定義される共変微分についてもそのまま成り立つものとされているとすると、

\nabla_{j} g_{i k} = \frac{\partial g_{i k}}{\partial x^{j}} - Γ_{j i}^{a} g_{a k} - Γ_{j k}^{a} g_{i a} = 0

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

Γ_{k j}^{l} = \frac{1}{2} g^{l m} (\frac{\partial g_{m k}}{\partial x^{j}} + \frac{\partial g_{m j}}{\partial x^{k}} - \frac{\partial g_{k j}}{\partial x^{m}}) = {\binom{l}{k j}}

と、接続の記号としてクリストッフェル記号を導出することができるテンプレート:Efn。

性質

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

定義から明らかに

{\binom{i}{j k}} = {\binom{i}{k j}}

が成り立つ。

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

第二種クリストッフェル記号について、座標系テンプレート:Math から座標系テンプレート:Math への変数変換を行うと

\frac{\partial x^{i}}{\partial u^{a}} {\overline{\binom{a}{b c}}} = \frac{\partial x^{j}}{\partial u^{b}} \frac{\partial x^{k}}{\partial u^{c}} {\binom{i}{j k}} + \frac{\partial^{2} x^{i}}{\partial u^{b} \partial u^{c}}

ここで、上線はテンプレート:Mvar-座標系に関するクリストッフェル記号であることを表す。

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

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

曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で ${\binom{i}{j k}} = 0$ となるような座標系は一般に存在しない^[3]。ただし、曲面上のある特定の一点テンプレート:Math でならば ${\binom{i}{j k}}_{0} = 0$ となるような座標系をとることができる^{[注釈 9]}。

ここで、

x^{i} - x_{0}^{i} = u^{i} - \frac{1}{2} {\binom{i}{j k}}_{0} u^{j} u^{k}

ただし、

u_{0}^{i} = 0

なる座標変換を行う。このとき、テンプレート:Mvar で偏微分を行うと

\frac{\partial x^{i}}{\partial u^{h}} = δ_{h}^{i} - \frac{1}{2} (\frac{\partial {\binom{i}{j k}}_{0}}{\partial u^{h}} u^{j} u^{k} + {\binom{i}{j k}}_{0} δ_{h}^{j} u^{k} + {\binom{i}{j k}}_{0} u^{j} δ_{h}^{k}) = δ_{h}^{i} - \frac{1}{2} \frac{\partial {\binom{i}{j k}}_{0}}{\partial u^{h}} u^{j} u^{k} - {\binom{i}{h k}}_{0} u^{k}

となり、さらにテンプレート:Mvar で偏微分を行うと

\frac{\partial^{2} x^{i}}{\partial u^{l} \partial u^{h}} = - \frac{1}{2} (\frac{\partial^{2} {\binom{i}{j k}}_{0}}{\partial u^{l} \partial u^{h}} u^{j} u^{k} + \frac{\partial {\binom{i}{j k}}_{0}}{\partial u^{h}} δ_{l}^{j} u^{k} + \frac{\partial {\binom{i}{j k}}_{0}}{\partial u^{h}} u^{j} δ_{l}^{k}) - \frac{\partial {\binom{i}{h k}}_{0}}{\partial u^{l}} u^{k} - {\binom{i}{h k}}_{0} δ_{l}^{k}

となる。したがって、テンプレート:Math のときテンプレート:Math であることから、

{(\frac{\partial x^{i}}{\partial u^{h}})}_{0} = δ_{h}^{i}, {(\frac{\partial^{2} x^{i}}{\partial u^{l} \partial u^{h}})}_{0} = - {\binom{i}{h l}}_{0}

を得る。よって、ある一点テンプレート:Math におけるクリストッフェル記号の変数変換式が

{(\frac{\partial x^{i}}{\partial u^{k}})}_{0} {\overline{\binom{k}{h l}}}_{0} = {(\frac{\partial x^{j}}{\partial u^{h}})}_{0} {(\frac{\partial x^{k}}{\partial u^{l}})}_{0} {\binom{i}{j k}}_{0} + {(\frac{\partial^{2} x^{i}}{\partial u^{h} \partial u^{l}})}_{0} = δ_{h}^{j} δ_{l}^{k} {\binom{i}{j k}}_{0} - {\binom{i}{h l}}_{0} = 0

であることから、

δ_{k}^{i} {\overline{\binom{k}{h l}}}_{0} = {\overline{\binom{i}{h l}}}_{0} = 0

すなわち、クリストッフェル記号はある一点テンプレート:Math においては全て０となることが導かれる。

このような座標系を、点テンプレート:Math を原点とする測地座標系（テンプレート:Lang）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する^[4]。

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

一階共変テンソルをテンプレート:Math とするとき、その共変微分は

\nabla_{j} w_{i} = \frac{\partial w_{i}}{\partial x^{j}} - {\binom{a}{j i}} w_{a}

で定義される。座標系 (テンプレート:Math) を測地座標系 (テンプレート:Math) へ座標変換すると、その原点において ${\overline{\binom{i}{h l}}}_{0} = 0$ となる。

したがって、テンプレート:Math の共変微分はテンプレート:Math において、

{(\nabla_{j} w_{i})}_{0} = {(\frac{\partial w_{i}}{\partial u^{j}})}_{0}

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

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

テンプレート:Mvar 次元リーマン多様体の基本計量テンソルテンプレート:Math はテンプレート:Mathの正方行列であると見なせることからその行列式テンプレート:Mvar

g = \det (g_{i j}) = | \begin{matrix} g_{11} & g_{12} & \dots \\ g_{21} & g_{22} & \dots \\ ⋮ & ⋮ & ⋱ \end{matrix} |

を定義することができる。ここで、テンプレート:Math の余因子行列をテンプレート:Math とし、テンプレート:Mvar をテンプレート: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}}

となるテンプレート:Efn。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、テンプレート:Math。よって

\begin{matrix} \frac{\partial g}{\partial x^{k}} & = g g^{i j} \frac{\partial g_{i j}}{\partial x^{k}} = g g^{i j} (g_{i a} {\binom{a}{j k}} + g_{a j} {\binom{a}{i k}}) \\ = g (δ_{a}^{j} {\binom{a}{j k}} + δ_{a}^{i} {\binom{a}{i k}}) = g ({\binom{a}{a k}} + {\binom{a}{a k}}) \\ = 2 g {\binom{a}{a k}} \end{matrix}

よって

{\binom{a}{a k}} = {\binom{a}{k a}} = \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}}

が得られる。

一般相対論への応用

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

脚注

テンプレート:脚注ヘルプ

注釈

テンプレート:Notelist

出典

テンプレート:Reflist

参考文献

テンプレート:Tensors

↑ テンプレート:Citation
↑ 相対論(1958) p.75
↑ 矢野(1949) p. 204.
↑ 矢野(1949) pp.204-205

引用エラー: 「注釈」という名前のグループの <ref> タグがありますが、対応する <references group="注釈"/> タグが見つかりません

[1] テンプレート:Citation

[2] 相対論(1958) p.75

[11] 矢野(1949) p. 204.

[13] 矢野(1949) pp.204-205

[1]

[2]

[注釈 1]

[注釈 2]

[注釈 3]

[注釈 4]

[注釈 5]

[注釈 6]

[注釈 7]

[注釈 8]

[3]

[注釈 9]

[4]

クリストッフェル記号

目次

概要

定義

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

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

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

性質

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

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

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

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

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

一般相対論への応用

関連項目

脚注

注釈

出典

参考文献

ナビゲーションメニュー

クリストッフェル記号

概要

定義

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

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

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

性質

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

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

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

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

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

一般相対論への応用

関連項目

脚注

注釈

出典

参考文献

ナビゲーション メニュー

検索

ナビゲーションメニュー