- Théorème de récurrence de Poincaré
-
Le théorème de récurrence de Poincaré (1890) dit que, pour presque toutes les « conditions initiales », un système dynamique conservatif dont l'espace des phases est de « volume » fini va repasser au cours du temps aussi près que l'on veut de sa condition initiale, et ce de façon répétée.
Sommaire
Énoncé moderne
Système dynamique
Soit un système dynamique au sens de la théorie ergodique, c’est-à-dire un triplet (X,μ,ϕ) où :
- X est un espace mesurable, qui représente l'espace des phases du système.
- μ est une mesure sur X,
- est une application préservant la mesure μ, c’est-à-dire telle que :
Récurrence d'un point
Soit un sous-ensemble mesurable. Un point est dit récurrent par rapport à A si et seulement si ,il existe un entier pour lequel :
Théorème de récurrence de Poincaré
Énoncé
Soit un sous-ensemble mesurable pour une mesure μ finie. Alors, presque tous les points sont récurrents par rapport à A.
Démonstration
Soit . On peut définir l'ensemble :
Comme sous-ensemble mesurable de X, il vérifie :
C'est aussi un sous-ensemble de l'ensemble U0 correspondant au cas particulier p = 0 :
où :
En remarquant qu'on peut écrire :
on en déduit que :
la deuxième égalité résultant de la conservation de la mesure. Le sous-ensemble Up possède donc la même mesure que l'ensemble U0 ; on en déduit que le complémentaire à Up dans U0 est de mesure nulle :Comme , on en déduit
Autrement dit, l'ensemble des points x de A tels que pour tout est de mesure nulle.
En conclusion, en tant que réunion dénombrable des ensembles précédents pour , l'ensemble de points non récurrents par rapport à A est de mesure nulle.
Articles connexes
- Système dynamique
- Théorie du chaos
- Théorie ergodique
- Hypothèse ergodique
- Chaîne de Markov
- Marche aléatoire
- Processus stochastique
- Mouvement brownien
Bibliographie
- Henri Poincaré ; Sur le problème des trois corps et les équations de la dynamique, Acta Mathamatica 13 (1890), 1-270. Ce mémoire vaudra à son auteur le prix du roi Oscar, roi de Norvège et de Suède et passionné de mathématiques[1]. L'histoire de ce mémoire est célèbre ; lire e.g. : June Barrow-Green ; Poincaré & the three-body problem, History of Mathematics (Vol. 11), American Mathematical Society & London Mathematical Society (1997).
Notes
- Le jury était composé de Weierstrass, Mittag-Leffler et Hermite.
Catégories :- Systèmes dynamiques
- Théorème de mathématiques
Wikimedia Foundation. 2010.