数学中,微分方程的弱解或广义解是指对该方程中的微分可能不存在,但是在某种精确定义的意义下满足该方程的解。
描述
对于不同种类的微分方程,弱解的定义性质也可能不同。一类最重要的弱解基于广义函数的记号。
由于大量用于描述现实世界中现象的微分方程并不具有足够的光滑的解,从而求解此类方程只能使用弱形式。即使在方程确实具有可微解的情况下,首先证明弱解的存在性然后证明弱解足够光滑是方便的。
例子
作为弱解的说明,考虑一阶波动方程。
(其中的记号请参阅偏导数)其中是两个实变量的函数。假设u在欧式空间R上连续可微,在方程的两侧同时乘以一个具紧支集的光滑函数φ并积分。得到:
以上的陈述表明:如果u连续可微,方程(1)蕴含方程(2)。弱解概念的关键在于存在函数u对任何φ满足方程(2),而这样的u可能不可微,从而不满足方程(1)。该方程的一个简单的例子是。(容易证明u满足方程 (2).)
方程 (2) 的解被称作方程 (1) 的弱解。