Sobolev 空间

经典导数要求逐点光滑，PDE 中的极限函数却常只保留积分意义上的变化率。弱导数把微分转移到测试函数上，使跳动、尖点和不具经典导数的函数仍可拥有可积的一阶结构。Sobolev 范数把函数与这些弱导数一起控制，完备性保证能量有界的逼近序列在空间内收敛。

$|x|\in W^{1,p}((-1,1))$ 对所有 $1\le p\le \mathrm{\infty }$ 成立。阶跃函数不属于 $W^{1,p}$，因为其导数含 Dirac 质量。Sobolev 函数不必有逐点连续代表：是否嵌入连续函数空间取决于维数、阶数和 $p$，典型阈值是 $kp>n$。$W_0^{1,p}$ 是 $C_c^{\mathrm{\infty }}(\mathrm{\Omega })$ 在 $W^{1,p}$ 中的闭包，并非简单地“边界值逐点为零”；边界不规则时需用迹理论解释。$p<1$ 时表达式不再给 Banach 范数，不属于本条标准范围。

在区间 $(0,1)$ 上比较 $u_1(x)=x^{3/4}$ 与 $u_2(x)=x^{1/2}$。前者的弱导数为 $(3/4)x^{-1/4}\in L^2(0,1)$，故 $u_1\in W^{1,2}(0,1)$；后者导数的平方与 $1/x$ 同阶，积分发散，所以 $u_2\notin W^{1,2}(0,1)$。两者都连续，说明 Sobolev 成员资格由弱导数的可积性决定，而不是仅由逐点光滑外观决定。

弱导数公理库弱导数Weak derivative通过分部积分恒等式相对于测试函数定义的广义导数。与L^p 空间公理库L^p 空间L-p space · Lebesgue space对 1≤p≤∞，按几乎处处相等取商并配以 Lp 范数的可测函数空间。共同定义 Sobolev 空间，成为偏微分方程弱解的自然舞台。Hölder 不等式公理库Hölder 不等式Hölder's inequality共轭指数下函数乘积的 L¹ 范数由各自的 Lᵖ 范数乘积控制。控制弱形式中的乘积，嵌入与紧性定理再把积分正则性转成连续性或强收敛。

变分形式公理库变分形式与弱问题Variational formulation · Weak formulation通过检验函数与分部积分把强微分方程改写为低正则性空间中的连续弱问题，并明确边界条件与适定性。从这些空间选择 trial/test spaces，有限元方法公理库有限元方法Finite element method · FEM · Finite element assembly用单元、局部函数空间和自由度构造 Galerkin 子空间，并组织局部积分、全局组装、边界处理、误差估计与线性求解。再构造有限维子空间；解实际拥有的 Sobolev 正则性决定最佳逼近项及可达到的收敛阶。

边界条件通常通过迹或 $W_0^{1,p}$ 闭包表达，而不是逐点书写，网格几何也不属于 Sobolev 空间的定义。