Bourbaki

Exercise 19, § 3

Tag 0324, permanent. Cite it as [Bourbaki, Tag 0324].

Spectral Theories, IV, p. 336

Let n∈Nn\in \mathbf{N} and let U⊂RnU\subset \mathbf{R}^n be an open subset.

a) Let f∈D′(U)f\in \mathscr{D}'(U). The union V of the open sets W⊂UW\subset U such that the restriction of ff to W is zero is open in U.

The complement of V is called the support of ff; it is a closed subset of U.

b) Let f∈D′(U)f\in \mathscr{D}'(U) and let φ∈D(U)\varphi \in \mathscr{D}(U) whose support does not meet the support of ff. Then ⟨f,φ⟩=0\langle f, \varphi \rangle = 0.

c) Let f∈D′(U)f\in \mathscr{D}'(U) and α∈Nn\alpha \in \mathbf{N}^n. The support of ∂αf\partial^{\alpha}f is contained in the support of ff.

d) If f∈D′(U)f\in \mathscr{D}'(U) is the distribution associated with a measure ν\nu, then the support of ff coincides with the support of ν\nu.

e) Let ff be a distribution with compact support in U. The linear form ff extends to a continuous linear form on the space C∞(U)\mathscr{C}^{\infty}(U).

f) The space of distributions with compact support in U is identified with the dual of the space C∞(U)\mathscr{C}^{\infty}(U).

g) Let f∈D′(Rn)f\in \mathscr{D}'(\mathbf{R}^n) be a distribution with compact support. Then f∈S′(Rn)f\in \mathscr{S}'(\mathbf{R}^n). h) Let f∈D′(Rn)f\in \mathscr{D}'(\mathbf{R}^n) be a distribution with compact support. The Fourier transform of ff belongs to C∞(Rn)\mathscr{C}^{\infty}(\mathbf{R}^n); it is a function of polynomial growth, as are all its derivatives.

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.