Functional calculus and the spectral theorem
[89/37%](Spectral mapping theorem for polynomials). Prove that for a bounded operator in a Banach space and for a polynomial the relation holds.
Let be a Banach space, and . Prove 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 .
Let be a Banach space, and . Is it true that (for at least one value of the root)? Is this statement true with replaced by or ?
Find the spectrum of the operator , acting by the rule in the space (classify the spectrum, determining the point, continuous, and residual spectrum).
Find the operator , where is an entire function, , , where .
Let be a Banach space, . Prove that the operator-valued function , is differentiable and .
Let be a Banach space, . Prove that . Prove that is an invertible operator and its inverse is .
Let be the integration operator:
considered in
;
. Find .
Let be a Banach space, . Do the operators converge (uniformly) to the operator as ?
Let be a Banach space, . Prove that if , then . Give an example of non-commuting operators and for which .
Let be a Banach space, . Is it true that ?
Let be a Banach space, . Prove that if , then . Let and let be such that . 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 and . Prove that the estimate holds:
using problem 9.49;
using Theorem 13.2.
Theorem 13.2 (spectral theorem in terms of the functional calculus for continuous functions, 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 properties (1)--(4): (1) ; (2) ; (3) , (the homomorphism conditions); (4) is a continuous linear operator from to (that is, if a sequence of functions from converges to , then ). This homomorphism also has the following properties: (5) (a strengthening of the continuity of ); (6) if some bounded operator commutes with , then it also commutes with every operator ; (7) .
Let be a Hilbert space, a self-adjoint operator. Prove that its Cayley transform
is defined and is a unitary operator. Prove that .
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 . Prove that . Prove that the polar decomposition of a self-adjoint operator in has the form , where is a partial isometry (see Definitions 8.8 and 8.6).
Definition 8.6: An operator , where and are Hilbert spaces, is called a partially isometric operator (partial isometry) if , , , and is an isometric isomorphism.
Definition 8.8: The representations (see problem 8.68: is a partially isometric operator, and are nonnegative operators) are called the polar decomposition of the operator .
Let be a self-adjoint operator in a Hilbert space . Prove that
;
;
.
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 self-adjoint operator in a Hilbert space , and the resolution of the identity for the operator . Prove the following properties:
if , then ; if , then ;
if , then ;
for every the equality holds;
all the operators commute with the operators , where (in particular, with the operator itself).
Let be a self-adjoint operator in a Hilbert space . Prove that the family of subspaces associated with the operator has the following properties:
if , then ; if , then ;
if , then ;
for every the equality holds;
all the spaces are invariant with respect to for any (in particular, they are invariant with respect to the operator ).
Let be a self-adjoint operator in a Hilbert space . Prove that:
a number if and only if it is a point of increase of the family (i.e., in every neighborhood of the point there is a point for which );
a number if and only if it is a point of discontinuity of the family (i.e., ).
Let be a self-adjoint operator in a Hilbert space . Prove that if (see Definition 12.4) or , then there exists an orthonormal Weyl sequence for the operator (compare with problem 12.30).
Definition 12.4: A number belongs to the essential spectrum of the operator () if the operator is not Fredholm. The remaining points of the spectrum belong to the inessential spectrum.
Let be a self-adjoint operator in a Hilbert space . Prove that
Prove that if , then is an isolated eigenvalue of the operator of finite multiplicity.
Find the family of projectors and subspaces associated with the operator of orthogonal projection onto some subspace .
Find the family of projectors and subspaces associated with the operator , given in by the matrix
where all the numbers , are real and pairwise distinct. How does the answer change if some of the numbers coincide?
Find the family of projectors and subspaces associated with the operator .
Find the family of projectors and subspaces associated with the operator in the space , where is a bounded real sequence.
Find the family of projectors and subspaces associated with the operator given by the matrix:
;
;
;
.
Let be a continuous strictly increasing function on . Find the family of projectors and subspaces associated with the operator .
Describe the family of projectors and subspaces associated with a self-adjoint compact operator in a Hilbert space (in terms of eigenvalues and eigenvectors).
Find the family of projectors and subspaces associated with the operator .
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).
Prove that any self-adjoint operator in a Hilbert space can be approximated to any accuracy by finite linear combinations of orthogonal projectors in the space .
Let be a self-adjoint operator in a Hilbert space , and a self-adjoint operator in a Hilbert space . Let and be the families of subspaces associated with the operators and . Prove that the operators and are similar (unitarily equivalent), i.e., for some ( a unitary operator from to ), if and only if realizes a bijection (unitary isomorphism) of and for every .
Let be a unitary operator in a Hilbert space . Prove that there exists a unique projector-valued measure on the circle with values in , for which the equality
holds for every bounded Borel function on .
Let be a unitary operator in a Hilbert space . Prove that , where is the orthoprojector onto the subspace .
Let and be self-adjoint operators in a Hilbert space and their resolutions of the identity respectively. Prove that and commute if and only if for any .
Let and be complete separable metric spaces, and the -algebras of Borel sets on these spaces. Suppose that on and there are given, respectively, Borel resolutions of the identity and , whose values are orthogonal projectors in one and the same Hilbert space . Suppose these resolutions of the identity commute, i.e., for all . On the Cartesian product define — the Borel -algebra of subsets containing all "rectangles" of the form . Prove that on there exists a unique resolution of the identity, determined by the condition
where .
Let be a bounded normal operator in a Hilbert space . Prove that there exists a resolution of the identity , defined on the Borel subsets of П, such that , where the integral is understood in the Lebesgue-Stieltjes sense (see the preamble of this section).
Let be a bounded normal operator in a Hilbert space . Prove that
Let be a bounded normal operator in a Hilbert space . Prove that . Give examples of normal operators for which
this inclusion is strict;
.
Let be a unitary operator in a Hilbert space . Prove that .
Under what conditions on the complex numbers does the diagonal operator in have a cyclic vector? State the condition for the existence of a cyclic vector in terms of the characteristic polynomial of an arbitrary operator .
Under what conditions on the bounded sequence of complex numbers does the diagonal operator
in have a cyclic vector?
Prove that the operator of multiplication by a continuous strictly monotone function has a cyclic vector:
in the space ;
in the space .
Prove that the operator of multiplication by a continuous non-monotone function , acting in the space , does not have a cyclic vector.
Let be a bounded self-adjoint operator with simple spectrum in a Hilbert space . Prove that all its eigenvalues (if any) have multiplicity 1.
Prove that a compact self-adjoint operator in a Hilbert space possesses a cyclic vector precisely when all its eigenvalues are simple.
Let be an operator with a cyclic vector in an infinite-dimensional Hilbert space . Prove that the operators are linearly independent.
Prove that the operator of left shift in the space has a "supercyclic" vector, i.e., a vector such that the set is dense on the unit sphere. Does there exist an invertible operator with a supercyclic vector?
Let be a self-adjoint operator in a separable Hilbert space . Prove that there exists a decomposition into a direct sum , where or , such that and for every there exists a vector that is cyclic for the restriction of to , i.e., .
Find, in the space , the resolution of the identity of the operator of multiplication:
by ;
by . Prove that this operator has no cyclic vector.
For the operator of multiplication from the previous problem:
by ;
by
find some isometric isomorphism
such that the operator , restricted to each of the spaces , is the operator of multiplication by the independent variable. Find and the measures .
Give an example of two bounded self-adjoint operators and in the space whose spectra coincide, with (and the multiplicities of the corresponding eigenvalues coincide), , but the operators themselves are not unitarily equivalent.
Find the resolution of the identity of the operator of multiplication by in the space . Reduce the operator to the form of multiplication by the independent variable (find an isometric isomorphism and measure ).
Find the resolution of the identity of the operator of multiplication by in the space . Reduce the operator to the form of multiplication by the independent variable (find an isometric isomorphism and measure ).
Find the resolution of the identity of the operator of multiplication by in the space .
For the operator of problem 13.77, find a unitary isomorphism
such that the operator , restricted to the space , is the operator of multiplication by the independent variable. Find and the measures .
Reduce the operator
acting in the space , to the form of multiplication by the independent variable (find an isometric isomorphism and measure ).
Let be a linear self-adjoint operator in a finite-dimensional space. Find a unitary operator , a measure , and a function such that , where .
In the space , consider the operator , where are the operators of right and left shift, respectively. Find a unitary operator and a function such that , where .
Prove that if an operator in a Hilbert space is unitarily equivalent to an operator of multiplication by a function , then is a normal operator.
Prove that every normal operator in a Hilbert space is unitarily equivalent to an operator of multiplication by some function in the space with some measure .
Prove that the operators
acting in the space (here is the Cantor function, see the definition on p. 72), are not unitarily equivalent.
Using Theorem 13.8, prove Theorem 13.9.
Theorem 13.8: For every self-adjoint operator in a separable Hilbert space there exist a decomposition , where (some of the subspaces may be zero), a family of pairwise singular Borel measures with supports (some of the sets may be empty), and a unitary isomorphism
such that the restriction of to is unitarily equivalent to the orthogonal direct sum of copies of the operator of multiplication by the independent variable in :
where , .
Theorem 13.9: Two self-adjoint operators and in a Hilbert space are unitarily equivalent if and only if their multiplicity functions coincide and the spectral measures defined in Theorem 13.8 are equivalent: for every . (Here the multiplicity function of is outside , for , .)
Determine whether among the following operators there are unitarily equivalent ones: .
Construct the canonical functional model:
for the operator in the space ;
for the operator in the space ;
for the operator in the space ;
for the operator in the space .
Construct the canonical functional model for the following operators in the space :
, where is a bounded sequence of pairwise distinct real numbers;
, where the factor is repeated times.