Chapitre 6: Oprateurs de Hilbert-Schmidt.

18 mars 2008

1
1.1

Oprateurs de Hilbert-Schmidt
Gnralits

Soit H un espace de Hilbert sparable de dimension + et T L(H, H ) un oprateur de H . Dnition 1.1 : On dit que T est de Hilbert-Schmidt, sil existe une base hilbertienne (en )nN de H telle que
+

(1)
n=1

||T en ||2 < +.

Remarque : Qualitativement, la condition (1) signie que pour n grand, le vecteur T en devient trs petit, de telle sorte que la srie des normes (1) converge. Noter que loprateur identit par exemple nest pas de HilbertSchmidt. Exercice : Soit (aij ) la matrice de T dans la base hilbertienne (en ). Montrer + 2 que T est de Hilbert-Schmidt si et seulement si + i=1 j =1 |aij | < +. Proposition 1.2 : La condition (1) est intrinsque loprateur T . Autrement dit, si la condition (1) est vrie pour une base hilbertienne de H , alors 2 pour toute base hilbertienne (fn )nN de H , on a aussi + n=1 ||T fn || < +. Proposition 1.3 : Si T L(H, H ) est de Hilbert-Schmidt, alors son adjoint T est aussi un oprateur de Hilbert-Schmidt.

1.2

Exemples doprateurs de Hilbert-Schmidt

Exemple 1(Oprateurs diagonaux) : Soit (en )nN une base hilbertienne de 2 H et (k )kN une suite xe de nombres complexes telle que + k=1 |k | < +. Pour tout x H , posons
+

(2)

Tx =
k=1

k < x, ek > ek .

Notes du cours sur les espaces de Hilbert de M. L. Gallardo, Licence 3-ime anne, Universit de Tours, anne 2007-2008. Les dmonstrations sont donnes dans le cours oral.

Alors T est un oprateur de Hilbert-Schmidt sur H et pour tout k 1, T ek = k ek i.e. k est une valeur propre et ek un vecteur propre associ. Autrement dit la matrice de T dans la base hilbertienne (en ) est diagonale et sa diagonale est compose des coecients n . Exemple 2 (Oprateurs noyau) : Soit k : [a, b] [a, b] C (a < b) une fonction continue. Pour toute f L2 ([a, b]), on considre la fonction Kf dnie pour t [a, b] par
b

(3)

(Kf )(t) =
a

k (t, s)f (s)ds.

Alors K est un oprateur de Hilbert-Schmidt de lespace de Hilbert L2 ([a, b]) sur lui mme. Donnons quelques dtails : Pour tout t [a, b] x, notons kt la fonction s k (t, s). En termes du produit scalaire de L2 ([a, b]), on peut crire (4) > . (Kf )(t) =< kt , f

Considrons une base hilbertienne (en )nN de L2 ([a, b]). Daprs (4), on a b ||Ken ||2 = a | < kt , en > |2 dt. Do en utilisant le thorme de Fubini-Tonelli
+ + b

||Ken ||2 =
n=1 n=1 a b +

| < kt , en > |2 dt | < kt , en > |2 dt.

a n=1

= Mais (5)
n=1 + n=1 +

| < kt , en > |2 = ||kt ||2 (formule de Bessel-Parseval). Ainsi

b b b

||Ken ||2 =
a

||kt ||2 dt =
a a

|k (t, s)|2 dtds < +. Q.E.D.

Remarque : Le rsultat prcdent est encore valable avec une hypothse plus gnrale sur le noyau k . Il sut de supposer que k est une fonction de carr intgrable pour la mesure de Lebesgue de [a, b]2 i.e. k est mesurable et vrie
b b

(6)
a a

|k (t, s)|2 dtds < +.

2
2.1

Le thorme de diagonalisation
Le contenu du thorme

On sait (voir le chapitre 5) que tout oprateur autoadjoint sur Cd est diagonalisable. En dimension innie, ce rsultat peut-tre gnralis aux oprateurs de Hilbert-Schmidt autoadjoints ; cest ce que nous allons tudier dans ce paragraphe. Comme dans ce qui prcde, H dsigne un espace de Hilbert sur C. 2

Thorme 2.1 (de diagonalisation) : Soit T L(H, H ) un oprateur de Hilbert-Schmidt autoadjoint. Alors il existe une famille orthonormale nie ou innie dnombrable (n )nD compose de vecteurs propres1 de T telle que si n est la valeur propre associe n , on a (7) x H, Tx =
nD

n < x, n > n

(srie convergente dans H si D = N et somme ordinaire si D est ni). De plus si lensemble {n ; n D} est inni, on a nD 2 n < +. Remarques importantes : 1) Comme T est autoadjoint, tous les n de la formule (7) sont des rels daprs le thorme 1.13 du chapitre 5. 2) Attention, dans (7) les valeurs n ne sont pas forcment distinctes deux deux comme on peut le voir sur lexemple dun oprateur diagonal dans une base hilbertienne donne de H (voir lexemple 1 du paragraphe 1.2 o lon prendrait les valeurs de k non distinctes deux deux). 3) Toutes les valeurs propres non nulles de T gurent dans la liste des n (n D). En eet si = 0 tait une valeur propre de T nappartenant pas {n ; n D} et si est un vecteur propre associ, alors serait orthogonal tous les n (n D) daprs le thorme 1.13 du chapitre 5. Daprs (7) on aurait donc T = = 0, ce qui est impossible. 4) Si x KerT (i.e. T x = 0), alors pour tout n D, < x, n >= 0 donc

et inversement donc KerT = V [n ; n D] . on x V [n ; n D] obtient ainsi le corollaire suivant qui justie le nom donn au thorme 2.1 : Corollaire 2.2 En adjoignant {n ; n D} une base hilbertienne de KerT , on obtient une base hilbertienne de H dans laquelle loprateur T est diagonal. Remarque : Si T : H H est un oprateur de Hilbert-Schmidt autoadjoint, on peut rsoudre facilement les quations de la forme (8) T x = y,

o y est un vecteur donn dun espace de Hilbert H . Cest lune des applications pratiques les plus importantes du thorme de diagonalisation comme nous le verrons dans les exercices. Remarque : Le thorme de diagonalisation est valable pour une classe plus vaste doprateurs autoadjoints de lespace de Hilbert H : les oprateurs compacts2 qui seront tudis dans le cours dAnalyse fonctionnelle en Master.

Annexe : dmonstration du thorme de diagonalisation

La dmonstration du thorme 2.1. est hors programme. Nanmoins elle est trs instructive car elle met en oeuvre lensemble des techniques hilbertiennes
par dnition non nuls. voir le livre de Kolmogorov et Fomine lments danalyse fonctionnelle. Ellipses diteur.
2 1

tudies dans ce cours. De plus elle sera utile aux tudiants qui poursuivront leurs tudes en Master et a fortiori aux candidats lAgrgation en leur fournissant une motivation ltude plus gnrale des oprateurs compacts dont nous navons pas besoin ici. En eet la proprit de compacit des oprateurs de Hilbert-Schmidt3 est trs naturelle mettre en vidence sans quil soit ncessaire de la thoriser pour elle mme4 . Commenons dailleurs par dire de quoi il sagit : On sait que, contrairement au cas de la dimension nie, les boules fermes dun espace de Hilbert de dimension innie ne sont pas des compacts, cest dire qutant donne une suite borne (xn ) dans H , on ne peut pas en gnral en extraire une sous-suite convergente. Nanmoins la suite (T xn ) des images des xn par T a toujours un meilleur comportement comme lindique le rsultat suivant : Lemme 3.1 (compacit dun oprateur de Hilbert-Schmidt) : Si T L(H, H ) est un oprateur de Hilbert-Schmidt et (x(n) )nN une suite borne de vecteurs de H , alors la suite (T x(n) )nN admet toujours une sous-suite convergente. dmonstration : Si H est de dimension nie, le rsultat est vident. Supposons donc dim H = + et xons une base hilbertienne5 (n )nN de H . Pour tout n N , on crira
+

(9)
(n)

x(n) =
k=1

xk k ,

(n)

o xk =< x(n) , k > est la coordonne dordre k de x(n) dans la base hilbertienne. Par hypothse, on a sup ||xn || = M < +.
nN

On notera que pour tout k 1 (x), la suite (xk )n1 est borne dans C (n) (n) puisque |xk | = | < x(n) , k > | ||x(n) ||.||k || M . De la suite (x1 )n1 , ( (n)) on peut donc extraire une sous suite (x1 1 )n1 qui converge vers un nombre x1 C : (10)
( (n))

(n)

|x1

(1 (n))

x1 | 0 (n +).
(2 (n))

De la suite (x2 1 )n1 , on peut alors extraire une sous-suite (x2 converge vers un nombre x2 C : (11) |x2
(2 (n))

)n1 qui

x2 | 0 (n +).

En poursuivant ainsi par rcurrence, pour tout k 2, il existe une suite croissante dentiers (k (n))nN extraite de la suite (k1 (n))nN et un nombre xk C, tels que (12)
3 4

|xk

(k (n))

xk | 0 (n +).

quon ne peut pas viter dans la preuve La dmonstration donne ici est plus courte que celle quon peut trouver dans les livres (par exemple dans Kolmogorov et Fomine ou dans Young) qui considrent le cas plus lourd des oprateurs compacts. 5 rappelons que dans ce chapitre H est sparable par dnition.

Notons que la suite extraite (x(k (n)) ) H est telle que ses k premires coordonnes convergent. Considrons alors la suite (x(n (n)) ) qui est extraite de toutes les prcdentes6 . Alors toutes ses coordonnes convergent ; prcisment pour tout entier k 1, on a : (13) |xk
(n (n))

xk | 0 (n +).

Attention on ne peut pas en conclure que la suite (x(n (n)) ) converge dans H mais considrons la suite (T x(n (n)) ). Le lemme sera prouv si on montre que cette suite est de Cauchy dans H . Soit n < m, et pour simplier les notations crivons (14)
n,m = xk k (n (n))

xk

(m (m))

Pour tout entier N > 1 x, on peut crire (puisque T est continu)

+

T x(n (n)) T x(m (m)) =

k=1 N

n,m T k k + n,m k T k k=1

= Mais
+ + n,m k T k || k=N +1

+
k=N +1

n,m k T k .

||

k=N +1

n,m |k |.||T k || + 1 /2 n,m 2 |k | k=N +1 k=N +1 + 1/2 + 1/2

||T k ||

||x

(n (n))

(m (m))

||
k=N +1 1/ 2

||T k ||

(15)

2M
k=N +1

||T k ||2

Si on se donne > 0, comme T est de Hilbert-Schmidt, on peut choisir un entier N > 1 tel que la quantit (15) soit infrieure /2. Pour ce N x, il est clair n,m que la quantit || N k=1 k T k || peut tre rendue infrieure /2 pour n, m assez grands. Dans ce cas, il en rsulte quon a aussi ||T x(n (n)) T x(m (m)) || . Q.E.D.

3.1

dmonstration du thorme 2.1

Ici loprateur T L(H, H ) est de Hilbert-Schmidt et autoadjoint. Lemme 3.2 : T admet toujours |||T ||| ou |||T ||| comme valeur propre.
on lappelle la suite diagonale car le procd dextraction est le procd diagonal de Cantor quon utilise frquemment en analyse.
6

dmonstration : On a |||T ||| = sup||x||=1 | < T x, x > | daprs le thorme 1.11 du chapitre 5. Il existe donc une suite (xn ) H telle que ||xn || = 1 et limn+ | < T xn , xn > | = |||T |||. Mais comme < T xn , xn > R, il existe une sous-suite quon continuera noter (xn ) telle que (16) On a alors ||T xn xn ||2 = ||T xn ||2 2 < T xn , xn > +2 ||xn ||2 22 2 < T xn , xn > 0 (n +). Mais daprs le lemme prcdent, il existe une suite extraite (x(n) ) et y H tels que limn+ T x(n) = y . Do aussi limn+ x(n) = y et en appliquant T qui est continu, T x(n) T y . Il en rsulte que T y = y . Or il est clair que y = 0. Donc est valeur propre de T . Notons 1 =(|||T ||| ou |||T |||) la valeur propre construite dans le lemme prcdent et soit 1 un vecteur propre associ, de norme 1. Comme lespace vectoriel V [1 ] engendr par 1 , est stable par T , son orthogonal H2 = V [1 ] , est stable par T = T daprs le lemme 1.15 du chapitre 5. Soit (17) T2 = T |H2 , < T xn , xn > (= |||T ||| ou |||T |||).

la restriction de T H2 . Il est clair que T2 est un oprateur de Hilbert-Schmidt autoadjoint de lespace de Hilbert7 H2 . On peut nouveau appliquer le lemme T2 et H2 et on obtient une valeur propre 2 =(|||T2 ||| ou |||T2 |||) de T2 donc de T et un vecteur propre de norme 1 2 V [1 ] . Lespace vectoriel V [1 , 2 ] tant stable par T , son orthogonal H3 = V [1 , 2 ] est stable par T et on considre la restriction T3 de T H3 , etc. . . Par rcurrence, on construit ainsi une suite 1 , 2 , . . . , n , . . . de vecteurs propres de T correspondant des valeurs propres 1 , 2 , . . . , n , . . . o j est la valeur propre construite suivant le lemme 3.2 avec loprateur Tj restriction de T V [1 , . . . , j 1 ] . On continue la construction tant que Tn = 0. Distingons donc deux cas : premier cas : Supposons alors quil existe un entier m tel que Tm = 0. Comme on a8
m1

(18)

x H,

x
j =1

< x, j > j V [1 , . . . , m1 ] = Hm ,
m1 j =1

et que T Hm = {0}, alors T x

m1

< x, j > j = 0, et on a donc

m1

(19)

x H, T x =
j =1

< x, j > T j =
j =1

j < x, j > j ,

et lassertion du thorme est vraie avec une somme nie. deuxime cas : Si pour tout entier n, Tn = 0, soit x H et
n1

(20)
7 8

xn = x
j =1

< x, j > j .

pour le produit scalaire induit par H sur H2 . par la proprit caractristique de la projection

Daprs Pythagore, ||x||2 = ||xn ||2 + Mais on a (21) do

n1

n1 j =1

| < x, j > |2 , do ||xn || ||x||.

||T xn || = ||Tn xn || |||Tn |||.||xn || = |n |||xn ||,

(22)

||T x
j =1

j < x, j > j || |n |||x||.

2 Mais |j |2 = ||T j ||2 , do + j =1 |j | < + car T est de Hilbert-Schmidt. En particulier limn+ |n | = 0 et lingalit prcdente (22) implique +

(23)

Tx =
j =1

j < x, j > j .

Le thorme est dmontr. Fin du cours 2007-2008 sur les espaces de Hilbert Remarque lattention des lecteurs : Je remercie par avance toute lectrice (resp. tout lecteur) qui aura lamabilit de me signaler dventuelles erreurs ou coquilles quelle (resp. il) aura pu dcouvrir dans lensemble de ces notes de cours et qui contribuera ainsi la correction de ldition de lanne prochaine.