Spectral Decomposition of Operators
[34/35%]Let be a selfadjoint operator in a finite-dimensional space. Reduce it to the form of multiplication by a function.
The operator consists in multiplication by the function in . Prove that:
does not have cyclic vectors in ;
can be represented as the union of two subspaces having cyclic vectors for .
Prove that if is an operator with simple spectrum in an infinite-dimensional Hilbert space , then the operators are linearly independent for any .
Suppose that and are bounded selfadjoint operators that commute. Prove that there exists a bounded selfadjoint operator such that and are functions of .
Let be a selfadjoint operator with simple spectrum. Prove that every bounded operator that commutes with is a function of .
Prove that for any bounded Borel function of a selfadjoint operator .
Reduce the convolution operator , , to the form of multiplication by a function. For what functions is this operator selfadjoint?
Can the convolution operator , , be unitary?
Let be a locally compact abelian group with invariant measure . Determine conditions on a function under which the convolution operator is:
selfadjoint;
unitary;
compact.
Let be the integral operator on given by the formula . Reduce this operator to the form of multiplication by a function.
Let be an unbounded selfadjoint operator in , and the graph of in . Prove that the orthogonal complement of in is .
Under the conditions of Problem 696 denote the projection of a vector on by and its projection on by . Prove that:
the correspondences and are bounded operators on (denote them by and , respectively);
, .
Prove that the finite-difference operator is a function of the differentiation operator.
Let be a continuous function on the circle. Give an explicit expression for the operator , where is the Fourier operator .
Let be a projection-valued measure on with values in , and a continuous function on . For each partition and each tuple of points , , define the Riemann integral sum
Prove that the integral sums tend in norm to some operator as the diameter of the partition tends to zero. This operator is called the Riemann integral of with respect to the measure , and denoted by
Prove that the Riemann integral
coincides with the Lebesgue integral
defined in 2.2 of Ch. V.
The Lebesgue integral in Ch. V, 2.2, is the strong limit of
Prove the following properties of the integral of bounded functions with respect to a projection-valued measure:
;
;
;
;
if , for all , then strongly.
The definition referred to here (Ch. V, 2.2) is: a mapping , where is a -algebra on , is a projection-valued measure if:
-
for every ;
-
for ;
-
for disjoint ;
-
if exists, then .
Prove that the property (3) in the definition of a projection-valued measure can be replaced by the weaker condition and the normalizing condition .
Suppose that , . Define projection-valued measures and with values in and , respectively, by setting . Does there exist an isomorphism under which passes into ?
Suppose that is a set with a -algebra , is a Hilbert space, and for each a finite measure is given on such that:
-
;
-
. Does there exist a projection-valued measure on with values in such that for all ?
Here .
Let be a compact metric space, and a Hilbert space. A representation of the algebra in is defined to be a mapping having the following properties:
-
is an algebra homomorphism;
-
;
-
(the on the left is the function on and that on the right is the identity operator on ). Prove that there exists a unique projection-valued measure on with values in such that .
Let be a selfadjoint operator in a Hilbert space , its spectral measure, and a Borel set on the line. Denote by the subspace . Prove that:
is invariant under ;
if is bounded, then is a bounded operator;
if is closed, then .
Prove that the spectrum of a selfadjoint operator consists of precisely those points such that for any . (Here is the spectral measure of .)
Prove that a point belongs to the spectrum of a selfadjoint bounded operator on a Hilbert space if and only if there exists a sequence of unit vectors such that as .
The definition of the essential spectrum of a bounded selfadjoint operator is obtained from the Weyl criterion (see Problem 708) by imposing the additional condition that the sequence be orthonormal. Prove that if is a selfadjoint compact operator, then the essential spectra of and coincide.
Suppose that is a bounded selfadjoint operator with spectral measure . Prove the equality
Suppose that is a unitary operator in a Hilbert space . Prove that there exists a unique Borel projection-valued measure on the circle with values in such that
for any bounded Borel function on .
Let be a unitary operator on a Hilbert space . Prove that exists and is equal to the orthogonal projection onto .
Let be any bounded operator, and an analytic function in a domain containing . Define the operator by
where is any contour in encompassing .
Prove that the correspondence is an algebra homomorphism.
Prove that for a normal operator this definition of coincides with that in 1.2 of Ch. V.
For the comparison in (b), the definition in Ch. V, 1.2, assigns to a bounded normal operator . With the square centered at of side , is the unique algebra homomorphism satisfying , , , and strongly whenever and on .
Prove that any family of pairwise commuting bounded selfadjoint operators on a separable Hilbert space can be simultaneously reduced to the form of multiplication by a function.
Let be a selfadjoint operator in a Hilbert space , its spectral measure, and a Borel function on . Define by the formula
on the subspace consisting of the vectors for which
Prove that:
the operator is closed and densely defined;
the operators and have a common dense domain and coincide on this domain.
Here and .
Find the operator in the representation for the one-parameter group in defined by .
Suppose that the one-parameter group of unitary operators in has the property . Prove that , where .
Does there exist a one-parameter group such that for any given unitary operator ?
Find the spectral decomposition of the selfadjoint extension of the operator with initial domain .