分段函数v(x)无弱导数的证明正确性验证

先明确我们要讨论的分段函数：
$$
\begin{align}
v(x)=\begin{cases}
1&~\text{ if }x\in (0,1)\
k&~\text{ if }x=0\
-1&~\text{ if }x\in (-1,0)\
0&~\text{ if } x\geq1 \text{ or }x\le-1
\end{cases}
\end{align}
$$

你的证明核心思路是对的，但中间有几处细节需要修正，我帮你理清楚：

• 首先，关于弱导数的逻辑：如果$v$存在弱导数$w$，因为$v$在$\mathbb{R}$上除了$x=0,\pm1$这些零测集外都是常数，所以$w$确实几乎处处为0——这部分结论没问题，但你开头写的经典分部积分式子$\int_{-1}^{{1}{v\phi'}=v\phi|_{-1}}{1}-\int_{-1}^{1}v'\phi$不太准确，因为$v$没有经典导数，不能直接用这个形式，应该直接从弱导数的定义出发：若$w$是$v$的弱导数，则对任意$\phi\in C^{\infty}0(\mathbb{R})$，满足
  $$
  \int{\mathbb{R}} v(x)\phi'(x)dx = -\int_{\mathbb{R}} w(x)\phi(x)dx
  $$
  而因为$\phi$是紧支集，$\phi$在$\pm1$处的值都是0，所以不用考虑边界项。

• 然后看你构造的测试函数$\phi_\alpha$：你说$\phi_\alpha(x)=0$当$x\in(-\infty,-1-\alpha)$，$\phi_\alpha(x)=1$当$x\in[-1,1/2]$，这里补充一下：这个$\phi_\alpha$应该是在$(1/2,\alpha)$上从1光滑递减到0，在$(-1-\alpha,-1)$上从0光滑递增到1，且支集包含在$(-1-\alpha,\alpha)$内，这样它才是$C^\infty_0(\mathbb{R})$的函数。

• 接下来的积分计算：你得到$\int_{-1}^{1}v\phi_\alpha'=-1$是对的，具体拆分计算更清晰：
  $$
  \int_{\mathbb{R}}v\phi_\alpha'dx = \int_{-1}^0 (-1)\phi_\alpha'(x)dx + \int_{0}^1 1\cdot\phi_\alpha'(x)dx
  $$
  因为$\phi_\alpha$在$[-1,1/2]$上恒为1，导数为0，所以第一个积分$\int_{-1}^0 (-1)\phi_\alpha'(x)dx = -[\phi_\alpha(0)-\phi_\alpha(-1)] = -(1-1)=0$；第二个积分只有在$(1/2,\alpha)$上$\phi_\alpha$有导数，所以$\int_{0}^1 1\cdot\phi_\alpha'(x)dx = \int_{1/2}^\alpha \phi_\alpha'(x)dx = \phi_\alpha(\alpha)-\phi_\alpha(1/2)=0-1=-1$，整体积分结果就是$-1$。

• 最后矛盾点：如果$w$是弱导数，那么根据定义这个积分应该等于$-\int_{\mathbb{R}}w\phi_\alpha dx$，但$w$几乎处处为0，所以这个积分值为0，可实际计算结果是$-1$，矛盾，因此$v$不存在弱导数——这个核心推导是正确的。

总结来说，你的证明思路是对的，只是开头的分部积分表述不符合弱导数的定义逻辑，修正后整个证明就严谨了。

备注：内容来源于stack exchange，提问作者user847197