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.
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.