06.04.2013 Views

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!