Bourbaki

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 Rn\mathbf{R}^n endowed with the Lebesgue measure μ\mu. Let Δ be the scalar differential operator

Δ=−∑i=1n∂i2 \Delta =-\sum_{i=1}^n\partial_i^2

on U. Let us denote by uu the partial operator on the real Hilbert space LR2(U,μ)L^2_{\mathbf{R}}(U, \mu) with domain DR(U)(\mathscr{D}_{\mathbf{R}}(U) (IV, p. 201, remark) defined by φ↦−∑i=1n∂i2φ\varphi \mapsto -\sum^n_{i=1}\partial_i^2\varphi. One has u(C)=Δ−u_{(\mathbf{C})}= \Delta_-, which is a closable partial operator (prop. 13 of IV, p. 242) and symmetric (since Δ is formally symmetric), hence uu 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 u(C)u_{(\mathbf{C})}. 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.

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