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