概念

Sobolev空间

分布意义下的弱微分定义 Sobolev 空间，嵌入定理联系光滑性与可积性，是 PDE 理论的核心空间。

阅读路径

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

Sobolev空间泛函分析

01定义

在分布意义下定义弱微分，即可构造 Sobolev 空间

W^{k,p}

：PDE 弱解的天然住所。索博列夫嵌入定理量化「可积性换光滑性」，紧嵌入提供变分法的收敛燃料——现代分析的中枢空间。

索博列夫嵌入：导数的可积性兑换为连续性

$D^\alpha u$ 在分布意义下属于 $L^p$ 即 $u\in W^{k,p}$ ：与经典定义在光滑函数上一致，但容纳折点与间断。

$W^{k,p}\hookrightarrow L^q$ （ $q\leq p^*$ 索博列夫指数）、 $\hookrightarrow C^{k-1-n/p}$ ；有界域上嵌入紧——极小化序列有强收敛子列。

$H^1=W^{1,2}$ 是能量空间； $H^1_0$ （零迹）承载狄利克雷边值——PDE 变分法的标准配置。

W^{k,p}(\Omega)=\{u\in L^p:D^\alpha u\in L^p,\ |\alpha|\leq k\}

索博列夫 1936-1938 年奠基；嵌入定理经盖尔范德、科恩、尼伦伯格完善；与有限元理论合流后成为计算数学的标准语。

有限元的逼近理论（Céa 引理）、几何测度论的极小曲面、非线性 PDE 的变分求解、神经网络的函数空间分析。

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

k 斜率1.20