Bourbaki

Exercice 30, § 2

Tag 027H, permanent. Cite it as [Bourbaki, Tag 027H].

Théories spectrales, I, p. 161

Bourbaki marks this one as harder than the rest.

a) Soient E un espace de Banach complexe et x:C−{1}→Ex:\mathbf{C}-\{1\} \rightarrow E une fonction entière de 1/(ζ−1)1/(\zeta -1). On note x(ζ)=∑n=0∞anζn,x(ζ)=∑n=0∞bnζ−nx(\zeta ) =\sum^{\infty}_{n=0}a_n\zeta^n,x(\zeta ) =\sum^{\infty}_{n=0}b_n\zeta^{-n} les développements de xx pour ∣ζ∣<1,∣ζ∣>1|\zeta |<1,|\zeta |>1 respectivement. On suppose qu’il existe α>0\alpha >0 tel que ∥an∥=o(nα),∥bn∥=o(nα)\|a_n\|=o(n^{\alpha}),\|b_n\|=o(n^{\alpha}). Alors x(ζ)x(\zeta ) est un polynôme en 1/(ζ−1)1/(\zeta -1) de degré <α+1< \alpha + 1. (Soit ε>0\varepsilon >0. On a ∥x(ζ)∥⩽ε(1−r)−1−α\|x(\zeta )\|\leqslant \varepsilon (1-r)^{-1-\alpha} pour rε⩽r=∣ζ∣<1,∥x(ζ)∥⩽ε(1−r−1)−1−αr_{\varepsilon}\leqslant r=|\zeta |<1,\|x(\zeta )\|\leqslant \varepsilon (1-r^{-1})^{-1-\alpha} pour 1<r⩽rε′1< r\leqslant r'_{\varepsilon}. Posant 1−ζ=(ω+12)−1,ω=Reiθ1-\zeta = (\omega +\frac{1}{2})^{-1},\omega = Re^{i\theta}, montrer que, pour 0⩽r<10\leqslant r <1 et R⩾1R\geqslant 1, on a

(1−r)−1⩽94(1-r)^{-1}\leqslant \frac{9}{4} cosRθR\theta

et que, pour 1<r1< r et R⩾1R\geqslant 1,

(1−r−1)−1⩽94(1-r^{-1})^{-1}\leqslant \frac{9}{4} cosRθR\theta.

Poser y(ω)=x(ζ)y(\omega ) =x(\zeta ) et montrer que R−α−1∣R^{-\alpha-1}|cosθ∣α+1∥y(Reiθ)∥\theta |^{\alpha+1}\|y(Re^{i\theta})\| tend vers 0 quand R tend vers +∞+\infty, uniformément en θ\theta. Appliquer alors l’exerc. 29, b).)

Soient A une algèbre de Banach unifère complexe, q∈Aq\in A un élément quasi-nilpotent et x=1+qx= 1 +q.

b) Pour que qN=0q^N= 0, il faut et il suffit que ∥x±n∥=o(nN)\|x^{\pm n}\|=o(n^N) quand nn tend vers +∞+\infty. (Pour voir que la condition est suffisante, montrer, en appliquant a), que R(λ,x)R(\lambda , x) est un polynôme en 1/(λ−1)1/(\lambda -1) de degré ⩽N\leqslant N. D’autre part, R(λ,x)=R(\lambda , x) = ∑n=0∞qn(λ−1)−n−1.)\sum^{\infty}_{n=0}q^n(\lambda -1)^{-n-1}.)

c) Soient R le radical de A et G un sous-groupe du groupe des éléments inversibles de A. Si, pour tout x∈Gx\in G, on a ∥xn∥=o(n),∥x−n∥=o(n)\|x^n\|=o(n),\|x^{-n}\|=o(n) pour n→+∞n\rightarrow +\infty, alors la restriction à G de l’application canonique A→A/RA\rightarrow A/R est injective.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.