W^{1,1}(\mathbb{R})空间中的函数是否满足微积分基本定理（FTC_1）的技术问询

算力阿峰

2026-4-21

好问题！这其实触及了Sobolev空间$W^{{1,1}(\mathbb{R})$的核心性质之一，答案是**肯定的——$W}{1,1}(\mathbb{R})$中的函数确实都满足微积分基本定理（FTC_1）**，下面我来详细解释：

首先明确$W^{1,1}(\mathbb{R})$的关键特征：
对于任意$f \in W^{{1,1}(\mathbb{R})$，我们可以在一个零测集上修改$f$的值，得到一个**绝对连续函数**（这是一维Sobolev嵌入的特殊结论，当$p=1$时，$W}{1,1}(\mathbb{R})$恰好嵌入到绝对连续函数空间）。
绝对连续函数与FTC_1的必然联系：
绝对连续函数的定义本身就保证了它满足经典的微积分基本定理：对于任意实数$a$和$x$，有
$$ f(x) - f(a) = \int_a^x f'(t)dt $$
这里的$f'$既是函数的经典导数（几乎处处存在），同时也是它的弱导数——因为弱导数的积分定义和绝对连续函数的导数积分性质完全契合。
为什么康托函数不是反例？
你提到的康托函数确实不属于$W^{{1,1}(\mathbb{R})$：它的经典导数几乎处处为0，但函数的增量$g(1)-g(0)=1$远不等于积分$\int_0}1 0 dt=0$，这直接说明它无法满足弱导数的定义（弱导数要求对任意测试函数$\varphi$，有$\int_{\mathbb{R}} f\varphi' dt = -\int_{\mathbb{R}} f'\varphi dt$，而康托函数找不到这样的$f' \in L^{1(\mathbb{R})$满足该等式），因此它不在$W}{1,1}$空间内。
关于你提到的Minkowski函数：
如果这个Minkowski函数属于$W^{{1,1}(\mathbb{R})$，那它必然是绝对连续的，因此会满足FTC_1。如果它只是几乎处处可微但不属于$W}{1,1}$，那它才可能成为FTC_1的反例——但这类函数本质上和康托函数类似，都不满足绝对连续性，因此不在Sobolev空间$W^{1,1}$中。