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

利用算子半群理论看热传导方程初边值问题解的存在性蔡园青PB06001093在偏微分发展的历史上，人们为了求解各类方程发展了不同的方法，比如Fourier变换法，Laplace变换法等等。而作为数学发展的趋势，后出现的理论往往是从一个更高的层面上去看前面的理论。比如说代数中用模的理论去看待Jordan标准型，从而引伸出更加深刻的结果。在偏微分发展的理论中，算子半群理论就是在一定高度上去看待偏微分方程可解性的一个工具。算子半群方法是求解偏微分方程中的发展方程（包括热传导方程、波动方程、抛物型方程、双曲型方程、Schrodinger方程等）。它可以用来求解线形与非线性发展方程的定解问题。接下来，本人将利用自己这学期所学的泛函分析的知识，利用算子半群理论来考虑热传导方程的初边值问题的求解。一、算子半群的定义及原型设X是一个Banach空间。一族X到它自身的有界线性算子1()|TttR称为一个强连续算子半群（简称强连续半群）是指：（1）(0)TI；（2）()()()TsTtTst，,0st；（3）,()xtTtxX在X模下连续。（2）称为半群条件，（3）称为连续条件。另外，联合（1）、（2）可以推出（3）等价于下面的条件：（4）,()0xTttX，当0t。（4）成为在0t点处的连续条件。算子半群在微分方程、概率论（马氏过程）、系统理论、逼近轮和量子理论是经常出现的。下面给出两个例子说明其原型。来自常微分方程的例子。设A是一个nn实矩阵，方程组0()(),(0)ndxtAxtdtxxR在空间1([0,),)nCR中解存在唯一。设0t，考察映射0():()Ttxxt。那么由解的存在性，()|0Ttt有定义。它们显然是线性算子，并且由解对初值的连续依赖性，他们是有界的。容易验证()|0Ttt满足强连续半群的条件。实际上，条件（1）为初值定义所蕴含，条件（2）由方程平移不变性和唯一性保证，条件（3）由解的连续性推出。另一方面，在常微分理论中，我们可以将()|0Ttt具体写出来：0()!nntAntATten。由上式可以看出算子半群()|0Ttt与矩阵A的关系：()Tt可以通过A的指数表达出来。再看热传导方程。在[0,][0,)中考察热传导方程：,0,0(,0)(,)0,0(0,)(),0txxuuxtututtuxfxx利用分离变量法，其解为21(,)sinntnnutxaenx，其中，02()sinnafxnxdx。若2()[0,]fxL，方程的解将会在0t时绝对收敛。而且关于t或x逐项求导所得级数均内闭一致收敛。同样的考虑，固定t，将方程的解看作从()fx到(,)utx的一个映射，记为()St，则(,)()()utxStfx。于是对[0,)t，()St为2[0,]L到2[0,]L的一个线性映射，而且容易看出这是有界的。又对212,[0,),()[0,]ttfxL2221212()211211()()()()sinsin()()ntntnttnnnnStStfxaeenxaenxSttfx于是，2112()()()StStStt而显然又有(0)SI。又由积分的绝对收敛性及极限函数与赋值的可交换性，当0t时，2012()()()(()sin)sin()ntnStfxfxfxnxdxenxfx012(()sin)sin()0nfxnxdxnxfx由此知算子族()St构成单参数连续半群。在第一个例子中我们看到，()Tt可以通过A的指数表达出来，那么对于第二个例子甚至是其他的例子，是否也有类似的关系。这个问题的回答依赖于无穷小生成元的定义及著名的Hille-Yosida-Philips定理。二、无穷小生成元及Hille-Yosida-Philips定理设X是一个Banach空间。1()|TttR是X上一个强连续算子半群，令1(()),0tAtTtIt并按下列方式定义X上算子：**0()|,lim,ttDAxxAxxXX*:Axx算子A成为1()|TttR上的无穷小生成元。无穷小生成元有以下比较好的性质：（1）稠定性，线性性（2）()Tt将()DA映入到()DA内，并且当()xDA时，()()()dTtxATtxTtAxdt容易看出对于上面的第一个例子，矩阵A是算子半群()|0Ttt的无穷小生成元。在第二个例子中，这个问题变得不明显。实际上，对于一般的问题，Hille-Yosida-Philips定理给了一个很好的回答。（Hille-Yosida-Philips）为了一个线性稠定闭算子A成为一个强连续算子半群1()|TttR的无穷小生成元，必须且仅须：（1）00，使得0(,)()A；（2）0M，使得当0时，(),1,2...()nnMAn我们利用Hille-Yosida-Philips定理再来考虑热传导方程。记22Ax，令2([0,])LX，0()((0,))DAC，则A可以扩张成一个X的闭算子，记为A，此时定义域为210((0,))((0,))HH。由Garding不等式，存在常数00，00，使得210((0,))((0,))uHH，22001Re(,)Auuuu，其中1是1((0,))H模。于是当0时，201Re((),)Auuu，从而222'2'''()()2()Re((),)()AuuAuuAu，其中'0。所以22'2()()uAu。因此0(,)()A。于是由Hille-Yosida-Philips定理知A是一个强连续算子半群1()|TttR的生成元。当210()((0,))((0,))fxHH时，初边值问题有解(,)(())()utxTtfx事实上，22(,)(())()()duxtdTtfxuATtfAudtdtx即(,)(())()utxTtfx为原方程的解。于是这就从算子半群的角度证明了热传导方程初边值问题解的存在性。从这个例子可以看出算子半群方法在偏微分方程中的威力。实际上，这也只是泛函分析方法在偏微分方程中的应用的冰山一角。相信随着数学的发展，会由越来越多的泛函分析工具为偏微分方程注入更强大的活力。参考文献：[1]泛函分析讲义（下册）.张恭庆郭懋正.北京.北京大学出版社.2003[2]现代偏微分方程导论.陈恕行.北京.科学出版社.2005[3]线性偏微分方程引论.王元明管平.江苏.东南大学出版社.2002