L'orientation d'un satellite dans l'espace correspond à l'orientation du repère fixé sur son corps par rapport à un autre repère, tel que ceux vus précédemment. Ainsi, la détermination d'attitude d'un satellite en particulier requiert des méthodes d'estimation de la matrice orthogonale transformant des vecteurs d'un référentiel de référence fixé dans l'espace à un référentiel fixé par rapport au corps du satellite. De plus, une mission spatiale ne peut être définie par un unique référentiel. En fonction des besoins, de l'échelle à laquelle on se place, il est nécessaire d'utiliser tel ou tel référentiel. Dès lors, le passage d'un référentiel à un autre devient un aspect crucial du SCAO. L'une des plus importantes propriétés des matrices d'attitude est énoncée par le théorème d'Euler.
L'orientation instantanée d'un objet peut toujours être décrite par une unique rotation autour d'un axe fixe.
On peut parler de pôle eulérien pour nommer le centre de rotation. Il doit son nom au mathématicien et physicien suisse Leonhard Euler. Dès lors qu'un point d'un solide reste fixe lors d'un déplacement, ce déplacement est équivalent à une rotation autour d'un axe passant par le point fixe (pôle eulérien). En algèbre linéaire, ce théorème implique que deux référentiels cartésiens partageant la même origine sont reliés par une rotation autour d'un axe fixe.
Les relations permettant de jongler entre les systèmes de coordonnées peuvent être charactérisées de différentes manières, comportant chacune leurs lots d'avantages et inconvénients. Certaines d'entre elles sont présentées dans la partie suivante :
Les démonstrations des principales relations sont proposées en exercices.
La façon la plus évidente de donner l'orientation d'un référentiel par rapport à un autre est d'exprimer leurs vecteurs de base dans l'autre repère.
Une introduction simple à ce changement de repère peut être faite en 2D. Prenons un référentiel , avec les axes et , incliné par rapport à un référentiel , d'axes et , d'un angle . Le vecteur peut être exprimé dans ces deux systèmes sous forme matricielle : et .
La relation entre les deux systèmes de coordonnées peut être décrite par une matrice de cosinus directeur (MCD), ou matrice de rotation, variant avec . Cette matrice transforme le vecteur du premier référentiel vers le second .
Les éléments de la MCD correspondent aux produits scalaires des vecteurs de base. Le produit scalaire entre deux vecteurs unitaires correspond au cosinus de l'angle formé par ces vecteurs.
Une appliquette interactive est disponible ici. Elle revient sur le changement de repère en 2D en permettant de projeter les coordonnées d'un point dans un référentiel en rotation par rapport à un autre.
En 3 dimensions la MCD est une matrice de passage 3x3. L'expression d'un vecteur dans à partir de son expression dans s'écrit :
avec
On dit que la MCD décrit l'orientation de par rapport à . On l'appelle également matrice de rotation ou matrice de transformation des coordonnées de vers .
Trois rotations élémentaires de autour de chacun de ses trois axes se retrouvent décrites par les matrices de rotation suivantes :
, et
où indique une rotation d'angle autour du i-ème axe du référentiel fixé sur le corps.
La MCD est une matrice orthogonale, ce qui signifie que son inverse est égal à sa transposée :
et
Les transformations successives entre référentiels peuvent être déterminées par une série de multiplications matricielles. Par exemple, la transformation du référentiel inertiel au référentiel du satellite peut être décomposée de la manière suivante : transformation du référentiel inertiel au référentiel fixé sur la Terre multipliée par la transformation du référentiel fixé sur la Terre au référentiel orbital, le tout multiplié par la transformation du repère orbital au repère du satellite.
Malgré certains avantages, la MCD n'est pas toujours la représentation la plus adaptée. Elle utilise 9 paramètres pour décrire une orientation, parmi lesquels seulement 3 sont indépendants.
Les angles d'Euler sont les angles introduits par Leonhard Euler pour décrire l'orientation d'un solide. Ils peuvent être utilisés pour définir l'orientation d'un référentiel par rapport à un autre. On obtient une rotation en faisant varier l'un des trois angles d'Euler et une séquence de 3 rotations est suffisante pour décrire n'importe quelle transformation. La première rotation est effectuée selon n'importe quel axe, tandis que les deux suivantes ne peuvent jamais être effectuées autour d'un axe utilisé par la rotation précédente. Au total, 12 jeux d'angles d'Euler existent : (1,2,1), (1,2,3), (1,3,1), (1,3,2), (2,1,2), (2,1,3), (2,3,1), (2,3,2), (3,1,2), (3,1,3), (3,2,1), (3,2,3). L'ordre des rotations et la valeur des angles ne sont pas uniques et sont sujets à des singularités mathématiques.
Une appliquette interactive est disponible ici. Elle permet de visualiser dans l'espace les séquences d'Euler qui sont introduites dans cette section à titre d'exemple.
Les angles d'Euler décrivent une rotation unique, ce qui est généralement un avantage par rapport à la MCD. Cependant, à une orientation donnée correspondent plusieurs jeux d'angles d'Euler.
Quelle que soit la séquence d'Euler, la MCD peut facilement être obtenue en multipliant les matrices de rotation élémentaires. Soit la séquence particulière suivante, décrivant l'orientation du référentiel par rapport au référentiel :
, donc :
Nous avons utilisé les notations et .
D'une manière générale, les angles d'Euler déterminent une orientation unique, ce qui est un avantage sur la MCD. Des singularités apparaissent lorsque le deuxième angle d'Euler aligne les premier et troisième axes de rotation. Dans ce cas, cette description d'attitude à 3 degrés dégénère en une description à seulement 2 degrés de liberté. Cette condition est réalisée lorsque l'angle vaut 90 et 270 degrés pour les 6 rotations où les premier et troisième axes sont différents, et lorsque l'angle vaut 0 et 190 degrés pour les 6 rotations où les premier et troisième axes sont identiques.
Afin de s'affranchir du problème de singularité rencontré avec les angles d'Euler, une représentation de l'attitude composée de 4 éléments est introduite sous le nom de quaternion (dont les éléments sont appelés paramètres d'Euler). Cette construction mathématique est présentée plus en détail dans la partie suivante.
Considérons l'axe fixe de la rotation présentée dans le théorème d'Euler, ou vecteur propre . C'est un vecteur unité possédant les mêmes composantes dans les référentiels de départ et d'arrivée : . Ainsi, 4 grandeurs sont requises pour décrire de façon non-ambigüe l'orientation par rapport à un référenciel : les 3 composantes de et l'angle de la rotation, .
Les quaternions sont une combinaison de ces éléments disposés dans un vecteur de 4 éléments . Le quaternion contient la même information qu'une MCD à 9 éléments, tout en s'affranchissant des problèmes de singularité rencontrés avec les angles d'Euler. Ils sont à la fois compacts et une représentation efficace de l'orientation pour la détermination d'attitude. Une même rotation est représentée par les quaternions et . On note également que les quatre paramètres d'Euler ne sont pas indépendants, mais contraints par la relation suivante :
Pour le vecteur propre , les paramètres d'Euler sont : , avec , , et .
De la même façon que l'on peut exprimer la MCD en fonction des angles d'Euler, elle peut être paramétrée en fonction d'un quaternion de la manière suivante :
Il s'agit maintenant d'expliquer comment un quaternion vivant dans peut opérer sur un vecteur vivant lui dans . Notons tout d'abord qu'un vecteur est un quaternion pur dont la partie réelle est nulle. L'opérateur décrivant une rotation s'exprime avec le quaternion unitaire : . Le vecteur ainsi obtenu conserve la longueur du vecteur initial, comme le fait une rotation. Cet opérateur se développe de la manière suivante :
Afin de comprendre cette expression il est nécessaire d'avoir compris la partie suivante qui s'intéresse à l'algèbre des quaternions.
Les séquences de rotation peuvent facilement être décrites par une multiplication des quaternions représentant les rotations successives. Soient les quaternions et décrivant respectivement les opérateurs et . Le premier opérateur est appliqué au vecteur pour obtenir le vecteur , puis le second est appliqué à pour obtenir . La composition des opérateurs s'écrit :
Un avantage inhérent à cette représentation est que les équations de la cinématique deviennent purement algébriques et ne contiennent plus de fonctions trigonométriques.
Les quaternions sont un système de nombres premièrement décrits par William Rowan Hamilton en 1843 appliqué à la mécanique et à l'espace à 3 dimensions.
Sir William Rowan Hamilton (04/08/1805 - 02/09/1865) est un mathématicien, physicien et astronome irlandais (né et mort à Dublin). Outre sa découverte des quaternions, il contribua également au développement de l'optique, de la dynamique et de l'algèbre. Ses recherches se révélèrent importantes pour le développement de la mécanique quantique.
Un quaternion q est une expression de la forme :
où , , , sont des nombres réels, et , , sont des symboles respectant les relations quaternioniques :
Par analogie avec les nombres complexes, est appelé partie réelle de et est appelé partie imaginaire.
L'ensemble des quaternions est un espace vectoriel de dimension 4 et de base où s'applique l'addition composant par composant. Soient deux quaternions et :
Afin d'introduire la multiplication, il faut d'abord introduire le produit hamiltonien. Les produits des éléments de base , et sont définis de la manière suivante :
La multiplication de quaternions est associative et distributive, mais pas commutative en général. Pour les quaternions q et p elle est définie par :
Elle peut être représentée par une multiplication matricielle. Dans ce cas, une matrice composée de valeurs du premier quaternion vient multiplier le second quaternion, tel que :
avec .
Le conjugué, la norme et l'inverse des quaternions et sont :
et
et
Une autre façon de présenter un quaternion consiste à dire que est la partie scalaire de et est la partie vectorielle. Ainsi, la partie scalaire est toujours réelle et la partie vectorielle toujours purement imaginaire. Bien que l'on ait dit qu'un quaternion est un vecteur dans un espace à 4 dimensions, il est courant de définir un vecteur pour la partie imaginaire d'un quaternion : et