Math

ematiques avanc
ees : Analyse
fonctionnelle
Ann
ee 2009-2010
Angela Pasquale
Relectures et corrections par Philippe Bonneau

matiques et Applications (LMAM), Universite

Paul
Laboratoire de Mathe
Verlaine Metz
E-mail address: bonneau@univ-metz.fr

Table des mati`

eres
Introduction
1. Notations et rappels

5
6

Chapitre 1. Operateurs et formes lineaires

1. Operateurs lineaires bornes
2. Dual topologique dun espace vectoriel norme
3. Topologies faibles

9
9
10
14

Chapitre 2. Operateurs compacts

1. Operateurs de Hilbert-Schmidt

17
19

Chapitre 3. Theorie spectrale des operateurs compacts autoadjoints sur un espace de

Hilbert
25
Bibliographie

29

Introduction
Lanalyse fonctionnelle est la partie de lanalyse qui etudie les espaces vectoriels de dimension
infinie sur R ou sur C ainsi que les applications lineaires sur ces espaces. Ce qui distingue
lanalyse fonctionnelle de lalg`ebre lineaire est le role important joue par la topologie. Sur
les espaces vectoriels de dimension finie toutes les normes sont equivalentes 1, donc elles
definissent la meme topologie. En outre, toute application lineaire est automatiquement
continue. Dans le cas de dimension infinie les choses ne sont pas aussi simples.
Considerons par exemple lespace C([0, 1]) des fonctions continues sur [0, 1] `a valeurs
complexes, muni de la structure despace vectoriel complexe habituelle. Les normes
Z 1
|f (x)| dx et kf k := sup |f (x)|
kf k1 :=
x[0,1]

ne sont pas equivalentes sur C([0, 1]), mais on a linegalite kf k1 kf k pour tout f
C([0, 1]). Pour montrer que ces deux normes ne sont pas equivalentes, on consid`ere la suite
de fonctions {fn } avec fn (x) := xn . Alors
Z 1
1
0 pour n ,
xn dx =
kfn k1 =
n+1
0
kfn k = 1 pour tout n .
Ainsi la suite {fn } converge en vers 0 par rapport a` k k1 , mais elle ne converge pas uniformement vers 0 sur lintervalle [0, 1].
Si on consid`ere maintenant lespace X = C 1 ([1, 1]) des fonctions complexes de classe
1
C sur [1, 1], muni de la norme kf k = supx[1,1] |f (x)|, alors lapplication T : X C
definie par T (f ) = f 0 (0) est C-lineaire, mais pas continue. En effet, soit {fn } la suite de
fonctions definies pour n 1 par
fn (x) =

sin(n2 x)
.
n

Alors {fn } converge uniformement vers 0 sur [1, 1], mais T (fn ) = n converge vers et pas
vers T (0) = 0.
1. On rappelle que deux normes k k et k k0 sur un espace vectoriel X sont equivalentes sil existe deux
constantes C > 0 et C 0 > 0 telles que pour tout x X on a
Ckxk kxk0 C 0 kxk .
Cette condition est equivalente `
a la suivante : Toute suite {xn } in X converge vers x X pour k k si et
seulement si elle converge vers x pour k k0 .
5

1. Notations et rappels
Dans ce paragraphe nous commencons par introduire les notations qui seront employees
ensuite et nous rappelons bri`evement les definitions despaces de Banach et de Hilbert.
Nous designerons par N, Z, R et C les ensembles usuels de nombres. Ainsi, R sera par
exemple lensemble des nombres reels et C celui des nombres complexes. La partie reelle dun
nombre complexe z sera notee Re z ; la partie imaginaire de z sera notee Im z.
On consid`ere dans ce qui suit des espaces vectoriels sur un corps K qui sera R ou C. Soit
X un espace vectoriel sur K. Une norme sur X est application x 7 kxk de X dans [0, [
qui verifie les trois conditions suivantes :
(1) kx + yk kxk + kyk pour tout x, y X,
(2) kxk = || kxk pour tout x X et K,
(3) kxk = 0 si et seulement si x = 0.
Un espace vectoriel muni dune norme est dit un espace vectoriel norme.
Exemple 1 (Exemples en dimension finie). Pour tout x = (x1 , x2 , ..., xn ) Kn on pose :
(1) kxk := supi=1,...,n |xi | ,
P
1/p
(2) kxkp := ( ni=1 |xi |p ) (pour p 1 ; pour p = 2, on retrouve la norme associee au
produit scalaire euclidien ou hermitien usuel).
Les applications k k et k kp sont des normes sur Kn .
Exemple 2 (Exemples en dimension infinie).
(1) Soit X un ensemble non vide, M
une tribu sur X (dont les elements sont appeles les ensembles mesurables) et enfin
soit une mesure sur M. Deux fonctions mesurables sur X a` valeurs complexes
sont dites equivalentes (et par la suite identifiees) lorsque elles sont presque partout
egales. Pour 1 p < +, lespace Lp (X, M, ) est lespace vectoriel des (classes
dequivalence des) fonctions f : X C, definies et mesurables sur lespace mesure
(X, M, ) et pour lesquelles
1/p
Z
p
< .
|f | d
kf kp :=
X
p

Ici kf kp designe la norme L de f . Suivant le contexte, les symboles M et peuvent

etre sous-entendus dans la notation Lp (X, M, ) ; on ecrira dans ce cas Lp (X).
(2) Soit (X, M, ) un espace mesure. On dit quun fonction mesurable f : X C
est essentiellement bornee sil existe un presque majorant de |f |, cest-`a-dire une
constante C 0 telle que |f (x)| C pour presque tout element x X. Dans
ce cas, on definit la borne superieure essentielle sup ess|f | comme linf des presque
majorants. Lespace L (X, M, ) est lespace obtenu en considerant les (classes
dequivalence de) fonctions essentiellement bornees (la relation dequivalence etant
legalite presque partout). Il est muni de la norme kf k := sup ess|f |.
Un espace vectoriel norme est un espace metrique par rapport a` la distance d(x, y) :=
kx yk. Une suite (xn ) dans un espace metrique est dite suite de Cauchy si pour tout  > 0
il existe un N N tel que pour tout n, m > N on a d(xn , xm ) < . Un espace metrique X
est dit complet si toute suite de Cauchy de X a une limite dans X. Un espace de Banach
est un espace vectoriel norme complet pour la distance issue de sa norme.
6

Exemple 3. Les espaces vectoriels normes des exemples 1 et 2 sont des espaces de
Banach.
Pour K on definit comme le conjugue de si K = C et comme si K = R. Soit X
un espace vectoriel sur K. Un produit scalaire sur X est une application h, i : X X K
qui verifie les proprietes suivantes pour tout x, y, x0 X et , K :
(1) hx + x0 , yi = hx, yi + hx0 , yi ,
(2) hx, yi = hy, xi
(3) hx, xi 0 ,
(4) hx, xi = 0 si et seulement si x = 0 .
Un espace de Hilbert est un espacepde Banach X dont la norme k k decoule dun produit
scalaire h, i par la formule kxk = hx, xi pour tout x X.
Exemple 4. Les espaces de Banach des exemples 1 et 2 sont des espaces de Hilbert pour
p = 2. Les produits scalaires sont
n
X
hx, yi :=
xj y j ,
j=1
n

pour K , et

Z
hf, gi :=

f (x)g(x) d(x)
X

pour L2 (X).

CHAPITRE 1

Op
erateurs et formes lin
eaires
Ici commence reellement le sujet central de ce cours que lon peut renommer Introduction
a` la theorie des operateurs.
Un magnifique expose des probl`emes de physique pouvant etre resolus (notamment) par
les techniques exposees ci-dessous est donne dans [CH89] ([CH93] pour les germanophones).
Un expose classique et plus moderne restant proche des preoccupations physiques se
trouve dans [RS80].
Une reference tr`es compl`ete sur le sujet est [DS88].
Une bonne reference en francais est [Br83]. Il en existe de nombreuses autres (souvent
bonnes egalement).
Des references plus recentes peuvent etre [Fo99] et [Ru95]. L`a encore il en existe un
grand nombre, s
urement consultables avec profit.
1. Op
erateurs lin
eaires born
es
Soient X et Y deux espaces vectoriels normes. 1 Un operateur lineaire T : X Y est dit
borne sil existe un reel C 0 tel que
kT xk Ckxk
pour tout x X. 2 Dans ce cas, on definit
kT kop := inf{C : kT xk Ckxk pour tout x X}
= sup{kT xk : kxk = 1}
= sup{kT xk : kxk 1}
n kT xk
o
= sup
: x 6= 0 .
kxk

(1)

On a alors kT xk kT kop kxk pour tout x X.

Exercice 1. Verifier les egalites dans la definition de kT kop .
On note L(X, Y ) lensemble des operateurs lineaires bornes de X dans Y . On ecrira L(X)
a` la place de L(X, X). Lensemble L(X, Y ) est un espace vectoriel sur K pour les lois :
(T + S)x := T x + Sx

S, T L(X, Y ), x X

(T )x := (T x)

K, T L(X, Y ), x X .

1. Nous utilisons le meme symbole k k pour noter la norme sur chacun des deux espaces vectoriels X et
Y.
2. On ecrira souvent T x au lieu de T (x).
9

En outre, lapplication T 7 kT kop est une norme sur L(X, Y ), que lon appelle la norme
doperateurs.
Lemme 1. Si T : X Y est une application lineaire, alors les affirmations suivantes
sont equivalentes :
(1) T L(X, Y ),
(2) Lensemble {T x : kxk 1} est borne dans Y ,
(3) T est continu en lorigine 0 de X,
(4) T est continu,
(5) T est lipschitzien (cest-`a-dire, il existe une constante C > 0 telle que pour tout
x, y X on a kT x T yk Ckx yk).
Preuve. Exercice.
Lemme 2. Si Y est un espace de Banach, alors il en est de meme pour (L(X, Y ), k kop ).
Preuve. Soit {Tn } une suite de Cauchy de L(X, Y ). Si x X, alors {Tn x} est une suite
de Cauchy de Y car kTn x Tm xk kTn Tm kop kxk. On definit T : X Y par T x :=
limn Tn x. Il est facile de verifier (exercice) que T est lineaire. Montrons maintenant que
T est borne. Par hypoth`ese, il existe N N tel que si n, m > N alors kTn Tm kop < ,
do`
u |kTn kop kTm kop | < . La suite numerique {kTn kop } est donc de Cauchy. Elle est en
particulier bornee, cest-`a-dire il existe C > 0 tel que kTn kop C pour tout n. On en deduit
que kTn xk Ckxk. Par passage a` la limite, on a donc kT xk Ckxk pour tout x X. Reste
encore a` montrer que {Tn } converge vers T pour la norme doperateur. Soit > 0. Pour tout
x X et n, m N on a kTn x Tm xk kTn Tm kop kxk kxk. Fixons n N et faisons
tendre m vers linfini. On obtient kTn x T xk kxk, do`
u kTn T kop < pour n > N , ce
qui nous assure de la convergence cherchee.
Nous remarquons aussi que la composee S T de deux operateurs lineaires bornes S et
T est un operateur lineaire borne.
Le theor`eme suivant est un des resultats fondamentaux de la theorie des operateur
lineaires sur les espaces de Banach.
ore
`me 1 (Theor`eme de lapplication ouverte). Soient X et Y deux espaces de BaThe
nach et soit T : X Y un operateur lineaire borne. Si T est surjectif, alors T est une
application ouverte, cest-`a-dire T (U ) est un ouvert de Y pour tout ouvert U de X.
Preuve. Voir p.ex. [Br83], theor`eme II.5.
Du theor`eme 1 et du fait que linverse dune application lineaire est lineaire, on deduit
immediatement le corollaire suivant.
Corollaire 1. Soient X et Y deux espaces de Banach et soit T : X Y un operateur
lineaire borne. Si T est bijectif, alors linverse T 1 de T est aussi borne.
2. Dual topologique dun espace vectoriel norm
e
Soit X un espace vectoriel norme sur K, o`
u K = R ou C. Dans ce paragraphe, on etudie
les formes lineaires sur X, cest-`a-dire les applications lineaires definies sur X a` valeurs dans
K.
10

Si X est un espace vectoriel sur C, alors il est aussi un espace vectoriel sur R. Donc on
peut considerer soit les formes lineaires complexes X C, soit les formes lineaires reelles
X R. La relation entre ces deux types de formes lineaires est donnee par le lemme suivant.
Lemme 3. Soit X un espace vectoriel sur C. Si f : X C est une forme lineaire
complexe, alors u := Re f : X R est une forme lineaire reelle telle que f (x) = u(x)iu(ix)
pour tout x X. Reciproquement, si u : X R est une forme lineaire reelle, alors f : X
C defini par f (x) := u(x) iu(ix) est une forme lineaire complexe.
Preuve. Exercice
finition 1. Lespace L(X, K) des applications lineaires continues de X dans K sapDe
pelle lespace dual topologique de X, note X 0 .
On remarque que, si lespace X est de dimension finie, alors son dual topologique concide
avec le dual (algebrique) puisque dans ce cas toute forme lineaire est continue.
Pour f X 0 et x X on notera generalement hf, xi au lieu de f (x) (on dit que h, i est
le produit scalaire dans la dualite de X et X 0 ).
Dapr`es le lemme 2, le dual topologique X 0 de X muni de la norme doperateurs est un
espace de Banach. On parlera dans ce cas de norme duale sur X 0 ; elle sera notee k k0 . En
outre, X 0 muni de cette norme sera dit le dual fort de X. Explicitement, la norme duale de
f X 0 est donnee, dapr`es (1), par
kf k0 = sup{|hf, xi| : kxk 1}.
On remarque que sup{|hf, xi| : kxk 1} == sup{hf, xi : kxk 1} si K = R.
Pour completer la relation entre formes lineaires reelles et complexes du lemme 3, on
a le lemme suivant. On rappelle que la fonction sgn est definie pour y C \ {0} par
sgn(y) := y/|y|.
Lemme 4. Soit X un espace vectoriel norme sur C, et soient f et u comme dans le
lemme 3. Alors kf k0 = kuk0 .
Preuve. Linegalite |hu, xi| = |hRe f, xi| |hf, xi| entrane que kuk0 kf k0 . Reciproquement,
soit x X tel que hf, xi 6= 0. On pose := sgn hf, xi. Alors |hf, xi| = hf, xi = hf, xi =
hu, xi (la derni`ere egalite etant due au fait que hf, xi = |hf, xi| R). Donc |hf, xi|
kuk0 kxk, ce qui entrane que kf k0 kuk0 .
La propriete suivante, que nous enoncons sans demonstration, est une consequence du
theor`eme de Hahn-Banach sur le prolongement des formes lineaires definies sur des sousespaces vectoriels dun espace norme.
Proposition 1. Soit X un espace vectoriel norme et soit 0 6= x X. Alors existe une
forme lineaire f X 0 telle que kf k0 = 1 et hf, xi = kxk.
Preuve. Voir p.ex. [Fo99], Theorem 5.8 (b).
Corollaire 2. Les elements de X 0 separent les points de X.
Preuve. Si x 6= y, dapr`es la proposition 1 il existe f X 0 tel que f 6= 0 et hf, x yi =
kx yk =
6 0. Donc hf, xi =
6 hf, yi.
11

Corollaire 3. Pour tout x X on a

kxk = sup{|hf, xi| : f X 0 , kf k0 1} .
Preuve. La proposition 1 montre quil existe f X 0 telle que kf k0 = 1 et hf, xi = kxk.
Dautre part on a, pour tout f X 0 verifiant kf k0 1, que |hf, xi| kf k0 kxk kxk.
Le corollaire 3 nous permets de donner une autre description de la norme doperateurs.
Corollaire 4. Soient X et Y deux espaces de Banach et soit T L(X, Y ). Alors
kT kop = sup{|hf, T xi| : f Y 0 , kf k0 1, x X, kxk 1} .
Preuve. En appliquant le corollaire 3 `a Y on obtient
kT xk = sup{|hf, T xi| : f Y 0 , kf k0 1} ,
do`
u le resultat cherche car kT kop = sup{kT xk : kxk 1} .
2.1. Dual topologique dun espace de Hilbert. On supposera dans ce paragraphe
que K = C. Des proprietes analogues sont valables pour le cas despaces de Hilbert sur R.
Soit H un espace de Hilbert sur C. Pour tout y H on definit fy : H C par fy (x) = hx, yi.
Lemme 5. fy H 0 avec kfy k = kyk.
Preuve. Ceci resulte de linegalite de Schwarz : |hx, yi| kxkkyk pour tout x, y H.
On rappelle que, si X et Y sont deux espaces vectoriels complexes, une application
j : X Y est dite antilineaire si, pour tous x, y X et tout C on a j(x+y) = j(x)+j(y)
et j(x) = j(x). Une application (anti)lineaire T : X Y est une isometrie si kT xk = kxk
pour tout x X.
ore
`me 2 (Riesz-Frechet). Lapplication j : y 7 fy est une isometrie antilineaire de
The
H sur son dual topologique H 0 .
Preuve. Dapr`es le lemme 5, il reste seulement de montrer que j est surjective. Tout dabord
j(0) = 0. Soit maintenant f H 0 une forme lineaire continue non nulle. Lhyperplan vectoriel
M dequation hf, xi = 0 est ferme (M = f 1 ({0}) X). La theorie de la projection sur un
hyperplan ferme dun espace de Hilbert montre quil existe un vecteur unitaire u orthogonal
a` cet hyperplan et que de plus H = M Cu. Tout vecteur x H secrit alors de mani`ere
unique x = hx, uiu + x0 avec x0 M . Il en resulte que
hf, xi = hx, uihf, ui + hf, x0 i
= hx, hf, uiui
= fhf,uiu (x) ,
puisque hf, x0 i = 0. Ainsi f = j(hf, uiu).
Corollaire 5. Soient H1 et H2 deux espaces de Hilbert et soit T L(H1 , H2 ). Alors
kT kop = sup{|hT x, yi| : x H1 , kxk 1, y H2 , kyk 1} .
12

Preuve. Dapr`es le corollaire 4 et le theor`eme 2, on a :

kT kop = sup{|hfy , T xi| : y H2 , kyk 1, x H1 , kxk 1}
= sup{|hT x, yi| : y H2 , kyk 1, x H1 , kxk 1} .

2.2. Espace bidual. Soit X un espace de Banach et soit X 0 son dual topologique muni
de la norme duale k k0 . On definit lespace bidual X 00 de X comme etant lespace dual de
X 0 . Aussi X 00 est muni de la norme duale, que lon note k k00 : donc
kk00 := sup{|h, f i| : f X 0 , kf k0 1} .
Il existe une application lineaire canonique J : X X 00 associant a` x X la forme
lineaire Jx : X 0 K definie par hJx, f i := hf, xi pour toute forme lineaire f X 0 . Cette
definition entrane que pour tout f X 0 on a |hJx, f i| kf kkxk, do`
u Jx X 00 avec
kJxk00 kxk.
Lemme 6. Lapplication lineaire J : X X 00 est une isometrie de X sur un sous-espace
de X 00 .
Preuve. On a pour tout x X :
kJxk00 = sup{|hJx, f i| : f X 0 , kf k0 1}
= sup{|hf, xi| : f X 0 , kf k0 1}
(corollaire 3)

= kxk .

En general, lapplication J nest pas surjective.

finition 2. Soit X un espace de Banach et soit J : X X 00 lisometrie du lemme 6.
De
On dit que X est reflexif si J est surjective.
Exemple 5 (Le dual de Lp ). Soit (X, M, ) un espace mesure et pour 1 p on
consid`ere lespace Lp (X) = Lp (X, M, ). On rappelle que deux exposants 1 p, q sont
dits conjugues si 1/p+1/q = 1. Linegalite de Holder montre que si p et q sont deux exposants
conjugues et si f Lp et g Lq , alors f g L1 et kf gk1 kf kp kgkq . Par consequent, tout
element g Lq definit un operateur lineaire borne g sur Lp par
Z
g (f ) :=
f (x)g(x) d(x) .
X

En outre, kg kop kgkq . On peut montrer que pour 1 q < on a kg kop = kgkq et que
cette egalite est vraie aussi pour g = lorsque la mesure est semi-finie (cest-`a-dire, pour
tout E M avec (E) = , il existe F M tel que F E et 0 < (F ) < ). On peut
aussi montrer que, si 1 < p < , alors tout operateur lineaire borne sur Lp est de la forme
g pour une certaine fonction g Lq . Donc, pour 1 < p < , lespace dual de Lp est Lq .
On en deduit aussi que pour 1 < p < lespace Lp est reflexive. Pour les demonstrations
de ces resultats, nous referons le lecteur `a [Fo99], 6.2.
13

3. Topologies faibles
Soit X un ensemble et soit {X }(A) une famille despaces topologiques. Pour chaque A
on consid`ere une application f : X X . La topologie faible induite par la famille {f }
est la topologie T la moins fine (cest-`a-dire avec le minimum douverts) qui rende continue
toutes les applications f ; elle est la topologie dont les elements dune base douverts sont
les intersections finies densembles de la forme f1 (U ) o`
u A et U est un ouvert de X .
Remarque 1. Si X est muni de la topologie discr`ete (dans laquelle tout sous-ensemble
de X est ouvert), alors chaque f est continue. Cest donc possible de chercher la topologie
la plus faible induite par {f }. Dans une topologie sur X pour laquelle f est continue, pour
tout ouvert U de X , lensemble f1 (U ) doit necessairement etre ouvert dans X.
La motivation pour chercher des topologies faibles est la suivante : si une topologie
poss`ede moins douverts, elle poss`ede plus densembles compacts.
3.1. La topologie faible (X, X 0 ). Soit X un espace vectoriel norme. La topologie
faible (X, X 0 ) sur X est la topologie faible induite par X 0 (on pose donc ci-dessus X = K
pour tout A := X 0 , et f = ).
Remarque 2. La topologie sur X qui correspond a` sa norme est aussi appelee la topologie
forte de X. Comme tout f X 0 est une fonction continue sur X pour la topologie forte,
tout ensemble f 1 (U ) avec U ouvert de K est un ouvert de X. Donc tout ouvert de X pour
la topologie faible (X, X 0 ) est aussi ouvert de X pour la topologie forte.
Lemme 7. Une base de voisinages de x0 X pour la topologie faible (X, X 0 ) consiste
en tous les ensembles de la forme
V (x0 ; f1 , . . . , fn ; ) := {x X : |hfj , x x0 i| < pour tout j = 1, . . . , n}
o`
u n N, fj X 0 et > 0.
Preuve. Exercice.
Remarque 3. On peut montrer que la topologie faible (X, X 0 ) est separee. Toute suite
convergente par rapport `a cette topologie a donc une limite unique.
Exercice 2. Montrer que la topologie faible (X, X 0 ) est separee.
On ecrit xn x faiblement si la suite {xn } converge vers x pour la topologie faible
(X, X 0 ), et on ecrit xn x fortement si kxn xk 0.
Lemme 8.
(a) xn x faiblement si et seulement si hf, xn i hf, xi pour tout
0
f X.
(b) Si xn x fortement, alors xn x faiblement.
Preuve. (a) resulte de la definition de topologie faible (X, X 0 ) et (b) resulte de (a) et de
linegalite |hf, xn i hf, xi| kf kkxn xk.
Exercice 3. Montrer que la convergence faible nimplique pas la convergence forte.
[Indication : On pourra considerer une suite orthonormee dans un espace de Hilbert de
dimension infinie puis montrer quelle converge faiblement vers 0, mais pas fortement (en
fait, que lon ne peut en extraire aucune sous-suite fortement convergente).]
14

3.2. Topologie faible-*.

finition 3. Soit X un espace vectoriel norme. La topologie faible-*, designee aussi
De
par topologie faible (X 0 , X), est la topologie sur X 0 induite par la famille des applications
Jx pour x X.
Lemme 9. Une base de voisinages de f0 X 0 pour la topologie faible-* consiste en tous
les ensembles de la forme
V (f0 ; x1 , . . . , xn ; ) := {f X 0 : |hf f0 , xj i| < pour tout j = 1, . . . , n}
o`
u n N, xj X et > 0.
Preuve. Exercice.
Lemme 10. La topologie faible-* est separee.
Preuve. Soient f, g X 0 avec f 6= g. Il existe alors x X tel que hf, xi 6= hg, xi. Donc
|hf g, xi| = 2 > 0 et les voisinages V (f ; x; ) de f et V (g; x; ) de g sont disjoints. En
effet, si h V (f ; x; ) V (g; x; ), alors 2 = |hf g, xi| |hh g, xi| + |hh f, xi| < 2.

On note fn f la convergence de la suite fn vers f dans X 0 pour la topologie faible*. On ecrit fn f faiblement si la suite {fn } converge vers f pour la topologie faible
(X 0 , X 00 ), et on ecrit fn f fortement si kfn f k0 0.

Lemme 11.
(a) fn f si et seulement si hfn , xi hf, xi pour tout x X.
(b) Si fn f fortement, alors fn * f faiblement.

(c) Si fn * f faiblement, alors fn f .

Preuve. Exercice.
ore
`me 3 (Banach-Alaoglu). La boule unite fermee BX 0 = {f X 0 : kf k0 1} est
The
compacte pour la topologie faible-*.
Preuve. On supposera dans
Q cette preuve que K = C. Pour x X soit Dx := {z C :
|z| kxk} et soit D := xX Dx muni de la topologie produit. Puisque chaque Dx est un
ferme borne de C, donc compact, et puisque le produit de compacts est compact (theor`eme
de Tychonov), lespace D est compact. Les elements de D peuvent etre identifies avec les
fonctions : X C telles que |(x)| kxk pour tout x X, et BX 0 consiste en les elements
de D qui sont lineaires. Les topologies de BX 0 induites respectivement par la topologie faible* de X 0 et par la topologie produit de D concident dapr`es le lemme 11,(a). Donc il suffit
de montrer que BX 0 est ferme dans D. Pour x X soit px : D C la projection canonique
sur le facteur Dx suivie par linclusion de Dx dans C. Elle est continue dapr`es la definition
de topologie produit. Pour tout x, y X et C, les applications x,y := px+y px py et
,x := px px sont donc continues. On en deduit que




1
BX 0 = x,yX 1
x,y (0) xX,C x, (0)
est ferme.
Remarque 4. La topologie faible sur X 0 coincide avec la topologie faible-* sur X 0 si et
seulement si X est reflexif.
15

CHAPITRE 2

Op
erateurs compacts
Dans ce chapitre, X et Y sont des espaces de Banach. On note BX := {x X : kxk < 1}
la boule unitaire ouverte de X.
finition 4. Un operateur lineaire T : X Y est dit compact si T (BX ) est relatiDe
vement compact dans Y (cest-`a-dire ladherence T (BX ) de T (BX ) est compacte). On note
K(X, Y ) lensemble des operateurs compacts de X dans Y .
Remarque 5.
(1) Si T est un operateur compact alors T est borne car la norme de
Y est bornee sur le compact T (BX ). Donc T L(X, Y ).
(2) Un operateur lineaire T est compact si et seulement si pour toute suite bornee
{xn }nN de X, la suite des images {T xn }nN admet une sous-suite convergente.
(3) On rappelle quun ensemble A Y est dit precompact si, pour tout > 0, on peut
recouvrir A par un nombre fini de boules ouvertes de rayon . Si Y est complet, la
precompacite de A implique la compacite de A (voir p.ex. [ST67], Theorem 1, p.
40). Donc T L(X, Y ) est compact si et seulement si T (BX ) est precompact.
On rappelle que si X et Y sont deux espaces topologiques et f : X Y est une
application continue, alors f (A) f (A) pour tout partie A de X. Ladherence A de A est
le plus petit ferme qui contient A. Si donc A B et B est ferme, alors A B. Toute partie
fermee dun espace compact est compacte et, reciproquement, toute partie compacte dun
espace topologique separe est fermee. En outre, limage continue dun compact est compact.
Lemme 12. Si T : X Y et S : Y Z sont des applications lineaires bornees entre
espaces de Banach et si S ou T est compact, alors la composee ST est un operateur compact.
Preuve. Supposons que T est compact. Alors S(T (BX )) est compact, donc ferme, et contient
(ST )(BX ), do`
u (ST )(BX ) S(T (BX )). Dautre part, S(T (BX )) (ST )(BX ), do`
u (ST )(BX ) =
S(T (BX )) est compact. Supposons maintenant que S est compact. Comme T est borne, il
existe R > 0 tel que T (BX ) RBY . Donc (S T )(BX ) RS(BY ) est compact.
Lemme 13 (Theor`eme de Riesz). Pour un espace vectoriel norme X, les quatre propositions suivantes sont equivalentes :
(a) X est de dimension finie.
(b) La boule unite fermee de X est compacte.
(c) Toute partie bornee de X est relativement compacte.
(d) X est localement compact (cest-`a-dire 0 admet un voisinage dont ladherence est
compacte).
17

Preuve.
Puisque BX est un voisinage de 0 et une partie de X est bornee si et seulement si elle
est contenue dans une boule rBX = {x X : kxk r}, les conditions (b), (c) et (d) sont
equivalentes.
Si X est de dimension finie, dapr`es le theor`eme de Bolzano-Weierstrass, tout ferme borne
est compact. Donc (a) entrane (b).
Pour la reciproque, supposons que la boule unite fermee DX := BX = {x X :
kxk 1} de X est compacte. On pose B(x, r) := {y X : kx yk < r}. Comme
DX xDX B(x, 1/2), il existe un recouvrement fini : DX nj=1 B(xj , 1/2). Soit alors
V := V ect(x1 , , xn ) et montrons que DX est inclus dans V . Pour x DX , il existe j
{1, . . . , n} tel que x B(xj , 1/2), do`
u x xj B(0, 1/2) = 1/2BX . Donc DX V + 1/2BX .
Montrons maintenant que 1/2BX V + 1/4BX . Si x 1/2BX , alors 2x BX DX ,
do`
u 2x = v + y o`
u v V et y 1/2BX . Alors x = v/2 + y/2 V + 1/4BX .
Par recurrence sur n, on a alors DX V + 1/2n BX pour tout n N. Soit alors x DX .
Pour tout n N, il existe xn V tel que x xn 1/2n BX . Donc limn xn = x, et
DX V . Mais V est un espace vectoriel de dimension finie, donc est ferme. Alors BX V ,
donc X V , ce qui prouve que X est de dimension finie.
Corollaire 6. Lapplication identite I sur un espace de Banach X est un operateur
compact si et seulement si X est de dimension finie.
finition 5. Un operateur lineaire T : X Y est de rang fini si la dimension de son
De
image R(T ) est finie.
Corollaire 7. Un operateur lineaire de rang fini est un operateur compact.
Lemme 14. K(X, Y ) est un sous-espace vectoriel ferme de L(X, Y ).
Preuve. Il est clair que les combinaisons lineaires finies doperateurs compacts sont compacts.
Supposons donc que {Tn } K(X, Y ) est une suite doperateurs compacts, T L(X, Y ) et
kTn T kop 0. Comme Y est un espace complet, pour montrer que T K(X, Y ), il
suffit de montrer que, pour tout > 0, T (BX ) peut etre recouvert par un nombre fini
de boules B(yj , ) dans Y . Soit n N fixe tel que kTn T kop /2. Comme Tn (BX ) est
relativement compact, on peut determiner y1 , . . . , ym Y tels que Tn (BX ) m
j=1 B(yj , /2).
m
Donc T (BX ) j=1 B(yj , ).
Corollaire 8. Soit {Tn } une suite doperateurs lineaires de rang fini de X dans Y . Si
T L(X, Y ) et kTn T kop 0, alors T K(X, Y ).
Le probl`eme dapproximation de Banach concerne la reciproque du corollaire 8, cesta`-dire si tout operateur lineaire compact est la limite dans la norme doperateurs dune suite
doperateurs lineaires de rang fini. En general, la reponse est negative ; la reponse est toutefois
positive sous des hypoth`eses additionnelles, par exemple si Y est un espace de Hilbert.
ore
`me 4. Si Y est un espace de Hilbert alors tout operateur compact T : X Y
The
est limite dans L(X, Y ) dune suite doperateurs de rang fini. (Autrement dit, les operateurs
de rangs finis forment un sous-espace dense de K(X, Y ))
18

Preuve. Soit T est un operateur compact. Puisque ladherence de T (BX ) est compacte, pour
tout > 0 il existe un ensemble fini {y1 , , yn } dans Y tel que pour tout x BX il existe
j(x) tel que kT x yj(x) k . On consid`ere alors la projection P sur le sous-espace de
dimension finie Y engendre par les yj . Loperateur T := P T est alors de rang fini et
kT T kop . En effet, si x BX , alors la projection T x = P (T x) de T x est lelement
de Y de distance minimale avec T x. Donc
kT x T xk kT x yj(x) k .
Par continuite, kT x T xk pour tout x X avec kxk 1. Ainsi kT T kop .
1. Op
erateurs de Hilbert-Schmidt
Les operateurs de Hilbert-Schmidt forment une classe remarquable doperateurs compacts
sur des espaces de Hilbert.
Dans toute cette section H, H1 et H2 designant des espaces de Hilbert sur C. On supposera que tout espace de Hilbert est separable (do`
u, dans le cas de dimension infinie, toute
base est denombrable).
On rappelle la definition dadjoint dun operateur lineaire borne. Soit T L(H1 , H2 ).
Alors il existe un et un seul operateur lineaire borne T L(H2 , H1 ) verifiant pour tout
x H1 , y H2 :
hT x, yi = hx, T yi .
Loperateur T est appele operateur adjoint de T , et lon a kT kop = kT kop . En effet, dapr`es
le corollaire 5 on a :
kT kop = sup{|hT x, yi| : kxk 1, kyk 1}
= sup{|hx, T yi| : kxk 1, kyk 1}
= kT kop .
En outre, si S, T L(H1 , H2 ), alors (ST ) = T S .
finition 6. Soit T L(H1 , H2 ). On dit que T est un operateur de Hilbert-Schmidt
De
sil existe une base hilbertienne {en }
n=1 de H1 telle que

X
kT en k2 .
n=1

On note LHS (H1 , H2 ) lensemble des operateurs de Hilbert-Schmidt de H1 dans H2 .

Remarque 6. On remarque que la condition pour T L(H1 , H2 ) detre un operateur
de Hilbert-Schmidt revient au fait quil existe une base hilbertienne {en } telle que la suite
numerique {kT en k} est dans lespace de Hilbert `2 (N).
Lemme 15.
(a) Si T L(H1 , H2 ) alors pour toutes bases hilbertiennes {en } de H1
et {fn } de H2 , on a :
X
XX
X
kT en k2 =
|hT en , fm i|2 =
kT fm k2
(2)
n

(b) Si T L(H1 , H2 ) est de Hilbert-Schmidt, il en est de meme pour T .

P
2
(c) La serie
n=1 kT en k converge pour toute base hilbertienne {en } de H1 .
19

Preuve. Legalite (2) est une consequence de legalite de Bessel et du fait quon peut renverser lordre des sommations car les sommants sont positifs ou nuls. (b) et (c) suivent
immediatement de (a).
P
2
Dapr`es le lemme 15, lexpression
epend pas du choix de la base et
n=1 kT en k ne d
depend uniquement de T . On pose
#1/2
"
X
kT kHS :=
kT en k2
.
(3)
n=1

On pose aussi
hS, T iHS

X
:=
hSen , T en i .

(4)

n=1

On a
kT en k2 + kSen k2
.
2
Par consequent, la suite {hT en , Sen i} est bien sommable pour S, T LHS (H1 , H2 ).
|hT en , Sen i| kT en kkSen k

Exercice 4. Monter que, pour tout S, T LHS (H1 , H2 ), le nombre hS, T iHS est independant
du choix de la base hilbertienne {en }.
Le lemme suivant montre notamment que LHS (H1 , H2 ) est un sous-espace vectoriel de
L(H1 , H2 ).
Lemme 16. Avec la convention 0 = 0, nous avons les proprietes suivantes pour tout
S, T L(H1 , H2 ) et tout C :
(a) kT + SkHS kT kHS + kSkHS ,
(b) kT kHS = ||kT kHS .
(c) kST kHS kSkop kT kHS et kT SkHS kT kHS kSkop .
(d) kT kop kT kHS .
Preuve. Dans toutes les relations, si kT kHS = + (ou kSkHS = + dans la premi`ere),
alors les relations sont clairement satisfaites. On suppose donc que nos operateurs sont tous
dimage finie par k kHS .
Dapr`es la remarque 6, linegalite dans (a) correspond a` linegalite de Minkowski pour
2
` (N).
Legalite (b) est clairement vraie.
Pour la base hilbertienne {en } de H1 on a
X
X
X
kST en k2 =
kS(T en )k2 kSk2op
kT en k2 ,
n

ce qui preuve la premi`ere inegalite de (c). Pour la deuxi`eme, on remarque que dapr`es le
lemme 15 on a
kT SkHS = k(T S) kHS = kS T kHS kS kop kT kHS = kSkop kT kHS .
20

Il nous reste a` prouver la derni`ere inegalite. Soit x H1 avec kxk = 1. On consid`ere une
base hilbertienne {en } pour H1 telle que e0 = x. Alors on a
X
kT xk2 = kT e0 k2
kT en k2 = kT k2HS .
n

Donc kT kop = sup{kT xk : kxk = 1} kT kHS .

ore
`me 5. (LHS (H1 , H2 ), h, iHS ) est un espace de Hilbert.
The
Preuve. Dapr`es le lemme 16, LHS (H1 , H2 ) est un espace vectoriel sur C, sous-espace vectoriel
de L(H1 , H2 ). Nous laissons au lecteur le soin de verifier que h, iHS est un produit scalaire
sur LHS (H1 , H2 ). Supposons que {Tn } est une suite de Cauchy de LHS (H1 , H2 ). Dapr`es
lemme 16, (d), elle est aussi une suite de Cauchy de L(H1 , H2 ), donc convergente : il existe
T L(H1 , H2 ) tel que kTn T kop 0. Soit {ej } une base hilbertienne de H1 . Pour > 0
il existe N N tel que kTn Tm kHS < pour tout n, m N . Pour tout k N on a (pour
n N fixe)
k
X

k(T Tn )ej k =

k
X

j=1

j=1

lim k(Tm Tn )ej k2

= lim

k
X

k(Tm Tn )ej k2

j=1

,
do`
u kT Tn kHS . Ceci montre que T LHS (H1 , H2 ) et kT Tn kHS 0.
ore
`me 6.
The
(1) Tout operateur de rang fini est de Hilbert-Schmidt.
(2) T L(H1 , H2 ) est de Hilbert-Schmidt si et seulement sil existe une suite {Tn }
doperateurs de rangs finis telle que kTn T kHS tend vers 0 quand n tend vers
linfini. (Autrement dit, les operateurs de rangs finis forment un sous-espace dense
de LHS (H1 , H2 )).
Preuve. Si T est de rang fini alors on peut trouver une base hilbertienne {en } telle que
{e1 , , ek } soit une base de ker(T ) et {ek+1 , } soit une base de ker(T ). Dans cette base
on peut alors ecrire
k
X
kT k2HS =
kT en k2 < +.
n=1

Ainsi tout operateur de rang fini est de Hilbert-Schmidt.

Soit maintenant T un operateur de Hilbert-Schmidt et soit {en } une base hilbertienne
de H1 . Pour tout N N on definit loperateur lineaire TN de rang fini par
(
T en si n N
TN en :=
0
sinon.
En calculant lexpression kTN T kHS dans la base {en }, on obtient
X
kT TN k2HS =
kT en k2 ,
n>N

21

qui tend vers 0 lorsque N tend vers linfini comme reste dune serie convergente.
Corollaire 9. Tout operateur de Hilbert-Schmidt est un operateur compact. De plus,
LHS (H1 , H2 ) est dense dans K(H1 , H2 ) pour la norme doperateurs.
Preuve. Cest une consequence immediate du theor`eme 6, du corollaire 8. et du theor`eme 4.
1.1. Op
erateurs `
a noyau. Dans ce paragraphe nous donnons un exemple explicite et
important doperateurs de Hilbert-Schmidt. Soient I, J deux intervalles de R et soit K :
I J C une fonction mesurable. Pour une fonction mesurable f : J C on pose
formellement
Z
(TK f )(x) := K(x, y)f (y) dy,
(5)
J

lorsque cela a un sens.

Proposition 2. Si K L2 (I J), alors K(x, ) L2 (J) pour presque tout x et, pour
tout f L2 (J), la fonction TK f
est bien definie presque partout et est un element de L2 (I).
De plus, TK LHS L
2 (J), L2 (I) et lapplication K 7 TK est une isometrie de L2 (I J)
sur LHS L2 (J), L2 (I) .
Preuve. On remarque dabord que pour tout g L2 (I) on a
hTK f, gi = hK, g f i

(6)

o`
u (g f )(x, y) := g(x)f (y). Donc, si K = K 0 presque partout, alors TK = TK 0 , do`
u la
definition R(5)Rnest pas ambigu
 e.
R
On a I J |K(x, y)|2 dy dx < , do`
u J |K(x, y)|2 dy < pour presque tout x.
Dapr`es linegalite de Schwarz, on a donc
Z



 K(x, y)f (y) dy  kK(x, )k2 kf k2


J

et
kTK f k22

|(TK f )(x)|2 dx
I
2
Z Z


=  K(x, y)f (y) dy  dx
I
J
Z
2
kf k2 kK(x, )k22 dx
=

I
2
kf k2 kKk22

Ceci montre que lorsque f L2 (J), la fonction TK f est bien definie presque partout et
quelle est de carre integrable. TK est clairement une operateur lineaire, et le calcul ci-dessus
montre quil est borne et que kTK kop kKk2 .
On rappelle que si I est un intervalle reel, alors L2 (I) est un espace de Hilbert separable.
Soient {en } et {fm } des bases hilbertiennes de L2 (I) et L2 (J) respectivement. En calculant
kTK kHS , on obtient :
XX
kTK k2HS =
|hTK en , fm i|2 .
n

22

Dapr`es (6) on a :
hTK en , fm i = hK, en,m i

(7)

o`
u en,m := fm en .
On prouve maintenant que {en,m } est une base hilbertienne de L2 (I J). Pour montrer
quil sagit dun syst`eme orthonorme, on calcule
Z
hen,m , ep,q i =
fm (y)en (x)fq (y)ep (x) dx dy
IJ

= hfm , fq ihep , en i
= m,q p,n .
Le syst`eme est complet, donc une base hilbertienne : en effet, si K L2 (I J) est orthogonal
a` tout element en,m , alors le calcul ci-dessus montre que loperateur TK associe a` K est nul
et donc que pour presque tout x
X
X
K(x, ) =
hK(x, ), en ifn =
TK en (x)en = 0 ,
n

ce qui entrane K = 0.
Puisque {en,m } est une base hilbertienne de L2 (I J), on deduit de (7) que
XX
X
kTK k2HS =
|hTK en , fm i|2 =
|hK, en,m i|2 = kKk22 .
n

n,m

Ceci prouve que TK LHS (H1 , H2 ) et que kTK kHS = kKk2 . Donc K 7 TK est un isometrie
de L2 (I J) dans LHS (H1 , H2 ).
On montre enfin que cette isometrie est surjective. Soit T LHS (H1 , H2 ) dans lorthogonal de {TK : K L2 (I J)}. Si K = en,m , alors, dapr`es (5), on a


Ten,m ep (x) = hen,m (x, ), ep i = fm (x)n,p
et donc
0 = hT, Ten,m iHS =

X
hT ep , Ten,m ep i = hT en , fm i
p

Puisque {fm } et {en } sont des bases hilbertiennes, on conclut que T = 0, do`
u K 7 TK est
une isometrie surjective.

23

CHAPITRE 3

Th
eorie spectrale des op
erateurs compacts autoadjoints sur un
espace de Hilbert
Dans ce chapitre H designe un espace de Hilbert sur K o`
u K = R ou C.
finition 7. Soit T L(H).
De
Le spectre de T est lensemble (T ) des K tels que T I nest pas bijectif sur H.
Lensemble resolvant de T est le complementaire (T ) du spectre (T ).
Le spectre ponctuel de T est le sous-ensemble p (T ) des (T ) tels que ker(T I) 6=
{0}. Les elements de p (T ) sont appeles les valeurs propres de T .
On note E (T ) := ker(T I). La dimension de E (T ) sappelle la multiplicite de la
valeur propre .
Remarque 7. Si (T ), alors (T I)1 L(H) dapr`es le corollaire 1.
Remarque 8. En dimension finie, on a toujours (T ) = p (T ) car une application
lineaire injective est automatiquement bijective. En revanche, en dimension infinie, lensemble
p (T ) peut etre une sous-ensemble propre de (T ). Soit par exemple H = `2 (N) lespace de
Hilbert des suites numeriques de carre sommable et soit T : (x1 , x2 , . . . ) 7 (0, x1 , x2 , . . . )
loperateur de shift. Alors T est injectif mais pas surjectif, do`
u 0 (T ) \ p (T ).
Le theor`eme suivant nous assure que pour les operateurs compacts on a (T ) {0}
p (T ).
ore
`me 7 (Alternative de Fredholm). Soit T K(H). Si ker(I T ) = {0}, alors
The
I T est bijectif.
Preuve. Voir p.ex. [Br83], theor`eme VI.6, c).
Proposition 3. Soit T K(H).
(a) Si H est de dimension infinie alors 0 (T ).
(b) Si 0 6= (T ), alors p (T ).
Preuve. Supposons que 0
/ (T ). Alors T est inversible et son inverse T 1 est borne dapr`es
le corollaire 1. Donc I = T T 1 est compact grace au lemme 12 . Par consequent, H est de
dimension finie dapr`es le corollaire 6. Ceci prouve (a). Pour demontrer (b), supposons que
6= 0 est dans (T ). Alors loperateur T I nest pas inversible. Dapr`es lalternative de
Fredholm, cet operateur nest pas injectif et donc p (T ).
Proposition 4. Soit T K(H) et soit 0 6= (T ). Alors E (T ) est un sous-espace
vectoriel non trivial de H et est de dimension finie.
Preuve. Loperateur T preserve le sous-espace propre E (T ) et sa restriction a` ce sous-espace
ferme de H concide avec lhomothetie I. Dautre part, la boule unite fermee D de E (T )
25

est un ferme de la boule unite fermee de H. Il sagit donc dun ferme borne de H, do`
u
T (D) est un compact de H. Or cette image est la boule fermee de rayon || de E (T ). Par
consequent, E (T ) doit etre de dimension finie dapr`es le lemme 13.
finition 8. Soit T L(H). On dit que T est autoadjoint si T = T , cest-`a-dire si
De
hT x, yi = hx, T yi
pour tout x, y H.
Lemme 17. Soit T L(H) un operateur autoadjoint.
(a) Les valeurs propres de T sont reels.
(b) Si et sont des valeurs propres distinctes de T , alors les sous-espaces propres
correspondants sont orthogonaux.
Preuve. Soit x 6= 0 un vecteur propre de T de valeur propre : T x = x. Alors
hx, xi = hx, xi = hT x, ui = hx, T xi = hx, xi = hx, xi
do`
u = est un reel. Pour (b), soient x et y vecteurs propres de et respectivement.
Alors
hx, yi = hT x, yi = hx, T yi = hx, yi .
Puisque 6= , on en deduit que hx, yi = 0.
ore
`me 8. Soit T L(H) un operateur autoadjoint compact. Alors, ou bien kT kop ,
The
ou bien kT kop est une valeur propre de T .
Preuve. Le theor`eme etant trivialement vrai pour T = 0, on supposera dans la suite que
T 6= 0.
Dapr`es le corollaire 5 on a
kT kop = sup{|hT x, xi| : kxk 1} .
Puisque les nombres hT x, xi sont reels, on peut supposer, quitte `a remplacer T par T , que
kT kop = sup{hT x, xi : kxk 1} .
Montrons que dans ce cas := kT kop est une valeur propre de T . Soit {xn } une suite dans
H telle que limn hT xn , xn i = et kxn k = 1 pour tout n. Puisque A est compact, en
extrayant une sous-suite si necessaire, on peut supposer que {T xn } est convergente : soit
y = limn T xn . De
kT xn xn k2 = kT xn k2 2hT xn , xn i + 2
on obtient
lim kT xn xn k2 = kyk2 22 + 2 = kyk2 2 .

(8)

Mais, puisque kT xn k kT kop kxn k = pour tout n, on a kyk = limn kT xn k . Donc,

dapr`es (8), limn kT xn xn k2 = 0 et kyk = 6= 0. Pour > 0 soit N N tel que pour
tout n N, kT xn yk < et kT xn xn k < . Alors ky xn k < 2. Par consequent {xn }
est une suite convergente et, si x = limn xn , alors T x = y = x. En particulier, x 6= 0 car
y 6= 0, donc est une valeur propre de T .

26

ore
`me 9 (Theor`eme spectral). Soit T un operateur autoadjoint compact.
The
(a) Les valeurs propres non-nulles de T forment une suite {n } qui est finie ou qui tend
vers 0. En outre, kT kop = |1 | |2 | . . . est une suite decroissante.
(b) Soit En (T ) le sous-espace propre de valeur propre n . Alors En (T ) est de dimension
finie.
(c) Soit Pn loperateur de projection sur En (T ). Alors
T =

N
X

n Pn

n=1

si le nombre N des valeurs propres non-nulles de T est fini, et sinon

X
T =
n Pn .
n=1

(d) H = ker(T )

En (T ).

Preuve. Dapr`es le theor`eme 8, T admets une valeur propre 1 R telle que |1 | = kT kop ,
et dapr`es la proposition 4, la multiplicite de chaque valeur propre non-nulle est finie.
Loperateur T1 := T 1 P1 est autoadjoint et compact. En outre kT1 kop kT kop car
T1 = T sur lorthogonal de E1 (T ) et T1 = 0 sur E1 (T ). En iterant le procede, ou bien on
P
trouve un naturel N tel que TN = 0, et alors T = N
n=1 n Pn , ou bien la suite {n } est
infinie. On montre que, dans ce cas, la suite converge vers 0. On remarque que la suite {|n |}
est decroissante par construction. Supposons que {n } ne converge pas vers 0. Alors il existe
> 0 tel que |n | pour tout n. Soit xn En (T ) tel que kxn k = 1. Puisque T est
compact, la suite T xn admet une sous-suite convergente, ce qui est impossible car (dapr`es
lorthogonalite des sous-espaces propres associes `a valeurs propres differentes)
kT xn T xm k2 = kn xn m xm k2 = 2n + 2m 22 .
P
P
uT =
Par consequent, T = N
n=1 n Pn .
n=1 n Pn + TN +1 avec kTN +1 kop = |N +1 | 0, do`
La decomposition de H est une consequence directe de ce qui prec`ede.

27

Bibliographie
[Br83] Brezis, Ham. Analyse fonctionnelle. Theorie et applications. Masson, Paris, 1983.
[CH89] R. Courant and D. Hilbert. Methods of mathematical physics. Vol. I and II. Wiley Classics Library.
John Wiley & Sons Inc., New York, 1989. First edited in 1924 (in german), Reprint of the 1962 original
(third edtion), A Wiley-Interscience Publication.
[CH93] R. Courant and D. Hilbert. Methoden der mathematischen Physik. I und II. Springer-Verlag, 1993.
Vierte Auflage (Erste Auflage 1924).
[DS88] Nelson Dunford and Jacob T. Schwartz. Linear operators. Part I, II and III. Wiley Classics Library.
John Wiley & Sons Inc., New York, 1988. General theory, With the assistance of William G. Bade
and Robert G. Bartle, Reprint of the 1958 original, A Wiley-Interscience Publication.
[Fa06] Faraut, Jacques. Analyse sur les groupes de Lie. Calvage & Mounet, Paris, 2006.
[Fo99] Folland, Gerald B. Real analysis. Modern techniques and their applications. Second edition, John
Wiley & Sons, Inc., New York, 1999.
[OS77] Osborne, M. Scott. Spectral theory and uniform lattices. Lecture Notes, University of Washington,
June 1977.
[RS80] Michael Reed and Barry Simon. Methods of modern mathematical physics. I, II, III and IV. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, second edition, 1980. Functional
analysis.
[Ru95] Rudin, Walter. Analyse fonctionnelle. Ediscience International, 1995.
[ST67] Singer, I.M. et Thorpe, J.A. Lecture notes on elementary topology and geometry, Springer-Verlag,
New York, 1967.

29