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.

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.

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

Saved successfully!

Ooh no, something went wrong!