Bourbaki

Exercise 18, § 4

Tag 0352, permanent. Cite it as [Bourbaki, Tag 0352].

Spectral Theories, IV, p. 348

Let E be the complex vector space of bounded sequences (xk)k∈Z(x_k)_{k\in\mathbf{Z}} of complex numbers. For every x=(xk)x= (x_k) in E, we write

∥x∥E=∣x0∣+\|x\|_E=|x_0|+ supk∈Z−{0}∣xk∣_{k\in\mathbf{Z}-\{0\}}|x_k|.

a) The mapping x↦∥x∥Ex\mapsto \|x\|_E is a norm on E; the space E endowed with this norm is a Banach space.

b) Let M>2M>2 be a real number. Let λ=(λk)k∈Z\lambda = (\lambda_k)_{k\in\mathbf{Z}} be the sequence defined by λ0=M−1\lambda_0= M^{-1} and λk\lambda_k = 1 if k≠0k\not = 0. We denote by uu the linear mapping of E into E such that u((xk)k∈Z)=(λkxk+1)k∈Zu((x_k)_{k\in\mathbf{Z}}) = (\lambda_kx_{k+1})_{k\in\mathbf{Z}}. It is a continuous endomorphism of E.

c) The open disk with center 0 and radius 1/M1/M is contained in the resolvent set of uu.

d) For every λ∈C\lambda \in \mathbf{C} such that ∣λ∣<|\lambda |< inf(M−1,12−M−1^{-1},\frac{1}{2}-M^{-1}), one has ∥R(u,λ)∥⩽M\|R(u, \lambda )\|\leqslant M. (Use formula (6) of IV, p. 244).) e) Let e0∈Ee_0\in E be the sequence (xk)k∈N(x_k)_{k\in\mathbf{N}} defined by x0=1x_0= 1 and xk=0x_k= 0 if k≠0k\not = 0. Let λ∈C\lambda \in \mathbf{C} such that ∣λ∣<|\lambda |< inf(M−1,12−M−1^{-1},\frac{1}{2}-M^{-1}). One has ∥R(u,λ)e0∥E=M\|R(u, \lambda )e_0\|_E= M, hence ∥R(u,λ)∥=M\|R(u, \lambda )\|= M.

(This example, like that of the following exercise, is due to E. Shargorodsky, « On the level sets of the resolvent norm of a linear operator », Bull. London Math. Soc. 40 (2008), 493–504.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.