1. 建立模型
随着工业的发展,环境污染日趋严重,研究毒素对生物种群的影响显得尤重要。对这一问题的研究始于T.G.Hallam和他同事发表的论文 [1] [2] [3] ,随后国内外学者对这方面的问题进行了深入研究。2014年,雒志学首次将毒素种群模型和具有年龄结构的种群模型结合进行了研究 [4] [5] 。基于上述文献启发,本文提出一类具有尺度结构的捕食-被捕食者种群模型并研究其解的存在唯一性。模型如下:
(1)
其中
,m为捕食者种群个体的最大尺度。模型中其他参数表示含义如下:
:t时刻尺度为s的捕食者种群个体密度;
:t时刻尺度为s的食饵种群个体密度;
:捕食者种群个体的尺度增长函数;
:分别表示t时刻捕食者种群个体、食饵种群个体体内的毒素浓度;
:t时刻环境中的毒素浓度;
:t时刻外界向环境中输入的毒素浓度;
:t时刻捕食者、食饵的相互作用因子;
:分别表示尺度为s,体内毒素浓度为
的捕食者种群的出生率和死亡率;
:体内毒素浓度为
的食饵种群的死亡率;
本文作如下假设:
(H1)
,
,
;
(H2)
,
;
(H3)
,
,
;
(H4)
,
,
;
(H5)
,
;
(H6)
,
,
,
;
(H7)
,
;
(H8)
,
[6] 。
2. 模型解的存在唯一性
定义1.1:称向量
为模型(1)沿特征线
的解如果满足如下方程:
(2)
定义1.2:模型(1)的解空间为:
定理1.1:模型(1)解的形式为
其中
。
;
,
;
证明:模型(1)的解由特征线法和常数变易法即可导出 [7] [8] [9] 。
定理1.2:如果假设(H1)~(H8)成立,模型(1)存在唯一解
。
证明:首先,定义映射
,
其中
显然,
。
另外,
则由Gronwall引理可得
接下来证明解对变量的连续依赖性。
设
,
。当
时,有如下不等式成立:
因此,
(3)
且
当
时同理可得上述不等式成立。
(4)
其中,
。
(5)
(6)
且
。
最后,定义解空间X上的范数为
足够大。
则由不等式(3)-(6)可得
成立,其中
是常数,
时F是压缩的,由Banach不动点定理可得不动点
是F的唯一解同时也是模型(1)的解。证明完毕。
3. 结论
受毒素种群模型和具有尺度结构的捕食种群模型的启发,本文在第一节中建立了一个污染环境下具有尺度结构的捕食种群模型,并对模型中相应的参数进行了解释,给出基本假设。第二节中通过运用特征线法得到了模型(1)的形式解,然后通过不等式估计和Banach不动点定理证明了系统解的存在唯一性。
基金项目
本论文由国家自然基金项目(11561041)和甘肃省自然科学基金项目(1506RJZA071)资助。