概念

Sobolev空间

弱导数定义的 Sobolev 空间是 PDE 的自然工作环境，嵌入定理给出光滑性提升，迹定理处理边界值。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

Sobolev空间偏微分方程

01定义

Sobolev 空间

W^{k,p}

是「导数也可积」的函数空间：弱导数把微分推广到不光滑函数，完备的范数结构使变分法与 PDE 有安身之所。嵌入定理量化「可积性换取光滑性」，迹定理处理边界取值。

Sobolev 阶梯：弱导数阶数越高，空间越精细

$\int u\varphi'=-\int v\varphi$ （一切检验函数）则 $v$ 是 $u$ 的弱导数： $|x|$ 弱导数为 $\mathrm{sgn}\,x$ ，折点不再是障碍。

Sobolev 嵌入：导数可积性换取连续性 $W^{k,p}\hookrightarrow C^m$ （ $kp>n$ 时）；紧嵌入是变分法存在性证明的燃料。

边界取值 $u|_{\partial\Omega}$ 对 $H^1$ 函数良定（损失半阶光滑）——狄利克雷边值条件的严格化。

\|u\|_{W^{k,p}}=\Bigl(\sum_{|\alpha|\leq k}\|D^\alpha u\|_p^p\Bigr)^{1/p}

索博列夫 1930 年代为 PDE 引入弱导数与空间 $W^{k,p}$ ；与施瓦茨分布理论合流后成为现代 PDE 的标准语言。

有限元法的函数空间（单元即分段多项式的 $H^1$ 函数）、弹性力学的能量空间、图像恢复的高阶正则化、机器学习神经切线核分析。

弱导数：尖点函数的阶梯导数帽形函数在 x=0 不可导，但存在弱导数（阶梯函数），仍属于 H¹ = W^{1,2}

k 斜率1.20