Connexion de Levi-Civita

En géométrie riemannienne, la connexion de Levi-Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo-riemannienne. Ses propriétés caractérisent la variété riemannienne. Notamment, les géodésiques, courbes minimisant localement la distance riemannienne, sont exactement les courbes pour lesquelles le vecteur vitesse est parallèle. De plus, la courbure de la variété se définit à partir de cette connexion ; des conditions sur la courbure imposent des contraintes topologiques sur la variété.

Pour les articles homonymes, voir Levi et Civita (homonymie).

La connexion de Levi-Civita est appelée en référence au mathématicien italien Tullio Levi-Civita (1873 - 1941) qui a introduit les concepts de transport parallèle pour les besoins de la relativité générale.

L'exemple des surfaces paramétrées

La considération des surfaces paramétrées permet de comprendre le cheminement qui conduit à la définition de la connexion de Levi-Civita. Soient une surface paramétrée plongée dans l'espace de dimension 3, et et deux champs de vecteurs tangents à cette surface. Le plan tangent admet pour base locale les vecteurs et . Notons et les composantes de dans cette base, et de même pour .

On souhaite décrire l'évolution du champ lorsqu'on suit une ligne de champ de , et en particulier définir une dérivation de dans la direction . Plaçons-nous pour cela en un point de la surface, et considérons un déplacement . Ce point n'appartient pas nécessairement à la surface, aussi projetons-le orthogonalement en un point de la surface. On peut penser à définir la dérivée de dans la direction au point comme étant égal à . Mais l'expression de cette limite comporte deux parties. La première, égale à , est une combinaison linéaire des deux vecteurs de la base locale du plan tangent à la surface au point . L'autre est une forme bilinéaire symétrique de et de qui fait intervenir les dérivées secondes de la fonction . Notons-la . Pour obtenir une limite qui soit élément du plan tangent, on projette orthogonalement[1] cette deuxième partie sur le plan tangent. On obtient alors une expression , somme de la première partie, et d'une forme bilinéaire symétrique de et de s'exprimant à partir des coefficients de la première forme fondamentale et de leurs dérivées. Si pour tout et valant ou , on pose , alors :

.

Les coefficients s'appellent symboles de Christoffel. Par ailleurs, on peut vérifier que l'opérateur vérifie les propriétés suivantes :

  • pour toute fonction  ;
  •  ;
  • où [ , ] désigne le crochet de Lie ;
  • pour tout champ , , .

Ce sont ces propriétés qui vont servir d'axiomes afin de définir une connexion de Levi-Civita dans le cas général d'une variété riemannienne.

Définition axiomatique

Une métrique pseudo-riemannienne de classe sur une variété différentielle est la donnée d'une famille de formes bilinéaires symétriques non dégénérées sur les espaces tangents , de sorte que pour tous champs de vecteurs et de classe , la fonction soit de classe . La signature de est localement constante sur . La métrique est dite riemannienne si en tout point la forme est (définie) positive.

Dans ce cadre il est possible d'énoncer le théorème fondamental de la géométrie riemannienne : il existe une unique connexion de Koszul sur , appelée connexion de Levi-Civita vérifiant les deux conditions :

  1. est sans torsion : pour tous champs de vecteurs et ,
     ;
  2. est parallèle : pour tous champs de vecteurs , et , on a :
.

On peut suivre une démarche d'analyse-synthèse pour établir unicité puis existence. En présupposant l'existence de la connexion, des manipulations algébriques simples conduisent à la relation

.

Par non dégénérescence de g, la connexion ∇ est uniquement déterminée par cette égalité. Cela prouve l'unicité sous réserve d'existence. Ce calcul présente aussi un intérêt pratique : on le retrouvera au-dessous en cherchant à exprimer la connexion dans un système de coordonnées locales. Cependant les auteurs font souvent remarquer qu'une telle expression est en réalité moins utile que les propriétés caractéristiques énoncées dans le théorème lui-même[2].

Ensuite, on prouve l'existence, en justifiant qu'en introduisant par cette formule pour des champs X et Y quelconques, on a une expression bien définie, qui est une connexion, sans torsion, et telle que est parallèle.

Coordonnées locales

Considérons une carte locale de coordonnées en un point de la variété riemannienne, et soit la base locale correspondant aux dérivations par rapport aux . Soient les composantes du tenseur métrique g dans la base locale. Les propriétés axiomatiques de la connexion permettent de déterminer les symboles de Christoffel tels que (en notation d'Einstein) :

On prouve en effet que (en notation d'Einstein) :

où le tenseur est l'inverse du tenseur .

Réciproquement, soient X et Y deux champs de vecteurs de composantes respectives et dans la base locale. On peut reconstituer à partir des coefficients de Christoffel. On a en effet (en notation d'Einstein) :

qu'on peut également écrire :

Cette expression est analogue à une composition des vitesses telle qu'on en rencontre dans les changements de référentiels en physique. Supposons que X désigne la vitesse avec laquelle on parcourt un arc paramétré de la variété différentielle. On peut alors interpréter comme la vitesse absolue avec laquelle Y varie lorsqu'on se déplace le long de l'arc. La quantité représente la vitesse relative avec laquelle Y varie dans la base . La quantité est la vitesse d'entraînement, vitesse à laquelle Y varierait si ses composantes dans la base étaient constantes. Cette dernière vitesse est due uniquement à la façon dont les vecteurs de base varient au cours du déplacement. Lorsque les sont nuls, on dit que la base est transportée parallèlement à l'arc parcouru. Les variations de Y sont alors dues uniquement aux variations de ces composantes dans la dite base.

Exemples

Métriques induites

Soit M une variété, et N une sous-variété munie de la métrique induite par celle de M. Alors la connexion de Levi-Civita s'obtient à partir de celle de M en la projetant orthogonalement sur l'espace tangent à N. Autrement dit, pour tout vecteur V et W tangents à N, est le projeté orthogonal sur l'espace tangent à N de .

Métriques conformes

Deux métriques g et g' sont dites conformes si, en chaque point de la variété, elles sont proportionnelles l'une à l'autre. Le coefficient de proportionnalité étant strictement positif et dépendant du point considéré, il existe une fonction f telle que g' = e2f.g. La connexion de Levi-Civita de g' est alors donnée par[3] :

où le gradient de f est pris relativement à la métrique g.

Voir aussi

Références

  1. Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], 2010, p. 133.
  2. (en) Sylvestre Gallot, Dominique Hulin (en) et Jacques Lafontaine, Riemannian Geometry [détail de l’édition] p. 68
  3. Pierre Pansu, connexion de Levi-Civita, p.10
  • Portail de la géométrie
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.