Section V.1

Functional Calculus

[76/34%]
Show
LaTeX
Problem 610

Let AA be an operator in an nn-dimensional space LL over the field KK. Prove that the operators 1,A,A2,…,An1,A,A^2,\ldots ,A^n are linearly dependent.

?
Problem 611

Prove that the following properties of an operator AA on an nn-dimensional space LL over the field K=RK=\mathbb {R} or C\mathbb {C} are equivalent:

  1. the operators 1,A,A2,…,An−11,A,A^2,\ldots ,A^{n-1} are linearly independent;

  2. there is a vector ξ∈L\xi \in L such that ξ,Aξ,…,An−1ξ\xi ,A\xi ,\ldots ,A^{n-1}\xi is a basis in LL;

  3. there is a vector ξ∈L\xi \in L that is cyclic for AA (i.e., LL itself is the only subspace of LL containing ξ\xi and invariant under AA). Operators AA having these properties are called regular.

?
Problem 612

Prove that a diagonal matrix determines a regular operator if and only if the elements on the diagonal are distinct.

?
Problem 613

Prove that the following properties of a matrix AA are equivalent:

  1. AA defines a regular operator;

  2. the minimal polynomial for AA coincides with the characteristic polynomial;

  3. there is only one Jordan block for each eigenvalue of AA.

?
Problem 614

Prove that the set of regular operators is open and dense in the set of all operators.

?
Problem 615

Let RnR_n be the collection of n×nn\times n matrices of the form

A=(0100⋯00010⋯0⋮⋮⋮⋮⋮⋮0000⋯1a1a2a3a4⋯an). A=\begin{pmatrix} 0& 1& 0& 0& \cdots & 0\\ 0& 0& 1& 0& \cdots & 0\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots \\ 0& 0& 0& 0& \cdots & 1\\ a_1& a_2& a_3& a_4& \cdots & a_n\end{pmatrix}.

Prove that

?
(a)

every regular operator on an nn-dimensional space is represented by a matrix A∈RnA\in R_n in a suitable basis;

(b)

each matrix A∈RnA\in R_n determines a regular operator;

(c)

two matrices AA and BB in RnR_n are similar (i.e., A=CBC−1A=CBC^{-1}) only if A=BA=B.

Problem 616

Prove that two regular operators AA and BB on an nn-dimensional space LL over the field K=RK=\mathbb {R} or C\mathbb {C} are similar if and only if

tr⁡Ak=tr⁡Bk,k=1,2,…,n. \operatorname {tr} A^k=\operatorname {tr} B^k,\qquad k=1,2,\ldots ,n.
?
Problem 617

Let

A=(λ1000λ10⋮⋮⋮⋮00⋯λ) A=\begin{pmatrix} \lambda & 1& 0& 0\\ 0& \lambda & 1& 0\\ \vdots & \vdots & \vdots & \vdots \\ 0& 0& \cdots & \lambda \end{pmatrix}

be a Jordan block of order nn with eigenvalue λ\lambda. Compute the matrices:

?
(a)

AkA^k, k=2,3k=2,3;

(b)

p(A)p(A), where pp is a polynomial;

(c)

f(A)f(A), where ff is an entire function;

(d)

r(A)r(A), where rr is a rational function without a pole at the point λ\lambda.

Problem 618

Let A\mathfrak A be an algebra over the field K=CK=\mathbb {C} or R\mathbb {R}. An idempotent is defined to be an element x∈Ax\in \mathfrak A having the property x2=xx^2=x. The direct sum of algebras A1\mathfrak A_1 and A2\mathfrak A_2 is defined to be the linear space A1⊕A2\mathfrak A_1\oplus \mathfrak A_2 with componentwise multiplication. Prove that the following properties of A\mathfrak A are equivalent:

  1. A\mathfrak A is isomorphic to the direct sum of some (nonzero) algebras A1\mathfrak A_1 and A2\mathfrak A_2;

  2. A\mathfrak A contains a nontrivial (different from 00 and 11) idempotent. Algebras not having these properties will be called irreducible.

?
Problem 619
?
(a)

Prove that the field C\mathbb {C} is an irreducible algebra over R\mathbb {R}.

(b)

Prove that every irreducible algebra with unit that is singly generated over C\mathbb {C} is isomorphic to one of the algebras An=C[x]/(xn)\mathfrak A_n=\mathbb {C}{}[x]/(x^n) (the quotient algebra of the polynomials in xx with respect to the ideal generated by xnx^n).

Problem 620

Prove that every finite-dimensional algebra is a direct sum of irreducible algebras.

?
Problem 621

A numerical sequence {an}\left\{ a_n\right\} has the property that 0≤am+n≤am+an0\leq a_{m+n}\leq a_m+a_n for all mm and nn. Prove that lim⁡n→∞(an/n)\lim_{n\to \infty }(a_n/n) exists and is equal to inf⁡n(an/n)\inf_n(a_n/n).

?
Problem 622

Let AA be an operator in an nn-dimensional linear space LL over a field KK. Denote by A(A)\mathfrak A(A) the algebra over KK generated by 11 (the identity operator) and AA. Prove that dim⁡A(A)≤n\dim \mathfrak A(A)\leq n.

?
Problem 623

Let K=CK=\mathbb {C}. Prove that the algebra A(A)\mathfrak A(A) is irreducible if and only if AA has a unique eigenvalue.

?
Problem 624

Let SS be some set of operators in a linear space LL. Let S′S' be the collection of operators in LL that commute with all the operators in SS. For what operators AA does the equality A(A)′=A(A)\mathfrak A(A)'=\mathfrak A(A) hold?

?
Problem 625

Prove that every polynomial in the coefficients of the matrix AA that is invariant under the similarity transformations A↦CAC−1A\mapsto CAC^{-1} is a polynomial in tr⁡A,tr⁡A2,…,tr⁡An\operatorname {tr} A,\operatorname {tr} A^2,\ldots ,\operatorname {tr} A^n.

?
Problem 626

Let AA and BB be 2×22\times 2 matrices. Prove that every polynomial in the coefficients of AA and BB that is invariant under the substitutions A→CAC−1A\to CAC^{-1}, B→CBC−1B\to CBC^{-1} has the form P(tr⁡A,tr⁡B,tr⁡A2,tr⁡B2,tr⁡AB)P(\operatorname {tr} A,\operatorname {tr} B,\operatorname {tr} A^2,\operatorname {tr} B^2,\operatorname {tr} AB), where PP is some uniquely determined polynomial in five variables.

?
Problem 627

Let AA and BB be n×nn\times n matrices. Prove that the algebra of those polynomials in the coefficients of AA and BB that are invariant under the substitutions A→CAC−1A\to CAC^{-1}, B→CBC−1B\to CBC^{-1} contains no fewer than n2+1n^2+1 generators.

?
Problem 628

In the space of 2n×2n2n\times 2n matrices find a subspace of dimension 1+n21+n^2 consisting of pairwise commuting matrices.

?
Problem 629

Let AA be an operator in an nn-dimensional space with a single eigenvalue λ\lambda. Prove that f(A)=∑k=0n−1[f(k)(λ)/k!](A−λ⋅1)kf(A)=\sum_{k=0}^{n-1}[f^{(k)}(\lambda )/k!](A-\lambda \cdot 1)^k for any function ff that is n−1n-1 times differentiable at the point λ\lambda.

?
Problem 630

Let AA be an operator in an nn-dimensional space with distinct eigenvalues λ1,…,λn\lambda_1,\ldots ,\lambda_n. Prove the formula

f(A)=∑k=1nf(λk)∏j≠kA−λj⋅1λk−λj. f(A)=\sum _{k=1}^nf(\lambda _k)\prod _{j\ne k}\frac{A-\lambda _j\cdot 1}{\lambda _k-\lambda _j}.
?
Problem 631

Suppose that the operator AA has eigenvalues λ1,…,λn\lambda_1,\ldots ,\lambda_n with multiplicities m1,…,mnm_1,\ldots ,m_n. Prove the formula

f(A)=∑k=1n∑j=0mk−1f(j)(λk)Bjk f(A)=\sum _{k=1}^n\sum _{j=0}^{m_k-1}f^{(j)}(\lambda _k)B_{jk}

and find the explicit form of the operators BjkB_{jk}.

?
Problem 632

Let KK be the collection of all positive (see Problem 643) operators with trace 11 on a finite-dimensional Hilbert space HH. Prove that KK is a convex compact set, and find the extreme points of KK.

?
Problem 633

Let AA be the operator of multiplication by a continuous real function a(x)a(x) on the space L2(0,1)L^{2}\left({0,1}\right). Prove that AA is selfadjoint, and find σ(A)\sigma (A).

?
Problem 634

Find the spectrum of the operator AA acting in L2(0,1)L^{2}\left({0,1}\right) according to the formula Af(x)=a(x)f(x)Af(x)=a(x)f(x), where a∈L∞(0,1)a\in L^{\infty }\left({0,1}\right).

?
Problem 635

Let f∈L1(R,dx)f\in L^{1}\left({\mathbb {R},dx}\right). Find the spectrum of the convolution operator S(f)S(f) on the space L2(R,dx)L^{2}\left({\mathbb {R},dx}\right).

?
Problem 636

Let f∈L1(T,dt)f\in L^{1}\left({\mathrm T,dt}\right). Find the spectrum of the operator S(f)S(f) of convolution with ff on the space L2(T,dt)L^{2}\left({\mathrm T,dt}\right).

?
Problem 637

Prove that the spectrum of a unitary operator UU lies on the unit circle.

?
Problem 638

Let AA be a selfadjoint operator. Prove that the operator (A+λ1)(A+λ‾1)−1(A+\lambda 1)(A+\overline{\lambda }1)^{-1} is unitary for nonreal λ\lambda.

?
Problem 639

Suppose that the operator (A−i1)(A-i1) is invertible and the operator (A+i1)(A−i1)−1(A+i1)(A-i1)^{-1} is unitary. Prove that AA is selfadjoint.

?
Problem 640

It is known that the operator UU is unitary, and U−1U-1 is invertible. Prove that the operator A=i(U+1)(U−1)−1A=i(U+1)(U-1)^{-1} is selfadjoint.

?
Problem 641

Compute the spectral radius of the Volterra operator AA on L2(0,1)L^{2}\left({0,1}\right) defined by the formula

Af(x)=∫0xf(t) dt. Af(x)=\int _0^xf(t)\, dt.
?
Problem 642

Compute explicitly the resolvent of the Volterra operator in Problem 641.

?
Problem 643

An operator AA on a Hilbert space HH is said to be positive if ⟨Ax,x⟩≥0\left\langle Ax, x \right\rangle \geq 0 for all x∈Hx\in H, x≠0x\ne 0. In this case write A≫0A\gg 0. Prove that a positive operator AA satisfies the formula

∥A∥=sup⁡x≠0⟨Ax,x⟩⟨x,x⟩. \left\| A\right\| =\sup _{x\ne 0}\frac{ \left\langle Ax, x \right\rangle }{ \left\langle x, x \right\rangle }.
?
Problem 644

Let AA be a selfadjoint operator such that a⋅1≪A≪b⋅1a\cdot 1\ll A\ll b\cdot 1, and p(x)p(x) a nonnegative polynomial on [a,b][a,b]. Prove that p(A)≫0p(A)\gg 0.

?
Problem 645

Prove that the mapping p↦p(A)p\mapsto p(A) is continuous relative to the norm in C[a,b]C[a,b] if a⋅1≪A≪b⋅1a\cdot 1\ll A\ll b\cdot 1.

?
Problem 646

Let AA be a bounded selfadjoint operator. Prove that U(t)=eitAU(t)=e^{itA} is a unitary operator for all t∈Rt\in \mathbb {R} and that

U(t)U(s)=U(t+s),U(t)∗=U(−t). U(t)U(s)=U(t+s),\qquad U(t)^*=U(-t).
?
Problem 647

Prove that under the conditions of Problem 646 the operator-valued function U(t)U(t) is differentiable and U′(t)=iAU(t)=iU(t)AU'(t)=iAU(t)=iU(t)A.

?
Problem 648

Prove that every operator-valued function U(t)U(t) that is norm-continuous and satisfies the equations U(t)U(s)=U(t+s)U(t)U(s)=U(t+s), U(t)∗=U(−t)U(t)^*=U(-t) has the form indicated in Problem 646.

?
Problem 649

Find the polar decomposition of the operator AA of multiplication by a function a∈L∞(X,μ)a\in L^{\infty }\left({X,\mu }\right) on L2(X,μ)L^{2}\left({X,\mu }\right).

?
Problem 650

Find the polar decomposition of the one-sided shift operator on l2(C)l_2(\mathbb {C}).

?
Problem 651

Let AA and BB be commuting operators, and A=RUA=RU the polar decomposition of AA.

?
(a)

Prove that RR and UU commute with BB if BB is unitary.

(b)

Is this true in the general case?

Problem 652

Suppose that A≫B≫0A\gg B\gg 0 and that BB is invertible. Prove that AA is invertible and A−1≪B−1A^{-1}\ll B^{-1}.

?
Problem 653

Let TT be the shift operator in l2(Z)l_2(\mathbb {Z}) (T{xn}={xn+1}T\left\{ x_n\right\} =\left\{ x_{n+1}\right\}). Prove that there exists a unique selfadjoint operator AA with the following properties:

  1. T=eiAT=e^{iA};

  2. ∥A∥≤π\left\| A\right\| \leq \pi.

?
Problem 654

Let H1H_1 and H2H_2 be subspaces of HH, and P1P_1 and P2P_2 the corresponding orthogonal projections. Prove that lim⁡n→∞(P1P2)n\lim_{n\to \infty }(P_1P_2)^n exists and is equal to the orthogonal projection onto H1∩H2H_1\cap H_2.

?
Problem 655

Let AA be the operator on L2([(0,∞),dx])L^{2}\left({[(0,\infty ),dx]}\right) given by the formula Af(x)=∫0∞[f(y)/(x+y)] dyAf(x)=\int_0^\infty [f(y)/(x+y)]\, dy. Prove that AA commutes with the dilation operators L(a):f(x)↦f(ax)L(a):f(x)\mapsto f(ax).

?
Problem 656

In the notation of Theorem 7 in Ch. V prove that τ(ΓA)⊥\tau (\Gamma_A)^\perp is the graph of some operator if and only if DAD_A is dense in HH.

Here ΓA={x⊕Ax:x∈DA}⊂H⊕H\Gamma_A=\left\{ x\oplus Ax:x\in D_A\right\} \subset H\oplus H, and τ(x⊕y)=(−y)⊕x\tau (x\oplus y)=(-y)\oplus x. Theorem 7 states that ΓA∗=τ(ΓA)⊥\Gamma_{A^*}=\tau (\Gamma_A)^\perp.

?
Problem 657

Suppose that the operators AA and A∗A^* are densely defined (i.e., DAD_A and DA∗D_{A^*} are dense in HH). Prove that (A∗)∗(A^*)^* coincides with the closure of AA.

?
Problem 658

Prove that each of the following conditions is equivalent to the essential selfadjointness of an operator AA:

  1. A∗A^* is selfadjoint;

  2. Aˉ=A∗\bar A=A^*.

?
Problem 659

In which of the following cases is the operator A=i d/dxA=i\, d/dx in H=L2(0,1)H=L^{2}\left({0,1}\right) symmetric, essentially selfadjoint, or selfadjoint:

?
(a)

DA=C1[0,1]D_A=C^1[0,1],

(b)

DA={φ∈C1[0,1], φ(0)=φ(1)}D_A=\left\{ \varphi \in C^1[0,1],\ \varphi (0)=\varphi (1)\right\},

(c)

DA={φ∈C1[0,1], φ(0)=φ(1)=0}D_A=\left\{ \varphi \in C^1[0,1],\ \varphi (0)=\varphi (1)=0\right\}?

Problem 660

Determine whether the Laplace operator Δ=∂2/∂x12+∂2/∂x22\Delta =\partial^2/\partial x_1^2+\partial^2/\partial x_2^2 is symmetric in L2(R2,dx)L^{2}\left({\mathbb {R}^{2},dx}\right) when:

?
(a)

DΔ=S(R2)D_\Delta =S(\mathbb {R}^{2});

(b)

DΔ=D(R2)D_\Delta =\mathcal D(\mathbb {R}^{2});

(c)

DΔD_\Delta is the natural domain.

Problem 661

Show that every symmetric operator AA for which DA=HD_A=H is bounded.

?
Problem 662

Let AA be a selfadjoint operator.

?
(a)

Prove that the operator (A+i1)(A−i1)−1=U(A+i1)(A-i1)^{-1}=U is unitary.

(b)

Prove that ker⁡(U−1)={0}\ker (U-1)=\left\{ 0\right\}.

Problem 663

Let UU be a unitary operator for which ker⁡(U−1)={0}\ker (U-1)=\left\{ 0\right\}. Prove that the operator A=i(U+1)(U−1)−1A=i(U+1)(U-1)^{-1} with domain DA=im⁡(U−1)D_A=\operatorname {im}(U-1) is selfadjoint.

?
Problem 664

Compute the operator AA in Problem 663 if UU is the operator of shift by 11 in l2(Z)l_2(\mathbb {Z}).

?
Problem 665

Suppose that H=l2(C)H=l_2(\mathbb {C}), DAD_A consists of all the finitely nonzero sequences with zero sum, and AA is the operator given by the matrix A=(ajk)A=(a_{jk}), where ajk=isign⁡(j−k)a_{jk}=i\operatorname {sign}\left(j-k\right).

?
(a)

Is AA symmetric?

(b)

Is AA essentially selfadjoint?

Problem 666

Let AiA_i, i=1,2i=1,2, be the operator of multiplication by xx in L2(R,dx)L^{2}\left({\mathbb {R},dx}\right) with domains DAiD_{A_i}. Suppose that A1A_1 and A2A_2 are essentially selfadjoint. Is it possible that the subspaces DA1D_{A_1} and DA2D_{A_2} have zero intersection?

?
Problem 667

Suppose that the operator AA is densely defined and positive (see Problem 643). Prove that AA is essentially selfadjoint if and only if ker⁡(A∗+1)={0}\ker (A^*+1)=\left\{ 0\right\}.

?
Problem 668

Prove that for any closed densely defined operator AA the operator T=A∗A+1T=A^*A+1 with domain Dτ={x∈DA; Ax∈DA∗}D_\tau =\left\{ x\in D_A;\ Ax\in D_{A^*}\right\} is selfadjoint.

?
Problem 669

Suppose that H1H_1 and H2H_2 are Hilbert spaces, and H1⊗H2H_1\otimes H_2 their Hilbert tensor product. Prove that if A1A_1 and A2A_2 are selfadjoint operators in H1H_1 and H2H_2, respectively, then the operator A1⊗1+1⊗A2A_1\otimes 1+1\otimes A_2, with domain DA1⊗DA2D_{A_1}\otimes D_{A_2}, is essentially selfadjoint in HH.

?
Problem 670

Prove that the spectrum of a selfadjoint operator lies on the real axis.

?
Problem 671
?
(a)

Prove that (im⁡A)⊥=ker⁡A∗(\operatorname {im} A)^\perp =\ker A^* for a densely defined operator AA in a Hilbert space.

(b)

Is the relation (ker⁡A)⊥=im⁡A∗‾(\ker A)^\perp =\overline{\operatorname {im} A^*} true in this case?

Problem 672

Prove that a selfadjoint operator AA does not have a symmetric extension different from AA itself.

?
Problem 673

Let AA be a symmetric operator. Prove that (A+i)(A−i)−1(A+i)(A-i)^{-1} extends to an isometry UU from im⁡(A−i)‾\overline{\operatorname {im}(A-i)} to im⁡(A+i)‾\overline{\operatorname {im}(A+i)}.

?
Problem 674

Let AA be a closed symmetric operator. Prove that the space im⁡(A+i1)\operatorname {im}(A+i1) is closed in HH.

?
Problem 675

Prove that a closed symmetric operator AA admits a selfadjoint extension if and only if dim⁡ker⁡(A∗−i1)=dim⁡ker⁡(A∗+i1)\dim \ker (A^*-i1)=\dim \ker (A^*+i1).

?
Problem 676
[NO TASK]
Problem 677
[NO TASK]
Problem 678
[NO TASK]
Problem 679
[NO TASK]
Problem 680
(a)
(b)
Problem 681
[NO TASK]
Problem 682
[NO TASK]
Problem 683
(a)
(b)
(c)
Problem 684
(a)
(b)
(c)
Problem 685
[NO TASK]