Bourbaki

Exercise 19, § 4

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

Spectral Theories, IV, p. 349

Let E be the Hilbert space ℓ2(N∗)\ell_2(\mathbf{N}^*). Let (αn)n∈N∗(\alpha_n)_{n\in\mathbf{N}^*} be a sequence of real numbers ⩾2\geqslant 2 such that αn\alpha_n tends to +∞+\infty when n→+∞n\rightarrow +\infty. Put βn=1+αn−1\beta_n= 1 +\alpha^{-1}_n for all n∈N∗n\in \mathbf{N}^*.

a) Let F⊂EF\subset E be the space of sequences (xk)k∈N∗∈E(x_k)_{k\in\mathbf{N}^*}\in E such that the series

∑n∈N∗αn2∣x2n∣2 \sum_{n\in\mathbf{N}^*}\alpha^2_n|x_{2n}|^2

converges. It is a dense subspace of E.

b) There exists a closed partial operator uu on E with domain F such that for every x=(xk)k∈N∗x= (x_k)_{k\in\mathbf{N}^*} in F, one has u(x)=(yk)u(x) = (y_k) where

(y2k−1)(0αk)((x2k−1) (y_{2k-1})(0\alpha_k)((x_{2k-1})

=

y2kβky_{2k}\beta_k 0 x2kx_{2k}

for every k∈N∗k\in \mathbf{N}^*.

c) Let unu_n be the endomorphism

(0αn) (0\alpha_n)
x↦x x\mapsto x

βn\beta_n 0

of the Hilbert space C2\mathbf{C}^2 endowed with the canonical scalar product. For every λ∈C\lambda \in \mathbf{C} such that ∣λ∣<1|\lambda |<1, the resolvent of unu_n at λ\lambda is defined and one has

limn→+∞∥R(un,λ)∥=1_{n\rightarrow+\infty}\|R(u_n, \lambda )\|= 1.

d) For every n∈N∗n\in \mathbf{N}^* and every λ∈C\lambda \in \mathbf{C} such that ∣λ∣<12|\lambda |<\frac{1}{2}, one has ∥R(un,λ)∥<1\|R(u_n, \lambda )\|<1. e) The open disk with center 0 and radius 12\frac{1}{2} is contained in the resolvent set of uu, and one has ∥R(u,λ)∥=1\|R(u, \lambda )\|= 1 for every λ∈C\lambda \in \mathbf{C} such that ∣λ∣<12|\lambda |<\frac{1}{2}.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.