Variété stable

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
Des informations de cet article ou section devraient être mieux reliées aux sources mentionnées dans la bibliographie, sources ou liens externes (septembre 2012).

Améliorez sa vérifiabilité en les associant par des références à l'aide d'appels de notes.

Les variétés stables jouent un rôle central dans les systèmes dynamiques différentiables en temps continu. Cette notion est aussi au centre de l'homologie de Floer.

Soit F une fonction différentiable sur une variété différentielle compacte M de dimension n. Considérons une métrique riemannienne g sur M. Le champ de gradient  X de F est défini par

  g\left[grad\, F,.\right]=dF

Un point critique x est dit non dégénéré lorsque la hessienne \nabla dF (x) est une forme blinéaire non dégénérée sur  T_xM. En apparence, la connexion de Levi-Cevita intervient dans la définition de la hessienne, mais en un point critique x, la définition de la hessienne ne dépend pas de la métrique. En particulier, la définition d'un point critique non dégénéré est intrinsèque à la variété.

Comme M est compacte, le flot de grad F est complet et définit un groupe à un paramètre de difféomorphismes

 \phi_t:M\rightarrow M

Si x est un point critique non dégénéré, on appelle variété stable  W^s(x)=\left\{y,\lim_{t \rightarrow+\infty} d(x,\phi_t y)=0\right\}
Le résultat suivant est non élémentaire et ses implications sont larges et considérables.

Théorème : Sous les notations précédentes, la variété stable  W^s(x) est une sous-variété plongée de M, de dimension \mu(x). De plus, l'espace tangent en l'élément x est :

 \,T_xW^s(x)=E^s(x)

Ici, \,\mu(x) désigne l'indice de la hessienne, c'est-à-dire la dimension maximum d'un sous-espace sur lequel elle est définie négative.

Références[modifier | modifier le code]