Functional calculus technique

[80/19%]
Show
LaTeX
Problem 10B.23 from Axler S. "Measure, Integration & Real Analysis" [Axl19]More problems in Section 10B "Spectrum"

For TT a bounded operator on a Banach space, define eTe^{T} by

eT=∑k=0∞Tkk! e^{T} = \sum _{k = 0}^{\infty } \frac{T^{k}}{k!}
?
(a)

Prove that if TT is a bounded operator on a Banach space VV, then the infinite sum above converges in B(V)\mathcal{B}(V) and ∥eT∥≤e∥T∥\left\| e^{T}\right\| \leq e^{\left\| T\right\| }.

(b)

Prove that if S,TS, T are bounded operators on a Banach space VV such that ST=TSS T = T S, then eSeT=eS+Te^{S} e^{T} = e^{S+T}.

(c)

Prove that if TT is a self-adjoint operator on a complex Hilbert space, then eiTe^{i T} is unitary.

?
(a)

Prove that if TT is a self-adjoint compact operator on a Hilbert space, then there exists a self-adjoint compact operator SS such that S3=TS^{3} = T.

(b)

Prove that if TT is a normal compact operator on a complex Hilbert space, then there exists a normal compact operator SS such that S2=TS^{2} = T.

Suppose TT is a self-adjoint compact operator on a Hilbert space and ∥T∥≤14\left\| T\right\| \leq \frac{1}{4}. Prove that there exists a self-adjoint compact operator SS such that S2+S=TS^{2}+S = T.

?

Let AA be a bounded operator in a Banach space XX, and let r(z)=p(z)q(z),z∈Cr(z) = \frac{p(z)}{q(z)}, z \in \mathbb {C}, where pp and qq are polynomials, and suppose q(z)q(z) has no zeros on the spectrum of the operator AA. Prove that for any z∈σ(A)z \in \sigma (A) the relation

σ(r(A))=r(σ(A)) \sigma (r(A)) = r(\sigma (A))

holds (here r(A):=p(A)(q(A))−1r(A): = p(A)(q(A))^{-1}). The next step is to define a holomorphic function ff of the operator AA. Note that in this case the domain of holomorphy of the function ff must contain σ(A)\sigma (A).

?

Prove Theorem 13.1.

Theorem 13.1 (spectral theorem in terms of the holomorphic calculus, N. Dunford, 1943): Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X), Ur={z∈C:∣z∣<r}U_{r} = \left\{ z \in \mathbb {C}: \left|z\right| < r\right\} (in particular, if r=∞r = \infty, then Ur=CU_{r} = \mathbb {C}). Let ∥A∥<r\left\| A\right\| < r. Then there exists a unique continuous homomorphism φ:A(Ur)→B(X)\varphi : \mathcal{A}\left(U_{r}\right) \rightarrow \mathcal{B}(X) assigning to every holomorphic function f∈A(Ur)f \in \mathcal{A}\left(U_{r}\right) an operator f(A)∈B(X)f(A) \in \mathcal{B}(X) and satisfying properties (1)--(4):

  1. φ(1)=I\varphi (1) = I (here 11 is the function identically equal to one on the disk UrU_{r});

  2. φ(z)=A\varphi (z) = A;

  3. φ(f+g)=φ(f)+φ(g)\varphi (f+g) = \varphi (f)+\varphi (g), φ(fg)=φ(f)∘φ(g)\varphi (f g) = \varphi (f) \circ \varphi (g), f,g∈A(Ur)f, g \in \mathcal{A}\left(U_{r}\right) (the homomorphism conditions);

  4. φ\varphi is a continuous linear operator from A(Ur)\mathcal{A}\left(U_{r}\right) to B(X)\mathcal{B}(X) (that is, if a sequence of functions {fn}1∞\left\{ f_{n}\right\}_{1}^{\infty } from A(Ur)\mathcal{A}\left(U_{r}\right) converges to f∈A(Ur)f \in \mathcal{A}\left(U_{r}\right) uniformly on every compact subset of UrU_{r}, then fn(A)⇉f(A)f_{n}(A) \rightrightarrows f(A) in B(X)\mathcal{B}(X)). This homomorphism satisfies the additional condition: (5) if some bounded operator BB commutes with AA, then it also commutes with every operator f(A)f(A).

?

(Spectral mapping theorem). Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X). Let f(z)f(z) be a function holomorphic on C\mathbb {C} (an entire function). Prove that σ(f(A))=f(σ(A))\sigma (f(A)) = f(\sigma (A)).

?

Find the operator f(A)f(A), where ff is an entire function, A∈B(Lp[0,1])A \in \mathcal{B}\left(L_{p}[0,1]\right), p∈[1,∞],(Ax)(t)=a(t)x(t)p \in [1, \infty ],(A x)(t) = a(t) x(t), where a∈L∞[0,1]a \in L_{\infty }[0,1].

?

Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X). Is it true that (sin⁡(A))2+(cos⁡(A))2=I(\sin (A))^{2}+(\cos (A))^{2} = I?

?

Can the shift operator A∈B(L2(R))A \in \mathcal{B}\left(L_{2}(\mathbb {R})\right), Ax(t)=x(t+a),a≠0A x(t) = x(t+a), a \neq 0, be represented in the form A=exp⁡(B)A = \exp (B)?

?

Prove that for a self-adjoint operator AA in a Hilbert space and a polynomial p(x)p(x)

∥p(A)∥B(H)=max⁡λ∈σ(A)∣p(λ)∣. \left\| p(A)\right\| _{\mathcal{B}(H)} = \max _{\lambda \in \sigma (A)}\left|p(\lambda )\right|.

Give an example showing that this statement is false for an arbitrary non-self-adjoint operator. Prove this statement for an arbitrary normal operator AA (use problem 12.35).

?

Let A=A∗A = A^{*} and σ(A)={0;1}\sigma (A) = \left\{ 0 ; 1\right\}. Prove that the operator AA is an orthoprojector.

?

Let A=A∗A = A^{*} and σ(A)={−1;1}\sigma (A) = \left\{ -1 ; 1\right\}. Find A−1A^{-1}.

?

Let HH be a Hilbert space, AA a self-adjoint operator in HH. Set U(t):=exp⁡(itA)=∑k=0∞(itA)kk!,t∈CU(t): = \exp (i t A) = \sum_{k = 0}^{\infty } \frac{(i t A)^{k}}{k!}, t \in \mathbb {C}. Prove that U(t)U(t) is a holomorphic operator group with generator AA.

?

Let HH be a Hilbert space, AA a self-adjoint operator in H,φ[a,b]H, \varphi_{[a, b]} and φ[c,d]\varphi_{[c, d]} the functional calculi for continuous functions on the segments [a,b][a, b] and [c,d][c, d], where a⩽c<d⩽ba \leqslant c < d \leqslant b and σ(A)⊂[c,d],τ:C[a,b]→C[c,d]\sigma (A) \subset [c, d], \tau : C[a, b] \rightarrow C[c, d] the restriction operator. Prove that φ[a,b]=φ[c,d]τ\varphi_{[a, b]} = \varphi_{[c, d]} \tau, i.e., the functional calculi on the indicated segments are consistent.

?

Let HH be a Hilbert space, AA a self-adjoint operator in HH. Prove the consistency of the functional calculi for continuous and holomorphic functions. Namely, if ff is a function holomorphic in a disk containing σ(A)\sigma (A), then the operator f(A)f(A), constructed according to Theorem 13.1, coincides with the operator constructed according to Theorem 13.2.

Theorem 13.1 (N. Dunford, 1943): Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X), Ur={z∈C:∣z∣<r}U_{r} = \left\{ z \in \mathbb {C}: \left|z\right| < r\right\}, ∥A∥<r\left\| A\right\| < r. Then there exists a unique continuous homomorphism φ:A(Ur)→B(X)\varphi : \mathcal{A}\left(U_{r}\right) \rightarrow \mathcal{B}(X) assigning to every holomorphic function f∈A(Ur)f \in \mathcal{A}\left(U_{r}\right) an operator f(A)∈B(X)f(A) \in \mathcal{B}(X) and satisfying: (1) φ(1)=I\varphi (1) = I; (2) φ(z)=A\varphi (z) = A; (3) φ(f+g)=φ(f)+φ(g)\varphi (f+g) = \varphi (f)+\varphi (g), φ(fg)=φ(f)∘φ(g)\varphi (f g) = \varphi (f) \circ \varphi (g); (4) if fn→ff_{n} \rightarrow f in A(Ur)\mathcal{A}\left(U_{r}\right) uniformly on every compact subset of UrU_{r}, then fn(A)⇉f(A)f_{n}(A) \rightrightarrows f(A) in B(X)\mathcal{B}(X).

Theorem 13.2 (D. Hilbert, 1906; F. Riesz, 1910): For every self-adjoint operator AA in a Hilbert space HH there exists a unique continuous homomorphism φ\varphi of the algebra C(σ(A))C(\sigma (A)) into B(H)\mathcal{B}(H) with the properties: (1) φ(f(x)≡1)=I\varphi (f(x) \equiv 1) = I; (2) φ(f(x)≡x)=A\varphi (f(x) \equiv x) = A; (3) φ(f+g)=φ(f)+φ(g)\varphi (f+g) = \varphi (f)+\varphi (g), φ(fg)=φ(f)∘φ(g)\varphi (f g) = \varphi (f) \circ \varphi (g); (4) if fn→ff_{n} \rightarrow f in C(σ(A))C(\sigma (A)), then fn(A)⇉f(A)f_{n}(A) \rightrightarrows f(A).

?

Let HH be an infinite-dimensional Hilbert space, AA a self-adjoint operator. Prove that if AA is compact, and ff is a function defined and continuous on σ(A)\sigma (A), then the operator f(A)f(A) is compact if and only if f(0)=0f(0) = 0 (compare with problem 11.19).

?

Let f∈C(R)f \in C(\mathbb {R}) and HH a Hilbert space. Find f(A)f(A) in the case:

?
(a)

A=IA = I;

(b)

AA is an orthogonal projector;

(c)

H=l2H = l_{2} and A(x1,x2,…,xn)=(λ1x1,λ2x2,…)A\left(x_{1}, x_{2}, \ldots , x_{n}\right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right), where all λn\lambda_{n} are real and {λn}1∞∈l∞\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty };

(d)

H=L2[0,1]H = L_{2}[0,1] and Ax(t)=a(t)x(t)A x(t) = a(t) x(t), where a∈L∞[0,1]a \in L_{\infty }[0,1] is a real function.

Let AA be a self-adjoint compact operator in a Hilbert space HH and f∈C(R)f \in C(\mathbb {R}). Find the matrix of the operator f(A)f(A) in the basis of eigenvectors of the operator AA (see Theorem 12.3).

Theorem 12.3 (D. Hilbert, 1906; E. Schmidt, 1907): Let HH be an infinite-dimensional separable Hilbert space and A=A∗∈K(H)A = A^{*} \in \mathcal{K}(H). Then there exists an orthonormal basis {en}n=1∞\left\{ e_{n}\right\}_{n = 1}^{\infty } of HH consisting of eigenvectors of AA: Aen=λnenA e_{n} = \lambda_{n} e_{n}. The nonzero eigenvalues are real and can be numbered in nonincreasing order of absolute value: ∣λ1∣⩾∣λ2∣⩾…⩾∣λn∣⩾…\left|\lambda_{1}\right| \geqslant \left|\lambda_{2}\right| \geqslant \ldots \geqslant \left|\lambda_{n}\right| \geqslant \ldots, and moreover ∣λ1∣=∥A∥\left|\lambda_{1}\right| = \left\| A\right\| and lim⁡n→∞λn=0\lim_{n \rightarrow \infty } \lambda_{n} = 0.

?

Let HH be a Hilbert space, AA a bounded self-adjoint operator in H,σ(A)⊂[a,b]H, \sigma (A) \subset [a, b] and f∈C[a,b]f \in C[a, b]. Prove that for the functional calculus constructed from the operator AA on the segment [a,b][a, b] the spectral mapping theorem holds: σ(f(A))=f(σ(A))\sigma (f(A)) = f(\sigma (A)).

?

Let AA and BB be similar self-adjoint operators in B(H)\mathcal{B}(H), where HH is a Hilbert space (i.e., AC=CBA C = C B for some C∈IB(H)C \in \mathcal{I B}(H)). Let the segment [a,b][a, b] contain the spectra of the operators AA and BB. Prove that for every f∈C[a,b]f \in C[a, b] the operators f(A)f(A) and f(B)f(B) are similar, and the similarity is realized by means of the same operator CC.

?

Let A⩾0A \geqslant 0 in a Hilbert space HH, and let the function ff, continuous on the segment [a,b]⊇σ(A)[a, b] \supseteq \sigma (A), also be nonnegative. Prove that f(A)⩾0f(A) \geqslant 0.

?

Let bounded self-adjoint operators AA and BB, acting in Hilbert spaces H1H_{1} and H2H_{2} respectively, be similar. Prove that they are unitarily equivalent, i.e., the operator U∈B(H1,H2)U \in \mathcal{B}\left(H_{1}, H_{2}\right) realizing the similarity (UA=BU)(U A = B U) is an isometric isomorphism.

?

Let AA be a self-adjoint operator in a Hilbert space HH, and let the segment [a,b][a, b] contain σ(A)\sigma (A). Prove that

?
(a)

if f⩽gf \leqslant g, then f(A)⩽g(A)f(A) \leqslant g(A);

(b)

if ∣f∣⩽∣g∣\left|f\right| \leqslant \left|g\right|, then ∥f(A)x∥⩽∥g(A)x∥\left\| f(A) x\right\| \leqslant \left\| g(A) x\right\| for every x∈Hx \in H.

Let AA be a self-adjoint operator in a Hilbert space H,f∈C[a,b]H, f \in C[a, b] a real-valued function. Prove that 1

Footnotes

  1. Here f+(x)=max⁡(f(x),0)f_{+}(x) = \max (f(x), 0), and f−(x)=−min⁡(f(x),0)f_{-}(x) = -\min (f(x), 0). ↩

?
(a)

f(A)=f+(A)−f−(A)f(A) = f_{+}(A)-f_{-}(A);

(b)

f+(A)f−(A)=f−(A)f+(A)=0f_{+}(A) f_{-}(A) = f_{-}(A) f_{+}(A) = 0;

(c)

∥f(A)∥=max⁡{∥f+(A)∥,∥f−(A)∥}\left\| f(A)\right\| = \max \left\{ \left\| f_{+}(A)\right\| ,\left\| f_{-}(A)\right\| \right\}.

Let AA be a self-adjoint operator in a Hilbert space H,f∈C[a,b]H, f \in C[a, b] a real-valued function. Prove that

?
(a)

Im⁡(f+(A))⊥Im⁡(f−(A))\operatorname {Im}\left(f_{+}(A)\right) \perp \operatorname {Im}\left(f_{-}(A)\right);

(b)

Ker⁡(f+(A))+Ker⁡(f−(A))=H\operatorname {Ker}\left(f_{+}(A)\right)+\operatorname {Ker}\left(f_{-}(A)\right) = H;

(c)

Ker⁡(f(A))=Ker⁡(f+(A))∩Ker⁡(f−(A))\operatorname {Ker}(f(A)) = \operatorname {Ker}\left(f_{+}(A)\right) \cap \operatorname {Ker}\left(f_{-}(A)\right).

Construct the functional calculus (for continuous functions) of a unitary operator UU in a Hilbert space HH. Namely, prove that there exists a unique continuous homomorphism φ\varphi of the algebra C(σ(U))C(\sigma (U)) into B(H)\mathcal{B}(H), having properties (1)-(4):

  1. φ(f(x)≡1)=I\varphi (f(x) \equiv 1) = I;

  2. φ(f(x)≡x)=U\varphi (f(x) \equiv x) = U;

  3. φ(f+g)=φ(f)+φ(g),φ(fg)=φ(f)∘φ(g)\varphi (f+g) = \varphi (f)+\varphi (g), \varphi (f g) = \varphi (f) \circ \varphi (g) (homomorphism conditions);

  4. φ\varphi is a linear continuous operator from C(σ(U))C(\sigma (U)) into B(H)\mathcal{B}(H) (i.e., if a sequence of functions {fn}1∞\left\{ f_{n}\right\}_{1}^{\infty } from C(σ(U))C(\sigma (U)) converges to f∈C(σ(U))f \in C(\sigma (U)), then fn(U)⇉f(U)f_{n}(U) \rightrightarrows f(U)). This homomorphism also has the properties

  5. (φ(f))∗=φ(g)(\varphi (f))^{*} = \varphi (g), where g(x)=fˉ(1/x)g(x) = \bar{f}(1 / x);

  6. ∥φ(f)∥B(H)=max⁡t∈σ(U)∣f(t)∣\left\| \varphi (f)\right\|_{\mathcal{B}(H)} = \max_{t \in \sigma (U)}\left|f(t)\right| (a strengthening of the continuity property of the homomorphism φ\varphi);

  7. if some bounded operator VV commutes with UU, then it also commutes with every operator f(U)f(U).

?

Let AA be a self-adjoint operator in a Hilbert space HH and let f,g∈C(R)f, g \in C(\mathbb {R}) be two functions that coincide identically on the ray t⩽λt \leqslant \lambda. Prove that (f(A)−g(A))Eλ=0(f(A)-g(A)) E_{\lambda } = 0.

?

Let AA be a bounded operator in a Hilbert space HH, and suppose that for every orthonormal basis {en}1∞\left\{ e_{n}\right\}_{1}^{\infty } in HH we have ∥Aen∥→0\left\| A e_{n}\right\| \rightarrow 0 as n→∞n \rightarrow \infty. Prove that the operator AA is compact (cf. problems 11.54 and 11.45).

?

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.

?

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

?

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.

?

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

?

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

?

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

?

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

?

If A\mathcal{A} is a C∗C^*-algebra with identity and a=a∗a = a^*, show that exp⁡(ia)=u\exp (ia) = u is unitary. Is the converse true?

?

If a∈Re⁡Aa \in \operatorname {Re} \mathcal{A}, show that ∣a∣≡(a2)1/2=a++a−\left|a\right| \equiv (a^2)^{1/2} = a_+ + a_-, where a+a_+ and a−a_- are the positive and negative parts of aa (that is, the unique positive elements with a=a+−a−a = a_+ - a_- and a+a−=a−a+=0a_+ a_- = a_- a_+ = 0).

?

Let NN be a normal operator on H\mathcal{H} with spectral measure EE. If Δ\Delta is a clopen subset of σ(N)\sigma (N), show that E(Δ)E(\Delta ) is the Riesz idempotent associated with Δ\Delta.

?

Prove Theorem II.7.6 and its corollaries by using the Spectral Theorem.

?

Obtain Theorem II.7.11 as a consequence of the following result (Theorem 2.3). If NN is a normal operator on H\mathcal{H} with spectral measure EE and B(σ(N))B(\sigma (N)) is the C∗C^*-algebra of bounded Borel functions on σ(N)\sigma (N), then the map ϕ↦ϕ(N)\phi \mapsto \phi (N) is a representation of the C∗C^*-algebra B(σ(N))B(\sigma (N)). If {ϕi}\{ \phi_i\} is a net in B(σ(N))B(\sigma (N)) such that ∫ϕi dμ→0\int \phi_i \, d\mu \to 0 for every μ\mu in M(σ(N))M(\sigma (N)), then ϕi(N)→0\phi_i(N) \to 0 (WOT). This map is unique in the sense that if τ:B(σ(N))→B(H)\tau : B(\sigma (N)) \to \mathcal{B}(\mathcal{H}) is a representation such that τ(z)=N\tau (z) = N and τ(ϕi)→0\tau (\phi_i) \to 0 (WOT) whenever {ϕi}\{ \phi_i\} is a bounded net in B(σ(N))B(\sigma (N)) such that ∫ϕi dμ→0\int \phi_i \, d\mu \to 0 for every μ\mu in M(σ(N))M(\sigma (N)), then τ(ϕ)=ϕ(N)\tau (\phi ) = \phi (N) for all ϕ\phi in B(σ(N))B(\sigma (N)).

?

If AA is self-adjoint, prove that exp⁡(iA)\exp (iA) is unitary.

?

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

?

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

?

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

?

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.

?
?
(a)

Fubini's theorem was applied to vector-valued integrals in the proof of Theorem 10.29. Justify this.

(b)

Construct a proof of Theorem 10.29 that uses no contour integrals, as follows: Prove the theorem first for polynomials gg, then for rational functions gg with no poles in Ω1\Omega_{1}, and obtain the general case from Runge's theorem.

Suppose that the spectrum of some x∈Ax \in A is not connected. Prove that AA contains a nontrivial idempotent 2. (This is defined in Exercise 2).

Prove also that A=A0⊕A1A = A_{0} \oplus A_{1}, where

A0={x:zx=0},A1={x:zx=x} A_{0} = \left\{ x: z x = 0\right\} , \quad A_{1} = \left\{ x: z x = x\right\}
?

Suppose x∈A,xn∈Ax \in A, x_{n} \in A, and lim⁡xn=x\lim x_{n} = x. Suppose Ω\Omega is an open set in C\mathscr {C} that contains a component of σ(x)\sigma (x). Prove that σ(xn)\sigma \left(x_{n}\right) intersects Ω\Omega for all sufficiently large nn. (This strengthens Theorem 10.20). Hint: If σ(x)⊂Ω∪Ω0\sigma (x) \subset \Omega \cup \Omega_{0}, where Ω0\Omega_{0} is an open set disjoint from Ω\Omega, consider the function ff that is 1 in Ω,0\Omega , 0 in Ω0\Omega_{0}.

?

Suppose AA is a commutative Banach algebra, x∈Ax \in A, and ff is holomorphic in some open set Ω⊂C\Omega \subset \mathcal{C} that contains the range of x^\hat{x}. Prove that there exists y∈Ay \in A such that y^=f∘x^\hat{y} = f \circ \hat{x}, that is, such that h(y)=f(h(x))h(y) = f(h(x)) for every complex homomorphism hh of AA. Prove that yy is uniquely determined by xx and ff if AA is semisimple.

?

Prove that every normal invertible T∈B(H)T \in \mathscr {B}(H) is the exponential of some normal S∈B(H)S \in \mathscr {B}(H).

?

References

[Axl19] Axler S. Measure, Integration & Real Analysis. 3rd ed., Springer, 2019.
[БСШ17] Бородин П.А., Савчук А.М., Шейпак И.А. Задачи по функциональному анализу. МЦНМО, 2017.
[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.
[Rud91] Rudin W. Functional Analysis. 2nd ed., McGraw-Hill, 1991.