Dynamique hyperbolique
La dynamique hyperbolique est l'étude des systèmes dynamiques qui présentent de l'hyperbolicité. Décrivons un exemple simple : on se donne la matrice diagonale
on peut regarder sa dynamique sur le plan. est le seul point fixe. On a une direction qui est comprimée, une direction qui est dilatée. On peut remarquer que les autres points ont trois comportements : soit ils tendent vers , soit ils s'en éloignent en ligne droite, soit ils ont une trajectoire en forme d'hyperbole.
On dit qu'un système dynamique différentiel présente de l'hyperbolicité quand tous les points périodiques présentent ce genre de comportement, ou plus généralement, tous les ensembles compacts invariants. Le résultat important concernant ces systèmes dynamiques est qu'il exhibent des propriétés de stabilité et des propriétés ergodiques, qui en font des bons candidats pour décrire les systèmes physiques.
Ensembles hyperboliques
modifierOn se donne une variété riemannienne , et une application , , de dans . On se donne une partie de . Alors on dit que est un ensemble (uniformément) hyperbolique pour si :
- est compacte ;
- est -invariante ;
- se décompose en la somme de Whitney :
et s'il existe des constantes et uniformes sur telles que pour tout point et tout entier positif ,
Il convient de faire plusieurs remarques. Si la variété est compacte, cette définition est indépendante du choix de la métrique, donc c'est vraiment une propriété purement différentielle.
Dans le cas de l'exemple de l'introduction, était un ensemble hyperbolique à lui tout seul.
n'est pas nécessairement un difféomorphisme, mais on fait souvent cette hypothèse, qui permet de voir la dynamique comme une action de groupe. Un accès de bourbakisme aigu pourrait nous pousser à définir une notion analogue pour les actions de groupes de Lie. Limitons-nous à remarquer que dans le cas d'un flot, il suffit de remplacer la somme de Whitney par :
où est la direction du flot.
Maintenant, il faut savoir quand on dit que est elle-même hyperbolique. Un point fixe hyperbolique est toujours un ensemble hyperbolique, mais réciproquement, certaines dynamiques admettent des ensembles hyperboliques bien moins simples (comme des Cantor, par exemple). La terminologie qui s'est imposée est celle de Smale[1] : « Axiom A map (en) ». On dit donc que vérifie l'axiome A de Smale si :
- L'ensemble non errant (en) de est hyperbolique (donc compact)
- Les points périodiques de sont denses dans
Stabilité structurelle
modifierOn dit qu'une application d'une variété dans elle-même, d'une régularité (pour une certaine classe ) est structurellement stable[2] s'il existe un ouvert dans la topologie des applications de dans tel que pour tout dans , il existe un homéomorphisme de qui conjugue et :
- .
Dans la pratique pour qu'il existe des exemples, il faut travailler dans un espace de régularité strictement plus fort que continu. Et généralement on travaille dans les espaces . Sans entrer dans les détails, on peut montrer que les difféomorphismes (et les flots aussi) qui sont C1-structurellement stables sont exactement ceux qui sont Axiome A et vérifient une hypothèse technique supplémentaire[3],[4],[5]. On conjecture depuis ces résultats que la même chose est vraie en topologie C2, mais c'est encore un problème ouvert.
Exemples
modifierLes systèmes d'Anosov sont les exemples de base de la dynamique hyperbolique.
Notes et références
modifier- (en) S. Smale, « Differentiable Dynamical Systems », Bull. Amer. Math. Soc., vol. 73, , p. 747-817 (lire en ligne)
- (en) Maurício Peixoto (en) et Charles Pugh, « Structural stability », dans Scholarpedia (lire en ligne)
- (en) Ricardo Mañé, « A proof of the C1 stability conjecture », Publ. Math. IHES, vol. 66, , p. 161-210 (lire en ligne)
- (en) Shuhei Hayashi, « Connecting invariant manifolds and the solution of the C1-stability and Ω-stability conjectures for flows », Ann. Math., vol. 145, , p. 81-137 JSTOR 2951824
- (en) Sen Hu, « A proof of C1 stability conjecture for three-dimensional flows », Trans. Amer. Math. Soc., vol. 342, no 2, , p. 753-772 (lire en ligne)