Lundi 28 Avril 2025
Rechercher 🔍

Lemme de Gauss (géométrie riemannienne) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
- Introduction - Introduction - Lemme de Gauss : l'exponentielle comme isométrie radiale

Introduction

En géométrie riemannienne, le lemme de Gauss permet de comprendre l'application exponentielle comme une isométrie radiale. Dans ce qui suit, soit M une variété riemannienne dotée d'une connexion de Levi-Civita (i.e. en particulier, cette connexion est symétrique et compatible avec la métrique de M).

Introduction

Nous avons défini sur M l'application exponentielle en p\in M par

\exp_p:T_pM\supset B_{\epsilon}(0) \longrightarrow M,\qquad v\longmapsto \gamma(1, p, v),

où on a dû restreindre le domaine TpM de définition à une boule Bε(0) de rayon ε > 0 et de centre 0 pour s'assurer que expp est bien définie et où γ(1,p,v) est le point q\in M atteint en suivant l'unique géodésique γ passant par le point p\in M avec la vitesse \frac{v}{\vert v\vert}\in T_pM sur une distance \vert v\vert . Nous remarquons très aisément que expp est un difféomorphisme local autour de 0\in B_\epsilon(0) . En effet, soit \alpha : I\rightarrow T_pM une courbe différentiable dans TpM telle que α(0): = 0 et α'(0): = v. Comme T_pM\cong \mathbb R^n , il est clair qu'on peut choisir α(t): = vt. Dans ce cas, par la définition de la différentielle de l'exponentielle en 0 appliquée sur v, nous obtenons

T_0\exp_p(v) = \frac{\mathrm d}{\mathrm d t} \Bigl(\exp_p\circ\alpha(t)\Bigr)\Big\vert_{t=0} = \frac{\mathrm d}{\mathrm d t} \Bigl(\exp_p(vt)\Bigr)\Big\vert_{t=0}=\frac{\mathrm d}{\mathrm d t} \Bigl(\gamma(1,p,vt)\Bigr)\Big\vert_{t=0}= \gamma'(t,p,v)\Big\vert_{t=0}=v.

Le fait que expp soit un difféomorphisme local et que T0expp(v) = v pour tout v\in B_\epsilon(0) nous permet d'affirmer que expp est une isométrie locale autour de 0, i.e.

\langle T_0\exp_p(v), T_0\exp_p(w)\rangle_0 = \langle v, w\rangle_p\qquad\forall v,w\in B_\epsilon(0).

Ceci signifie en particulier qu'il est possible d'identifier la boule B_\epsilon(0)\subset T_pM avec un petit voisinage autour de p\in M . Nous sommes déjà contents de voir que expp est une isométrie locale, mais on aimerait bien que ce soit un peu plus que ça. Il s'avère qu'il est en fait possible de montrer que cette application est même une isométrie radiale !

Fichier:Gauss lemma local isometry.png
L'exponentielle comme isométrie locale

Ceci signifie en particulier qu'il est possible d'identifier la boule B_\epsilon(0)\subset T_pM avec un petit voisinage autour de p\in M . Nous sommes déjà contents de voir que \exp_p\ est une isométrie locale, mais on aimerait bien que ce soit un peu plus que ça. Il s'avère qu'il est en fait possible de montrer que cette application est même une isométrie radiale !

Lemme de Gauss : l'exponentielle comme isométrie radiale

Soit p\in M . Dans ce qui suit, nous faisons l'identification T_vT_pM\cong T_pM\cong \mathbb R^n . Le lemme de Gauss dit :

Soient v,w\in B_\epsilon(0)\subset T_vT_pM\cong T_pM et M\ni q:=\exp_p(v) . Alors,

\langle T_v\exp_p(v), T_v\exp_p(w)\rangle_v = \langle v,w\rangle_q.

Pour p\in M , ce lemme signifie que \exp_p\ est une isométrie radiale dans le sens suivant : soit v\in B_\epsilon(0) , i.e. tel que \exp_p\ est bien définie. De plus, soit q:=\exp_p(v)\in M . Alors, l'exponentielle \exp_p\ reste une isométrie en q\ , et, plus généralement, tout au long de la géodésique \gamma\ (pour autant que \gamma(1,p,v)=\exp_p(v)\ soit bien définie) ! Donc, radialement, dans toutes les directions permises par le domaine de définition de \exp_p\ , celle-ci reste une isométrie.

Fichier:Gauss lemma radial isometry.png
L'exponentielle comme isométrie radiale

Preuve

Rappelons que

T_v\exp_p : T_pM\cong T_vT_pM\supset T_vB_\epsilon(0)\longrightarrow T_qM.

Nous procédons en trois étapes :

  • T_v\exp_p(v)=v\  : construisons une courbe \alpha : \mathbb R \supset I \rightarrow T_pM telle que \alpha(0):=v\in T_pM , \alpha'(0):=v\in T_vT_pM\cong T_pM et | v | = cste. Comme T_vT_pM\cong T_pM\cong \mathbb R^n , on peut poser \alpha(t):=e^tv\ . Alors,
T_v\exp_p(v) = \frac{\mathrm d}{\mathrm d t}\Bigl(\exp_p\circ\alpha(t)\Bigr)\Big\vert_{t=0}=\frac{\mathrm d}{\mathrm d t}\gamma(t,p,v)\Big\vert_{t=0} = v.

Calculons maintenant le produit scalaire \langle T_v\exp_p(v), T_v\exp_p(w)\rangle .

Décomposons w\ en une composante w_T\ tangente à v\ et une composante w_N\ normale à v\ . En particulier, posons w_T:=\alpha v\ , \alpha\in \mathbb R .

L'étape précédente implique alors directement :

\langle T_v\exp_p(v), T_v\exp_p(w)\rangle = \langle T_v\exp_p(v), T_v\exp_p(w_T)\rangle + \langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle=\alpha\langle T_v\exp_p(v), T_v\exp_p(v)\rangle + \langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle=\langle v, w_T\rangle + \langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle.

Il faut donc montrer que le second terme est nul, car, selon le lemme de Gauss, on devrait avoir

\langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle = \langle v, w_N\rangle = 0.
  • \langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle = 0  :
Fichier:Gauss lemma proof.png
La courbe choisie pour prouver le lemme

définissons la courbe

\alpha : ]-\epsilon, \epsilon[\times [0,1] \longrightarrow T_pM,\qquad (s,t) \longmapsto t\cdot v(s),

avec v(0):=v\ et v'(0):=w_N\ . On remarque au passage que

\alpha(0,1) = v(0) = v,\qquad\frac{\partial \alpha}{\partial t}(0,t) = v(0) = v,\qquad\frac{\partial \alpha}{\partial s}(0,t) = tw_N.

Posons alors

f : ]-\epsilon, \epsilon[\times [0,1] \longrightarrow M,\qquad (s,t)\longmapsto \exp_p(t\cdot v(s)),

et calculons :

T_v\exp_p(v)=T_{\alpha(0,1)}\exp_p\left(\frac{\partial \alpha}{\partial t}(0,1)\right)=\frac{\partial}{\partial t}\Bigl(\exp_p\circ\alpha(s,t)\Bigr)\Big\vert_{t=1, s=0}=\frac{\partial f}{\partial t}(0,1)

et

T_v\exp_p(w_N)=T_{\alpha(0,1)}\exp_p\left(\frac{\partial \alpha}{\partial s}(0,1)\right)=\frac{\partial}{\partial s}\Bigl(\exp_p\circ\alpha(s,t)\Bigr)\Big\vert_{t=1,s=0}=\frac{\partial f}{\partial s}(0,1).

Donc,

\langle T_v\exp_p(v), T_v\exp_p(w_N)\rangle = \langle \frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle(0,1).

On va vérifier maintenant que ce produit scalaire est en fait indépendant de la variable t, et donc que, par exemple,

\langle\frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle(0,1) = \langle\frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle(0,0) = 0,

car, selon ce qui a été donné plus haut,

\lim_{t\rightarrow 0}\frac{\partial f}{\partial s}(t,0) = \lim_{t\rightarrow 0}T_{tv}\exp_p(tw_N) = 0

étant donné que la différentielle est une application linéaire ! Ceci prouverait alors le lemme.

  • On vérifie que \frac{\partial}{\partial t}\langle \frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle=0  : c'est du calcul direct. En effet, on prend d'abord conscience du fait que les applications t\mapsto f(s,t) sont des géodésiques, i.e. \frac{D}{\partial t}\frac{\partial f}{\partial t}=0 . Alors,
\frac{\partial}{\partial t}\langle \frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle=\langle\underbrace{\frac{D}{\partial t}\frac{\partial f}{\partial t}}_{=0}, \frac{\partial f}{\partial s}\rangle+\langle\frac{\partial f}{\partial t},\frac{D}{\partial t}\frac{\partial f}{\partial s}\rangle=\langle\frac{\partial f}{\partial t},\frac{D}{\partial s}\frac{\partial f}{\partial t}\rangle=\frac{\partial }{\partial s}\langle \frac{\partial f}{\partial t}, \frac{\partial f}{\partial t}\rangle - \langle\frac{\partial f}{\partial t},\frac{D}{\partial s}\frac{\partial f}{\partial t}\rangle.

Donc, en particulier,

0=\frac{1}{2}\frac{\partial }{\partial s}\langle \frac{\partial f}{\partial t}, \frac{\partial f}{\partial t}\rangle= \langle\frac{\partial f}{\partial t},\frac{D}{\partial s}\frac{\partial f}{\partial t}\rangle=\frac{\partial}{\partial t}\langle \frac{\partial f}{\partial t},\frac{\partial f}{\partial s}\rangle,

car on a | v | = cste.

- Introduction - Introduction - Lemme de Gauss : l'exponentielle comme isométrie radiale
miniature
Lucy survole un astéroïde en forme de cacahuète 🚀
miniature
Découverte du fossile d'un dinosaure géant méconnu 🦕
miniature
Mars avait-elle un champ magnétique unilatéral ? 🔍
miniature
Des chimpanzés surpris à sociabiliser avec de l'alcool 🍇
miniature
Découverte macabre: ce gladiateur a été tué par un lion il y a 1 800 ans... en Grande-Bretagne 🦁
miniature
L'électroluminescence du graphène, une découverte inattendue ! 💡
miniature
Cet objet métallique n'a pas été fabriqué sur Terre 🔧
miniature
1
Cette innovation permet aux voitures électriques de charger 6 fois plus vite par grand froid ⚡
miniature
Cette super-Terre brûle les attentes des astronomes 🔥
miniature
Découverte exceptionnelle de fossiles d'amphibiens géants 🐸
miniature
Voici ce qui a causé les toutes premières inégalités de richesse 💰
miniature
Quelle est cette zone étrange dans l'Atlantique Nord ? 🌊
miniature
Cette planète orbite à angle droit autour de deux étoiles, une première ! 🔭
miniature
Des cellules solaires flexibles battent des records d'efficacité ⚡
miniature
Ce dispositif reproduit les trous noirs et trous blancs en laboratoire 🌀
miniature
Record établi pour un transistor en diamant 💎
miniature
Les sursauts radio rapides trahissent enfin leur origine cosmique 📡
miniature
Ces biomarqueurs sanguins prédisent la démence 10 ans à l'avance 🧠
miniature
Découverte majeure: des médicaments 23 fois plus efficaces contre le cancer 💊
miniature
Les oscillations collectives des foules humaines denses 🔁
miniature
Une forme inconnue de la matière détectée au LHC ? ⚛️
miniature
Le sel, un facteur méconnu de l'obésité ? 🧂
miniature
L'Univers en rotation, une réponse élégante à ce problème astrophysique majeur 🌀
miniature
Découverte tectonique majeure sous les Petites Antilles 🌍
miniature
1
Peut-on geler en chauffant ? ❄️
miniature
Une peau électronique pour doter les robots du sens du toucher 👌
miniature
Invention d'un bois semi-transparent avec une technique...surprenante ! 🌳
miniature
Le cancer inscrit dans nos gènes dès la naissance ? 🧬
miniature
Des supernovae à l'origine de deux extinctions massives sur Terre ? 💥
miniature
Le passé verdoyant du plus grand désert du monde 🐪
miniature
Après les campagnes antivaccins, la rougeole revient en force aux États-Unis 😷
miniature
Des puces quantiques plus proches que jamais ⚡
miniature
1
Pourrons-nous bientôt communiquer avec les dauphins grâce à l'IA ? 🐬
miniature
En déplaçant deux atomes, des chercheurs transforment le LSD en médicament surpuissant 💊
miniature
Des scientifiques parviennent à produire efficacement du carburant à partir de monoxyde de carbone 🛢️
miniature
Que nous apprend la découverte de cet insecte de 16 millions d'années ? 🐜
miniature
Avec 91km, l'accélérateur FCC fera passer le LHC pour un jouet ⚛️
miniature
Cette vitamine développe les fonctions cognitives du cerveau 🧠
miniature
Comment des impacts géants vaporisent les corps planétaires ☄️
miniature
Les Américains riches vivent moins longtemps que les Européens pauvres 💰
miniature
Attention à ce riz naturellement riche en arsenic 🍚
miniature
L'intelligence artificielle contre la mort subite 💀
miniature
L'inévitable formation d'un océan de magma basal sur Terre 🔥
miniature
Découverte d'une plante étrange sans chlorophylle 🌱
miniature
Existe-t-il des mélodies naturelles ? 🎶
miniature
Cette exoplanète présente une signature de vie bien plus forte que celle de la Terre 👽
miniature
L'origine énigmatique des rayons cosmiques les plus énergétiques ⚡
miniature
1
Le diagnostic de l'autisme remis en cause par l'intelligence artificielle 🩺
miniature
Imprimer en 3D avec la lumière du soleil ☀️
miniature
La pollution atmosphérique nuit gravement au cerveau 🧠
Page générée en 0.130 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise