查看“弱解”的源代码

{{expand|time=2010-04-15T10:14:40+00:00}}
[[数学]]中, [[微分方程]]的'''弱解'''或'''广义解'''是指对该方程中的微分可能不存在, 但是在某种精确定义的意义下满足该方程的解. 对于不同种类的微分方程, 弱解的定义性质也可能不同. 一类最重要的弱解基于[[广义函数]]的记号. 

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

==一个具体的例子==
作为弱解的说明, 考虑一阶[[波动方程]].

: <math>\frac{\partial u}{\partial t}+\frac{\partial u}{\partial x}=0 \quad \quad (1)</math>

(其中的记号请参阅[[偏导数]])其中 ''u'' = ''u''(''t'', ''x'') 是两个[[实数|实]]变量的函数. 假设 ''u'' 在[[欧式空间]]'''R'''<sup>2</sup>上[[连续可微]] , 在方程的两侧同时乘以一个具[[紧支集]]的[[光滑函数]] ''&phi;'' 并积分. 得到

:<math>\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u}{\partial t} (t, x) \varphi (t, x) \, \mathrm{d} t \mathrm{d} x +\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u}{\partial x} (t, x)\varphi(t,x) \, \mathrm{d}t \mathrm{d} x =0. </math>

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

:<math>-\int_{-\infty}^\infty \int_{-\infty}^\infty  u (t, x)  \frac{\partial \varphi}{\partial t} (t, x) \, \mathrm{d} t \mathrm{d} x -\int_{-\infty}^\infty \int_{-\infty}^\infty u (t, x)  \frac{\partial\varphi}{\partial x}  (t, x) \, \mathrm{d} t \mathrm{d} x =0.  \quad \quad (2)</math>

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

==更一般的情况==
当求解关于''u''的偏微分方程时, 可以利用所谓的''[[测试函数]]'' ''&phi;'', 使得方程中关于 ''u'' 的任意阶导数都转化为关于''&phi;''的分部积分. 用这样的方法, 可以得到原方程的不必可微的解.

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

:<math>P(x, \partial)u(x)=\sum a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x) \partial^{\alpha_1}\partial^{\alpha_2}\cdots \partial^{\alpha_n} u(x) </math>
其中 (''&alpha;''<sub>1</sub>, ''&alpha;''<sub>2</sub>, ..., ''&alpha;''<sub>''n''</sub>) 是某有限集'''N'''<sup>''n''</sup>上的[[多重指标|多维下标]]变量, 并且系数 <math>a_{\alpha_1, \alpha_2, \dots, \alpha_n}</math> 关于 ''x'' 足够光滑.


乘以[[紧]][[支集]]上的光滑测试函数''&phi;'', 并作分部积分后, 微分方程 ''P''(''x'', &part;)''u''(''x'') = 0 可以写作

:<math>\int_W u(x) Q(x, \partial) \varphi (x) \, \mathrm{d} x=0</math>


其中微分算子 ''Q''(''x'', &part;) 满足

:<math>Q(x, \partial)\varphi (x)=\sum (-1)^{| \alpha |} \partial^{\alpha_1} \partial^{\alpha_2} \cdots \partial^{\alpha_n} \left[a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x)  \varphi(x) \right].</math>

其中
:<math>(-1)^{| \alpha |} = (-1)^{\alpha_1+\alpha_2+\cdots+\alpha_n}</math> 


总而言之, 如果原(强)问题是找到一个开集 ''W'' 上的|'''&alpha;'|阶可微函数 ''u'', 使得
:<math>P(x, \partial)u(x) = 0 \mbox{ for all } x \in W</math>
(所谓的'''强解'''), 那么可积函数 ''u'' 被称作'''弱解'''如果
:<math>\int_W u(x) Q(x, \partial) \varphi (x)\, \mathrm{d} x = 0</math>
对每个支集''W''上的光滑函数 ''&phi;''均成立.

== 参考资料 ==

* L.C. Evans, ''Partial Differential Equations'', American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2

[[Category:微分方程]]
[[Category:广义函数]]

'''