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