1. 引言
在生态系统中,浮游生物两者需要依靠营养物质维持生存并受其影响。营养物质作为生物生存的必要条件,但随着经济的发展,流入水中的营养物质对环境的危害较大,以及造成微藻生物柴油减少。中国作为海洋面积世界第三大以及拥有不少湖泊的国家,研究浮游生物是生态系统中重要的问题之一,对保护环境和人类的发展具有极大的价值作用。在这样的背景下,与此相关问题吸引了不少研究者,研究者开始考虑到浮游动植物在相互作用 [1] [2] [3] 的过程中,浮游植物自身也需要摄入营养物质。如Ruan [4] [5] 在浮游生物相互作用模型中指出了营养物质对浮游生物种群增长的重要性。因此,为更好的了解浮游生物,合理解决有害的浮游生物,不少研究者对营养物质与浮游动植物相互作用模型进行研究。此模型系统可以由以下微分方程描述:
(1)
其中
系统(1)的初始条件为
其中
分别表示t时刻营养物质的浓度、浮游植物种群的浓度、浮游动物种群的浓度。
表示营养物质的恒定输入量,D表示营养物质的稀释率,
表示浮游植物种群的养分稀释率,
表示浮游植物种群生长的养分转化率,
表示每单位浮游植物种类的相遇率,
表示浮游动物摄食所遇到的食物生物量的比例(
)。h表示单位生物量的处理时间,其中包含了消化道处理该物质所需的时间。
表示毒素决定的功能反应,说明了毒素的负效应,其中
,
表示衡量单位时间内浮游动物能耐受最大毒素量的度量,
表示当浮游动物耐受的毒素浓度降低(高毒性)或毒素浓度在浮游植物生物量增加时,
下降。
表示浮游植物种群的死亡率,
表示浮游动物种群的死亡率,
表示浮游动物的最大转化率,
表示考虑相应霍林——II型函数来描述以
为半饱和函数的放牧现象。因子4只是一个数,它将
的峰值形式简化为P。
在上述式(1)中,选择二维的营养物质–浮游植物模型进行研究。为了使该模型更为逼真,必须考虑温度、气候、水资源等各种因素对模型的影响,得到的随机营养物质–浮游植物模型如下:
(2)
其中
为独立的布朗运动和
为噪声强度。假设
,
为正常数,相比较与模型(1),重新定义以上的系数:
在生态学中,浮游植物依靠无机营养物质存活,如氮、磷、碳水化合物等。但有些浮游植物依赖于隐藏状态的营养物质,不能直接观察到,因此,在模型中加入隐藏状态的营养物质。为实现目标,需对营养物质进行分类,在分类设置中一类考虑的是未隐藏的营养物质,即仍用
表示。另一类包含隐藏的营养物质,即
。设
为取值在
中的马尔可夫过程。假设
表示隐藏状态类中的营养物质在
时刻被转化的营养物质百分比,并且只有
在噪声损坏下的观测是可用的。因此,让函数y和g依赖于
,利用式(2)的隐态动力学,得出具有隐藏状态的随机营养物质–浮游植物模型:
(3)
模型(3)加入了噪声项,考虑了实际情况,相比较于模型(1),许多的研究者不考虑突发因素的干扰。由于营养物质的状态是隐藏的,不能直接获得,因此模型很难研究,一些研究者会考虑加入隐马尔可夫过程,对隐含状态提高准确的识别,但还是比较困难的,所以我们考虑运用非线性滤波技术 [6] [7] 获得具有隐藏状态的随机营养物质-浮游植物模型的长期行为。
2. 准备知识
在本文中,将使用
,以及
。设
具有满足通常条件滤的完备概率空间,并且
和
是相互独立的标准布朗运动。信号过程
在
中取值,其被假定是一个自适应的随机过程,且与
和
相独立。
表示在
上被赋予弱拓扑的概率测度空间,
表示在
上所有实值连续的函数空间。对任何函数
和
,设
考虑假设中的精确值
不可用,只有噪声观测可用。
的观测过程
如下
(4)
其中
为连续函数。设
,其中
表示由一些
-代数并集生成的最小
-代数。设
是在给定观测值
的条件下,
的条件分布和初始数据,即
则
称为非线性滤波器。
进一步,介绍Fujisaki-Kallianpuru-Kunita的结果 [6] ,涉及到了非线性滤波器
的微分方程。定义
其中过程
是一维维纳过程。此外,
和
对于所有
是独立的。如果
是具有无穷小生成元 的马尔可夫过程,
为式(5)的解。
(5)
为了讨论下一节,需要建立相关遍历性。把
当作一个取值在
上的随机过程,利用
的连续可测的修正。
在只观察到
的噪声项的前提下,继续研究系统(3),使用非线性滤波器
,
具有给定观测过程
的信息。考虑了系统(6)
(6)
其中
和
分别表示初始值为
和
的分布所对应的概率和期望。
假设2.1以下条件成立:
· 函数
是非负的,
。此外,y是利普希兹连续的,即存在一个正常数
使得对所有的
,
· 函数
满足
,g是利普希兹连续的,具有利普希兹常数
,即对所有的
,
· 对每一个
,函数
和
是非递减的。
假设2.2
是马尔可夫费勒过程,有唯一不变测度
和
其中
是转移概率和
是总变异范数。
命题2.1 [8] 假设在紧可分Hausdorff空间中赋值的
是具有半群
的马尔可夫费勒过程,该过程有唯一不变测度
和
过程
是有唯一不变测度
的
值马尔可夫费勒过程,
为
的重心,即,
在证明非线性滤波的不变测度的唯一性中,需要恒等式(7)
(7)
其中
。
命题2.2 在假设2.2下,过程
是一个
值马尔可夫费勒过程和有唯一不变测度
,
是
的重心,即
接下来,讨论灭绝性和持久性的阈值 [9] 。将使用以上讨论的非线性滤波器的遍历性,并结合来自动力系统的李亚普诺夫指数 [10] 。引入一个阈值
,表征系统(6)的长期行为。
考虑边界上的方程,当浮游植物不存在时,即
(8)
通过求解Fokker-Planck方程,方程(8)有唯一的平稳分布
,其密度为
(9)
其中
和
是伽马函数。通过观察李亚普诺夫指数
在
很小时,来确定
是否收敛于0。运用伊藤公式得出
(10)
其中
。
意味着
。因此,如果
很小,那么提供
,
就接近于
,同时有
当t足够大时,有
从式(10),由
和
的强大数定律,得到
的李亚普诺夫指数可以近似为
(11)
由于
是
的重心,
的李亚普诺夫指数近似为
因此,将阈值
定义为
3. 解的存在唯一性和费勒过程
本小节,主要讨论具有隐藏状态的随机营养物质–浮游植物模型(3)解的存在唯一性和费勒过程。
定理3.1对于任意
,则系统(6)存在唯一全局解,其初始值为
,且随机过程
是马尔科夫过程。
证明:首先证明系统(6)解的存在唯一性。假设
是利普希兹连续的,但系统(6)中的系数
一般不是全局的利普希兹。因为系统(6)的系数是局部利普希兹连续的,系统有唯一的解
与初始值
[11] ,需定义最大区间
和约定
。设
则
。考虑
,则从
的定义有
运用伊藤公式并取期望,则
由马尔可夫不等式,得出
因此,对于所有
,有
或
。因此,
,系统(6)有唯一全局连续的解。
继续证明马尔科夫性质。由于
是一个马尔可夫过程并且与
和
相互独立,对于过程
的马尔可夫性质遵循标准论证 [11] 。
接下来,利用李亚普诺夫函数,得出
和
的矩估计,定义
。
引理3.1以下结论成立:
(i) 对于任意的
,有常数
使得
(ii) 对于任意的
,有
使得
和
证明:考虑李亚普诺夫函数
。通过直接用微分算子
计算和利用假设2.1,得出
其中
,设
。通过计算,得出
则
(12)
运用系统(6)解的存在性 [12] ,证明引理的第(i)部分。第(ii)部分的证明源于第(i)部分和标准论证 [12] 。
定理3.2过程
是系统(6)的一个强马尔可夫和费勒过程。有
和
。
证明:如果系统(6)的系数是全局利普希兹,则系统(6)的解是一个齐次强马尔可夫和费勒过程 [12] [13] 。在
中,弱拓扑的概率测度空间
是由有界的利普希兹度量进行定义的,如下
因此,通过引理3.1的结果,系统(6)系数的局部利普希兹性质和截断论证
是齐次强马尔可夫和费勒过程 [14] 。
接下来,建立解的正性。首先,假设
。考虑李亚普诺夫函数
通过计算,有
由假设2.1可知
和
。则
令
,假设
和
,则
。得出
(13)
对
,定义
得到
。另外,通过使用与上面相同的论证,从而由式(13),得出
因此,
,得出
(14)
如果
,则
可以类似地证明。此外,
是明显的。
考虑
和
的情况,证明
的正性。设
足够小,使得
(15)
对于任何
满足
。由假设2.1,存在一个
,设
由
的连续性,可知
。由式(15)可知,如果
,有
从常数变分公式 [12] 可知
结合式(14)和
的强马尔可夫性质,得出
定理证明完毕。
4. 长期行为
本小节,主要讨论具有隐藏状态的随机营养物质–浮游植物模型(3)解的持久性和灭绝性。
引理4.1对于任意
,有
,使得
其中
。
证明:通过指数鞅不等式 [12] ,有
,其中
由引理3.1第(ii)部分,存在一个
,使得
,其中
将伊藤公式应用于系统(6)
(16)
因此,对于任何
和
,由(16)和y、g的利普希兹连续性,有
此时,可以选择一个足够小的
,可以得出
和
。证明完毕。
命题4.1对任何
和
,存在
,使得
证明:设
使得
(17)
考虑下面的随机微分方程(18)
(18)
其中
。如果
,由比较原理,可知
再由强大数定律得出
(19)
结合式(17)和(19),得出
(20)
因此,存在
,使得
,其中
由
的定义和
的遍历性,得出
其中
表示
的初始值。因此,存在
使得
,其中
鉴于解的唯一性,对所有
,有
其中
的下标表示初始值
。则对所有
,有
。
由
有
使得
,其中
令
。由引理4.1,有
,使得
,
,其中
现在,由式(20)得出
。在
中,对于所有的
,有
(21)
如上所述,当
,有
因此,对所有
,有
。
由式(21)的结论,对于
,得出
。根据式(11),由
,式(18)的解有唯一不变测度,记为
。从
的遍历性得到,对于一些小
,则
(22)
式(22)包含在
中。利用式(22)和
,以及
的紧密性,随机占有测度
几乎对所有的
都是紧密的。在概率为1的情况下,
的任何弱极限在
时是不变的概率测度,其在
上是成立的。因为
是
的不变概率测试,其中
是集中在0的狄拉克测度,当
时,在
中,几乎可以肯定
族弱收敛于
。从(22)中的弱收敛和一致可积性得出
几乎对于每一个
,有
。由
,证明完毕。
定理4.1假设
。那么对于任意初始点
,则吸收养分的浮游植物浓度
以指数的速度趋近于零,即,
和营养物浓度
弱收敛于边界上的解
。
证明:设任意的
。由命题4.1,过程
在
中是瞬态的 [14] 。因此,过程
在
中没有不变概率测度。因此,在
上,
是
的唯一不变概率测度。
设H足够大,使
. 由于引理3.1第(i)部分和
的紧密性,过程
是紧密的。因此,占有测度
在
上是紧密的。当
时,
的任何弱收敛一定是过程
的不变概率测度 [15] ,有
弱收敛于
。因此,对任何
,存在
使得
或
则有
其中
。通过利用强马尔可夫性质和命题4.1,有
对任何
,任意的
,
收敛成立。由于
指数快速收敛到0,则
收敛到
。
定义4.1对于任何初始值
,系统(6)是持久性的。
定理4.2假设
。则对于任意初始值
,系统(6)是持久的。
证明:首先证明
的所有不变测度集中在
上,利用反证法,假设
在
上没有不变测度。因此,在
上没有不变测度,因为根据定理3.1可知,从
开始的解将进入并停在
中。因此,在
上的边界
上的唯一不变测度
是过程
的唯一不变测度,则有
(23)
和
(24)
另一方面,
则
得出
又因为
,且引理3.1表明了
,有矛盾。因此,
的所有不变测度集中在
。
运用引理3.1中的矩有界性,当
时,得到一个序列
使得
定理证明完毕。
参考文献
NOTES
*通讯作者。