23.06.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!