Variété stable

Exemple de flot hyperbolique exhibant des variétés stable et instable. La variété stable est l'axe des abscisses, la variété instable est la courbe asymptotique croisant l'axe des abscisses.

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[gradF,.]=dF$

Un point critique $x$ est dit non dégénéré lorsque la hessienne $\mathrm{\nabla }dF(x)$ est une forme bilinéaire non dégénérée sur $T_{x}M$. 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

${\varphi }_t:M\to M$

Si $x$ est un point critique non dégénéré, on appelle variété stable $W^s(x)=\{y,\underset{t\to +\mathrm{\infty }}{\lim }d(x,{\varphi }_{t}y)=0\}$ 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_x{W}^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

• Modèle:Jost2
• Modèle:En Anatole Katok et Modèle:Lien, Introduction to the modern theory of Dynamical systems, Cambridge U. Press, 1997 Modèle:ISBN