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