弱导数 | Codeboy's Blog

形式陈述

设 $\Omega\subseteq\mathbb R^n$ 为开集， $u\in L^1_{\mathrm{loc}}(\Omega)$ ，即 $u$ 可测且在 $\Omega$ 的每个紧子集上 Lebesgue 可积；称光滑且支集为 $\Omega$ 内紧集的函数 $\varphi\in C_c^\infty(\Omega)$ 为测试函数。若存在 $v\in L^1_{\mathrm{loc}}(\Omega)$ ，使对每个测试函数 $\varphi$ 都有

\int_\Omega u\,\partial_i\varphi\,dx =-\int_\Omega v\,\varphi\,dx,

则称 $v$ 是 $u$ 关于 $x_i$ 的弱导数，记作 $\partial_i u=v$ 。弱导数在几乎处处相等的意义下唯一。对多重指标 $\alpha$ ， $|\alpha|$ 阶弱导数 $D^\alpha u=v$ 由

\int_\Omega u\,D^\alpha\varphi\,dx =(-1)^{|\alpha|}\int_\Omega v\,\varphi\,dx

定义。若 $u\in C^1(\Omega)$ ，分部积分表明经典偏导数就是弱导数——测试函数的紧支集使边界项消失——因此弱导数是经典导数的严格推广。

直觉

经典导数要求在每一点取差商极限，这对只在几乎处处意义下有定义的可积函数是苛求。弱导数的核心动作是“转嫁”：不直接微分粗糙的 $u$ ，而是借分部积分把导数推到无限光滑的测试函数身上，让 $\varphi$ 替 $u$ 承担全部微分。测试函数扮演探针的角色： $\int u\,\partial_i\varphi\,dx$ 记录 $u$ 在各个光滑加权窗口下的平均变化，若这些读数恰与某个可积函数 $v$ 的读数 $-\int v\varphi\,dx$ 全部吻合，就有理由把 $v$ 视为 $u$ 的导数——它是积分平均意义而非逐点意义上的导数。定义的两处设计都在防错：紧支集保证分部积分没有边界项，使定义只依赖 $\Omega$ 内部；“对所有测试函数成立”则提供了足够多的探针，逼出 $v$ 的几乎处处唯一性。代价是分辨率：零测集上的信息被彻底抹去，弱导数看不见任何单点行为。

例子与边界

正例： $u(x)=|x|$ 在原点不可微，却有弱导数。对任意测试函数 $\varphi$ ，在 $(-\infty,0]$ 与 $[0,\infty)$ 上分段分部积分（边界项因紧支集消失，原点处两段的边界值相互抵消），得

\int_{\mathbb R}|x|\,\varphi'(x)\,dx =-\int_0^\infty\varphi\,dx+\int_{-\infty}^0\varphi\,dx =-\int_{\mathbb R}\operatorname{sgn}(x)\,\varphi(x)\,dx,

故 $|x|$ 的弱导数是 $\operatorname{sgn}(x)$ ：一个带跳跃的可积函数完全够格充当弱导数，“角点”只损失一阶光滑度。

再降一阶就出界。Heaviside 阶跃函数 $H=\mathbf 1_{[0,\infty)}$ 满足 $\int_{\mathbb R}H\varphi'\,dx=\int_0^\infty\varphi'\,dx=-\varphi(0)$ ，于是候选的 $v$ 须对所有 $\varphi$ 满足 $\int v\varphi\,dx=\varphi(0)$ ；但取支集避开原点的 $\varphi$ 可知 $v$ 在 $\mathbb R\setminus\{0\}$ 上几乎处处为零，从而 $\int v\varphi\,dx=0$ ，与 $\varphi(0)\neq0$ 矛盾。所以 $H$ 没有函数型弱导数，它的导数是 Dirac 质量 $\delta_0$ ——那已属于分布理论的范围。同理，带跳跃的分段光滑函数不能拿分段经典导数冒充弱导数，其分布导数含有界面上的奇异测度；只有当函数跨界面连续时，分段求导才给出真正的弱导数。

进阶边界： Cantor 函数连续、单调，几乎处处有逐点导数 $0$ ，却没有函数型弱导数。若有弱导数 $v$ ，由它在 Cantor 集补集的每个构成区间上取常值可知 $v$ 在补集上几乎处处为零，而 Cantor 集零测，故 $v=0$ ；但弱导数为零的函数在区间上必几乎处处为常数，与它从 $0$ 单调升到 $1$ 矛盾。可见“几乎处处可微”并不保证弱导数存在。一维情形有干净的刻画： $u$ 在区间上有弱导数 $v\in L^1_{\mathrm{loc}}$ 当且仅当 $u$ 有局部绝对连续的代表元，此时 $u(x)=u(a)+\int_a^x v(t)\,dt$ ，微积分基本定理以积分形式失而复得。此外，几乎处处相等的函数共享同一批弱导数，零测集上的修改毫无影响。

推论与应用

弱导数最直接的归宿是 Sobolev 空间： $W^{k,p}(\Omega)$ 由直到 $k$ 阶弱导数都属于相应 Lebesgue 空间的函数组成，是“导数能量有限”的函数的自然家园。这类空间为偏微分方程的弱形式提供解空间：变分形式把方程乘以测试函数并分部积分，存在性问题化为 Hilbert 空间中的泛函分析（如 Lax–Milgram 定理），再由正则性理论把弱解升级为经典解。这里的弱导数是广义导数，不是对经典导数的低精度数值近似。

变分法中能量泛函的极小元一般先只满足弱导数意义下的 Euler–Lagrange 方程；有限元方法直接离散化弱形式，因而能处理带角点与材料界面的低正则问题。把“函数型导数”进一步放宽为测度乃至分布，就进入 Schwartz 分布理论——弱导数正是通往它的第一站。

参考资料

Lawrence C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010，Ch. 5, weak derivatives and Sobolev spaces。
Haim Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, 2011，Ch. 8, distributions and weak derivatives。

形式陈述 ​

反向链接

形式陈述