1. 引言
自然界中,在生物进化、物质燃烧等过程中,在诸如死亡速率较快、物质对热量的吸收较强等因素的作用下,进化或燃烧过程可能将无法延续下去,也就是说在某个时刻这种生物将灭绝、燃烧将停止。这种现象在数学意义上,我们就说用来模拟这些扩散运动的模型的解在有限时刻熄灭。
本文研究如下p-Laplace方程
(1)
非负解的熄灭性质,其中是中的有界域,具有光滑边界均为正常数,是非负连续函数。
所谓熄灭,即存在一个有限时间,使得解在时非平凡,但对所有的,有。这时被称为熄灭时间。
关于解的熄灭问题,自从1974年Kalashnikov在文献 [1] 中研究了如下Cauchy问题
并提出了解的熄灭概念以后,许多的数学工作者对熄灭问题产生了兴趣,其中在文献 [2] - [4] 中Lair和Oxley等先后研究了如下形式的非线性扩散方程
(2)
证明了问题(2)的解熄灭的充分条件为(对某个)
对于如下的带吸收项的多孔介质方程
它的解的熄灭的充要条件是,也就是说在强吸收,或者快速扩散的情况下,问题的解才可能在有限时间熄灭。
同样的,对于扩散系数对未知函数具有依赖性的方程,如发展的p-Laplace方程
(3)
顾永耕在文献 [5] 中证明了仅在或者时,(3)的解在有限时间熄灭,对于问题(3)中的情况,Dibenedetto和袁洪君等论证了(3)的解在时熄灭,而在时具有正性,即解不会在有限时间熄灭。
从上述的例子中我们可以归纳出,这几类非线性扩散方程在扩散、吸收或者二者耦合作用达到一定强度的情形下解会在某个有限时间熄灭。那么对于具有源的问题,解的熄灭现象能发生的条件就变复杂了。由于源的存在必定阻碍着熄灭现象的发生,则源和扩散项间呈“竞争”关系,而这种“竞争”的结果造成了解的不同性态。下面以具有源的多孔介质方程为例
(4)
众所周知,在或者且的情况下,问题(4)的解可能在有限时间爆破。然而,最近李玉祥等在文献 [6] 中证明了在的情形下,仅当或者且时(这儿是算子的第一特征值),解有可能在有限时间熄灭。
反应项带有局部和非局部形式的抛物问题已经被广泛研究,但是绝大部分研究的都是解的爆破性质,如王明新等( [7] )研究下列问题
得到了解整体存在和爆破的条件。在文章 [8] 中,林支桂研究了某类具有非局部源和非局部边界条件的爆破模式。陈玉娟在( [9] )研究了如下问题
也得到解的整体存在性和爆破性质。
对于含有非局部源的解的熄灭,Fang等在 [10] 中研究了如下抛物型问题:
Han等在 [11] 中研究了
(5)
并且得到如果在时,如果,当初值充分小时,问题(5)的唯一解熄灭,如果,问题(5)的最大解是正的,即解不会熄灭,如果解是否熄灭不与第一特征值有关,而与有关,其中是如下椭圆问题
的唯一正解。
本文的目的在于得到(1)弱解熄灭的充分条件,包括熄灭时间的估计,解的衰减估计等。下面给出弱解的定义,为方便起见,定义。
定义1.1:称非负函数是问题(1)的在上的一个解,当且仅当,,且对任意的都有
(6)
以及
这里,检验函数。
同样可定义问题(1)的一个上(下解),我们只要在中,,在上,,以及对所有的,在(6)中用代替等号。
本文的主要结论如下:
定理1.1:如果,且初值适当小,则(1)的非负弱解在有限时刻熄灭,且如果则
(7)
如果,令,则
(8)
其中分别由(14),(17)定义,分别由(15),(18)定义。
2. 定理1.1的证明
定理的证明需用到下面引理,具体证明参阅文献[12] 。
引理2.1:设分别为(1)的下解和上解,则对几乎所有的。
定理1.1的证明,在(1)两边同时乘以,并在Ω上积分,得到
(9)
令,则有
即
则(9)可写成为
(10)
下面分两种情况讨论(1)和(2)或者讨论。
1) 在第一种情况下,对在(10)中取,因为,由不等式以及Sobolev嵌入定理,我们有
(11)
这儿是嵌入常数,仅依赖于和。由(10)和(11),我们可得到微分不等式
因为分别对用不等式,我们得到
也就是说
由于,故可以选择足够小,以满足
(12)
则
(13)
其中
(14)
将(13)积分,得到
这意味着
所以在有限时间
(15)
熄灭,且(7)成立。
如果,在(9)中令,利用不等式和的取值,我们将得到
如果满足
(16)
则有
其中
(17)
通过积分可得
则在有限时间
(18)
熄灭,且(8)成立。
接下来我们来证明第二种情况,即或者。设是下面问题
的唯一正解,那么易验证当时,如果,则是(1)的一个上解。
当或者时。由(1)可得
(19)
其中[]表示取整函数。,由此可得,以下可用与第一种情况完全相同的方法证明,由此本定理证明结束。
致谢
作者衷心感谢导师陈玉娟教授的悉心指导和热心鼓励,感谢江苏省大学生实践创新计划项目2012JSSPITP1493的支持,感谢审稿专家对稿件进行了认真的审阅并提出了宝贵的意见。
项目基金
江苏省大学生实践创新计划项目(2012JSSPITP1493),南通大学杏林学院大学生创新训练计划项目。