纸折了一道痕，与纸被撕开，差在哪里？#

把纸的截面看成一条高度曲线。一道折痕像 $u(t)=|t-1/2|$：折点处没有唯一斜率，但左右都平滑，高度也接得上。撕开后的错位则像阶跃函数：高度突然跳变。

如果能量按斜率平方的积分计算，折痕左右斜率只有 $\pm1$，总能量有限。把一个固定高度的跳跃挤在宽度 $\varepsilon$ 内，斜率约为 $1/\varepsilon$，那一小段的斜率平方积分约为 $1/\varepsilon$，越挤越大。

这说明“某个点不能求经典导数”不是唯一判断标准。弱导数与 Sobolev 空间会允许某些折角，却排除普通 $H^1$ 中的这种跳跃。它们在识别的是整体可接受的变化，而不只是曲线看起来是否光滑。

先把跳跃磨成一段小斜坡#

把高度为 1 的跳跃，在宽度 $\varepsilon$ 内匀速连起来。这一段斜率为 $1/\varepsilon$，斜率平方积分为 $(1/\varepsilon)^2\varepsilon=1/\varepsilon$。

当你试图把斜坡压得越来越窄，函数本身可以在 $L^2$ 中接近阶跃，导数能量却越来越大。因此 $L^2$ 收敛没有保住 $H^1$ 预算。你看见的是同一组近似在两把尺子下命运不同。

折角 $|t-1/2|$ 没有这种爆炸，因为两边斜率只为 $\pm1$。孤立点上的导数值可以忽略，真正的障碍是有没有一个普通平方可积函数表示整体导数。

测试函数为什么能“问出”导数#

若你不知道 $u$ 是否可导，仍可以用光滑探针 $\phi$ 计算 $\int u\phi'$。对可导函数，分部积分告诉你这个数应等于 $-\int u'\phi$。

弱导数把这条关系当作定义：寻找一个 $v$，让所有探针都读到同样结果。只试一个探针当然不够；必须对全部紧支撑光滑测试函数成立，才能确定这个 $v$。

对阶跃函数，分段积分得到 $-\int u\phi'=\phi(1/2)$。这台“导数仪器”只读取探针在跳点的值，对应 Dirac 点质量，而不是普通 $L^2$ 函数。

边界条件为什么必须写进空间#

对一根绳子，允许两端自由移动与固定两端，是不同物理问题。数学上，同一个微分表达式加上不同定义域，就会成为不同算子。

$H_0^1$ 把零边界条件放进允许函数集合。此时常数漂移被排除，导数可以控制函数本身。若不固定边界，一根绳子整体往下平移不会改变斜率，纯导数能量便无法识别这个自由方向。

图范数让“函数与导数一起收敛”成为标准#

只要求 $u_n\to u$ 太弱；还要 $u_n'\to v$，再用测试恒等式确认 $v=u'$。$H^1$ 范数就是把这两份误差同时记账。

这解释了闭算子与图范数的联系：当函数与输出都收敛时，二者配对不会裂开；把配对误差合成一个范数后，定义域就能成为完备工作空间。

带你做：连续函数也可能没有足够低的斜率能量#

取 $u(t)=t^\alpha$，其中 $\alpha>0$。它在闭区间连续，函数本身平方可积。内部导数为 $\alpha t^{\alpha-1}$，导数平方积分在零点附近有限，当且仅当 $2\alpha-2>-1$，即 $\alpha>1/2$。

因此 $t^{3/4}\in H^1(0,1)$，$\sqrt t$ 却不在。它们在图上都没有跳跃，仅凭“看起来连续”分不出导数预算是否有限。

这个结论没有覆盖 $\alpha=0$ 的常数例子：在那里导数系数恰好为零，常数当然属于 $H^1$。按公式推条件时，要留意除法或忽略系数是否丢了特殊情形。

做完这题，再回想 Sobolev 空间为何同时检查函数与导数。它关注的不只是图形是否连着，还关注局部变化累积起来是否超出允许预算。

回头整理：定义、工具与练习#