Paper 2, Section II, H

Analysis of Functions | Part II, 2021

Define the Schwartz space, S(Rn)\mathscr{S}\left(\mathbb{R}^{n}\right), and the space of tempered distributions, S′(Rn)\mathscr{S}^{\prime}\left(\mathbb{R}^{n}\right), stating what it means for a sequence to converge in each space.

For a CkC^{k} function f:Rn→Cf: \mathbb{R}^{n} \rightarrow \mathbb{C}, and non-negative integers N,kN, k, we say f∈XN,kf \in X_{N, k} if

∥f∥N,k:=sup⁡x∈Rn;∣α∣⩽k∣(1+∣x∣2)N2Dαf(x)∣<∞\|f\|_{N, k}:=\sup _{x \in \mathbb{R}^{n} ;|\alpha| \leqslant k}\left|\left(1+|x|^{2}\right)^{\frac{N}{2}} D^{\alpha} f(x)\right|<\infty

You may assume that XN,kX_{N, k} equipped with ∥⋅∥N,k\|\cdot\|_{N, k} is a Banach space in which S(Rn)\mathscr{S}\left(\mathbb{R}^{n}\right) is dense.

(a) Show that if u∈S′(Rn)u \in \mathscr{S}^{\prime}\left(\mathbb{R}^{n}\right) there exist N,k∈Z⩾0N, k \in \mathbb{Z}_{\geqslant 0} and C>0C>0 such that

∣u[ϕ]∣⩽C∥ϕ∥N,k for all ϕ∈S(Rn)|u[\phi]| \leqslant C\|\phi\|_{N, k} \text { for all } \phi \in \mathscr{S}\left(\mathbb{R}^{n}\right)

Deduce that there exists a unique u~∈XN,k′\tilde{u} \in X_{N, k}^{\prime} such that u~[ϕ]=u[ϕ]\tilde{u}[\phi]=u[\phi] for all ϕ∈S(Rn)\phi \in \mathscr{S}\left(\mathbb{R}^{n}\right).

(b) Recall that v∈S′(Rn)v \in \mathscr{S}^{\prime}\left(\mathbb{R}^{n}\right) is positive if v[ϕ]⩾0v[\phi] \geqslant 0 for all ϕ∈S(Rn)\phi \in \mathscr{S}\left(\mathbb{R}^{n}\right) satisfying ϕ⩾0\phi \geqslant 0. Show that if v∈S′(Rn)v \in \mathscr{S}^{\prime}\left(\mathbb{R}^{n}\right) is positive, then there exist M∈Z⩾0M \in \mathbb{Z}_{\geqslant 0} and K>0K>0 such that

∣v[ϕ]∣⩽K∥ϕ∥M,0, for all ϕ∈S(Rn)|v[\phi]| \leqslant K\|\phi\|_{M, 0}, \quad \text { for all } \phi \in \mathscr{S}\left(\mathbb{R}^{n}\right)

[\left[\right. Hint: Note that ∣ϕ(x)∣⩽∥ϕ∥M,0(1+∣x∣2)−M2⋅]\left.|\phi(x)| \leqslant\|\phi\|_{M, 0}\left(1+|x|^{2}\right)^{-\frac{M}{2}} \cdot\right]

Typos? Please submit corrections to this page on GitHub.