Section 11.3

Compact operators in Hilbert spaces

[16/25%]
Show
LaTeX
Problem 11.49

Let, in a Hilbert space HH, the operator A∗AA^{*} A be compact. Prove that the operator AA is compact.

?
Problem 11.50

Prove that in a Hilbert space the operator AA is compact if and only if A∗A^{*} is compact.

?
Problem 11.51

Let AA be a self-adjoint nonnegative operator in a Hilbert space HH. Prove that AA is compact if and only if A\sqrt{A} is compact.

?
Problem 11.52

Let A,BA, B and CC be self-adjoint operators in a Hilbert space, B⩽A⩽CB \leqslant A \leqslant C, where BB and CC are compact. Prove that AA is also compact.

?
Problem 11.53

For which values of the parameter rr is the Hardy operator

A:L2[0,1]→L2[0,1],(Ax)(t)=tr−1∫0tx(s)srds A: L_{2}[0,1] \rightarrow L_{2}[0,1], \quad (A x)(t) = t^{r-1} \int _{0}^{t} \frac{x(s)}{s^{r}} d s

(see problem 6.33), compact?

?
Problem 11.54

Prove that if A∈K(H)A \in \mathcal{K}(H), and {en}n=1∞\left\{ e_{n}\right\}_{n = 1}^{\infty } is an orthonormal basis of the space HH, then ∥Aen∥→0\left\| A e_{n}\right\| \rightarrow 0.

?
Problem 11.55

Prove the compactness of the operator A:l2→l2A: l_{2} \rightarrow l_{2},

(Ax)k=∑n=1+∞aknxn, where ∑k=1+∞∑n=1+∞∣akn∣2<∞. (A x)_{k} = \sum _{n = 1}^{+\infty } a_{k n} x_{n}, \quad \text{ where } \quad \sum _{k = 1}^{+\infty } \sum _{n = 1}^{+\infty }\left|a_{k n}\right|^{2} < \infty .

Is the operator AA compact in l2l_{2} under the condition lim⁡i→∞∑j=1+∞∣aij∣2=0\lim_{i \rightarrow \infty } \sum_{j = 1}^{+\infty }\left|a_{i j}\right|^{2} = 0?

?
Problem 11.56

Is the Hilbert operator (see problem 6.72), defined by the matrix {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, where aij=1i+ja_{i j} = \frac{1}{i+j}, compact in the space l2l_{2}?

?
Problem 11.57

Give an example of a compact operator AA in the space l2l_{2} whose matrix entries in the standard basis satisfy the relation ∑k=1∞∑n=1∞∣akn∣2=∞\sum_{k = 1}^{\infty } \sum_{n = 1}^{\infty }\left|a_{k n}\right|^{2} = \infty.

?
Problem 11.58

Let Tr:(x1,x2,…)↦(0,x1,x2,…)T_{r}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(0, x_{1}, x_{2}, \ldots \right) be the right shift operator in the space l2l_{2}. Prove that if a compact operator KK commutes with TrT_{r}, then K=0K = 0.

?
Problem 11.59

Prove that the operator (Ax)(t)=∫−∞+∞e−∣t−s∣x(s)ds(A x)(t) = \int_{-\infty }^{+\infty } e^{-\left|t-s\right|} x(s) d s is not compact in the space L2(R)L_{2}(\mathbb {R}).

?
Problem 11.60

Prove the compactness in the space L2[a,b]L_{2}[a, b] of the integral operator (Ax)(t)=∫abK(t,s)x(s)ds(A x)(t) = \int_{a}^{b} K(t, s) x(s) d s with kernel K∈L2([a,b]2)K \in L_{2}\left([a, b]^{2}\right).

?
Problem 11.61

For which α∈(0,1)\alpha \in (0,1) is the operator

A:L2[0,1]→L2[0,1],(Ax)(t)=∫01x(s)∣t−s∣αds A: L_{2}[0,1] \rightarrow L_{2}[0,1], \quad (A x)(t) = \int _{0}^{1} \frac{x(s)}{|t-s|^{\alpha }} d s

compact?

?
Problem 11.62

Prove the compactness of the operator A:L2[0,1]→L2[0,1]A: L_{2}[0,1] \rightarrow L_{2}[0,1], (Ax)(t)=∫011t−sln⁡1+t1+sx(s)ds(A x)(t) = \int_{0}^{1} \frac{1}{t-s} \ln \frac{1+t}{1+s} x(s) d s.

?
Problem 11.63

Let HH be a Hilbert space, A∈K(H)A \in \mathcal{K}(H). Prove that there exists a vector x∈H,∥x∥=1x \in H,\left\| x\right\| = 1, such that ∥Ax∥=∥A∥\left\| A x\right\| = \left\| A\right\| (cf. problem 11.25).

?
Problem 11.64

Let HH be a Hilbert space, A∈K(H)A \in \mathcal{K}(H), a vector x∈H,∥x∥=1x \in H,\left\| x\right\| = 1, and ∥Ax∥=∥A∥\left\| A x\right\| = \left\| A\right\|. Prove that the operator AA carries {x}⊥\left\{ x\right\}^{\perp } into {Ax}⊥\left\{ A x\right\}^{\perp }.

?