Liaison Levi-Civita - Levi-Civita connection
En géométrie riemannienne ou pseudo riemannienne (en particulier la géométrie lorentzienne de la relativité générale ), la connexion de Levi-Civita est l'unique connexion sur le fibré tangent d'une variété (ie connexion affine ) qui préserve la ( pseudo- ) métrique riemannienne et est de torsion -libre.
Le théorème fondamental de la géométrie riemannienne stipule qu'il existe une connexion unique qui satisfait ces propriétés.
Dans la théorie des variétés riemanniennes et pseudo-riemanniennes, le terme dérivé covariant est souvent utilisé pour la connexion Levi-Civita. Les composantes (coefficients de structure) de cette connexion par rapport à un système de coordonnées locales sont appelées symboles de Christoffel .
Histoire
La connexion Levi-Civita porte le nom de Tullio Levi-Civita , bien qu'à l'origine "découvert" par Elwin Bruno Christoffel . Levi-Civita, avec Gregorio Ricci-Curbastro , a utilisé les symboles de Christoffel pour définir la notion de transport parallèle et explorer la relation du transport parallèle avec la courbure , développant ainsi la notion moderne d' holonomie .
En 1869, Christoffel a découvert que les composants de la dérivée intrinsèque d'un champ vectoriel, lors du changement de système de coordonnées, se transforment en composants d'un vecteur contravariant. Cette découverte fut le véritable début de l'analyse tensorielle.
En 1906, LEJ Brouwer fut le premier mathématicien à considérer le transport parallèle d'un vecteur pour le cas d'un espace à courbure constante .
En 1917, Levi-Civita souligna son importance pour le cas d'une hypersurface plongée dans un espace euclidien , c'est-à-dire pour le cas d'une variété riemannienne noyée dans un espace ambiant « plus grand ». Il a interprété la dérivée intrinsèque dans le cas d'une surface encastrée comme la composante tangentielle de la dérivée habituelle dans l'espace affine ambiant. Les notions de Levi-Civita de dérivée intrinsèque et de déplacement parallèle d'un vecteur le long d'une courbe ont un sens sur une variété riemannienne abstraite, même si la motivation originale reposait sur un plongement spécifique.
En 1918, indépendamment de Levi-Civita, Jan Arnoldus Schouten obtint des résultats analogues. La même année, Hermann Weyl généralise les résultats de Levi-Civita.
Notation
- ( M , g ) désigne une variété riemannienne ou pseudo-riemannienne .
- TM est le fibré tangent de M .
- g est la métrique riemannienne ou pseudo-riemannienne de M .
- X , Y , Z sont des champs de vecteurs lisses sur M , c'est-à-dire des sections lissesde TM .
- [ X , Y ] est la parenthèse de Lie de X et Y . C'est encore un champ vectoriel lisse.
La métrique g peut prendre jusqu'à deux vecteurs ou champs de vecteurs X , Y comme arguments. Dans le premier cas, la sortie est un nombre, le (pseudo-) produit scalaire de X et Y . Dans ce dernier cas, le produit scalaire de X p , Y p est pris en tous les points p de la variété de sorte que g ( X , Y ) définit une fonction lisse sur M . Les champs de vecteurs agissent (par définition) comme des opérateurs différentiels sur les fonctions lisses. En coordonnées locales , l'action lit
où la convention de sommation d'Einstein est utilisée.
Définition formelle
Une connexion affines ∇ est appelé une connexion Levi-Civita si
- il préserve la métrique , c'est-à-dire ∇ g = 0 .
- il est torsion -Free , à savoir, pour tout vecteur champs X et Y , nous avons ∇ X Y - ∇ Y X = [ X , Y ] , où [ X , Y ] est le support de Lie du champs de vecteurs X et Y .
La condition 1 ci-dessus est parfois appelée compatibilité avec la métrique , et la condition 2 est parfois appelée symétrie, cf. Faites le texte de Carmo.
Théorème fondamental de la (pseudo) géométrie riemannienne
Théorème Chaque pseudo variété riemannienne a une connexion de Levi Civita unique .
preuve : Si une connexion Levi-Civita existe, elle doit être unique. Pour voir cela, démêlez la définition de l'action d'une liaison sur les tenseurs pour trouver
On peut donc écrire la condition 1 sous la forme
Par la symétrie du tenseur métrique on trouve alors :
Par la condition 2, le membre de droite est donc égal à
et on trouve la formule de Koszul
Par conséquent, si une connexion Levi-Civita existe, elle doit être unique, car elle est arbitraire, n'est pas dégénérée et le membre de droite ne dépend pas de .
Pour prouver l'existence, notez que pour un champ de vecteurs donné et , le côté droit de l'expression de Koszul est fonction-linéaire dans le champ de vecteurs , pas seulement réel linéaire. Par conséquent, par la non dégénérescence de , le membre de droite définit de manière unique un nouveau champ de vecteurs que nous désignons de manière suggestive comme dans le membre de gauche. En substituant la formule de Koszul, on vérifie maintenant que pour tous les champs de vecteurs , et toutes les fonctions
Par conséquent, l'expression de Koszul définit en fait une connexion, et cette connexion est compatible avec la métrique et est sans torsion, c'est-à-dire une connexion (d'où la) Levi-Civita.
Notez qu'avec des variations mineures, la même preuve montre qu'il existe une connexion unique qui est compatible avec la métrique et a une torsion prescrite.
symboles Christoffel
Soit une connexion affine sur le fibré tangent. Choisissez des coordonnées locales avec des champs vectoriels de base de coordonnées et écrivez pour . Les symboles Christoffel de par rapport à ces coordonnées sont définis comme
Les symboles de Christoffel définissent à l'inverse la connexion sur le voisinage de coordonnées car
C'est,
Une connexion affine est compatible avec une métrique ssi
c'est-à-dire si et seulement si
Une connexion affines ∇ est torsion ssi gratuit
c'est-à-dire si et seulement si
est symétrique dans ses deux indices inférieurs.
Comme on vérifie en prenant pour , les champs de vecteurs de coordonnées (ou calcule directement), l'expression de Koszul de la connexion Levi-Civita dérivée ci-dessus est équivalente à une définition des symboles de Christoffel en termes de métrique comme
où comme d'habitude sont les coefficients du tenseur métrique dual, c'est-à-dire les entrées de l'inverse de la matrice .
Dérivée le long de la courbe
La connexion Levi-Civita (comme toute connexion affine) définit également une dérivée le long des courbes , parfois notée D .
Étant donné une courbe lisse γ sur ( M , g ) et un champ de vecteurs V le long de γ sa dérivée est définie par
Formellement, D est la connexion de retrait γ *∇ sur le faisceau de retrait γ * TM .
En particulier, est un champ de vecteurs le long de la courbe γ elle-même. Si elle est nulle, la courbe est appelée une géodésique de la dérivée covariante. Formellement, la condition peut être reformulée comme la disparition de la connexion de retrait appliquée à :
Si la dérivée covariante est la connexion Levi-Civita d'une certaine métrique, alors les géodésiques de la connexion sont précisément les géodésiques de la métrique qui sont paramétrées proportionnellement à leur longueur d'arc.
Transport parallèle
En général, le transport parallèle le long d'une courbe par rapport à une connexion définit des isomorphismes entre les espaces tangents aux points de la courbe. Si la connexion est une connexion Levi-Civita, alors ces isomorphismes sont orthogonaux , c'est-à-dire qu'ils préservent les produits internes sur les différents espaces tangents.
Les images ci-dessous montrent le transport parallèle de la connexion Levi-Civita associé à deux métriques riemanniennes différentes sur le plan, exprimées en coordonnées polaires . La métrique de l'image de gauche correspond à la métrique euclidienne standard , tandis que la métrique de droite a une forme standard en coordonnées polaires, et conserve ainsi le vecteur tangent au cercle. Cette deuxième métrique a une singularité à l'origine, comme on peut le voir en l'exprimant en coordonnées cartésiennes :
Exemple : la sphère unité dans R 3
Soit ⟨ , ⟩ le produit scalaire usuel sur R 3 . Soit S 2 la sphère unité dans R 3 . L'espace tangent à S 2 en un point m est naturellement identifié au sous-espace vectoriel de R 3 constitué de tous les vecteurs orthogonaux à m . Il s'ensuit qu'un champ de vecteurs Y sur S 2 peut être vu comme une application Y : S 2 → R 3 , qui satisfait
Notons d m Y ( X ) la dérivée covariante de l'application Y dans la direction du vecteur X . Ensuite nous avons:
-
Lemme : La formule
- définit une liaison affine sur S 2 à torsion nulle.
-
Preuve : Il est simple de prouver que ∇ satisfait l'identité de Leibniz et est C ∞ ( S 2 ) linéaire dans la première variable. C'est aussi un calcul simple pour montrer que cette connexion est sans torsion. Il suffit donc de prouver ici que la formule ci-dessus définit bien un champ de vecteurs. Autrement dit, nous devons prouver que pour tout m dans S 2
- Considérons l'application f qui envoie chaque m dans S 2 à ⟨ Y ( m ), m ⟩ , qui est toujours 0. L'application f est constante, donc son différentiel s'annule. En particulier
- L'équation (1) ci-dessus suit. CQFD
En fait, cette connexion est la connexion Levi-Civita pour la métrique sur S 2 héritée de R 3 . En effet, on peut vérifier que cette liaison préserve la métrique.
Voir également
Remarques
Les références
- Boothby, William M. (1986). Une introduction aux variétés différentiables et à la géométrie riemannienne . Presse académique. ISBN 0-12-116052-1.
- Kobayashi, Shoshichi ; Nomizu, Katsumi (1963). Fondements de la géométrie différentielle . John Wiley & Fils. ISBN 0-470-49647-9.Voir la page Tome I. 158
Liens externes
- "Connexion Levi-Civita" , Encyclopédie des mathématiques , EMS Press , 2001 [1994]
- MathWorld : Connexion Levi-Civita
- PlanetMath : Connexion Levi-Civita
- Connexion Levi-Civita au Manifold Atlas