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.

112 15. SINGULAR PROBLEMS<br />

<strong>in</strong> the proof of Lemma 15.8) that <br />

K F (x, t)dP (t) û(t) converges <strong>in</strong> L2W as K → R through compact <strong>in</strong>tervals; call the limit u1. If v ∈ L2 W , ˆv<br />

is its generalized Fourier transform, K is a compact <strong>in</strong>terval, and L a<br />

compact sub<strong>in</strong>terval of I, we have<br />

<br />

( F ∗ (x, t)W (x)v(x) dx) ∗ dP (t) û(t)<br />

K<br />

L<br />

<br />

=<br />

L<br />

v ∗ <br />

(x)W (x)<br />

K<br />

F (x, t)dP (t) û(t) dx<br />

by absolute convergence. Lett<strong>in</strong>g L → I and K → R we obta<strong>in</strong><br />

〈û, ˆv〉P = 〈u1, v〉W . If û is the transform of u, then by Lemma 15.8<br />

u1 − u is orthogonal to HT , so u1 = PT u. Similarly, u1 = 0 precisely if<br />

û is orthogonal to all transforms. <br />

We have shown the <strong>in</strong>verse transform to be the adjo<strong>in</strong>t of the transform<br />

as an operator from L2 W <strong>in</strong>to L2P . The basic rema<strong>in</strong><strong>in</strong>g difficulty is<br />

to prove that the transform is surjective, i.e., accord<strong>in</strong>g to Lemma 15.9,<br />

that the <strong>in</strong>verse transform is <strong>in</strong>jective. The follow<strong>in</strong>g lemma will enable<br />

us to prove this.<br />

Lemma 15.10. The transform of Rλu is û(t)/(t − λ).<br />

Proof. By Lemma 15.8, 〈Etu, v〉W = t<br />

−∞ ˆv∗ dP û, so that<br />

〈Rλu, v〉W =<br />

∞<br />

−∞<br />

d〈Etu, v〉<br />

t − λ =<br />

∞<br />

−∞<br />

By properties of the resolvent<br />

Rλu 2 =<br />

ˆv ∗ (t) dP (t) û(t)<br />

t − λ<br />

1<br />

2i Im λ 〈Rλu − R λ u, u〉W =<br />

∞<br />

−∞<br />

d〈Etu, u〉W<br />

|t − λ| 2<br />

= 〈û(t)/(t − λ), ˆv(t)〉P .<br />

= û(t)/(t − λ)2 P .<br />

Sett<strong>in</strong>g v = Rλu and us<strong>in</strong>g Lemma 15.8, it therefore follows that<br />

û(t)/(t − λ)2 P = 〈û(t)/(t − λ), F(Rλu)〉P = F(Rλu)2 P . It follows<br />

that we have û(t)/(t−λ)−F(Rλu)P = 0, which was to be proved. <br />

Lemma 15.11. The generalized Fourier transform is unitary from<br />

and the <strong>in</strong>verse transform is the <strong>in</strong>verse of this map.<br />

HT to L 2 P

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

Saved successfully!

Ooh no, something went wrong!