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.

102 14. EIGENFUNCTION EXPANSIONS<br />

We can now show that the resolvent is an <strong>in</strong>tegral operator. First<br />

note that if T is a selfadjo<strong>in</strong>t realization of (13.1), i.e., a selfadjo<strong>in</strong>t<br />

restriction of T1, then sett<strong>in</strong>g HT = D(T ) the resolvent Rλ of the operator<br />

part ˜ T of T is an operator on HT , def<strong>in</strong>ed for λ ∈ ρ( ˜ T ). We def<strong>in</strong>e<br />

the resolvent set ρ(T ) = ρ( ˜ T ) and extend Rλ to all of L2 W by sett<strong>in</strong>g<br />

RλH∞ = 0, and it is then clear that the resolvent has all the properties<br />

of Theorems 5.2 and 5.3; the only difference is that the resolvent<br />

is perhaps no longer <strong>in</strong>jective. Given u ∈ L 2 W<br />

we obta<strong>in</strong> the element1<br />

(Rλu, λRλu+u) ∈ T1, so we may also view the resolvent as an operator<br />

˜Rλ : L 2 W → T1. This operator is bounded s<strong>in</strong>ce (Rλu, λRλu+u)W ≤<br />

((1 + |λ|)Rλ + 1)uW . Hence ˜ Rλ ≤ (1 + |λ|)Rλ + 1, where Rλ<br />

is the norm of Rλ as an operator on HT . It is also clear that the analyticity<br />

of Rλ implies the analyticity of ˜ Rλ. We obta<strong>in</strong> the follow<strong>in</strong>g<br />

theorem.<br />

Theorem 14.2. Suppose I is an arbitrary <strong>in</strong>terval, and that T is a<br />

selfadjo<strong>in</strong>t realization <strong>in</strong> L2 W of the system (13.1), satisfy<strong>in</strong>g Assumption<br />

13.7. Then the resolvent Rλ of T may be viewed as a bounded<br />

to C(K), for any compact sub<strong>in</strong>terval K of I,<br />

l<strong>in</strong>ear map from L2 W<br />

which depends analytically on λ ∈ ρ(T ), <strong>in</strong> the uniform operator topology.<br />

Furthermore, there exists Green’s function G(x, y, λ), an n × n<br />

matrix-valued function, such that Rλu(x) = 〈u, G∗ (x, ·, λ)〉W for any<br />

u ∈ L2 W . The columns of y ↦→ G∗ (x, y, λ) are <strong>in</strong> HT = D(T ) for any<br />

x ∈ I.<br />

Proof. We already noted that ρ(T ) ∋ λ ↦→ ˜ Rλ ∈ B(L 2 W , T1) is<br />

analytic <strong>in</strong> the uniform operator topology. Furthermore, the restriction<br />

operator IK : T1 → C(K) is bounded and <strong>in</strong>dependent of λ. Hence<br />

ρ(T ) ∋ λ → IK ˜ Rλ is analytic <strong>in</strong> the uniform operator topology. In<br />

particular, for fixed λ ∈ ρ(T ) and any x ∈ I, the components of the<br />

l<strong>in</strong>ear map L 2 W ∋ u ↦→ (IK ˜ Rλu)(x) = Rλu(x) are bounded l<strong>in</strong>ear forms.<br />

By Riesz’ representation theorem we have Rλu(x) = 〈u, G ∗ (x, ·, λ)〉W ,<br />

where the columns of y ↦→ G ∗ (x, y, λ) are <strong>in</strong> L 2 W . S<strong>in</strong>ce Rλu = 0 for<br />

u ∈ H∞ it follows that the columns of G ∗ (x, ·, λ) are actually <strong>in</strong> HT<br />

for each x ∈ I. <br />

Among other th<strong>in</strong>gs, Theorem 14.2 tells us that if uj → u <strong>in</strong> L 2 W ,<br />

then Rλuj → Rλu <strong>in</strong> C(K), so that Rλuj converges locally uniformly.<br />

This is actually true even if uj just converges weakly, but we only need<br />

is the follow<strong>in</strong>g weaker result.<br />

Lemma 14.3. Suppose Rλ is the resolvent of a selfadjo<strong>in</strong>t relation<br />

T as above. Then if uj ⇀ 0 weakly <strong>in</strong> L 2 W , it follows that Rλuj → 0<br />

po<strong>in</strong>twise and locally boundedly.<br />

1 u = uT + u∞ with uT ∈ HT and (0, u∞) ∈ T and ˜ T RλuT = ( ˜ T − λ)RλuT +<br />

λRλuT = uT + λRλu. Thus (Rλu, λRλu + u) = (Rλu, λRλu + uT ) + (0, u∞) ∈ T ⊂<br />

T1.

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

Saved successfully!

Ooh no, something went wrong!