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.

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.

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

Saved successfully!

Ooh no, something went wrong!