Mécanique du solide et Mécanique analytique - CPT
Mécanique du solide et Mécanique analytique - CPT
Mécanique du solide et Mécanique analytique - CPT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
24 CHAPITRE 2. LES ÉQUATIONS DE HAMILTON<br />
Démonstration. Le croch<strong>et</strong> de Poisson (2.2.1) est antisymétrique en ses arguments,<br />
{F, G} ≡ −{G, F }, <strong>et</strong> donc dH/dt = {H, H} = 0.<br />
Remarquons que le croch<strong>et</strong> de Poisson (2.2.1) peut alors s’écrire comme<br />
si l’on intro<strong>du</strong>it la dérivation suivante<br />
δF =<br />
{F, G} = δF G (2.2.4)<br />
n ∂F<br />
i=1<br />
∂pi<br />
∂ ∂F<br />
−<br />
∂qi ∂qi ∂<br />
∂pi<br />
(2.2.5)<br />
aussi appelée champ hamiltonien associé à la fonction F de l’espace des phases.<br />
Le fait que δF : G ↦→ {F, G} soit une dérivation implique la propriété importante<br />
suivante {F, GH} = δF (F G) = (δF G)H +GδF H = {F, G}H +G{F, H}. Nous avons<br />
enfin le<br />
Théorème 2.2.2. Le croch<strong>et</strong> de Poisson (2.2.1) est une application bilinéaire<br />
jouissant des propriétés suivantes<br />
1. {F, G} ≡ −{G, F } (antisymétrie),<br />
(F, G) ↦→ {F, G}<br />
2. {F, GH} ≡ {F, G}H + G{F, H} (règle de Leibniz),<br />
3. {F, {G, H}} + {G, {H, F }} + {H, {F, G}} ≡ 0 (identité de Jacobi).<br />
Exercice 2.2.3. Prouver l’identité de Jacobi (on se restreindra au cas n = 1).<br />
Exercice 2.2.4. Soient (p, q) les coordonnées canoniques de T ∗ R n . Calculer les<br />
croch<strong>et</strong>s de Poisson mutuels des composantes pi <strong>et</strong> q j , pour i, j = 1, . . . , n. Montrer<br />
que l’espace vectoriel réel hn de dimension 2n + 1 engendré par p1, . . . , pn, q 1 , . . . , q n<br />
<strong>et</strong> la fonction constante 1 est stable sous le croch<strong>et</strong> de Poisson. 6<br />
6. On appelle un tel espace algèbre de Lie ; ici hn est une algèbre de Lie associée au nom de<br />
Werner Heisenberg, physicien allemand (1901–1976).