本页目录

现代 PDE II · Sobolev 空间

对标：Evans PDE §5.1–5.7 ｜前置：pde2-01、泛函 I–II、实变 III 把"拥有 \(k\) 阶弱导数"的函数组织成完备空间——Sobolev 空间：变分法与弱解理论的主场。核心问题只有一个："导数可积"能兑换多少"函数本身的好性质"？答案是嵌入定理——现代分析最常引用的定理家族。

1. 定义与基本性质

定义 \(W^{k,p}(\Omega) = \{u \in L^p : D^\alpha u \in L^p,\ |\alpha| \leq k\}\)（弱导数，pde2-01），配范数

\[ \|u\|_{W^{k,p}} = \Big(\sum_{|\alpha|\leq k}\|D^\alpha u\|_{L^p}^p\Big)^{1/p} \]

定理（完备性） \(W^{k,p}\) 是 Banach 空间；\(p = 2\) 时记 \(H^k = W^{k,2}\)，是 Hilbert 空间。 【证明】 Cauchy 列的各阶弱导数各自在 \(L^p\) 中 Cauchy（范数控制）⇒ 各有极限（实变 III 完备性）；弱导数定义中的积分等式对极限过关（Hölder 控制）⇒ 极限函数的弱导数恰是导数们的极限。\(\blacksquare\)（"弱导数与极限交换"这份从容正是弱定义的回报——经典导数做不到。）

\(H = W\) 定理（Meyers–Serrin）【引用】：光滑函数在 \(W^{k,p}\) 中稠密——"Sobolev 函数 = 光滑函数按 Sobolev 范数的完备化"（实变 III 的"完备化"叙事再现）。边界零值空间 \(W_0^{k,p}\)：\(C_c^\infty\) 的闭包——"迹为零"的正式定义（Dirichlet 边界条件的容身处）。

2. Sobolev 嵌入定理（本页顶点）

问题：\(u \in W^{1,p}(\mathbb{R}^n)\)——一阶导数 \(L^p\) 可积——\(u\) 本身能好到什么程度？答案由 \(p\) 与 \(n\) 的赛跑决定：

定理（Gagliardo–Nirenberg–Sobolev，\(p < n\)）

\[ \|u\|_{L^{p^*}} \leq C\|Du\|_{L^p}, \qquad p^* = \frac{np}{n - p} \]

即 \(W^{1,p} \hookrightarrow L^{p^*}\)：可积性升级（\(p^* > p\)）。 【骨架】（\(p = 1\) 核心情形）：沿每个坐标轴 \(|u(x)| \leq \int|\partial_i u|\,dx_i\)（微积分基本定理弱版），\(n\) 个不等式相乘开 \(\frac{1}{n-1}\) 次方、逐变量用广义 Hölder 积分——纯粹的"多轴 Fubini + Hölder 体操"；一般 \(p\) 对 \(|u|^\gamma\) 套用并选 \(\gamma\) 配平指数。\(\blacksquare\) （指数 \(p^*\) 不用背：量纲分析——对 \(u(\lambda x)\) 两边算标度，唯一能让不等式标度不变的指数就是 \(p^*\)。本科建模页的量纲法在纯分析里执勤。）

定理（Morrey，\(p > n\)） \(W^{1,p} \hookrightarrow C^{0,\alpha}\)，\(\alpha = 1 - \frac np\)：导数可积性够高 ⇒ 函数连续（Hölder 连续）。 【骨架】 球平均比较：\(|u(x) - u(y)|\) 由 \(|Du|\) 在双球上的积分平均控制（极坐标 + Hölder），\(p > n\) 恰使奇性积分收敛。\(\blacksquare\)

分水岭读法（记这张图不记指数）：

\[ p < n:\ \text{升可积性};\qquad p = n:\ \text{临界（BMO/指数可积）};\qquad p > n:\ \text{变连续} \]

一维（\(n = 1\)）时 \(W^{1,1}\) 已嵌入连续函数——绝对连续（实变 II 的 N–L 条件）原来是 Sobolev 嵌入的最低维特例；维数越高，"导数可积"越不值钱——维数灾难的分析学形态。

定理（Rellich–Kondrachov 紧嵌入）【引用】 有界域上 \(W^{1,p} \hookrightarrow L^q\)（\(q < p^*\)）是紧算子——有界序列有 \(L^q\) 收敛子列。变分法的氧气：极小化序列凭它抽出收敛子列（泛函 I"无穷维闭球不紧"的困境，被"多一阶导数的控制"局部破解——紧性是花导数买来的）。

3. 迹与 Poincaré 不等式

迹定理【引用】：有界 \(C^1\) 域上存在有界线性算子 \(T: W^{1,p}(\Omega) \to L^p(\partial\Omega)\) 延拓"取边界值"——\(L^p\) 函数本无逐点边界值（边界零测！），一阶弱导数恰好买回"在边界上有意义"；\(W_0^{1,p} = \ker T\)（§1 的定义与直觉对齐）。

定理（Poincaré 不等式） 有界域、\(u \in W_0^{1,p}\)：

\[ \|u\|_{L^p} \leq C(\Omega)\,\|Du\|_{L^p} \]

【证明（矩形域情形）】 一维基本定理 \(u(x) = \int_{a}^{x_1}\partial_1 u\)（边界为零起步），Hölder 给 \(|u|^p \leq C\int|\partial_1 u|^p dx_1\)，积掉其余变量。\(\blacksquare\) 地位："钉住边界后，函数大小由导数完全控制"——下一页椭圆方程强制性（coercivity）的直接来源；特征值语言里 \(C(\Omega)^{-2}\) 联于 Laplace 首特征值（本科 pde-01 的 \(\lambda_1\)）——最优常数是个谱问题。

4. 练习与要点

例 1（归属判断） \(u = |x|^{-a}\)（单位球，\(\mathbb{R}^n\)）：\(u \in W^{1,p} \iff a < \frac{n-p}{p}\)（极坐标积分两条：\(u\) 与 \(|Du| \sim |x|^{-a-1}\) 各自 \(L^p\)）——奇点强度与维数、可积指数的三方讨价，Sobolev 直觉的标准砂纸。\(n = 3, p = 2\)：\(a < \frac12\)——点奇性 \(|x|^{-1/3} \in H^1\)：\(H^1\) 函数可以无界（\(p = 2 < n = 3\) 在分水岭左侧，只升可积不保连续——嵌入定理的反面教材）。

例 2（量纲法定指数） 验证 GNS 指数：\(u_\lambda(x) = u(\lambda x)\)，\(\|u_\lambda\|_{L^q} = \lambda^{-n/q}\|u\|_{L^q}\)，\(\|Du_\lambda\|_{L^p} = \lambda^{1 - n/p}\|Du\|_{L^p}\)——两边标度相等 \(\iff q = p^*\)。不变量分析替代记忆（全站第 N 次）。

例 3（Poincaré 失效面） 去掉"钉边界"（常数函数：\(Du = 0\) 而 \(u \neq 0\)）或"有界域"（长条上拉伸的鼓包）都使不等式失效——每个假设各挡一个反例：定理条件的"验尸报告"式理解法。\(\blacksquare\)

下一页：地基完工，开始盖楼——二阶椭圆方程的弱解理论：Lax–Milgram、能量估计与正则性，现代 PDE 三页收官。