Liouville's theorem states that the phase space volume of a Hamiltonian system is conserved over time.L'histoire du théorème remonte à 1838, lorsque le mathématicien français Joseph Liouville étudiait le mouvement des planètes. Il remarqua une propriété étonnante : si l'on prend de nombreuses copies d'un système mécanique, légèrement différentes par leurs conditions initiales, le volume occupé par ces copies dans l'espace des phases (coordonnées + impulsions) reste constant au cours du temps. C'est comme si un troupeau de moutons se dispersait dans un pâturage, mais la surface qu'ils occupent ne changerait pas. Plus tard, dans les travaux de Gibbs et d'Einstein, le théorème de Liouville devint le fondement de la mécanique statistique. Il explique pourquoi l'entropie d'un système isolé ne peut pas diminuer : les trajectoires microscopiques ne se compressent pas.
Joseph Liouville publia son théorème en 1838 dans une note sur la méthode de variation des constantes arbitraires en mécanique céleste. Dans sa formulation moderne, on l'associe souvent à Henri Poincaré, qui utilisa la conservation du volume de phase dans ses études sur la stabilité du Système solaire. Ehrenfest, au début du XXe siècle, en donna une interprétation imagée : « le fluide des points de phase est incompressible ». L'analogue quantique — l'équation de von Neumann — conserve également le volume probabiliste, mais avec des réserves dues à la non-commutativité.
Le théorème de Liouville joue un rôle clé en physique des plasmas et des accélérateurs, où la compression des faisceaux est limitée par la conservation de l'émittance (paramètre proportionnel au volume de phase). En physique statistique, il explique pourquoi la réversibilité microscopique n'entre pas en contradiction avec l'irréversibilité macroscopique : le volume de phase est conservé, mais en raison de l'instabilité des trajectoires, il se mélange à tel point que l'entropie à gros grain augmente (phénomène de mélange). Limites d'applicabilité : le théorème n'est valable que pour les systèmes hamiltoniens isolés, sans dissipation ni champs extérieurs violant la structure canonique.
Le théorème de Liouville est à la base de la physique statistique et de la conception des accélérateurs de particules : il explique pourquoi il est impossible de focaliser un faisceau en un point infiniment petit sans perte de luminosité.
Sans le théorème de Liouville, les moteurs perpétuels de deuxième espèce seraient possibles. Les molécules d'air pourraient se rassembler d'elles-mêmes dans un coin de la pièce, et vous obtiendriez de l'énergie gratuite. Mais la conservation du volume de phase interdit de tels tours — le chaos finit toujours par l'emporter.
| hcap(γ_t) | variable | Half-plane capacity of the Loewner hull at time t — half plane capacity metre squared |
| t | variable | Time parameter of the Loewner evolution — temps second |




