Unbounded Operators
[25/0%]The associative law has been used freely throughout this chapter. Prove it. Prove also that implies and .
Let be a densely defined operator in . Prove that has a closed extension if and only if is dense in . In that case, prove that is an extension of .
By Theorem for a densely defined operator in if and only if is dense in . Show that this can actually happen.
Suggestion: Let be an orthonormal basis of ; let be a dense subset of ; define ; and extend linearly to , the set of all finite linear combinations of the basis vectors . Show that the graph of this is dense in .
Suppose is a densely defined, closed operator in , and . Does it follow that is normal?
Suppose is a densely defined operator in , and for every . Does it follow that for every ?
If is an operator in , define
If is dense, prove that
If is also closed, prove that
This generalizes Theorem 12.10.
Consider the following three boundary value problems. The differential equation is
where is given. The choices of boundary conditions are
(i) .
(ii) .
(iii) and .
Show that each of these problems has a unique solution such that is absolutely continuous and . Hint: Combine Example 13.4 with Theorem 13.13.
Do this also by solving the problems explicitly.
Prove the self-adjointness of the operator in , defined by , with consisting of all absolutely continuous such that .
Hint: You may need to know that as for every . Prove this. Or prove more, namely, that every is the Fourier transform of an -function.
Fix . Use Theorem 13.13 to prove that the equation
has a unique absolutely continuous solution , which has , , and absolutely continuous.
Prove also, by direct calculation, that
This solution can also be found by means of Fourier transforms.
Let be the space of all holomorphic functions in the open unit disc that satisfy
Show that is a Hilbert space which is isomorphic to via the one-to-one correspondence .
Define by . Show that is the Cayley transform of the symmetric operator in , given by
Find the ranges of and of ; show that one is and one has codimension 1. (Compare with Example 13.21).
With as in Exercise 9, define now by
Show that is an isometry which is the Cayley transform of a closed symmetric operator in , whose deficiency indices are 0 and .
Prove part (c) of Lemma 13.18.
In the context of Theorem 13.24, how are the operators and related?
If and are measurable and is bounded, prove that maps into .
Prove that if and only if a.e. [E], that is, if and only if
Is the operator that occurs in the proof of Theorem 13.33 normal?
Prove that every normal operator in , bounded or not, has a polar decomposition
where is unitary, is self-adjoint, . Moreover, .
Prove the following extension of Theorem 12.16: If , if and are normal operators in , and if , then also .
Suppose is a closed operator in , and for every . Prove that is normal. Hint: Begin by proving that
Prove that the spectrum of any operator in is a closed subset of . (See Definition 13.26). Hint: If , and , then is a bounded inverse of , for small .
Put . Define , where , by
so that , etc. (Note that is presented in its polar decomposition ).
Find . Compute that
Conclude that is one-to-one, that is dense in , and that . Define , with domain , by
Prove that is empty.
Let be as in Example 13.4, put
and define for all .
Prove the following assertions:
Every is in the point spectrum of .
consists of the numbers , where runs through the integers; each of these is in the point spectrum of .
has codimension 1 for every . Hence . The point spectrum of is empty.
is empty.
Hint: Study the differential equation . This illustrates how sensitive the spectrum of a differential operator is to its domain (in this case, to the boundary conditions that are imposed).
Show that every nonempty closed subset of is the spectrum of some normal operator in (if ).
Define , where , by
Prove that each is unitary.
Prove that satisfies the conditions stated in Definition 13.34.
If is the infinitesimal generator of , prove that if and only if (where is the Fourier transform of ) and that for all .
Prove that is the imaginary axis. More precisely, show that is one-to-one for every , that lies in the resolvent set of if and only if is not pure imaginary, and that the range of is a proper dense subspace of if is pure imaginary.
Hint: if and only if and also is in .
If (see Exercise 9) and , define
Show that each is self-adjoint (and positive). Find the infinitesimal generator of the semigroup . Is self-adjoint? Show that has pure point spectrum, at the points .
For , define
and put . Show that satisfies the conditions imposed in Definition 13.34 and that for all .
Find the domain of the infinitesimal generator of , and prove that
where is the Hilbert transform (Chapter 7, Exercise 24). Prove that is positive and self-adjoint.
The integral represents a harmonic function in the upper half-plane, with boundary values . The semigroup property of can be deduced from this, as well as from a look at the Fourier transforms of the functions .
Show that every isometric operator in has a closed isometric extension.
On the other hand, show that some symmetric operators in have no closed symmetric extension by completing the following outline.
Let be an orthonormal basis of . Let be the set of all finite sums , subject to the condition . Prove that is a dense subspace of . Define by
and let be the restriction of to . Then is an isometry, with , and is one-to-one on . Hence is the Cayley transform of a symmetric operator . Any closed symmetric extension of would correspond to a closed isometric extension of , with one-to-one. But is dense in ; hence has only one closed isometric extension, namely , and is not one-to-one.