Bourbaki

Lemma 5

Tag 033V, permanent. Cite it as [Bourbaki, Tag 033V].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let E be a complex Hilbert space and let uu be a closed partial operator with dense domain on E. Let λ∈C\lambda \in \mathbf{C}. Suppose that there exists a real number c>0c >0 such that

(10) ∥u(x)−λx∥⩾c∥x∥\|u(x)-\lambda x\|\geqslant c\|x\| for every x∈x\in dom(uu),

(11) ∥u∗(x)−λx∥⩾c∥x∥\|u^*(x)-\lambda x\|\geqslant c\|x\| for every x∈x\in dom(u∗u^*).

Then λ\lambda belongs to the resolvent set of uu and ∥R(u,λ)∥⩽c−1\|R(u, \lambda )\|\leqslant c^{-1}.

The assumption implies that u−λ1Eu-\lambda 1_E and u∗−λ‾1Eu^*-\overline{\lambda}1_E are injective. Let F be the image of u−λ1Eu-\lambda 1_E. The space F is dense in E, since its orthogonal is equal to Ker(u∗−λ‾1Eu^*-\overline{\lambda}1_E) (prop. 7, c) of IV, p. 236), which is zero.

Let us prove that the space F is closed. Let (xn)n∈N(x_n)_{n\in\mathbf{N}} be a sequence in dom(uu) such that the sequence (u(xn)−λxn)n∈N(u(x_n)-\lambda x_n)_{n\in\mathbf{N}} converges to y∈Fy\in F. Inequality (10) implies that the sequence (xn)n∈N(x_n)_{n\in\mathbf{N}} is a Cauchy sequence in E. Let x∈Ex\in E be its limit. The sequence (xn,u(xn))(x_n, u(x_n)) converges to (x,y+λx)(x, y+\lambda x) in E×EE\times E; since the graph of uu is closed, we therefore have x∈x\in dom(uu) and u(x)=y+λxu(x) =y+\lambda x, which proves that y∈Fy\in F.

We conclude that F = E. Thus, the partial operator u−λ1Eu-\lambda 1_E is bijective, whence λ∉\lambda \notin Sp(uu) (remark 3). Inequality (10) then implies that ∥R(u,λ)∥⩽c−1\|R(u, \lambda )\|\leqslant c^{-1}.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.