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ù .
Variété symplectiqueEn mathématiques, une variété symplectique est une variété différentielle munie d'une forme différentielle de degré 2 fermée et non dégénérée, appelée forme symplectique. L'étude des variétés symplectiques relève de la géométrie symplectique. Les variétés symplectiques apparaissent dans les reformulations analytiques abstraites de la mécanique classique utilisant la notion de fibré cotangent d'une variété, notamment dans la reformulation hamiltonnienne, où les configurations d'un système forment une variété dont le fibré cotangent décrit l'espace des phases du système.
Espace vectoriel symplectiqueEn algèbre, un espace vectoriel est symplectique quand on le munit d'une forme symplectique, c'est-à-dire une forme bilinéaire alternée et non dégénérée. L'étude de ces espaces vectoriels présente quelques ressemblances avec l'étude des espaces préhilbertiens réels puisqu'on y définit également la notion d'orthogonalité. Mais il y a de fortes différences, ne serait-ce que parce que tout vecteur est orthogonal à lui-même. Les espaces vectoriels symplectiques servent de modèles pour définir les variétés symplectiques, étudiées en géométrie symplectique.
Espace des phasesdroite|vignette| Trajectoires dans l'espace des phases pour un pendule simple. L'axe X correspond à la position du pendule, et l'axe Y sa vitesse. Dans la théorie des systèmes dynamiques, l'espace des phases (ou espace d'état) d'un système est l'espace mathématique dans lequel tous les états possibles du système sont représentés ; chaque état possible correspondant à un point unique dans l'espace des phases. Pour un système mécanique, l'espace des phases se compose généralement de toutes les valeurs possibles des variables de position et d'impulsion représentant le système.
Fibré cotangentEn géométrie différentielle, le fibré cotangent associé à une variété différentielle M est le fibré vectoriel T*M de son fibré tangent TM : en tout point m de M, l' est défini comme l'espace dual de l'espace tangent : Les sections lisses du fibré cotangent sont les 1-formes différentielles, l'une d'entre elles étant remarquable et appelée 1-forme tautologique (ou 1-forme de Poincaré, ou 1-forme de Liouville, ou 1-forme canonique, ou potentiel symplectique). Sa dérivée extérieure donne une 2-forme symplectique canonique.
Image réciproque (géométrie différentielle)En mathématiques, la construction d'une image réciproque pour certains objets est une des opérations de base de la géométrie différentielle. Elle permet d'obtenir un nouvel objet, résultant du « transport » de l'objet initial par une certaine application. On considère ainsi les images réciproques des formes différentielles, des fibrés et de leurs sections et de façon générale tous les objets qui peuvent être composés à droite par l'application de transport.