Énoncé selon lequel le flot engendré par un champ vectoriel hamiltonien lisse préserve le volume standard de l'espace des phases (mesure de Liouville) ; équivalemment les flots hamiltoniens ont une divergence nulle par rapport au volume symplectique.

Principe

La forme symplectique définit une forme de volume sur l'espace des phases ; la dérivée de Lie de ce volume le long d'un champ vectoriel hamiltonien est nulle car ces champs sont des infinitésimales symplectomorphismes.

Démonstration

Pour l'oscillateur harmonique en coordonnées (q,p), les équations canoniques génèrent un flot circulaire dans l'espace des phases ; l'aire d'une région matérielle reste inchangée sous ce flot.

Mauvaise application

Supposer que le théorème de Liouville vaut pour des systèmes dissipatifs, des dynamiques thermostatiques non hamiltoniennes, ou pour des intégrateurs numériques non symplectiques qui peuvent contracter ou dilater artificiellement le volume.

Conséquence

La préservation du volume de phase soutient l'invariance microcanonique, contraint le comportement statistique à long terme des systèmes conservatifs et motive l'utilisation d'intégrateurs symplectiques en simulation numérique.

Inversion

Dans des systèmes dissipatifs ou ouverts, le volume de l'espace des phases se contracte ou se dilate généralement, produisant attracteurs ou comportements transitoires ; la non-préservation du volume permet la perte de mesure de phase et d'information sur les conditions initiales.

Limite

S'applique aux flots hamiltoniens lisses de dimension finie sur des variétés symplectiques ; ne s'applique pas aux dynamiques stochastiques, processus irréversibles avec friction, flots singuliers sans différentiabilité, ni aux cadres de dimension infinie sans structure additionnelle.

Tension sémantique

Souvent confondu avec la conservation des points individuels de l'espace des phases ou avec la conservation d'énergie ; Liouville concerne la préservation du volume d'ensemble, distincte de la conservation de l'énergie liée à la symétrie des translations temporelles.

Synthèse

Le théorème de Liouville affirme que la dynamique hamiltonienne (symplectique) conserve la forme de volume naturelle de l'espace des phases, de sorte que les ensembles évoluent sans compression ni dilatation nette sous des flots conservatifs.