弱解（偏微分方程）

偏微分方程的经典解要求处处可微，这对许多物理问题太苛刻（界面、奇异源、非光滑数据）。弱解把方程乘以测试函数、分部积分，把可微性要求转嫁到测试函数上，从而在 Sobolev 空间中建立存在唯一性——这是现代 PDE 理论的标准起点。

Dirichlet 问题的弱形式

设 $f\in L^2(\Omega)$，$\Omega\subset\mathbb R^n$ 有界 Lipschitz。称 $u\in H^1_0(\Omega)$ 为 $-\Delta u=f$（$u|_{\partial\Omega}=0$）的弱解，若

$$\int_\Omega \nabla u\cdot\nabla v\,dx=\int_\Omega fv\,dx,\qquad \forall\,v\in H^1_0(\Omega)$$

若 $u\in C^2(\overline\Omega)$ 且上述成立，则分部积分得 $-\Delta u=f$（用迹定理处理边界项）——弱解与经典解相容。

存在唯一性（Lax–Milgram）

• 双线性形式 $a(u,v)=\int_\Omega\nabla u\cdot\nabla v\,dx$：连续性 $|a(u,v)|\le\|u\|_{H^1}\|v\|_{H^1}$ 显然
• 强制性来自Poincaré不等式：$a(u,u)=\|\nabla u\|_{L^2}^2\ge c\|u\|_{H^1}^2$
• 线性泛函 $v\mapsto\int fv$ 有界（Hölder，见Hölder不等式）；由 Lax–Milgram 定理（Riesz表示定理的推广）存在唯一 $u\in H^1_0$

性质

• 能量最小：弱解正是泛函 $\mathcal E(u)=\frac12\int|\nabla u|^2-\int fu$ 在 $H^1_0$ 上的唯一极小元（变分法直接方法，见Rellich–Kondrachov紧嵌入）
• 正则性：$f\in L^2$、$\Omega$ 光滑时 $u\in H^2(\Omega)$（椭圆正则性）；若 $f$ 更光滑且 $kp>n$，Sobolev嵌入定理把弱解提升为经典解
• 线性问题统一框架：热方程、波动方程的半离散/椭圆部分、特征值问题都先取弱形式

后续

弱解理论进一步发展为：非线性问题（单调算子、变分不等式）、分数阶 Sobolev 空间上的非局部问题、以及 $H^1$ 之上的分布意义解。它把泛函分析与偏微分方程连成一体，也是有限元方法的数学基础。