Introduction à la rotation rigide du corps en trois dimensions

L'étude du mouvement rigide du corps en trois dimensions est une pierre angulaire de la mécanique classique et des mathématiques appliquées. Un corps rigide est une idéalisation d'un objet solide qui ne se déforme pas sous des forces appliquées; la distance entre deux points du corps reste constante au fil du temps. Cette simplification permet aux ingénieurs et aux physiciens de décrire le mouvement des objets – des bras robotiques aux engins spatiaux – en utilisant un ensemble fini de coordonnées. Dans l'espace tridimensionnel, un corps rigide a six degrés de liberté : trois pour la traduction (déplacement le long des axes x, y et z) et trois pour la rotation (orientation change autour de ces axes).

L'espace de configuration d'un corps rigide

Pour analyser le mouvement d'un corps rigide, nous définissons d'abord sa configuration : la spécification complète de l'endroit où chaque point du corps se trouve dans l'espace. Cette configuration peut être décomposée en deux composants indépendants : la traduction du centre de masse et de rotation du corps à ce centre. La traduction est décrite par un vecteur dans R3, tandis que la rotation est décrite par un élément du groupe Orthogonal Spécial SO(3)—l'ensemble des matrices orthogonales 3×3 avec déterminant +1. Le produit de ces deux espaces donne l'espace de configuration SE(3) = R3 × SO(3). Cette structure n'est pas simplement un produit cartésien parce que l'orientation du corps influe sur la façon dont les traductions affectent les points individuels. Néanmoins, la séparation en traduction et rotation est conceptuellement puissante et forme la base pour tous les corps rigides.

Motion translationnelle

La traduction déplace tout le corps rigide comme unité le long d'une ligne droite. La position du corps est généralement prise comme vecteur de position de son centre de masse, désigné rcm = (x, y, z). En l'absence de rotation, chaque point du corps subit le même déplacement. Mathématiquement, si le corps est traduit par un vecteur d, alors tout point p sur le corps se déplace vers [p + . L'ensemble de tous les vecteurs de traduction possibles est l'espace euclidien à trois dimensions ]R]]3, qui est un espace vecteur sous addition.

Motion rotative

La rotation change l'orientation du corps rigide sans déplacer son centre de masse. Une rotation peut être décrite par une matrice de rotation R --[SO(3), qui satisfait ---[R = I[ et det([--=1. Cette matrice cartographie les coordonnées d'un point du corps, son cadre fixé au corps à ses coordonnées dans le cadre mondial. Par exemple, si un point a des coordonnées ----] dans le cadre du corps, ses coordonnées du monde après la rotation sont -R ·]-[FLT:][FLT:][FLT:]--[F

  • Les angles d'impulsion (p. ex., la pointe de roulis) représentent trois rotations successives sur les axes de coordonnées. Ils sont intuitifs mais souffrent de verrouillage gimbal – une perte d'un degré de liberté lorsque deux axes s'alignent.
  • Quaternions utilisent quatre nombres (un réel, trois imaginaires) pour représenter des rotations. Ils sont sans singularité et efficaces sur le plan informatique, ce qui en fait le choix préféré dans de nombreuses applications robotiques et aérospatiales.
  • L'axe représente une rotation par un vecteur unitaire k[ (l'axe) et un angle - (la magnitude). Il se situe naturellement sur la carte exponentielle de l'algèbre de Lie so(3) au groupe SO(3).

Chaque paramétrage présente des avantages et des limites. Le choix dépend de l'application spécifique : les angles d'Euler sont souvent utilisés dans la dynamique des avions pour l'interprétation humaine, tandis que les quaternions dominent dans le contrôle de l'assiette des satellites et dans les graphiques informatiques en raison de leurs propriétés d'interpolation lisse. Pour une plongée plus profonde dans les formalismes de rotation, voir les matrices de rotation et quaternions pour la rotation spatiale.

Représentation mathématique de la motion

La position de tout point p sur le corps à la fois t peut être exprimée comme suit:

r(t) = R(t) · r0 + d(t)

où r0 est la position initiale du point dans le cadre corporel, R(t) -SO(3) est la matrice de rotation décrivant l'orientation au moment t, et d(t)] -R]3] est le vecteur de traduction de l'origine du cadre corporel (habituellement le centre de masse) par rapport au cadre mondial.

Cette équation est linéaire dans la rotation et la traduction, mais lorsque les deux varient au fil du temps, le mouvement global est non linéaire en raison du produit R(t) · r0. Pour simplifier la représentation, nous utilisons souvent des coordonnées homogènes, intégrant la traduction et la rotation dans une seule matrice de transformation 4×4 :

T = [[R[ d[; 0 1]

Dans les coordonnées homogènes, un point est représenté comme vecteur 4D [x y z 1]T[. Ensuite, la transformation p' = T · p applique simultanément la rotation et la traduction. Cette matrice forme un élément du groupe Euclide spécial SE(3)[. L'ensemble de ces matrices, ainsi que la multiplication de matrices, forme un groupe Lie. La représentation homogène est particulièrement utile dans les graphiques et la robotique informatiques, où des séquences de mouvements (par exemple, des articulations de bras) sont composées par multiplication de matrices de transformation.

Kinématique de vélocité des corps rigides

L'étude des vitesses – linéaire et angulaire – forme le noyau de la cinématique rigide du corps. La vitesse translationnelle du centre de masse est simplement la dérivée temporelle de sa position : v = drcm/dt. Pour le mouvement rotationnel, nous introduisons le vecteur de vitesse angulaire = (-]x, -]]y, -]z. La vitesse angulaire décrit à la fois l'axe de rotation (direction de ]]-]] et la vitesse de rotation (magnitude de ).

dR/dt = [.]× · R

où [ -] est la matrice symétrique de -:

[.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.][.

Cette équation montre que la dérivée d'une matrice de rotation est proportionnelle à la matrice de rotation elle-même, mise à l'échelle par la vitesse angulaire. La matrice symétrique de skew appartient à l'algèbre de Lie so(3), qui est l'espace tangent de SO(3) à l'identité. Cette connexion est fondamentale dans la théorie des groupes de Lie et sert à dériver la vitesse de n'importe quel point sur le corps rigide. Pour un point p avec les coordonnées de l'image corporelle r0, la vitesse dans le cadre mondial est:

vp = vcm + γ × (R · r0]

où × désigne le produit croisé. Le terme ↓ × (R · r0][ donne la vitesse tangentielle due à la rotation. Cette relation est essentielle pour calculer les matrices jacobins dans les manipulateurs robotiques et pour simuler le mouvement des systèmes articulés. La vitesse angulaire est également liée à la dérivée temporelle des angles d'Euler, bien qu'à travers une transformation non linéaire. Pour un traitement approfondi, voir vitesse angulaire.

Dynamique du corps rigide

Une fois que les descriptions cinématiques sont établies, nous nous tournons vers la dynamique – la relation entre les forces, les couples et le mouvement résultant. La dynamique d'un corps rigide est régie par la deuxième loi de Newton pour la traduction et Euler équations pour la rotation.

Dynamique translationnelle

Pour la traduction, la force nette F agissant sur le corps est égale au produit de sa masse m et à l'accélération de son centre de masse:

F = m · acm, où acm = d[2rcm]/dt]2]

Cette équation linéaire tient indépendamment de la rotation, à condition que le corps soit rigide. La masse m est une constante scalaire, rendant la dynamique translationnelle relativement simple.

Dynamique rotative

La dynamique rotative est plus complexe. Le couple net τ au centre de la masse est lié à l'accélération angulaire et à la vitesse angulaire à travers le tenseur d'inertie I— une matrice symétrique 3×3 qui code la répartition de la masse autour du corps. Dans un cadre fixé sur le corps aligné sur les axes principaux, le tenseur d'inertie devient diagonale avec des éléments (Ix, I]y, I[z. Euler="s équations dans ce cadre sont:

τx = I[x[ · d-x/dt + (Iz - I[y[]) -[y] -]z]

τy = I[y[ · d-y/dt + (Ix - I[z[]) -[z] -]x[]

τz = I[z · d-z/dt + (Iy - I[x[]) -[x] -]y

Ces équations sont non linéaires en raison des termes croisés impliquant des produits de vitesses angulaires. Elles expliquent des phénomènes tels que la précession sans couple d'un plateau tournant et l'effet Dzhanibekov (théorème de la raquette de tennis). Le calcul de la tenseur d'inertie pour des formes complexes implique souvent des intégrales de volume. Pour des détails sur la dynamique, voir Euler="s équations.

Lie Group et Lie Algebra Perspective

Une compréhension mathématique plus profonde du mouvement rigide du corps vient de la théorie des groupes Lie et des algèbres Lie. SO(3) et SE(3) sont des groupes Lie—multiples lisses avec structure de groupe qui permettent la composition et l'inversion des mouvements. Leurs algèbres Lie correspondantes, so(3) et se(3), sont des espaces vectoriels qui capturent les mouvements infinisimaux (vitesses).

  • L'algèbre de Lie so(3) se compose de toutes les matrices symétriques de 3×3. La carte exponentielle exp: so(3) → SO(3) envoie une matrice symétrique de skew à une matrice de rotation. Cette carte, connue sous le nom de formule Rodrigues, permet de convertir une représentation de l'angle d'axe en matrice de rotation.
  • L'algèbre de Lie se(3) se compose de 4×4 matrices avec un bloc 3×3 symétrique de haut gauche et un vecteur de traduction 3D. La carte exponentielle les envoie aux matrices de transformation homogènes dans SE(3).

En utilisant l'algèbre de Lie, la vitesse du corps rigide peut être représentée comme un élément de se(3), une torsion composée de vitesses linéaires et angulaires. Cette représentation est cruciale pour la théorie moderne du contrôle, la robotique (par exemple, se(3) pour la vitesse spatiale) et la mécanique géométrique. La formule Baker-Campbell-Hausdorff décrit comment combiner deux mouvements successifs, bien que les approximations soient souvent utilisées dans la pratique.

Applications en robotique et aérospatiale

Les fondements mathématiques du mouvement rigide du corps ont des applications directes dans plusieurs domaines d'ingénierie:

Manipulateurs robotiques

Dans la robotique, la cinématique avant d'un manipulateur série décrit la position et l'orientation de l'effecteur final en fonction des angles d'articulation. Chaque joint introduit un mouvement relativement rigide – soit une rotation (articulaire réversible) soit une traduction (articulaire primaire) – qui est représentée par une matrice de transformation homogène. La transformation globale est le produit de transformations articulaires individuelles. La matrice jacobinienne, construite à partir de vitesses angulaires et linéaires, cartographie les vitesses d'articulations en vitesses d'effet final. Comprendre la structure SE(3) est essentielle pour concevoir des contrôleurs qui évitent les singularités et pour planifier des trajectoires fluides.

Contrôle de l'attitude des engins spatiaux

Les systèmes de contrôle de l'altitude pour les satellites et les engins spatiaux reposent sur la théorie des rotations. Les roues de réaction, les propulseurs et les coupleurs magnétiques appliquent des couples pour modifier l'élan angulaire de l'engin spatial. La dynamique suit les équations d'Euler, et l'orientation est souvent représentée par des quaternions pour éviter les singularités.

Dynamique du véhicule

Les véhicules au sol, les aéronefs et les véhicules sous-marins sont tous modélisés comme des corps rigides (ou des systèmes de corps rigides connectés).Les équations du mouvement comprennent à la fois la dynamique translationnelle et la dynamique de rotation, couplée par des forces telles que friction des pneus ou levage aérodynamique.

Conclusion

Les fondements mathématiques du mouvement rigide du corps dans trois dimensions sont à la fois élégants et pratiques. En combinant traduction et rotation à travers le cadre unifié de SE(3) et son algèbre lie, les ingénieurs et les scientifiques peuvent modéliser des systèmes complexes avec un haut degré de précision. Les matrices de rotation, les quaternions, la vitesse angulaire et la tenseur d'inertie forment la trousse essentielle. La maîtrise de ces concepts permet un contrôle précis des robots, un vol stable des avions et une gestion robuste de l'attitude des engins spatiaux.