Champ de vecteurs hamiltonien

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 (en), 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.

Définition[modifier | modifier le code]

Dans une variété symplectique (M,\omega), la 2-forme \omega é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

H:M\to\mathbb{R}

est associé un unique champ de vecteurs XH, appelé champ de vecteurs hamiltonien, défini par l'identité :

-d''H'' = \iota(X_H)\omega.

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 (q^1,\ldots ,q^n,p_1,\ldots,p_n), la forme symplectique s'écrit :

\omega=\sum_i dq^i \wedge dp_i

et donc le champ vectoriel hamiltonien s'écrit :

X_H = \left( \frac{\partial H}{\partial p_i}, 
- \frac{\partial H}{\partial q^i} \right) = \Omega \cdot dH

où Ω est la matrice symplectique canonique associée :

\Omega =
\begin{bmatrix}
0 & I_n \\
-I_n & 0 \\
\end{bmatrix}.

La courbe \gamma(t)=(q(t),p(t)) est donc une intégrale curviligne du champ vectoriel si, et seulement si, elle est solution des équations de Hamilton-Jacobi :

\dot{q}^i = \frac {\partial H}{\partial p_i}

et

\dot{p}_i = - \frac {\partial H}{\partial q^i}.

On remarque que l'énergie est constante le long de la courbe, i.e. H(\gamma(t)) est une constante, indépendante de t.

Crochets de Poisson[modifier | modifier le code]

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 :

\{f,g\} = \omega(X_f,X_g)= X_g(f) = \mathcal{L}_{X_g} f

\mathcal{L}_X est la dérivée de Lie selonX. La notation ci dessus n'est cependant pas acceptée par tous les auteurs.

Références[modifier | modifier le code]

  • (en) McDuff et Salamon, Introduction à la topologie symplectique (1998) Oxford Mathematical Monographs, ISBN 0-198-50451-9.
  • (en) Abraham et Marsden, Fondements de la mécanique, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X