$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}$は以下で定義される。
$$ \Gamma^i_{\;jk} = \frac{1}{2}g^{il}(g_{lj,k}+g_{kl,j}-g_{jk,l}) $$
上記のクリストッフェル記号は接続係数とも呼ばれる。クリストッフェル記号は共変微分の計算に必要となるものであり、上記の定義に従って計量の1階微分を計算すれば得られるが、計算を少しだけ楽にする方法があるので紹介する。
ある局所座標上の曲線$\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次元球座標の計量テンソルは$ 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}$はゼロ。