リーマン幾何学において、クリストッフェル記号(クリストッフェルきごう、英: Christoffel symbols)またはクリストッフェルの三添字記号(クリストッフェルのさんそえじきごう、英: Christoffel three index symbols)とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う[1]。
クリストッフェル記号には第一種記号
と第二種記号
の二種類がある[2]が、基本的には第二種記号のことを意味する。
概要
リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線
- xh = xh (t), t1 ≦ t ≦ t2
の長さを、積分
![{\displaystyle I=\int _{t_{1}}^{t_{2}}{\sqrt {\sum _{i,j}g_{ij}(x){\frac {\mathrm {d} x^{i}}{\mathrm {d} t}}{\frac {\mathrm {d} x^{j}}{\mathrm {d} t}}}}\,\mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb37f39c0a1319a255afe6e3f480b9fcae03170b)
で計算できるように、各座標近傍内に
- gij(x) = gji(x)
という関数(基本計量テンソルと呼ばれる)が与えられている。この積分の第一変分 δI を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、
![{\displaystyle {\frac {\mathrm {d} ^{2}x^{h}}{\mathrm {d} s^{2}}}+\sum _{j,i}\left\{{{h} \atop {j\;i}}\right\}{\frac {\mathrm {d} x^{j}}{\mathrm {d} s}}{\frac {\mathrm {d} x^{i}}{\mathrm {d} s}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03618c2e9cf975f3cd36b333da7e7fe1ee16c509)
となる[注釈 1]。これを測地線の微分方程式と呼ぶ。なお、ここで
![{\displaystyle \left\{{{h} \atop {j\;i}}\right\}=\sum _{a}{\frac {1}{2}}g^{ha}\left({\frac {\partial g_{ia}}{\partial x^{j}}}+{\frac {\partial g_{ja}}{\partial x^{i}}}-{\frac {\partial g_{ji}}{\partial x^{a}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04ed842bf46e2d45a202469cfbf5dce727d31842)
であり、これを(第二種)クリストッフェル記号(Christoffel symbol (of the second kind))と呼ぶ。
クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である[注釈 2][注釈 3][注釈 4][注釈 5]。
定義
n次元微分多様体 M 上の各点近傍に定まる座標系を xh (h = 1, 2, ..., n) とする。さらに各座標近傍内に基本計量テンソル[注釈 6]
![{\displaystyle g_{ij}(x)=g_{ji}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/706817c89c96ab99580a2cbd4cf67bca663d83e0)
が与えられているものとする[注釈 7]。
なお以下においては、アインシュタインの和の規約を用いる。
第一種クリストッフェル記号
第一種クリストッフェル記号は基本計量テンソルから
![{\displaystyle \left[j\;k,a\right]={\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32c5f49062dffccaa16977b0251b622630df0e93)
と定義される。
第二種クリストッフェル記号
第二種クリストッフェル記号は同じく基本計量テンソルまたは第一種クリストッフェル記号から
![{\displaystyle \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)=g^{ia}\left[j\;k,a\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/689dcbc74d3779ee0523327d47dc0966e2ea4bfd)
と定義される。
共変微分によるクリストッフェル記号の導出
第二種クリストッフェル記号が定義されていない代わりに、接続の記号 Γkij とともに共変微分が定義されている場合[注釈 8]、接続の記号としてクリストッフェル記号を得ることができる[注釈 9]。
二階共変テンソル Sij の共変微分は定義より、
(2階共変テンソルの共変微分)
である。また、二階共変テンソルであるリーマン多様体 M の基本計量テンソル gik の共変微分についてリッチの補定理
(リッチの補定理)
が一般の接続の記号 Γkij から定義される共変微分についてもそのまま成り立つものとされているとすると、
![{\displaystyle \nabla _{j}g_{ik}={\frac {\partial g_{ik}}{\partial x^{j}}}-\Gamma _{ji}^{a}g_{ak}-\Gamma _{jk}^{a}g_{ia}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9204e9cb01e688ef88a1a7c7c36a598748612798)
であり、添字を並べ替え、補うことにより、上式を計量テンソルの関数として接続の記号について陽に解いて
![{\displaystyle \Gamma _{kj}^{l}={\frac {1}{2}}g^{lm}\left({\frac {\partial g_{mk}}{\partial x^{j}}}+{\frac {\partial g_{mj}}{\partial x^{k}}}-{\frac {\partial g_{kj}}{\partial x^{m}}}\right)=\left\{{{l} \atop {k\;j}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae452a5e6b3d6ddf7432238840e8ed37546c2720)
と、接続の記号としてクリストッフェル記号を導出することができる[注釈 10]。
性質
第二種クリストッフェル記号は下の添字について対称
定義から明らかに
![{\displaystyle \left\{{{i} \atop {j\;k}}\right\}=\left\{{{i} \atop {k\;j}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33aa582825b798500d76c8578a4e58a8db818f65)
が成り立つ。
第二種クリストッフェル記号はテンソルではない
第二種クリストッフェル記号について、座標系 xh から座標系 uh (h = 1, 2, ..., n) への変数変換を行うと
![{\displaystyle {\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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a7a196942d4de0f92806e272d2389867a41e4a)
- ここで、上線は u-座標系に関するクリストッフェル記号であることを表す。
となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。
測地座標系のある一点においてクリストッフェル記号は 0
曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で
となるような座標系は一般に存在しない[3]。ただし、曲面上のある特定の一点 xi0 でならば
となるような座標系をとることができる[注釈 11]。
ここで、
ただし、![{\displaystyle u_{0}^{i}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd52380546b33dc921eb1c4d8e5b483cecb60f15)
なる座標変換を行う。このとき、uh で偏微分を行うと
![{\displaystyle {\frac {\partial x^{i}}{\partial u^{h}}}=\delta _{h}^{i}-{\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 _{h}^{j}u^{k}+\left\{{{i} \atop {j\;k}}\right\}_{0}u^{j}\delta _{h}^{k}\right)=\delta _{h}^{i}-{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5511bbaca2bcb5cc3ae49b9e82dc34bf0a9e5431)
となり、さらに ul で偏微分を行うと
![{\displaystyle {\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 _{l}^{j}u^{k}+{\frac {\partial \left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{h}}}u^{j}\delta _{l}^{k}\right)-{\frac {\partial \left\{{{i} \atop {h\;k}}\right\}_{0}}{\partial u^{l}}}u^{k}-\left\{{{i} \atop {h\;k}}\right\}_{0}\delta _{l}^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b27de59fbe2f45940b64fafcba771a62963cbba9)
となる。したがって、xi = xi0 のとき ui = 0 であることから、
![{\displaystyle \left({\frac {\partial x^{i}}{\partial u^{h}}}\right)_{0}=\delta _{h}^{i},\;\;\;\left({\frac {\partial ^{2}x^{i}}{\partial u^{l}\partial u^{h}}}\right)_{0}=-\left\{{{i} \atop {hl}}\right\}_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fccf427fbd952328a453fb05825b443c5fb426d)
を得る。よって、ある一点 xi0 におけるクリストッフェル記号の変数変換式が
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/173f5d0448ea3acd01a2947a9586da4b6117ba15)
であることから、
![{\displaystyle \delta _{k}^{i}\left\{{\overline {{k} \atop {h\;l}}}\right\}_{0}=\left\{{\overline {{i} \atop {h\;l}}}\right\}_{0}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/359b2cba0d9ee33749d6c1e335e0c747f4c3f0ec)
すなわち、クリストッフェル記号はある一点 xi0 においては全て0となることが導かれる。
このような座標系を、点 u0 = 0 を原点とする測地座標系(geodetic coordinate system)と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する[4]。
測地座標系の原点において共変微分は通常の微分と一致する
一階共変テンソルを wi とするとき、その共変微分は
![{\displaystyle \nabla _{j}w_{i}={\frac {\partial w_{i}}{\partial x^{j}}}-\left\{{{a} \atop {j\;i}}\right\}w_{a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3cc8c9f35d4ca609eec8642fdd015dcc740c4ed)
で定義される。座標系 (xh) を測地座標系 (uh) へ座標変換すると、その原点において
となる。
したがって、wi の共変微分は ui = 0 において、
![{\displaystyle \left(\nabla _{j}w_{i}\right)_{0}=\left({\frac {\partial w_{i}}{\partial u^{j}}}\right)_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4c88df86df181c01a177cca4cfaaa67cf8e8a83)
と、共変微分と通常の微分が一致する。
基本計量テンソルの行列式による表示
n 次元リーマン多様体の基本計量テンソル gij は n × nの正方行列であると見なせることからその行列式 g
![{\displaystyle g=\det(g_{ij})=\left|{\begin{array}{ccc}g_{11}&g_{12}&\cdots \\g_{21}&g_{22}&\cdots \\\vdots &\vdots &\ddots \end{array}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/655aa9eeecf3fe4d5814f7b64bec7a6f5c8935b6)
を定義することができる。ここで、gij の余因子行列を Gij とし、g を xk で偏微分すると
![{\displaystyle {\frac {\partial g}{\partial x^{k}}}={\frac {\partial g}{\partial g_{ij}}}{\frac {\partial g_{ij}}{\partial x^{k}}}=G_{ij}{\frac {\partial g_{ij}}{\partial x^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46cd3dcfea142b31077a99601709047907dbdd04)
となる[注釈 12]。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、Gij = ggij。よって
![{\displaystyle {\begin{aligned}{\frac {\partial g}{\partial x^{k}}}&=gg^{ij}{\frac {\partial g_{ij}}{\partial x^{k}}}=gg^{ij}\left(g_{ia}\left\{{{a} \atop {j\;k}}\right\}+g_{aj}\left\{{{a} \atop {i\;k}}\right\}\right)\\&=g\left(\delta _{a}^{j}\left\{{{a} \atop {j\;k}}\right\}+\delta _{a}^{i}\left\{{{a} \atop {i\;k}}\right\}\right)=g\left(\left\{{{a} \atop {a\;k}}\right\}+\left\{{{a} \atop {a\;k}}\right\}\right)\\&=2g\left\{{{a} \atop {a\;k}}\right\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c97cf9062859f497255e4eef65ee5b9a1f136096)
よって
![{\displaystyle \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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5336e08d93f5dd24ba53b10cc0d73b240c86da96)
が得られる。
一般相対論への応用
クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。(物体の存在によって時空の形状を決定するという)アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は(クリストッフェル記号が陽に現れる)測地的方程式を解くことによって計算できる。
関連項目
脚注
[脚注の使い方]
注釈
- ^ 詳しい導出は矢野(1949) p.121 参照。
- ^ クリストッフェル記号は、微分幾何学において実際的な計算を行うのに利用できる。例えば、リーマン曲率テンソルはクリストッフェル記号とその一階偏導函数の言葉で完全に表すことができる。
- ^ 台となる n-次元多様体の各点で、任意の局所座標系に対して、クリストッフェル記号はサイズが n × n × n の多次元配列であり、n3 の各成分は実数である。
- ^ 多様体上の線型な座標変換の下ではテンソルのように振舞うが、一般の座標変換の下では異なる挙動を示す。(与えられた座標系や計量テンソルがいくつかのよくある対称性を持つような)実用上の多くの問題において、クリストッフェル記号のほとんどの成分は 0 である。
- ^ 一般相対性理論において、クリストッフェル記号は重力ポテンシャルが「計量テンソル」であるような重力場の役割を果たす。
- ^ 一般にテンソルについては添字の上付きと下付き(反変と共変)とを注意して区別しなければならない。
- ^ このようにn次元の微分多様体であって、各座標近傍内に基本計量テンソルが与えられているものをリーマン多様体と呼ぶ。
- ^ すなわち、接続の記号の具体的な表現が不明なまま形式的に共変微分が定義されている場合を指す。
- ^ なお、通常リーマン多様体 M 上の共変微分を定義する場合、定義の段階で接続の記号としてクリストッフェル記号を用いるのが一般的である。
- ^ ここで行列 (gjk) は行列 (gjk) の逆行列、すなわちクロネッカーのデルタと和の規約を用いてgjigik = δjkと定義されるものである。
- ^ 以後、
における値を示しているものについては右下に 0 をつける。 - ^ 余因子行列と行列式の間に
![{\displaystyle {\frac {\partial g}{\partial g_{ij}}}=G_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d572958cac293cc040e26f5d0bc0842f43f0306f)
の関係が成り立つため[5]。
出典
- ^ E.B.Christoffel (1869), “Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades”, Journal für die reine und angewandte Mathematik 70: 46-70
- ^ 相対論(1958) p.75
- ^ 矢野(1949) p. 204.
- ^ 矢野(1949) pp.204-205
- ^ 現代代数学(1967) p.384
参考文献
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | |
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |