Chapter XI

Fredholm Theory

[41/0%]
LaTeX
Problem XI.1.1

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).

?
Problem XI.1.2

The compression spectrum of AA, σc(A)\sigma_c(A), is defined by σc(A)={λ∈C:ran(A−λ) is not dense in H}\sigma_c(A) = \left\{ \lambda \in \mathbb {C}: \mathrm{ran}(A - \lambda ) \text{ is not dense in } \mathcal{H}\right\}. Show:

?
(a)

λ∈σc(A)\lambda \in \sigma_c(A) if and only if λˉ∈σp(A∗)\bar{\lambda } \in \sigma_p(A^*).

(b)

σc(A)⊆σr(A)\sigma_c(A) \subseteq \sigma_r(A), but this inclusion may be proper.

(c)

σc(A)\sigma_c(A) is not necessarily closed.

(d)

σ(A)=σap(A)∪σc(A)\sigma (A) = \sigma_{ap}(A) \cup \sigma_c(A).

Problem XI.1.3

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and f∈Hol(A)f \in \mathrm{Hol}(A), then f(σp(A))⊆σp(f(A))f(\sigma_p(A)) \subseteq \sigma_p(f(A)). If ff is not constant on any component of its domain, then f(σp(A))=σp(f(A))f(\sigma_p(A)) = \sigma_p(f(A)).

?
Problem XI.1.4

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and f∈Hol(A)f \in \mathrm{Hol}(A), then f(σap(A))=σap(f(A))f(\sigma_{ap}(A)) = \sigma_{ap}(f(A)).

?
Problem XI.2.1

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and ran A\mathrm{ran}\ A is closed, prove that ran A∗\mathrm{ran}\ A^* is closed without using Theorem VI.1.10. [Hint: Show that there is a bounded operator BB on H\mathcal{H} such that BA=BA = the projection of H\mathcal{H} onto (ker A)⊥(\mathrm{ker}\ A)^\perp.]

?
Problem XI.2.2

Theorem 2.3 states that if A:H→H′A: \mathcal{H} \to \mathcal{H}' is a bounded operator, then the following two statements (among others) are equivalent: (a) AA is left semi-Fredholm, that is, there is a bounded operator B:H′→HB: \mathcal{H}' \to \mathcal{H} and a compact operator KK on H\mathcal{H} such that BA=1+KBA = 1 + K; (b) ran A\mathrm{ran}\ A is closed and dim⁡ker A<∞\dim \mathrm{ker}\ A < \infty. Give a direct proof that (b) implies (a).

?
Problem XI.2.3

Let A,B,C∈B(H)A, B, C \in \mathcal{B}(\mathcal{H}) and define X:H(2)→H(2)X: \mathcal{H}^{(2)} \to \mathcal{H}^{(2)} by the matrix

X=[AB0C]. X = \begin{bmatrix} A & B \\ 0 & C \end{bmatrix}.
?
(a)

Show that if A∈FA \in \mathcal{F}, then X∈FX \in \mathcal{F} if and only if C∈FC \in \mathcal{F}.

(b)

If A∈FA \in \mathcal{F}, show that X∈SFX \in \mathcal{SF} if and only if C∈SFC \in \mathcal{SF}.

(c)

Suppose A,C∈SFA, C \in \mathcal{SF} with dim⁡ker A=∞\dim \mathrm{ker}\ A = \infty and dim⁡ker C∗=∞\dim \mathrm{ker}\ C^* = \infty. Show that X∉SFX \notin \mathcal{SF}.

Problem XI.2.4

If A∈B(H)A \in \mathcal{B}(\mathcal{H}), show that AMA\mathcal{M} is closed for every closed subspace M\mathcal{M} of H\mathcal{H} if and only if AA has finite rank or AA is left Fredholm.

?
Problem XI.2.5

If X\mathscr {X} and Y\mathscr {Y} are Banach spaces and T∈B(X,Y)T \in \mathcal{B}(\mathscr {X}, \mathscr {Y}) such that the Hamel basis dimension (that is, the algebraic dimension) of Y/(ran T)\mathscr {Y}/(\mathrm{ran}\ T) is finite, then ran T\mathrm{ran}\ T is closed.

?
Problem XI.2.6

Show that a normal operator is Fredholm if and only if 00 is not a limit point of σ(N)\sigma (N) and dim⁡ker N<∞\dim \mathrm{ker}\ N < \infty. (See Proposition 4.5 below.)

?
Problem XI.3.1

Prove Lemma 3.6: let M\mathcal{M} and N\mathcal{N} be two closed subspaces of the Hilbert space H\mathcal{H}.

?
(a)

If M∩N=(0)\mathcal{M} \cap \mathcal{N} = (0) and dim⁡N=∞\dim \mathcal{N} = \infty, then dim⁡M⊥=∞\dim \mathcal{M}^\perp = \infty.

(b)

If dim⁡M⊥=∞\dim \mathcal{M}^\perp = \infty and dim⁡N<∞\dim \mathcal{N} < \infty, then dim⁡(M+N)⊥<∞\dim (\mathcal{M} + \mathcal{N})^\perp < \infty.

Problem XI.3.2

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and ran A\mathrm{ran}\ A is closed, show that ran A(∞)\mathrm{ran}\ A^{(\infty )} is closed. If A∈SFA \in \mathcal{SF} and ker A=(0)\mathrm{ker}\ A = (0), show that A(∞)∈SFA^{(\infty )} \in \mathcal{SF} and ind⁡A(∞)=−∞\operatorname {ind} A^{(\infty )} = -\infty or 00.

?
Problem XI.3.3

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

?
Problem XI.3.4

Show that for every nn in Z∪{±∞}\mathbb {Z} \cup \left\{ \pm \infty \right\} there is an operator AA in SF\mathcal{SF} such that ind⁡A=n\operatorname {ind} A = n.

?
Problem XI.3.5

If A∈SFA \in \mathcal{SF}, then for every n≥1n \ge 1, An∈SFA^n \in \mathcal{SF} and ind⁡An=n(ind⁡A)\operatorname {ind} A^n = n(\operatorname {ind} A).

?
Problem XI.3.6

If A:H→H′A: \mathcal{H} \to \mathcal{H}' is a left semi-Fredholm operator, then there is a finite rank operator F:H→H′F: \mathcal{H} \to \mathcal{H}' such that ker(A+F)=(0)\mathrm{ker}(A + F) = (0) and ind⁡(A+F)=ind⁡A\operatorname {ind}(A + F) = \operatorname {ind} A.

?
Problem XI.3.7

If AA is a Fredholm operator in B(H)\mathcal{B}(\mathcal{H}), prove that the following statements are equivalent.

  1. ind⁡A=0\operatorname {ind} A = 0.

  2. There is a compact operator KK such that A+KA + K is invertible.

  3. There is a finite rank operator FF such that A+FA + F is invertible.

?
Problem XI.3.8

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.)

?
Problem XI.4.1

Show that the material of this section is only significant for infinite dimensional Hilbert spaces by showing that the essential spectrum of every operator on H\mathcal{H} is non-empty if and only if H\mathcal{H} is infinite dimensional.

?
Problem XI.4.2

Let GG be a bounded region in C\mathbb {C} such that ∂G=∂[cl G]\partial G = \partial [\mathrm{cl}\ G] and let ϕ\phi be a function that is analytic in a neighborhood of cl G\mathrm{cl}\ G. Define A:La2(G)→La2(G)A: L_a^2(G) \to L_a^2(G) by Af=ϕfAf = \phi f. Find all of the parts of the spectrum of AA.

?
Problem XI.4.3

(Fillmore, Stampfli, and Williams [1972].) If λ∈σle(A)\lambda \in \sigma_{le}(A), then there is a projection PP, having infinite rank, such that π(A−λ)π(P)=0\pi (A - \lambda )\pi (P) = 0.

?
Problem XI.4.4

(Fillmore, Stampfli, and Williams [1972].) Let A∈B(H)A \in \mathcal{B}(\mathcal{H}).

?
(a)

If AA has a cyclic vector ee, show that dim⁡{Ae,A2e,…}⊥≤1\dim \left\{ Ae, A^2e, \ldots \right\}^\perp \le 1.

(b)

Let λ∈σle(A∗)\lambda \in \sigma_{le}(A^*). If ε>0\varepsilon > 0, let f1,f2f_1, f_2 be orthonormal vectors such that ∥(A∗−λ)fj∥<ε\left\| (A^* - \lambda )f_j\right\| < \varepsilon for j=1,2j = 1, 2 and let P=P = the projection onto ⋁{f1,f2}\bigvee \left\{ f_1, f_2\right\}. Put B=λˉP+(1−P)AB = \bar{\lambda }P + (1 - P)A. Show that ∥B−A∥<2ε\left\| B - A\right\| < 2\varepsilon.

(c)

Show that the noncyclic operators are dense in B(H)\mathcal{B}(\mathcal{H}) if dim⁡H>1\dim \mathcal{H} > 1.

Problem XI.4.5

Let A∈FA \in \mathcal{F} and suppose ff is analytic in a neighborhood of σ(A)\sigma (A) and does not vanish on σe(A)\sigma_e(A). Show that f(A)∈Ff(A) \in \mathcal{F} and find ind⁡f(A)\operatorname {ind} f(A).

?
Problem XI.4.6

Let SS be the unilateral shift and let ff be an analytic function in a neighborhood of cl D\mathrm{cl}\ \mathbb {D} such that f(z)≠0f(z) \ne 0 if ∣z∣=1\left|z\right| = 1. Let γ(t)=f(exp⁡(2πit))\gamma (t) = f(\exp (2\pi i t)), 0≤t≤10 \le t \le 1. Show that σe(f(S))=f(∂D)={γ(t):0≤t≤1}\sigma_e(f(S)) = f(\partial \mathbb {D}) = \left\{ \gamma (t): 0 \le t \le 1\right\} and that if λ∉f(∂D)\lambda \notin f(\partial \mathbb {D}), ind⁡(f(S)−λ)=−n(γ;λ)\operatorname {ind}(f(S) - \lambda ) = -n(\gamma ; \lambda ), where n(γ;λ)=n(\gamma ; \lambda ) = the winding number of γ\gamma about λ\lambda. Moreover, show that if ind⁡(f(S)−λ)=0\operatorname {ind}(f(S) - \lambda ) = 0, then λ∉σ(f(S))\lambda \notin \sigma (f(S)).

?
Problem XI.4.7

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.

?
Problem XI.4.8

If SS is the unilateral shift, show that for every ε>0\varepsilon > 0 there is a rank one operator FF with ∥F∥<ε\left\| F\right\| < \varepsilon such that σ(S∗⊕S+F)=∂D\sigma (S^* \oplus S + F) = \partial \mathbb {D}.

?
Problem XI.4.9

Let GG be an open connected subset of σ(A)∖σle(A)∪σre(A)\sigma (A) \setminus \sigma_{le}(A) \cup \sigma_{re}(A) and suppose λ0∈G\lambda_0 \in G such that ind⁡(A−λ0)=0\operatorname {ind}(A - \lambda_0) = 0. Show that there is a finite rank operator FF such that A+F−λ0A + F - \lambda_0 is invertible. Show that A+F−λA + F - \lambda is invertible for every λ\lambda in GG.

?
Problem XI.5.1

Let GG be any topological group and let G0G_0 be the component of the identity. Show that G0G_0 is a normal subgroup of GG.

?
Problem XI.5.2

What are the components of the set of invertible elements in C(∂D)C(\partial \mathbb {D})?

?
Problem XI.5.3

If S=S = the unilateral shift, what are the components of the set of invertible elements of C∗(S)C^*(S)?

?
Problem XI.5.4

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.

?
Problem XI.5.5

Find the components of the set of partial isometries.

?
Problem XI.6.1

If AA is an invertible operator, show that γ(A)=∥A−1∥−1\gamma (A) = \left\| A^{-1}\right\|^{-1}.

?
Problem XI.6.2

Let A∈FA \in \mathcal{F} and suppose that ker A≠(0)\mathrm{ker}\ A \ne (0) and ran A⊥≠(0)\mathrm{ran}\ A^\perp \ne (0). Show that for every δ>0\delta > 0 there is an operator BB in F\mathcal{F} such that ∥B−A∥<δ\left\| B - A\right\| < \delta, dim⁡ker B<dim⁡ker A\dim \mathrm{ker}\ B < \dim \mathrm{ker}\ A, and dim⁡ran B⊥<dim⁡ran A⊥\dim \mathrm{ran}\ B^\perp < \dim \mathrm{ran}\ A^\perp.

?
Problem XI.6.3

If A∈SFA \in \mathcal{SF}, show that there is a δ>0\delta > 0 such that dim⁡ker(A−μ)=dim⁡ker A\dim \mathrm{ker}(A - \mu ) = \dim \mathrm{ker}\ A and dim⁡ran(A−μ)⊥=dim⁡ran A⊥\dim \mathrm{ran}(A - \mu )^\perp = \dim \mathrm{ran}\ A^\perp for ∣μ∣<δ\left|\mu \right| < \delta if ker A⊆ran An\mathrm{ker}\ A \subseteq \mathrm{ran}\ A^n for every n≥1n \ge 1.

?
Problem XI.6.4

Prove Proposition 6.9: if λ\lambda is an isolated point of σ(A)\sigma (A), the following statements are equivalent.

  1. λ∉σle(A)∩σre(A)\lambda \notin \sigma_{le}(A) \cap \sigma_{re}(A).

  2. The Riesz idempotent E(λ)E(\lambda ) has finite rank.

  3. A−λ∈FA - \lambda \in \mathcal{F} and ind⁡(A−λ)=0\operatorname {ind}(A - \lambda ) = 0.

?
Problem XI.6.5

Prove Proposition 6.10: if A∈B(H)A \in \mathcal{B}(\mathcal{H}), then σe(A)=[σle(A)∩σre(A)]∪P+∞(A)∪P−∞(A)\sigma_e(A) = [\sigma_{le}(A) \cap \sigma_{re}(A)] \cup P_{+\infty }(A) \cup P_{-\infty }(A), where, for n∈Z∪{±∞}n \in \mathbb {Z} \cup \left\{ \pm \infty \right\}, Pn(A)≡{λ∈σ(A):A−λ∈SF and ind⁡(A−λ)=n}P_n(A) \equiv \left\{ \lambda \in \sigma (A): A - \lambda \in \mathcal{SF} \text{ and } \operatorname {ind}(A - \lambda ) = n\right\}.

?
Problem XI.6.6

If λ∈∂Pn(A)\lambda \in \partial P_n(A) and n≠0n \ne 0, show that ran(A−λ)\mathrm{ran}(A - \lambda ) is not closed. What happens if n=0n = 0?

?
Problem XI.6.7

(Stampfli [1974].) If A∈B(H)A \in \mathcal{B}(\mathcal{H}), then there is a KK in B0(H)\mathcal{B}_0(\mathcal{H}) such that σ(A+K)=σw(A)\sigma (A + K) = \sigma_w(A).

?
Problem XI.6.8

Prove Proposition 6.13: let KK be a compact subset of C\mathbb {C}, let {Gn:−∞≤n≤∞}\left\{ G_n: -\infty \le n \le \infty \right\} be disjoint open subsets of KK (some possibly empty), let DD be a subset of the set of isolated points of KK, and for each λ\lambda in DD let nλ∈{1,2,…}n_\lambda \in \left\{ 1, 2, \ldots \right\}. Then there is an operator AA on H\mathcal{H} such that σ(A)=K\sigma (A) = K, Pn(A)=GnP_n(A) = G_n for 0<∣n∣≤∞0 < \left|n\right| \le \infty, P0(A)=G0∪DP_0(A) = G_0 \cup D, and dim⁡E(λ)=nλ\dim E(\lambda ) = n_\lambda for every λ\lambda in DD.

?
Problem XI.6.9

(Conway [1985].) If LL and RR are nonempty compact subsets of C\mathbb {C}, then there is a bounded operator AA on H\mathcal{H} such that σl(A)=L\sigma_l(A) = L and σr(A)=R\sigma_r(A) = R if and only if ∂L⊆R\partial L \subseteq R and ∂R⊆L\partial R \subseteq L.

?