KAM theorem states that under small perturbations, most invariant tori in integrable Hamiltonian systems persist.En 1954, Andrey Kolmogorov proposa l'idée, et Vladimir Arnold et Jürgen Moser prouvèrent rigoureusement dans les années 1960 que dans les systèmes hamiltoniens (où l'énergie se conserve), sous de petites perturbations, les tores invariants — des surfaces multidimensionnelles sur lesquelles le mouvement reste régulier — se conservent. C'est comme un mille-feuille : certaines couches (tores) peuvent supporter une légère secousse, tandis que d'autres se désagrègent en miettes chaotiques. Le théorème établit la frontière entre l'ordre et le chaos.
En 1954, le mathématicien soviétique Andrey Kolmogorov formula le théorème sur la conservation des mouvements quasi-périodiques sous de petites perturbations. Son élève Vladimir Arnold en donna une preuve rigoureuse pour les systèmes analytiques (1963), et Jürgen Moser, simultanément et indépendamment, l'étendit aux applications lisses (1962) en utilisant une technique de lissage. Ces travaux jetèrent les bases de la théorie moderne des systèmes dynamiques et du chaos.
Le théorème est largement appliqué en mécanique céleste, physique des plasmas et technique des accélérateurs pour analyser la stabilité à long terme. Limites : il nécessite une perturbation suffisamment petite et lisse, ainsi que des fréquences satisfaisant les conditions diophantiennes. En cas de fortes perturbations, les tores se détruisent, ouvrant la voie à la diffusion d'Arnold.
Prédiction de la stabilité des orbites planétaires dans le système solaire sur des milliards d'années et conception d'accélérateurs de particules.
C'est précisément le théorème KAM qui explique pourquoi les anneaux de Saturne présentent des divisions bien nettes — les perturbations résonantes des satellites détruisent les orbites régulières des particules dans ces zones.
| i | variable | index for K-theory group (0 or 1) — index |
| j | variable | homology degree index — index |
| \bigoplus | opérateur | combines multiple abelian groups into one — direct sum |
