Champ de vecteurs hamiltonien

En géométrie différentielle et plus précisément en géométrie symplectique, dans l'étude des variétés symplectiques et des variétés de Poisson, un champ de vecteurs hamiltonien est un champ de vecteurs associé à une fonction réelle différentiable appelée hamiltonien de manière semblable au champ de vecteurs gradient en géométrie riemannienne. Cependant, une des différences fondamentales est que le hamiltonien est constant le long de ses courbes intégrales. Le nom vient du mathématicien et physicien William Rowan Hamilton. Dans une variété symplectique (M,), la 2-forme étant non dégénérée, elle établit une correspondance biunivoque entre champs de vecteurs et formes différentielles. En particulier, pour toute fonction différentiable est associé un unique champ de vecteurs XH, appelé champ de vecteurs hamiltonien, défini par l'identité : Certains ouvrages de géométrie symplectique utilisent d'autres conventions de signes. Le choix ici effectué est en cohérence avec la définition des outils de géométrie différentielle dans les articles de Wikipédia. Utilisant les coordonnées canoniques , la forme symplectique s'écrit : et donc le champ vectoriel hamiltonien s'écrit : où Ω est la matrice antisymétrique suivante, appelée matrice symplectique associée (à ne pas confondre avec matrice symplectique) : La courbe est donc une intégrale curviligne du champ vectoriel si, et seulement si, elle est solution des équations de Hamilton-Jacobi : et On remarque que l'énergie est constante le long de la courbe, i.e. est une constante, indépendante de t. Le champ de vecteurs hamiltonien procure aux fonctions dérivables sur M la structure d'algèbre de Lie, que l'on peut écrire en utilisant la notation des crochets de Poisson : où est la dérivée de Lie selonX. La notation ci-dessus n'est cependant pas acceptée par tous les auteurs. McDuff et Salamon, Introduction à la topologie symplectique (1998) Oxford Mathematical Monographs, . Abraham et Marsden, Fondements de la mécanique, (1978) Benjamin-Cummings, London Catégorie:Algèbre linéair