An Introduction to Abstract Linear Operator Theory
[37/86%]Let be a Hilbert space and be a fixed element of . Prove that the map taking to is a linear operator from to .
Consider the operator defined by
This is a Fredholm operator and is often referred to as the Cesaro operator.
Determine the kernel of the Cesaro operator.
Prove that the Cesaro operator is linear.
A Fredholm operator of the first kind is an operator of the form
In this section you encountered infinite matrices, perhaps for the first time. In general, matrix multiplication is not commutative. This is the case for finite as well as for infinite matrices. But multiplication for infinite matrices gets even worse. For finite matrices, there are certain situations in which multiplication is, in fact, commutative. For example, if for two square matrices and , then and commute. This shows that a finite matrix with a "left inverse" also has a "right inverse" (and they are equal). For infinite-dimensional matrices, this need not be the case. Give examples of infinite matrices and such that , yet . See Exercise 5.3.3 for more on this topic.
Prove that is a normed linear space. That is, prove Theorem 5.3.
Theorem 5.3: Let and be normed linear spaces. The collection of all bounded linear operators , endowed with the operator norm, forms a normed linear space.
Show that the identity operator from to is a bounded linear operator, but that the identity map from to is unbounded. This phenomenon cannot happen on a Banach space; see Exercise 6.3.2.
Fix a continuous function and define the composition operator by . Prove that is a bounded linear operator with .
For define
Show that is a bounded linear operator from to , and compute .
Consider an matrix that satisfies for all pairs of indices and . Such a matrix is called Hermitian. View as a linear operator . Assume that is endowed with the usual norm. Prove that , where are the eigenvalues of .
Consider
as a linear operator from to itself. The aim of this exercise is to show that the operator norm of depends on the choice of norm on .
Endow with the supremum norm, . Show that in this case, the norm of is given by
Endow with the 1-norm, . Show that in this case, the norm of is given by
Endow with the 2-norm, . Consider the matrix
and form the matrix . Show that in this case, the norm of is given by
Use this to write down a formula for the norm of as a function of its entries . Here "tr" denotes trace, and "det" denotes determinant.
Finally, compute these 3 operator norms of
Let denote the collection of all continuous functions with continuous derivative (including one-sided derivatives at the endpoints).
Show that , with the supremum norm, is a subspace of but that it is not closed.
Prove that the differential operator
is linear but not bounded.
Assume that is a normed linear space, and .
Prove that
Prove that .
Assume that and are normed linear spaces. Let be a compact operator in . Use Theorem 2.4 to prove that has compact closure for each closed ball in .
Theorem 2.4: A subset of a metric space is compact if and only if it is sequentially compact.
Consider normed linear spaces and . A linear operator is compact if for every bounded sequence in , the sequence in has a convergent subsequence in .
The situation discovered in Exercise 5.1.3 is somewhat redeemable. Let be a Banach space and . Assume that there are satisfying
Prove that . In other words, if is both left and right invertible, then its left and right inverses must be equal.
In a unital normed algebra with multiplicative identity , prove that .
In a normed algebra, prove that for each element in the algebra and each positive integer .
Prove that , with the supremum norm, is a unital Banach algebra.
Assume that is a Banach space. In Theorem 5.6 we saw that any that is sufficiently close to an invertible operator is also invertible. Given that , prove that satisfies
Assume that is a Banach space. Assume that and .
Verify that
where
Deduce that .
Use the shifts and as defined in Example 2 of Section 1 to show that the equality need not hold.
Consider the operator on defined by
Prove that is an invertible operator.
Let denote the collection of all (doubly ended) sequences of complex numbers such that . This space is very much like . With the norm of given by
becomes a Banach space. The point of this exercise is to see that we can define a multiplication to make into a Banach algebra. For and in , define the product by
This multiplication is called convolution. Show that is a Banach algebra.
Prove that every compact operator is a bounded operator.
Consider the Volterra operator defined on by
with for some constant and every and in .
Prove that whenever .
Prove that . That is, prove that is bounded.
Prove that is quasinilpotent. (As it turns out, is quasinilpotent even if the hypothesis that is dropped. However, the proof is substantially harder. See pages 98-99 of [58] for a proof.)
Now let for all and . Show that is compact.
In this exercise you are asked to fill in the details of Example 4.
Show that , and that .
Show that if , then (as you are asked to show in the same exercise) the multiplication operator is a bounded operator and is the inverse of .
We have now established that . Sometimes this set contains eigenvalues; sometimes it does not. Give examples to show this. That is, construct functions and such that contains at least one eigenvalue and contains no eigenvalues at all.
Let be the weighted shift in Example 6.
Show that has no eigenvalues.
Use induction to show that .
Let be an infinite-dimensional Banach space. (Parts (a) and (b) are related only in that they are about compact operators.)
Give an example of a compact operator such that .
Prove that if there is a positive integer such that , then cannot be compact.
Assume that is a Banach space. Prove that the collection of all compact operators forms a closed, two-sided ideal in the Banach algebra . Note: You may know what an "ideal" is from abstract algebra; if you do not, it is defined in the next chapter.
Learn enough about complex function theory to prove the results of this section.
Find a good reference (like [21] or [124]) and work through the proof of Theorem 5.11, which describes the spectrum of a compact operator.
Theorem 5.11: Let be an infinite-dimensional Banach space and a compact operator. Then the spectrum of is either a finite set or a sequence converging to . The point is in the spectrum, and each nonzero value of the spectrum is an eigenvalue. Further, for , the eigenspace is finite-dimensional.
Verify that the Hermitian matrices (as defined in Exercise 5.2.5) are exactly the Hermitian operators on the finite-dimensional Hilbert space .
Describe the Fredholm integral operators of the first kind that are Hermitian.
Let be a subspace of a Hilbert space .
Prove that whenever is a closed subspace.
Find an example to show that the equality of (a) need not hold if is not closed.
Complete the proof of Theorem 5.15 by verifying the uniqueness assertion.
Theorem 5.15: Assume that is a closed subspace of a Hilbert space and that . Then there exists such that . Further, the element is the unique element of with this property.
Prove Theorem 5.17.
Theorem 5.17: Let be a Hilbert space. If is Hermitian, then and are subspaces of and satisfy and (here and denote, respectively, the kernel and range of the map ).
It follows from Theorem 5.18 that any eigenvalue of a Hermitian operator is real-valued. Give a more direct proof of this fact.
Theorem 5.18: Let be a Hilbert space. If is Hermitian, then .
Let be the Volterra operator on defined by
For set
Prove that each is an invariant subspace for .
Describe the orthogonal complement of in .
Verify each of the assertions made in the paragraph that follows Theorem 5.23. That is, prove that is bounded, linear, and satisfies .
Theorem 5.23 (The Spectral Theorem for Compact Hermitian Operators): Let be a nonzero, compact, and Hermitian operator on a Hilbert space . There is a sequence of nonzero real-valued eigenvalues and a corresponding sequence of orthonormal eigenvectors such that: if the sequence of eigenvalues contains infinitely many distinct values, it tends to zero; each nonzero eigenvalue of appears in the sequence , and each eigenspace is finite-dimensional, with dimension equal to the number of times appears in the sequence; and for each , . In this context, denotes the orthogonal projection onto an eigenspace arising from this decomposition.
In each of the following examples, explain why is compact and Hermitian. Then give the spectral decomposition guaranteed by Theorem 5.23. That is, find the eigenvalues, the corresponding eigenspaces, and projections.
Theorem 5.23 (The Spectral Theorem for Compact Hermitian Operators): Let be a nonzero, compact, and Hermitian operator on a Hilbert space . There is a sequence of nonzero real-valued eigenvalues and a corresponding sequence of orthonormal eigenvectors such that: if the sequence of eigenvalues contains infinitely many distinct values, it tends to zero; each nonzero eigenvalue of appears in the sequence , and each eigenspace is finite-dimensional, with dimension equal to the number of times appears in the sequence; and for each , .
The operator given by the matrix
The operator given by the formula