À RÉDIGER

Équation géodésique

On obtient l'équation d'une géodésique en écrivant que sa longueur est minimale.

Un système de coordonnées ${\displaystyle x^{i}}$ étant donné, le tenseur métrique donne la longueur d'une courbe infinitésimale ${\displaystyle ds={\sqrt {\left[-\right]g_{ij}dx^{i}dx^{j}}}}$. Le signe optionnel ${\displaystyle \left[-\right]}$ est choisi en fonction du signe de l'intervalle et de la signature du tenseur métrique.

Si la courbe est paramétrée au moyen d'une variable ${\displaystyle \tau }$, on écrit ${\displaystyle ds={\sqrt {\left[-\right]g_{ij}{\dot {x}}^{i}{\dot {x}}^{j}}}d\tau }$, où le point supérieur représente la dérivée totale par rapport à ${\displaystyle \tau }$. La longueur de la trajectoire est donc la somme

${\displaystyle \int {\sqrt {\left[-\right]g_{ij}{\dot {x}}^{i}{\dot {x}}^{j}}}d\tau }$

En utilisant la méthode de Lagrange pour exprimer que l'intégrale est minimale, on obtient l'équation géodésique

${\displaystyle {\frac {\partial {\dot {s}}}{\partial x^{l}}}-{\frac {d}{d\tau }}\left({\frac {\partial {\dot {s}}}{\partial {\dot {x}}^{l}}}\right)=0}$

avec

${\displaystyle {\dot {s}}={\sqrt {\left[-\right]g_{ij}{\dot {x}}^{i}{\dot {x}}^{j}}}}$

Paramétrisation canonique

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 géodésique devient

${\displaystyle {\ddot {x}}^{k}=g^{kl}\left({\frac {1}{2}}g_{ij,l}-g_{il,j}\right){\dot {x}}^{i}{\dot {x}}^{j}}$

Le point supérieur est la dérivée totale par rapport au paramètre canonique. Démonstration.

Expression au moyen du symbole de Christoffel

La forme classique de l'équation géodésique en paramétrage canonique est la suivante :

${\displaystyle {\ddot {x}}^{k}=-\Gamma _{ij}^{k}{\dot {x}}^{i}{\dot {x}}^{j}}$

où ${\displaystyle \Gamma _{ij}^{k}}$ est le symbole de Christoffel.

Démonstration.

Système accéléré uniformément

Calcul tensoriel/Géodésiques/Système accéléré uniformément