基于galerkin方法, 借助garlie-nirenberg不等式,初边值问题的结果.docxVIP

基于galerkin方法, 借助garlie-nirenberg不等式,初边值问题的结果 摘要：本文研究了一类带有扩散项的非线性抛物方程的初边值问题.利用Galerkin方法,借助Gagliardo-Nirenberg不等式、Sobolev嵌入定理和势井理论,获得了关于弱解整体存在和爆破的充分条件的结果,推广了扩散项系数为有界情形的结果. 1引言本文研究如下带有扩散项的非线性抛物方程的初边值问题其中,(1.1)可用来描述热传导现象、半导体中的电子与空穴流、流体在多孔介质中的运动规律等问题.当其中,?事实上,在以往大多数文献中,均假设扩散项系数是有界的,即存在正常数此时,扩散项系数(∫本文旨在研究另一种扩散项为(首先给出弱解的定义.定义1若成立,且则称函数现给出本文主要结论如下.若进一步的,有其中,若使得当0并且有和成立.其中定理4假设定理3的条件全部满足.进一步的假设且则问题(1.1)满足初值函数的弱解不是全局的,即在有限时间内爆破.定理5假设定理1的条件成立,对任意固定的全文将2准备工作首先给出结论证明过程中需要的两个引理.引理1其中且常数引理2其中,当常数下面引入能量泛函定义势井其中势井深度接下来,给出势井深度和势井的相关性质.证显然考虑对任意并且证(1)假设(2)反过来,假设综上下面的定理与引理5考虑以下非线性正特征值问题证一方面,另一方面,由(2.11)可以得到因此由以上可知令因此由于3当证明定理1利用Galerkin方法.取空间将(3.1)两边同时与接下来,寻找(1.1)具有以下形式的近似解其中未知函数且初值条件满足因此,由常微分方程中Picard迭代法,(3.3),(3.4)在某一区间[0在(3.3)的两边同时乘以换回原函数名,即将(3.6)代入(3.5)整理可得由此可以得到利用(3.9)和Poincar′因此,由先验估计(3.8)–(3.10)可知,存在一个函数一方面,由Aubin紧性定理,由另一方面,由(3.14)可知为了讨论方便,记固定(3.3)中的根据基由(3.4),(3.13),(3.14)知,在唯一性的证明如下.令接下来,将(3.15)与利用拉格朗日中值定理和H¨older不等式,(3.16)右边而左边第二项和第三项利用H¨older不等式可化简为因此,由引理2可得所以,根据Gronwall不等式,4当证明定理2再次利用Galerkin方法.则在区间[0下面证明假设(4或者这与(4这也意味着矛盾.因此,由(4因为同定理1的证明可以得到由(5.7)–(5.9)和Aubin紧性定理,重复定理1的证明过程,可得到下面证明(1.3).根据引理4,将(1.1)与因此,由(4.10)和(4.11)立即可以得到(1.3).唯一性的证明重复定理1的证明过程可以得到.5解的局部存在性和爆破证明定理3依旧采用Galerkin方法.其中,其中于是,微分不等式(5.4)的解如果则(5.5)的解由(3.7),(5.3),(5.7),立即得到且由(5.8)–(5.10)和Aubin紧性定理,重复定理1的证明过程,可以得到下满证明令在(3.2)的两边同时乘以任意函数固定这意味着对任意在(5.11)中令从(3.7)可以得到令其中,当因为定理3的证明完成.证明定理4假设定理4的结论不成立,令将(5.14)代入(1.4)中,则有这里,用到不等式其中6解对初值的连续依赖性证明定理5令同定理1中弱解的唯一性证明过程,将(6.2),(6.3)代入(6.1)中,且由于由于故同理将(6.5),(6.6)代入(6.4),整理化简可得其中在(6.7)的两边同时乘以其中注2假设定理2的条件成立,对任意固定的