Exercice 2.6: Théorème spectral dans le cas compact auto-adjoint
Dans tout ce qui suit, on fixe un espace de Hilbert séparable Het un opérateur compact TLH
auto-adjoint : T T . Le but de l’exercice est de démontrer l’existence d’une base hilbertienne xnnN
de Het d’une suite αnnRNtendant (éventuellement) vers 0 telle que T xnαnxnpour tout n.
1. Montrer que vp TRen utilisant l’auto-adjonction de T.
2. Vérifier que si λ1λ2sont deux valeurs propres associés à deux vecteurs propres e1et e2de T,
alors e1et e2sont orthogonaux.
3. Soit ε0. Montrer que Iε:λvp T:λ ε est fini.
Indication : Dans le cas contraire exhiber une suite de vecteurs propres infinie et orthonormée puis
utiliser la compacité prétendue de T.
4. En déduire que vp Test au plus dénombrable et que le seul point d’accumulation possible est 0.
On notera donc vp T0 : λ1,...,λn,... de sorte que la suite λppNest soit stationnaire soit
convergente vers 0.
5. On pose FVect Eλ:λvp T, où Eλ: Ker T λIdHdésigne l’espace propre associé à
λvp T.
(a) Vérifier que si λ0, Eλest de dimension finie.
(b) Montrer que Fest stable par l’opérateur T.
(c) Montrer que l’opérateur induit TFest diagonalisable au sens suivant : il existe une suite xnn
de vecteurs propres de cet opérateur formant une base hilbertienne de F, la suite des valeurs
propres associées αnntendant (éventuellement) vers 0.
(d) Vérifier que Tstabilise aussi F.
6. Montrons maintenant que pour tout opérateur compact auto-adjoint TLH, vp T(si
H0 ).
(a) Vérifier que pour tout xH,T x , x R. On pose M: sup x1T x , x .
(b) Montrer que si Mest nul, Taussi (et donc vp T), on suppose par la suite Tnon nul.
(c) Soit xnnNtelle que xn1 et lim
nT xn, xnM. Montrer que l’on peut extraire de
xnnNune sous-suite xnkkNconvergeant faiblement vers un élément xde la boule unité
fermée de Het telle que T xnkkNconverge fortement vers Tx H.
(d) En déduire que T x , x M et x1. Quitte à considérer Ton suppose par la suite
que T x , x M.
(e) Soit zHunitaire, orthogonal à x. Vérifier que la courbe γ:π, π t x cos t z sin test
à valeurs dans la sphère unité de H.
(f) On pose Φ : Hy T y , y R. Montrer que Φ γ:R R est dérivable en 0, et calculer
cette dérivée.
Indication : On écrira pour t0
Φγ t Φγ0
tTγt γ0
t, γ t T γ 0,γt γ 0
t
(g) En notant que γest maximale en 0, en déduire finalement que x T x , puis que T x
et xsont proportionnels.
7. Conclure.
Exercice 2.7:
3