Équation géodésique et symbole de Christoffel

Un article de Wikipédia, l'encyclopédie libre.

Un système de coordonnées étant donné, si l'on choisit de paramétrer les courbes par la mesure de leur longueur (appelé paramètre canonique), l'équation des géodésiques devient

$\ddot{x}^k = \Gamma^k_{ij} \dot{x}^i \dot{x}^j$

où $Γ k i j$ est un symbole de Christoffel. Le point supérieur est la dérivée totale par rapport au paramètre canonique.

[modifier] Démonstration

Explicitant $\dot{s}$ dans l'équation géodésique

$\frac{\partial \dot{s}}{\partial x^i} - \frac{\mathrm d}{\mathrm d\tau} \left(\frac{\partial \dot{s}}{\partial \dot{x}^i}\right) = 0$ ,

on a

$\frac{1}{2 \dot{s}} g_{ij,k} \dot{x}^i \dot{x}^j -\frac{\mathrm d}{\mathrm d\tau} \left( \frac{1}{\dot{s}} g_{ki}\dot{x}^i \right) = 0$

Paramétrons la trajectoire par sa longueur $s$ , c’est-à-dire posons $τ = s$ . Avec ce choix, on a $\dot{s} = 1$ et l'équation géodésique devient

$\frac{1}{2} g_{ij,k} \dot{x}^i \dot{x}^j -\frac{\mathrm d}{\mathrm ds} \left( g_{ki}\dot{x}^i \right) = 0$

Comme le tenseur métrique dépend de $x i$ mais pas explicitement de $\dot{x}^i$ , on a $\tfrac{\mathrm d g_{ki}}{\mathrm d s} = g_{ki,j} \tfrac{\mathrm d x^j}{\mathrm ds}$ et l'équation géodésique prend la forme