广义函数的常微分方程

《广义函数的常微分方程》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、广义函数的常微分方程                        耿俊         （兰州大学数学系       数学与应用数学专业）摘要  本文考虑了一般形式的常微分方程（组），给出了m阶广函解存在的充要条件，并在 中给出了其求解方法。关键字  常微分方程（组）；广函解；存在性1引言近年来，人们对常微分方程及泛函微分方程在不同的广义函数空间中其解的存在性产生了极大的兴趣，在许多重要领域里要应用到广义函数理论，如理论物理和数学物理，偏微分方程理论，泛函分析等等。尤其常微分方程广义函数解的存在性，在量子力学及数学物理的其他领域有重要意义，然而，在这一

2、方面的研究还没有令人满意的发展，今年来，有不少文献进行了讨论，对单个方程（包括高阶方程）已有比较完备的情况（见[6]及其所引）。但对方程组（一般不能化为等价的高阶方程）则还知之甚少，本文就是致力于这方面的探讨。2若干符号和定义 a.  是定义在 上的m次可微函数全体   ( )= b.  supp =  称为 在 上的支集，如果  的支集是紧集，则称  有紧支集 c.       是  中有紧支集的函数全体    d.   D( ) 是      上赋以“归纳极限拓扑”的拓扑空间e.      是 D( )  上的连续线形泛函全体。         3 

3、中的常微分方程（组） 在常微分方程的学习中，我们已经知道了形如 ……+ 的n阶非齐线形常微分方程的初等解法。下面我们将在广义函数类的意义下来描述此类方程的全部解的集合，此时，  (i=0,1,…….n)是给定的无限可微函数，y(x)  和b(x) 是广义函数。首先，考虑最简单的方程                  （1） =0                                         (1)由广义函数的基本思想可知，广义函数是定义在某个函数空间上的线形泛函，这个函数空间9称为基本空间）中的元应该是充分光滑的。本文所考虑的基本空间为

4、 D( )  。故而，（1）式定义了    上的一个线形泛函：某一线形空间上的泛函，既是一种对应关系：使对该空间上的任一    （我们的例子中，该空间是   ，故  ∈   ）对应于一实数（有时也可能是复数，即复泛函）记作L( )   。线形泛函即适合L(     的泛函，所以（1）是一个线形泛函，即是说，一个函数可以生成一个泛函。这“泛函”（仍记作  ）我们说是对偶于    的。其次。原来施于 y 上的微分运算现在对偶的移到了   上，而上文已经提到，  中的元是充分光滑的，这就使得我们的运算能够合理而方便的进行下去。上世纪苏联数学家Sobolev 提

5、出广义解时的基本思想就是这样的。下面我们将遵循这一基本思想来给出（1）式的解。从而可知，（1）式即为                       （   = =0     (2) 是任意的基本函数，泛函 y 是定义在可表示为其他基本函数的导数的基本函数集   上的。而我们必须把泛函y  的定义扩展到整个基本空间  D( )  中去。为此，我们有下面的引理。引理1：基本函数 可以表示为某一基本函数的导数的充要条件是                                                  (3)证明：（必要性）设 为一基本函数，则一

6、题意有 =      则有                      =   = =0（充分性）若（3）式成立，则需证明     是基本函数，。不妨设  =    因   是基本函数，故   也和  一样是无限可微的，而且由条件（3）可知，   在有限区域之外为零，所以，其为基本函数。引理2：若   是某一个具有性质    =1  的基本函数，则任意的基本函数    可以表示为                    =  +                             (4)其中 满足条件（3）证明：结论是自明的。+对（4）式。两边同时用泛函

7、y作用，便有            (y, )=(y, )  +(y, )                                 (5)由于  可视为某一基本函数    的导数，故由（2）式有          (y,  =0因而（5）式等价于           (y,                                        (6)    从而可以看出：如果所求泛函 y 对基本函数    给定了数值，那么它对任意的函数  也是唯一确定的饿。例如，假定(y,       是一个任意固定的数，那么等式（6）给出了      

8、           (y, )=  = 即表示广义函数 y 是一个常数   。