Chapter 10

Examples of Spectra

[7/100%]
Show
LaTeX
Problem 79

If AA is normal, then Γ(A)=Π0(A)\Gamma (A) = \Pi_0(A) (and therefore spec⁡A=Π(A)\operatorname {spec} A = \Pi (A)). Alternative formulation: the residual spectrum of a normal operator is always empty.

?
Remark.
?

Recall that the residual spectrum of AA is Γ(A)−Π0(A)\Gamma (A) - \Pi_0(A).

Problem 80

For each diagonal operator, find its point spectrum, compression spectrum, and approximate point spectrum.

?
Problem 81

For each multiplication, find its point spectrum, compression spectrum, and approximate point spectrum.

?
Problem 82

What is the spectrum of the unilateral shift, and what are its parts (point spectrum, compression spectrum, and approximate point spectrum)? What are the answers to the same questions for the adjoint of the unilateral shift?

?
Remark.
?

The unilateral shift is the operator UU on l2l^2 defined by

U⟨ξ0,ξ1,ξ2,…⟩=⟨0,ξ0,ξ1,ξ2,…⟩. U\left\langle \xi _0, \xi _1, \xi _2, \ldots \right\rangle = \left\langle 0, \xi _0, \xi _1, \xi _2, \ldots \right\rangle .

It is an isometry whose range is the proper subspace of l2l^2 of vectors with vanishing first coordinate. If ene_n is the vector ⟨ξ0,ξ1,ξ2,…⟩\left\langle \xi_0, \xi_1, \xi_2, \ldots \right\rangle for which ξn=1\xi_n = 1 and ξi=0\xi_i = 0 whenever i≠ni \neq n (n=0,1,2,…n = 0, 1, 2, \ldots), then the ene_n's form an orthonormal basis for l2l^2, and Uen=en+1Ue_n = e_{n+1} (n=0,1,2,…n = 0, 1, 2, \ldots). Since, in H2\mathbf{H}^2 (see Problem 33), en(z)=zne_n(z) = z^n, the effect of shifting forward by one index is the same as the effect of multiplication by e1e_1; in other words, the unilateral shift is the same as the multiplication operator on H2\mathbf{H}^2 defined by (Uf)(z)=zf(z)(Uf)(z) = zf(z).

Problem 83

Is there a non-scalar operator whose set of eigenvectors has a non-empty interior?

?
Problem 84

What is the spectrum of the bilateral shift, and what are its parts (point spectrum, compression spectrum, and approximate point spectrum)? What are the answers to the same questions for the adjoint of the bilateral shift?

?
Remark.
?

Let H\mathbf{H} be the Hilbert space of all two-way (bilateral) square-summable sequences; the elements of H\mathbf{H} are most conveniently written in the form

⟨…,ξ−2,ξ−1,(ξ0),ξ1,ξ2,…⟩, \left\langle \ldots , \xi _{-2}, \xi _{-1}, (\xi _0), \xi _1, \xi _2, \ldots \right\rangle ,

the term in parentheses indicating the one corresponding to the index 00. The bilateral shift is the operator WW on H\mathbf{H} defined by

W⟨…,ξ−2,ξ−1,(ξ0),ξ1,ξ2,…⟩=⟨…,ξ−3,ξ−2,(ξ−1),ξ0,ξ1,…⟩. W\left\langle \ldots , \xi _{-2}, \xi _{-1}, (\xi _0), \xi _1, \xi _2, \ldots \right\rangle = \left\langle \ldots , \xi _{-3}, \xi _{-2}, (\xi _{-1}), \xi _0, \xi _1, \ldots \right\rangle .

It is an isometry, and since its range is all of H\mathbf{H}, it is even unitary. If ene_n is the vector ⟨…,ξ−1,(ξ0),ξ1,…⟩\left\langle \ldots , \xi_{-1}, (\xi_0), \xi_1, \ldots \right\rangle for which ξn=1\xi_n = 1 and ξi=0\xi_i = 0 whenever i≠ni \neq n (n=0,±1,±2,…n = 0, \pm 1, \pm 2, \ldots), then the ene_n's form an orthonormal basis for H\mathbf{H}, and Wen=en+1We_n = e_{n+1} (n=0,±1,±2,…n = 0, \pm 1, \pm 2, \ldots).

Problem 85

A necessary and sufficient condition that an operator AA on a Hilbert space H\mathbf{H} be representable as a multiplication on a functional Hilbert space is that the eigenvectors of A∗A^{*} span H\mathbf{H}.

?
Remark.
?

A functional Hilbert space is a Hilbert space H\mathbf{H} whose elements are complex-valued functions on some set XX, such that for each x∈Xx \in X evaluation at xx is a bounded linear functional on H\mathbf{H}; by the Riesz representation theorem there is then, for each xx, a vector Kx∈HK_x \in \mathbf{H} (the reproducing kernel at xx) such that f(x)=⟨f,Kx⟩f(x) = \left\langle f, K_x \right\rangle for every f∈Hf \in \mathbf{H}, and the KxK_x's always span H\mathbf{H}. A multiplication on a functional Hilbert space H\mathbf{H} (with domain XX) is an operator AA for which there is a function φ\varphi (the multiplier) on XX such that (Af)(x)=φ(x)f(x)(Af)(x) = \varphi (x)f(x) for every f∈Hf \in \mathbf{H} and every x∈Xx \in X.

Caution: as the facts for multiplications on L2L^{2} spaces show (cf. Solution 81) this characterization is applicable to functional Hilbert spaces only. The result seems to be due to P. R. Halmos and A. L. Shields.