冬眠也叫“冬蛰”.某些动物在冬季时生命活动处于极度降低的状态, 是这些动物对冬季外界不良环境条件的一种适应[1, 2].
然而, 随着社会的发展, 环境污染也变得越来越严重, 由于环境毒素的存在对种群的生存存在严重的危害, 而由于天气环境的变化、污染源对环境脉冲排放环境毒素等造成了环境生物多样性的减少[3, 4].近年来, 多生物数学家[5-10]对污染环境下的数学建模产生浓厚的兴趣.同时也有许多学者对种群的阶段结构有所研究[11-13].
基于上述讨论, 本文讨论污染环境下具冬眠特征的阶段结构单种群动力学模型, 分析其动力学行为, 为污染环境下具冬眠特征的生物资源管理提供决策支持.
常微分方程描述的阶段结构种群模型.
其中$x(t)$表示种群幼体在时刻$t$的密度, $y(t)$表示种群成体在时刻$t$的密度, $b>0$表示种群出生率系数, $c>0$表示种群幼体向种群成体转化的系数, $d_{1}>0$表示种群幼体的死亡系数, $d_{2}>0$表示种群成体的死亡系数.
考虑到种群的脉冲出生, 那么上述模型可修改为
其中$x(t)$表示种群幼体在时刻$t$的密度, $y(t)$表示种群成体在时刻$t$的密度, $c>0$表示种群幼体向种群成体转化的系数, $d_{1}>0$表示种群幼体的死亡系数, $d_{2}>0$表示种群成体的死亡系数, $a>0$表示种群脉冲出生系数, $b>0$表示种群脉冲出生的种内竞争系数, $\tau>0$表示种群脉冲出生周期.
而污染环境下的毒素具脉冲输入的单种群动力学模型
其中$x(t)$表示种群在时刻$t$的密度, $c_{e}(t)$表示环境毒素在时刻$t$的浓度, $a>0$表示种群内禀增长率系数, $b>0$表示种内竞争系数. $\beta>0$表示种群受毒素的影响造成种群的死亡系数, $g>0$表示毒素受阳光等生化反应作用的影响的消耗系数, $\mu>0$表示环境变化等影响下毒素输入种群生活环境的浓度量, $\tau>0$表示毒素脉冲输入环境的周期.
考虑到具冬眠特征种群, 建立毒素具脉冲输入与种群脉冲出生的切换阶段结构单种群阶段结构动力学模型
其中$x(t)$表示种群幼体在时刻$t$的密度, $y(t)$表示种群成体在时刻的密度, $c_{e}(t)$表示环境毒素在时刻$t$的浓度, $c>0$表示种群幼体转化为成体的转化率, $d_{1}>0$表示种群幼体在非冬眠期的死亡系数, 也表示种群成体在非冬眠期的死亡系数, $\beta>0$表示种群幼体在非冬眠期由于环境毒素而引发的死亡系数,也表示种群成体在非冬眠期由于环境毒素而引发的死亡系数, $h_{1}>0$表示在种群非冬眠期环境毒素因在环境生化作用消耗系数, $a>0$表示种群成体脉冲出生的出生系数, $b>0$表示种群成体出生的种内竞争系数, $d_{2}$表示种群幼体在冬眠期的死亡系数, 也表示种群成体在冬眠期的死亡系数, $h_{2}>0$表示在冬眠期环境毒素因在环境生化作用消耗系数, $\mu>0$表示环境毒素浓度的脉冲输入, $\tau>0$表示种群的脉冲出生周期.
方程组$(2.4)$右边的函数$f=(f_{1}, f_{2}, f_{3})$, 方程组$(2.4)$的解$z:R_{+}\rightarrow R_{+}^{3}$是一个分段连续的函数, $z(t)=(x(t), y(t), c_{e}(t))^{T}$, $R_{+}=[0, +\infty)$, $R_{+}^{3}=\{z\in R^{3}|z>0\}$, $z(t)$在$(n\tau, (n+l)\tau]\times R_{+}^{3}$是连续的, 在$((n+l)\tau, (n+1)\tau]\times R_{+}^{3}$也是连续的.根据文献[9], $f$的光滑性保证了方程组(2.4)的解的全局存在性和唯一性.
设$V:R_{+}\times R_{+}^{3}\rightarrow R_{+}$, 那么$V$属于$V_{0}$, 如果
Ⅰ)$V$在$(n\tau, (n+l)\tau]\times R_{+}^{3}$对每个$z\in R_{+}^{3} $是连续的, 且
与
存在;
Ⅱ) $V$在$z$是局部李普希茨的.
引理1 考虑系统$(2.4)$的子系统
则$(3.1)$式存在全局渐近稳定的周期解
其中
证 系统$(3.1)$的第一个方程在$(n\tau, (n+l)\tau]$上积分可得
系统$(3.1)$的第三个方程在$((n+l)\tau, (n+1)\tau]$上积分可得
考虑到系统$(3.1)$的脉冲效应可得到频闪映射
于是容易得到$(3.5)$式的唯一不动点
做记号$c_{e}^{n+1}=c_{e}((n+1)\tau).$令
由$(3.5)$式可以得
对$(3.7)$式求导可得
所以系统$(3.5)$唯一的不动点
是局部稳定的, 从而是全局渐近稳定的.与参考文献[13]同理, 可知(3.5)式存在全局渐近稳定的周期解
注1 由引理1可知, 对任意的$\varepsilon>0$有
考虑系统$(2.4)$的子系统
由系统$(3.10)$的第一个与第二个方程, 容易得到脉冲点之间的解析解为
考虑到系统$(3.10)$的第三、第四个方程与第七、第八个方程的脉冲效应, 得到系统$(3.10)$的频闪映射
计算$(3.12)$式, 可得到两个不动点$P_{1}(0, 0)$与$P_{2}(x^{\ast}, y^{\ast})$, 其中
定理2 (ⅰ)如果$(A-1)(1-F)+BE < 0, $那么不动点$P_{1}(0, 0)$是全局渐近稳定的;
(ⅱ)如果$(A-1)(1-F)+BE>0, $那么不动点$P_{2}(x^{\ast}, y^{\ast})$是全局渐近稳定的, 其中$x^{\ast}$和$y^{\ast}$按照$(3.13)$式定义.
证 为了方便计算, 做记号$(x^{n+1}, y^{n+1})=(x((n+1)\tau^{+}), y((n+1)\tau^{+})), $那么差分方程$(3.12)$线性化后可以写为
显然系统$(3.12)$的不动点$P_{1}(0, 0)$与$P_{2}(x^{\ast}, y^{\ast})$的附近的动力学性质由其线性系统$(3.14)$决定, $M$作为线性系统$(3.14)$的矩阵, 不动点$P_{1}(0, 0)$与$P_{2}(x^{\ast}, y^{\ast})$的稳定性由$M$的特征值小于$1$来决定.当$M$满足如下的Jury判据条件时, 可知$M$的特征值小于1[13],
(ⅰ)当$(A-1)(1-F)+BE < 0$时, 显然$P_{1}(0, 0)$是系统$(3.12)$唯一的不动点, 于是得到
由Jury判据条件
所以系统$(3.12)$唯一的不动点$P_{1}(0, 0)$是局部稳定的, 从而是全局渐近稳定的.
(ⅱ)当$(A-1)(1-F)+BE>0$时, 显然$P_{1}(0, 0)$与$P_{2}(x^{\ast}, y^{\ast})$是系统$(3.12)$的不动点.由(ⅰ)的证明过程容易知道系统$(3.12)$的不动点$P_{1}(0, 0)$是不稳定的.考虑不动点$P_{2}(x^{\ast}, y^{\ast})$, 得到
于是
由Jury判据, 所以系统$(3.12)$的不动点$P_{2}(x^{\ast}, y^{\ast})$是局部稳定的, 从而是全局渐近稳定的.
类似参考文献[13], 可以得到如下的引理.
定理3 (ⅰ)如果$(A-1)(1-F)+BE < 0, $那么系统$(3.12)$的平凡周期解$(0, 0)$是全局渐近稳定的;
(ⅱ)如果$(A-1)(1-F)+BE>0, $那么系统$(3.12)$的正周期解$(\widetilde{x(t)}, \widetilde{y(t)})$是全局渐近稳定的, 其中
而
且$x^{\ast}$与$y^{\ast}$如$(3.13)$式所定义.
注2 由引理1与定理3可知, 当$(A-1)(1-F)+BE>0, $存在$M>0$使得$x(t) < M, y(t) < M, c_{o}(t) < M.$
考虑到
容易得到系统$(3.19)$的比较方程
并考虑到$(2.4)$式的子系统$(3.10).$
从而容易得到与$(3.20)$式的频闪映射
计算$(3.21)$式可得到两个不动点$Q_{1}(0, 0)$与$Q_{2}(x^{\ast}, y^{\ast})$, 其中
于是类似定理1与定理3可得
定理4 (ⅰ)如果$(A_{1}-1)(1-F_{1})+B_{1}E_{1} < 0, $那么不动点$Q_{1}(0, 0)$是全局渐近稳定的;
(ⅱ)如果$(A_{1}-1)(1-F_{1})+B_{1}E_{1}>0, $那么不动点$Q_{2}(x_{1}^{\ast}, y_{1}^{\ast})$是全局渐近稳定的, 其中$x_{1}^{\ast}$和$y_{1}^{\ast}$按照$(3.22)$式定义.
定理5 (ⅰ)如果$(A_{1}-1)(1-F_{1})+B_{1}E_{1} < 0, $那么系统$(3.20)$的平凡周期解$(0, 0)$是全局渐近稳定的;
(ⅱ)如果$(A_{1}-1)(1-F_{1})+B_{1}E_{1}>0, $那么系统$(3.20)$的正周期解$(\widetilde{x_{1}(t)}, \widetilde{y_{1}(t)})$是全局渐近稳定的, 其中
且$x_{1}^{\ast}$与$y_{1}^{\ast}$如$(3.22)$式所定义.
由定理3与定理5容易得
定理6 (ⅰ)如果$(A-1)(1-F)+BE < 0, $那么系统$(2.4)$种群灭绝;
(ⅱ)如果$(A_{1}-1)(1-F_{1})+B_{1}E_{1}>0, $系统$(2.4)$种群持久.
本文考虑污染环境、生物冬眠与种群阶段结构, 建立毒素脉冲输入与种群脉冲出生的阶段结构切换单种群动力学模型, 根据定理6的结论可以知道脉冲输入的毒素浓度存在一个阈值$\mu^{\ast}$, 当$\mu>\mu^{\ast}$时, 系统$(2.4)$种群灭绝; 当$\mu < \mu^{\ast}$时, 系统$(2.4)$种群持久.所得结论告诉我们控制治理污染的力度能够保护环境生物的多样性, 特别是环境污染控制的阈值为污染环境下生物资源管理提供决策支持.