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.
44 7. THE SPECTRAL THEOREM<br />
as a closed, densely def<strong>in</strong>ed operator. We need only show that this<br />
<strong>in</strong>verse is bounded, to see that its doma<strong>in</strong> is all of H so that λ ∈ ρ(T ).<br />
But (T − λ)u2 = ∞<br />
−∞ (t − λ)2 d〈Etu, u〉 ≥ ε2 ∞<br />
−∞d〈Etu, u〉 = ε2u2 so the <strong>in</strong>verse of T − λ is bounded by 1/ε. Conversely, assume that<br />
Et is not constant near λ. Then there are arbitrarily short <strong>in</strong>tervals ∆<br />
conta<strong>in</strong><strong>in</strong>g λ such that E∆ = 0, i.e., there are non-zero vectors u such<br />
that E∆u = u. But then (T − λ)u ≤ |∆|u, where |∆| is the length<br />
of ∆. Hence we can f<strong>in</strong>d a sequence of unit vectors uj, j = 1, 2, . . .<br />
for which (T − λ)uj → 0 (a ‘s<strong>in</strong>gular sequence’). Consequently either<br />
T −λ is not <strong>in</strong>jective, or else the <strong>in</strong>verse is unbounded so λ /∈ ρ(T ). <br />
Exercises for Chapter 7<br />
Exercise 7.1. Suppose σ is <strong>in</strong>creas<strong>in</strong>g and ∞<br />
−λ ∞<br />
−∞<br />
dσ(t)<br />
t−λ → ∞<br />
−∞<br />
the orig<strong>in</strong>. In particular, ∞<br />
−∞<br />
−∞<br />
dσ < ∞. Show that<br />
dσ as λ → ∞ along any non-real ray orig<strong>in</strong>at<strong>in</strong>g <strong>in</strong><br />
dσ(t)<br />
t−λ<br />
→ 0.<br />
Exercise 7.2. Suppose B(·, ·) is a sesqui-l<strong>in</strong>ear form on a complex<br />
l<strong>in</strong>ear space. Show the polarization identity<br />
B(u, v) = 1<br />
3<br />
i<br />
4<br />
k B(u + i k v, u + i k v) .<br />
k=0<br />
Exercise 7.3. Show that if T is a closed operator on H and S is<br />
bounded and everywhere def<strong>in</strong>ed, then T S, but not necessarily ST , is<br />
closed.<br />
Exercise 7.4. Show that if T is selfadjo<strong>in</strong>t and f is a cont<strong>in</strong>uous<br />
function def<strong>in</strong>ed on σ(T ), then f(T ) = ∞<br />
−∞f(t) dEt def<strong>in</strong>es a densely<br />
def<strong>in</strong>ed operator, which is bounded if f is and selfadjo<strong>in</strong>t if f is realvalued.<br />
Also show that (f(T )) ∗ = f(T ), that (f(T )) ∗ has the same doma<strong>in</strong><br />
as f(T ) and commutes with it <strong>in</strong> a reasonable sense, and that fg(T ) =<br />
f(T )g(T ). This is the functional calculus for a selfadjo<strong>in</strong>t operator, and<br />
also makes sense for arbitrary Borel functions. The <strong>in</strong>tegral is made<br />
sense of <strong>in</strong> the same way as <strong>in</strong> the statement of the spectral theorem.<br />
Exercise 7.5. Let T be selfadjo<strong>in</strong>t and put H(t) = e −itT , t ∈ R,<br />
the exponential be<strong>in</strong>g def<strong>in</strong>ed as <strong>in</strong> the previous exercise. Show that<br />
H(t + s) = H(t)H(s) for real t and s (a group of operators), that<br />
H(t) is unitary and that if u0 ∈ D(T ), then u(t) = H(t)u0 solves the<br />
Schröd<strong>in</strong>ger equation T u = iu ′ t with <strong>in</strong>itial data u(0) = u0.<br />
Similarly, if T ≥ 0 and t ≥ 0, show that K(t) = e −tT is selfadjo<strong>in</strong>t<br />
and bounded, that K(t + s) = K(t)K(s) for s ≥ 0 and t ≥ 0 (a semigroup<br />
of operators) and that if u0 ∈ H then u(t) = K(t)u0 solves the<br />
heat equation T u = u ′ t for t > 0 with <strong>in</strong>itial data u(0) = u0.