Opérateur adjoint

Cette définition couvre dans la pratique deux cadres théoriques un peu différents. Celui de la dimension finie et celui où aucune hypothèse n'est faite sur la dimension. Il correspond aussi à un premier cas d'analyse fonctionnelle, le plus simple. En général l'espace vectoriel choisi est un espace de Hilbert, c'est-à-dire un espace préhilbertien complet. Comme il est relativement facile de compléter un espace préhilbertien et que les théorèmes dont on dispose sont beaucoup plus nombreux, ce cadre est largement utilisé. Une unique définition permet de couvrir ces deux cas :

Soit H un espace préhilbertien sur un corps K égal à celui ℝ des réels ou ℂ des complexes. Le produit scalaire est noté (⋅|⋅) dans cet article. Soient a et a* deux opérateurs sur H, c'est-à-dire deux applications linéaires de H dans lui-même.

Définition[1] — L'opérateur ${\displaystyle a^{*}}$ est dit adjoint de ${\displaystyle a}$ si :

${\displaystyle \forall x,y\in H\quad (a(x)|y)=(x|a^{*}(y)).}$

Comme la suite de l'article le montre l'application *, qui à un endomorphisme associe son adjoint, est une application semi-linéaire de l'espace des endomorphismes. Cet espace dispose, avec la composition des endomorphismes, d'une structure d'algèbre. Une application *, disposant des mêmes caractéristiques que l'application adjointe et définie sur une algèbre est le cadre d'une structure appelée C*-algèbre. L'image d'un élément a par l'application * est appelé adjoint de a[2].

En analyse fonctionnelle, tous les espaces ne disposent pas d'un produit scalaire. L'approche par les adjoints reste néanmoins fructueuse. L'opérateur a dispose de propriétés plus pauvres que celles du paragraphe précédent.

Dans le cas général, il n'est plus borné, c'est-à-dire qu'il n'existe pas nécessairement de majorant de la norme de l'image d'un vecteur de la boule unité. Ainsi la dérivée d'une fonction de la variable réelle dans l'ensemble réel à support compact, infiniment différentiable et majorée en valeur absolue par un n'est pas majorée par une constante indépendante de la fonction. Cet espace muni de la norme de la convergence uniforme est important pour la définition des distributions. La dérivée est un opérateur linéaire non borné qui joue un grand rôle en analyse fonctionnelle.

Un opérateur a n'est pas nécessairement défini sur tout le Banach. Ainsi l'opérateur de dérivation n'est pas défini sur toute fonction de ]–1/2, 1/2[ dans ℝ et intégrable en valeur absolue. Pour la même raison que celle du paragraphe précédent, il est néanmoins utile de considérer cet opérateur.

Dans ce paragraphe, E et F désigne deux Banach, a un opérateur non borné de E dans F, E* et F* désignent les duaux topologiques de E et F. Dans la suite de l'article le terme dual signifie dual topologique. Il est en effet plus utilisé que le dual algébrique dans ce contexte. Le terme D(a) désigne le domaine de a, c'est-à-dire le sous-espace vectoriel sur lequel a est défini. Il est supposé dense dans E. La notation 〈⋅, ⋅〉_E (resp. 〈⋅, ⋅〉_F) désigne le crochet de dualité, il correspond à l'application bilinéaire de E*×E (resp. F*×F) qui à un couple formé d'une forme linéaire et d'un vecteur de E (resp. F) associe un scalaire.

Définition — Le domaine noté D(a*) de l'opérateur adjoint de a est le sous-ensemble de F* suivant :

${\displaystyle {\mathcal {D}}(a^{*})=\{y^{*}\in F^{*},\;\exists c\geq 0,\;\forall x\in {\mathcal {D}}(a)\quad |\langle y^{*},a(x)\rangle _{F}|\leq c\|x\|\}}$

Cette définition permet la suivante :

Définition[3] — L'opérateur adjoint a* de a est l'opérateur de D(a*) dans E* vérifiant l'égalité :

${\displaystyle \forall x\in {\mathcal {D}}(a),\;\forall y^{*}\in {\mathcal {D}}(a^{*})\quad \langle y^{*},a(x)\rangle _{F}=\langle a^{*}(y^{*}),x\rangle _{E}}$

Il est fréquent que E et F soient confondus ; l'adjoint est alors un opérateur de E*.

• Tout opérateur borné a sur H admet un (unique) adjoint.
  En effet, soit y un vecteur de H, l'application qui à un vecteur x associe (a(x)|y) est une forme linéaire continue. Le théorème de représentation de Riesz garantit alors l'existence d'un (unique) vecteur z tel que cette forme linéaire continue coïncide avec l'application qui à x associe (x|z). L'application a* qui à y associe z est alors l'adjoint de a.
• Réciproquement, si deux applications quelconques ${\displaystyle a,a^{*}:H\to H}$ vérifient${\displaystyle \forall x,y\in H\quad (a(x)|y)=(x|a^{*}(y))}$alors a, a* sont toutes deux linéaires et continues[4] - [5].

Exemple

Pour tous vecteurs ${\displaystyle x,y\in H}$, l'adjoint de l'opérateur ${\displaystyle x\otimes y:z\mapsto \langle z,y\rangle x}$ est l'opérateur ${\displaystyle y\otimes x}$.

À beaucoup d'égards l'adjoint est une image miroir de l'opérateur.

• L'adjoint de l'opérateur a est linéaire.

Ce résultat (qui ne fait pas intervenir la linéarité de a) a été démontré plus haut.

En dimension finie, la matrice de l'adjoint de a est l'adjointe de la matrice de a. En effet, soit A la matrice de a dans une base orthonormée de H et X (resp. Y) la matrice d'un vecteur x (resp. y) de H.

${\displaystyle (x|a^{*}(y))=(a(x)|y)={}^{t}\!(AX){\overline {Y}}=^{t}\!X(^{t}A{\overline {Y}})=^{t}\!X{\overline {^{t}{\overline {A}}Y}}.}$

• Si l'opérateur a est borné, alors l'adjoint l'est aussi et sa norme d'opérateur est égale à celle de a.

Le terme borné signifie ici que l'image de la boule unité est bornée. Un opérateur est borné si et seulement s'il est continu.

La continuité de l'adjoint a été démontrée plus haut sans supposer que a était borné, à l'aide du puissant théorème du graphe fermé. Sous l'hypothèse que a est borné, la preuve est plus élémentaire : il suffit de remarquer que la norme de a ainsi que celle de l'adjoint est celle de la forme bilinéaire ou sesquilinéaire qui à x et y associe (a(x) | y) = (x | a*(y)).

• La norme de la composée de a et de son adjoint est égale au carré de celle de a :

${\displaystyle \|a\circ a^{*}\|=\|a\|^{2}.}$

En tant qu'endomorphisme involutif d'espace vectoriel réel, c'est donc une symétrie, c'est-à-dire qu'elle est diagonalisable de valeurs propres 1 et –1 (plus de détails sont donnés dans le § « Symétrie » de l'article sur la diagonalisation).

Un opérateur égal (resp. opposé) à son adjoint est dit hermitien ou autoadjoint (resp. antihermitien ou antiautoadjoint). Un tel opérateur est normal, c'est-à-dire qu'il commute avec son adjoint. Une autre famille d'opérateurs normaux est celle des automorphismes orthogonaux.

Les endomorphismes normaux d'un espace hermitien et les endomorphismes autoadjoints d'un espace euclidien sont diagonalisables.

Les propriétés d'orthogonalité associées aux formes bilinéaires sont présentes dans ce contexte :

• Le noyau de a* est l'orthogonal de l'image de a :${\displaystyle {\text{Ker}}\,a^{*}=({\text{Im}}\,a)^{\bot }.}$En effet, ${\displaystyle \forall x\in H,\;x\in {\text{Ker}}\,a^{*}\Leftrightarrow \forall y\in H\quad (a^{*}(x)|y)=0\Leftrightarrow \forall y\in H\quad (x|a(y))=0\Leftrightarrow x\in ({\text{Im}}\,a)^{\bot }.}$Un corollaire immédiat — démontrable aussi matriciellement — est qu'en dimension finie a et a* ont même rang car tout sous-espace vectoriel est alors fermé donc son orthogonal est un supplémentaire.

En prenant l'orthogonal des deux membres on en déduit :

• L'orthogonal du noyau de a* est l'adhérence de l'image de a :${\displaystyle ({\text{Ker}}\,a^{*})^{\bot }={\overline {{\text{Im}}\,a}}.}$L'adhérence d'un ensemble E, notée E, est le plus petit fermé qui le contient. Par exemple si a* est injective, alors a possède une image dense dans H, ce qui, en dimension infinie, ne signifie pas que a est surjective.
• Soit E un sous-espace stable par a, l'orthogonal de E est stable par a*.
  En effet, soit y un élément de l'orthogonal de E, son image par a* est orthogonale à E car${\displaystyle \forall x\in E\quad (x|a^{*}(y))=(a(x)|y)=0.}$En dimension infinie, si E n'est pas fermé, la réciproque est fausse (par exemple si E est un hyperplan non fermé, son orthogonal est toujours stable par a* — puisqu'il est réduit au vecteur nul — alors que E n'est pas stable par a en général).

Le spectre d'un opérateur a est l'ensemble des scalaires λ tel que l'application a – λId ne soit pas bijective (Id désignant l'application identité). En dimension finie le spectre est l'ensemble des valeurs propres. En dimension infinie il peut être plus large (voir les articles Spectre d'un opérateur linéaire et Valeur spectrale).

• Le spectre de l'opérateur a* est le conjugué de celui de a.

Les propriétés du spectre se précisent si H est de dimension finie :

• Si H est de dimension finie, le déterminant (resp. le polynôme caractéristique) de a* est le conjugué de celui de a.

• Si H est de dimension finie, le polynôme minimal de a* est le conjugué de celui de a.

En conséquence, si λ est valeur propre de multiplicité m de l'opérateur a (c'est-à-dire racine d'ordre m de son polynôme caractéristique) alors le conjugué de λ est valeur propre de multiplicité m de l'opérateur a*, et de même, si λ est racine d'ordre m du polynôme minimal de a (ce qui équivaut à dire que m est le plus petit entier tel que le noyau de (a – λId)^m soit égal au noyau de (a – λId)^m+1), alors le conjugué de λ est racine d'ordre m du polynôme minimal de a*.

Comme précédemment, tout opérateur a admet un unique adjoint. Plus précisément :

Pour tout opérateur non borné a de D(a) dans F il existe un unique adjoint, et l'adjoint est linéaire.

Démonstration

Remarquons dans un premier temps que D(a*) est un espace vectoriel. Soit y₁* (resp. y₂*) un vecteur de D(a*), λ un élément de K et c₁ (resp. c₂) une constante vérifiant la propriété suivante :

${\displaystyle \forall x\in {\mathcal {D}}(a)\quad |\langle y_{1}^{*},a(x)\rangle |\leq c_{1}\|x\|\quad {\text{et}}\quad |\langle y_{2}^{*},a(x)\rangle |\leq c_{2}\|x\|}$

La majoration suivante montre que y₁* + λy₂* est bien élément de D(a*).

${\displaystyle \forall x\in {\mathcal {D}}(a)\quad |\langle y_{1}^{*}+\lambda .y_{2}^{*},a(x)\rangle |\leq |\langle y_{1}^{*},a(x)\rangle |+\lambda .|\langle y_{2}^{*},a(x)\rangle |\leq (c_{1}+|\lambda |.c_{2}).\|x\|}$

Soit y* un élément de D(a*). Par défaut, a*(y*) est une forme linéaire continue sur D(a). L'ensemble d'arrivée K est complet la forme est continue donc Cauchy-continue et se prolonge par continuité de manière unique. Ainsi, l'application a*(y*) est bien un élément de E*.

La linéarité de a* provient directement de la bilinéarité de 〈⋅, ⋅〉.

La question se pose alors de savoir si D(a*) est dense dans le dual de F.

Si a est un opérateur fermé, alors pour la topologie faible du dual de F, D(a*) est dense dans le dual de F. Si de plus F est réflexif alors D(a*) est dense pour la topologie usuelle.

Le théorème du graphe fermé indique qu'un opérateur a est continu si et seulement si son graphe est fermé. Le graphe de a est le sous-espace vectoriel de ExF formé des points (x, a(x)) quand x parcourt D(a). Un opérateur ayant un graphe fermé est dit fermé, ce qui revient à dire borné ou continue. Pour une raison de style, il est plus fréquent de parler d'un opérateur non borné fermé que d'un opérateur non fermé borné, même si les significations sont identiques.

• Un opérateur non borné a à domaine dense possède un adjoint fermé.

Démonstration

Soient (v_n*) une suite de D(a*) convergente vers v* dans le dual de F et tel que la suite (a*(v_n*)) converge aussi, mais cette fois-ci vers u* dans le dual de E. L'objectif est de montrer que (v*, u*) est un élément du graphe de l'adjoint de a. L'égalité suivante est vérifiée :

${\displaystyle \forall x\in E,\;\forall n\in \mathbb {N} \quad \langle v_{n}^{*},a(x)\rangle =\langle a^{*}(v_{n}^{*}),x\rangle }$

Un passage à la limite montre que :

${\displaystyle \forall x\in E\quad \langle v^{*},a(x)\rangle =\langle u^{*},x\rangle \leq \|u^{*}\|.\|x\|}$

La dernière majoration montre que v* est un élément de D(a*) et la dernière égalité montre que u* est l'image de v* par a*. En conséquence le point (v*, u*) est un élément du graphe de a*, ce qui démontre la proposition.

Si a est fermé et possède un domaine dense, alors les propriétés d'orthogonalités correspondant à la situation hilbertienne restent vraies :

Le noyau de a est égal à l'orthogonal de l'image de a* et le noyau de a* est égal à l'orthogonal de l'image de a.

${\displaystyle {\text{Ker}}\,a=({\text{Im}}\,a^{*})^{\bot }\quad {\text{et}}\quad {\text{Ker}}\,a^{*}=({\text{Im}}\,a)^{\bot }}$.

La situation diffère légèrement pour l'orthogonal des noyaux.

L'orthogonal du noyau de a contient l'adhérence de l'image a* et l'orthogonal du noyau de a* est l'adhérence de l'image de a.

${\displaystyle ({\text{Ker}}\,a)^{\bot }\supset {\overline {{\text{Im}}\,a^{*}}}\quad {\text{et}}\quad ({\text{Ker}}\,a^{*})^{\bot }={\overline {{\text{Im}}\,a}}}$.

Démonstrations

• Le noyau de a est égal à l'orthogonal de l'image de a* et le noyau de a* est égal à l'orthogonal de l'image de a :

On remarque que, comme a est continue, le domaine de a* est le dual de F entier, donc :

${\displaystyle x\in {\text{Ker}}\,a\Leftrightarrow \forall y^{*}\in F^{*}\;\langle y^{*},a(x)\rangle =0\Leftrightarrow \forall y^{*}\in {\mathcal {D}}(a^{*})\;\langle a^{*}(y^{*}),x\rangle =0}$,

ce qui démontre la première égalité.

On remarque que, comme D(a) est dense dans E, un vecteur du dual de E est nul si et seulement s'il est orthogonal à D(a), donc :

${\displaystyle y^{*}\in {\text{Ker}}\,a^{*}\Leftrightarrow \forall x\in {\mathcal {D}}(a)\;\langle a^{*}(y^{*}),x\rangle =0\Leftrightarrow \forall x\in {\mathcal {D}}(a)\;\langle y^{*},a(x)\rangle =0}$,

ce qui démontre la deuxième égalité.

• L'orthogonal du noyau de a contient l'adhérence de l'image a* et l'orthogonal du noyau de a* est l'adhérence de l'image de a :

L'étude des formes bilinéaires continues montre que l'orthogonal d'un d'orthogonal d'un espace vectoriel contient l'adhérence de l'espace initiale. L'orthogonal de l'orthogonal de l'image de l'adjoint de a contient donc l'adhérence de l'image de l'adjoint de a. La proposition précédente permet de conclure pour l'inclusion suivante :

${\displaystyle ({\text{Ker}}\,a)^{\bot }\supset {\overline {{\text{Im}}\,a^{*}}}}$.

Si l'espace E est réflexif, alors l'orthogonal du noyau de a est égal à l'adhérence de l'image de a* ; dans le cas contraire, l'égalité n'est pas assurée.

Avec les hypothèses de fermeture et de densité du domaine de a :

Les quatre propriétés suivantes sont équivalentes :

• L'image de a est fermée.
• L'image de l'adjoint de a est fermée.
• L'image de a est l'orthogonal du noyau de l'adjoint.
• L'image de l'adjoint est l'orthogonal du noyau de a.

• Walter Rudin, Analyse réelle et complexe : Cours et exercices, Dunod, 3^e éd. 1998 (ISBN 978-210004004-9)
• Serge Lang, Algèbre [détail des éditions]
• Haïm Brezis, Analyse fonctionnelle : théorie et applications, 1999 [détail des éditions]
• (en) Joram Lindenstrauss et Lior Tzafriri, Classical Banach Spaces Vol I, Springer, 1996 (ISBN 978-354060628-4)
• (en) Gert Pedersen, C*-algebras and their automorphism groups, Academic Press, London, New-York, 1979 (ISBN 978-012549450-2)

Transformation d'Aluthge

• L'adjoint d'un endomorphisme et ses propriétés par les A. Morame de l'Université de Nantes 2006. Ce cours traite du cas réel en dimension finie.
• Adjoint d'un endomorphisme d'un espace hermitien sur le site les-mathematiques.net, par C. Antonini & al. Ce cours traite du cas complexe essentiellement en dimension finie.
• Adjoint d'un endomorphisme Site de la société Cabrilog soutenu par le CNRS et l'Université Joseph Fourier de Grenoble. Il traite du cas euclidien de dimension deux.
• Analyse fonctionnelle et théorie spectrale B. Maurey Université de PARIS VII. Il correspond à un cours de maîtrise et traite du cas général sur les Banach.
• J.Ch. Gilbert, « Adjoint d’un opérateur »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, sur Inria. Ce texte ne traite que le cas des Banach.