Example
Tag 034K, permanent. Cite it as [Bourbaki, Tag 034K].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let U be an open set of endowed with the Lebesgue measure . Let Δ be the scalar differential operator
on U. Let us denote by the partial operator on the real Hilbert space with domain IV, p. 201, remark) defined by . One has , which is a closable partial operator (prop. 13 of IV, p. 242) and symmetric (since Δ is formally symmetric), hence is closable and symmetric (proposition 2 of IV, p. 228 and lemma 3 of IV, p. 239). By the above corollary, there therefore exists a self-adjoint extension of . It is a Laplacian on U (IV, p. 243).
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.