弱解

数学中, 微分方程的弱解或广义解是指对该方程中的微分可能不存在, 但是在某种精确定义的意义下满足该方程的解. 对于不同种类的微分方程, 弱解的定义性质也可能不同. 一类最重要的弱解基于广义函数的记号.

由于大量用于描述现实世界中现象的微分方程并不具有足够的光滑的解, 从而求解此类方程只能使用弱形式. 即使在方程确实具有可微解的情况下, 首先证明弱解的存在性然后证明弱解足够光滑是方便的.

作为弱解的说明, 考虑一阶波动方程.

(其中的记号请参阅偏导数)其中 = (, ) 是两个实变量的函数. 假设 在欧式空间R2上连续可微 , 在方程的两侧同时乘以一个具紧支集的光滑函数 并积分. 得到

使用富比尼定理和分部积分, 该方程化为

以上的陈述表明:如果 连续可微, 方程 (1) 蕴含方程 (2). 弱解概念的关键在于存在函数 对任何 满足方程 (2), 而这样的 可能不可微, 从而不满足方程 (1). 该方程的一个简单的例子是 (, ) = | − | . (容易证明 满足方程 (2).) 方程 (2) 的解 被称作方程 (1) 的弱解.

当求解关于的偏微分方程时, 可以利用所谓的 , 使得方程中关于 的任意阶导数都转化为关于的分部积分. 用这样的方法, 可以得到原方程的不必可微的解.

上面的方法不只适用于波动方程. 事实上, 考虑在域R上的开集'W'内定义的线性微分算子

其中 (₁, ₂, ..., ) 是某有限集N上的多维下标变量, 并且系数 ${\displaystyle a_{{\mathrm{\alpha <!--\; \alpha \; -->}}_1,{\mathrm{\alpha <!--\; \alpha \; -->}}_2,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_n}}$ 足够光滑.

乘以紧支集上的光滑测试函数, 并作分部积分后, 微分方程 (, ∂)() = 0 可以写作

其中微分算子 (, ∂) 满足

其中

总而言之, 如果原(强)问题是找到一个开集 上的|α'|阶可微函数 , 使得

(所谓的强解), 那么可积函数 被称作弱解如果

对每个支集上的光滑函数 均成立.