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.

4. OPERATORS 27<br />

In the rest of this chapter we assume that H1 = H2 = H. A densely<br />

def<strong>in</strong>ed operator T is then said to be symmetric if T ⊂ T ∗ . In other<br />

words, if 〈T u, v〉 = 〈u, T v〉 for all u, v ∈ D(T ). Thus 〈T u, u〉 is always<br />

real for a symmetric operator. It therefore makes sense to say that<br />

a symmetric operator is positive if 〈T u, u〉 ≥ 0 for all u ∈ D(T ). A<br />

densely def<strong>in</strong>ed symmetric operator is always closeable s<strong>in</strong>ce T ∗ is automatically<br />

densely def<strong>in</strong>ed, be<strong>in</strong>g an extension of T . If actually T = T ∗<br />

the operator is said to be selfadjo<strong>in</strong>t. This is an important property<br />

because these are the operators for which we will prove the spectral<br />

theorem. In practice it is usually quite easy to see if an operator is<br />

symmetric, but much more difficult to decide whether a symmetric operator<br />

is selfadjo<strong>in</strong>t. When one wants to <strong>in</strong>terpret a differential operator<br />

as a <strong>Hilbert</strong> space operator one has to choose a doma<strong>in</strong> of def<strong>in</strong>ition;<br />

<strong>in</strong> many cases it is clear how one may choose a dense doma<strong>in</strong> so that<br />

the operator becomes symmetric. With luck this operator may have<br />

a selfadjo<strong>in</strong>t closure 3 , <strong>in</strong> which case the operator is said to be essentially<br />

selfadjo<strong>in</strong>t. Otherwise, given a symmetric T , one will look for<br />

selfadjo<strong>in</strong>t extensions of T . If S is a symmetric extension of T , we get<br />

T ⊂ S ⊂ S ∗ ⊂ T ∗ so that any selfadjo<strong>in</strong>t extension of T is a restriction<br />

of the adjo<strong>in</strong>t T ∗ . There is now obviously a need for a theory of<br />

symmetric extensions of a symmetric operator. We will postpone the<br />

discussion of this until Chapter 9. Right now we will <strong>in</strong>stead study<br />

some very simple, but typical, examples.<br />

Example 4.4. Consider the differential operator d<br />

on some open<br />

dx<br />

<strong>in</strong>terval I. We want to <strong>in</strong>terpret it as a densely def<strong>in</strong>ed operator <strong>in</strong><br />

the <strong>Hilbert</strong> space L2 (I) and so must choose a suitable doma<strong>in</strong>. A convenient<br />

choice, which would work for any differential operator with<br />

smooth coefficients, is the set C∞ 0 (I) of <strong>in</strong>f<strong>in</strong>itely differentiable functions<br />

on I with compact support, i.e., each function is 0 outside some<br />

compact subset of I. It is well known that C∞ 0 (I) is dense <strong>in</strong> L2 (I).<br />

Let us denote the correspond<strong>in</strong>g operator T0; it is usually called the<br />

m<strong>in</strong>imal operator for d . Sometimes it is the closure of this operator<br />

dx<br />

which is called the m<strong>in</strong>imal operator, but this will make no difference<br />

to the calculations <strong>in</strong> the sequel. We now need to calculate the adjo<strong>in</strong>t<br />

of the m<strong>in</strong>imal operator.<br />

Let v ∈ D(T ∗ 0 ). This means that there is an element v∗ ∈ L2 (I)<br />

such that <br />

I ϕ′ v = <br />

I ϕv∗ for all ϕ ∈ C∞ 0 (I) and that T ∗ 0 v = v∗ . In-<br />

tegrat<strong>in</strong>g by parts we have <br />

I ϕv∗ = − <br />

I (ϕ′ v∗ ) s<strong>in</strong>ce the boundary<br />

terms vanish. Here v∗ denotes any <strong>in</strong>tegral function of v∗ . Thus we<br />

have <br />

I ϕ′ (v + v∗ ) = 0 for all ϕ ∈ C∞ 0 (I). We need the follow<strong>in</strong>g<br />

lemma.<br />

3 This is the same as T ∗ be<strong>in</strong>g selfadjo<strong>in</strong>t. Show this!

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

Saved successfully!

Ooh no, something went wrong!