Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CHAPTER 8<br />
Compactness<br />
If a selfadjo<strong>in</strong>t operator T has a complete orthonormal sequence of<br />
eigen-vectors e1, e2, . . . , then for any f ∈ H we have f = ˆ fjej where<br />
ˆfj = 〈f, ej〉 are the generalized Fourier coefficients; we have a generalized<br />
Fourier series. However, σp(T ) can still be very complicated; it<br />
may for example be dense <strong>in</strong> R (so that σ(T ) = R), and each eigenvalue<br />
can have <strong>in</strong>f<strong>in</strong>ite multiplicity. We have a considerably simpler<br />
situation, more similar to the case of the classical Fourier series, if the<br />
resolvent is compact.<br />
Def<strong>in</strong>ition 8.1.<br />
• A subset of a <strong>Hilbert</strong> space is called precompact (or relatively<br />
compact) if every sequence of po<strong>in</strong>ts <strong>in</strong> the set has a strongly<br />
convergent subsequence.<br />
• An operator A : H1 → H2 is called compact if it maps<br />
bounded sets <strong>in</strong>to precompact ones.<br />
Note that <strong>in</strong> an <strong>in</strong>f<strong>in</strong>ite dimensional space it is not enough for a set<br />
to be bounded (or even closed and bounded) for it to be precompact.<br />
For example, the closed unit sphere is closed and bounded, and it<br />
conta<strong>in</strong>s an orthonormal sequence. But no orthonormal sequence has<br />
a strongly convergent subsequence!<br />
The second po<strong>in</strong>t means that if {uj} ∞ 1 is a bounded sequence <strong>in</strong> H1,<br />
then {Auj} ∞ 1 has a subsequence which converges strongly <strong>in</strong> H2.<br />
Theorem 8.2.<br />
(1) The operator A is compact if and only if every weakly convergent<br />
sequence is mapped onto a strongly convergent sequence.<br />
Equivalently, if uj ⇀ 0 implies that Auj → 0.<br />
(2) If A : H1 → H2 is compact and B : H3 → H1 bounded, then<br />
AB is compact.<br />
(3) If A : H1 → H2 is compact and B : H2 → H3 bounded, then<br />
BA is compact.<br />
(4) If A : H1 → H2 is compact, then so is A ∗ : H2 → H1.<br />
Proof. If uj ⇀ u then uj − u ⇀ 0, and if A(uj − u) → 0 then<br />
Auj → Au. Thus the last statement of (1) is obvious. By Theorem 3.9<br />
every bounded sequence has a weakly convergent subsequence, so if A<br />
maps weakly convergent sequences <strong>in</strong>to strongly convergent ones, then<br />
A is compact. Conversely, suppose uj ⇀ u and A is compact. S<strong>in</strong>ce<br />
45