1. 引言
本文研究如下带有扩散项的非线性抛物方程组的初边值问题
(1.1)
其中,
为扩散项,可知,其为非线性的,
为边界充分光滑的有界
区域。常数
,
。
(1.1)可用来描述热传导现象、半导体中的电子与空穴流、液体在多孔介质中的运动规律等问题。当
时,(1.1)是经典的抛物型方程组,与之相关的抛物方程组整体解的存在和爆破已被众多学者进行了广泛的研究。当
时,(1.1)即为反应扩散耦合系统,与之相关的抛物方程组的研究也有一些成果。例如,在文献 [1] 中,Carlos等考虑了如下反应扩散耦合系统
其中,
为边界充分光滑的有界区域,常数
,
,
是利普希茨连续函数,且
,
是线性连续函数。采用Galerkin方法和Aubin紧性定理,研究了弱解的整体存在性、唯一性及指数衰减。
Rui等在文献 [2] 中考虑了有界域上带有更一般的非局部扩散项的非线性反应扩散耦合系统,其扩散项作用于两个线性形式
上,即
其中,
为边界充分光滑的有界区域,常数
,
。
,
是线性连续函数,即存在一个函数
,使得对所有的
,都有
成立。
,且
是整体利普希茨连续函数,同样采用Galerkin方法和Aubin紧性定理,研究了弱解的整体存在性、唯一性以及指数衰减。
事实上,在以往大多是文献中,均假设扩散项系数的有界的,即存在正常数
,使得
,此时问题总是非退化的。但在刻画扰动传播的有限性等问题的反应扩散方程组时总会出现退化情形,因此有必要研究具有退化性的反应扩散方程组。本文旨在研究一种扩散项
为
的情形,此时扩散项系数
可能
是零或无穷大。受文献 [3] 的启发,结合Sobolev嵌入定理、Gagliardo-Nirenberg不等式和伯努利不等式,利用Galerkin方法,建立了弱解的全局存在性、有界性及爆破的充分条件。
首先给出弱解的定义如下:
定义1
,
,对任意的
,都有等式
和
成立,且
则称
是问题(1.1)的一个弱解。
现给出本文主要结论如下:
定理1 假设
,
,
,当
时,
;当
时,
。
则问题(1.1)存在一个整体弱解
,满足
若
,则由初值函数
决定的整体弱解
是唯一的。
定理2 假设定理1的条件成立,进一步假设
,且
则有
其中,
为嵌入定理中不等式的系数。
定理3 假设
,
,
,
,则存在一个正常数
使得当
时,问题(1.1)存在一个局部弱解
,满足
注1 由
可推出当
时,
;当
时,
。
注2 因为
,故有
,所以集合
不是空集。
定理4 假设定理3的条件成立,且
则问题(1.1)满足初值函数的弱解不是全局的,即在有限时间
内爆破。其中,
。
全文将
和
分别简记为
和,
,记
,c表示不依赖于未知函数的正常数,在不同地方不一定相同。
2. 准备工作
本节主要给出结论证明过程中需要的三个引理。
引理1 [4] (Sobolev嵌入定理)对任意函数
,有
其中,当
时,
;当
时,
,常数
仅依赖于
。当
时,
中的函数的连续的,且
常数
仅依赖于
。
引理2 [4] (Gagliardo-Nirenberg不等式)对任意函数
,
且
,有如下不等式成立,
其中
且
1) 当
时,
;
2) 当
且
时,若
,则
;若
,则
;
3) 当
时,
,
4) 当
时,
,
常数
仅依赖于
。
引理3 [5] (伯努利不等式) 若
,
,则有
,当
或
时;
,当
时。
3. 当
时,解的全局性和有界性
证明定理1:利用Galerkin方法。取空间
的一组基
,且
是
算子的狄利克雷问题的特征函数:
(3.1)
将(3.1)两边同时与
做内积,可知特征值
,将
标准化,使得
。接下来,寻找(1.1)具有以下形式的解
其中
,且由以下常微分方程决定
(3.2)
(3.3)
且初值条件满足
,
在
中,
, (3.4)
,
在
中,
。 (3.5)
因此,由常微分方程中Picard迭代法,(3.2)~(3.5)在某一区间
中存在一个局部解
。下面证明,对任意的
,这样的解可以通过先验估计延拓到整个区间
上。
在(3.2)的两边同时乘以
,对i从1到m求和,得到
(3.6)
令
,则(3.6)左边第二项
换回原函数名,即
(3.7)
将(3.7)代入(3.6)整理可得
(3.8)
同理,在(3.3)的两边同时乘以
,可以得到
(3.9)
将(3.8)和(3.9)左右两边相加有
整理化简即
(3.10)
由于
,当
时,
;当
时,
,利用引理1和Young不等式,(3.10)
可化为
即
由此可以得到
(3.11)
(3.12)
由(3.12)和Poincaré不等式,
(3.13)
(3.14)
因此,由先验估计(3.11)~(3.14)可知,存在一个函数
和
的子序列,不妨仍记
,使得
弱*收敛于
中, (3.15)
弱*收敛于
中, (3.16)
弱收敛于
中。 (3.17)
一方面,由Aubin紧性定理,
紧嵌入到
中,根据(3.15)~(3.17)可以得到
在
中, (3.18)
于是,存在
的子序列,不妨仍记为
,使得
几乎处处收敛于
中
因为
是一个连续函数,所以
几乎处处收敛于
中
由
在
中的一致有界性和引理1,
在
上一致有界,则
弱收敛于
中
另一方面,由(3.18)可知
在
中
为了讨论方便,记
,由于a是连续的,可以得到
在
中
固定(3.2)中的j,由于
,且每一项均在
中弱收敛,同理可讨论序列
的收敛性。
于是令
,可以得到
根据基
的稠密性,
由(3.4),(3.16),(3.17)知,在
中,
,
,根据极限的唯一性,
。以类似的方式讨论有
。因此
是问题(1.1)的整体弱解。
唯一性的证明如下:
令
和
是(1.1)的两个满足初值条件的整体弱解,且
,
,则有
(3.19)
(3.20)
且
(3.21)
(3.22)
进一步的,由(3.19)~(3.22)有
接下来,取
可得
(3.23)
同理,
(3.24)
而(3.23)左边第二项和第三项利用Hölder不等式可化简为
同理,(3.24)左边第二项和第三项
于是,将(3.23)和(3.24)左右两边分别相加,由引理1可以得到
所以,根据Growall不等式,
证明定理2:将问题(1.1)中两个方程分别与
做内积可得
(3.25)
(3.26)
将(3.25)与(3.26)左右两边相加有
(3.27)
因为
,且由引理1和Young不等式得到
即
(3.28)
其中,
,
为嵌入定理中不等式的系数。由
引理3可知
(3.29)
(3.30)
将(3.29)与(3.30)代入(3.28)中,即
满足微分不等式
(3.31)
在(3.31)两边同时乘以
,则有
(3.32)
即
两边同时对t积分,可以得到
整理化简则有
由于
,故
,又因为
,所以
换回原函数名,即结论成立。
注3 由于
,故
,又
,所以
,当
时,由引理3,
(3.29)显然成立;当
时,代入(3.29)两边验证可知其也成立,当
时,(3.29)等号成立。(3.30)同理可得。
4. 当
时,解的局部存在性和爆破
证明定理3:依旧采用Galerkin方法,
,
与定理1中所述相同。同理,因为
,由常微分方程中Picard迭代法,(3.2)~(3.5)在某一区间
中存在一个局部解
。
在(3.2),(3.3)的两边分别同时乘以
,并对对i从1到m求和,得到
(4.1)
(4.2)
由于
,于是将(4.1),(4.2)左右两边分别相加可以得到
(4.3)
因为
,所以
,于是根据引理2可以得到
(4.4)
由于
,所以
又因为
,故有
其中,
是由
唯一确定的[0, 1]中的数,于是根据Young不等式,
(4.5)
其中
。同理
(4.6)
将(4.5),(4.6)代入(4.3)中则有
(4.7)
于是,微分不等式(4.7)的解
可由如下初值问题的解来表示,
(4.8)
如果
(4.9)
则有(4.8)的解是有限的,因此,在区间
内,可以得到
(4.10)
于是根据(3.10),(4.4),(4.10)有
(4.11)
且
(4.12)
(4.13)
由(4.11)~(4.13)和Aubin紧性定理,重复定理1的证明过程,可以得到
是问题(1.1)在区间
上的弱解。
下面证明问题(1.1)满足初值函数的弱解不是全局的,即在有限时间爆破。
证明定理4:将问题(1.1)中两个方程分别与
做内积可得
(4.14)
(4.15)
将(4.14)与(4.15)左右两边分别相加有
即
于是
两边关于t积分得到
(4.16)
令
则由(4.16)可以得到
(4.17)
由Hölder不等式有
(4.18)
因为
,
,
,将(4.18)代入(4.17),根据不等式
可以得到
即
其中,
。因此,当
时,
,
故结论成立。