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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.2. CHANGEMENTS DE RÉFÉRENTIELS NON INERTIELS 37<br />

spatiale des espaces t = const. sont donc données par<br />

<br />

∗ r r = A(t)r + b(t)<br />

↦→<br />

t t∗ <br />

= t + e<br />

(3.2.2)<br />

où, cf. (3.1.13), les matrices A(t) ∈ SO(3) <strong>et</strong> les vecteurs b(t) ∈ R 3 peuvent mainte-<br />

nant, grâce à (3.2.1), dépendre arbitrairement <strong>du</strong> temps ; d’autre part e ∈ R désigne<br />

une translation temporelle (solution générale de l’équation dt ∗ = dt).<br />

Définition-Théorème 3.2.1. Les transformations (3.2.2) forment un groupe (de<br />

dimension infinie) ; le sous-groupe formé des transformations préservant les espaces<br />

instantanés t = const., i.e.<br />

r<br />

t<br />

<br />

∗ r = A(t)r + b(t)<br />

↦→<br />

t∗ <br />

= t<br />

(3.2.3)<br />

est donc le groupe des fonctions (A, b) ∈ C ∞ (R, SE(3)) appelé groupe de Coriolis<br />

ou groupe des transformations non inertielles.<br />

Enonçons maintenant un résultat fort utile.<br />

Lemme 3.2.1. Soit A(t) ∈ SO(n) une matrice de rotation dépendant différentiable-<br />

ment <strong>du</strong> temps t. La matrice Z(t) = ˙<br />

A(t)A(t) −1 est alors antisymétrique, c’est-à-dire<br />

Z(t) + Z(t) = 0. Dans le cas n = 3, on a<br />

˙A(t)A(t) −1 = j(ω(t)) (3.2.4)<br />

où ω(t) ∈ R 3 est appelé vecteur instantané de rotation <strong>et</strong><br />

⎛<br />

j ⎝<br />

ω 1<br />

ω 2<br />

ω 3<br />

⎞<br />

⎛<br />

⎠ = ⎝<br />

0 −ω 3 ω 2<br />

ω 3 0 −ω 1<br />

−ω 2 ω 1 0<br />

⎞<br />

⎠ (3.2.5)<br />

Démonstration. Puisque AA = AA = 1, on a d(AA)/dt = 0 <strong>et</strong> on trouve, par<br />

conséquent, (dA/dt)A + A(dA/dt) = (dA/dt)A −1 + (dA/dt)A −1 = Z + Z = 0. Dans<br />

le cas n=3, on vérifie directement que les matrices 3 × 3 antisymétriques sont bien<br />

de la forme générale (3.2.5).

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

Saved successfully!

Ooh no, something went wrong!