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.

28 CHAPITRE 2. LES ÉQUATIONS DE HAMILTON<br />

Démonstration. On a P δQ = (p/Q ′ (q))δQ(q) = (p/Q ′ (q))Q ′ (q)δq = pδq. Donc<br />

δP δ ′ Q − δ ′ P δQ ≡ δpδ ′ q − δ ′ pδq, d’où (2.2.14).<br />

Intro<strong>du</strong>isons maintenant la notion utile de fonction génératrice d’une transfor-<br />

mation canonique.<br />

Lemme 2.2.10. Soit x ↦→ X une transformation de T ∗ R n telle que<br />

α(δX) = α(δx) + δF (2.2.15)<br />

pour une certaine fonction différentiable F : T ∗ R n → R de l’espace des phases. 10<br />

C<strong>et</strong>te transformation est automatiquement une transformation canonique ; on ap-<br />

pelle F fonction génératrice de c<strong>et</strong>te transformation canonique.<br />

Démonstration. On a ω(δX, δ ′ X) = δα(δ ′ X) − δ ′ α(δX) = δ(α(δ ′ X)) − δ ′ (α(δX)) −<br />

α(δδ ′ X − δ ′ δX). Alors ω(δX, δ ′ X) = ω(δx, δ ′ x) + (δδ ′ F − δ ′ δF ) − (δδ ′ F − δ ′ δF ) =<br />

ω(δx, δ ′ x).<br />

Nous pouvons donc écrire, en particulier,<br />

P · δQ − p · δq = δF (2.2.16)<br />

ce qui implique que la fonction génératrice est, ici, une fonction F (Q, q) telle que<br />

P = ∂F<br />

∂Q<br />

& p = − ∂F<br />

. (2.2.17)<br />

∂q<br />

Exercice 2.2.11. Trouver la transformation canonique définie par la fonction génératrice<br />

suivante : F (Q, q) = 〈Q, q〉.<br />

Démonstration. On trouve, grâce à (2.2.17), P = q <strong>et</strong> p = −Q. Il vient donc<br />

(P, Q) = (q, −p) qui est bien une transformation canonique. 11<br />

nombre arbitraire n de degrés de liberté. En eff<strong>et</strong>, soit Q : q ↦→ Q = Q(q) : Rn → Rn une<br />

transformation différentiable <strong>et</strong> d’inverse différentiable, on montre (exercice !) que la transformation<br />

de T ∗Rn suivante f : (p, q) ↦→ (P, Q) où<br />

P = p<br />

−1 ∂Q<br />

∂q<br />

est une transformation canonique.<br />

10. On supposera F au moins deux fois différentiable.<br />

11. En eff<strong>et</strong>, on a δP · δ ′ Q − δ ′ P · δQ = δq · δ ′ (−p) − δ ′ q · δ(−p) = δp · δ ′ q − δ ′ p · δq.

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

Saved successfully!

Ooh no, something went wrong!