Symboles de christoffel

Symboles de Christoffel

En mathématiques et en physique, les symboles de Christoffel, qui tirent leur nom du mathématicien Elwin Bruno Christoffel, sont une expression de la connexion de Levi-Civita dérivée du tenseur métrique. Les symboles de Christoffel sont utilisés dans les calculs pratiques de la géométrie de l'espace : ce sont des outils de calculs concrets, mais en contrepartie leur manipulation est relativement longue, notamment du fait du nombre de termes impliqués.

Ce sont des outils de base utilisés dans le cadre de la Relativité générale pour décrire l'action de la masse et de l'énergie sur la courbure de l'espace-temps.

Au contraire, les notations formelles pour la connexion de Levi-Civita permettent l'expression de résultats théoriques de façon élégante, mais n'ont pas d'application directe pour les calculs pratiques.

Sommaire

1 Liminaires
2 Définition
3 Expression par rapport au tenseur métrique
4 Contraction
5 Voir aussi
6 Bibliographie

Liminaires

Les définitions données ci-dessous sont valides à la fois pour les variétés riemanniennes et les variétés pseudo-riemanniennes, telles que celles utilisées en relativité générale. On utilise de même la notation des indices supérieurs pour les coordonnées contravariantes, et inférieur pour les coordonnées covariantes.

Définition

Dans une variété riemanienne ou pseudo-riemanienne $M$ , il n'existe pas de système de coordonnées qui s'applique à toute la variété. On peut néanmoins définir localement un repère de Lorentz (voir définition d'une variété topologique : on peut trouver en chaque point de $M$ un voisinage ouvert homéomorphe à un ouvert de l'espace $\R^3$ ).

La dérivée covariante permet d'évaluer l'évolution d'un champ de vecteurs $V$ en prenant en compte non seulement ses modifications intrinsèques, mais aussi celle du système de coordonnées. Ainsi, si on prend un repère en coordonnées polaires, les deux vecteurs $e r$ et $e θ$ ne sont pas constants et dépendent du point étudié. La dérivée covariante permet de prendre en compte ces deux facteurs d'évolution.

Les symboles de Christoffel $Γ k j i$ représentent alors l'évolution des vecteurs de base, à travers leur dérivée covariante :

$\nabla _ {\vec e_i} \vec e_j = {\Gamma^k}_{ji} \vec e_k$

En utilisant les propriétés de la dérivée covariante, on parvient à l'expression :

$\nabla _ {\vec u} \vec v = u^i \partial _ i v^j \vec e_j + u^i v^j {\Gamma^k}_{ji} \vec e_k$

Les coordonnées du vecteur $\nabla _ {\vec e_\alpha} \vec v$ sont notées à l'aide d'un point-virgule, selon la définition :

$\nabla _ {\vec e_\alpha} \vec v = {v^k}_{;\alpha} \vec e_k$

En remplaçant $\vec u$ par $\vec e_{\alpha}$ dans la relation ci-dessus, on obtient :

${v^k}_{;\alpha} = \partial _ {\alpha} v^k + v^j {\Gamma^k}_{j \alpha}$

On voit donc qu'effectivement l'évolution du vecteur $\vec v$ dépend à la fois de son évolution intrinsèque (terme $\partial _ {\alpha} v^k$ ) et de celle de la base, rattaché au deuxième terme et notamment à $Γ k j α$ , symbole de Christoffel.

Ce résultat est valable pour un vecteur $\vec v$ qui est un tenseur d'ordre 1. Pour un tenseur d'ordre $n$ et de rang $(l, m)$ , on pourrait obtenir la même chose :

${T^{i \dots j}}_{k\dots l;m} = {T^{i \dots j}}_{k\dots l,m} \ + \ {\Gamma^i}_{\mathbf{n}m} {T^{\mathbf{n}\dots j}}_{k\dots l} \ + \ \dots \ + \ {\Gamma^j}_{\mathbf{n}m} {T^{i\dots \mathbf{n}}}_{k\dots l} \ - \ {\Gamma^\mathbf{s}}_{km} {T^{i\dots j}}_{\mathbf{s}\dots l} \ - \ {\Gamma^\mathbf{s}}_{lm} {T^{i\dots j}}_{k\dots \mathbf{s}}$

Les indices en gras ci-dessous mettent en valeur les contributions des différents composantes de Christoffel. On observe d'ailleurs que les indices contravariants donnent lieu à une contribution positive du coefficient de Christoffel, tandis que les indices covariants à une contribution négative.

Expression par rapport au tenseur métrique

On peut exprimer la valeur des coefficients de Christoffel par rapport au tenseur $g i k$ , en prenant en compte le fait que

$\nabla _ {\vec e_\alpha} \vec g_{ik} = 0$

car la métrique est conservée localement : on a localement un repère de Lorentz en chaque point de l'espace.

En appliquant à $g$ , tenseur d'ordre 2 et de rang (0,2), l'équation des coefficients de Christoffel donnée ci-dessus (2 coordonnées covariantes donnent 2 contributions « négatives ») :

$\,g_{ik;\ell} = g_{ik,\ell} - g_{mk} \Gamma^m {}_{i\ell} - g_{im} \Gamma^m {}_{k\ell}. \$

On trouve alors, en permutant les indices et en exprimant plusieurs valeurs des coefficients :

$\Gamma^i {}_{k\ell}=\frac{1}{2}g^{im} \left(\frac{\partial g_{mk}}{\partial x^\ell} + \frac{\partial g_{m\ell}}{\partial x^k} - \frac{\partial g_{k\ell}}{\partial x^m} \right) = {1 \over 2} g^{im} (g_{mk,\ell} + g_{m\ell,k} - g_{k\ell,m}), \$

où $g i j$ est l'inverse de $g i j$ , défini en utilisant le symbole de Kronecker par $g k i g i l = δ k l$ .

Remarque : bien que les symboles de Christoffel soient écrits dans la même notation que les tenseurs, ce ne sont pas des tenseurs. En effet, ils ne se transforment pas comme les tenseurs lors d'un changement de coordonnées.

La plupart des auteurs choisissent des définir les symboles de Christoffel dans une base de coordonnées holonomiques, qui est la convention suivie ici. Dans des coordonnées non holonomiques, les symboles de Christoffel s'expriment dans une formulation plus complexe :

$\Gamma^i {}_{k\ell}=\frac{1}{2}g^{im} \left( \frac{\partial g_{mk}}{\partial x^\ell} + \frac{\partial g_{m\ell}}{\partial x^k} - \frac{\partial g_{k\ell}}{\partial x^m} + c_{mk\ell}+c_{m\ell k} - c_{k\ell m} \right) \$

où les $c_{k\ell m}=g_{mp} c_{k\ell}{}^p$ sont les coefficients de commutation de la base, c'est-à-dire

$[e_k,e_\ell] = c_{k\ell}{}^m e_m\,\$

où $e k$ sont les vecteurs de base et $[.,.]$ correspond au crochet de Lie. Deux exemples de base non holonomiques sont par exemple celles associées aux coordonnées sphériques ou cylindriques.

Par exemple, les seuls termes non constants du tenseur métrique en coordonnées sphériques sont $g θθ = r 2$ , $g φφ = r 2 sin 2 θ$ , et l'on a $g θθ, r = 2 r$ , $g φφ, r = 2 r sin 2$ , $g φφ,θ = 2 r 2 cosθsinθ$ . Les éléments non nuls du symbole de Christoffel en fonction du tenseur métrique sont donc peu nombreux :

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

De même, le seul terme non constant du tenseur métrique en coordonnées cylindriques est $g φφ = r 2$ , et l'on a $g φφ, r = 2 r$ . Les éléments non nuls du symbole de Christoffel en fonction du tenseur métrique sont donc peu nombreux :

$\begin{align} \Gamma^{r}_{\phi\phi} & = -r\\ \Gamma^{\phi}_{r\phi} = \Gamma^{\phi}_{\phi r} &= \frac{1}{r} \end{align}$

Contraction

Article détaillé : Contraction du symbole de Christoffel.

Voir aussi

Bibliographie

Claude Semay, Bernard Silvestre-Brac, Introduction au calcul tensoriel, Applications à la physique, Dunod, 2007 (ISBN 978-2-10-050552-4)

Portail de la physique

Ce document provient de « Symboles de Christoffel ».

Catégories : Géométrie riemannienne | Relativité générale

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Symboles de christoffel de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

Symboles de Christoffel — En mathématiques et en physique, les symboles de Christoffel, qui tirent leur nom du mathématicien Elwin Bruno Christoffel, sont une expression de la connexion de Levi Civita dérivée du tenseur métrique. Les symboles de Christoffel sont utilisés… … Wikipédia en Français
Coefficients de Christoffel — Symboles de Christoffel En mathématiques et en physique, les symboles de Christoffel, qui tirent leur nom du mathématicien Elwin Bruno Christoffel, sont une expression de la connexion de Levi Civita dérivée du tenseur métrique. Les symboles de… … Wikipédia en Français
Symbole de Christoffel — Symboles de Christoffel En mathématiques et en physique, les symboles de Christoffel, qui tirent leur nom du mathématicien Elwin Bruno Christoffel, sont une expression de la connexion de Levi Civita dérivée du tenseur métrique. Les symboles de… … Wikipédia en Français
Elwin Bruno Christoffel — (10 novembre 1829 à Montjoie 15 mars 1900 à Strasbourg) est un mathématicien et physicien allemand. Biographie Il étudia à l … Wikipédia en Français
Coefficients de connexion — Symboles de Christoffel En mathématiques et en physique, les symboles de Christoffel, qui tirent leur nom du mathématicien Elwin Bruno Christoffel, sont une expression de la connexion de Levi Civita dérivée du tenseur métrique. Les symboles de… … Wikipédia en Français
Mathematiques de la relativite generale — Mathématiques de la relativité générale Les mathématiques de la relativité générale se réfèrent à différentes structures et techniques mathématiques utilisées par la théorie de la relativité générale d Albert Einstein. Les principaux outils… … Wikipédia en Français
Mathématiques De La Relativité Générale — Les mathématiques de la relativité générale se réfèrent à différentes structures et techniques mathématiques utilisées par la théorie de la relativité générale d Albert Einstein. Les principaux outils utilisés dans cette théorie géométrique de la … Wikipédia en Français
Mathématiques de la relativité générale — Les mathématiques de la relativité générale se réfèrent à différentes structures et techniques mathématiques utilisées par la théorie de la relativité générale d Albert Einstein. Les principaux outils utilisés dans cette théorie géométrique de la … Wikipédia en Français
Derivee covariante — Dérivée covariante En géométrie différentielle, la dérivée covariante est un outil destiné à obtenir la dérivée d un champ vectoriel sur une variété. Il n existe pas de différence entre la dérivée covariante et la connexion, à part la manière… … Wikipédia en Français
Dérivation convariante — Dérivée covariante En géométrie différentielle, la dérivée covariante est un outil destiné à obtenir la dérivée d un champ vectoriel sur une variété. Il n existe pas de différence entre la dérivée covariante et la connexion, à part la manière… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Symboles de christoffel