弱解
数学名词
数学中, 微分方程的弱解或广义解是指对该方程中的微分可能不存在,但是在某种精确定义的意义下满足该方程的解。
描述
数学中,微分方程的弱解或广义解是指对该方程中的微分可能不存在,但是在某种精确定义的意义下满足该方程的解。对于不同种类的微分方程,弱解的定义性质也可能不同。 一类最重要的弱解基于广义函数的记号。
由于大量用于描述现实世界中现象的微分方程并不具有足够的光滑的解,从而求解此类方程只能使用弱形式。即使在方程确实具有可微解的情况下,首先证明弱解的存在性然后证明弱解足够光滑是方便的。
例子
作为弱解的说明,考虑一阶波动方程
(其中的记号请参阅偏导数)其中u=u(t,x) 是两个变量的函数。假设u在欧式空间R上连续可微,在方程的两侧同时乘以一个具紧支集的光滑函数φ并积分。得到:
使用富比尼定理和分部积分, 该方程化为
以上的陈述表明:如果u连续可微,方程 (1) 蕴含方程 (2)。弱解概念的关键在于存在函数u对任何φ满足方程 (2),而这样的u可能不可微,从而不满足方程 (1)。该方程的一个简单的例子是u(t,x) = |t−x| 。(容易证明u满足方程 (2).) 方程 (2) 的解u被称作方程 (1) 的弱解。
一般情况
当求解关于u的偏微分方程时,可以利用所谓的测试函数φ,使得方程中关于u的任意阶导数都转化为关于φ的分部积分,用这样的方法, 可以得到原方程的不必可微的解。
上面的方法不只适用于波动方程,事实上,考虑在域R上的开集'W'内定义的线性微分算子
其中 (α1,α2, ...,αn) 是某有限集N上的多维下标变量, 并且系数关于x足够光滑。
乘以支集上的光滑测试函数φ,并作分部积分后,微分方程P(x, ∂)u(x) = 0 可以写作
其中微分算子Q(x, ∂) 满足
其中
总而言之, 如果原(强)问题是找到一个开集W上的|α'|阶可微函数u, 使得
(所谓的强解),那么可积函数u被称作弱解。如果
对每个支集W上的光滑函数φ均成立。
参考资料
最新修订时间:2022-08-25 14:16
目录
概述
描述
例子
参考资料