Crochet de Poisson

En mécanique hamiltonienne, on définit le crochet de Poisson de deux observables et , c'est-à-dire de deux fonctions sur l'espace des phases d'un système physique, par :

Pour les articles homonymes, voir Poisson (homonymie).

où les variables, dites canoniques, sont les coordonnées généralisées et les moments conjugués .

C'est un cas particulier de crochet de Lie.

Avant de continuer, soulignons au passage qu'il existe deux conventions de signes au crochet de Poisson. La définition donnée ci-haut est dans la convention de signe employée par Dirac[1], Arnold [2], Goldstein [3] et de Gosson [4] pour n'en citer que quelques-uns. La convention de signe opposée est celle adoptée par Landau et Lifschitz [5], Souriau [6], Kirillov [7], Woodhouse [8] puis McDuff et Salamon [9] :

Plus bas, on dira plus simplement que la première convention de signe du crochet de Poisson est celle de Dirac et que la seconde convention de signe est celle de Landau et Lifschitz. Notons que cette nomenclature n'est pas standard et ne vise qu'à enlever l'ambiguïté sur le signe du crochet de Poisson. Quelle convention de signe fut celle de Lagrange ou d'Hamilton par exemple ?

Propriétés

  • Le crochet de Poisson est antisymétrique :
  • Le crochet de Poisson apporte une structure d'algèbre à l'ensemble des observables, qui en mécanique classique sont des fonctions sur l'espace des phases :

Les trois propriétés précédentes font du crochet de Poisson un cas particulier de crochet de Lie.

  • Le crochet de Poisson satisfait de plus à l'identité de Leibniz :
  • Les variables canoniques sont liées par les relations :
  • car les dérivées partielles commutent.

Équations canoniques

Soit le hamiltonien du système considéré. Les équations canoniques de Hamilton en mécanique classiques sont données par :

Dans la convention de signe du crochet de Poisson utilisée par Dirac, ces deux équations se reformulent comme ceci :

Inversement, dans la convention de signe de Landau et Lifschitz, ces deux équations se reformulent plutôt comme ceci :

De manière générale, l'évolution temporelle d'un observable autonome sur l'espace des phases par un hamiltonien est dans la convention de signe de Dirac donné par alors qu'il est donné dans la convention de signe de Landau et Lifschitz par .

Évolution d'une observable quelconque

Cas général

Soit une observable , c’est-à-dire une fonction sur l'espace des phases dépendant des moments et des coordonnées généralisées et possiblement du temps. Il résulte des relations précédentes que dans la convention de signe de Dirac :

désigne la dérivée partielle de par rapport à une éventuelle dépendance explicite de par rapport au temps. Inversement, dans la convention de signe de Landau et Lifschitz, cette équation s'écrit :

Cas de l'énergie totale

On obtient pour l'énergie totale du système :

puisque par antisymétrie.

Théorème de Poisson

Si et sont deux « intégrales premières » du système[10], c'est-à-dire si , alors en est une aussi.

Démonstration :
Dans le cas où et ne dépendent pas explicitement du temps : d'après l'identité de Jacobi, on a .
Or et , donc .
Comme ne dépend pas non plus explicitement du temps, on a .
D'où la conclusion pour ce cas.
Dans le cas général : on a
En utilisant l'identité de Jacobi et l'égalité utilisant les dérivées partielles, on obtient
La conclusion dans le cas général est alors évidente.

Quantification canonique

L'intérêt du crochet de Poisson est qu'il permet de passer facilement à la quantification dans le formalisme algébrique de Heisenberg de la mécanique quantique. Dans la convention de signe du crochet de Poisson selon Dirac, il suffit en général de faire une substitution :

désigne le commutateur, pour obtenir les relations de commutation des opérateurs dans le formalisme de Heisenberg à partir des crochets de Poisson des observables classiques. Inversement, dans la convention de signe du crochet de Poisson de Landau et Lifschitz (et donc celle de plusieurs livres de quantification géométrique dont ceux par exemple de Souriau, de Kirillov puis de Woodhouse) il suffit plutôt de faire cette substitution suivante :

La même stratégie est applicable à la quantification d'un champ classique.

Notes

  1. (1925) The fundamental equations of quantum mechanics (P.A.M. Dirac), p.649
  2. (1978) Mathematical Methods Of Classical Mechanics (V. I. Arnold), p.215
  3. (1980) Classical Mechanic (H. Goldstein), p.397
  4. (2006) Symplectic geometry and Quantum Mechanics (M. A. de Gosson), p.139
  5. (1969) Mechanics (Landau AND Lifshitz), p.95
  6. (1970) Structure des systèmes dynamiques (J.-M. Souriau), p.94
  7. (1976) Elements of the theory of representations (A. A. Kirillov), p.232
  8. (1991) Geometric Quantization (N. M. J. Woodhouse), p.11
  9. (1995) Introduction to Symplectic Topology (D. McDuff AND D. Salamon), p.22-23 en posant x=p et y=q.
  10. On dit aussi « constante du mouvement ».

Bibliographie

  • R. Campbell, La Mécanique analytique, Coll. Que Sais-Je ?, Presses Universitaires de France
  • Lev Landau et Evgueni Lifchits, Physique théorique, t. 1 : Mécanique [détail des éditions]
  • Lev Landau et Evgueni Lifchits, Physique théorique, t. 3 : Mécanique quantique [détail des éditions]
  • A. Messiah, Mécanique quantique, Dunod

Voir aussi

Articles connexes

  • Portail de la physique
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.