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 . We endow with Lebesgue measure, and we identify and its dual group as in corollary 3 of II, p. 236. Let N denote the euclidean norm on and the Fourier transform on and on (n of IV, p. 217).
Let be the partial operator on whose domain is the space and such that
for every . One then has for every function (remark 12 of IV, p. 220). Since the Fourier transform is an automorphism of (prop. 18 of IV, p. 219), this means that the partial operator is the restriction of the multiplication operator to the space . The partial operator is closable and symmetric; its closure is the positive self-adjoint partial operator (prop. 6 of IV, p. 232, applied to the space with the aid of prop. 4 of IV, p. 202). Consequently, the partial operator is essentially self-adjoint. Its closure is denoted by Δ; it is a positive self-adjoint operator, and it is the unique Laplacian on cf. example of No. of IV, p. 243 and cor. to prop. 26 of IV, p. 257).
According to prop. 21 of IV, p. 223, the Sobolev space is the set of such that belongs to , that is to say such that belongs to the domain of . Since the Fourier transform is an isometric isomorphism of the space onto itself (th. 1 of II, p. 215), the domain of the Laplacian Δ is . One has . In particular, the spectrum of Δ is equal to .
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.