Spectrum, adjoint and norm of concrete shift operators

[37/41%]
Show
LaTeX

Let X=l2X = l_{2}. The operators A,B∈L(l2)A, B \in \mathcal{L}\left(l_{2}\right) are defined as follows:

Ax=(x2,x3,x4,…),Bx=(0,x1,x2,…),x∈l2. A x = \left(x_{2}, x_{3}, x_{4}, \ldots \right), B x = \left(0, x_{1}, x_{2}, \ldots \right), x \in l_{2}.

Find σ(A),σp(A),σc(A),σr(A)\sigma (A), \sigma_{p}(A), \sigma_{c}(A), \sigma_{r}(A) and do the same for the operator BB.

?

Let X=L2(R),(Ax)(t)=x(t+1),t∈RX = L_{2}(\mathbb {R}),(A x)(t) = x(t+1), t \in \mathbb {R}. Find σ(A),σp(A),σc(A)\sigma (A), \sigma_{p}(A), \sigma_{c}(A), and σr(A)\sigma_{r}(A).

?

Let 1p+1q=1,Ax=(x2,x3,…),x∈lp,Bx=(0,x1,x2,…),x∈lq\frac{1}{p}+\frac{1}{q} = 1, A x = \left(x_{2}, x_{3}, \ldots \right), x \in l_{p}, B x = \left(0, x_{1}, x_{2}, \ldots \right), x \in l_{q}. Find σ(A),σp(A),σc(A),σr(A)\sigma (A), \sigma_{p}(A), \sigma_{c}(A), \sigma_{r}(A) and do the same for the operator BB, if

?
(1)

1<p<+∞1 < p < +\infty;

(2)

p=1p = 1;

(3)

p=+∞p = +\infty.

Find σ(A),σp(A),σc(A),σr(A)\sigma (A), \sigma_{p}(A), \sigma_{c}(A), \sigma_{r}(A), the resolvent, and the spectral radius of the operator A:lp→lp,1<p<+∞A: l_{p} \rightarrow l_{p}, 1 < p < +\infty, if

?
(1)

Ax=(x3,x4,…)A x = \left(x_{3}, x_{4}, \ldots \right);

(2)

Ax=(0,0,x1,x2,…)A x = \left(0,0, x_{1}, x_{2}, \ldots \right).

Let s∈R\{0}s \in \mathbb {R} \backslash \left\{ 0\right\} be a fixed number. The operator AsA_{s} in L2(R)L_{2}(\mathbb {R}) is defined by the formula (Asx)(t)=x(t+s),t∈R\left(A_{s} x\right)(t) = x(t+s), t \in \mathbb {R}. Prove that σp(As)=σr(As)=∅\sigma_{p}\left(A_{s}\right) = \sigma_{r}\left(A_{s}\right) = \varnothing, and σ(As)=σc(As)={λ∈C∣∣λ∣=1}\sigma \left(A_{s}\right) = \sigma_{c}\left(A_{s}\right) = \left\{ \lambda \in \mathbb {C} \mid \left|\lambda \right| = 1\right\}.

?

Prove that the following operators A:l2→l2A: l_{2} \rightarrow l_{2} are linear and continuous. Find their norms.

?
(1)

Ax=(0,0,…,0⏟k,x1,x2,…)A x = (\underbrace{0,0, \ldots , 0}_{k}, x_{1}, x_{2}, \ldots );

(2)

Ax=(0,0,…,0⏟k,xk+1,xk+2,…)A x = (\underbrace{0,0, \ldots , 0}_{k}, x_{k+1}, x_{k+2}, \ldots );

(3)

Ax=(xk+1,xk+2,…)A x = \left(x_{k+1}, x_{k+2}, \ldots \right);

(4)

Ax=(x1,0,x2,0,x3,0,…)A x = \left(x_{1}, 0, x_{2}, 0, x_{3}, 0, \ldots \right);

(5)

Ax=(x1,0,x3,0,x5,0,…)A x = \left(x_{1}, 0, x_{3}, 0, x_{5}, 0, \ldots \right);

(6)

Ax=(0,x2,0,x4,0,x6,…)A x = \left(0, x_{2}, 0, x_{4}, 0, x_{6}, \ldots \right).

Find the adjoint operator of an operator A:l2→l2A: l_{2} \rightarrow l_{2}.

?
(1)

Ax=(α1x1,α2x2,…)A x = \left(\alpha_{1} x_{1}, \alpha_{2} x_{2}, \ldots \right);

(2)

Ax=(x2,x3,…)A x = \left(x_{2}, x_{3}, \ldots \right);

(3)

Ax=(x1,…,xj,0,0,…)A x = \left(x_{1}, \ldots , x_{j}, 0,0, \ldots \right);

(4)

Ax=(0,…,0⏟j−1,x1,0,0,…)A x = (\underbrace{0, \ldots , 0}_{j-1}, x_{1}, 0,0, \ldots );

(5)

Ax=(x1,…,x1⏟j,0,0,…)A x = (\underbrace{x_{1}, \ldots , x_{1}}_{j}, 0,0, \ldots );

(6)

Ax=(x2,x1,x4,x3,x6,x5,…)A x = \left(x_{2}, x_{1}, x_{4}, x_{3}, x_{6}, x_{5}, \ldots \right);

(7)

Ax=(αjxj,αj+1xj+1,…)A x = \left(\alpha_{j} x_{j}, \alpha_{j+1} x_{j+1}, \ldots \right);

(8)

Ax=(0,0,α1x1,α2x2,…)A x = \left(0,0, \alpha_{1} x_{1}, \alpha_{2} x_{2}, \ldots \right);

(9)

Ax=(2x1+3x2,3x1+5x2,x3,0,0,…)A x = \left(2 x_{1}+3 x_{2}, 3 x_{1}+5 x_{2}, x_{3}, 0,0, \ldots \right);

(10)

Ax=(x1,4x2+7x3,7x2+2x3,0,x5,0,0,…)A x = \left(x_{1}, 4 x_{2}+7 x_{3}, 7 x_{2}+2 x_{3}, 0, x_{5}, 0,0, \ldots \right);

(11)

Ax=(3x1−2x2,x2,x3,x4,…)A x = \left(3 x_{1}-2 x_{2}, x_{2}, x_{3}, x_{4}, \ldots \right), where j∈Nj \in \mathbb {N} is fixed, and {αn:n≥1}⊂C\left\{ \alpha_{n}: n \geq 1\right\} \subset \mathbb {C} is a fixed bounded sequence.

Prove that there does not exist an operator B∈L(l2)B \in \mathcal{L}\left(l_{2}\right) such that B2=AB^{2} = A if

?
(1)

Ax=(x2,x3,…),x∈l2A x = \left(x_{2}, x_{3}, \ldots \right), x \in l_{2};

(2)

Ax=(0,x1,x2,…),x∈l2A x = \left(0, x_{1}, x_{2}, \ldots \right), x \in l_{2}.

Prove that the operators of right and left shift

Tr:(x1,x2,…)↦(0,x1,x2,…),Tl(x1,x2,…)↦(x2,x3,…) T_{r}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(0, x_{1}, x_{2}, \ldots \right), \quad T_{l}\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(x_{2}, x_{3}, \ldots \right)

are bounded in the spaces lp,p∈[1,∞]l_{p}, p \in [1, \infty ], c, and c0c_{0}. Find the norm, image, and kernel of these operators in each of the spaces.

?

Prove that the shift operator (Ax)(t)=x(t+a)(A x)(t) = x(t+a) is bounded as an operator in the space

?
(a)

C0(R)C_{0}(\mathbb {R});

(b)

Lp(R),p∈[1,∞]L_{p}(\mathbb {R}), p \in [1, \infty ]. Find its norm, image, and kernel in each of the spaces.

Find the adjoint operator A′A^{\prime } for the operator AA in the spaces lp,p∈[1,∞)l_{p}, p \in [1, \infty ), and c0c_{0}:

?
(a)

A(x1,x2,…)=(x2,x3,…)A\left(x_{1}, x_{2}, \ldots \right) = \left(x_{2}, x_{3}, \ldots \right), i.e., A=TlA = T_{l} is the left shift;

(b)

A(x1,x2,…)=(0,x1,x2,…)A\left(x_{1}, x_{2}, \ldots \right) = \left(0, x_{1}, x_{2}, \ldots \right), i.e., A=TrA = T_{r} is the right shift;

(c)

A(x1,x2,…)=(λ1x1,λ2x2,…),{λn}n=1∞∈l∞A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right),\left\{ \lambda_{n}\right\}_{n = 1}^{\infty } \in l_{\infty };

(d)

A(x1,x2,…)=(x2,x32,…,xn+1n,…)A\left(x_{1}, x_{2}, \ldots \right) = \left(x_{2}, \frac{x_{3}}{2}, \ldots , \frac{x_{n+1}}{n}, \ldots \right).

Prove that the operators of left and right shift are partial isometries of the space l2l_{2}.

?

Verify the statements in Example 5.3: define S:l2→l2S : l^2 \to l^2 by S(α1,α2,…)=(0,α1,α2,…)S(\alpha_1, \alpha_2, \ldots ) = (0, \alpha_1, \alpha_2, \ldots ). Then SS is an isometry that is not surjective.

?

Define V:L2(0,∞)→L2(0,∞)V : L^2(0, \infty ) \to L^2(0, \infty ) by (Vf)(t)=f(t−1)(Vf)(t) = f(t-1) if t>1t > 1 and (Vf)(t)=0(Vf)(t) = 0 if t≤1t \leq 1. Show that VV is an isometry that is not surjective.

?

Let SS be the unilateral shift and compute SS∗SS^{*} and S∗SS^{*}S. Also compute SnS∗nS^{n} S^{*n} and S∗nSnS^{*n} S^{n}.

?

Define A:l2(Z)→l2(Z)A: l^{2}(\mathbb {Z}) \rightarrow l^{2}(\mathbb {Z}) by A(…,α−1,α^0,α1,…)=(…,α^−1,α0,α1,…)A(\ldots , \alpha_{-1}, \hat{\alpha }_{0}, \alpha_{1}, \ldots ) = (\ldots , \hat{\alpha }_{-1}, \alpha_{0}, \alpha_{1}, \ldots ), where  ^\hat{\ } sits above the coefficient in the 00-place. Find an invariant subspace of AA that does not reduce AA. This operator is called the bilateral shift.

?

Say that an operator AA on H\mathcal{H} is irreducible if the only reducing subspaces for AA are (0)(0) and H\mathcal{H}. Prove:

?
(a)

The Volterra operator is irreducible.

(b)

The unilateral shift is irreducible.

Let 1≤p<∞1 \le p < \infty and define S:lp→lpS: l^p \to l^p by S(α1,α2,…)=(0,α1,α2,…)S(\alpha_1, \alpha_2, \ldots ) = (0, \alpha_1, \alpha_2, \ldots ). Compute S∗S^*.

?

Let SS be the unilateral shift on ℓ2\ell^2, the Hilbert space operator defined by S(x1,x2,x3,…)=(0,x1,x2,…)S(x_1, x_2, x_3, \ldots ) = (0, x_1, x_2, \ldots ). Show that SS is left invertible but not right invertible.

?

Let 1≤p≤∞1 \le p \le \infty and suppose 0<α1≤α2≤⋯0 < \alpha_1 \le \alpha_2 \le \cdots such that r=lim⁡αn<∞r = \lim \alpha_n < \infty. Define A:ℓp→ℓpA: \ell^p \to \ell^p by A(x1,x2,…)=(0,α1x1,α2x2,…)A(x_1, x_2, \ldots ) = (0, \alpha_1 x_1, \alpha_2 x_2, \ldots ). Show that σ(A)={z∈C:∣z∣≤r}\sigma (A) = \left\{ z \in \mathbb {C} : \left|z\right| \le r\right\} and σap(A)=∂σ(A)\sigma_{ap}(A) = \partial \sigma (A). If ∣λ∣<r\left|\lambda \right| < r, then ran(A−λ)\text{ran}(A - \lambda ) is closed and has codimension 11. Also, σp(A)=□\sigma_p(A) = \square.

?

Let A=B(l2)\mathcal{A} = \mathcal{B}(l^2), let a=a = the unilateral shift on l2l^2, and let b=a∗b = a^*. Show that σ(ab)≠σ(ba)\sigma (ab) \neq \sigma (ba).

?

Let SS be the unilateral shift on l2l^2. Show that C∗(S)⊇B0(l2)C^*(S) \supseteq \mathcal{B}_0(l^2) and C∗(S)/B0(l2)C^*(S)/\mathcal{B}_0(l^2) is abelian. Show that the maximal ideal space of C∗(S)/B0(l2)C^*(S)/\mathcal{B}_0(l^2) is homeomorphic to ∂D\partial \mathbb {D}.

?

Let SS be the unilateral shift on l2(N)l^2(\mathbb {N}) (II.2.10). Examine the sequences {Sk}\{ S^k\} and {S∗k}\{ S^{*k}\} and their relation to Exercises 3 and 4.

?

Let H\mathcal{H} be a Hilbert space of dimension α\alpha and define S:H(∞)→H(∞)S: \mathcal{H}^{(\infty )} \to \mathcal{H}^{(\infty )} by S(h1,h2,… )=(0,h1,h2,… )S(h_1, h_2, \dots ) = (0, h_1, h_2, \dots ). SS is called the unilateral shift of multiplicity α\alpha.

?
(a)

Show that A=[Aij]∈{S}′A = [A_{ij}] \in \{ S\} ' if and only if Aij=0A_{ij} = 0 for j>ij > i and Aij=Ai+1,j+1A_{ij} = A_{i+1, j+1} for i≥ji \geq j.

(b)

Show that A=[Aij]∈{S}′′A = [A_{ij}] \in \{ S\} '' if and only if Aij=0A_{ij} = 0 for j>ij > i and Aij=Ai+1,j+1=A_{ij} = A_{i+1, j+1} = a multiple of the identity for i≥ji \geq j.

Define an unbounded weighted shift and determine its adjoint.

?

Let SS be the unilateral shift of multiplicity 1 (see Exercise IX.6.4) and find the symmetric operator AA such that SS is the Cayley transform of AA.

?

Let U=S∗U = S^*, where SS is the unilateral shift of multiplicity 1. Is UU the Cayley transform of a symmetric operator AA? If so, find it.

?

Let SS be the unilateral shift of multiplicity 11 on l2(N)l^2(\mathbb {N}) and find σl(S)\sigma_l(S) and σr(S)\sigma_r(S).

?

Does the unilateral shift of multiplicity 11 have a square root?

?

If UU is the unilateral shift of multiplicity 11 and π:B(H)→B(H)/B0(H)\pi : \mathcal{B}(\mathcal{H}) \to \mathcal{B}(\mathcal{H})/\mathcal{B}_0(\mathcal{H}) is the natural map, show that π(U)\pi (U) is normal in B(H)/B0(H)\mathcal{B}(\mathcal{H})/\mathcal{B}_0(\mathcal{H}) but there is no normal operator NN such that U−NU - N is compact. (See Exercise IX.8.14.)

?

Let SS be the operator defined in Example 2.11 where G=DG = \mathbb {D}. Show that there is a compact operator KK such that S+KS + K is unitarily equivalent to the unilateral shift.

?

If UU and VV are isometries, show that there is a path consisting entirely of isometries connecting UU to VV if and only if dim⁡(ran U)⊥=dim⁡(ran V)⊥\dim (\mathrm{ran}\ U)^\perp = \dim (\mathrm{ran}\ V)^\perp.

?
?
(a)

Define L:ℓ2→ℓ2L: \ell^{2} \rightarrow \ell^{2} by L(x)=(x2,x3,…)L(x) = \left(x_{2}, x_{3}, \ldots \right). Prove that this left-shift operator is bounded, linear, surjective, not injective, is not an isometry, and satisfies ∥L∥=1\left\| L\right\| = 1. Find all of the eigenvalues and eigenvectors of LL.

(b)

Define R:ℓ2→ℓ2R: \ell^{2} \rightarrow \ell^{2} by R(x)=(0,x1,x2,x3,…)R(x) = \left(0, x_{1}, x_{2}, x_{3}, \ldots \right). Prove that this rightshift operator is bounded, linear, injective, not surjective, and is an isometry. Find all of the eigenvalues and eigenvectors of RR.

(c)

Compute LRL R and RLR L and show that LR≠RLL R \neq R L. Contrast this with the fact that in finite dimensions, if A,B:Fn→FnA, B: \mathbf{F}^{n} \rightarrow \mathbf{F}^{n} are linear maps (hence correspond to multiplication by n×nn \times n matrices), then AB=IA B = I if and only if BA=IB A = I.

Let L,RL, R be the left- and right-shift operators on ℓ2\ell^{2} defined in Exercise 1.64. Show that R=L∗R = L^{*}.

?

Let H=ℓ2H = \ell^{2} be the well known Hilbert space. Consider the left shift defined by

L:ℓ2→ℓ2,x=(x1,x2,x3,…)↦Lx=(x2,x3,…). L: \ell ^{2} \rightarrow \ell ^{2}, \quad x = \left(x_{1}, x_{2}, x_{3}, \ldots \right) \mapsto L x = \left(x_{2}, x_{3}, \ldots \right).
?
(a)

Show that LL is a linear bounded operator. Find ∥L∥\left\| L\right\|.

(b)

Define the right shift and answer the same question as in part (a).

Consider the right-shift on the Hilbert space ℓ2\ell^{2}:

S:ℓ2→ℓ2,S(α1,α2,…)=(0,α1,α2,…) S: \ell ^{2} \rightarrow \ell ^{2}, \quad S\left(\alpha _{1}, \alpha _{2}, \ldots \right) = \left(0, \alpha _{1}, \alpha _{2}, \ldots \right)

Define its adjoint operator.

?

Let SRS_{R} and SLS_{L} be as above. Prove that neither SRS_{R} nor SLS_{L} has polar decompositions UPU P, with UU unitary and P≥0P \geq 0.

?

References

[BCK+24] Brayman V.B., Chaikovskyi A.V., Konstantinov O.Y., Kukush A.G., Mishura Y.S., Nesterenko O.N. Functional Analysis and Operator Theory. Springer, 2024.
[БСШ17] Бородин П.А., Савчук А.М., Шейпак И.А. Задачи по функциональному анализу. МЦНМО, 2017.
[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.
[Hei11] Heil C. A Basis Theory Primer. Birkhäuser, 2011.
[Le13] Le A. Functional Analysis Problems with Solutions. 2013.
[Rud91] Rudin W. Functional Analysis. 2nd ed., McGraw-Hill, 1991.