Bourbaki

Example

Tag 035P, permanent. Cite it as [Bourbaki, Tag 035P].

Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral

Let n∈Nn\in \mathbf{N}. We endow Rn\mathbf{R}^n with Lebesgue measure, and we identify Rn\mathbf{R}^n and its dual group as in corollary 3 of II, p. 236. Let N denote the euclidean norm on Rn\mathbf{R}^n and F\mathscr{F} the Fourier transform on S(Rn)\mathscr{S}(\mathbf{R}^n) and on S′(Rn)\mathscr{S}'(\mathbf{R}^n) (no12^o12 of IV, p. 217).

Let ΔS\Delta_{\mathscr{S}} be the partial operator on L2(Rn)L^2(\mathbf{R}^n) whose domain is the space S(Rn)\mathscr{S}(\mathbf{R}^n) and such that

ΔS(φ)=−∑i=1n∂i2φ \Delta_{\mathscr{S}}(\varphi ) =-\sum_{i=1}^n\partial_i^2\varphi

for every φ∈S(Rn)\varphi \in \mathscr{S}(\mathbf{R}^n). One then has F(ΔS(φ))=4π2N2F(φ)\mathscr{F}(\Delta_{\mathscr{S}}(\varphi )) = 4\pi^2N^2\mathscr{F}(\varphi ) for every function φ∈S(Rn)\varphi \in \mathscr{S}(\mathbf{R}^n) (remark 12 of IV, p. 220). Since the Fourier transform is an automorphism of S(Rn)\mathscr{S}(\mathbf{R}^n) (prop. 18 of IV, p. 219), this means that the partial operator u=F∘ΔS∘F−1u=\mathscr{F}\circ \Delta_{\mathscr{S}}\circ \mathscr{F}^{-1} is the restriction of the multiplication operator m4π2N2m_{4\pi^2N^2} to the space S(Rn)\mathscr{S}(\mathbf{R}^n). The partial operator uu is closable and symmetric; its closure is the positive self-adjoint partial operator m4π2N2m_{4\pi^2N^2} (prop. 6 of IV, p. 232, applied to the space D(Rn)⊂S(Rn)\mathscr{D}(\mathbf{R}^n)\subset \mathscr{S}(\mathbf{R}^n) with the aid of prop. 4 of IV, p. 202). Consequently, the partial operator ΔS\Delta_{\mathscr{S}} is essentially self-adjoint. Its closure is denoted by Δ; it is a positive self-adjoint operator, and it is the unique Laplacian on Rn(\mathbf{R}^n(cf. example of No.o6^o6 of IV, p. 243 and cor. to prop. 26 of IV, p. 257).

According to prop. 21 of IV, p. 223, the Sobolev space H2(Rn)H^2(\mathbf{R}^n) is the set of f∈L2(Rn)f\in L^2(\mathbf{R}^n) such that (1+N2)F(f)(1 + N^2)\mathscr{F}(f) belongs to L2(Rn)L^2(\mathbf{R}^n), that is to say such that F(f)\mathscr{F}(f) belongs to the domain of m4π2N2m_{4\pi^2N^2}. Since the Fourier transform is an isometric isomorphism of the space L2(Rn)L^2(\mathbf{R}^n) onto itself (th. 1 of II, p. 215), the domain of the Laplacian Δ is H2(Rn)H^2(\mathbf{R}^n). One has Δ=F−1∘m4π2N2∘F\Delta =\mathscr{F}^{-1}\circ m_{4\pi^2N^2}\circ \mathscr{F}. In particular, the spectrum of Δ is equal to R+\mathbf{R}_+.

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, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.