Théorème de Liouville (hamiltonien)

En physique, le théorème de Liouville, nommé d'après le mathématicien Joseph Liouville, est un théorème utilisé par le formalisme hamiltonien de la mécanique classique, mais aussi en mécanique quantique et en physique statistique. Ce théorème dit que le volume de l'espace des phases est constant le long des trajectoires du système, autrement dit ce volume reste constant dans le temps.

Équation de LiouvilleModifier

L'équation de Liouville décrit l'évolution temporelle de la densité de probabilité   dans l'espace des phases. Cette densité de probabilité est définie comme la probabilité pour que l'état du système soit représenté par un point à l'intérieur du volume   considéré.

En mécanique classiqueModifier

On utilise les coordonnées généralisées  [1]  est la dimension du système. La densité de probabilité   est définie par la probabilité   de rencontrer l'état[2] du système dans le volume infinitésimal  .

Lorsqu'on calcule l'évolution temporelle de cette densité de probabilité  , on obtient :

 

On peut utiliser les équations canoniques de Hamilton en les remplaçant dans l'équation précédente :

 ,

on obtient le résultat

 ,

  désigne les crochets de Poisson.

En mécanique quantiqueModifier

D'après le principe de correspondance, on peut rapidement en déduire l'équation de Liouville en mécanique quantique :

 

d'où on déduit :

 

Ici,   est l'opérateur hamiltonien et   la matrice densité. Parfois cette équation est aussi nommée l'équation de Von Neumann.

Théorème de LiouvilleModifier

De l'équation de Liouville plus haut, on déduit le théorème de Liouville, qui peut s'énoncer comme suit

Théorème de Liouville —  La fonction de distribution est constante le long de n'importe quelle trajectoire de l'espace des phases

ou encore sous la forme

Théorème de Liouville —  Le volume d'une région de l'espace des phases reste constant lorsqu'on suit cette région dans le temps

Cela revient à dire que le volume V de l'espace des phases est invariant par rapport au temps :  

NotesModifier

  1.   et  .
  2. Un état est défini par l'ensemble des coordonnées généralisées   et  .
  3. Voir la démonstration précédente de l'équation de Liouville

Voir aussiModifier

BibliographieModifier