张柏枫, 张国洪
西南大学 数学与统计学院, 重庆 400715
捕食者-食饵系统是自然界普遍存在的一种生态系统. 各种不同的捕食者-食饵动力学模型已经被提出来研究两个种群之间的相互关系[1]. 特别地, 受亚得里亚海各种鱼类种群统计研究的启发, 文献[2]提出了如下捕食者-食饵模型
(1)
其中:u和v分别表示食饵和捕食者的密度;r1为食饵的增长率;a和c表示捕食行为导致的种间相互作用;r2为正数时, 表示捕食者的增长率, 捕食者除食饵外还有其他的食物来源,r2为负数时, 表示捕食者的死亡率, 捕食者只依赖于食饵存活. 文献[3]给出了模型(1)的全局动力学性态, 发现当共存平衡解存在时, 则必然全局稳定. 考虑到种群的空间异质分布, 文献[4]在上述模型的基础上研究了考虑种群随机扩散条件下的反应扩散捕食者-食饵模型, 发现其动力学行为和对应的ODE模型(1)类似. 然而除了随机扩散外, 许多物种还可能向某个方向定向迁移, 如捕食者主动向食饵方向运动以追击猎物等, 该类行为被称为趋饵性[5]; 同时, 在某些环境中种群也可能被动地进行定向运动, 例如在河流生态系统中被单向流动的水流推动. 近年来对流(如河流)环境下的单种群模型, 两种群相互竞争模型的研究已成热点, 研究表明对流的引入对系统的动力学行为有重要影响[6-8]. 为了研究对流环境对捕食者-食饵系统动力学行为的影响, 本文在模型(1)的基础上考虑如下反应扩散对流模型
(2)
其中:u和v分别表示食饵和捕食者的密度;l是栖息地的长度; 参数d1,d2为相应的扩散速度,q为对流速度, 均为正常数;u0(x)和v0(x)分别表示食饵和捕食者的初始分布. 我们只考虑r2为捕食者的增长率的情况, 其他参数的意义与模型(1)中的相同. 假设捕食者只做随机扩散, 而食饵除随机扩散外还会朝某一个方向迁移. 这种现象在生态学中是可能存在的, 例如捕食者是杂食性陆地动物并且傍河而居, 而食饵是河流生物, 或者在河流生态系统中, 捕食者常居于流速为零的区域(河底)而食饵常居于流速不为零的区域(河面). 由于捕食者只做随机扩散, 所以边界条件vx(0)=vx(l)=0表示没有任何捕食者可以通过栖息地的边界. 对于食饵的边界条件,d1ux(0)-qu(0)=0表示对流环境上游不允许食饵通过,d1ux(l)-qu(l)=-bqu(l)表示对流环境下游食饵的损失与对流速度相关, 其中b≥0是衡量对流作用导致食饵在下游产生损失数量的测度, 详细的推导和生物意义可以参考文献[9].
(3)
易知系统(2)和系统(3)的解结构相同. 不失一般性, 我们假设l=1.
首先考虑单物种系统
(4)
引理1设d,q,r>0且b≥0. 关于系统(4)有如下结论:
(ii) 若b=0, 则系统(4)存在唯一的正稳态解θ(d,q,r), 并且是全局稳定的.
引理2设d,q,r>0且b≥0. 若系统(4)的正稳态解θ(d,q,r,b)存在, 则θ(d,q,r,b)≤r.
证首先θ(d,q,r,b)满足如下方程
(5)
显然, 总存在x1∈[0, 1], 使得θ(x1)=r, 并且当x∈[x1, 1]时, 总有θ(d,q,r,b)≥r. 将(5)式的第一个式子在[x1, 1]上积分, 得
定理1设d1,d2,r1,r2>0且b≥0. 系统(2)存在唯一的正解(u,v), 并且正解最终有界.
证首先, 根据文献[11], 系统(3)的解局部存在且唯一, 则系统(2)的解也局部存在且唯一. 其次, 由最大值原理, 易知u>0,v>0. 故只需证明解的有界性. 结合解的正性和系统(3)的第一个方程可得
(6)
(7)
因为系统(2)和等价系统(3)的解结构相同, 所以系统(2)的解(u,v)最终有界. 证毕.
易见系统(2)可能存在3个边界平衡态解(0, 0), (θ(d1,q,r1,b), 0)和(0,r2). 为了研究这些平衡解的稳定性, 我们首先证明如下结论.
证由系统(2)的第二个方程有
vt≥d2vxx+v(r2-v), 0
定理2表明平衡点(0, 0)和(θ(d1,q,r1,b), 0)一定是不稳定的, 下面来讨论(0,r2)的稳定性. 考察特征值问题
(8)
其中:d,q>0,b≥0且r∈R. 根据Krein-Rutman定理[15]知问题(8)存在主特征值λ1(d,q,r,b), 且对应的有严格正的特征函数φ1(d,q,r,b). 结合系统(4)中的设定, 根据文献[6]的引理2.1,2.2和文献[12]的命题3.1, 有下列结论成立.
引理3设d,q>0,b≥0且r∈R. 特征值问题(8)有如下性质:
(ii) 若r≤0, 则λ1(d,q,r,b)≤0, 并且b=0时,λ1(d,q,r,0)=r.
定理3设d1,d2,r1,r2,q>0且b≥0. 平衡解(0,r2)的局部稳定性情况如下:
(H1) 当r1>ar2时, 若b>0, 则存在q*(d1,r1-ar2,b), 使得q∈(0,q*(d1,r1-ar2,b)), (0,r2)是不稳定的,q∈(q*(d1,r1-ar2,b), +∞), (0,r2)是局部渐进稳定的;
(H2) 当r1>ar2时, 若b=0, 则(0,r2)是不稳定的;
(H3) 当r1 证系统(2)在(0,r2)处线性化后的特征值问题如下 (9) 定义Λ为特征值问题(9)的谱, 显然Λ=Λ{φ=0}∪Λ{φ≠0}. 当φ=0时, 考察特征值问题 (10) 可取特征函数ψ1(x)=1, 故主特征值λ1=-r2<0. 因此, 对属于特征值问题(10)的特征值λ, 都有Reλ<λ1<0, 则sup{Reλ,λ∈Λ{φ=0}}<0. 当φ≠0时, 考察特征值问题 根据引理3, 当r1>ar2时, 若b>0, 则存在q*(d1,r1-ar2,b), 使得q∈(0,q*(d1,r1-ar2,b)),λ1(d1,q,r1-ar2,b)>0, 则 sup{Reλ,λ∈Λ{φ=0}∪Λ{φ≠0}}>0 所以(0,r2)是不稳定的,q∈(q*(d1,r1-ar2,b), +∞),λ1(d1,q,r1-ar2,b)<0, 则 sup{Reλ,λ∈Λ{φ=0}∪Λ{φ≠0}}<0 所以(0,r2)是局部渐进稳定的, (H1)成立. 类似地, 当r1>ar2时, 若b=0, 由引理3, 可知λ1(d1,q,r1-ar2,b)=r1-ar2>0, (0,r2)是不稳定的, (H2)成立. 当r1 由定理3可知(0,r2)的局部稳定性, 下面证明若(0,r2)是局部稳定的, 则(0,r2)是全局吸引的, 从而(0,r2)也是全局稳定的. 定理4设d1,d2,r1,r2,q>0且b≥0. 若条件 (C1)r1 (C2)r1>ar2,b>0,q∈(q*(d1,r1-ar2,b), +∞). 之一成立, 则平衡解(0,r2)是全局稳定的. 证由定理2有 (11) 现考虑如下方程 (12) 当(C1)成立时, 取ε足够小, 使得r1+aε-ar2<0, 再由引理3得λ1(d1,q,r1+aε-ar2,b)<0. 根据文献[10], 系统(12)的解U=0是全局稳定的当且仅当λ1(d1,q,r1+aε-ar2,b)<0, 则 当(C2)成立时, 有r1+aε-ar2>r1-ar2>0, 由引理1可知存在q*(d1,r1+aε-ar2,b), 使得当q∈[q*(d1,r1+aε-ar2,b), +∞)时, 系统(12)的解U=0是全局稳定. 又因为(C2)成立时, 有q∈(q*(d1,r1-ar2,b), +∞), 并且ε是任意小的正常数, 所以必有q∈[q*(d1,r1+aε-ar2,b), +∞), 故 由比较原理易得 (13) 再结合(11)式和(13)式, 有 可知(0,r2)是全局吸引的, 又因(0,r2)的局部稳定性已知, 所以结论成立. 在这一节中, 我们使用一致持续性理论来研究系统(2)的一致持续性条件, 相关理论的详细介绍可以参考文献[13]. 定理5设d1,d2,r1,r2,b>0且r1>ar2. 若q∈(0,q*(d1,r1-ar2,b)), 则系统(2)是一致持续的, 即存在一个正常数η, 使得 (14) (15) (16) (17) (18) WS((0, 0))∩D-1(0, +∞)=∅,WS((0,r2))∩D-1(0, +∞)=∅ 类似地, 可以使用一致持续性理论得到系统(2)在b=0时的一致持续性, 证明省略. 定理6设d1,d2,r1,r2,q>0且r1>ar2. 若b=0, 则系统(2)是一致持续的, 即存在正常数η, 使得 本节首先通过数值模拟验证我们的理论研究结果. 取定参数 (I)d1=0.15,d2=0.1,r1=4,r2=3,a=0.5,c=0.2,l=10. 此时r1>ar2, 当b=0时, 由图1(a)可知, 系统对任意的q>0都是一致持续的, 该结果与定理6相符; 当b=1时, 由图1(b)可知, 存在一个临界的流速, 使得当流速小于此临界值时, 系统是一致持续的, 当流速大于此临界值时, 捕食者种群平均密度是3, 食饵种群将会灭绝, 该结果与定理4和定理5相符. (II)d1=0.15,d2=0.1,r1=1,r2=3,a=0.5,c=0.2,l=10. 此时r1>ar2, 由图1(c)可知, 对任意的q>0和b=0.1, 捕食者种群平均密度总是3, 食饵种群总会灭绝, 该结果与定理4相符. 其次, 我们通过数值模拟研究了不同流速对种群空间分布的影响. 选择参数组(I), 当b=0时, 种群是一致持续的. 但由图2可知, 随着流速变大, 种群的空间分布会发生变化, 且随着流速增加食饵种群会聚集在河流的下游, 由于可用资源减少, 使得种群总的数量降低, 因此对流的增加不利于种群的繁衍. 图1 系统(2)关于流速q的分支图 图2 b=0时不同流速下的种群密度分布图3 系统的一致持续性
4 数值模拟