概念

弱解与正则性

Lax-Milgram 定理保证椭圆方程弱解的存在唯一，Schauder 估计提升解的光滑性。

阅读路径

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

弱解与正则性偏微分方程

01定义

弱解把 PDE 改写为积分恒等式：不要求逐点满足，只要求对一切检验函数成立。Lax-Milgram 定理保证椭圆方程弱解存在唯一；正则性理论再证明弱解其实是古典光滑解——先弱后强是现代 PDE 的标准策略。

弱解：允许折点的「积分意义下」的解

$-\Delta u=f$ 乘检验函数分部积分得 $\int\nabla u\cdot\nabla\varphi=\int f\varphi$ ：只需 $u\in H^1$ ，能量自然有限。

强制 + 连续的双线性形式在希尔伯特空间中有唯一解——椭圆方程弱解的存在唯一性一步到位（巴拿赫不动点法的线性版）。

差商法/冻结系数法：弱解局部 $H^2$ ，再嵌入到 $C^\alpha$ （Schauder）；「弱解自动变古典解」是理论最美的回环。

a(u,\varphi)=F(\varphi),\ \forall\varphi\in H^1_0\Rightarrow\exists!\ u

希尔伯特第 19、20 问题（正则性与狄利克雷原理）引导 20 世纪上半叶研究；Lax-Milgram 1954 年定理定型；德·乔治与纳什独立证明抛物正则性（纳什 1957）。

有限元法的理论根基（Galerkin 逼近即弱解的有限维投影）、结构力学虚功原理的数学化、断裂力学中裂纹尖端奇性的刻画。

有限元：分段线性逼近 −u″ = sin x加密网格：连续的分段线性函数逐点逼近精确解 u = sin x

n 单元数4