1. 引言
自Nowak和Bangham提出病毒感染模型以来,随着科学的进步,病毒感染模型的机理逐渐被熟悉,模型不断被丰富和完善,为医学发展和疾病预防和控制提供重要的参考价值。许多文献中所提出病毒感染模型均在理想状态和确定参数来研究系统的稳定性分析 [1] - [8] 。在文献 [3] 中,Bonhoeffer等提出的病毒感染模型:
然而在一些生态数学模型中,无论环境波动如何,确定性系统都有一定的局限性,对于数值拟合并非理想 [9] 。自然界任何事物不可能处在绝对稳定的状态,必然受到环境的波动影响,因此一些学者将随机波动因素考虑在传染病及病毒模型中 [9] - [16] ,本文根据 [3] 中的模型,考虑饱和感染发生率,未感染细胞的logistic增长,及未感染细胞的死亡率和免疫发生率的波动影响,提出如下病毒感染模型
(1.1)
其中,x是未感染细胞,y是感染细胞,s是宿主细胞以常数生产,r为宿主细胞最大生产率,K为体内细胞最大承载量,d为自然死亡率,k为饱和发生率,a为免疫细胞作用下的感染细胞死亡率,μ为感染细
胞自然死亡率。
为高斯白噪音强度,
为标准的维纳过程在概率空间
上。
本文令病毒感染细胞基本在生数
。接下来将讨论模型(1)的灭绝性和平稳分布性质。
2. 随机微分方程的基本理论 [17]
考虑如下n维随机微分方程
对于
,和任意初值
。
是在全概率空间
上的标准维纳过程。在
上,定义在
全体的非负函数
在X处均有连续的二阶微分和在t处
有连续的一阶微分。上述方程的微分算子L被定义为:
若L是
的微分算子,则有:
,
其中
。若
,应用伊藤公式,有:
.
3. 模型(1)全局正解的存在唯一性和感染细胞的存在与灭绝性
定理1 对于任意的初值
,系统(2)有唯一正解
且以概率1存在。
证明类似于毛学荣等人 [18] ,故省略。
定理2 若
时,若
是模型(1)带有任意初值
的解,则有:
即感染细胞灭绝。
证明 (i)由于模型(2)的第一个方程为:
(1)
由(1)可知
。
将上式不等式两边同时在区间
上积分,因此有:
(2)
(2)式两边同时除以t,有:
(3)
由定理1可知:
,
;令
,则
是鞅。有
,根据鞅的强大数定律 [19] ,则有
。
将(3)式两边同时取极限
,则有:
(ii) 定义函数
(4)
将上式两边同时积分在区间
,有:
其中令
,则
是鞅。有
,根据鞅的强大数定律 [19] ,则有
,故有如下:
(5)
当(5)式两边取极限
,又由定理1可知,初值
有界,故
,因此
。
即当
,病毒感染细胞灭绝。
4. 模型(1.1)的平稳分布
在这部分,我们引入一个有用的引理。在h维欧氏空间中,
是齐次马尔科夫程且满足如下方程
则扩散矩阵定义为:
因此,有如下引理:
引理1 [17] [20] 如果存在一个具有光滑边界
的有界开域
,具有如下性质:
1) 在域U及其邻域中,存在常数
满足
,
,
,
;
2) 若
,对于任一个紧集
,存在一个路径从
出发到达集合U,其平均时间
是有限的,即
。
若上述条件成立,则马尔科夫过程
有唯一的平稳分布
。且若
关于测度π为可积函数,则:
引理2 当
时,随机系统(2)即为确定系统,其平衡点为
定理3 若
时,以下条件成立:
1)
,
2)
带有初值
随机微分方程(2),存在一个平稳分布
,其遍历性为:
.
证明 (i) 由模型(1)可知,其扩散矩阵为:
令
,有如下
因此引理1中的(1)成立。
(ii) 存在一个邻域U和一个非负函数
,使得
时,
。由于
,模型(1.1)的确定性系统的平衡点为
,即为引理2中的平衡点。定义V函数如下:
令
,
,
运用伊藤公式,则有
(6)
同样,我们有:
(7)
由于
成立(
均非负),则:
(8)
综上:
(9)
若
成立,则椭圆
全属于
。选取椭圆任意一个邻域U使得U的闭包
。则对于任意的
,有
。因此模型(1.1)有平稳分布。
5. 结论
本文首先考虑具有饱和发生率和logistic增长的随机病毒感染模型。首先当R0 < 1,我们分析了感染细胞的灭绝及宿主细胞的生存。然后,我们构造有效的Lyapunov函数,确立满足平稳分布的充分条件,理论证明感染能在机体内持续存在。