Bourbaki

Exercise 39, § 5

Tag 038E, permanent. Cite it as [Bourbaki, Tag 038E].

Spectral Theories, IV, p. 370

Let n⩾1n\geqslant 1 be an integer. Endow Rn\mathbf{R}^n with Lebesgue measure.

Let vv be a positive locally square-integrable function on Rn\mathbf{R}^n. Denote by Δ the Laplacian on D(Rn)\mathscr{D}(\mathbf{R}^n) or on D′(Rn)\mathscr{D}'(\mathbf{R}^n), defined by

Δ(f)=−∑i=1n∂i2f \Delta (f) =-\sum_{i=1}^n\partial_i^2f

Let D be the partial operator on L2(Rn)L^2(\mathbf{R}^n) with domain D(Rn)\mathscr{D}(\mathbf{R}^n) such that

D(φ)=Δ(φ+vφ) D(\varphi ) = \Delta (\varphi +v\varphi )

a) The partial operator D is symmetric and positive.

b) Let u∈u\in dom(D∗D^*) be such that D∗u+u=0D^*u+u= 0. Then Δ(u)+u=0\Delta (u) +u= 0, where the Laplacian of u∈L2(Rn)u\in L^2(\mathbf{R}^n) is computed in the sense of distributions.

c) The distributions Δ(u)\Delta (u) and (v+1)u(v+1)u are locally integrable functions, and the distribution −Δ(u)-\Delta (u) is positive. (Use exercise 32 of IV, p. 344.)

d) One has u=0u= 0. (Approximate ∣u∣|u| by infinitely differentiable functions wεw_{\varepsilon} by convolution in such a way that Δ(wε)⩾0\Delta (w_{\varepsilon})\geqslant 0 and apply the preceding question.)

e) The partial operator D is essentially self-adjoint.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.