一維熱方程解的存在性

第28卷第3期(上)赤峰學(xué)院學(xué)報(自然科學(xué)版Vol. 28 No. 32012年3月Journal of Chifeng University(Natural Science Edition)Mar.2012維熱方程解的存在性李慧(忻州師范學(xué)院專(zhuān)科部,山西忻州034000摘要:文章利用算子半群理論證明了一維熱方程解的存在性和唯一性,此方法與以往解的存在性證明區別在于無(wú)須直接求解便可得到其解的穩定性結論.關(guān)鍵詞:壓縮C半群;熱方程;算子;存在唯一性中圖分類(lèi)號:01792文獻標識碼:A文章編號:1673-260X(2012)03-0015-02算子半群理論是泛函分析的一個(gè)內容豐富的D(A)=x∈Xlim10x存在,重要分支,該理論在許多實(shí)際問(wèn)題中,例如量子力定義2算子學(xué)中的 Schrodinger方程、中子遷移方程、人口發(fā)展Axelim T(t∈D(A)方程以及分布參數控制理論和工程技術(shù)中都得到稱(chēng)為強連續半群T(的無(wú)窮小生成元,簡(jiǎn)稱(chēng)為生成了廣泛的應用本文用算子半群知識考慮如下一維元熱方程初邊值問(wèn)題引理個(gè)(Hle- Yosida生成定理)線(xiàn)性算子=1業(yè),x)∈0+)×(01A生成壓縮C半群的充要條件為:(a)A為閉稠定算子;u(t,O)=u(t,1)=0,t∈(0,+∞)(b)p(A)2(0,+∞,且對于每個(gè)A0,有IR(A,Au(O,x)=u(x),x∈(0,1)解的存在性和唯一性≤首先介紹一些文中用到的算子半群的基本知引理2若A生成C0半群T(,則初值問(wèn)題識.u(=Au(t1準備知識lurO)的解存在且唯一,其解為u()=T(tx定義1設X是 Banach空間,從X到X上2主要結論及證明的有界線(xiàn)性算子單參數族Ttt≥0如果滿(mǎn)足:取狀態(tài)空間為X=L0,1)這樣初邊值問(wèn)題(1)可(1)T(0)=;轉化為抽象 Cauchy問(wèn)題(2)V,s≥0,T(+s=T(T(;u(=Au(t) D>0(3)Ⅴx∈x,limT(x=x,則稱(chēng)T()是強連續算子半u(O=udx)x∈(0,1)群.定義算子A如下特別地,若Vt≥0,有mT()≤1,則稱(chēng)為壓縮C0D中國煤化工半群.DA)={CNMHG)=6(1)=0定理1如上定義的算子A生成X上的壓縮C0半群證明因為C001cD(A),所以A是稠定的;Re入+2由泛函分析知識得L(,1)上的常微分算子Ad2所以當A0時(shí),舊Q、A)g=m≤Ra+2在D=C[O,1cD(A)上不是閉算子,但是A可以閉化,其閉包是H0所以上述定義的微分算g≤,則有子A是閉算子IRA,A川≤1下證p(A)2(0,+∞)由上面證明知算子A滿(mǎn)足Hile- Yosida定理設λ=α+β,令(A-Af=0即P"-A=0的條件,所以算子A生成壓縮C0半群T(.證畢.解二階微分方程得到:f(x=CeL≮←Cexx定理2對于每個(gè)ux)∈HO,1)∩HO,1初邊由f0=1)=0得到e+=0即e2Yx=1,所以2值問(wèn)題(1)存在唯一解VA=2ni,則Aa=-n2m2,(n∈N證明此定理的證明可由定理1和引理2直對于每個(gè)A,相應的OλL-A)f=0的解為:fx)接得出Cnem+Cem,再由f0)=f1)=0有Cn-Ca,所以fn(x)=Cem-em).于是(AAn=-n2mco,A)參考文獻:另外對Vg∈X,≠λ,方程(L-A)f=g有唯[1 ]Pazy A. Semigroup of linear operators and ap解;所以p(A)>0,+∞);plications to partial differential equations [M]最后證明對每個(gè)A>0,R(A,A川≤[2]Lawrence C. Evans. Parital Differential Equa對f∈DA),有x)=f(d則tions(M.American Mathematical Society, 1998〔3〕衛雪梅;傅初黎;非古典熱方程解的存在唯一性mn2nx)tx≤ xdxlIfll2=e"U蘭州大學(xué)學(xué)報,1998(2):16-20.(QAI-A)=A0-(r",=Al2+f2≥(A+2川m2;〔4〕姚明華熱傳導方程次解的性質(zhì)黑龍江科技對于Vg∈X,對于滿(mǎn)足A-A=g的唯一信息,2011(3):177-177Hfg2(g)≥Re(OAI-A):,≥(ReA+2川m2,則中國煤化工CNMHG16