SymplectomorphismeEn géométrie symplectique, un symplectomorphisme est un isomorphisme de variétés symplectiques. Soient et deux variétés symplectiques. Une application différentiable est appelée morphisme symplectique lorsque, pour tout , la différentielle est une isométrie linéaire entre espaces vectoriels symplectiques. Autrement dit : Si , comme est non dégénérée, les différentielles sont des isomorphismes linéaires, et de fait, par le théorème d'inversion locale, est un difféomorphisme local.
Variété de PoissonEn géométrie, une structure de Poisson sur une variété différentielle est un crochet de Lie (appelé crochet de Poisson dans ce cas) sur l'algèbre des fonctions lisses de à valeurs réelles, vérifiant formule de Leibniz En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur de sorte que est un champ de vecteurs pour toute fonction lisse , appelé champ de vecteurs hamiltonien associé à . Soit une variété différentielle.
Crochet de PoissonEn 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 : 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, Arnold , Goldstein et de Gosson pour n'en citer que quelques-uns.
Algèbre de PoissonUne algèbre de Poisson est une algèbre associative sur laquelle est défini un crochet de Lie qui satisfait la règle de Leibniz. L'exemple le plus important en est donné par l'algèbre des fonctions lisses sur une variété de Poisson ou, plus particulièrement, sur une variété symplectique. Ces algèbres ont été nommées algèbres de Poisson en l'honneur de Siméon Denis Poisson.
Transformation canoniqueEn mécanique hamiltonienne, une transformation canonique est un changement des coordonnées canoniques (q, p, t) → (Q, P, t) qui conserve la forme des équations de Hamilton, sans pour autant nécessairement conserver le Hamiltonien en lui-même. Les transformations canoniques sont utiles pour les équations de Hamilton-Jacobi (une technique utile pour calculer les quantités conservées) et le théorème de Liouville (à la base de la mécanique statistique classique).
Coordonnées canoniquesEn mathématiques et en mécanique classique, les coordonnées canoniques sont des ensembles de coordonnées sur l'espace des phases qui peuvent être utilisées pour décrire un système physique à un moment donné dans le temps. Les coordonnées canoniques sont utilisées dans la formulation hamiltonienne de la mécanique classique. Un concept étroitement lié apparaît également en mécanique quantique ; voir le théorème de Stone-von Neumann et les relations de commutation canoniques pour plus de détails.
Mécanique hamiltonienneLa mécanique hamiltonienne est une reformulation de la mécanique newtonienne. Son formalisme a facilité l'élaboration théorique de la mécanique quantique. Elle a été formulée par William Rowan Hamilton en 1833 à partir des équations de Lagrange, qui reformulaient déjà la mécanique classique en 1788. En mécanique lagrangienne, les équations du mouvement d'un système à N degrés de liberté dépendent des coordonnées généralisées et des vitesses correspondantes , où .
Mécanique analytiqueLa mécanique analytique est une formulation de la mécanique classique basée sur le calcul variationnel. La mécanique analytique s'est avérée un outil très important en physique théorique. En particulier, la mécanique quantique emprunte énormément au formalisme de la mécanique analytique. Contrairement à la mécanique d'Isaac Newton qui s'appuie sur le concept de point matériel, la mécanique analytique se penche sur les systèmes arbitrairement complexes, et étudie l'évolution de leurs degrés de libertés dans ce qu'on appelle un espace de configuration.
