广义函数的微分性质的证明

广义函数是一类线性泛函，定义在一个测试函数的空间上。因为它们不是普通的函数，所以要用分部积分来定义它们的导数。以下是广义函数微分性质的证明：

设 $T$ 是一个广义函数，$u$ 是一个测试函数。

1. 首先考虑常数乘法法则：

$$\frac{d}{dx}(cT)u=c\frac{d}{dx}(Tu)$$

其中 $c$ 是常数。这个结论可以通过逐一检验定义得到，即：

$$\begin{array}{rl}⟨\frac{d}{dx}(cT),u⟩& =-⟨cT,\frac{d}{dx}u⟩\\ & =-c⟨T,\frac{d}{dx}u⟩\\ & =⟨c\frac{d}{dx}(T),u⟩\end{array}$$

2. 然后考虑加法法则：

$$\frac{d}{dx}(T_1+T_2)u=\frac{d}{dx}(T_{1}u)+\frac{d}{dx}(T_{2}u)$$

这个结论可以通过逐一检验定义得到，即：

$$\begin{array}{rl}⟨\frac{d}{dx}(T_1+T_2),u⟩& =-⟨T_1+T_2,\frac{d}{dx}u⟩\\ & =-⟨T_1,\frac{d}{dx}u⟩-⟨T_2,\frac{d}{dx}u⟩\\ & =⟨\frac{d}{dx}(T_1),u⟩+⟨\frac{d}{dx}(T_2),u⟩\end{array}$$

3. 最后考虑Leibniz法则，即：

$$\frac{d}{dx}(T_1{T}_2)u=T_1\frac{d}{dx}(T_{2}u)+T_2\frac{d}{dx}(T_{1}u)$$

这个结论可以通过分部积分得到。设 $T_1$ 的阶数为 $m$，$T_2$ 的阶数为 $n$，则有：

$$\begin{array}{rl}⟨\frac{d}{dx}(T_1{T}_2),u⟩& =-⟨T_1{T}_2,\frac{d}{dx}u⟩\\ & =-\sum _{k=0}^{m+n}⟨T_1^{(k)},T_2^{(m+n-k+1)}\frac{d^{m+n+1-k}}{d{x}^{m+n+1-k}}u⟩\\ & =-\sum _{k=0}^{m+n-1}⟨T_1^{(k)},T_2^{(m+n-k)}\frac{d^{m+n-k}}{d{x}^{m+n-k}}\frac{du}{dx}⟩\\ & -⟨T_1^{(m+n)},T_2\frac{d^{m+n+1}}{d{x}^{m+n+1}}u⟩\\ & =\sum _{k=0}^{m+n-1}⟨\frac{d}{dx}(T_1^{(k)}),T_2^{(m+n-k)}u⟩\\ & +\sum _{k=0}^{m+n-1}⟨T_1^{(k)},\frac{d}{dx}(T_2^{(m+n-k)}u)⟩+⟨\frac{d}{dx}(T_1^{(m+n)}),T_{2}u⟩\\ & =⟨T_1,\frac{d}{dx}(T_{2}u)⟩+⟨\frac{d}{dx}(T_1),T_{2}u⟩\end{array}$$

因此，证毕。