Connexion de Levi-Civita

(Redirigé depuis Connexion de Levi-Cevita)

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é.

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

modifier

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

modifier

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

modifier

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.

Courbure

modifier

Exemples

modifier

Métriques induites

modifier

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

modifier

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

modifier

Références

modifier
  1. Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], 2010, p. 133.
  2. (en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail de l’édition] p. 68
  3. Pierre Pansu, connexion de Levi-Civita, p.10