Functional Calculus
[76/34%]Let be an operator in an -dimensional space over the field . Prove that the operators are linearly dependent.
Prove that the following properties of an operator on an -dimensional space over the field or are equivalent:
-
the operators are linearly independent;
-
there is a vector such that is a basis in ;
-
there is a vector that is cyclic for (i.e., itself is the only subspace of containing and invariant under ). Operators having these properties are called regular.
Prove that a diagonal matrix determines a regular operator if and only if the elements on the diagonal are distinct.
Prove that the following properties of a matrix are equivalent:
-
defines a regular operator;
-
the minimal polynomial for coincides with the characteristic polynomial;
-
there is only one Jordan block for each eigenvalue of .
Prove that the set of regular operators is open and dense in the set of all operators.
Let be the collection of matrices of the form
Prove that
every regular operator on an -dimensional space is represented by a matrix in a suitable basis;
each matrix determines a regular operator;
two matrices and in are similar (i.e., ) only if .
Prove that two regular operators and on an -dimensional space over the field or are similar if and only if
Let
be a Jordan block of order with eigenvalue . Compute the matrices:
, ;
, where is a polynomial;
, where is an entire function;
, where is a rational function without a pole at the point .
Let be an algebra over the field or . An idempotent is defined to be an element having the property . The direct sum of algebras and is defined to be the linear space with componentwise multiplication. Prove that the following properties of are equivalent:
-
is isomorphic to the direct sum of some (nonzero) algebras and ;
-
contains a nontrivial (different from and ) idempotent. Algebras not having these properties will be called irreducible.
Prove that the field is an irreducible algebra over .
Prove that every irreducible algebra with unit that is singly generated over is isomorphic to one of the algebras (the quotient algebra of the polynomials in with respect to the ideal generated by ).
Prove that every finite-dimensional algebra is a direct sum of irreducible algebras.
A numerical sequence has the property that for all and . Prove that exists and is equal to .
Let be an operator in an -dimensional linear space over a field . Denote by the algebra over generated by (the identity operator) and . Prove that .
Let . Prove that the algebra is irreducible if and only if has a unique eigenvalue.
Let be some set of operators in a linear space . Let be the collection of operators in that commute with all the operators in . For what operators does the equality hold?
Prove that every polynomial in the coefficients of the matrix that is invariant under the similarity transformations is a polynomial in .
Let and be matrices. Prove that every polynomial in the coefficients of and that is invariant under the substitutions , has the form , where is some uniquely determined polynomial in five variables.
Let and be matrices. Prove that the algebra of those polynomials in the coefficients of and that are invariant under the substitutions , contains no fewer than generators.
In the space of matrices find a subspace of dimension consisting of pairwise commuting matrices.
Let be an operator in an -dimensional space with a single eigenvalue . Prove that for any function that is times differentiable at the point .
Let be an operator in an -dimensional space with distinct eigenvalues . Prove the formula
Suppose that the operator has eigenvalues with multiplicities . Prove the formula
and find the explicit form of the operators .
Let be the collection of all positive (see Problem 643) operators with trace on a finite-dimensional Hilbert space . Prove that is a convex compact set, and find the extreme points of .
Let be the operator of multiplication by a continuous real function on the space . Prove that is selfadjoint, and find .
Find the spectrum of the operator acting in according to the formula , where .
Let . Find the spectrum of the convolution operator on the space .
Let . Find the spectrum of the operator of convolution with on the space .
Prove that the spectrum of a unitary operator lies on the unit circle.
Let be a selfadjoint operator. Prove that the operator is unitary for nonreal .
Suppose that the operator is invertible and the operator is unitary. Prove that is selfadjoint.
It is known that the operator is unitary, and is invertible. Prove that the operator is selfadjoint.
Compute the spectral radius of the Volterra operator on defined by the formula
Compute explicitly the resolvent of the Volterra operator in Problem 641.
An operator on a Hilbert space is said to be positive if for all , . In this case write . Prove that a positive operator satisfies the formula
Let be a selfadjoint operator such that , and a nonnegative polynomial on . Prove that .
Prove that the mapping is continuous relative to the norm in if .
Let be a bounded selfadjoint operator. Prove that is a unitary operator for all and that
Prove that under the conditions of Problem 646 the operator-valued function is differentiable and .
Prove that every operator-valued function that is norm-continuous and satisfies the equations , has the form indicated in Problem 646.
Find the polar decomposition of the operator of multiplication by a function on .
Find the polar decomposition of the one-sided shift operator on .
Let and be commuting operators, and the polar decomposition of .
Prove that and commute with if is unitary.
Is this true in the general case?
Suppose that and that is invertible. Prove that is invertible and .
Let be the shift operator in (). Prove that there exists a unique selfadjoint operator with the following properties:
-
;
-
.
Let and be subspaces of , and and the corresponding orthogonal projections. Prove that exists and is equal to the orthogonal projection onto .
Let be the operator on given by the formula . Prove that commutes with the dilation operators .
In the notation of Theorem 7 in Ch. V prove that is the graph of some operator if and only if is dense in .
Here , and . Theorem 7 states that .
Suppose that the operators and are densely defined (i.e., and are dense in ). Prove that coincides with the closure of .
Prove that each of the following conditions is equivalent to the essential selfadjointness of an operator :
-
is selfadjoint;
-
.
In which of the following cases is the operator in symmetric, essentially selfadjoint, or selfadjoint:
,
,
?
Determine whether the Laplace operator is symmetric in when:
;
;
is the natural domain.
Show that every symmetric operator for which is bounded.
Let be a selfadjoint operator.
Prove that the operator is unitary.
Prove that .
Let be a unitary operator for which . Prove that the operator with domain is selfadjoint.
Compute the operator in Problem 663 if is the operator of shift by in .
Suppose that , consists of all the finitely nonzero sequences with zero sum, and is the operator given by the matrix , where .
Is symmetric?
Is essentially selfadjoint?
Let , , be the operator of multiplication by in with domains . Suppose that and are essentially selfadjoint. Is it possible that the subspaces and have zero intersection?
Suppose that the operator is densely defined and positive (see Problem 643). Prove that is essentially selfadjoint if and only if .
Prove that for any closed densely defined operator the operator with domain is selfadjoint.
Suppose that and are Hilbert spaces, and their Hilbert tensor product. Prove that if and are selfadjoint operators in and , respectively, then the operator , with domain , is essentially selfadjoint in .
Prove that the spectrum of a selfadjoint operator lies on the real axis.
Prove that for a densely defined operator in a Hilbert space.
Is the relation true in this case?
Prove that a selfadjoint operator does not have a symmetric extension different from itself.
Let be a symmetric operator. Prove that extends to an isometry from to .
Let be a closed symmetric operator. Prove that the space is closed in .
Prove that a closed symmetric operator admits a selfadjoint extension if and only if .