Espaces de Hilbert et opérateurs linéaires

Algèbre & topologie, théorie des opérateurs linéaires & théorie spectrale. Notation de Dirac.

Leçon n°1 : Espaces de Hilbert Leçon n°2 : Espace dual, kets, bras, adjoint Leçon n°3 : Topologie des espaces de Hilbert Leçon n°4 : Théorie des opérateurs linéaires Leçon n°5 : Notations de Dirac en dimension infinie Leçon n°6 : Opérateurs bornés Leçon n°7 : Opérateurs non bornés Leçon n°8 : Théorie spectrale

Fiches de révisionFiche n°1 : Formulaire Dirac Fiche n°2 : Atlas des opérateurs linéaires

Notations de Dirac en dimension infinie

Représentation hilbertienne de la mécanique quantique du point, opérateurs position et impulsion, delta de Dirac.

Notations de Dirac Dimension infinie Représentation position Représentation impulsion Delta de Dirac Transformée de Fourier Résolution de l'identité Opérateur position Opérateur impulsion Commutation canonique

1. Les opérateurs linéaires : notions générales

Nous étudierons essentiellement les opérateurs linéaires, qui sont les plus importants mathématiquement car ils respectent la structure linéaire des EVN et/ou des Hilbert. Par ailleurs, la mécanique quantique ne fait appel, à très peu d'exceptions près, qu'à des opérateurs linéaires. Nous ne donnerons qu'un seul exemple d'opérateur non-linéaire utilisé en mécanique quantique.

Beaucoup de notions développées dans cette section ne nécessitent pas a priori la linéarité (par exemple, la continuité). Mais dans le cas linéaire, nous disposons de théorèmes puissants qui ne valent que dans ce cadre (par exemple, l'équivalence fondamentale entre continuité et bornitude pour les opérateurs linéaires). Par défaut donc on les supposera linéaires.

1.1. Définition et domaine

En dimension finie, on définit usuellement les applications sur tout l'espace vectoriel de départ. En dimension infinie, ceci n'est pas toujours possible. Un opérateur est défini par son action, et cette action peut ne pas avoir de sens sur tout l'espace. On est donc amené à définir :

Definition 1 (Domaine de définition)

Pour deux EVN

E

F

, un opérateur

T : \Dom(T) \subset E \to F

est défini sur son domaine

\Dom(T)

, qui peut être un sous-ensemble strict de

E

. Si le domaine n'est pas précisé, il est implicitement égal à tout l'espace de départ :

\Dom(T) = E

On définit alors un opérateur linéaire de la façon suivante :

Definition 2 (Opérateur linéaire)

Un opérateur linéaire est une application

T : \Dom(T) \to F

, où

\Dom(T) \subseteq E

qui satisfait la linéarité :

T(\alpha x + \beta y) = \alpha T(x) + \beta T(y), \quad \forall \alpha, \beta \in \mathbb{C}, \, \forall x, y \in \Dom(T).

L'opérateur étant linéaire, le domaine est nécessairement soit

E

tout entier, soit un sous-espace vectoriel strict de

E

. On requiert usuellement que le domaine soit au moins dense dans

E

, c'est-à-dire que

\overline{\Dom(T)} = E

La raison pour laquelle on requiert la densité est que cela est nécessaire pour définir l'adjoint de l'opérateur de façon unique (cf. Section [op_adjoint]). Bien sûr, rien n'interdit en soi de définir un opérateur seulement sur une sous-partie miniscule de $E$ , comme par-exemple un sur sev de dimension finie alors que $E$ est de dimension infinie; mais en pratique ce n'est pas très utile, et on ne les considérera pas. Dans toute la suite de ce chapitre, nous ne considérons que des opérateurs linéaires au moins densément définis.

Un exemple d'opérateur densément défini est l'opérateur de dérivation dans $E = L^2(\mathbb{R})$ ou plus généralement dans $E = L^2(I)$ où $I$ est une sous-partie de $\R$ , par exemple $[a,b]$ ou encore $\R^+$ , etc. C'est un opérateur manifestement linéaire. Il est fondamental, et on le recroisera souvent.

Cet opérateur ne peut pas être défini sur $E$ tout entier. En effet, il est défini par $\Dom(D) \subset L^2(\mathbb{R}) \to L^2(\mathbb{R})$ et son action est $(D\psi)(x) = \psi'(x)$ . Il ne peut donc agir que sur des fonctions dérivables dont la dérivée reste dans $L^2(\mathbb{R})$ . Son domaine maximal est donc :

\Dom(D) = H^1(\mathbb{R}) = \left\{ \psi \in L^2(\mathbb{R}) : \psi \text{ dérivable et } \int_\mathbb{R} |\psi'(x)|^2 \, dx < \infty \right\} \subsetneq L^2(\mathbb{R}),

aussi appelé l'espace de Sobolev d'ordre 1. On admettra ici que l'espace de Sobolev est dense dans $L^2(\R)$ .

Un exemple d'opérateur non linéaire est le suivant. L'opérateur de normalisation $\mathcal{N} : E \setminus \{0\} \to \overline{B}(0, 1)$ qui à tout vecteur de l'EVN $E$ associe son vecteur de norme 1 appartenant à la boule unité fermée, défini par

\mathcal{N}(x) = \frac{x}{\|x\|}

est non-linéaire : $\mathcal{N}(x + y) \neq \mathcal{N}(x) + \mathcal{N}(y)$ . Il est certes fréquemment utilisé en mécanique quantique, en particulier pour renormaliser un état après le mécanisme de réduction du paquet d'onde (i.e., le postulat de la mesure), mais il ne correspond pas à une observable physique de la théorie.

1.2. Addition et composition d'opérateurs

1.2.1. Addition d'opérateurs

On ne peut former les combinaisons linéaires de deux opérateurs $T$ et $S$ que sur un domaine commun. En effet, pour que $(\lambda T + \mu S)(x)$ ait un sens, il faut que $x$ appartienne à la fois à $\Dom(T)$ et à $\Dom(S)$ . Le domaine naturel de $\lambda T + \mu S$ est donc

\Dom(\lambda T + \mu S) = \Dom(T) \cap \Dom(S).

En conséquence, l'ensemble de tous les opérateurs linéaires de $E$ dans $F$ n'est pas un espace vectoriel, car l'addition n'y est pas toujours définie.

1.2.2. Composition d'opérateurs

On peut également définir la composition d'opérateurs. Si $S$ est un opérateur de $E$ dans $F$ et $T$ de $F$ dans $G$ , alors la composée $T \circ S$ (souvent notée simplement $TS$ , et vue comme une multiplication) est définie par

(T \circ S)(x) = T(S(x)),

pour le domaine

\Dom(TS) = \{x \in \Dom(S) : S(x) \in \Dom(T)\}.

On observe donc que $\Dom(TS) \subseteq \Dom(S)$ : la composition a tendance à rétrécir le domaine de définition.

Là encore, la question des domaines empêche de donner à l'ensemble des opérateurs linéaires une structure d'algèbre (pour l'addition et la composition). En revanche, et dans le cas $E=F$ , la composition permet de définir toutes les puissances $T^n$ d'un opérateur $T$ , et plus généralement tout polynôme en $T$ .

Exemple 1 (Puissances de l'opérateur de dérivation)

La composition de l'opérateur de dérivation

D

avec lui-même donne l'opérateur de dérivée seconde

D^2

, défini par

(D^2\psi)(x) = \psi"(x)

. Son domaine est l'espace de Sobolev d'ordre 2 :

\Dom(D^2) = H^2(\mathbb{R}) = \left\{ \psi \in L^2(\mathbb{R}) : \psi" \in L^2(\mathbb{R}) \right\}.

On peut montrer, même si ça ne saute pas aux yeux, que ce domaine est strictement inclus dans l'espace de Sobolev d'ordre 1 :

\Dom(D^2) = H^2(\mathbb{R}) \subsetneq H^1(\mathbb{R}) = \Dom(D).

On retrouve que le domaine se rétrécit à chaque composition.

En conclusion, sans restrictions supplémentaires (par exemple de domaine communs), l'espace de tous les opérateurs linéaires « n'a pas une bonne structure algébrique ». Pour obtenir des structures exploitables (espaces vectoriels, algèbres), il faut se restreindre à des classes d'opérateurs avec des propriétés communes, notamment :

Opérateurs définis sur tout $E$ (domaine plein),
Opérateurs bornés (continus),
Opérateurs partageant un même domaine dense fixé.

Nous y reviendrons dans les sections suivantes.

1.3. Continuité des opérateurs

1.3.1. Notion de limite

Avant de définir la continuité, rappelons brièvement la notion de limite dans les espaces normés.

Definition 3 (Limite)

Soit

T : \Dom(T) \subset E \to F

un opérateur. Soient

x_0 \in \overline{\Dom(T)}

(point adhérent au domaine) et

\ell \in F

. On dit que

T

admet pour limite

\ell

x_0

\forall \varepsilon > 0, \, \exists \delta > 0 \text{ tel que } \forall x \in \Dom(T) : \|x - x_0\|_E < \delta \implies \|T(x) - \ell\|_F < \varepsilon.

On note alors

\displaystyle\lim_{x \to x_0} T(x) = \ell

Si la limite existe, elle est unique.

Interprétation. Cette définition signifie : « on peut rendre $T(x)$ aussi proche que l'on veut de $\ell$ (à $\varepsilon$ près) en prenant $x$ suffisamment proche de $x_0$ (à $\delta$ près) ».

Proposition 1 (Caractérisation séquentielle)

Dans un espace normé, on a l'équivalence

\lim_{x \to x_0} T(x) = \ell \quad \Longleftrightarrow \quad \forall (x_n) \subset \Dom(T), \, x_n \to x_0 \implies T(x_n) \to \ell.

au sens de la convergence forte, c'est-à-dire

\| x_n - x_0 \| \to 0 \implies \|T(x_n) - \ell\| \to 0

Appliquée à $E = F = \mathbb{R}$ , on retrouve la définition usuelle d'une limite de fonction réelle. Dans $\mathbb{R}$ , on peut profiter de la structure d'ordre pour définir des limites à gauche ou à droite. Ici ce n'est pas possible : l y a une infinité de chemins d'approche du point $x_0$ , et on exige simplement que la limite soit la même quel que soit le chemin d'approche suivi.

1.3.2. Continuité

La notion de limite est donc quasiment celle de la continuité. Pour que l'opérateur soit en plus continu en $x_0$ , on requiert que cette limite $\ell$ vaut $T(x_0)$ .

Definition 4 (Continuité ponctuelle)

Un opérateur

T : \Dom(T) \subset E \to F

est dit continu en

x_0 \in \Dom(T)

s'il admet une limite en

x_0

et si

\lim_{x \to x_0} T(x) = T(x_0).

Un opérateur $T$ est dit continu (ou continu sur son domaine) s'il est continu en tout point de $\Dom(T)$ .

Formulation $\varepsilon$ — $\delta$ . Puisqu'il s'agit d'une convergence forte (en norme), on peut la continuité en $x_0$ avec des quantificateurs :

\forall \varepsilon > 0, \, \exists \delta > 0 : \forall x \in \Dom(T), \, \|x - x_0\|_E < \delta \implies \|T(x) - T(x_0)\|_F < \varepsilon.

1.4. Continuité des opérateurs linéaires

La linéarité simplifie considérablement la question de la continuité. L'idée intuitive est de profiter du fait que $T(x + a) = T(x) + T(a)$ nous permet de ramener par translation le problème en tout point $x_0$ du domaine en zéro. Nous avons alors le fait remarquable suivant :

Proposition 2 (Continuité globale pour les opérateurs linéaires)

Pour un opérateur linéaire $T : \Dom(T) \subset E \to F$ , les assertions suivantes sont équivalentes :

$T$ est continu en un point $x_0 \in \Dom(T)$ .
$T$ est continu en $0$ .
$T$ est continu sur tout son domaine.

Remarque : par linéarité on a nécessairement $T(0) = 0$ .

Démonstration.

(1) \Rightarrow (2)

: Supposons

T

continu en

x_0

. On a donc

\|T(x_0 + h) - T(x_0)\| \to 0

lorsque

\|h\| \to 0

. Mais comme

\|T(x_0 + h) - T(x_0)\| = \|T(h)\|

par linéarité, on a aussi

\|T(h)\| \to 0

. Donc

T

est continu en

0

$(2) \Rightarrow (3)$ : Supposons $T$ continu en $0$ . Pour tout $x_0 \in \Dom(T)$ et tout $x \in \Dom(T)$ , par linéarité :

T(x) - T(x_0) = T(x - x_0).

Si $\|x - x_0\| \to 0$ , alors par continuité en $0$ , on a $\|T(x - x_0)\| \to 0$ , donc $\|T(x) - T(x_0)\| \to 0$ . Ainsi $T$ est continu en tout point $x_0$ .

$(3) \Rightarrow (1)$ : Trivial.

Conséquence fondamentale. Pour un opérateur linéaire, la continuité est une propriété globale : soit il est continu partout sur son domaine, soit il ne l'est nulle part.

C'est ici que l'on s'écarte fondamentalement de la notion intuitive de continuité sur $\mathbb{R}$ (l'absence de "sauts" ou d'asymptotes verticales). Dans un EVN, la continuité en zéro d'un opérateur linéaire se traduit par un contrôle de l'amplification. Selon la définition $\varepsilon-\delta$ :

\forall \varepsilon > 0, \, \exists \delta > 0 : \forall x \in \text{Dom}(T), \, \|x\|_E < \delta \implies \|T(x)\|_F < \varepsilon

Autrement dit, être continu en $0$ , c'est garantir que l'opérateur ne transforme pas des vecteurs arbitrairement petits en vecteurs de taille "macroscopique". Mais cela n'éclaire pas véritablement ce qu'il se passe.

L'idée devient limpide en en regardant la négation (la discontinuité) :

\exists \varepsilon > 0, \, \forall \delta > 0, \, \exists h_\delta \in \text{Dom}(T) : \|h_\delta\| \le \delta \text{ mais } \|T(h_\delta)\| \ge \varepsilon

Cela signifie qu'il existe un seuil $\varepsilon$ pour lequel on trouvera toujours des vecteurs aussi petits que l'on veut, mais dont l'image "résiste" et ne s'écrase pas en norme. Le problème de la discontinuité n'est pas qu'il existe une direction fixe $u$ pour laquelle l'action de l'opérateur explose. En l'occurrence, c'est impossible : pour n'importe quel vecteur fixé $u$ , $T(u)$ est par définition un vecteur de $F$ , sa norme $\|T(u)\|_F$ est donc nécessairement finie.

En revanche, la discontinuité signifie que l'on peut trouver une suite de directions $(e_n)$ de norme $1$ , dont les images s'échappent à l'infini. Il suffit pour cela de choisir une suite de rayons $\delta_n = 1/n$ tendant vers zéro. La discontinuité nous garantit l'existence de vecteurs $h_n$ (avec $\|h_n\| \le 1/n$ ) tels que $\|T(h_n)\| \ge \varepsilon$ . En posant alors la suite de vecteurs unitaires $e_n = \frac{h_n}{\|h_n\|}$ , on obtient par linéarité :

\|T(e_n)\| = \frac{\|T(h_n)\|}{\|h_n\|} \ge \frac{\varepsilon}{1/n} = n\varepsilon \xrightarrow[n \to \infty]{} \infty

On a ainsi construit une suite de vecteurs unitaires (de directions changeantes) pour laquelle l'amplification de l'opérateur $T$ est non bornée.

Dès lors, deux conclusions s'imposent : d'une part, une telle non continuité ne peut se produire qu'en dimension infinie, et d'autre part, il émerge un lien entre la continuité et le caractère borné de l'opérateur, lien que l'on détaille dans la section suivante.

Exemple 2 (L'opérateur de dérivation est discontinu)

Considérons l'opérateur de dérivation

D : f \mapsto f'

défini sur un domaine dense de l'espace de Hilbert

L^2([0,1])

muni de son produit scalaire usuel. Cet espace admet pour base hilbertienne les fonctions de Fourier. Considérons la suite de fonctions :

e_n(x) = \sqrt{2}\sin(n \pi x)

On peut vérifier que chaque direction est de norme unité (

\|e_n\| = 1

). L'image par l'opérateur est

D(e_n)(x) = n \pi \sqrt{2} \cos(n \pi x)

, dont la norme vaut :

\|D(e_n)\| = n \pi

comme on pourra le vérifier. Nous avons donc ici une suite de directions dont l'image explose vers l'infini (

n\pi \to \infty

) à mesure que la fréquence augmente. Sur cet exemple on voit clairement que :

l'opérateur n'explose pas sur une direction fixe (pour un $n$ donné, $n\pi$ est fini).
mais en "explorant" les hautes fréquences : là, l'opérateur $D$ amplifie le signal de manière illimitée.

$D$ est donc l'exemple type de l'opérateur linéaire non borné, et partout discontinu.

1.5. Opérateurs linéaires bornés

Nous allons maintenant établir de façon plus précise le lien fondamental entre continuité et bornitude pour les opérateurs linéaires.

1.5.1. Notion d'opérateur borné

Definition 5 (Opérateur borné — cas général)

Un opérateur

T : E \to F

(pas nécessairement linéaire) est dit borné s'il envoie les ensembles bornés de

E

sur des ensembles bornés de

F

. Autrement dit :

\forall A \subset E, \, \sup_{x \in A} \|x\|_E < +\infty \implies \sup_{x \in A} \|T(x)\|_F < +\infty.

Cette définition est équivalente à la propriété de contrôle local suivante :

\forall R > 0, \, \exists M > 0 \text{ tel que } \forall x \in E : \|x\|_E \leq R \implies \|T(x)\|_F \leq M.

Pour un opérateur général (non linéaire), la bornitude n'implique pas la continuité, et réciproquement.

1.5.2. Cas des opérateurs linéaires

Pour les opérateurs linéaires, la situation se simplifie drastiquement.

Proposition 3 (Caractérisation de la bornitude pour les opérateurs linéaires)

Soit $T : E \to F$ un opérateur linéaire défini sur tout $E$ . Alors $T$ est borné si et seulement s'il existe une constante $C > 0$ telle que

\|T(x)\|_F \leq C \|x\|_E \quad \forall x \in E.

Démonstration.

(\Rightarrow)

Supposons

T

borné. La boule unité fermée

B_E = \{x \in E : \|x\|_E \leq 1\}

est bornée dans

E

. Par hypothèse,

T(B_E)

est borné dans

F

, donc il existe

M > 0

tel que

\|T(x)\|_F \leq M \quad \forall x \in B_E.

Soit maintenant $x \in E$ quelconque avec $x \neq 0$ . On écrit

x = \|x\|_E \cdot \frac{x}{\|x\|_E}.

Puisque $\left\|\frac{x}{\|x\|_E}\right\|_E = 1$ , on a $\frac{x}{\|x\|_E} \in B_E$ , donc

\left\|T\left(\frac{x}{\|x\|_E}\right)\right\|_F \leq M.

Par linéarité :

\|T(x)\|_F = \|x\|_E \cdot \left\|T\left(\frac{x}{\|x\|_E}\right)\right\|_F \leq M \|x\|_E.

Le cas $x = 0$ est immédiat. On peut donc prendre $C = M$ .

$(\Leftarrow)$ Réciproquement, si $\|T(x)\| \leq C\|x\|$ pour tout $x \in E$ , alors pour tout ensemble borné $A$ (avec $\sup_{x \in A} \|x\| \leq R$ ), on a

\sup_{x \in A} \|T(x)\| \leq C \sup_{x \in A} \|x\| \leq CR < +\infty.

Donc $T$ est borné.

1.5.3. Équivalence fondamentale : continuité = bornitude

Nous pouvons maintenant établir le théorème central de cette section.

Théorème 1 (Équivalence continuité—bornitude)

Soit $T : E \to F$ un opérateur linéaire défini sur tout $E$ . Les assertions suivantes sont équivalentes :

$T$ est continu (sur tout $E$ ).
$T$ est continu en $0$ .
$T$ est continu en un point $x_0 \in E$ .
$T$ est borné, c'est-à-dire qu'il existe $C > 0$ tel que $\|T(x)\|_F \leq C \|x\|_E \quad \forall x \in E.$
$T$ est borné sur la boule unité : $\displaystyle\sup_{\|x\|_E \leq 1} \|T(x)\|_F < +\infty$ .

Démonstration.

L'équivalence

(1) \Leftrightarrow (2) \Leftrightarrow (3)

découle de la Proposition 2.

L'équivalence $(4) \Leftrightarrow (5)$ découle de la Proposition 3.

Il reste à montrer $(2) \Leftrightarrow (4)$ .

$(2) \Rightarrow (4)$ : Supposons $T$ continu en $0$ . Alors pour $\varepsilon = 1$ , il existe $\delta > 0$ tel que

\|x\|_E < \delta \implies \|T(x)\|_F < 1.

Pour tout $x \neq 0$ , posons $y = \frac{\delta}{2\|x\|_E} x$ . Alors $\|y\|_E = \frac{\delta}{2} < \delta$ , donc $\|T(y)\|_F < 1$ .

Par linéarité :

T(x) = \frac{2\|x\|_E}{\delta} T(y),

d'où

\|T(x)\|_F = \frac{2\|x\|_E}{\delta} \|T(y)\|_F < \frac{2\|x\|_E}{\delta}.

Ainsi $T$ est borné avec $C = 2/\delta$ .

$(4) \Rightarrow (2)$ : Si $\|T(x)\| \leq C\|x\|$ pour tout $x \in E$ , alors pour tout $\varepsilon > 0$ , en prenant $\delta = \varepsilon/C$ :

\|x\|_E < \delta \implies \|T(x)\|_F \leq C\|x\|_E < C\delta = \varepsilon.

Donc $T$ est continu en $0$ .

Conséquence majeure. Pour un opérateur linéaire défini sur tout l'espace, continuité et bornitude sont équivalentes. C'est une propriété spécifique au cas linéaire qui n'a pas d'analogue général.

1.5.4. Norme d'opérateur

Definition 6 (Opérateur borné ; norme d'opérateur)

Un opérateur linéaire

T : E \to F

vérifiant les conditions équivalentes du Théorème 1 est appelé opérateur borné (ou opérateur continu). On définit alors sa norme d'opérateur par

\|T\| = \sup_{\|x\|_E \leq 1} \|T(x)\|_F = \sup_{x \neq 0} \frac{\|T(x)\|_F}{\|x\|_E} = \inf\{C > 0 : \|T(x)\| \leq C\|x\| \, \forall x \in E\}.

Interprétation. La norme $\|T\|$ mesure le facteur d'amplification maximal de $T$ sur les vecteurs unitaires. C'est la plus petite constante $C$ telle que $\|T(x)\| \leq C\|x\|$ pour tout $x \in E$ .

Remarque 1 (Propriétés de la norme d'opérateur)

La norme d'opérateur satisfait :

$\|T(x)\| \leq \|T\| \cdot \|x\|$ pour tout $x \in E$ (inégalité de submultiplicité),
$\|T + S\| \leq \|T\| + \|S\|$ (inégalité triangulaire),
$\|\lambda T\| = |\lambda| \cdot \|T\|$ (homogénéité),
$\|T \circ S\| \leq \|T\| \cdot \|S\|$ (submultiplicité de la composition).

1.5.5. Espace des opérateurs bornés

Definition 7 (Espace $\mathcal{L}(E,F)$ )

On note

\mathcal{L}(E,F)

l'ensemble des opérateurs linéaires bornés (continus) de

E

dans

F

\mathcal{L}(E,F) = \{ T : E \to F \mid T \text{ linéaire et continu} \}.

Muni de la norme d'opérateur,

\mathcal{L}(E,F)

est un espace normé. Si

F

est complet (espace de Banach), alors

\mathcal{L}(E,F)

est également complet, donc c'est un espace de Banach.

On note $\mathcal{L}(E) = \mathcal{L}(E, E)$ l'algèbre des opérateurs bornés sur $E$ .

Remarque 2 (Structure algébrique)

Contrairement à l'ensemble de tous les opérateurs linéaires (qui n'a pas de bonne structure à cause des problèmes de domaines), l'espace

\mathcal{L}(E,F)

a une structure riche :

C'est un espace vectoriel normé.
Si $E = F$ , $\mathcal{L}(E)$ est une algèbre de Banach (pour la composition).
Les opérateurs bornés peuvent être ajoutés, multipliés par des scalaires, et composés sans restriction de domaine.

\begin{attention}[Hypothèse cruciale] L'équivalence continuité—bornitude requiert que l'opérateur soit défini sur tout l'espace $E$ . Si $\Dom(T) \subsetneq E$ , un opérateur linéaire peut être borné sur son domaine sans être continu (voir l'exemple de l'opérateur de dérivation ci-dessous). \end{attention}

Exemple 3 (Opérateur non borné)

L'opérateur de dérivation

D : H^1(\mathbb{R}) \subset L^2(\mathbb{R}) \to L^2(\mathbb{R})

défini par

(D\psi) = \psi'

n'est pas borné. En effet, considérons la suite de fonctions

\psi_n(x) = \frac{1}{\sqrt{n}} e^{-x^2/2} \sin(nx).

On a

\|\psi_n\|_{L^2} = O(1)

mais

\psi_n'(x) = \frac{1}{\sqrt{n}} e^{-x^2/2} \bigl(n\cos(nx) - x\sin(nx)\bigr),

d'où

\|\psi_n'\|_{L^2} \sim \sqrt{n} \to \infty

. Donc

\frac{\|D\psi_n\|}{\|\psi_n\|} \to \infty.

L'opérateur

D

n'est donc pas borné (et donc pas continu au sens fort).

1.6. L'opérateur adjoint

La définition de l'adjoint en dimension infinie est plus délicate qu'en dimension finie car elle fait intervenir à la fois l'action de l'opérateur et son domaine. Rappelons que pour construire l'adjoint, on utilise le théorème de représentation de Riesz sur les formes linéaires continues.

Definition 8 (Opérateur adjoint)

Soit

T : \Dom(T) \subseteq E \to F

un opérateur linéaire dont le domaine

\Dom(T)

est dense dans

E

. On définit son adjoint

T^* : \Dom(T^*) \subseteq F \to E

de la manière suivante :

Le domaine $\Dom(T^*)$ est l'ensemble des vecteurs $\varphi \in F$ tels que l'application $\psi \mapsto \langle \varphi, T\psi \rangle_F$ est une forme linéaire continue sur $\Dom(T)$ (muni de la norme induite de $E$ ).
Pour un tel $\varphi \in \Dom(T^*)$ , le théorème de représentation de Riesz (étendu à $\Dom(T)$ dense) garantit l'existence d'un unique vecteur $\eta \in E$ tel que $\langle \varphi, T\psi \rangle_F = \langle \eta, \psi \rangle_E \quad \forall \psi \in \Dom(T).$ On pose alors $T^*\varphi = \eta$ .

1.6.1. Pourquoi requiert-on un domaine dense ?

La densité de $\Dom(T)$ est la condition nécessaire et suffisante pour que l'adjoint $T^*$ soit bien défini (c'est-à-dire unique).

Démonstration (Explication).

Supposons que

\Dom(T)

ne soit pas dense. Alors son adhérence

\overline{\Dom(T)}

est un sous-espace strict de

E

, et son orthogonal

\Dom(T)^\perp

contient au moins un vecteur non nul

v \neq 0

Si l'on a trouvé un candidat $\eta$ pour être l'image de $\varphi$ par l'adjoint (c'est-à-dire $T^*\varphi = \eta$ ), alors le vecteur $\eta + v$ est également un candidat valide, car pour tout $\psi \in \Dom(T)$ :

\langle \eta + v, \psi \rangle_E = \langle \eta, \psi \rangle_E + \underbrace{\langle v, \psi \rangle_E}_{= 0 \text{ car } v \perp \Dom(T)} = \langle \eta, \psi \rangle_E = \langle \varphi, T\psi \rangle_F.

Ainsi, sans densité, l'adjoint n'est pas unique : on peut ajouter n'importe quel élément de $\Dom(T)^\perp$ sans changer la relation définissant l'adjoint. La densité assure que $\Dom(T)^\perp = \{0\}$ , rendant $\eta$ unique et l'opérateur $T^*$ bien défini.

Remarque 3 (Propriétés de base de l'adjoint)

Lorsque

T^*

est bien défini, on a les propriétés suivantes :

$(T^*)^* \supseteq T$ (l'adjoint de l'adjoint contient $T$ , avec égalité si $T$ est fermé).
$(\lambda T + \mu S)^* = \overline{\lambda} T^* + \overline{\mu} S^*$ (sur le domaine approprié).
$(TS)^* = S^*T^*$ (quand les compositions ont un sens).

Remarque 4 (En dimension finie)

En dimension finie, tous les opérateurs sont définis sur tout l'espace, et tous les sous-espaces sont fermés, donc automatiquement denses dans eux-mêmes. La question du domaine ne se pose pas et l'adjoint

T^*

est simplement la matrice adjointe (transposée conjuguée).

← Précédent

Leçon n°4 : Théorie des opérateurs linéaires

Leçon n°6 : Opérateurs bornés