生物种群模型主要是用来描述、调节、控制和预测每个物种的发展过程和发展趋势, 从而对一些生态问题和自然生命现象做出合理的决策和方案, 其中Logistic种群系统作为最基本的一类生物数学模型, 已经被广大学者所研究. 1993年, Gopalsamy和Weng考虑到物种在其生存的环境中可能会受到负反馈的影响, 譬如有毒的剩余残渣的积累, 人为的控制调节等.同时考虑到种群的密度变化和种群生命运行规律活动的演化过程不是瞬时发生的, 而是有一定的时间延迟的; 大量事实也表明许多事物的变化规律不仅依赖于当前的状态,还与过去的历史有关, 即受时间滞后的影响.于是提出了如下一类具有反馈控制的logistic模型[1]
其中$x(t)$是种群在$t$时刻的种群密度, $u(t)$是反馈控制变量; $r$表示内凛增长率; $a, ~b$表示同种群的竞争系数, 且$r, ~a, ~b, ~c, ~e, ~f$为正常数.他们探讨该系统平衡点的全局渐近稳定性等性态.近年来, 具有反馈控制的种群系统受到广大学者的关注[2-5].
然而, 在现实环境中, 种群不可避免的会受到环境中各种细小的随机因子的干扰, 如某天突然下场雨、温度突然升高等等, 捕食者与食饵的随机相遇等, 这些细小的随机因子可以综合看成是白噪声的作用.因此环境白噪声对种群的影响是不可忽视的且考虑白噪声的干扰将更加有实际意义.目前已经引起了广大学者的高度重视[6-8]. Mao [6]指出环境白噪声的干扰可能会影响出生率, 死亡率和竞争系数等其他参数.在这里假设环境白噪声主要影响系统(1)的增长率$r$.而我们通常估计一个值都是通过它的平均值加上它的误差项, 即$r\rightarrow r+\sigma \dot{B}(t)$, 其中$\dot{B}(t)$代表白噪声, 而$\sigma^2$代表白噪声的浓度, $\sigma\geq0$. $B(t)$是定义在完备概率空间$(\Omega, F, P)$上的布朗运动, 且$B(0)=0$.因此在系统(1.1)的基础上提出如下一类具有反馈控制和时滞的随机logistic种群模型
令初始条件为
对于具有反馈控制的随机种群模型的研究成果还很少, 因此在这里也没有太多的文献可以借鉴.为了方便起见, 给出了下列记号
因为$x(t)$代表种群的密度, 那么它应该是非负的.因此首先就是讨论系统(1.2)存在唯一全局正解.
定理 2.1 对任意给定的正初始值满足条件(1.3), 系统(1.2)存在唯一全局正解$(x(t), u(t))$ $(t\geq-\tau)$, 且此解以概率1停留在$R_+$内.
证 因为系统(1.2)的系数满足局部Lipschitz条件, 那么对于任意给定的正初始值满足条件(1.3), 存在唯一的局部解$(x(t), u(t))$在$[-\tau, \tau_e)$, 其中$\tau_e$是爆破时间.
为了去证明系统(1.2)的解是全局正解, 那么只要证明$\tau_e=\infty$.设$n_0>0$充分大, 使得初始值落入区间$[1/n_0, n_0]$, 对于每一个正整数$n>n_0$, 定义停时
显然$\tau_n$随着$n\rightarrow+\infty$是递增的, 设$\tau_{\infty}=\lim\limits_{n\rightarrow +\infty}\tau_n$, 因此$\tau_{\infty}\leq\tau_{e}$.所以只需要证明$\tau_{\infty}=+\infty$.使用反证法, 如果结论是错的, 那么这里一定存在常数$T>0$和$\varepsilon\in(0, 1)$, 使得$P(\tau_{\infty}<T)>\varepsilon$, 即存在一个整数$n_1>n_0$, 有$P(\tau_{n}<T)>\varepsilon, ~n>n_1$.
定义一个函数$V(x, u)=x+1-\ln x+\frac{cu}{e}$,
上式从0到$\tau_n\wedge T$积分再取均值有
很容易知道一定会存在正常数$K$, 有
则
由于剩下的证明跟文献[7]的证明类似, 在这里就省略了.
本节主要是探讨系统(1.2)解的均值稳定性与灭绝性.首先先介绍几个引理.
引理 3.1 [8] 假设$Z(t, \omega)\in C(R_+, \Omega)$.
(1) 如果存在正常数$\mu$和$T$, 使得对任意的$t\geq T$, 有
那么
(2) 如果存在正常数$\lambda$, $\mu$和$T$, 使得对任意的$t\geq T$, 有
那么$\langle Z(t)\rangle^*\geq\frac{\lambda}{\mu} ~~{\rm a.s.}$
引理 3.2 [9] 考虑随机微分方程$dx=x[r-ax]dt+\sigma xdB(t)$, 其中$r, ~a, ~\sigma$为正常数.当$r>0.5\sigma^2$时, 对于任意的初始值$x_0>0$, 方程的解$x$有
定理 3.1 当$r\neq0.5\sigma^2$时, 对任意初始值满足(1.3), 则系统(1.2)有
证 由系统(1.2)显然有$dx\leq x[r-ax]dt+\sigma xdB(t)$.
设$X(t)$是下面这个随机微分方程的解
上式方程有如下复杂的显式解
同样根据方程(1.2)的第二个方程有
如果$r<0.5\sigma^2$, 由比较原理可知
由于$\lim\limits_{t\rightarrow+\infty}\frac{B(t)}{t}=0$, 易知
且$\lim\limits_ {t\rightarrow+\infty}x(t)=0~{\rm a.s.}$, 故显然有$\lim\limits_ {t\rightarrow+\infty}\frac{u(t)}{t}=0~~{\rm a.s.}$.
如果$r>0.5\sigma^2$, 那么
对$\exp\{et\}\ln X(t)$应用伊藤公式,
然后两边同时在[0, t]上积分再除以$t\exp\{et\}$有
那么根据积分中值定理有
其中$\tau_1, ~\tau_2\in[0, t]$.由引理3.2和$\lim\limits_ {t\rightarrow+\infty}\frac{B(t)}{t}=0$, 有
故$\lim\limits_ {t\rightarrow+\infty}\frac{u(t)}{t}=0$.证明完成.
定理 3.2 对于任意初始值满足条件(1.3),
(1) 如果$r-0.5\sigma^2<0$, 那么种群$x(t)$将趋于灭绝.即$\lim\limits_ {t\rightarrow+\infty}x(t)=0, \lim\limits_ {t\rightarrow+\infty}u(t)=0~~{\rm a.s..}$
(2) 如果$r-0.5\sigma^2>0$, 那么种群$x(t)$均值稳定.即
证 对(1.2)式应用伊藤公式, 有
由(3.1)式可知
(1) 当$r-0.5\sigma^2<0$时, 根据引理3.1可知$\lim\limits_ {t\rightarrow+\infty}x(t)=0, \lim\limits_ {t\rightarrow+\infty}u(t)=0~~{\rm a.s..}$
(2) 当$r-0.5\sigma^2>0$时, 由(3.1)式可知
根据引理3.2可得
因此对于$\varepsilon>0$, 假设$\varepsilon$足够的小, 使得$r-0.5\sigma^2-\varepsilon>0$, 存在常数$T>0$, 当$t\geq T$时, 有
把上面不等式代入等式(3.1)和(3.2)可得
那么由(3.4), (3.5)式和引理3.1可知
由$\varepsilon$的任意性可知
故
完成证明.
上一节已经讨论了一类具有反馈控制和时滞的logistic种群模型的均值稳定性和灭绝性.现在把它推广到更一般的情形, 考虑$n$个相互竞争种群, 同样我们考虑环境白噪声的干扰, 在这里假设种群可能同时受到$n$个独立的白噪声源的影响, 假设白噪声主要影响种群的增长率, 因此采用下面这种扰动形式, 如文献[10], 即$r_i\rightarrow r_i+\sum\limits_{j=1}^n\sigma_{ij}B_j(t), ~~i=1, 2, \cdots, n$, 其中$\sigma_{ij}\geq0$.
下面就来考虑一类具有反馈控制的$n$个种群的随机Lotka-Valterra竞争系统
其中$x_i(t)$代表第$i$个种群的种群密度; $u_i(t)$表示反馈控制变量; $\tau_{ij}\geq0$代表时滞, $i, ~j=1, ~2, \cdots, ~n$.令初始条件
为了方便起见, 假设非空集合$I=\{1, 2, \cdots, n\}$, $I_m=\{l_1, l_2, \cdots, l_m\}$且集合$J$满足
其中$l_1<l_2<\cdots<l_m.$
设
$A_{ki}$表示行列式$A$第$k$行第$i$列的余子式, $B_{ki}$表示行列式$B$第$k$行第$i$列的余子式.
定理 4.1 对任意给定的正初始值, 系统(4.1)存在唯一全局正解$(t\geq-\tau)$.如果$R_i\neq0$, 则系统(4.1)的解有
证 构造函数$V(X(t), U(t))=\sum\limits_{i=1}^n(x_i+1-\ln x_i+\frac{c_i}{e_i}u_i)$.方法跟定理2.1, 定理3.1的证明类似, 在这里就省略了.
定理 4.2 如果$R_i>0$且$A>0$, 那么$M_i<0$, $i=1, 2, \cdots, n$不能同时成立.
证 假设结论不成立, 那么$M_i<0, ~i=1, 2, \cdots, n$, 容易得出$M_i=\sum\limits_{k=1}^nR_kA_{ki}<0$.因为$h_{ij}$都是正常数, 故$h_{1i}M_i=\sum\limits_{k=1}^nR_kh_{1i}A_{ki}<0$.那么很容易看出
也就是说$A<0$, 显然与$A>0$矛盾.完成证明.
定理 4.3 (ⅰ) 假设$R_i>0$且$A>0, ~i=1, 2, \cdots, n$,
(a) 如果$M_i>0$, $A_{ii}>0$和$A_{ki}\leq 0~(k\neq i, ~~ k, i=1, 2, \cdots, n)$, 那么种群$x_i$均值稳定.即$\lim\limits_{t\rightarrow+\infty}\langle x_i(t)\rangle=M_i/A~{\rm a.s.}~~i=1, 2, \cdots, n.$
(b) 假设$M_{l_i}>0$且$M_k<0$, $l_i\in I_m, k\in J$, 如果$B>0, G_i>0, B_{ii}>0$和$B_{ki}\leq0$ $(k\neq i, k, ~i=1, 2, \cdots, n)$, 那么种群$x_{l_i}$均值稳定, 种群$x_k$将趋于灭绝.即
(ⅱ) 如果$R_i<0$, 那么种群$x_i$将趋于灭绝.即$\lim\limits_{t\rightarrow+\infty}x_i=0~~ {\rm a.s.} ~~i=1, 2, \cdots, n.$
(ⅲ) 假设$R_{l_i}>0$且$R_k<0$, $l_i\in I_m, k\in J$, 如果$B>0, G_i>0, B_{ii}>0$和$B_{ki}\leq0$ $(k\neq i, ~~ k, ~i=1, 2, \cdots, n)$, 那么种群$x_{l_i}$均值稳定, 种群$x_k$将趋于灭绝.即
证 对于(4.1)式应用伊藤公式, 有
结合(4.2), (4.4)和(4.5)式可得
根据定理3.1的证明和定理4.1可知$\forall \varepsilon>0$, 存在$T>0$, 当$t\geq T$, 有
把上面不等式代入(4.6)式可得
(ⅰ) (a)如果$R_i>0, ~A>0, ~A_{ii}>0, ~M_i>0, ~i=1, 2, \cdots, n.$由(4.7), (4.8)式和引理3.1, 有
(ⅰ) (b)如果$R_k>0, A_{kk}>0, ~M_k<0, ~k\in J$.令$\varepsilon$足够小, 使得$M_k+\varepsilon<0$, 由(4.7)式和引理3.1, 有$\lim\limits_{t\rightarrow +\infty} x_k(t)=0~~ {\rm a.s.}~~k\in J.$, 那么
由上面的方法可知
如果$B>0, ~B_{ii}>0, ~G_i>0, ~i=1, 2, \cdots, m$, 由(4.10), (4.11)式和引理3.1, 有$\lim\limits_{t\rightarrow +\infty} \langle x_{l_i}(t)\rangle=G_i/B~~ {\rm a.s.}~~i=1, 2, \cdots, m.$
(ⅱ) 如果$R_i<0, ~i=1, 2, \cdots, n$, 那么
又因为$\lim\limits_{t\rightarrow +\infty}\frac{B_j(t)}{t}=0~~{\rm a.s.}$, 故$\lim\limits_{t\rightarrow +\infty}x_i(t)=0~~{\rm a.s.}$ $i=1, 2, \cdots, n.$
(ⅲ) 如果$R_k<0, ~k\in J$, 根据(ⅰ) (b)的证明易得
在这里就省略了.
本文首先探讨了一类具有反馈控制的随机logistic种群模型, 当$r-0.5\sigma^2>0$时, 种群$x$均值稳定, 当$r-0.5\sigma^2<0$时, 种群$x$灭绝.显然反馈没有影响该种群的均值持久性与灭绝性.接着我们在此基础上把他推广到$n$个种群上, 构建了一类具有时滞和反馈控制的$n$个种群的随机Lotka-Volerra竞争系统, 并获得了该系统中的每一个种群的均值稳定和灭绝的充分条件.