Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 71 / 1 / Solution

Use complex-linear distributions, so the pairing contains no complex conjugation. The space of smooth functions is $\mathcal{E}(X)=C^{\infty }(X)$, with seminormsThus $f_j\to f$ means uniform convergence of every derivative on every compact subset of $X$. A cofinal compact exhaustion with $K_j\subset \mathrm{int}{K}_{j+1}$ makes $p_j=p_{K_j,j}$ an increasing defining family. Such an exhaustion exists for every open set; for example, use bounded sets staying a positive distance from its complement and enlarge them slightly. This is a Fréchet space.

The compactly supported distribution space is the continuous dual space ${\mathcal{E}}^{\prime }(X)$. We use its weak-star topology: $u_j\to u$ precisely when $⟨u_j,f⟩\to ⟨u,f⟩$ for every $f\in \mathcal{E}(X)$. A stronger standard choice is the strong dual topology, which requires uniform convergence on bounded subsets of $\mathcal{E}(X)$; specifying the weak convention avoids conflating these definitions.

A continuous linear functional necessarily takes null sequences to zero. Conversely, suppose a linear functional $u$ fails to be continuous. For each $j$, it is unbounded on $\{f:p_j(f)\le 1\}$; otherwise scaling would give a continuity estimate. We can therefore choose $f_j$ withFor each fixed $l$, $p_l(f_j)\le p_j(f_j)\to 0$ once $j\ge l$. This contradicts the assumed null-sequence property. Hence sequential continuity characterizes the continuous dual:This is the sequential continuity criterion in a metrizable vector space applied to a linear functional.

Continuity also yields one compact $K⋐X$, an integer $m$ and a constant $C$ such that $|u(f)|\le C{p}_{K,m}(f)$. Thus $u$ has compact support in $K$ and finite order of a distribution. Conversely, a compactly supported distribution extends to $\mathcal{E}(X)$ by $u(f)=u(\eta f)$, where a cutoff function $\eta$ equals one near its support of a distribution. The local finite-order estimate makes this extension continuous and independent of $\eta$. This identifies the dual definition with compactly supported distributions.

Here is an explicit compact continuous-derivative representation of a distribution. Extend $u$ by zero to ${\mathbb{R}}^n$ using a cutoff function inside $X$, retaining finite order $m$. Put $r=m+2$ andThis locally $C^m$ function satisfies ${\partial }^{\gamma }E={\delta }_0$. Indeed, each one-dimensional factor has $r$th distributional derivative equal to the Dirac delta distribution. The convolution $F=u\ast E$ is continuous: the finite-order estimate extends $u$ to $C^m$ functions near its compact support, and translated $E$ varies continuously in their $C^m$ norms. Equivalently, mollify $E$ and use the estimate to obtain local uniform convergence of the convolved functions. Distributional differentiation gives ${\partial }^{\gamma }F=u$.

Choose $\chi \in C_c^{\infty }(X)$ equal to one near $\mathrm{supp}u$. Since $\chi u=u$, repeated Leibniz rule givesEvery coefficient function on the right is continuous and compactly supported in $X$. Thus the required representation is finite:The equality first holds on test functions and then on all smooth functions after inserting a common cutoff, so it holds in ${\mathcal{E}}^{\prime }(X)$.

A general distribution need not admit one finite such sum, even if compact support is not required of the continuous functions. On $X=\mathbb{R}$, considerThe sum is locally finite, so it defines a distribution. If it were a finite sum ${\sum }_{l=0}^M{\partial }^l{g}_l$ with all $g_l$ continuous, then on every fixed compact set its action would be bounded by test derivatives through order $M$. Near an integer $j>M$, however, it is exactly ${\delta }_j^{(j)}$, whose order is $j$. To see the contradiction directly, choose a test function $\psi$ with ${\psi }^{(j)}(0)\ne 0$ and put ${\psi }_{\epsilon }(x)={\epsilon }^j\psi ((x-j)/\epsilon )$. All derivative norms through order $M$ tend to zero, while $⟨{\delta }_j^{(j)},{\psi }_{\epsilon }⟩=(-1{)}^j{\psi }^{(j)}(0)$. This is a distribution of unbounded order. In dimensions $n>1$, the same example uses point masses at $(j,0,\dots ,0)$ and derivatives in the first coordinate.