 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-2/23h/b/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

Take the extension from part (a), and choose

M > N + n + 1

. The positive function

w (x) = (1 + ∣ x ∣^{2})^{- M /2}

belongs to

X_{N, k}

. Positivity extends from nonnegative Schwartz functions to nonnegative elements obtained as

X_{N, k}

limits. Since

- ∥ ϕ ∥_{M, 0} w \leq ϕ \leq ∥ ϕ ∥_{M, 0} w,

positivity gives

∣ v [ϕ] ∣ \leq v [w] ∥ ϕ ∥_{M, 0} .

Taking

K = v [w]

proves that every positive distribution has order zero.

 New to topics? Read the docs here!