Formule d'Euler–Rodrigues

En mathématiques et en mécanique, la formule d'Euler – Rodrigues est une formule générale pour les rotations vectorielles en dimension trois, faisant intervenir quatre paramètres.

Elle est ainsi nommée en référence à Leonhard Euler et Olinde Rodrigues.

Énoncé

Formulation matricielle

La matrice générale d'une rotation de l'espace vectoriel euclidien de dimension trois dans une base orthonormée directe s'écrit

$\left[\begin{array}{ccc}{a}^2+b^2-c^2-d^2& 2(bc-ad)& 2(bd+ac)\\ 2(bc+ad)& a^2+c^2-b^2-d^2& 2(cd-ab)\\ 2(bd-ac)& 2(cd+ab)& a^2+d^2-b^2-c^2\end{array}\right]$

où $a,b,c,d$ sont quatre paramètres réels, dits d'Euler-Rodrigues, vérifiant $a^2+b^2+c^2+d^2=1$.

C'est donc aussi la formule générale d'une matrice orthogonale positive d'ordre trois.

Formulation vectorielle

Si on note $\overrightarrow{\omega }$ le vecteur de coordonnées Modèle:Formule dans la base orthonormée, la formule précédente est l'écriture matricielle de la formule :

${\overrightarrow{x}}^{\prime }=r(\overrightarrow{x})=\overrightarrow{x}+2a(\overrightarrow{\omega }\wedge \overrightarrow{x})+2(\overrightarrow{\omega }\wedge (\overrightarrow{\omega }\wedge \overrightarrow{x}))$.

C'est la raison pour laquelle le paramètre Modèle:Mvar est appelé le paramètre scalaire, et le triplet Modèle:Formule le paramètre vectoriel .

Propriétés

Symétrie

Les paramètres Modèle:Formule et Modèle:Formule décrivent la même rotation. En dehors de cette symétrie, chaque quadruplet de paramètres décrit une rotation unique.

Composition des rotations

Soit Modèle:Formule et Modèle:Formule les paramètres d'Euler-Rodrigues de deux rotations. Les paramètres de la rotation composée (rotation 1 puis rotation 2) sont les suivants:

$\begin{array}{cc}a& =a_1{a}_2-b_1{b}_2-c_1{c}_2-d_1{d}_2;\\ b& =a_1{b}_2+b_1{a}_2-c_1{d}_2+d_1{c}_2;\\ c& =a_1{c}_2+c_1{a}_2-d_1{b}_2+b_1{d}_2;\\ d& =a_1{d}_2+d_1{a}_2-b_1{c}_2+c_1{b}_2.\end{array}$

Il est simple, bien que fastidieux, de vérifier que Modèle:Formule . Il s'agit essentiellement de l'identité des quatre carrés d'Euler, également utilisée par Rodrigues.

Liaison avec l'angle et l'axe de rotation

Toute rotation vectorielle en dimension trois est uniquement déterminée par son axe de rotation (dirigé par un vecteur unitaire $\overrightarrow{n}$ de coordonnées $(n_1,n_2,n_3)$) et son angle $\theta$ . Les paramètres d'Euler-Rodrigues sont alors obtenus par les relations :

$\begin{array}{cc}a& =\cos \frac{\theta }{2};\\ b& =n_1\sin \frac{\theta }{2};\\ c& =n_2\sin \frac{\theta }{2};\\ d& =n_3\sin \frac{\theta }{2}.\end{array}$

Autrement dit, $\overrightarrow{\omega }=\sin \frac{\theta }{2}\overrightarrow{n}$.

Notons que si $\theta$ est augmenté d'une rotation complète de $2\pi$, les arguments des sinus et cosinus n'augmentent que de $\pi$. Les paramètres résultants sont les opposés des valeurs originales, Modèle:Formule ; ils représentent la même rotation.

Exemples

• La transformation identique (rotation nulle, $\theta =0$) correspond à des valeurs de paramètres Modèle:Formule .

• Les rotations de 180 degrés (demi-tours, $\theta =\pi$) autour de n'importe quel axe sont obtenues pour Modèle:Formule , ce qui donne la matrice générale d'un demi-tour autour de $\overrightarrow{n}$ de coordonnées (b, c, d) :

$\left[\begin{array}{ccc}{b}^2-c^2-d^2& 2bc& 2bd\\ 2bc& c^2-b^2-d^2& 2(cd)\\ 2bd& 2cd& d^2-b^2-c^2\end{array}\right]$.

• La matrice des angles d'Euler $A=\left[\begin{array}{ccc}\cos \psi \cos \phi -\sin \psi \cos \theta \sin \phi & -\cos \psi \sin \phi -\sin \psi \cos \theta \cos \phi & \sin \psi \sin \theta \\ \sin \psi \cos \phi +\cos \psi \cos \theta \sin \phi & -\sin \psi \sin \phi +\cos \psi \cos \theta \cos \phi & -\cos \psi \sin \theta \\ \sin \theta \sin \phi & \sin \theta \cos \phi & \cos \theta \end{array}\right]$est égale à la matrice d'Euler-Rodrigues avec $(a,b,c,d)=(\cos \frac{\theta }{2}\cos \frac{\psi +\phi }{2},\sin \frac{\theta }{2}\sin \frac{\psi +\phi }{2},\sin \frac{\theta }{2}\cos \frac{\psi -\phi }{2},\cos \frac{\theta }{2}\sin \frac{\psi -\phi }{2})$.
• Si $a,b,c,d$ sont des entiers non tous nuls, la matrice $\frac{1}{a^2+b^2+c^2+d^2}\left[\begin{array}{ccc}{a}^2+b^2-c^2-d^2& 2(bc-ad)& 2(bd+ac)\\ 2(bc+ad)& a^2+c^2-b^2-d^2& 2(cd-ab)\\ 2(bd-ac)& 2(cd+ab)& a^2+d^2-b^2-c^2\end{array}\right]$ est une matrice de rotation à coefficients rationnels.

Démonstrations

1) Formule de rotation d'Olinde Rodrigues

Théorème : si $r$ est la rotation d'angle $\theta$ autour de $\overrightarrow{n}$ (unitaire) , l'image d'un vecteur $\overrightarrow{x}$ est donnée par la formule :

Démonstration : Le vecteur $\overrightarrow{x}$ se décompose suivant le plan P orthogonal à $\overrightarrow{n}$ et la droite engendrée par $\overrightarrow{n}$ en $\overrightarrow{x}={\overrightarrow{x}}_1+{\overrightarrow{x}}_2$. Or, si ${\overrightarrow{y}}_1$ est le vecteur directement orthogonal à ${\overrightarrow{x}}_1$ dans P, $r(\overrightarrow{x})=\cos \theta {\overrightarrow{x}}_1+\sin \theta {\overrightarrow{y}}_1+{\overrightarrow{x}}_2$, donc $r(\overrightarrow{x})-\overrightarrow{x}=(\cos \theta -1){\overrightarrow{x}}_1+\sin \theta {\overrightarrow{y}}_1$.

Or, avec un dessin, on peut se convaincre que ${\overrightarrow{x}}_1=-\overrightarrow{n}\wedge (\overrightarrow{n}\wedge \overrightarrow{x})$ et ${\overrightarrow{y}}_1=\overrightarrow{n}\wedge \overrightarrow{x}$, d'où la formule énoncée.

Attention, il ne faut pas confondre cette formule d'Olinde Rodrigues avec cette autre, concernant les polynômes orthogonaux.

2) Obtention de la formule vectorielle

La formule d'Olinde Rodrigues s'écrit aussi $r(\overrightarrow{x})=\overrightarrow{x}+2\sin \frac{\theta }{2}\cos \frac{\theta }{2}(\overrightarrow{n}\wedge \overrightarrow{x})+2{\sin }^2\frac{\theta }{2}(\overrightarrow{n}\wedge (\overrightarrow{n}\wedge \overrightarrow{x}))$ , et en posant $a=\cos \frac{\theta }{2}$ et $\overrightarrow{\omega }=\sin \frac{\theta }{2}\overrightarrow{n}$, on obtient bien $r(\overrightarrow{x})=\overrightarrow{x}+2a(\overrightarrow{\omega }\wedge \overrightarrow{x})+2(\overrightarrow{\omega }\wedge (\overrightarrow{\omega }\wedge \overrightarrow{x}))$.

La formule matricielle s'obtient alors en passant aux coordonnées.

3) Variante matricielle directe

La formule d'Olinde Rodrigues donne la matrice de $r$ dans une base orthonormée directe :

$\left[\begin{array}{ccc}{n}_1^2(1-\cos \theta )+\cos \theta & n_1{n}_2(1-\cos \theta )-n_3\sin \theta & n_1{n}_3(1-\cos \theta )+n_2\sin \theta \\ n_1{n}_2(1-\cos \theta )+n_3\sin \theta & n_2^2(1-\cos \theta )+\cos \theta & n_2{n}_3(1-\cos \theta )-n_1\sin \theta \\ n_1{n}_3(1-\cos \theta )-n_2\sin \theta & n_2{n}_3(1-\cos \theta )+n_1\sin \theta & n_3^2(1-\cos \theta )+\cos \theta \end{array}\right]$

qui donne elle-même la matrice d'Euler-Rodrigues en utilisant $(a,b,c,d)=(\cos \frac{\theta }{2},n_1\sin \frac{\theta }{2},n_2\sin \frac{\theta }{2},n_3\sin \frac{\theta }{2})$.

Connexion avec les quaternions

Les paramètres d'Euler-Rodrigues peuvent être considérés comme les coefficients d'un quaternion

$q=a+bi+cj+dk,$

dont le paramètre scalaire Modèle:Mvar est la partie réelle, et les paramètres vectoriels Modèle:Mvar, Modèle:Mvar, Modèle:Mvar les parties imaginaires. Il est unitaire puisque

${\Vert q\Vert }^2=a^2+b^2+c^2+d^2=1.$

Plus important encore, les relations ci-dessus pour la composition des rotations sont précisément les relations pour la multiplication des quaternions. En d'autres termes, le groupe de quaternions unitaires muni de la multiplication, modulo le signe moins, est isomorphe au groupe des rotations muni de la composition.

Connexion avec les matrices de spin SU(2)

Le groupe de Lie SU(2) peut être utilisé pour représenter des rotations tridimensionnelles par des matrices Modèle:Nobr . La matrice de SU(2) correspondant à une rotation, en fonction de ses paramètres d'Euler-Rodrigues, est

$U=\left(\begin{array}{cc}a+di& b+ci\\ -b+ci& a-di\end{array}\right).$

Ce qui peut s'écrire :

$\begin{array}{cc}U& =a\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)+b\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)+c\left(\begin{array}{cc}0& i\\ i& 0\end{array}\right)+d\left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right)\\ & =aI+ic{\sigma }_x+ib{\sigma }_y+id{\sigma }_z,\end{array}$

où les Modèle:Mvar sont les matrices de spin de Pauli. Ainsi, les paramètres d'Euler-Rodrigues sont les coefficients de la représentation d'une rotation tridimensionnelle dans SU(2).

Voir également

• Quaternions et rotation dans l'espace
• Angles d'Euler
• Transformation de Cayley
• Rotations en dimension 4

Références

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article