Section 13.4

Spectral theorem in terms of the multiplication operator

[27/44%]
Show
LaTeX
Problem 13.63

Under what conditions on the complex numbers {λk}k=1n\left\{ \lambda_{k}\right\}_{k = 1}^{n} does the diagonal operator A(x1,…,xn)=(λ1x1,…,λnxn)A\left(x_{1}, \ldots , x_{n}\right) = \left(\lambda_{1} x_{1}, \ldots , \lambda_{n} x_{n}\right) in l2(n)l_{2}(n) have a cyclic vector? State the condition for the existence of a cyclic vector in terms of the characteristic polynomial of an arbitrary operator A:Cn→CnA: \mathbb {C}^{n} \rightarrow \mathbb {C}^{n}.

?
Problem 13.64

Under what conditions on the bounded sequence of complex numbers {λk}k=1∞\left\{ \lambda_{k}\right\}_{k = 1}^{\infty } does the diagonal operator

A(x1,x2,…)=(λ1x1,λ2x2,…) A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda _{1} x_{1}, \lambda _{2} x_{2}, \ldots \right)

in l2l_{2} have a cyclic vector?

?
Problem 13.65

Prove that the operator (Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t) of multiplication by a continuous strictly monotone function a(t)a(t) has a cyclic vector:

?
(a)

in the space C[0,1]C[0,1];

(b)

in the space L2[0,1]L_{2}[0,1].

Problem 13.66

Prove that the operator (Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t) of multiplication by a continuous non-monotone function a(t)a(t), acting in the space C[0,1]C[0,1], does not have a cyclic vector.

?
Problem 13.67

Let AA be a bounded self-adjoint operator with simple spectrum in a Hilbert space HH. Prove that all its eigenvalues (if any) have multiplicity 1.

?
Problem 13.68

Prove that a compact self-adjoint operator in a Hilbert space possesses a cyclic vector precisely when all its eigenvalues are simple.

?
Problem 13.69

Let AA be an operator with a cyclic vector in an infinite-dimensional Hilbert space HH. Prove that the operators I,A,A2,…I, A, A^{2}, \ldots are linearly independent.

?
Problem 13.70

Prove that the operator TlT_{l} of left shift in the space l2l_{2} has a "supercyclic" vector, i.e., a vector xx such that the set {Tlnx∥Tlnx∥}n=0∞\left\{ \frac{T_{l}^{n} x}{\left\| T_{l}^{n} x\right\| }\right\}_{n = 0}^{\infty } is dense on the unit sphere. Does there exist an invertible operator with a supercyclic vector?

?
Problem 13.71

Let AA be a self-adjoint operator in a separable Hilbert space HH. Prove that there exists a decomposition into a direct sum H=⨁n=1NHnH = \bigoplus_{n = 1}^{N} H_{n}, where N=1,2,…N = 1,2, \ldots or ∞\infty, such that AHn⊂HnA H_{n} \subset H_{n} and for every n=1,2,…,Nn = 1,2, \ldots , N there exists a vector xn∈Hnx_{n} \in H_{n} that is cyclic for the restriction of AA to HnH_{n}, i.e., Lin⁡{Akxn}k=0∞‾=Hn\overline{\operatorname {Lin}\left\{ A^{k} x_{n}\right\}_{k = 0}^{\infty }} = H_{n}.

?
Problem 13.72

Find, in the space L2[−1,1]L_{2}[-1,1], the resolution of the identity of the operator of multiplication:

?
(a)

by ∣t∣\left|t\right|;

(b)

by t2t^{2}. Prove that this operator has no cyclic vector.

Problem 13.73

For the operator of multiplication from the previous problem:

?
(a)

by ∣t∣\left|t\right|;

(b)

by t2t^{2}

find some isometric isomorphism

U:L2[−1,1]→L2([a,b],μ1)⊕L2([a,b],μ2), U: L_{2}[-1,1] \rightarrow L_{2}\left([a, b], \mu _{1}\right) \oplus L_{2}\left([a, b], \mu _{2}\right),

such that the operator UAU−1U A U^{-1}, restricted to each of the spaces L2([a,b],μi)L_{2}\left([a, b], \mu_{i}\right), is the operator of multiplication by the independent variable. Find a,ba, b and the measures μi\mu_{i}.

Problem 13.74

Give an example of two bounded self-adjoint operators AA and BB in the space l2l_{2} whose spectra coincide, with σp(A)=σp(B)\sigma_{\mathrm{p}}(A) = \sigma_{\mathrm{p}}(B) (and the multiplicities of the corresponding eigenvalues coincide), σc(A)=σc(B)\sigma_{\mathrm{c}}(A) = \sigma_{\mathrm{c}}(B), but the operators themselves are not unitarily equivalent.

?
Problem 13.75

Find the resolution of the identity of the operator of multiplication by t3t^{3} in the space L2[0,1]L_{2}[0,1]. Reduce the operator to the form of multiplication by the independent variable (find an isometric isomorphism and measure μ\mu).

?
Problem 13.76

Find the resolution of the identity of the operator of multiplication by sin⁡t\sin t in the space L2[0,π/2]L_{2}[0, \pi / 2]. Reduce the operator to the form of multiplication by the independent variable (find an isometric isomorphism and measure μ\mu).

?
Problem 13.77

Find the resolution of the identity of the operator of multiplication by sin⁡t\sin t in the space L2(R)L_{2}(\mathbb {R}).

?
Problem 13.78

For the operator of problem 13.77, find a unitary isomorphism

U:L2(R)=⨁n=−∞∞L2[−π2+πn,π2+πn]→⨁n=−∞∞L2([a,b],μn), U: L_{2}(\mathbb {R}) = \bigoplus _{n = -\infty }^{\infty } L_{2}\left[-\frac{\pi }{2}+\pi n, \frac{\pi }{2}+\pi n\right] \rightarrow \bigoplus _{n = -\infty }^{\infty } L_{2}\left([a, b], \mu _{n}\right),

such that the operator UAU−1U A U^{-1}, restricted to the space L2([a,b],μi)L_{2}\left([a, b], \mu_{i}\right), is the operator of multiplication by the independent variable. Find a,ba, b and the measures μi\mu_{i}.

?
Problem 13.79

Reduce the operator

(Ax)(t)=∫01min⁡(t,s)x(s)ds (A x)(t) = \int _{0}^{1} \min (t, s) x(s) d s

acting in the space L2[0,1]L_{2}[0,1], to the form of multiplication by the independent variable (find an isometric isomorphism and measure μ\mu).

?
Problem 13.80

Let AA be a linear self-adjoint operator in a finite-dimensional space. Find a unitary operator UU, a measure μ\mu, and a function aa such that UAU−1=BU A U^{-1} = B, where B∈B(L2([0,1],μ)),(Bx)(t)=a(t)x(t)B \in \mathcal{B}\left(L_{2}([0,1], \mu )\right),(B x)(t) = a(t) x(t).

?
Problem 13.81

In the space l2(Z)l_{2}(\mathbb {Z}), consider the operator A=Tr+TlA = T_{r}+T_{l}, where Tr,TlT_{r}, T_{l} are the operators of right and left shift, respectively. Find a unitary operator UU and a function aa such that UAU−1=BU A U^{-1} = B, where B∈B(L2[−π,π]),Bx(t)=a(t)x(t)B \in \mathcal{B}\left(L_{2}[-\pi , \pi ]\right), B x(t) = a(t) x(t).

?
Problem 13.82

Prove that if an operator A∈B(H)A \in \mathcal{B}(H) in a Hilbert space is unitarily equivalent to an operator B∈B(L2[0,1])B \in \mathcal{B}\left(L_{2}[0,1]\right) of multiplication by a function Bx(t)=a(t)x(t)B x(t) = a(t) x(t), then AA is a normal operator.

?
Problem 13.83

Prove that every normal operator AA in a Hilbert space HH is unitarily equivalent to an operator of multiplication by some function aa in the space L2([0,1]2,μ)L_{2}\left([0,1]^{2}, \mu \right) with some measure μ\mu.

?
Problem 13.84

Prove that the operators

(Ax)(t)=tx(t) and (Bx)(t)=12(t+LK(t))x(t) (A x)(t) = t x(t) \quad \text{ and } \quad (B x)(t) = \frac{1}{2}(t+L K(t)) x(t)

acting in the space L2[0,1]L_{2}[0,1] (here LK(t)L K(t) is the Cantor function, see the definition on p. 72), are not unitarily equivalent.

?
Problem 13.85

Let μ\mu and vv be two nonnegative Borel measures on the segment [0,1][0,1], and let TμT_{\mu } and TvT_{v} be the operators of multiplication x(t)↦tx(t)x(t) \mapsto t x(t), acting in the spaces L2([0,1],μ)L_{2}([0,1], \mu ) and L2([0,1],v)L_{2}([0,1], v) respectively. These operators are unitarily equivalent if and only if the measures μ\mu and vv are equivalent. 1

Footnotes

  1. That is, do not exclude each other. ↩

?
Problem 13.86

Using Theorem 13.8, prove Theorem 13.9.

Theorem 13.8: For every self-adjoint operator AA in a separable Hilbert space HH there exist a decomposition H=⋃k∈KHkH = \bigcup_{k \in \mathcal{K}} H_{k}, where K=N∪{∞}\mathcal{K} = \mathbb {N} \cup \left\{ \infty \right\} (some of the subspaces may be zero), a family of pairwise singular Borel measures {μk}k∈K\left\{ \mu_{k}\right\}_{k \in \mathcal{K}} with supports supp⁡μk=:Xk⊂σ(A)\operatorname {supp} \mu_{k} =: X_{k} \subset \sigma (A) (some of the sets XkX_{k} may be empty), and a unitary isomorphism

U:H=⨁k∈K⊥Hk→⨁k∈K⊥(L2(Xk,μk))k, U: H = \bigoplus _{k \in \mathcal{K}}^{\perp } H_{k} \rightarrow \bigoplus _{k \in \mathcal{K}}^{\perp }\left(L_{2}\left(X_{k}, \mu _{k}\right)\right)^{k},

such that the restriction of AA to HkH_{k} is unitarily equivalent to the orthogonal direct sum of kk copies of the operator of multiplication by the independent variable in L2(Xk,μk)L_{2}\left(X_{k}, \mu_{k}\right):

(UAU−1)∣(L2(Xk,μk))k=Mk⊕Mk⊕…⏟k summands, \left.\left(U A U^{-1}\right)\right|_{\left(L_{2}\left(X_{k}, \mu _{k}\right)\right)^{k}} = \underbrace{M_{k} \oplus M_{k} \oplus \ldots }_{k \text{ summands}},

where Mk∈B(L2(Xk,μk))M_{k} \in \mathcal{B}\left(L_{2}\left(X_{k}, \mu_{k}\right)\right), (Mkx)(t)=tx(t)\left(M_{k} x\right)(t) = t x(t).

Theorem 13.9: Two self-adjoint operators AA and BB 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: μk,A∼μk,B\mu_{k, A} \sim \mu_{k, B} for every k∈Kk \in \mathcal{K}. (Here the multiplicity function of AA is nA(λ)=0n_{A}(\lambda ) = 0 outside σ(A)\sigma (A), nA(λ)=kn_{A}(\lambda ) = k for λ∈Xk\lambda \in X_{k}, k∈Kk \in \mathcal{K}.)

?
Problem 13.87

Determine whether among the following operators there are unitarily equivalent ones: A1∈B(L2[0,1]),(A1x)(t)=tx(t);A_{1} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{1} x\right)(t) = t x(t) ; A2∈B(L2[−1,1]),(A2x)(t)=∣t∣x(t);A_{2} \in \mathcal{B}\left(L_{2}[-1,1]\right),\left(A_{2} x\right)(t) = \left|t\right| x(t) ; A3∈B(L2[0,1]),(A3x)(t)=t2x(t);A_{3} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{3} x\right)(t) = t^{2} x(t) ; A4∈B(L2[0,1]),(A4x)(t)=t3x(t);A_{4} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{4} x\right)(t) = t^{3} x(t) ; A5∈B(L2[0,1]),(A5x)(t)=tx(t);A_{5} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{5} x\right)(t) = \sqrt{t} x(t) ; A6∈B(L2[0,π/2]),(A6x)(t)=sin⁡tx(t);A_{6} \in \mathcal{B}\left(L_{2}[0, \pi / 2]\right),\left(A_{6} x\right)(t) = \sin t x(t) ; A7∈B(L2[0,π]),(A7x)(t)=sin⁡tx(t);A_{7} \in \mathcal{B}\left(L_{2}[0, \pi ]\right),\left(A_{7} x\right)(t) = \sin t x(t) ; A8∈B(L2[0,1]),(A8x)(t)=(1−t)x(t);A_{8} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{8} x\right)(t) = (1-t) x(t) ; A9∈B(L2[0,1]),(A9x)(t)=LK(t)x(t)A_{9} \in \mathcal{B}\left(L_{2}[0,1]\right),\left(A_{9} x\right)(t) = L K(t) x(t).

?
Problem 13.88

Construct the canonical functional model:

?
(a)

for the operator (Ax)(t)=1t2+1x(t)(A x)(t) = \frac{1}{t^{2}+1} x(t) in the space L2(R)L_{2}(\mathbb {R});

(b)

for the operator (Ax)(t)=x(1−t)(A x)(t) = x(1-t) in the space L2[0,1]L_{2}[0,1];

(c)

for the operator (Ax)(t)=e−∣t∣cos⁡∣t∣x(t)(A x)(t) = e^{-\left|t\right|} \cos \left|t\right| x(t) in the space L2(R)L_{2}(\mathbb {R});

(d)

for the operator (Ax)(t)=LK(t)x(t)(A x)(t) = L K(t) x(t) in the space L2[0,1]L_{2}[0,1].

Problem 13.89

Construct the canonical functional model for the following operators in the space l2l_{2}:

?
(a)

A:(x1,x2,…)↦(r1x1,r2x2,…)A:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(r_{1} x_{1}, r_{2} x_{2}, \ldots \right), where {rj}1∞\left\{ r_{j}\right\}_{1}^{\infty } is a bounded sequence of pairwise distinct real numbers;

(b)

A:(x1,x2,…)↦(x1,12x2,12x3,13x4,13x5,13x6,14x7,…)A:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(x_{1}, \frac{1}{2} x_{2}, \frac{1}{2} x_{3}, \frac{1}{3} x_{4}, \frac{1}{3} x_{5}, \frac{1}{3} x_{6}, \frac{1}{4} x_{7}, \ldots \right), where the factor 1n\frac{1}{n} is repeated nn times.