Endomorphisme autoadjoint

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques et plus précisément en algèbre linéaire, un endomorphisme autoadjoint est un cas particulier d'application linéaire.

Cette propriété s'applique à une application linéaire d'un espace vectoriel dans lui-même ; pour cette raison, l'application est appelée endomorphisme. L'espace vectoriel possède une géométrie particulière, de type euclidien. Elle se généralise sur le corps des complexes et à la dimension infinie. La propriété exprime une compatibilité de l'endomorphisme avec le produit scalaire : il est égal à son adjoint.

En dimension finie, la structure d'un endomorphisme autoadjoint est simple, il existe une base orthonormale de vecteurs propres et les valeurs propres sont toutes réelles. L'adjonction de propriétés de continuité est nécessaire pour le cas de la dimension infinie. Ce cas est largement étudié dans le cadre de l'analyse fonctionnelle.

Les applications de cette propriété structurelle sont nombreuses. En mathématiques, elle permet de résoudre des équations différentielles linéaires, de trouver une base orthogonale pour deux formes quadratiques si l'une est définie positive ou de classifier les quadriques. En physique, elle est utilisée pour résoudre de nombreuses équations aux dérivées partielles comme celle de la corde vibrante ou exprimer le moment d'inertie d'un solide. Elle permet en statistique d'établir la méthode des moindres carrés ou d'étudier un échantillon à l'aide de l'analyse en composantes principales. Enfin de nombreuses méthodes de calcul numérique se fondent sur cette propriété. Ces applications sont traitées dans l'article théorème spectral.

Sommaire

1 Définition
2 Propriétés
3 Notes et références
- 3.1 Liens externes
- 3.2 Références

[modifier] Définition

Soit E un espace vectoriel réel ou complexe, muni d'un produit scalaire noté (|). Un tel espace est appelé préhilbertien. Soit a un endomorphisme de E. La donnée de a permet de définir une forme bilinéaire Φ par l'égalité suivante :

$\forall x,y \in E \quad \phi (x\, |\, y) = (a(x) \, |\, y)$

S'il existe un endomorphisme souvent noté a^* vérifiant la propriété suivante, alors a^* est appelé l'adjoint de a. :

$\forall x,y \in E \quad \phi (x\, |\, y) = (x \, |\, a^*(y))$

Si E est de dimension finie ou s'il est de Hilbert alors tout endomorphisme admet un adjoint.

Définition — Un endomorphisme a est qualifié d'autoadjoint si et seulement si il est égal à son adjoint.

Il existe un isomorphisme d'algèbre entre les endomorphismes et les matrices. Il donne lieu aux deux définitions suivantes :

Définitions — Une matrice carrée à coefficients réels est qualifiée de symétrique si et seulement si elle est égale à sa transposée. Une matrice carrée à coefficients complexes est qualifiée d'hermitienne si et seulement si elle est égale à la transposée de sa conjuguée.

[modifier] Propriétés

[modifier] Autoadjoint et structure linéaire

Dans ce paragraphe H désigne un espace préhilbertien réel ou complexe. L'ensemble des endomorphismes de H noté L(H) est un espace vectoriel.

Structures de l'ensemble des endomorphismes autoadjoints — L'ensemble des endomorphismes autoadjoints de H est un sous-espace vectoriel de L(H), image du projecteur p qui à un endomorphisme a associe 1/2 (a + a^*). Par définition, un élément du noyau du projecteur p est qualifié d'antisymétrique. Un endomorphisme est antisymétrique si et seulement si son adjoint est égal à son opposé. Les endomorphismes autoadjoints et antisymétriques forment deux sous-espaces vectoriels supplémentaires de H. Si H est de dimension finie n, alors la dimension de l'espace des autoadjoints est n(n + 1)/ 2 et celle des antisymétriques n(n - 1)/2.

En effet, p est manifestement une application linéaire. L'application qui à un endomorphisme associe son adjoint est un endomorphisme involutif, ce qui montre que l'image par p d'une application est autoadjointe. L'image par p d'une application autoadjointe est elle-même, ce qui montre que pop est égal à p et donc que p est un projecteur. Enfin, un calcul direct montre que le noyau de p est égal à l'ensemble des applications antisymétriques. Ces propriétés permettent de déduire que l'ensemble des endomorphismes autoadjoints et bien un sous-espace vectoriel de supplémentaire les antisymétriques. Enfin, une écriture matricielle d'un endomorphisme autoadjoint permet de calculer la dimension.

[modifier] Autoadjoint et structure bilinéaire

Il existe une relation forte entre les applications linéaires et les formes bilinéaires, dans le cas d'un espace préhilbertien. Elle est plus subtile si H n'est pas complet, car le dual de H n'est pas isomorphe à H. Pour cette raison, H est ici supposé complet, dans ce paragraphe il correspond à un Hilbert. L(H) désigne ici l'ensemble des endomorphismes continus. Dans le cas de la dimension finie tout espace vectoriel muni d'un produit scalaire est un Hilbert et tout endomorphisme est continu.

Il existe un isomorphisme Φ entre L(H) et l'ensemble des formes bilinéaires continues. Cet isomorphisme associe à l'application a la forme Φ_a définie par :

$\forall x, y \in H \quad \phi_a (x,y) = (a.x \, |\, y)$

Cet isomorphisme engendre naturellement une application linéaire surjective Ψ de L(H) dans l'ensemble des formes quadratiques continues qui, à l'application a, associe Ψ_a définie par :

$\forall x, y \in H \quad \psi_a (x) = (a.x \, |\, x)$

Autoadjoint et forme quadratique — La restriction Φ à l'ensemble des endomorphismes autoadjoints de H est un isomorphisme sur l'ensemble des formes bilinéaires symétriques (hermitiennes dans le cas complexe) continues. La restriction de Ψ à l'ensemble des autoadjoints est un isomorphisme, le noyau de Ψ est l'ensemble des endomorphismes antisymétriques.

Cette isomorphisme permet d'ajouter deux définitions :

Endomorphisme positif et défini positif — Un endomorphisme autoadjoint a est dit positif (resp. défini positif) si et seulement si Φ_a l'est.

Par exemple aoa^* est autoadjoint positif et défini positif si et seulement si a est un automorphisme.

[modifier] Dimension finie

Ici, H désigne un Hilbert de dimension finie n. La structure d'un endomorphisme autoadjoint est simple dans ce cas là :

Réduction d'un endomorphisme autoadjoint — Soit a un endomorphisme autoadjoint de H. Il existe une base orthonormale de vecteurs propres et les valeurs propres associées sont toutes réelles.

En effet, si λ est une valeur propre et v un vecteur propre associé :

$(a.v \, | \, v) \;=\; (v \, | \, a^*.v) \; = \; \lambda (v \, | \, v) \; =\; \bar {\lambda} (v \, | \, v) \quad et \quad \lambda \; =\; \bar {\lambda}$

Les valeurs propres sont toutes réelles. L'existence d'une base orthonormale est le propre de tout endomorphisme normal, un autoadjoint correspond donc à un cas particulier de cette démonstration (donnée dans l'article associé).

Dans le cas réel, il est toujours possible de complexifier H en considérant l'espace vectoriel des formes bilinéaires de CxH (ici C désigne l'ensemble des nombres complexes, cet espace est appelé le produit tensoriel de C et de H). Cet espace vectoriel contient une base orthonormale de vecteurs propres de H et de valeurs propres toutes réelles, ce qui démontre la proposition.

Ce théorème possède une réciproque :

Réciproque — Soit a un endomorphisme admettant une base orthonormale de vecteurs propres et de valeurs propres toutes réelles, alors il est autoadjoint.

Pour s'en convaincre il suffit de développer deux vecteurs v₁ et v₂ dans une base B (b_i) orthonormale de vecteurs propres de valeurs propres (λ_i). Ici K désigne le corps de H, c'est-à-dire l'ensemble des réels ou des complexes :

$\exists \, \alpha_{1i}, \alpha_{2j} \in \mathbb K^{2n} \; / \; v_1 = \sum_{i=1}^n \alpha_{1i}b_i \; et \; v_2 = \sum_{j=1}^n \alpha_{2j}b_j \quad alors \quad (a.v_1 \, | \, v_2) \, = \, \sum_{i=1}^n \lambda_i\alpha_{1i}\alpha_{2i} \, =\, (v_1 \, | \, a.v_2)$

En conséquence une projection est autoadjointe si et seulement si elle est projection orthogonale et il en est de même pour une symétrie.

Ce résultat s'exprime naturellement en terme de forme quadratique. Il prend le nom de théorème spectral, qui possède des versions plus générales en dimension infinie :

Théorème spectral en dimension finie — Soit E un espace vectoriel de dimension finie sur le corps des réels (resp. des complexes) et Φ, Ψ deux formes bilinéaires symétriques (resp. sesquilinéaire) de E tel que Φ soit définie positive. Alors il existe une base B de E orthonormale pour Φ et orthogonale pour Ψ. Dans cette base, les coefficients de la matrice associée à Ψ sont tous réels.

Tout théorème sur les endomorphismes possède son équivalent sur les matrices :

Formalisme fondé une matrice — Soit A une matrice symétrique (resp. hermitienne), alors il existe une matrice P orthogonale (resp. unitaire) et une matrice D diagonale dont tous les coefficients sont réels, telles que la matrice A est égale à P.D.P^-1 .

[modifier] Triple norme et endomorphisme autoadjoint

Valeur de la triple norme. — Soit E un espace euclidien.

Soit u un endormorphisme de E autoadjoint.

On a : $|||u|||=\rho (u)=\underset{\lambda \in Sp\; u}{Max} |\lambda|$

Démonstration : Soit $\mathcal{B}=(e_1,...,e_n)$ une base orthonormée diagonalisant u (d'après le théorème spectral), et $λ 1 < ... < λ n$ ses valeurs propres.