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