Mécanique quantique | ||||||||||||||
| ||||||||||||||
Postulats de la mécanique quantique Histoire de la mécanique quantique
| ||||||||||||||
Le théorème d'Ehrenfest, du nom du physicien Paul Ehrenfest, relie la dérivée temporelle de la valeur moyenne d'un opérateur quantique au commutateur de cet opérateur avec le hamiltonien du système.
Le théorème d'Ehrenfest affirme que la valeur moyenne d’un opérateur est donnée par :
Ce théorème s'adapte parfaitement à la représentation de Heisenberg en mécanique quantique, et il est étroitement lié au théorème de Liouville de la mécanique hamiltonienne, qui utilise le crochet de Poisson au lieu d'un commutateur. En fait, c'est une loi empirique générale qu'un théorème de mécanique quantique qui contient un commutateur puisse devenir un théorème de mécanique classique en changeant le commutateur par un crochet de Poisson et en multipliant par .
où est un opérateur quantique quelconque et sa valeur moyenne.
Soit A une grandeur physique représentée par l'opérateur autoadjoint
En dérivant , on obtient
On remarque que et
On insère ces deux expressions dans l'expression précédente et on obtient
Avec , on obtient finalement
Pour l'exemple très général d'une particule massive se déplaçant dans un potentiel, l'hamiltonien est simplement
où x est la position de la particule. On a alors les relations suivantes :
|
En combinant ces deux relations, on retrouve une équation similaire à celle de Newton en mécanique classique :
On suppose qu'on veut connaître la variation instantanée de la quantité de mouvement p. En utilisant le théorème d'Ehrenfest, on a
puisque p commute avec lui-même et puisque lorsqu'il est représenté avec les coordonnées d'espace, l'opérateur d'impulsion
Donc
Ensuite en appliquant la règle du produit, on a
on voit apparaître la seconde loi de Newton. C'est un exemple du principe de correspondance ; le résultat signifie, comme la deuxième loi de Newton, que le mouvement net d'un grand nombre de particules est exactement donné par la valeur moyenne d'une particule seule.
On peut aussi obtenir une autre relation en remplaçant l'opérateur par :
En utilisant les relations de commutations,
on obtient :