关于是否存在Borel measure使得C^∞(ℝ)函数的导数等于其关于该测度积分的技术问询
首先直接给结论:不存在这样的Borel测度(哪怕是符号测度),下面我给你解释原因,同时回应你提到的里斯表示定理思路:
一、用傅里叶变换导出矛盾(反证法)
假设存在这样的Borel测度$\mu$,使得对所有$f \in C^\infty(\mathbb{R})$都有$f'(a) = \int_{\mathbb{R}} f d\mu$。我们取光滑函数$f(x) = e^{ikx}$,此时左边$f'(a) = ik \cdot e^{ika}$,右边则是$\mu$的傅里叶变换$\hat{\mu}(k) = \int_{\mathbb{R}} e^{ikx} d\mu(x)$。
但测度的傅里叶变换有个核心性质:它是有界且一致连续的(因为$|\hat{\mu}(k)| \leq \int_{\mathbb{R}} |e^{ikx}| d|\mu| = |\mu|$,即$\mu$的总变差范数)。但左边的$ik e^{ika}$当$k \to \infty$时会趋向于无穷大,这和傅里叶变换的有界性直接矛盾,因此这样的测度不可能存在。
二、从泛函连续性角度分析
你提到的里斯表示定理思路方向是对的,但有个关键前提:里斯表示定理能对应测度的是连续线性泛函,而导数算子$L(f) = f'(a)$在$C\infty(\mathbb{R})$(甚至紧支集光滑函数空间$C_c\infty(\mathbb{R})$)上不是连续的(按常用的紧收敛拓扑或上确界拓扑)。
举个直观的例子:取一个紧支集光滑函数$\phi$,满足$\phi(x)=0$当$|x| \geq 1$,$\phi'(0)=1$,然后构造序列$f_n(x) = \phi(n(x - a))$。这个序列在任何紧集上都会一致收敛到0(当$n$足够大时,$f_n$的支集会收缩到$a$点附近,其他区域取值都是0),但$f_n'(a) = n \cdot \phi'(0) = n$,会趋向于无穷大。这说明$L(f_n)$不收敛到$L(0)=0$,即$L$不是连续泛函,而里斯表示定理只能处理连续泛函,因此没法用它得到对应的测度。
补充:导数算子的正确表示方式
虽然没法用Borel测度表示,但导数算子可以用**分布(distribution)**来表示——这是测度的广义推广。具体来说,$f'(a)$对应的分布就是狄拉克分布的导数$\delta_a'$,它作用在光滑函数上的定义为$\langle \delta_a', f \rangle = -f'(a)$(符号由分布导数的定义要求),这正是你想要的线性泛函,只是它不属于测度范畴,而是更广义的分布。
备注:内容来源于stack exchange,提问作者Samael Manasseh

