Bourbaki

Exercise 6, § 4

Tag 034Q, permanent. Cite it as [Bourbaki, Tag 034Q].

Spectral Theories, IV, p. 346

Let E be a complex Banach space and uu a closed partial operator with dense domain on E. Suppose that there exist real numbers C⩾0C\geqslant 0 and M⩾0M\geqslant 0 such that

(i) The set ]−∞,−M[]-\infty ,-M[ is contained in the resolvent set of uu;

(ii) For every integer n∈Nn\in \mathbf{N} and every real number λ<−M\lambda <-M, one has

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

a) For every real number y<−My <-M, put

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

The endomorphisms uyu_y commute pairwise; for every x∈x\in dom(uu), one has uy(x)→u(x)u_y(x)\rightarrow u(x) when y→−∞y\rightarrow -\infty.

b) The mapping from R+\mathbf{R}_+ into L(E)\mathscr{L}(E) defined by sy(t)=e−tuys_y(t) =e^{-tu_y} is a continuous semi-group on E such that ∥sy(t)∥⩽CeMt\|s_y(t)\|\leqslant Ce^{Mt} for every t∈R+t\in \mathbf{R}_+.

c) For all y1,y2y_1,y_2 and tt in R+∗\mathbf{R}^*_+, and every xx in dom(uu), one has

∥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) Let t∈R+t\in \mathbf{R}_+. For every xx in E, the function defined on R+∗\mathbf{R}^*_+ by y↦sy(t)xy\mapsto s_y(t)x converges when y→−∞y\rightarrow -\infty to an element s(t)xs(t)x of E. The mapping s(t)s(t) is linear and continuous of norm ⩽CeMt\leqslant Ce^{Mt}.

e) The mapping t↦s(t)t\mapsto s(t) is a continuous semi-group on E.

f) The partial operator uu is the infinitesimal generator of the continuous semi-group ss ("Hille–Yosida theorem"). (First verify that the infinitesimal generator of ss is an extension of u.u.)

g) Let s~\widetilde{s} be a continuous semi-group of which uu is the infinitesimal generator. One has s~=s\widetilde{s}=s.

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.