Théorème de Poincaré-Birkhoff
Le théorème de Poincaré-Birkhoff est un théorème fondamental dans l'étude des systèmes dynamiques. Il affirme que si f est un homéomorphisme d'une couronne dans elle-même qui préserve les aires (c'est-à-dire pour tout ensemble U, l'aire de U égale l'aire de f(U)) et fait tourner les deux bords dans des sens opposés, alors f possède au moins deux points fixes.
Pour les articles homonymes, voir Théorèmes de Poincaré et Théorèmes de Birkhoff.
À propos de sa démonstration
Bien que ce théorème de point fixe ressemble à celui de Brouwer, il est nettement plus difficile à démontrer, car la condition d'aire y joue un rôle crucial. Il existe en effet des applications satisfaisant une seule des deux hypothèses du théorème, et n'ayant aucun point fixe. Conjecturé par Poincaré en 1905, il sera démontré par George Birkhoff en 1912, le rendant immédiatement célèbre dans le monde mathématique.
Généralisation
Dans un commentaire des œuvres complètes de Poincaré, Vladimir Arnold conjectura que la généralisation en dimension supérieure de ce théorème devait être la suivante :
- Toute transformation Hamiltonienne du tore T2n possède au moins 2n+1 points fixes.
Ce résultat fut démontré par Charles Conley (de) et Eduard Zehnder en 1983 et généralisé depuis à d'autres variétés symplectiques.
Article connexe
Bibliographie
- M. Brown et W. D. Neumann, « Proof of the Poincaré-Birkhoff fixed-point theorem », Michigan Math. J., vol. 24, , p. 21-31. (lire en ligne)
- P. Le Calvez et J. Wang, « Some remarks on the Poincaré-Birkhoff theorem », Proc. Amer. Math. Soc., vol. 138, no 2, , p. 703-715. (lire en ligne)
- J. Franks. Generalizations of the Poincaré-Birkhoff Theorem, Annals of Mathematics, Second Series, vol. 128, No. 1 ,1988, p. 139–151.