Functional calculus technique
[80/19%]For a bounded operator on a Banach space, define by
Prove that if is a bounded operator on a Banach space , then the infinite sum above converges in and .
Prove that if are bounded operators on a Banach space such that , then .
Prove that if is a self-adjoint operator on a complex Hilbert space, then is unitary.
Prove that if is a self-adjoint compact operator on a Hilbert space, then there exists a self-adjoint compact operator such that .
Prove that if is a normal compact operator on a complex Hilbert space, then there exists a normal compact operator such that .
Suppose is a self-adjoint compact operator on a Hilbert space and . Prove that there exists a self-adjoint compact operator such that .
Let be a bounded operator in a Banach space , and let , where and are polynomials, and suppose has no zeros on the spectrum of the operator . Prove that for any the relation
holds (here ). The next step is to define a holomorphic function of the operator . Note that in this case the domain of holomorphy of the function must contain .
Prove Theorem 13.1.
Theorem 13.1 (spectral theorem in terms of the holomorphic calculus, N. Dunford, 1943): Let be a Banach space, , (in particular, if , then ). Let . Then there exists a unique continuous homomorphism assigning to every holomorphic function an operator and satisfying properties (1)--(4):
-
(here is the function identically equal to one on the disk );
-
;
-
, , (the homomorphism conditions);
-
is a continuous linear operator from to (that is, if a sequence of functions from converges to uniformly on every compact subset of , then in ). This homomorphism satisfies the additional condition: (5) if some bounded operator commutes with , then it also commutes with every operator .
(Spectral mapping theorem). Let be a Banach space, . Let be a function holomorphic on (an entire function). Prove that .
Find the operator , where is an entire function, , , where .
Let be a Banach space, . Is it true that ?
Can the shift operator , , be represented in the form ?
Prove that for a self-adjoint operator in a Hilbert space and a polynomial
Give an example showing that this statement is false for an arbitrary non-self-adjoint operator. Prove this statement for an arbitrary normal operator (use problem 12.35).
Let and . Prove that the operator is an orthoprojector.
Let and . Find .
Let be a Hilbert space, a self-adjoint operator in . Set . Prove that is a holomorphic operator group with generator .
Let be a Hilbert space, a self-adjoint operator in and the functional calculi for continuous functions on the segments and , where and the restriction operator. Prove that , i.e., the functional calculi on the indicated segments are consistent.
Let be a Hilbert space, a self-adjoint operator in . Prove the consistency of the functional calculi for continuous and holomorphic functions. Namely, if is a function holomorphic in a disk containing , then the operator , constructed according to Theorem 13.1, coincides with the operator constructed according to Theorem 13.2.
Theorem 13.1 (N. Dunford, 1943): Let be a Banach space, , , . Then there exists a unique continuous homomorphism assigning to every holomorphic function an operator and satisfying: (1) ; (2) ; (3) , ; (4) if in uniformly on every compact subset of , then in .
Theorem 13.2 (D. Hilbert, 1906; F. Riesz, 1910): For every self-adjoint operator in a Hilbert space there exists a unique continuous homomorphism of the algebra into with the properties: (1) ; (2) ; (3) , ; (4) if in , then .
Let be an infinite-dimensional Hilbert space, a self-adjoint operator. Prove that if is compact, and is a function defined and continuous on , then the operator is compact if and only if (compare with problem 11.19).
Let and a Hilbert space. Find in the case:
;
is an orthogonal projector;
and , where all are real and ;
and , where is a real function.
Let be a self-adjoint compact operator in a Hilbert space and . Find the matrix of the operator in the basis of eigenvectors of the operator (see Theorem 12.3).
Theorem 12.3 (D. Hilbert, 1906; E. Schmidt, 1907): Let be an infinite-dimensional separable Hilbert space and . Then there exists an orthonormal basis of consisting of eigenvectors of : . The nonzero eigenvalues are real and can be numbered in nonincreasing order of absolute value: , and moreover and .
Let be a Hilbert space, a bounded self-adjoint operator in and . Prove that for the functional calculus constructed from the operator on the segment the spectral mapping theorem holds: .
Let and be similar self-adjoint operators in , where is a Hilbert space (i.e., for some ). Let the segment contain the spectra of the operators and . Prove that for every the operators and are similar, and the similarity is realized by means of the same operator .
Let in a Hilbert space , and let the function , continuous on the segment , also be nonnegative. Prove that .
Let bounded self-adjoint operators and , acting in Hilbert spaces and respectively, be similar. Prove that they are unitarily equivalent, i.e., the operator realizing the similarity is an isometric isomorphism.
Let be a self-adjoint operator in a Hilbert space , and let the segment contain . Prove that
if , then ;
if , then for every .
;
;
.
Let be a self-adjoint operator in a Hilbert space a real-valued function. Prove that
;
;
.
Construct the functional calculus (for continuous functions) of a unitary operator in a Hilbert space . Namely, prove that there exists a unique continuous homomorphism of the algebra into , having properties (1)-(4):
-
;
-
;
-
(homomorphism conditions);
-
is a linear continuous operator from into (i.e., if a sequence of functions from converges to , then ). This homomorphism also has the properties
-
, where ;
-
(a strengthening of the continuity property of the homomorphism );
-
if some bounded operator commutes with , then it also commutes with every operator .
Let be a self-adjoint operator in a Hilbert space and let be two functions that coincide identically on the ray . Prove that .
Let be a bounded operator in a Hilbert space , and suppose that for every orthonormal basis in we have as . Prove that the operator is compact (cf. problems 11.54 and 11.45).
Let , compact (see Example 3.2). If and , show that .
Let be a nilpotent element of . For in , give a necessary and sufficient condition on and that .
Let and let . Give a necessary and sufficient condition on in such that .
If is a Banach algebra with identity, , , and is analytic in a neighborhood of , then and .
If is a Banach space, , and such that for all in , show that whenever .
If is a Banach space, , and , show that . (See (6.1) below.)
If is a Hilbert space, , and , show that , where . (See (6.1) below.)
If is a -algebra with identity and , show that is unitary. Is the converse true?
If , show that , where and are the positive and negative parts of (that is, the unique positive elements with and ).
Let be a normal operator on with spectral measure . If is a clopen subset of , show that is the Riesz idempotent associated with .
Prove Theorem II.7.6 and its corollaries by using the Spectral Theorem.
Obtain Theorem II.7.11 as a consequence of the following result (Theorem 2.3). If is a normal operator on with spectral measure and is the -algebra of bounded Borel functions on , then the map is a representation of the -algebra . If is a net in such that for every in , then (WOT). This map is unique in the sense that if is a representation such that and (WOT) whenever is a bounded net in such that for every in , then for all in .
If is self-adjoint, prove that is unitary.
If and , then . If is not constant on any component of its domain, then .
If and , then .
Let and suppose is analytic in a neighborhood of and does not vanish on . Show that and find .
Prove Proposition 6.9: if is an isolated point of , the following statements are equivalent.
-
.
-
The Riesz idempotent has finite rank.
-
and .
Fubini's theorem was applied to vector-valued integrals in the proof of Theorem 10.29. Justify this.
Construct a proof of Theorem 10.29 that uses no contour integrals, as follows: Prove the theorem first for polynomials , then for rational functions with no poles in , and obtain the general case from Runge's theorem.
Suppose that the spectrum of some is not connected. Prove that contains a nontrivial idempotent 2. (This is defined in Exercise 2).
Prove also that , where
Suppose , and . Suppose is an open set in that contains a component of . Prove that intersects for all sufficiently large . (This strengthens Theorem 10.20). Hint: If , where is an open set disjoint from , consider the function that is 1 in in .
Suppose is a commutative Banach algebra, , and is holomorphic in some open set that contains the range of . Prove that there exists such that , that is, such that for every complex homomorphism of . Prove that is uniquely determined by and if is semisimple.
Prove that every normal invertible is the exponential of some normal .