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.

46 8. COMPACTNESS<br />

weakly convergent sequences are bounded (Theorem 3.9), any subsequence<br />

of {Auj} ∞ 1 has a convergent subsequence. Suppose Aujk → v.<br />

Then for any w ∈ H we have 〈v, w〉 = lim〈Aujk , w〉 = lim〈ujk , A∗w〉 =<br />

〈u, A∗w〉 = 〈Au, w〉, so that v = Au. Hence the only po<strong>in</strong>t of accumulation<br />

of {Auj} ∞ 1 is Au, so Auj → Au1 . This completes the proof<br />

of (1). We leave the rest of the proof as an exercise for the reader<br />

(Exercise 8.1). <br />

Theorem 8.3. Suppose T is selfadjo<strong>in</strong>t and its resolvent Rµ is<br />

compact for some µ. Then Rλ is compact for all λ ∈ ρ(T ), and T has<br />

discrete spectrum, i.e., σ(T ) consists of isolated eigenvalues with f<strong>in</strong>ite<br />

multiplicity.<br />

Proof. By the resolvent relation Rλ = (I + (λ − µ)Rλ)Rµ where<br />

I is the identity so the first factor to the right is bounded. Hence Rλ<br />

is compact by Theorem 8.2.3.<br />

<br />

∆<br />

Now let ∆ be a bounded <strong>in</strong>terval. If u ∈ E∆H then Rλu 2 =<br />

d〈Etu,u〉<br />

|t−λ| 2<br />

≥ Ku 2 where K = <strong>in</strong>ft∈∆|t − λ| −2 > 0 (verify this calcu-<br />

lation!). We have Rλuj → 0 if uj ⇀ 0, so the <strong>in</strong>equality shows that<br />

any weakly convergent sequence <strong>in</strong> E∆H is strongly convergent (the<br />

identity operator is compact). This implies that E∆H has f<strong>in</strong>ite dimension<br />

(for example s<strong>in</strong>ce an orthonormal sequence converges weakly<br />

to 0 but is not strongly convergent). In particular eigenspaces are<br />

f<strong>in</strong>ite-dimensional. It also follows that any bounded <strong>in</strong>terval can only<br />

conta<strong>in</strong> a f<strong>in</strong>ite number of po<strong>in</strong>ts of <strong>in</strong>crease for Et, because projections<br />

belong<strong>in</strong>g to disjo<strong>in</strong>t <strong>in</strong>tervals have orthogonal ranges (Exercise 8.2).<br />

This completes the proof. <br />

Resolvents for different selfadjo<strong>in</strong>t extensions of a symmetric operator<br />

are closely related. In particular, we have the follow<strong>in</strong>g theorem.<br />

Theorem 8.4. Suppose a densely def<strong>in</strong>ed symmetric operator T0<br />

has a selfadjo<strong>in</strong>t extension with compact resolvent and that dim Dλ <<br />

∞ for some λ ∈ C \ R. Then every selfadjo<strong>in</strong>t extension of T0 has<br />

compact resolvent.<br />

Proof. Let Im λ = 0 and Rλ, ˜ Rλ be resolvents of selfadjo<strong>in</strong>t extensions<br />

of T0. Then A = Rλ − ˜ Rλ has its range <strong>in</strong> Dλ, s<strong>in</strong>ce Rλu and<br />

˜Rλu both solve the equation T ∗ 0 v = λv + u. It follows that A is a compact<br />

operator, s<strong>in</strong>ce if {uj} ∞ 1 is a bounded sequence <strong>in</strong> H, then {Auj} ∞ 1<br />

is a bounded sequence <strong>in</strong> a f<strong>in</strong>ite-dimensional space. By the Bolzano-<br />

Weierstrass theorem there is therefore a convergent subsequence. If ˜ Rλ<br />

is compact it therefore follows that Rλ = ˜ Rλ + A is compact. <br />

1 If not, there would be a neighborhood O of Au and a subsequence of {Auj} ∞ j=1<br />

that were outside O. But we could then f<strong>in</strong>d a convergent subsequence which does<br />

not converge to Au.

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

Saved successfully!

Ooh no, something went wrong!