利用算子半群理论看热传导方程初边值问题解.docVIP

利用算子半群理论看热传导方程初边值问题解的存在性 蔡园青 P在偏微分发展的历史上，人们为了求解各类方程发展了不同的方法，比如Fourier变换法，Laplace变换法等等。而作为数学发展的趋势，后出现的理论往往是从一个更高的层面上去看前面的理论。比如说代数中用模的理论去看待Jordan标准型，从而引伸出更加深刻的结果。在偏微分发展的理论中，算子半群理论就是在一定高度上去看待偏微分方程可解性的一个工具。 算子半群方法是求解偏微分方程中的发展方程（包括热传导方程、波动方程、抛物型方程、双曲型方程、Schrodinger方程等）。它可以用来求解线形与非线性发展方程的定解问题。接下来，本人将利用自己这学期所学的泛函分析的知识，利用算子半群理论来考虑热传导方程的初边值问题的求解。 一、算子半群的定义及原型 设是一个Banach空间。一族到它自身的有界线性算子称为一个强连续算子半群（简称强连续半群）是指： （1）； （2），； （3）在模下连续。 （2）称为半群条件，（3）称为连续条件。另外，联合（1）、（2）可以推出（3）等价于下面的条件： （4），当。 （4）成为在点处的连续条件。 算子半群在微分方程、概率论（马氏过程）、系统理论、逼近轮和量子理论是经常出现的。下面给出两个例子说明其原型。 来自常微分方程的例子。 设是一个实矩阵，方程组 在空间中解存在唯一。设，考察映射 。 那么由解的存在性，有定义。它们显然是线性算子，并且由解对初值的连续依赖性，他们是有界的。 容易验证满足强连续半群的条件。实际上，条件（1）为初值定义所蕴含，条件（2）由方程平移不变性和唯一性保证，条件（3）由解的连续性推出。 另一方面，在常微分理论中，我们可以将具体写出来： 。 由上式可以看出算子半群与矩阵的关系：可以通过的指数表达出来。 再看热传导方程。 在中考察热传导方程： 利用分离变量法，其解为 ， 其中，。 若，方程的解将会在时绝对收敛。而且关于或逐项求导所得级数均内闭一致收敛。 同样的考虑，固定，将方程的解看作从到的一个映射，记为，则。于是对，为到的一个线性映射，而且容易看出这是有界的。 又对 于是， 而显然又有。 又由积分的绝对收敛性及极限函数与赋值的可交换性，当时， 由此知算子族构成单参数连续半群。 在第一个例子中我们看到，可以通过的指数表达出来，那么对于第二个例子甚至是其他的例子，是否也有类似的关系。这个问题的回答依赖于无穷小生成元的定义及著名的Hille-Yosida- Philips定理。 二、无穷小生成元及Hille-Yosida- Philips定理 设是一个Banach空间。是上一个强连续算子半群，令 并按下列方式定义上算子： 算子成为上的无穷小生成元。 无穷小生成元有以下比较好的性质： （1）稠定性，线性性 （2）将映入到内，并且当时， 容易看出对于上面的第一个例子，矩阵是算子半群的无穷小生成元。在第二个例子中，这个问题变得不明显。实际上，对于一般的问题，Hille-Yosida-Philips定理给了一个很好的回答。 （Hille-Yosida-Philips）为了一个线性稠定闭算子成为一个强连续算子半群的无穷小生成元，必须且仅须： （1），使得 ； （2），使得当时， 我们利用Hille-Yosida-Philips定理再来考虑热传导方程。 记，令，，则可以扩张成一个的闭算子，记为，此时定义域为。由Garding不等式，存在常数，，使得， ， 其中是模。于是当时， ， 从而 ， 其中。所以 。 因此。于是由Hille-Yosida-Philips定理知是一个强连续算子半群的生成元。当时，初边值问题有解 事实上， 即为原方程的解。于是这就从算子半群的角度证明了热传导方程初边值问题解的存在性。 从这个例子可以看出算子半群方法在偏微分方程中的威力。实际上，这也只是泛函分析方法在偏微分方程中的应用的冰山一角。相信随着数学的发展，会由越来越多的泛函分析工具为偏微分方程注入更强大的活力。 参考文献： [1]泛函分析讲义（下册）.张恭庆 郭懋正.北京.北京大学出版社.2003 [2]现代偏微分方程导论.陈恕行.北京.科学出版社.2005 [3]线性偏微分方程引论.王元明 管平.江苏.东南大学出版社.2002