Chapter 5

An Introduction to Abstract Linear Operator Theory

[37/86%]
Show
LaTeX
Problem 5.1.1

Let HH be a Hilbert space and x0x_{0} be a fixed element of HH. Prove that the map taking xx to ⟨x,x0⟩\left\langle x, x_{0} \right\rangle is a linear operator from HH to C\mathbb {C}.

?
Problem 5.1.2

Consider the operator defined by

Tf(s)=1s∫0sf(t)dt T f(s)=\frac{1}{s} \int _{0}^{s} f(t) d t

This is a Fredholm operator and is often referred to as the Cesaro operator.

?
(a)

Determine the kernel k(s,t)k(s, t) of the Cesaro operator.

(b)

Prove that the Cesaro operator is linear.

Remark.
?

A Fredholm operator of the first kind is an operator of the form

(Tf)(s):=∫abk(s,t)f(t)dt (Tf)(s) := \int _a^b k(s,t) f(t) dt
Problem 5.1.3

In this section you encountered infinite matrices, perhaps for the first time. In general, matrix multiplication is not commutative. This is the case for finite as well as for infinite matrices. But multiplication for infinite matrices gets even worse. For finite matrices, there are certain situations in which multiplication is, in fact, commutative. For example, if AB=IA B=I for two square matrices AA and BB, then AA and BB commute. This shows that a finite matrix with a "left inverse" also has a "right inverse" (and they are equal). For infinite-dimensional matrices, this need not be the case. Give examples of infinite matrices AA and BB such that AB=IA B=I, yet BA≠IB A \neq I. See Exercise 5.3.3 for more on this topic.

?
Problem 5.2.1

Prove that B(X,Y)\mathcal{B}(X, Y) is a normed linear space. That is, prove Theorem 5.3.

Theorem 5.3: Let XX and YY be normed linear spaces. The collection B(X,Y)\mathcal{B}(X, Y) of all bounded linear operators T:X→YT: X \to Y, endowed with the operator norm, forms a normed linear space.

?
Problem 5.2.2

Show that the identity operator from (C([0,1]),∥⋅∥∞)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{\infty }\right) to (C([0,1]),∥⋅∥1)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{1}\right) is a bounded linear operator, but that the identity map from (C([0,1]),∥⋅∥1)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{1}\right) to (C([0,1]),∥⋅∥∞)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{\infty }\right) is unbounded. This phenomenon cannot happen on a Banach space; see Exercise 6.3.2.

?
Problem 5.2.3

Fix a continuous function ϕ:[0,1]→[0,1]\phi :[0,1] \rightarrow [0,1] and define the composition operator Cϕ:C([0,1])→C([0,1])C_{\phi }: C([0,1]) \rightarrow C([0,1]) by Cϕf(x)=f(ϕ(x))C_{\phi } f(x)=f(\phi (x)). Prove that CϕC_{\phi } is a bounded linear operator with ∥Cϕ∥≤1\left\| C_{\phi }\right\| \leq 1.

?
Problem 5.2.4

For {an}n=1∞∈ℓ∞\left\{ a_{n}\right\}_{n=1}^{\infty } \in \ell^{\infty } define

T(x)=∑n=1∞xnan, for all x={xn}n=1∞∈ℓ1 T(x)=\sum _{n=1}^{\infty } x_{n} a_{n}, \quad \text{ for all } x=\left\{ x_{n}\right\} _{n=1}^{\infty } \in \ell ^{1}

Show that TT is a bounded linear operator from ℓ1\ell^{1} to C\mathbb {C}, and compute ∥T∥\left\| T\right\|.

?
Problem 5.2.5

Consider an n×nn \times n matrix A=(aij)A=\left(a_{i j}\right) that satisfies aij=aji‾a_{i j}=\overline{a_{j i}} for all pairs of indices ii and jj. Such a matrix is called Hermitian. View AA as a linear operator Cn→Cn\mathbb {C}^{n} \rightarrow \mathbb {C}^{n}. Assume that Cn\mathbb {C}^{n} is endowed with the usual norm. Prove that ∥A∥=max⁡k∥λk∥\left\| A\right\| =\max_{k}\left\| \lambda_{k}\right\|, where λk\lambda_{k} are the eigenvalues of AA.

?
Problem 5.2.6

Consider

A=(abcd),a,b,c,d∈C A=\left(\begin{array}{ll} a & b \\ c & d \end{array}\right), \quad a, b, c, d \in \mathbb {C}

as a linear operator from C2\mathbb {C}^{2} to itself. The aim of this exercise is to show that the operator norm of AA depends on the choice of norm on C2\mathbb {C}^{2}.

?
(a)

Endow C2\mathbb {C}^{2} with the supremum norm, ∥⋅∥∞\left\| \cdot \right\|_{\infty }. Show that in this case, the norm of AA is given by

max⁡(∣a∣+∣b∣,∣c∣+∣d∣) \max (|a|+|b|,|c|+|d|)
(b)

Endow C2\mathbb {C}^{2} with the 1-norm, ∥⋅∥1\left\| \cdot \right\|_{1}. Show that in this case, the norm of AA is given by

max⁡(∣a∣+∣c∣,∣b∣+∣d∣) \max (|a|+|c|,|b|+|d|)
(c)

Endow C2\mathbb {C}^{2} with the 2-norm, ∥⋅∥2\left\| \cdot \right\|_{2}. Consider the matrix

A∗=(aˉcˉbˉdˉ) A^{*}=\left(\begin{array}{cc} \bar{a} & \bar{c} \\ \bar{b} & \bar{d} \end{array}\right)

and form the matrix AA∗A A^{*}. Show that in this case, the norm of AA is given by

[12(tr⁡(AA∗)+(tr⁡AA∗)2−4det⁡(AA∗))]12 \left[\frac{1}{2}\left(\operatorname {tr}\left(A A^{*}\right)+\sqrt{\left(\operatorname {tr} A A^{*}\right)^{2}-4 \operatorname {det}\left(A A^{*}\right)}\right)\right]^{\frac{1}{2}}

Use this to write down a formula for the norm of AA as a function of its entries a,b,c,da, b, c, d. Here "tr" denotes trace, and "det" denotes determinant.

(d)

Finally, compute these 3 operator norms of

A=(1101) A= \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}
Problem 5.2.7

Let C1([0,1])C^{1}([0,1]) denote the collection of all continuous functions with continuous derivative (including one-sided derivatives at the endpoints).

?
(a)

Show that C1([0,1])C^{1}([0,1]), with the supremum norm, is a subspace of C([0,1])C([0,1]) but that it is not closed.

(b)

Prove that the differential operator

ddx:C′([0,1])→C([0,1]) \frac{d}{d x}: C^{\prime }([0,1]) \rightarrow C([0,1])

is linear but not bounded.

Problem 5.3.1

Assume that XX is a normed linear space, and S,T∈B(X)S, T \in \mathcal{B}(X).

?
(a)

Prove that

∥ST∥≤∥S∥⋅∥T∥ \left\| S T\right\| \leq \left\| S\right\| \cdot \left\| T\right\|
(b)

Prove that ST∈B(X)S T \in \mathcal{B}(X).

Problem 5.3.2

Assume that XX and YY are normed linear spaces. Let KK be a compact operator in B(X,Y)\mathcal{B}(X, Y). Use Theorem 2.4 to prove that K(B)K(B) has compact closure for each closed ball BB in XX.

Theorem 2.4: A subset of a metric space is compact if and only if it is sequentially compact.

?
Remark.
?

Consider normed linear spaces XX and YY. A linear operator T:X→YT: X \to Y is compact if for every bounded sequence {xn}⊂X\left\{ x_n\right\} \subset X in XX, the sequence {Txn}\left\{ T x_n\right\} in YY has a convergent subsequence in YY.

Problem 5.3.3

The situation discovered in Exercise 5.1.3 is somewhat redeemable. Let XX be a Banach space and T∈B(X)T \in \mathcal{B}(X). Assume that there are U,V∈B(X)U, V \in \mathcal{B}(X) satisfying

UT=I=TV. U T=I=TV.

Prove that U=VU=V. In other words, if T∈B(X)T \in \mathcal{B}(X) is both left and right invertible, then its left and right inverses must be equal.

?
Problem 5.3.4

In a unital normed algebra with multiplicative identity ee, prove that ∥e∥≥1\left\| e\right\| \geq 1.

?
Problem 5.3.5

In a normed algebra, prove that ∥ak∥≤∥a∥k\left\| a^{k}\right\| \leq \left\| a\right\|^{k} for each element aa in the algebra and each positive integer kk.

?
Problem 5.3.6

Prove that C([0,1])C([0,1]), with the supremum norm, is a unital Banach algebra.

?
Problem 5.3.7

Assume that XX is a Banach space. In Theorem 5.6 we saw that any S∈B(X)S \in \mathcal{B}(X) that is sufficiently close to an invertible operator TT is also invertible. Given that ∥S−T∥<∥T−1∥−1\left\| S-T\right\| <\left\| T^{-1}\right\|^{-1}, prove that S−1S^{-1} satisfies

∥S−1∥≤∥T−1∥1−∥T−1∥⋅∥S−T∥ \left\| S^{-1}\right\| \leq \frac{\left\| T^{-1}\right\| }{1-\left\| T^{-1}\right\| \cdot \left\| S-T\right\| }
?
Problem 5.3.8

Assume that XX is a Banach space. Assume that S,T∈B(X)S, T \in \mathcal{B}(X) and λ∈C\σ(ST),λ≠0\lambda \in \mathbb {C} \backslash \sigma (S T), \lambda \neq 0.

?
(a)

Verify that

(λI−TS)U=I=U(λI−TS) (\lambda I-T S) U=I=U(\lambda I-T S)

where

U=1λI+1λT(λI−ST)−1S U=\frac{1}{\lambda } I+\frac{1}{\lambda } T(\lambda I-S T)^{-1} S
(b)

Deduce that σ(ST)∪{0}=σ(TS)∪{0}\sigma (S T) \cup \left\{ 0\right\} =\sigma (T S) \cup \left\{ 0\right\}.

(c)

Use the shifts TT and SS as defined in Example 2 of Section 1 to show that the equality σ(ST)=σ(TS)\sigma (S T)=\sigma (T S) need not hold.

Problem 5.3.9

Consider the operator on L2((0,1))L^{2}((0,1)) defined by

Tf(s)=∫0s(s−t)f(t)dt T f(s)=\int _{0}^{s}(s- t) f(t) d t

Prove that I−TI-T is an invertible operator.

?
Problem 5.3.10

Let ℓ1(Z)\ell^{1}(\mathbb {Z}) denote the collection of all (doubly ended) sequences {ai}i=−∞∞\left\{ a_{i}\right\}_{i=-\infty }^{\infty } of complex numbers such that ∑i=−∞∞∣ai∣<∞\sum_{i=-\infty }^{\infty }\left|a_{i}\right|<\infty. This space is very much like ℓ1=ℓ1(N)\ell^{1}=\ell^{1}(\mathbb {N}). With the norm of a={ai}i=−∞∞a=\left\{ a_{i}\right\}_{i=-\infty }^{\infty } given by

∥a∥=∑i=−∞∞∣ai∣ \left\| a\right\| =\sum _{i=-\infty }^{\infty }\left|a_{i}\right|

ℓ1(Z)\ell^{1}(\mathbb {Z}) becomes a Banach space. The point of this exercise is to see that we can define a multiplication to make ℓ1(Z)\ell^{1}(\mathbb {Z}) into a Banach algebra. For a={ai}i=−∞∞a=\left\{ a_{i}\right\}_{i=-\infty }^{\infty } and b={bi}i=−∞∞b=\left\{ b_{i}\right\}_{i=-\infty }^{\infty } in ℓ1(Z)\ell^{1}(\mathbb {Z}), define the product a∗ba * b by

(a∗b)i=∑j=−∞∞ai−jbj (a * b)_{i}=\sum _{j=-\infty }^{\infty } a_{i-j} b_{j}

This multiplication is called convolution. Show that ℓ1(Z)\ell^{1}(\mathbb {Z}) is a Banach algebra.

?
Problem 5.3.11

Prove that every compact operator is a bounded operator.

?
Problem 5.3.12

Consider the Volterra operator defined on L2([0,1])L^{2}([0,1]) by

Tf(s)=∫0sk(s,t)f(t)dt T f(s)=\int _{0}^{s} k(s, t) f(t) d t

with ∣k(s,t)∣≤C\left|k(s, t)\right| \leq C for some constant CC and every ss and tt in [0,1][0,1].

?
(a)

Prove that Tf∈L2([0,1])T f \in L^{2}([0,1]) whenever f∈L2([0,1])f \in L^{2}([0,1]).

(b)

Prove that T∈B(L2([0,1]))T \in \mathcal{B}\left(L^{2}([0,1])\right). That is, prove that TT is bounded.

(c)

Prove that TT is quasinilpotent. (As it turns out, TT is quasinilpotent even if the hypothesis that ∣k(s,t)∣≤C\left|k(s, t)\right| \leq C is dropped. However, the proof is substantially harder. See pages 98-99 of [58] for a proof.)

(d)

Now let k(s,t)=1k(s, t)=1 for all ss and tt. Show that TT is compact.

Problem 5.3.13

In this exercise you are asked to fill in the details of Example 4.

?
(a)

Show that Mϕ∈B(L2([0,1]),R)M_{\phi } \in \mathcal{B}\left(L^{2}([0,1]), \mathbb {R}\right), and that ∥Mϕ∥=∥ϕ∥∞\left\| M_{\phi }\right\| =\left\| \phi \right\|_{\infty }.

(b)

Show that if λ∉f([0,1])\lambda \notin f([0,1]), then (as you are asked to show in the same exercise) the multiplication operator M(λ−ϕ)−1M_{(\lambda -\phi )^{-1}} is a bounded operator and is the inverse of λI−Mϕ\lambda I-M_{\phi }.

(c)

We have now established that σ(Mϕ)=f([0,1])\sigma \left(M_{\phi }\right)=f([0,1]). Sometimes this set contains eigenvalues; sometimes it does not. Give examples to show this. That is, construct functions ϕ\phi and ψ\psi such that σ(Mϕ)\sigma \left(M_{\phi }\right) contains at least one eigenvalue and σ(Mψ)\sigma \left(M_{\psi }\right) contains no eigenvalues at all.

Problem 5.3.14

Let WW be the weighted shift in Example 6.

?
(a)

Show that WW has no eigenvalues.

(b)

Use induction to show that ∥Wn∥≤1n!,n=1,2,…\left\| W^{n}\right\| \leq \frac{1}{n !}, n=1,2, \ldots.

Problem 5.3.15

Let XX be an infinite-dimensional Banach space. (Parts (a) and (b) are related only in that they are about compact operators.)

?
(a)

Give an example of a compact operator TT such that T2=0T^{2}=0.

(b)

Prove that if there is a positive integer nn such that Tn=IT^{n}=I, then TT cannot be compact.

Problem 5.3.16

Assume that XX is a Banach space. Prove that the collection of all compact operators forms a closed, two-sided ideal in the Banach algebra B(X)\mathcal{B}(X). Note: You may know what an "ideal" is from abstract algebra; if you do not, it is defined in the next chapter.

?
Problem 5.3.17

Learn enough about complex function theory to prove the results of this section.

?
Problem 5.3.18

Find a good reference (like [21] or [124]) and work through the proof of Theorem 5.11, which describes the spectrum of a compact operator.

Theorem 5.11: Let XX be an infinite-dimensional Banach space and T∈B(X)T \in \mathcal{B}(X) a compact operator. Then the spectrum of TT is either a finite set or a sequence converging to 00. The point 00 is in the spectrum, and each nonzero value of the spectrum is an eigenvalue. Further, for λ≠0\lambda \neq 0, the eigenspace ker⁡(λI−T)\ker (\lambda I - T) is finite-dimensional.

?
Problem 5.4.1

Verify that the Hermitian matrices (as defined in Exercise 5.2.5) are exactly the Hermitian operators on the finite-dimensional Hilbert space Cn\mathbb {C}^{n}.

?
Problem 5.4.2

Describe the Fredholm integral operators of the first kind that are Hermitian.

?
Problem 5.4.3

Let KK be a subspace of a Hilbert space HH.

?
(a)

Prove that (K⊥)⊥=K\left(K^{\perp }\right)^{\perp }=K whenever KK is a closed subspace.

(b)

Find an example to show that the equality of (a) need not hold if KK is not closed.

Problem 5.4.4

Complete the proof of Theorem 5.15 by verifying the uniqueness assertion.

Theorem 5.15: Assume that KK is a closed subspace of a Hilbert space HH and that x∈Hx \in H. Then there exists y∈Ky \in K such that ∥x−y∥=inf⁡{∥x−z∥∣z∈K}\left\| x - y\right\| = \inf \left\{ \left\| x - z\right\| \mid z \in K\right\}. Further, the element yy is the unique element of KK with this property.

?
Problem 5.4.5

Prove Theorem 5.17.

Theorem 5.17: Let HH be a Hilbert space. If T∈B(H)T \in \mathcal{B}(H) is Hermitian, then ker⁡(T)\ker (T) and range⁡(T)\operatorname {range}(T) are subspaces of HH and satisfy ker⁡(T)⊥=range⁡(T)\ker (T)^{\perp } = \operatorname {range}(T) and range⁡(T)⊥=ker⁡(T)\operatorname {range}(T)^{\perp } = \ker (T) (here ker⁡(T)\ker (T) and range⁡(T)\operatorname {range}(T) denote, respectively, the kernel and range of the map TT).

?
Problem 5.4.6

It follows from Theorem 5.18 that any eigenvalue of a Hermitian operator is real-valued. Give a more direct proof of this fact.

Theorem 5.18: Let HH be a Hilbert space. If T∈B(H)T \in \mathcal{B}(H) is Hermitian, then σ(T)⊆R\sigma (T) \subseteq \mathbb {R}.

?
Problem 5.4.7

Let TT be the Volterra operator on L2([0,1])L^{2}([0,1]) defined by

Tf(s)=∫0sf(t)dt T f(s)=\int _{0}^{s} f(t) d t

For 0≤α≤10 \leq \alpha \leq 1 set

Mα={f∈L2([0,1])∣f(t)=0,0≤t≤α}. M_{\alpha }=\left\{ f \in L^{2}([0,1]) \mid f(t)=0,0 \leq t \leq \alpha \right\} .
?
(a)

Prove that each MαM_{\alpha } is an invariant subspace for TT.

(b)

Describe the orthogonal complement of MαM_{\alpha } in L2([0,1])L^{2}([0,1]).

Problem 5.5.1

Verify each of the assertions made in the paragraph that follows Theorem 5.23. That is, prove that PP is bounded, linear, and satisfies P2=PP^{2}=P.

Theorem 5.23 (The Spectral Theorem for Compact Hermitian Operators): Let TT be a nonzero, compact, and Hermitian operator on a Hilbert space HH. There is a sequence of nonzero real-valued eigenvalues {λk}\left\{ \lambda_{k}\right\} and a corresponding sequence of orthonormal eigenvectors {xk}\left\{ x_{k}\right\} such that: if the sequence of eigenvalues contains infinitely many distinct values, it tends to zero; each nonzero eigenvalue of TT appears in the sequence {λk}\left\{ \lambda_{k}\right\}, and each eigenspace ker⁡(λkI−T)\ker (\lambda_{k} I - T) is finite-dimensional, with dimension equal to the number of times λk\lambda_{k} appears in the sequence; and for each x∈Hx \in H, Tx=∑kλk⟨x,xk⟩xkTx = \sum_{k} \lambda_{k} \left\langle x, x_{k} \right\rangle x_{k}. In this context, PP denotes the orthogonal projection onto an eigenspace arising from this decomposition.

?
Problem 5.5.2

In each of the following examples, explain why TT is compact and Hermitian. Then give the spectral decomposition guaranteed by Theorem 5.23. That is, find the eigenvalues, the corresponding eigenspaces, and projections.

Theorem 5.23 (The Spectral Theorem for Compact Hermitian Operators): Let TT be a nonzero, compact, and Hermitian operator on a Hilbert space HH. There is a sequence of nonzero real-valued eigenvalues {λk}\left\{ \lambda_{k}\right\} and a corresponding sequence of orthonormal eigenvectors {xk}\left\{ x_{k}\right\} such that: if the sequence of eigenvalues contains infinitely many distinct values, it tends to zero; each nonzero eigenvalue of TT appears in the sequence {λk}\left\{ \lambda_{k}\right\}, and each eigenspace ker⁡(λkI−T)\ker (\lambda_{k} I - T) is finite-dimensional, with dimension equal to the number of times λk\lambda_{k} appears in the sequence; and for each x∈Hx \in H, Tx=∑kλk⟨x,xk⟩xkTx = \sum_{k} \lambda_{k} \left\langle x, x_{k} \right\rangle x_{k}.

?
(a)

The operator T∈B(C2)T \in B\left(\mathbb {C}^{2}\right) given by the matrix

(3−4−4−3) \left(\begin{array}{cc} 3 & -4 \\ -4 & -3 \end{array}\right)
(b)

The operator T∈B(ℓ2)T \in B\left(\ell^{2}\right) given by the formula

T({xk}k=1∞)={xkk}k=1∞. T\left(\left\{ x_{k}\right\} _{k=1}^{\infty }\right)=\left\{ \frac{x_{k}}{k}\right\} _{k=1}^{\infty }.