Théorème de l'axe principal

Dans les domaines mathématiques de la géométrie et de l'algèbre linéaire, un axe principal est une certaine ligne dans un espace euclidien associée à un ellipsoïde ou à un hyperboloïde, généralisant les axes majeur et mineur d'une ellipse ou d'une hyperbole. Le théorème de l'axe principal indique que les axes principaux sont perpendiculaires et donne une procédure pour les trouver.

Mathématiquement, le théorème de l'axe principal est une généralisation de la méthode de complétion du carré à partir de l'algèbre élémentaire. En algèbre linéaire et en analyse fonctionnelle, le théorème de l'axe principal est une contrepartie géométrique du théorème spectral. Il a des applications en statistiques en analyse en composantes principales ainsi qu'en décomposition en valeurs singulières. En physique, le théorème est fondamental pour l'étude du moment cinétique.

Motivation

Les équations dans le plan cartésien ${ℝ}^2$

$\frac{x^2}{9}+\frac{y^2}{25}=1$

$\frac{x^2}{9}-\frac{y^2}{25}=1$

définissent, respectivement, une ellipse et une hyperbole. Dans chaque cas, les axes Modèle:Mvar et Modèle:Mvar sont les axes principaux. Cela est facilement visible, étant donné qu'il n'y a pas de termes croisés, c'est-à-dire des produits de type Modèle:Mvar, dans l'une ou l'autre des expressions. Cependant, la situation est plus compliquée pour des équations comme

$5x^2+8xy+5y^2=1$.

Ici, une méthode est nécessaire pour déterminer s'il s'agit d'une ellipse ou d'une hyperbole. L'observation de base est que, si, en complétant le carré, l'expression quadratique peut être réduite à une somme de deux carrés, alors l'équation définit une ellipse. A contrario, si elle se réduit à une différence de deux carrés, alors l'équation représente une hyperbole :

$u(x,y{)}^2+v(x,y{)}^2=1\text{(ellipse)}$

$u(x,y{)}^2-v(x,y{)}^2=1\text{(hyperbole)}$.

Ainsi, dans l'exemple ci-dessus, le problème est de savoir comment absorber le coefficient du terme croisé ($8xy$) dans les fonctions Modèle:Mvar et Modèle:Mvar. Formellement, ce problème est similaire au problème de la diagonalisation, où l'on essaie de trouver un système de coordonnées approprié dans lequel la matrice d'une application linéaire est diagonale. La première étape consiste à trouver une matrice dans laquelle la technique de diagonalisation peut être appliquée.

L'astuce consiste à écrire la forme quadratique comme

$5x^2+8xy+5y^2=\left[\begin{array}{cc}x& y\end{array}\right]\left[\begin{array}{cc}5& 4\\ 4& 5\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]={𝐱}^{T}A𝐱$

où le terme croisé a été divisé en deux parties égales. Il est important de noter que la matrice Modèle:Mvar dans la décomposition ci-dessus est une matrice symétrique. De ce fait, par le théorème spectral, la matrice a des valeurs propres réelles et est diagonalisable par une matrice orthogonale.

Pour diagonaliser orthogonalement Modèle:Mvar, il faut d'abord trouver ses valeurs propres, puis trouver une base propre orthonormale. Le calcul révèle que les valeurs propres de Modèle:Mvar sont

${\lambda }_1=1,{\lambda }_2=9$

et ont respectivement les vecteurs propres

${𝐯}_1=\left[\begin{array}{c}1\\ -1\end{array}\right],{𝐯}_2=\left[\begin{array}{c}1\\ 1\end{array}\right]$.

En les divisant par leurs longueurs respectives, on obtient une base propre orthonormée :

${𝐮}_1=\left[\begin{array}{c}1/\sqrt{2}\\ -1/\sqrt{2}\end{array}\right],{𝐮}_2=\left[\begin{array}{c}1/\sqrt{2}\\ 1/\sqrt{2}\end{array}\right]$.

En définissant Modèle:Mvar par $S=[{𝐮}_1{𝐮}_2]$, il s'agit alors d'une matrice orthogonale. De ce fait, Modèle:Mvar peut être récrit comme étant

$A=SD{S}^{-1}=SD{S}^T=\left[\begin{array}{cc}1/\sqrt{2}& 1/\sqrt{2}\\ -1/\sqrt{2}& 1/\sqrt{2}\end{array}\right]\left[\begin{array}{cc}1& 0\\ 0& 9\end{array}\right]\left[\begin{array}{cc}1/\sqrt{2}& -1/\sqrt{2}\\ 1/\sqrt{2}& 1/\sqrt{2}\end{array}\right]$.

Cela s’applique au problème actuel de la « diagonalisation » de la forme quadratique présentée précédemment. En effet, notons que

$5x^2+8xy+5y^2={𝐱}^{T}A𝐱={𝐱}^T(SD{S}^T)𝐱=(S^T𝐱{)}^{T}D(S^T𝐱)=1{\left(\frac{x-y}{\sqrt{2}}\right)}^2+9{\left(\frac{x+y}{\sqrt{2}}\right)}^2$.

Ainsi, l'équation $5x^2+8xy+5y^2=1$ est celle d'une ellipse, car le terme de gauche peut s'écrire comme la somme de deux carrés.

Notons qu'il est tentant de simplifier cette expression en retirant les facteurs de 2. Cependant, il est important de ne pas le faire. En effet, les quantités

$c_1=\frac{x-y}{\sqrt{2}},c_2=\frac{x+y}{\sqrt{2}}$

ont une signification géométrique : ils déterminent un système de coordonnées orthonormées sur ${ℝ}^2$ . En d'autres termes, ils sont obtenus à partir des coordonnées d'origine par l'application d'une rotation (et éventuellement d'une réflexion). Par conséquent, les grandeurs $c_1$ et $c_2$ nous renseignent à propos de longueurs (majoritairement) et d'angles, tâche qui seraient autrement difficiles dans un choix coordonnées différent (en les redimensionnant, par exemple). Par exemple, la distance maximale entre l'origine et l'ellipse $c_1^2+9c_2^2=1$ se produit lorsque $c_2=0$, c'est-à-dire aux points $c_1=\pm 1$. De même, la distance minimale est où $c_2=\pm 1/3$.

Il est maintenant possible d'expliciter les axes majeur et mineur de cette ellipse. En réalité, il s'agit des espaces propres de la matrice Modèle:Mvar, car ce sont là où $c_1=0$ ou $c_2=0$. Symboliquement, les axes principaux sont

$E_1=\text{Vec}\left(\left[\begin{array}{c}1/\sqrt{2}\\ -1/\sqrt{2}\end{array}\right]\right),E_2=\text{Vec}\left(\left[\begin{array}{c}1/\sqrt{2}\\ 1/\sqrt{2}\end{array}\right]\right)$.

Pour résumer :

• l'équation dont il a été question ici est celle d'une ellipse, car les deux valeurs propres sont positives. Sinon, si l'un était positif et l'autre négatif, ce serait une hyperbole ;
• les axes principaux sont les lignes engendrées par les vecteurs propres ;
• les distances minimales et maximales à l'origine peuvent être lues sur l'équation sous forme diagonale.

En utilisant ces informations, il est possible d'obtenir une image géométrique claire de l'ellipse afin de, par exemple, la représenter graphiquement.

Formulation rigoureuse

Le théorème de l'axe principal concerne les formes quadratiques dans ${ℝ}^n$, que sont des polynômes homogènes de degré 2. Toute forme quadratique peut être représentée comme

$Q(𝐱)={𝐱}^{T}A𝐱$

où Modèle:Mvar est une matrice symétrique.

Par le théorème spectral :

• les valeurs propres de Modèle:Mvar sont réelles.
• Modèle:Mvar est diagonalisable et ses espaces propres sont orthogonaux entre eux.

En particulier, Modèle:Mvar est diagonalisable orthogonalement, car on peut prendre une base pour chaque espace propre et appliquer le processus de Gram-Schmidt séparément dans l'espace propre pour obtenir une base propre orthonormée.

Soient ${\lambda }_1,\dots ,{\lambda }_n$ les valeurs propres de Modèle:Mvar et ${𝐮}_1,\dots ,{𝐮}_n$ la base propre orthonormale correspondante. Alors :

$Q(𝐱)={\lambda }_1{c}_1^2+{\lambda }_2{c}_2^2+\dots +{\lambda }_n{c}_n^2$,

où les Modèle:Mvar sont les coordonnées par rapport à la base propre donnée. En outre,

le Modèle:Mvar-ème axe principal est la droite déterminée par les Modèle:Math équations $c_j=0,i\ne j$. Cet axe est engendré par le vecteur ${𝐮}_i$.

Voir aussi

Article connexe

Loi d'inertie de Sylvester