Mécanique hamiltonienne

La 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.

Équations canoniques de Hamilton modifier

Rappels de mécanique lagrangienne modifier

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 $\left\{q_{i}\right\}_{i=1,...,N}$ et des vitesses correspondantes $\left\{{\dot {q}}_{i}\right\}_{i=1,...,N}$ , où ${\dot {q}}_{i}={\dfrac {dq_{i}}{dt}}$ .

Le lagrangien peut donc s'écrire formellement comme une fonction : ${\mathcal {L}}(q_{i},{\dot {q}}_{i},t)$ , les variables indexées représentant les $N$ variables de ce type.

Moment conjugué modifier

En mécanique hamiltonienne, le moment conjugué^[1] ou l'impulsion généralisée^[2] $p_{i}$ est relié à la coordonnée généralisée^[3] $q_{i}$ par^[1] :

p_{i}={\frac {\partial {\mathcal {L}}}{\partial {{\dot {q}}_{i}}}}

,

où ${\mathcal {L}}$ est le lagrangien^[1] et ${\dot {q}}_{i}$ est une vitesse généralisée^[2] définie comme la dérivée par rapport au temps de $q_{i}$ ^[1].

En coordonnées cartésiennes, les moments conjugués sont équivalents aux quantités de mouvement, alors qu'en coordonnées polaires ils correspondent aux moments angulaires. Lorsque les coordonnées généralisées sont choisies arbitrairement, il n'est plus possible de donner une interprétation intuitive aux moments conjugués.

Exemples modifier

Masse ponctuelle en chute libre modifier

Le moment conjugué d'une masse ponctuelle en chute libre est^[4] :

p_{z}=m{\dot {z}}

,

où :

$m$ est la masse du corps ;
$z$ est la coordonnée suivant la verticale ascendante^[5].

Pendule simple modifier

Le moment conjugué d'un pendule simple est^[4] :

p_{\theta }=ml{\dot {\theta }}

,

où :

$m$ est la masse du pendule ;
$l$ est sa longueur ;
${\dot {\theta }}$ est sa vitesse angulaire : ${\dot {\theta }}={\frac {\mathrm {d} \theta }{\mathrm {d} t}}$ , où $\theta$ est l'angle que fait le pendule avec la verticale descendante^[5].

En théorie des champs modifier

Par extension, en théorie des champs, le moment conjugué $\Pi _{\mu }$ est défini à partir de la dérivée fonctionnelle de la densité lagrangienne ${\mathcal {L}}$ par rapport à la dérivée covariante du champ $\phi$ :

\Pi _{\mu }={\frac {\delta {\mathcal {L}}}{\delta \left(\partial ^{\mu }\phi \right)}}

,

où la dérivée fonctionnelle est notée $\delta$ pour la différencier de la dérivée partielle usuelle^[1].

Hamiltonien modifier

L'hamiltonien ${\mathcal {H}}$ est la transformée de Legendre du lagrangien :

{\mathcal {H}}\left(q_{i},p_{i},t\right)\ =\ \sum _{k}^{N}{\dot {q}}_{k}\ p_{k}-{\mathcal {L}}(q_{i},{\dot {q}}_{i},t)

Dans le membre de droite de cette formule, les vitesses sont supposées être exprimées en fonction des moments conjugués.

Si les équations qui définissent les coordonnées généralisées sont indépendantes du temps $t$ , on peut montrer que ${\mathcal {H}}$ est égal à l'énergie totale $E$ , elle-même étant égale à la somme de l'énergie cinétique $T$ et de l'énergie potentielle $V$ ( ${\mathcal {H}}=E=T+V$ ).

Équations canoniques de Hamilton modifier

Sous forme différentielle, les deux membres de la définition de ${\mathcal {H}}$ deviennent :

{\begin{matrix}\mathrm {d} {\mathcal {H}}&=&\sum _{i}\left[\left({\partial {\mathcal {H}} \over \partial q_{i}}\right)\mathrm {d} q_{i}+\left({\partial {\mathcal {H}} \over \partial p_{i}}\right)\mathrm {d} p_{i}\right]+\left({\partial {\mathcal {H}} \over \partial t}\right)\mathrm {d} t\\\mathrm {d} {\mathcal {H}}&=&\sum _{i}\left[{\dot {q}}_{i}\mathrm {d} p_{i}+p_{i}\mathrm {d} {\dot {q}}_{i}-\left({\partial {\mathcal {L}} \over \partial q_{i}}\right)\mathrm {d} q_{i}-\left({\partial {\mathcal {L}} \over \partial {\dot {q}}_{i}}\right)\mathrm {d} {\dot {q}}_{i}\right]-\left({\partial {\mathcal {L}} \over \partial t}\right)\mathrm {d} t\end{matrix}}

En utilisant la définition des moments conjugués donnée précédemment et les équations d'Euler Lagrange traduisant le principe de l'action minimale du lagrangien, on obtient les équations du mouvement de Hamilton, dites équations canoniques de Hamilton :

{\dot {q}}_{i}\ =\ {\frac {\partial {\mathcal {H}}}{\partial p_{i}}}\quad ;\qquad {\dot {p}}_{i}\ =\ -{\frac {\partial {\mathcal {H}}}{\partial q_{i}}}\quad ;\qquad {\frac {\partial {\mathcal {H}}}{\partial t}}\ =\ {\frac {\mathrm {d} {\mathcal {H}}}{\mathrm {d} t}}\ =\ -\ {\frac {\partial {\mathcal {L}}}{\partial t}}

Note: l'égalité ${\frac {\mathrm {d} {\mathcal {H}}}{\mathrm {d} t}}=-\ {\frac {\partial {\mathcal {L}}}{\partial t}}$ se démontre comme suit :

${\frac {\mathrm {d} {\mathcal {H}}}{\mathrm {d} t}}={\frac {\mathrm {d} (\sum _{i}p_{i}{\dot {q}}_{i}-{\mathcal {L}})}{\mathrm {d} t}}=\sum _{i}\left(p_{i}{\ddot {q}}_{i}+{\dot {p}}_{i}{\dot {q}}_{i}\right)-\left(\sum _{i}{\frac {\partial {\mathcal {L}}}{\partial q_{i}}}{\dot {q}}_{i}+\sum _{i}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}{\ddot {q}}_{i}+{\frac {\partial {\mathcal {L}}}{\partial t}}\right)=-{\frac {\partial {\mathcal {L}}}{\partial t}}$

Où on a utilisé pour la dernière égalité la définition des moments conjugués et les équations d'Euler Lagrange.

Les équations de Hamilton sont des équations différentielles du premier ordre et donc plus faciles à résoudre que les équations de Lagrange qui sont du second ordre. Néanmoins, les étapes qui conduisent à ces équations sont plus complexes que celles de la mécanique lagrangienne : à partir des coordonnées généralisées et du lagrangien, il faut calculer l'hamiltonien, exprimer les vitesses généralisées en fonction des moments conjugués et remplacer celles-ci dans la définition de l'hamiltonien.

La méthode de Lagrange est moins lourde en termes de manipulations mathématiques. L'avantage principal de l'approche hamiltonienne est de fournir, grâce à la simplicité de son formalisme, un fondement théorique en mécanique. Par exemple, la mécanique quantique utilise un formalisme basé sur celui de la mécanique hamiltonienne.

On pourra aussi noter une certaine similitude entre les équations canoniques de Hamilton et les équations de Maxwell.

Exemple élémentaire : la particule non relativiste sur un axe modifier

Soit une particule non relativiste de masse $m$ se déplaçant sur un axe. On repère la position de cette particule par une coordonnée $q$ . Supposons de plus que la particule est soumise à une force qui dérive de l'énergie potentielle $V(q)$ . Le lagrangien s'écrit alors :

{\mathcal {L}}(q,{\dot {q}})\ =\ {\frac {1}{2}}\,m\,{\dot {q}}^{2}\ -\ V(q)

Le moment conjugué vaut alors :

p\ =\ {\partial {\mathcal {L}} \over \partial {\dot {q}}}\ =\ m\,{\dot {q}}

il s'identifie à la quantité de mouvement habituelle. Cette formule peut être inversée :

{\dot {q}}\ =\ {\frac {p}{m}}

On obtient alors le hamiltonien par transformée de Legendre :

{\mathcal {H}}(q,p)\ =\ {\frac {p^{2}}{2m}}\ +\ V(q)

Les équations canoniques conduisent alors à :

{\dot {q}}\ =\ {\frac {\partial {\mathcal {H}}}{\partial p}}\ =\ {\frac {p}{m}}

et à l'équation de la dynamique de Newton :

{\dot {p}}\ =\ -\ {\frac {\partial {\mathcal {H}}}{\partial q}}\quad \Longrightarrow \quad m\,{\ddot {q}}\ =\ -\ {\frac {\partial V}{\partial q}}

Hamiltonien appliqué à la théorie des champs modifier

Article détaillé : Hamiltonien en théorie des champs.

Espace des phases modifier

Dynamique dans l'espace euclidien modifier

Considérons un système à $N$ degrés de liberté décrits à l'instant $t$ par :

les $N$ coordonnées généralisées $q_{i}(t)\in \mathbb {R}$ , $(i=1,\dots ,N)$ . On peut voir ces coordonnées comme les composantes d'un vecteur de $\mathbb {R} ^{N}$ .

les $N$ moments conjugués $p_{i}(t)\in \mathbb {R}$ , $(i=1,\dots ,N)$ . On peut également voir ces coordonnées comme les composantes d'un autre vecteur de $\mathbb {R} ^{N}$ .

À chaque instant, les $2N$ coordonnées $(q_{i}(t),p_{i}(t))$ définissent un point $x(t)$ dans l'espace des phases $\Gamma =\mathbb {R} ^{N}\times \mathbb {R} ^{N}=\mathbb {R} ^{2N}$ à $2N$ dimensions.

Dynamique sur une variété différentielle modifier

Considérons un système à $N$ degrés de liberté dont les $N$ coordonnées généralisées $q_{i}(t)$ précisent la position d'un point $p$ sur une variété différentielle $M$ à $N$ dimensions. Le moment conjugué $p_{j}(t)$ est alors un élément de l'espace cotangent $T_{p}^{\star }M$ dans la direction $j$ .

À chaque instant, les $2N$ coordonnées $(q_{i}(t),p_{j}(t))$ définissent dans ce cas un point $x(t)$ dans l'espace des phases $\Gamma =T^{\star }M$ qui s'identifie à l'espace fibré cotangent à 2N dimensions. Cet espace des phases est naturellement muni de la forme symplectique $\omega \,$ définie par :

\omega =\sum _{i}{\rm {d}}q_{i}\wedge {\rm {d}}p_{i}

Flot hamiltonien modifier

Flot modifier

L'évolution dynamique du système à partir d'une condition initiale $x_{0}=(q_{i0},p_{j0})$ engendre le flot $\phi _{t}:\Gamma \to \Gamma$ , c’est-à-dire le groupe continu à un paramètre tel que :

x(t)\ =\ \phi _{t}(x_{0})

La succession des positions $x(t)$ dans l'espace des phases du système considéré se traduit par une courbe continue, appelée orbite.

Théorème de Liouville modifier

Selon les équations canoniques de Hamilton le flot préserve la mesure de Liouville sur l'espace des phases : on dit alors de ce flot qu'il est hamiltonien et l'on appelle théorème de Liouville l'expression de cette préservation. Lorsque l'espace des phases du système est euclidien, cette mesure invariante sous le flot est simplement la mesure de Lebesgue sur $\mathbb {R} ^{2N}$ :

\mathrm {d} \mu _{L}\ =\ \prod _{k=1}^{N}\mathrm {d} q_{k}\,\mathrm {d} p_{k}

La démonstration de ce théorème repose sur le fait que la divergence de la « vitesse » dans l'espace des phases est nulle :

\mathrm {div} \ {\vec {v}}\ =\ \sum _{k=1}^{N}\left[\ {\frac {\partial {\dot {q}}_{k}}{\partial q_{k}}}\ +\ {\frac {\partial {\dot {p}}_{k}}{\partial p_{k}}}\ \right]\ =\ 0

où on a utilisé les équations canoniques pour conclure. Autrement dit, le « fluide hamiltonien » est incompressible quand on le décrit dans les variables d'Euler qui constituent l'espace des phases. On dit en mécanique des fluides que la densité du fluide hamiltonien est advectée par le flot.

Hypersurface d'énergie constante modifier

Un système hamiltonien invariant par translation dans le temps satisfait toujours à la conservation de l'énergie :

\forall \ t,\quad {\mathcal {H}}(q_{i}(t),p_{i}(t))\ =\ E

de telle sorte que sa dynamique est en fait toujours restreinte à une hypersurface $\scriptstyle S_{E}\subset \Gamma$ à $2N-1$ dimensions. Dans ce cas, la mesure de Liouville invariante sous le flot dans l'espace des phases induit une mesure invariante sous le flot sur l'hypersurface d'énergie constante, définie par :

\mathrm {d} \mu _{S}\ =\ {\frac {\mathrm {d} \Sigma }{\|\mathbf {grad} \ H\|}}

où $\mathrm {d} \Sigma$ est la mesure sur l'hypersurface $\scriptstyle S$ induite par la métrique sur l'espace des phases.

Système intégrable modifier

Il peut exister d'autres constantes du mouvement indépendantes de l'énergie en plus de celle-ci. Lorsqu'un système invariant par translation défini sur ${\mathbb {R} }^{2N}$ dans le temps possède $N$ constantes du mouvement indépendantes, on dit qu'il est intégrable. Sa dynamique est alors particulièrement simple.

Notes et références modifier

↑ ^{a b c d et e} Taillet, Villain et Febvre 2018, s.v. moment conjugué, p. 486, col. 2.
↑ ^{a et b} Taillet, Villain et Febvre 2018, s.v. transformation de Legendre, p. 742, col. 2.
↑ Taillet, Villain et Febvre 2018, s.v. coordonnées généralisées, p. 160, col. 1.
↑ ^{a et b} Pérez 2021, I.4, p. 406.
↑ ^{a et b} Pérez 2021, I.3, p. 406.

Voir aussi modifier

Bibliographie modifier

Lev Landau et Evgueni Lifchits, Physique théorique, t. 1 : Mécanique [détail des éditions]
(en) Thomas Kibble et F. H. Berkshire, Classical Mechanics, Prentice Hall (4^e édition, 1997) (ISBN 0-582-25972-X).
Un remarquable cours d'introduction à la mécanique, des fondements newtoniens jusqu'aux formalismes plus avancés de Lagrange et de Hamilton. Kibble est professeur émérite de physique théorique de l'Imperial College de Londres. Pour cette 4^e édition (avec un coauteur), deux chapitres d'introduction aux idées de la théorie du chaos ont été inclus. Niveau : à partir du premier cycle universitaire. (Il a existé une traduction française de l'édition précédente, publiée par Dunod.)
(en) Herbert Goldstein, Charles P. Poole et John L. Safko, Classical mechanics (en), Addison-Wesley (3^e édition, 2001).
Cet ouvrage est une référence concernant les aspects théoriques modernes de la mécanique - formulations lagrangienne et hamiltonienne. Cette troisième édition, réalisée en collaboration, est complétée par un chapitre sur les développements récents de la théorie du chaos. Le chapitre 3, consacré au problème à trois corps, a été également partiellement remanié. Niveau second cycle universitaire. (Il a existé autrefois une traduction française d'une édition précédente.)
(en) Vladimir Arnold, Mathematical methods of classical mechanics, Springer Verlag (2^e édition, 1989).
Les aspects mathématiques (principalement géométriques) de la théorie, dans ses formulations modernes - lagrangienne et hamiltonienne -, par un mathématicien russe de premier plan, qui enseigne au XXI^e siècle à l'université Paris-Dauphine. Niveau : second cycle universitaire.
(en) Ralph Abraham et Jerrold Marsden, Foundations of mechanics, the Benjamin/Cummings Publishing Company (2^e édition, 1978).
Un livre qui présente un exposé axiomatique rigoureux de la mécanique « à la Bourbaki ». Niveau second cycle universitaire minimum.
(en) Walter Thirring (en), Classical mathematical physics - Dynamical systems & Field theory, Springer-Verlag (3^e édition, 1997).
La première moitié de ce livre est une présentation rigoureuse de la mécanique, par un physicien mathématicien de l'université de Vienne. Niveau : second cycle universitaire.
[Pérez 2021] José-Philippe Pérez (avec la collaboration d'Olivier Pujol), Mécanique : fondements et applications, Malakoff, Dunod, hors coll., mars 2021, 7^e éd. (1^re éd. 1984), XXVI-801 p., 17,5 × 24 cm (ISBN 978-2-10-083922-3, EAN 9782100839223, OCLC 1335009961, BNF 46979000, SUDOC 180751727, présentation en ligne, lire en ligne).
[Taillet, Villain et Febvre 2018] Richard Taillet, Loïc Villain et Pascal Febvre, Dictionnaire de physique, Louvain-la-Neuve, De Boeck Supérieur, hors coll., janvier 2018, 4^e éd. (1^re éd. mai 2008), X-956 p., 17 × 24 cm (ISBN 978-2-8073-0744-5, EAN 9782807307445, OCLC 1022951339, BNF 45646901, SUDOC 224228161, présentation en ligne, lire en ligne).

Articles connexes modifier

[TailletVillainFebvre2018486,_<span_class="nowrap"><abbr_class="abbr_"_title="colonne(s)"_>col.</abbr>&nbsp;2</span>''<abbr_class="abbr_"_title="sub_verbo_(«_à_l'article_»)"_>s.v.</abbr>''_moment_conjugué-1] {a b c d et e} Taillet, Villain et Febvre 2018, s.v. moment conjugué, p. 486, col. 2.

[TailletVillainFebvre2018742,_<span_class="nowrap"><abbr_class="abbr_"_title="colonne(s)"_>col.</abbr>&nbsp;2</span>''<abbr_class="abbr_"_title="sub_verbo_(«_à_l'article_»)"_>s.v.</abbr>''_transformation_de_Legendre-2] {a et b} Taillet, Villain et Febvre 2018, s.v. transformation de Legendre, p. 742, col. 2.

[TailletVillainFebvre2018160,_<span_class="nowrap"><abbr_class="abbr_"_title="colonne(s)"_>col.</abbr>&nbsp;1</span>''<abbr_class="abbr_"_title="sub_verbo_(«_à_l'article_»)"_>s.v.</abbr>''_coordonnées_généralisées-3] Taillet, Villain et Febvre 2018, s.v. coordonnées généralisées, p. 160, col. 1.

[Pérez2021406<abbr_class="abbr_"_title="1"_><span_class="romain"_style="text-transform:uppercase">I</span></abbr>.4-4] {a et b} Pérez 2021, I.4, p. 406.

[Pérez2021406<abbr_class="abbr_"_title="1"_><span_class="romain"_style="text-transform:uppercase">I</span></abbr>.3-5] {a et b} Pérez 2021, I.3, p. 406.

[1]

[2]

[3]

[4]

[5]