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.
106 15. SINGULAR PROBLEMS<br />
We obta<strong>in</strong><br />
0 = u(x) = Rλ(v − λu)(x) = 〈v − λu, G ∗ (x, ·, λ)〉W<br />
= 〈v, G ∗ (x, ·, λ)〉W − 〈u, λG ∗ (x, ·, λ)〉W .<br />
But accord<strong>in</strong>g to Lemma 13.6 this means that each column of y ↦→<br />
G ∗ (x, y, λ) is <strong>in</strong> the doma<strong>in</strong> of the maximal relation for (13.1) on the<br />
<strong>in</strong>tervals I ∩ (−∞, x) and I ∩ (x, ∞) and satisfies the equation Ju ′ +<br />
Qu = λW u on these <strong>in</strong>tervals, so (2) follows. It also follows that we<br />
have<br />
G ∗ (x, y, λ) =<br />
<br />
F (y, λ)P ∗ +(x, λ), y < x<br />
F (y, λ)P ∗ −(x, λ), y > x,<br />
for some n × n matrix-valued functions P+ and P−.<br />
If u is compactly supported and <strong>in</strong> L2 W we have, for x outside the<br />
convex hull of the support of u,<br />
(15.2) Rλu(x) = P±(x, λ)〈u, F (·, λ)〉W .<br />
The function v = Rλu satisfies the equation Jv ′ + Qv = λW v + W u,<br />
so we may write P±(x, λ) = F (x, λ)H±(λ), and s<strong>in</strong>ce Rλu ∈ D(T )<br />
it certa<strong>in</strong>ly satisfies the boundary conditions determ<strong>in</strong><strong>in</strong>g T . If the<br />
support of u is large enough the scalar product <strong>in</strong> (15.2) can be any<br />
column vector, <strong>in</strong> view of Assumption 13.7, so for every y each column<br />
of x ↦→ G(x, y, λ) also satisfies the boundary conditions determ<strong>in</strong><strong>in</strong>g T .<br />
This proves (3). If the endpo<strong>in</strong>ts of I are a and b respectively we now<br />
have<br />
x<br />
<br />
Rλu(x) = F (x, λ)<br />
Differentiat<strong>in</strong>g this we obta<strong>in</strong><br />
JRλu ′ + (Q − λW )Rλu<br />
a<br />
H+(λ)F ∗ (·, λ)W u +<br />
b<br />
x<br />
H−(λ)F ∗ (·, λ)W u .<br />
= JF (x, λ)(H−(λ) − H+(λ))F ∗ (x, λ)W (x)u(x),<br />
so JF (x, λ)(H−(λ) − H+(λ))F ∗ (x, λ) should be1 the unit matrix. In<br />
view of the fact that JF (x, λ) is the <strong>in</strong>verse of J −1F ∗ (x, λ) this means<br />
that H−(λ) − H+(λ) = J −1 . If we def<strong>in</strong>e M(λ) = (H−(λ) + H+(λ))/2<br />
we now obta<strong>in</strong> (15.1).<br />
If now u and v both have compact supports we have<br />
<br />
〈Rλu, v〉W = v ∗ (x)W (x)G(x, y, λ)W (y)u(y) dxdy,<br />
1 Actually, one must aga<strong>in</strong> argue us<strong>in</strong>g Assumption 13.7. We leave the details<br />
to the reader.