《利用算子半群理论看热传导方程初边值问题解的存在性》由会员分享，可在线阅读，更多相关《利用算子半群理论看热传导方程初边值问题解的存在性（5页珍藏版）》请在金锄头文库上搜索。
1、利用算子半群理论看热传导方程初边值问题解的存在性利用算子半群理论看热传导方程初边值问题解的存在性蔡园青 PB06001093 在偏微分发展的历史上，人们为了求解各类方程发展了不同的方法，比如 Fourier 变换法，Laplace 变换法等等。 而作为数学发展的趋势，后出现的理论往往是从一个更高的层面上去看前面的理论。比如说代数中用模的理论去看待 Jordan 标准型，从而引伸出更加深刻的结果。在偏微分发展的理论中，算子半群理论就是在一定高度上去看待偏微分 方程可解性的一个工具。 算子半群方法是求解偏微分方程中的发展方程（包括热传导方程、波动方程、抛物型方程、双曲型方程、 Schrodinge
2、r 方程等） 。它可以用来求解线形与非线性发展方程的定解问题。接下来，本人将利用自己这学期所学的泛 函分析的知识，利用算子半群理论来考虑热传导方程的初边值问题的求解。 一、算子半群的定义及原型设是一个 Banach 空间。一族到它自身的有界线性算子称为一个强连续算子半群（简称强XX1( )|T ttR连续半群）是指：（1）；(0)TI（2），；( ) ( )()T s T tT st,0s t（3）在模下连续。,( )xtT t x XX（2）称为半群条件， （3）称为连续条件。另外，联合（1） 、 （2）可以推出（3）等价于下面的条件：（4），当。,( )0xT tt X0t （4）成为在点
3、处的连续条件。0t 算子半群在微分方程、概率论（马氏过程） 、系统理论、逼近轮和量子理论是经常出现的。下面给出两个例子说 明其原型。 来自常微分方程的例子。 设是一个实矩阵，方程组An n0( )( ),(0)ndx tAx tdt xxR 在空间中解存在唯一。设，考察映射1(0,),)nCR0t 。0( ):( )T txx t那么由解的存在性，有定义。它们显然是线性算子，并且由解对初值的连续依赖性，他们是有界的。( )|0T tt 容易验证满足强连续半群的条件。实际上，条件（1）为初值定义所蕴含，条件（2）由方程平移不( )|0T tt 变性和唯一性保证，条件（3）由解的连续性推出。另一方
4、面，在常微分理论中，我们可以将具体写出来：( )|0T tt 。0( )!nn tAnt AT ten由上式可以看出算子半群与矩阵的关系：可以通过的指数表达出来。( )|0T tt A( )T tA再看热传导方程。在中考察热传导方程：0, 0,),0,0( ,0)( , )0,0 (0, )( ),0txxuuxtu tu tt uxf xx 利用分离变量法，其解为，21( , )sinn t n nu t xa enx 其中，。 02( )sinnaf xnxdx若，方程的解将会在时绝对收敛。而且关于 或逐项求导所得级数均内闭一致收敛。2( )0, f xL0t tx同样的考虑，固定 ，将方
5、程的解看作从到的一个映射，记为，则。于是对t( )f x( , )u t x( )S t( , )( ) ( )u t xS t f x，为到的一个线性映射，而且容易看出这是有界的。0,)t( )S t20, L20, L又对2 12,0,),( )0, t tf xL 222 1212() 2112 11( ) ( ) ( )()sinsin() ( )n tn tntt nn nnS t S tf xa eenxa enxS ttf x 于是，2112( ) ( )()S t S tS tt而显然又有。(0)SI又由积分的绝对收敛性及极限函数与赋值的可交换性，当时，0t 2012( ) (
6、 )( )( )sin)sin( )n tnS t f xf xf xnxdx enxf x 012( )sin)sin( )0nf xnxdxnxf x由此知算子族构成单参数连续半群。( )S t在第一个例子中我们看到，可以通过的指数表达出来，那么对于第二个例子甚至是其他的例子，是否也( )T tA有类似的关系。这个问题的回答依赖于无穷小生成元的定义及著名的 Hille-Yosida- Philips 定理。 二、无穷小生成元及 Hille-Yosida- Philips 定理设是一个 Banach 空间。是上一个强连续算子半群，令X1( )|T ttRX1( ( ),0tAtT tIt 并
7、按下列方式定义上算子：X *0( )|,lim,ttD AxxAxx XX*:A xx算子成为上的无穷小生成元。A1( )|T ttR无穷小生成元有以下比较好的性质：（1）稠定性，线性性（2）将映入到内，并且当时，( )T t( )D A( )D A( )xD A( )( )( )dT t xAT t xT t Axdt容易看出对于上面的第一个例子，矩阵是算子半群的无穷小生成元。在第二个例子中，这个问题A( )|0T tt 变得不明显。实际上，对于一般的问题，Hille-Yosida-Philips 定理给了一个很好的回答。（Hille-Yosida-Philips）为了一个线性稠定闭算子成为
8、一个强连续算子半群的无穷小生成元，必A1( )|T ttR须且仅须：（1），使得00；0(,)( )A （2），使得当时，0M0(),1,2.()n nMAn我们利用 Hille-Yosida-Philips 定理再来考虑热传导方程。记，令，则可以扩张成一个的闭算子，记为，此时定22Ax2(0, )LX0( )(0, )D ACAXA义域为。由 Garding 不等式，存在常数，使得21 0(0, )(0, )HH0000，21 0(0, )(0, )uHH ，22 001Re(, )Au uuu其中是模。于是当时，11(0, )H0，2 01Re() , )A u uu从而，2222()()
9、2()Re() , )()A uuA u uA u其中。所以 0。222()()uA u因此。于是由 Hille-Yosida-Philips 定理知是一个强连续算子半群的生成元。当0(,)( )A A1( )|T ttR时，初边值问题有解21 0( )(0, )(0, )f xHH( , )( ( ) )( )u t xT t fx事实上，22( , )( ( ) )( )( )du x td T t fxuAT t fAudtdtx即为原方程的解。于是这就从算子半群的角度证明了热传导方程初边值问题解的存在性。( , )( ( ) )( )u t xT t fx从这个例子可以看出算子半群方法在偏微分方程中的威力。实际上，这也只是泛函分析方法在偏微分方程中的应 用的冰山一角。相信随着数学的发展，会由越来越多的泛函分析工具为偏微分方程注入更强大的活力。参考文献：参考文献： 1泛函分析讲义（下册）.张恭庆 郭懋正.北京.北京大学出版社.2003 2现代偏微分方程导论.陈恕行.北京.科学出版社.2005 3线性偏微分方程引论.王元明 管平.江苏.东南大学出版社.2002
