Section VII.4

The Riesz Functional Calculus

[11/0%]
Show
LaTeX
Problem VII.4.1

Let A=C(X)\mathcal{A} = C(X), XX compact (see Example 3.2). If g∈C(X)g \in C(X) and f∈Hol(g)f \in \text{Hol}(g), show that f(g)=f∘gf(g) = f \circ g.

?
Problem VII.4.2

Let aa be a nilpotent element of A\mathcal{A}. For f,gf, g in Hol(a)\text{Hol}(a), give a necessary and sufficient condition on ff and gg that f(a)=g(a)f(a) = g(a).

?
Problem VII.4.3

Let d≥1d \ge 1 and let A∈Md(C)A \in M_d(\mathbb {C}). Give a necessary and sufficient condition on ff in Hol(A)\text{Hol}(A) such that f(A)=0f(A) = 0.

?
Problem VII.4.4

If A\mathcal{A} is a Banach algebra with identity, a∈Aa \in \mathcal{A}, f∈Hol(a)f \in \text{Hol}(a), and gg is analytic in a neighborhood of f(σ(a))f(\sigma (a)), then g∘f∈Hol(a)g \circ f \in \text{Hol}(a) and g(f(a))=g∘f(a)g(f(a)) = g \circ f(a).

?
Problem VII.4.5

If X\mathcal{X} is a Banach space, A∈B(X)A \in \mathcal{B}(\mathcal{X}), and M≤X\mathcal{M} \le \mathcal{X} such that (A−α)−1M⊆M(A - \alpha )^{-1} \mathcal{M} \subseteq \mathcal{M} for all α\alpha in ρ(A)\rho (A), show that f(A)M⊆Mf(A) \mathcal{M} \subseteq \mathcal{M} whenever f∈Hol(A)f \in \text{Hol}(A).

?
Problem VII.4.6

If X\mathcal{X} is a Banach space, A∈B(X)A \in \mathcal{B}(\mathcal{X}), and f∈Hol(A)f \in \text{Hol}(A), show that f(A)∗=f(A∗)f(A)^* = f(A^*). (See (6.1) below.)

?
Problem VII.4.7

If H\mathcal{H} is a Hilbert space, A∈B(H)A \in \mathcal{B}(\mathcal{H}), and f∈Hol(A)f \in \text{Hol}(A), show that f(A)∗=f~(A∗)f(A)^* = \tilde{f}(A^*), where f~(z)=f(zˉ)‾\tilde{f}(z) = \overline{f(\bar{z})}. (See (6.1) below.)

?
Problem VII.4.8

If H\mathcal{H} is a Hilbert space, AA is a normal operator on H\mathcal{H}, and f∈Hol(A)f \in \text{Hol}(A), show that f(A)f(A) is normal.

?
Problem VII.4.9

Let X\mathcal{X} be a Banach space and let A∈B(X)A \in \mathcal{B}(\mathcal{X}). Show that if σ(A)=F1∪F2\sigma (A) = F_1 \cup F_2 where F1,F2F_1, F_2 are disjoint closed subsets of C\mathbb {C}, then there are topologically complementary subspaces X1,X2\mathcal{X}_1, \mathcal{X}_2 of X\mathcal{X} such that

?
(a)

BXj⊆XjB\mathcal{X}_j \subseteq \mathcal{X}_j (j=1,2j = 1, 2) whenever BA=ABBA = AB;

(b)

if Aj=A∣XjA_j = A \mid \mathcal{X}_j, σ(Aj)=Fj\sigma (A_j) = F_j;

(c)

there is an invertible operator R:X→X1⊕1X2R: \mathcal{X} \to \mathcal{X}_1 \oplus_1 \mathcal{X}_2 such that RAR−1=A1⊕A2RAR^{-1} = A_1 \oplus A_2.

Problem VII.4.10

Let A∈Md(C)A \in M_d(\mathbb {C}), σ(A)={α1,…,αn}\sigma (A) = \{ \alpha_1, \ldots , \alpha_n\}, where αi≠αj\alpha_i \ne \alpha_j for i≠ji \ne j. Show that for 1≤j≤n1 \le j \le n there is a matrix AjA_j in Mdj(C)M_{d_j}(\mathbb {C}) such that σ(Aj)={αj}\sigma (A_j) = \{ \alpha_j\} and AA is similar to A1⊕⋯⊕AnA_1 \oplus \cdots \oplus A_n.

?
Problem VII.4.11

If A\mathcal{A} is a Banach algebra, II is an ideal of A\mathcal{A} (not necessarily closed), a∈Ia \in I, and f∈Hol(a)f \in \text{Hol}(a) such that f(0)=0f(0) = 0, show that f(a)∈If(a) \in I.

?