1. 引言
近几年,疾病在异质环境中的传播引起人们的广泛关注,一些学者研究的反应–扩散SIS传染病模型给了我们很好的启示,如参考文献 [1] [2] [3] ,但是对于生物种群所受的被动影响,此类模型却无法很好的体现出来。因此我们为了研究生物种群所受的被动影响,这个我们用对流项来进行模拟。在文献 [4] 中,Lou和Cui研究是对流项为非负常数q的模型。他们关注了基本再生数
与1的大小关系对EE (Endemic-Equilibrium)和DFE (Disease-Free Equilibrium)的稳定性影响,同时他们也研究了基本再生数
随
和
时的渐进行为。
在上面的研究基础上,Cui等人在文献 [5] 中研究了具有群体作用机制的模型:
(1)
并且
(2)
其中
和
分别表示在给定区间
位置在x点,时间为t时易感人群和感染人群的密度。正常数
和
分别表示在x点易感人群和感染人群的扩散系数;
和
是
上正的Hölder连续函数,分别表示在x点的传播和恢复速率,N表示在
时人口总数。当
时,
表示上游,
表示下游。作者讨论了方程(1)中当基本再生数
时,EE的存在性,研究了在扩散系数和对流系数变化时EE的渐进行为。
在文献 [6] 中Zhang和Cui研究了下面的方程
(3)
其中
作为非线项表示易感人群受logistic的影响。
以及
都是正的Hölder函数。且
表示传播率,
表示恢复率。作者研究该模型平衡系统正解的存在有界性,以及当两类扩散系数
和
变化时,正解的渐近行为。
2. 主要结果及证明
受到以上作者们研究的启发,我们研究了如下具有扩散及对流SIS传染病模型:
(4)
其中
是
一有界区域并且边界
是光滑的。
和
分别表示位于x处,时间为t时刻时的易感染人群和感染人群的密度。
和
都大于零,分别表示易感染人群和感染人群的迁移速率。
为梯度算子,
表示非均匀资源的密度,
表示沿资源迁移的定向运动。
和
表示位于x处疾病的传播率和恢复率,并且都是正的Hölder函数。非线性项
表示易感染人群受到logistic增长的影响,并且
和b都是正的Hölder函数。n为单位外法向量。
方程(4)的平衡系统是下面的椭圆方程
(5)
对于方程(4),参考文献 [7] [8] 方法,我们定义如下的基本再生数
:
(6)
其中
满足下面的方程
(7)
引理1:
与
同号,其中
是下面问题的主特征值:
(8)
其中
是特征值
所对应的特征函数。
证明:根据基本再生数
的定义,则存在正的函数
,使得
(9)
(8)式等号两边同乘
,再令
,则有
(10)
(9)式两端同乘
,(10)式两端同乘
然后在
上分部积分,则有
即
(11)
即
(12)
由(12)式减去(11)式,整理可得
(13)
所以
与
同号。
引理证毕。
引理2 (Young’s不等式)对任意的
以及
,对于
,
,有
(14)
其中
。
定理1 (全局有界性)对于方程(4)的解
,对于任意的
,存在正常数
,使得
其中
依赖于初值
。
取充分大的
,当
时,存在正常数
使得
其中
依赖于初值
。
证明:对于方程(4)中的第一个式子我们利用Young’s不等式,则有
令
考虑下面的方程
(15)
其中u是方程(15)的唯一解,并且S是方程(15)的一个下解,
是方程(15)的一个上解,进一步有抛物方程的比较原理可得
显然
也是方程(15)的一个上解,因此
故对任意的
有
由上可知存在一个充分大的时间
,使得
令
,并且令
由方程(4)及分部积分法可得
根据上式的推导结果,我们有
因此
故对所有的
,有
并且
令
,则
我们利用文献( [9] ,引理2.1),可知当T足够大时,存在一个正常数
,使得
由此我们完成了有界性的证明。
对于足够大的
,则有
故
,进一步可知
。对于下面的问题
由极值原理可知,存在
,使得
,考虑以下方程
则
,对于椭圆问题
有唯一一个正解
,并且
是方程(4)的一个平衡解,且是唯一的无病平衡点(DFE)。
定理证毕。
定理2:当
时,
是线性稳定的;当
时,
是线性不稳定的。
证明:对方程(4)在
附近进行线性化,令
。则有
进一步假设
,其中
为复数线性系统的解。我们可以得到
(16)
当
,若
是方程(16)的任意一解,并且
或
不恒为零,则
。我们假设
,则1)
或2)
。对于(1),则
是下面问题的一特征对:
(17)
因此
是特征值问题(17)的一个特征对,所以
是实数并且
。由上可知当
时,
是线性稳定的。
对于
时,对于下面问题
有一个解
,故
是方程(16)的解,并且
,所以当
时,
不是线性稳定的。
定理证毕。
定理3:当
时,存在常数
,对于方程(4)任意的解
,且
,则对任意
一致地有
。
证明:
表示Banach空间,
表示上确界范数。定义
,则
是一个强序空间,令
并且
显然
和
是
的相对开集和相对闭集,并且
是凸集。根据抛物方程的正则性理论,对于任意的
,系统(4)都产生一个半流,即
其中
是与初值有关的方程(4)的唯一解。并且
是关于
正的不变集,即对任意的
,有
。根据定理1,可知
在
中是点耗散的。由标准的抛物理论和嵌入定理可知对任意的
,
是紧的。令
表示轨道
的
极限集,定义
。由于
故对任意的
有
。当
时,由抛物的极值原理可知,对任意的
,则有
。并且对于下面方程的解
对任意的
,当
,我们有
。因此
是关于
正的不变集。
下面我们证明,存在
使得
根据定理1和
即
。由主特征值
的连续性,存在一个足够小的常数
使得
,其中
是下面特征值问题的主特征值:
(18)
表示
所对应的正的特征函数。我们利用反证法进行证明,假设存在
使得
。其中
是满足
的唯一解。因此对于
,存在
使得对所有的
,都有
(19)
根据抛物方程的强极值原理,存在正常数
使得当
时有
。根据(19)式,以及
的选择。我们可以计算出
是下面方程的一个上解:
(20)
易知
是方程(20)。根据抛物方程的比较原理,在
上,当
时,一致地有
这与定理1矛盾,因此,存在
使得
由上面的结论,可知
在X中是孤立集,并且
,其中
是集合
关于
的稳定集。根据( [10] ,定理3),存在
使得任意的
有
由抛物方程的比较原理可知,
存在
和
使得任意的
,及任意的
,有
取
,则一致存在性成立。并且由文献( [11] ,定理3.7,注记3.10)可知
在
中有一个全局紧的吸引子。因此根据文献( [12] ,定理1.3.11)知
有一个平衡点
,由抛物方程的极值原理可知
是方程(4)的一个正的稳态解。
定理证毕。
由前面的定理,我们可以得到下面的结论
定理4:当
时,方程(4)存在一个全局正吸引子。
推论1:当
时,方程(4)至少存在一个正的平衡解。
3. 结论
本文主要研究扩散及对流情况下系统正平衡解的存在性和全局渐进稳定性的情况,其中为模拟生物种群受到的被动影响加入的对流项是文章重要创新点。就此模型我们还可以对基本再生数
以及系统正平衡解EE随着相应扩散及对流系数的变化所反映出的动力学行为进行深入探讨、研究。
基金项目
浙江师范大学2021年校自主设计科研课题(第一期) (ZZ323205020521005075)。
NOTES
*通讯作者。