Bourbaki

Exercice 6, § 4

Étiquette 034Q, permanente. À citer comme [Bourbaki, Tag 034Q].

Théories spectrales, IV, p. 346

Soient E un espace de Banach complexe et uu un opérateur partiel fermé à domaine dense sur E. On suppose qu’il existe des nombres réels C⩾0C\geqslant 0 et M⩾0M\geqslant 0 tels que

(i) L’ensemble]−∞,−M[]-\infty ,-M[ est contenu dans l’ensemble résolvant de uu;

(ii) Pour tout entier n∈Nn\in \mathbf{N} et tout nombre réel λ<−M\lambda <-M, on a

∥R(u,λ)n∥⩽C∣λ+M∣−n \|R(u, \lambda )^n\|\leqslant C|\lambda + M|^{-n}

a) Pour tout nombre réel y<−My <-M, on note

uy=−y1E+y2R(u,y)∈L(E) u_y=-y1_E+y^2R(u, y)\in \mathscr{L}(E)

Les endomorphismes uyu_y commutent deux à deux ; pour tout x∈x\in dom(uu), on a uy(x)→u(x)u_y(x)\rightarrow u(x) quand y→−∞y\rightarrow -\infty.

b) L’application de R+\mathbf{R}_+ dans L(E)\mathscr{L}(E) définie par sy(t)=e−tuys_y(t) =e^{-tu_y} est un semi-groupe continu sur E tel que ∥sy(t)∥⩽CeMt\|s_y(t)\|\leqslant Ce^{Mt} pour tout t∈R+t\in \mathbf{R}_+.

c) Pour tous y1,y2y_1,y_2 et tt dans R+∗\mathbf{R}^*_+, et tout xx dans dom(uu), on a

∥sy1(t)x−sy2(t)x∥⩽tC2∥uy1(x)−uy2(x)∥ \|s_{y_1}(t)x-s_{y_2}(t)x\|\leqslant tC^2\|u_{y_1}(x)-u_{y_2}(x)\|

d) Soit t∈R+t\in \mathbf{R}_+. Pour tout xx dans E, la fonction définie sur R+∗\mathbf{R}^*_+ par y↦sy(t)xy\mapsto s_y(t)x converge quand y→−∞y\rightarrow -\infty vers un élément s(t)xs(t)x de E. L’application s(t)s(t) est linéaire et continue de norme ⩽CeMt\leqslant Ce^{Mt}.

e) L’application t↦s(t)t\mapsto s(t) est un semi-groupe continu sur E.

f) L’opérateur partiel uu est le générateur infinitésimal du semi-groupe continu ss (« théorème de Hille–Yosida »). (Vérifier d’abord que le générateur infinitésimal de ss est une extension de u.u.)

g) Soit s~\widetilde{s} un semi-groupe continu dont uu est le générateur infinitésimal. On a s~=s\widetilde{s}=s.

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.