对流环境下具有混合迁移模式的捕食者_食饵模型分析①

2022-06-14张柏枫张国洪

西南师范大学学报（自然科学版） 2022年5期

张柏枫，张国洪

西南大学数学与统计学院，重庆 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]．

1 系统的耗散性

(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 平衡点的稳定性

易见系统(2)可能存在3个边界平衡态解(0， 0)， (θ(d1，q，r1，b)， 0)和(0，r2)．为了研究这些平衡解的稳定性，我们首先证明如下结论．

证由系统(2)的第二个方程有

vt≥d2vxx+v(r2-v)， 00

定理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)， +∞)，故