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.

15. SINGULAR PROBLEMS 107<br />

the double <strong>in</strong>tegral be<strong>in</strong>g absolutely convergent. Similarly<br />

<br />

〈u, Rλv〉W = v ∗ (x)W (x)G ∗ (y, x, λ)W (y)u(y) dxdy,<br />

and s<strong>in</strong>ce the <strong>in</strong>tegrals are equal by Theorem 5.2 (2) and G(x, y, λ) −<br />

G ∗ (y, x, λ) = F (x, λ)(M(λ) − M ∗ (λ))F ∗ (y, λ) we obta<strong>in</strong><br />

〈F (·, λ), v〉W (M(λ) − M ∗ (λ))〈u, F ∗ (·, λ)〉W = 0.<br />

By Assumption 13.7 this implies that M(λ) = M ∗ (λ) and thus (4).<br />

F<strong>in</strong>ally, to prove (5) we use the resolvent relation Theorem 5.2(3).<br />

For u ∈ L2 W this gives<br />

〈u, G ∗ (x, ·, λ) − G ∗ (x, ·, µ)〉W = Rλu(x) − Rµu(x)<br />

Now<br />

Thus<br />

= (λ − µ)RλRµu(x) = (λ − µ)〈Rµu, G ∗ (x, ·, λ)〉W<br />

= 〈u, (λ − µ)RµG ∗ (x, ·, λ)〉W .<br />

RµG ∗ (x, ·, λ)(y) = 〈G ∗ (x, ·, λ), G ∗ (y, ·, µ)〉W .<br />

G(x, y, λ) − G(x, y, µ) = (λ − µ)〈G ∗ (y, ·, µ), G ∗ (x, ·, λ)〉W<br />

= (λ − µ)RλG ∗ (y, ·, µ)(x),<br />

s<strong>in</strong>ce both sides are clearly <strong>in</strong> D(T ). This proves (5). <br />

Before we proceed, we note the follow<strong>in</strong>g corollary, which completes<br />

our results for the case of a discrete spectrum.<br />

Corollary 15.3. Suppose for some non-real λ that all solutions<br />

of Ju ′ + Qu = λW u and Ju ′ + Qu = λW u are <strong>in</strong> L2 W . Then for any<br />

selfadjo<strong>in</strong>t realization T the resolvent of T is compact.<br />

In other words, if the deficiency <strong>in</strong>dices are maximal, then the resolvent<br />

is compact. Actually, the assumptions are here a bit stronger<br />

than needed. In fact, it is not difficult to show (Exercise 15.1) that if<br />

all solutions are <strong>in</strong> L2 W for some λ, real or not, then the same is true<br />

for all λ.<br />

Proof. One could use a version of Theorem 8.7 valid for L2 W<br />

and show that Rλ is a <strong>Hilbert</strong>-Schmidt operator. Here is an alternative<br />

proof. Suppose uj ⇀ 0 weakly <strong>in</strong> L2 W and let I = (a, b).<br />

Then x<br />

a F ∗ (y, λ)W (y)uj(y) dy and b<br />

x F ∗ (y, λ)W (y)uj(y) dy are both<br />

bounded uniformly with respect to x by Cauchy-Schwarz and s<strong>in</strong>ce the<br />

columns of F (·, λ) are <strong>in</strong> L2 W . The latter fact also shows that the <strong>in</strong>tegrals<br />

tend po<strong>in</strong>twise to 0 as j → ∞. S<strong>in</strong>ce also the columns of F (·, λ)<br />

are <strong>in</strong> L2 W it follows that Rλuj → 0 strongly <strong>in</strong> L2 W by dom<strong>in</strong>ated<br />

convergence.

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

Saved successfully!

Ooh no, something went wrong!