为什么 PDE 要研究弱解？ —— 历史、动机与例子

微积分课上讲“微分方程”，有个很少有人点破的默认前提：未知函数足够光滑，方程里的每个导数都能逐点算出来。可偏微分方程（Partial Differential Equation，PDE）一进入高维，先出问题的往往就是这个前提。拿 Poisson 方程      来说，表面上至少得让      有二阶导数。那疑问就很自然了：假如      在某一点带个折角，或者流体速度在某个界面两侧跳了一下，方程是不是就没解了？

20 世纪的偏微分方程理论没有追求把所有解都证明得更光滑，而是退了一步思考：会不会是我们一开始就把解的门槛设得太高了？

这一退，诞生了现代 PDE 的基本语言。变分法、Sobolev 空间、守恒律、Navier–Stokes 方程、有限元方法（Finite Element Method，FEM），多少都建立在同一个思路上：逐点求导靠不住了，就把微分挪到一个光滑的测试函数身上，让方程以积分恒等式的形式继续成立。

 

“弱解”之前的存在性危机

弱解不是在某一天突然定义出来的。它更像 19 世纪末到 20 世纪上半叶几条线索慢慢交汇的结果，其中最早的一条来自 Dirichlet 原理。

考虑边界已经给定的 Laplace 方程     。与其硬解这个二阶 PDE，不如去找让 Dirichlet 能量

最小的函数。形式上，如果      是极小点，对任意边界上为零的扰动     ，把      代入能量、对      求导，就得到

假如      足够光滑，再分部积分一次，

就回到了     。

这条路看着优雅，可 19 世纪的人很快就撞上一个基础问题：能量有下确界，并不等于真有一个函数把这个下确界取到。

Dirichlet 原理在 19 世纪上半叶已被广泛使用，黎曼（Bernhard Riemann）就把它当作重要工具。魏尔斯特拉斯（Karl Weierstrass）随后指出，变分论证里不能把“存在一个越来越小的函数序列”直接当成“存在极小函数”。希尔伯特（David Hilbert）在 1900 年前后重新推动这类存在性问题，发展出直接法的思路：不先去解 Euler–Lagrange 方程，而是从极小化序列出发，证明它在某种合适意义下收敛，再证明极限仍然落在允许的函数集 合里。

 

麻烦于是换了一个方向：得找一个函数空间，够大，装得下极限；又有足够的结构，谈得了导数、边界值和能量。 顺着这个问题往下走，就是 Sobolev 空间。

一个经典解不存在的方程

下面用一个一维例子说明，“必须逐点二阶可微”这个要求有时没必要。

在区间      上考虑

其中      是集中在原点的单位点源，可以想象成所有外力都压在一个点上。

带这个边界条件的解很好写：    。它在      处有一个尖角，左半边斜率是     ，右半边斜率是     ，     都不存在，经典意义下的      更无从谈起。

要是规定“解”必须落在      里，这个问题无解。 但把方程乘上一个光滑、紧支撑的测试函数      再积分：

把左侧的一阶导数挪到测试函数上，

对      来说，左侧完全有意义：     除原点外只是两个常数，单个点不影响积分。直接算也能验证：

这里用到测试函数在端点附近为零。 原先在      处没法逐点解释的二阶方程，积分之后成了一个完全合法的等式。

弱解最朴素的动机就在这里：不必强迫未知函数具备方程表面上写出的所有经典导数，只要保住方程经过积分之后真正需要的那部分结构。

 

导数可以不逐点存在，但仍然可以被定义

上面的例子背后还有一个更普遍的想法。

如果函数      足够光滑，普通分部积分告诉我们

对所有      都成立。

现在把关系反过来：哪怕      没有经典偏导数，只要存在某个函数     ，使得

就把      叫作      的弱导数，记作     。

视角在这里换了一次。经典导数盯的是某个点附近的差商

弱导数不再逐点审问     ，改成让      和全体光滑测试函数做积分配对。测试函数本身足够光滑，导数放在它身上没有困难。

1930 年代，谢尔盖·索伯列夫（Sergei Sobolev）把广义导数和函数空间系统地接到了一起。今天最常见的例子是

其中      都按弱导数理解。

这个空间比      大得多，仍然带一个很好用的范数：

不少 PDE 的能量控制的恰好就是这种量。到这里，“物理上能量有限”和“数学上属于合适的函数空间”算是相当自然地接上了。

顺带澄清一个常见误解：Sobolev 的广义导数和后来 Schwartz 的分布不在完全同一个层级上。1940 年代末，洛朗·施瓦茨（Laurent Schwartz）建立起系统的分布理论，任何分布都能求导；Sobolev 空间在此之上还要求这些弱导数有一定的      可积性。做现代 PDE 时，可以按问题需要在这些层级之间来回切换。

从 Poisson 方程看弱形式“弱”在哪里

回到更普通的边值问题：

坚持经典解的话，通常要求      至少有像样的二阶导数，还得解释边界上的逐点取值。弱形式则从一个较光滑的假想解出发，把方程乘上测试函数     ：

用 Green 公式，并令测试函数在边界上为零，

于是问题可以重新定义为：寻找     ，使得

这里其实变了两处。一是阶数：原方程里是      的二阶导数，弱形式只剩一阶。二是成立方式：方程不再要求每个点都成立，改成对所有测试函数      成立。

逐点条件换成积分条件，看着是放宽了，可“对所有      成立”留下的信息其实很多。一旦      事后被证明足够光滑，这个积分恒等式又能推回原来的 PDE。所以弱形式谈不上另起炉灶，它更像经典方程在低正则性环境里的延伸。

对很多椭圆型问题，存在性证明也因此简洁了不少。仍以 Poisson 方程为例，把左侧看成双线性型

右侧看成线性泛函

问题就变成     ，对所有      成立。

在合适条件下，Poincaré 不等式保证      能控制      中的范数，再配上 Lax–Milgram 定理，弱解的存在唯一性就得到了。

现代 PDE 的一个常用套路在这里很清晰：先在能量空间里找一个不那么光滑、但稳定存在的解，再去看它会不会有更高光滑性。后一半工作就是正则性理论。

 

二阶椭圆方程的弱形式通常把未知函数所需的导数阶数从二阶降到一阶；额外正则性再决定弱解能否恢复为经典解。

有些 PDE 甚至不允许解一直光滑

假如弱解只是为了应付粗糙数据，它还当不上 PDE 的基础语言。更硬的动机来自非线性方程：有些系统哪怕从很光滑的初值出发，也会自己长出奇性或间断。

最典型的例子之一是一维守恒律

也就是无黏 Burgers 方程。

在经典解还光滑的那段时间里，它和

没有区别。问题是特征线的传播速度等于      本身：后面的特征线比前面的快，就会一点点挤上去，直到相交。经典导数可能在有限时间内爆掉，物理上看到的却是一个激波面。这个时候还坚持要经典解，方程就恰好在要紧的现象出现时失效。

守恒律本身更自然的说法，不是      和      各自存在，而是某个区域内“总量的变化等于穿过边界的通量”。把方程乘上测试函数并积分，得到弱形式

即使      带着跳跃，这个式子照样可以成立。

 

为什么数值计算也离不开弱解

对做数值 PDE 的人来说，弱形式还有个很关键的身份：它是有限元离散的基础。

仍以 Poisson 方程为例。取有限维空间

令

要求

逐个取     ，就得到线性系统

也就是     。

 

弱形式的地位从这里看得出来：一头连着存在性理论、能量估计和 Sobolev 空间，另一头连着 Galerkin 方法和有限元矩阵。连续 PDE 与离散线性代数之间最常走的那座桥，就是弱形式。

“弱解”不是结论，而是一个起点

回到最初的问题：为什么 PDE 要研究弱解？

因为微分方程要描述的对象未必足够光滑。点载荷会造出折角，守恒律会造出激波，非线性流体里可能出现暂时排除不掉的奇性，极小化序列的极限也不保证还带着经典导数。把“每一点都能算出所有导数”写进解的定义，代价就是很多物理上自然、数学上稳定的对象从一开始就被排除在外。

弱解放松逐点微分的要求，同时尽量保住原方程经过积分、守恒和能量表达出来的那些关系。

更有意思的部分在下一步。有了弱解以后，可以接着问：它是不是其实更光滑？是否唯一？间断应该满足什么熵条件？奇性集中在哪里？数值离散能不能逼近这个弱解？ 经典解与弱解因此上是互相竞争的两套理论，常见的分析路线是：

要是最后能证明      足够光滑，弱解就变回经典解；证明不了，弱形式也至少保证方程在光滑性失效之后，仍然有一套能分析、能逼近、能计算的语言可用。

参考文献

1. L. C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010.