61. 分布的局部刻画与支集

分布的局部刻画

我们来说明分布是可通过局部定义的数学对象, 即分布 $u$ 在 (所有) 小的开集上的限制决定了 $u$. 为此, 我们先回忆一下所谓的单位分解.

定理 61.1 (单位分解). 任意给定 ${\mathbb{R}}^n$ 中的紧集 $K$, 假设 $K$ 被有限个开集 $\{U_1,\cdots ,U_N\}$ 所覆盖. 那么, 对每个 $j⩽N$, 存在光滑函数 ${\chi }_j\in C_0^{\infty }(U_j)$, 满足

1)	对任意 $x\in {\mathbb{R}}^n$, 有 $0⩽{\chi }_j(x)⩽1$;
2)	存在包含 $K$ 的开集 $V$, 对任意 $x\in V$, 我们有$${\chi }_1(x)+\cdots +{\chi }_N(x)=1.$$

为了证明单位分解定理, 我们先证明如下的引理:

引理 61.2. 假设 $\Omega \subset {\mathbb{R}}^n$ 是开集, $K\subset \Omega$ 是紧集, 那么, 存在 $\phi \in C_0^{\infty }(\Omega )$ 和开集 $V$, 使得

1)	$K\subset V\subset U$;
2)	对任意的 $x\in \Omega$, $0⩽\phi (x)⩽1$;
3)	$\phi {|}_V\equiv 1$.

证明梗概. 首先, 我们可以选取 $\delta >0$, 使得$$K_{2\delta }=\{x\in {\mathbb{R}}^n||x-k|\le 2\delta ,\text{对某个}k\in K\}\subset U.$$令 $\varphi (x)=1_{K_{2\delta }}(x)$. 我们选取我们常用的 $\chi (x)$, 其中, 我们要求它的积分为 $1$. 再令$${\chi }_{\epsilon }(x)=\frac{1}{{\epsilon }^n}\chi \left(\frac{x}{\epsilon }\right).$$那么, 我们可以选取$$\phi =\varphi \ast {\chi }_{\epsilon },V=K_{\delta },$$其中 $\epsilon <\delta$. 证明的细节留作作业.

$\square$

单位分解的证明梗概. 对于每个开集 $U_i$, 我们可以选取紧集 $K_i\subset U_i$, 使得 $\bigcup _{i⩽N}{K}_i$ 仍然包含 $K$. 此时, 我们对每个 $K_i\subset U_i$ 运用上面的引理, 那么, 我们可以找到 ${\phi }_i\in C_0^{\infty }(U_i)$ 和开集 $V_i$, 使得 $K_i\subset V\subset U$, ${\phi }_i$ 的值域落在 $[0,1]$ 中并且 ${\phi }_i{|}_{V_i}\equiv 1$.

最终, 对每个 $i⩽N$, 我们令$${\chi }_i(x)=\frac{{\phi }_i(x)}{{\phi }_1(x)+\cdots +{\phi }_N(x)}$$即可. 证明的细节留作作业.

$\square$

注记. 单位分解的证明并没有任何启发性的意义, 我们只要能够运用该结论即可.

定理 61.3. 给定开集 $\Omega \subset {\mathbb{R}}^n$. 任意给定一族开集 $\left\{{\Omega }_i\right|i\in I\}$, 其中对任意的 $i\in I$, ${\Omega }_i\subset \Omega$. 我们假定$$\Omega =\bigcup _{i\in I}{\Omega }_i.$$对每个 $i\in I$, 我们在 ${\Omega }_i$ 上指定一个分布 $u_i\in {\mathcal{D}}^{\prime }({\Omega }_i)$. 如果这一族分布 $\{u_i{\}}_{i\in I}$ 满足如下的相容关系: $$u_i{|}_{{\Omega }_i\cap {\Omega }_j}=u_j{|}_{{\Omega }_i\cap {\Omega }_j},\text{对任意的}i,j\in I,$$那么, 存在唯一的 $u\in {\mathcal{D}}^{\prime }(\Omega )$, 使得对任意的 $i\in I$, 我们都有$$u{|}_{{\Omega }_i}=u_i.$$进一步, $u\in L_{\mathrm{loc}}^1(\Omega )$ 当且仅当对每个 $i\in I$, $u{|}_{{\Omega }_i}\in L_{\mathrm{loc}}^1(\Omega )$; $u\in C^k(\Omega )$ 当且仅当对每个 $i\in I$, $u{|}_{{\Omega }_i}\in C^k(\Omega )$, 其中 $k\in {\mathbb{Z}}_{⩾0}$.

证明. 任意选定紧集 $K\subset \Omega$. 由于 $\{{\Omega }_i{\}}_{i\in I}$ 也是 $K$ 的开覆盖, 我们选取有限开覆盖 ${\Omega }_{i_1},\cdots ,{\Omega }_{i_N}$ 以及相应的单位分解 ${\chi }_1,\cdots ,{\chi }_N$ (与前面的定理相对应) . 对任意的 $\phi \in C_K^{\infty }(\Omega )$, 我们定义$$⟨u_K,\phi ⟩:=\sum _{l=1}^N⟨u_{i_l},{\chi }_l\cdot \phi ⟩.$$我们必须说明 $⟨u_K,\phi ⟩$ 的定义不依赖于覆盖 $\{{\Omega }_{i_l}\}$ 和单位分解 $\{{\chi }_l\}$ 的选取. 实际上, 如果我们再选取 $K$ 的有限开覆盖 ${\Omega }_{i_1^{\prime }},\cdots ,{\Omega }_{i_{N^{\prime }}^{\prime }}$ 以及相应的单位分解 ${\chi }_1^{\prime },\cdots ,{\chi }_{N^{\prime }}^{\prime }$ (其中 $i_k^{\prime }\in I$) , 我们有$$\begin{array}{rl}\sum _{l=1}^N⟨u_{i_l},{\chi }_l\cdot \phi ⟩& =\sum _{l=1}^N⟨u_{i_l},\stackrel{\text{在suppφ上}\equiv 1}{\overbrace{\left(\sum _{l^{\prime }=1}^{N^{\prime }}{\chi }_{l^{\prime }}^{\prime }\right)}}{\chi }_l\cdot \phi ⟩\\ & =\sum _{l=1}^N\sum _{l^{\prime }=1}^{N^{\prime }}⟨u_{i_l},\underset{\mathrm{supp}({\chi }_l{\chi }_{l^{\prime }}^{\prime })\subset {\Omega }_{i_l}\cap {\Omega }_{i_{l^{\prime }}^{\prime }}}{\underbrace{{\chi }_l{\chi }_{l^{\prime }}^{\prime }\cdot \phi }}⟩\\ & =\sum _{l=1}^N\sum _{l^{\prime }=1}^{N^{\prime }}⟨u_{i_l}{|}_{{\Omega }_{i_l}\cap {\Omega }_{i_{l^{\prime }}^{\prime }}},{\chi }_l{\chi }_{l^{\prime }}^{\prime }\cdot \phi ⟩\\ & =\sum _{l=1}^N\sum _{l^{\prime }=1}^{N^{\prime }}⟨u_{i_{l^{\prime }}^{\prime }}{|}_{{\Omega }_{i_l}\cap {\Omega }_{i_{l^{\prime }}^{\prime }}},{\chi }_l{\chi }_{l^{\prime }}^{\prime }\cdot \phi ⟩.\end{array}$$根据上述计算的对称性, 我们知道它一定等于 $\sum _{l^{\prime }=1}^{N^{\prime }}⟨u_{i_{l^{\prime }}^{\prime }},{\chi }_{l^{\prime }}^{\prime }\phi ⟩$. 所以, 我们最终证明了$$\sum _{l=1}^N⟨u_{i_l},{\chi }_l\cdot \phi ⟩=\sum _{l^{\prime }=1}^{N^{\prime }}⟨u_{i_{l^{\prime }}^{\prime }},{\chi }_{l^{\prime }}^{\prime }\phi ⟩.$$这就说明线性映射 $u_K$ 是良好定义的.

所以, 我们就把 $u$ 定义为$$⟨u,\phi ⟩=⟨u_K,\phi ⟩,$$其中 $\phi \in C_K^{\infty }(\Omega )$. 为了说明 $u$ 是良好定义的, 我们要说明这个定义与紧集 $K$ 的依赖关系, 即如果 $\mathrm{supp}\phi \subset K$ 并且 $\mathrm{supp}\phi \subset K^{\prime }$, 其中 $K^{\prime }$ 是另一个紧集, 我们需要证明$$⟨u_K,\phi ⟩=⟨u_{K^{\prime }},\phi ⟩.$$事实上, $\mathrm{supp}\phi \subset K\cap K^{\prime }=K^{\prime \prime }$. 所以, 关于 $K$ 的覆盖以及其相应的单位分解也可视作是 $K^{\prime \prime }$ 的单位分解, 所以, 利用单位分解所定义的 $u_K$ 与 $u_{K^{\prime \prime }}$ 是一致的, 即$$⟨u_K,\phi ⟩=⟨u_{K^{\prime \prime }},\phi ⟩.$$同理, $$⟨u_{K^{\prime }},\phi ⟩=⟨u_{K^{\prime \prime }},\phi ⟩.$$所以, $$⟨u_K,\phi ⟩=⟨u_{K^{\prime }},\phi ⟩.$$最终, 我们要说明说明 $u=u_K$ 满足分布定义中所要求的不等式: 给定紧集 $K\subset \Omega$, 选取有限开覆盖 ${\Omega }_{i_1},\cdots ,{\Omega }_{i_N}$ 以及相应的单位分解 ${\chi }_1,\cdots ,{\chi }_N$. 我们用 $K_l$ 表示 ${\chi }_{i_l}$ 的支集, 那么, $K_i\subset {\Omega }_{i_l}$ 是紧集, 其中 $l⩽N$. 对任意的 $\phi \in C_K^{\infty }(\Omega )$, 我们有$$\begin{array}{rl}|⟨u,\phi ⟩|& =|⟨u_K,\phi ⟩|=\left|\sum _{l=1}^N⟨u_{i_l},{\chi }_l\cdot \phi ⟩\right|\\ & ⩽\sum _{l=1}^N\left|⟨u_{i_l},{\chi }_l\cdot \phi ⟩\right|\\ & ⩽\sum _{l=1}^N{C}_i\underset{|{\alpha }_l|⩽p_l}{\sup }\Vert {\partial }^{{\alpha }_l}({\chi }_l\cdot \phi ){\Vert }_{L^{\infty }(K_l)}\\ & ⩽C\underset{|\alpha |⩽{\sup }_{l⩽N}{p}_l}{\sup }\Vert {\partial }^{\alpha }\phi {\Vert }_{L^{\infty }(K)}.\end{array}$$命题中另外两个论断是平凡的.

$\square$

注记. 这个定理表明, 把开集 $\Omega \subset {\mathbb{R}}^n$ 对应至分布空间 ${\mathcal{D}}^{\prime }(\Omega )$ 的函子是 ${\mathbb{R}}^n$ 上的层.

分布的支集

给定开集上的分布 $u\in {\mathcal{D}}^{\prime }(\Omega )$, 我们来定义它的支集.

假设 ${\Omega }^{\prime }\subset \Omega$ 是开子集, 如果 $u{|}_{{\Omega }^{\prime }}=0$, 我们就说 $\mathbf{u}$ 在 ${\mathbf{\Omega }}^{\prime }$ 上为零, 也就是说, 对于每个 $\phi \in \mathcal{D}({\Omega }^{\prime })$, 我们有$$⟨u,\phi ⟩=0.$$我们现在来说明, 存在 $\Omega$ 中使得 $u$ 在其上为零的最大开集. 为此, 我们定义$$I=\left\{{\Omega }^{\prime }\right|{\Omega }^{\prime }\subset \Omega \text{为开集},u{|}_{{\Omega }^{\prime }}=0\}.$$令$$U=\bigcup _{{\Omega }^{\prime }\in I}{\Omega }^{\prime }.$$按照定义, $U$ 为开集. 我们要证明 $U\in I$, 为此, 只要证明对任意的 $\phi \in C_0^{\infty }(U)$, 我们都有$$⟨u,\phi ⟩=0,$$即可. 实际上, 令 $K=\mathrm{supp}(\phi )$, 那么存在限个 ${\Omega }_1,\cdots ,{\Omega }_N\in I$ 覆盖 $K$. 我们取与这个覆盖相应的单位分解 ${\chi }_1,\cdots ,{\chi }_N$. 从而, $$\begin{array}{rl}⟨u,\phi ⟩& =\sum _{j=1}^N⟨u,\stackrel{\text{支集在}{\Omega }_i\text{中}}{\overbrace{{\chi }_i\phi }}⟩=0.\end{array}$$最后一步, 我们用到了 $u{|}_{{\Omega }_i}=0$. 很明显, $U$ 是这种开集中最大的.

定义 61.4 (支集). 我们把 $\Omega -U$ 称作是 $u$ 的支集并仍然用符号 $\mathrm{supp}(u)$ 表示. 如果 $\mathrm{supp}(u)$ 是紧集, 我们就说 $u$ 是有紧支集的分布. 我们用 ${\mathcal{E}}^{\prime }({\mathbb{R}}^n)$ 来表示 ${\mathbb{R}}^n$ 上有紧支集的分布的全体.

我们现在研究 ${\mathcal{E}}^{\prime }({\mathbb{R}}^n)$ 中的分布的基本性质:

命题 61.5. 在此命题中出现的分布都是有紧支集的

1)	${\mathcal{E}}^{\prime }({\mathbb{R}}^n)$ 是线性空间, 并且$$\mathrm{supp}(u_1+u_2)\subset \mathrm{supp}(u_1)\cup \mathrm{supp}(u_2).$$
2)	对任意的多重指标 $\alpha$, 我们有$$\mathrm{supp}\left({\partial }^{\alpha }u\right)\subset \mathrm{supp}(u).$$
3)	对任意的 $f\in C^{\infty }({\mathbb{R}}^n)$, 我们有$$\mathrm{supp}(f\cdot u)\subset \mathrm{supp}(u)\cap \mathrm{supp}(f).$$
4)	任意给定试验函数 $\phi \in \mathcal{D}({\mathbb{R}}^n)$, 如果 $\mathrm{supp}(u)\cap \mathrm{supp}(\phi )=\varnothing$, 那么$$⟨u,\phi ⟩=0.$$
5)	有紧支集的分布的阶是有限的.

证明. 前三条性质按定义立得, 我们留作作业.

为了证明 4), 我们注意到存在开集 ${\Omega }^{\prime }\supset \mathrm{supp}(\phi )$, 使得 ${\Omega }^{\prime }\cap \mathrm{supp}(u)=\varnothing$. 按照支集的定义, $u{|}_{{\Omega }^{\prime }}=0$, 所以, $⟨u,\phi ⟩=0$.

为了证明 5), 我们令 $K=\mathrm{supp}(u)$. 此时, 存在 $\psi \in C_0^{\infty }({\mathbb{R}}^n)$, 使得 $\psi {|}_K\equiv 1$. 我们令 $K^{\prime }=\mathrm{supp}(\psi )$. 特别地, 我们有$$K\subset K^{\prime }.$$对于任意的试验函数 $\phi \in \mathcal{D}({\mathbb{R}}^n)$, 我们有$$\begin{array}{rl}⟨u,\phi ⟩& =⟨u,\psi \phi ⟩.\end{array}$$这是因为根据 4), $\mathrm{supp}((1-\psi )\phi )\cap \mathrm{supp}(u)=\varnothing$. 我们注意到 $\psi$ 是事先给定的, 所以对任意的试验函数 $\phi$, 我们都有$$\mathrm{supp}(\psi \phi )\subset K^{\prime }.$$这是一个固定的紧集. 那么, 按照分布的定义, 在紧集 $K^{\prime }$ 上所对应的 $C$ 和 $p$, 使得$$\begin{array}{rl}|⟨u,\phi ⟩|& =|⟨u,\psi \phi ⟩|\\ & ⩽C\underset{|\alpha |⩽p}{\sup }\Vert {\partial }^{\alpha }(\psi \cdot \phi ){\Vert }_{L^{\infty }(K^{\prime })}.\end{array}$$上述右边至多出现了 $u$ 的 $p$-次导数, 所以 $p$ 可以作为 $u$ 的阶的上界.

$\square$

利用证明中的技巧, 我们有如下有趣的注解:

注记. 对于有紧支集的分布, 我们可以扩大试验函数的空间来定义如下的配对: $${\mathcal{E}}^{\prime }({\mathbb{R}}^n)\times C^{\infty }({\mathbb{R}}^n)⟶\mathbb{C},⟨u,\phi ⟩:=⟨u,\psi \cdot \phi ⟩,$$其中, $\psi$ 是在 $K=\mathrm{supp}(u)$ 上恒为 $1$ 的有紧支集的光滑函数. 我们将在作业中证明这个定义不依赖于 $\psi$ 的选取.

这种用乘以一个函数的方式来记住一个分布的支集是一个很有用的技巧, 之后会经常看到.

我们现在引入平坦的概念: 给定非空的闭集 $F\subset {\mathbb{R}}^n$, $\phi \in \mathcal{D}({\mathbb{R}}^n)$ 是试验函数. 如果存在非负整数 $p$, 使得对每个满足 $|\alpha |⩽p$ 的多重指标 $\alpha$, 我们都有$${\partial }^{\alpha }\phi {|}_F=0,$$我们就说试验函数 $\phi$ 在 $F$ 上是 $\mathbf{p}$-次平坦的.

引理 61.6 (平坦性引理). 给定是阶为 $p$ 的分布 $u\in {\mathcal{D}}^{\prime }({\mathbb{R}}^n)$, 如果试验函数 $\phi \in \mathcal{D}({\mathbb{R}}^n)$ 在 $\mathrm{supp}(u)$ 上 $p$-次平坦, 那么$$⟨u,\phi ⟩=0.$$

证明. 我们定义如下的集合: $$K=\mathrm{supp}(\phi ),F=\mathrm{supp}(u),L=K\cap F.$$我们还定义$$L_{k\epsilon }=\{x\in {\mathbb{R}}^n|d(x,L)<k\epsilon \},k=1,2,3.$$

我们仍然用 ${\chi }_{\epsilon }$ 来记我们心爱的截断函数. 此时, 我们定义$${\psi }_{\epsilon }=1_{L_{2\epsilon }}\ast {\chi }_{\epsilon }.$$这个函数满足如下几条显然的性质

1)	$\mathrm{supp}({\psi }_{\epsilon })\subset L_{3\epsilon }$;
2)	${\psi }_{\epsilon }{|}_{L_{\epsilon }}\equiv 1$;
3)	对每个多重指标 $\alpha$, 我们都有$$\Vert {\partial }^{\alpha }{\psi }_{\epsilon }{\Vert }_{\infty }⩽C_{\alpha }{\epsilon }^{-|\alpha |}.$$其中, $C_{\alpha }=\Vert {\partial }^{\alpha }\chi {\Vert }_{L^1}$: 实际上, 我们有$$\begin{array}{rl}|{\partial }^{\alpha }{\psi }_{\epsilon }|& =|1_{L_{2\epsilon }}\ast \left({\partial }^{\alpha }{\chi }_{\epsilon }\right)|\\ & ⩽{\epsilon }^{-|\alpha |}{\int }_{L_{2\epsilon }}{\epsilon }^{-n}\left|({\partial }^{\alpha }\chi )\left(\frac{x}{\epsilon }\right)\right|dx\\ & ={\epsilon }^{-|\alpha |}\Vert {\partial }^{\alpha }\chi {\Vert }_{L^1}.\end{array}$$

我们利用 ${\psi }_{\epsilon }$ 将 $\phi$ 切成两个部分: $$\begin{array}{rl}⟨u,\phi ⟩& =⟨u,\stackrel{\text{支集与 F 不交}}{\overbrace{(1-{\psi }_{\epsilon })\phi }}⟩+⟨u,\stackrel{\text{支集}\subset L_{3\epsilon }}{\overbrace{{\psi }_{\epsilon }\phi }}⟩\\ & =⟨u,{\psi }_{\epsilon }\phi ⟩.\end{array}$$由于 $\phi$ 在 $F$ 上是 $p$-阶平坦的并且 $L_{3\epsilon }$ 中的每个点距离 $F$ 不超过 $3\epsilon$, 根据 Taylor 公式, 对于任意的 $y\in L_{3\epsilon }$, 存在 $x\in F$ 并且 $|x-y|<3\epsilon$, 以及 $\vartheta \in [0,1]$, 使得$$\begin{array}{rl}\phi (y)& =\sum _{|\alpha |⩽p}\frac{{\partial }^{\alpha }\phi (x)}{\alpha !}(x-y{)}^{\alpha }+\sum _{|\alpha |=p+1}\frac{{\partial }^{\alpha }\phi (x+\vartheta (y-x))}{\alpha !}(x-y{)}^{\alpha }\\ & \stackrel{\text{平坦性}}{=}\sum _{|\beta |=p+1}\frac{{\partial }^{\beta }\phi (x+\vartheta (y-x))}{\beta !}(x-y{)}^{\beta }.\end{array}$$所以, $$\begin{array}{rl}{\partial }^{\alpha }\phi (y)& =\sum _{|\beta |=p+1}\sum _{{\alpha }_1+{\alpha }_2=\alpha }\frac{\alpha !}{{\alpha }_1!{\alpha }_2!}\frac{{\partial }^{{\alpha }_1}\left({\partial }^{\beta }\phi (x+\vartheta (y-x))\right)}{\beta !}\underset{|\cdot |⩽C{\epsilon }^{p+1-|{\alpha }_2|}}{\underbrace{{\partial }^{{\alpha }_2}\left((x-y{)}^{\beta }\right)}}.\end{array}$$所以, 在 $L_{3\epsilon }$ 上, 当 $|\alpha |⩽p$ 时, 存在常数 $C$ (依赖于 $\phi$, 可能很大, 但是这个常数不依赖于 $\epsilon$) , 使得$$|{\partial }^{\alpha }\phi |⩽C{\epsilon }^{p+1-|\alpha |}.$$从而对于 $|\alpha |⩽p$, 我们就有 (利用 Leibniz 公式) $$\begin{array}{rl}|{\partial }^{\alpha }({\psi }_{\epsilon }\cdot \phi )|& ⩽2^{|\alpha |}\sum _{|\beta |⩽|\alpha |}|{\partial }^{\alpha -\beta }{\psi }_{\epsilon }||{\partial }^{\beta }\phi |\\ & ⩽C^{\prime }\sum _{|\beta |⩽|\alpha |}{\epsilon }^{-|\alpha -\beta |}{\epsilon }^{p+1-|\beta |}\\ & ⩽C^{\prime \prime }\epsilon .\end{array}$$根据分布的定义以及 $u$ 的阶不超过 $p$, 我们知道$$\begin{array}{rl}|⟨u,{\psi }_{\epsilon }\cdot \phi ⟩|& ⩽C^{\prime \prime \prime }\underset{|\alpha |⩽p}{\sup }\Vert {\partial }^{\alpha }({\psi }_{\epsilon }\cdot \phi ){\Vert }_{L^{\infty }(L_{3\epsilon })}\\ & ⩽C^{\prime \prime \prime \prime }\epsilon \end{array}$$令 $\epsilon \to 0$, 这就完成了该定理的证明.

$\square$

定理 61.7 (支集为单点集的分布的结构定理). 任意给定分布 $u\in {\mathcal{D}}^{\prime }({\mathbb{R}}^n)$, 如果它的支集满足$$\mathrm{supp}(u)=\{0\},$$那么, 存在有限多个多重指标 ${\alpha }_i$ 和复数 $C_{{\alpha }_i}$, 其中 $i=1,\cdots ,N$, 使得$$u=\sum _{j=1}^N{C}_{{\alpha }_j}\cdot {\partial }^{{\alpha }_j}\left({\delta }_0\right).$$

证明. 由于 $u$ 的支集是紧的, 我们可假设其阶为 $p\in {\mathbb{Z}}_{⩾0}$. 我们选取有紧支集的函数 $\chi$, 使得它在包含 $0$ 的一个开集上为 $1$. 我们用类似于多项式的近试验函数 $\left(\sum _{|\alpha |⩽p}\frac{{\partial }^{\alpha }\phi (0)}{\alpha !}{x}^{\alpha }\right)\chi (x)$ 来逼近 $\phi$, 即定义$$r(x)=\phi (x)-\left(\sum _{|\alpha |⩽p}\frac{{\partial }^{\alpha }\phi (0)}{\alpha !}{x}^{\alpha }\right)\chi (x).$$很明显, $r(x)$ 是试验函数.

由于 $\left(\sum _{|\alpha |⩽p}\frac{{\partial }^{\alpha }\phi (0)}{\alpha !}{x}^{\alpha }\right)\chi (x)$ 和 $\phi (x)$ 在 $0$ 处一直到 $p$ 阶导数是相等的, 所以, $r(x)$ 在 $\{0\}$ 上是 $p$-阶平坦的, 所以$$⟨u,r⟩=0.$$从而, $$⟨u,\phi ⟩=\sum _{|\alpha |⩽p}\frac{{\partial }^{\alpha }\phi (0)}{\alpha !}⟨u,x^{\alpha }\chi ⟩,$$所以, 只要取 $C_{\alpha }=(-1{)}^{|\alpha |}\frac{⟨u,x^{\alpha }\chi ⟩}{\alpha !}$, 我们就有$$⟨u,\phi ⟩=\sum _{|\alpha |⩽p}{C}_{\alpha }⟨{\partial }^{\alpha }({\delta }_0),\phi ⟩.$$命题得证.

$\square$