5
大学数学基礎解説
文献あり

クリストッフェル記号の簡単な計算方法

2668
0
$$$$

はじめに

 $M$$n$次元Riemann多様体とし、$g=g_{ij}(x^1\cdots,x^n)dx^i\otimes dx^j$を計量の局所的な表示とする。また、$g^{ij}$$g_{ij}$の逆行列とし、$g_{ij,k}=\frac{\partial g_{ij}}{\partial x^k}$とする。
 クリストッフェル記号$\Gamma^i_{\;jk}$は以下で定義される。

クリストッフェル記号(Christoffel symbols)

$$ \Gamma^i_{\;jk} = \frac{1}{2}g^{il}(g_{lj,k}+g_{kl,j}-g_{jk,l}) $$

 上記のクリストッフェル記号は接続係数とも呼ばれる。クリストッフェル記号は共変微分の計算に必要となるものであり、上記の定義に従って計量の1階微分を計算すれば得られるが、計算を少しだけ楽にする方法があるので紹介する。

変分原理によるクリストッフェル記号の計算

2次形式のLagrangianは測地線方程式を導く

ある局所座標上の曲線$\gamma:[t_0,t_1]\to M;t\mapsto (\gamma^1(t),\cdots,\gamma^n(t))$に対して,$\dot\gamma^i=\frac{d\gamma^i}{dt}$,$\ddot\gamma^i=\frac{d^2\gamma^i}{dt^2}$とする。また,汎関数$\mathcal S:\gamma\mapsto\mathbb R$を以下で定義する.

$$ \mathcal S[\gamma]=\int^{t_1}_{t_0} dt\;\frac{1}{2} g_{ij}(\gamma(t))\dot\gamma^i\dot\gamma^j $$

このとき,$\mathcal S[\gamma]$の「端点を固定したの停留解」は、以下の測地線方程式を満たす.

$$ \ddot\gamma^i+\Gamma^{i}_{\;jk}\dot\gamma^j\dot\gamma^k=0 $$

「端点を固定したときの停留解」は、$L(\gamma,\dot\gamma)=\frac{1}{2}g_{ij}(\gamma)\dot\gamma^i\dot\gamma^i$をLagrangianとしたときのEuler-Lagrange方程式の解である。

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot\gamma^i}-\frac{\partial L}{\partial \gamma^i}=0 $$

ここで、

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot\gamma^i}=g_{ij}\ddot\gamma^j+g_{ij,k}\dot\gamma^j\dot\gamma^k $$

$$ \frac{\partial L}{\partial \gamma^i}= \frac{1}{2}g_{jk,i}\dot\gamma^j\dot\gamma^k $$

となるので、これを整理すると、測地線方程式$\ddot\gamma^i+\Gamma^{i}_{\;jk}\dot\gamma^j\dot\gamma^k=0$を得る。

この命題から、以下に述べる手順がクリストッフェル記号の正しい計算方法を与えることがわかる。

クリストッフェル記号の計算方法

(1)Lagrangian$L=\frac{1}{2}g_{ij}\dot x^i\dot x^j$を書き下す。
(2)Euler-Lagnrange方程式$\frac{d}{dt}\frac{\partial L}{\partial \dot x^i}-\frac{\partial L}{\partial x^i}=0$を書き下す。
(3)測地線方程式$\ddot x^i+\Gamma^{i}_{\;jk}\dot x^j\dot x^k=0$を見比べて$\Gamma^i_{\;jk}$を読み取る。

弧長との比較

 測地線方程式の導出では、汎関数として弧長を考えるのが普通である。

$$ S[\gamma]=\int^1_0 dt\;\sqrt{ g_{ij}(\gamma)\dot\gamma^i\dot\gamma^j} $$

ここで、弧長パラメタ$s(t)=\int^t_0 dt\;\sqrt{ g_{ij}(\gamma)\dot\gamma^i\dot\gamma^j}$を導入すると、汎関数$S$の停留解は測地線方程式を満たす。

$$ \delta S=0 \;\;\Leftrightarrow \;\; \frac{d^2}{ds^2}\gamma^i+\Gamma^{i}_{\;jk}\frac{d\gamma^j}{ds}\frac{d\gamma^k}{ds}=0 $$

 この議論は、最短経路が測地線方程式を満たすことを理解するのに必要であるが、Lagrangianに平方根が含まれていたり、弧長パラメタへの変換が必要なので、クリストッフェル記号の計算に対しては実用的ではない。

計算例

3次元球座標

 3次元球座標の計量テンソルは$ ds^2 = dr^2 + r^2d\theta^2 + r^2\sin^2 \theta\; d\phi^2$で与えられるので、Lagrangianは、

$$ L(r,\theta,\phi,\dot r,\dot \theta,\dot \phi) = \frac{1}{2}\dot r^2+\frac{1}{2}r^2\dot\theta^2+\frac{1}{2}r^2\sin^2\theta \dot\phi^2 $$

となる。また、

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot r}-\frac{\partial L}{\partial r} = \ddot r - r\dot\theta^2 - r\sin^2\theta \;\dot \phi^2 $$

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot \theta}-\frac{\partial L}{\partial \theta} = r^2\ddot \theta +2r\dot r \dot \theta- r^2\sin\theta\cos\theta\;\dot\phi^2 $$

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot \phi}-\frac{\partial L}{\partial \phi} = r^2\sin^2\theta \;\ddot\phi + 2r\sin^2\theta \;\dot r\dot\phi + 2r^2\sin\theta\cos\theta\; \dot\theta\dot\phi $$

となるので、Euler-Lagrange方程式として、

\begin{equation} \left\{ \, \begin{aligned} & \ddot r - r\dot\theta^2 - r\sin^2\theta \;\dot \phi^2 = 0 \\ & \ddot \theta +2\frac{1}{r}\dot r \dot \theta- \sin\theta\cos\theta\;\dot\phi^2 = 0 \\ & \ddot\phi + 2\frac{1}{r}\dot r\dot\phi + 2\cot\theta\; \dot\theta\dot\phi = 0 \end{aligned} \right. \end{equation}

を得る。これと、$\ddot x^i+\Gamma^{i}_{\;jk}\dot x^j\dot x^k=0$を見比べて、以下を得る。

\begin{align} \Gamma^{r}_{\;\theta\theta}&=-r\\ \Gamma^{r}_{\;\phi\phi}&=-r\sin^2\theta\\ \Gamma^{\theta}_{\;r\theta}&=\Gamma^{\theta}_{\;\theta r}=\frac{1}{r}\\ \Gamma^{\theta}_{\;\phi\phi}&=-\sin\theta\cos\theta\\ \Gamma^{\phi}_{\;r\phi}&=\Gamma^{\phi}_{\;\phi r}=\frac{1}{r}\\ \Gamma^{\phi}_{\;\theta\phi}&=\Gamma^{\phi}_{\;\phi \theta}=\cot\theta\\ \end{align}

上記以外の$\Gamma^{i}_{jk}$はゼロ。

静的な球対称時空(一般相対性理論)

 一般相対性理論から例を取り上げよう。$\nu(r)$$\lambda(r)$を適当な関数として、計量が$ ds^2 = -e^{\nu(r)}dw^2+e^{\lambda(r)}dr^2 + r^2d\theta^2 + r^2\sin^2 \theta\; d\phi^2$で与えられる時空を考える。特に、$e^\nu=e^{-\lambda}=1-ar^{-1}$としたのが、シュバルツシルト半径$a$のシュバルツシルト時空である。

 この計量は符号がひとつマイナスとなっているが、同じ手順でクリストッフェル記号を求められる。まず、Lagrangianは、

$$ L(w,r,\theta,\phi,\dot w,\dot r,\dot \theta,\dot \phi) = -\frac{1}{2}e^{\nu}\dot w^2+\frac{1}{2}e^{\lambda}\dot r^2+\frac{1}{2}r^2\dot\theta^2+\frac{1}{2}r^2\sin^2\theta\; \dot\phi^2 $$

となる。また、

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot w}-\frac{\partial L}{\partial w} = -e^{\nu}\ddot w-e^{\nu}\nu^\prime\dot r \dot w $$

$$ \frac{d}{dt}\frac{\partial L}{\partial \dot r}-\frac{\partial L}{\partial r} = e^{\lambda}\ddot r + e^{\lambda}\lambda^\prime\dot r^2+\frac{1}{2}e^{\nu}\nu^\prime \dot w^2 -\frac{1}{2}e^{\lambda}\lambda^\prime \dot r^2 - r\dot \theta^2 - r\sin^2\theta\; \dot \phi^2 $$

となる。なお、$\theta$$\phi$については、(例1)3次元球座標と全く同じ式になるので省略する。以上より、

\begin{equation} \left\{ \, \begin{aligned} & \ddot w + \nu^\prime\dot w \dot r = 0 \\ & \ddot r +\frac{1}{2}e^{\nu-\lambda}\nu^\prime \dot w^2 + \frac{1}{2}\lambda^\prime\dot r^2 - re^{-\lambda}\dot \theta^2 - r e^{-\lambda}\sin^2\theta\; \dot \phi^2 \\ & \ddot \theta +2\frac{1}{r}\dot r \dot \theta- \sin\theta\cos\theta\;\dot\phi^2 = 0 \\ & \ddot\phi + 2\frac{1}{r}\dot r\dot\phi + 2\cot\theta\; \dot\theta\dot\phi = 0 \end{aligned} \right. \end{equation}

を得る。これと、$\ddot x^i+\Gamma^{i}_{\;jk}\dot x^j\dot x^k=0$を見比べて、以下を得る。

\begin{align} \Gamma^{w}_{\;wr}&=\Gamma^{w}_{\;rw}=\frac{1}{2}\nu^\prime\\ \Gamma^{r}_{\;ww}&=\frac{1}{2}e^{\nu-\lambda}\nu^\prime ,\;\;\; \Gamma^{r}_{\;rr}=\frac{1}{2}\lambda^\prime ,\;\;\; \Gamma^{r}_{\;\theta\theta}=-re^{-\lambda} ,\;\;\; \Gamma^{r}_{\;\phi\phi}=-r e^{-\lambda}\sin^2\theta\\ \Gamma^{\theta}_{\;r\theta}&=\Gamma^{\theta}_{\;\theta r}=\frac{1}{r} ,\;\;\; \Gamma^{\theta}_{\;\phi\phi}=-\sin\theta\cos\theta\\ \Gamma^{\phi}_{\;r\phi}&=\Gamma^{\phi}_{\;\phi r}=\frac{1}{r} ,\;\;\; \Gamma^{\phi}_{\;\theta\phi}=\Gamma^{\phi}_{\;\phi \theta}=\cot\theta\\ \end{align}

上記以外の$\Gamma^{i}_{jk}$はゼロ。

参考文献

[1]
佐々木節, 一般相対論, 物理学教科書シリーズ, 産業図書, 1996
投稿日:2023423
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

yuska
7
3546

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中