利用分部积分证明缓变分布的导数合理性

咱们直接抓核心：这个推导成立的关键完全在于分部积分公式里的边界项在无穷远处消失了，下面一步步给你理清楚：

首先回忆有限区间上的标准分部积分公式：对闭区间$[a,b]$上的可微函数$f$和$\varphi$，有
$$∫_a^b f'(x)\varphi(x)dx = \left[f(x)\varphi(x)\right]_a^b - ∫_a^b f(x)\varphi'(x)dx$$
这里的$\left[f(x)\varphi(x)\right]_a^b = f(b)\varphi(b) - f(a)\varphi(a)$就是所谓的边界项。

当我们把积分范围扩展到整个实数轴$\mathbb{R}$时，其实是在取极限$\lim_{a \to -\infty, b \to +\infty}$，这时候只要这个边界项的极限等于0，就能得到你给出的等式：
$$∫_\mathbb{R} f'(x)\varphi(x)dx = - ∫_{\mathbb{R}}f(x)\varphi'(x)dx$$

那为什么这个边界项会消失？这和调和分析里我们处理的函数空间直接相关：

• 在分布论的框架下，$\varphi$通常是紧支光滑函数（属于紧支测试函数空间$\mathcal{D}(\mathbb{R})$）或者Schwartz空间$\mathcal{S}(\mathbb{R})$中的函数。紧支函数意味着$\varphi$在某个有限区间之外恒为0，当$a$和$b$取到足够小/大时，$\varphi(a)=0$、$\varphi(b)=0$，边界项自然为0。
• 就算$f$不是紧支的（比如缓增分布对应的函数），Schwartz函数$\varphi$及其各阶导数的衰减速度比任何多项式都快，而缓增函数的增长速度不会超过多项式，所以$\lim_{x \to \pm\infty} f(x)\varphi(x) = 0$，边界项依然会消失。

再看你提到的那个变形式子：$∫_{\mathbb{R}}f(x)\varphi(x)dx = ∫_\mathbb{R} f'(x)\varphi(x)dx + ∫_{\mathbb{R}}f(x)\varphi'(x)dx$，其实是把分部积分公式移项得到的——本质上是乘积法则$(f\varphi)' = f'\varphi + f\varphi'$两边积分的结果：
$$∫_{\mathbb{R}} (f\varphi)'dx = ∫_\mathbb{R} f'\varphi dx + ∫_\mathbb{R} f\varphi' dx$$
而左边的积分结果就是$\left[f(x)\varphi(x)\right]{-\infty}^{+\infty}$，也就是边界项。当这个边界项为0时，左边等于0，自然就推导出$∫f'\varphi = -∫f\varphi'$，对应分布导数的定义$T{f'}(\varphi) = -T_f(\varphi')$。

最后总结核心原因：

• 分部积分的本质是乘积法则的积分形式，把乘积的导数拆成两项积分的和；
• 整个推导成立的核心前提是：$f(x)\varphi(x)$在$x \to \pm\infty$时的极限差（边界项）为0；
• 在调和分析的场景下，测试函数的紧支性/快速衰减性保证了这个边界项必然消失，这才是等式成立的关键。

内容的提问来源于stack exchange，提问作者user1770201