定理1 系统(1)始终存在灭绝平衡点E0=(0, 0).当r>d时, 系统(1)存在只有食饵存活的平衡点E1=$\left( {\frac{{r - d}}{a}, 0} \right)$;当r>d及(r-d)(cp-mq1)>am时, 系统(1)存在共存平衡点E2=(u*, v*).
证 系统(1)的所有平衡点都满足
显然E0一直存在.当r>d时E1存在.下面考虑共存平衡点E2的存在性.由(2)式得
易得:如果正平衡点存在, 必有cp-mq1>0.将(3)式代入到(2)式, 得
其中:
记f(v)=a3v3+a2v2+a1v+a0, 则f′(v)=3a3v2+2a2v+a1.令f′(v)=0, 由韦达定理得:
其中λ1和λ2是f′(v)=0的根.考虑a0和a1, 有以下几种情况:
(ⅰ)当a0≤0时, a1<0, λ1λ2>0, f(v)在(0, +∞)上单调递减且f(0)≤0, 三次函数f(v)无正零点;
(ⅱ)当a0>0, a1≤0时, λ1λ2≥0, f(v)在(0, +∞)上单调递减且f(0)>0, f(v)有唯一正零点;
(ⅲ)当a0>0, a1>0时, λ1λ2<0, 原点位于两极值点之间且f(0)>0, f(v)有唯一正零点.
由a0和(r-d)(cp-mq1)-am同号, 结合上面3种情况, 当(r-d)(cp-mq1)<am时, 系统(1)无正平衡点, 当(r-d)(cp-mq1)>am时, 系统(1)有唯一正平衡点.
定理2 当r≤d时, 平衡点E0=(0, 0)全局渐进稳定;当r>d时, 平衡点E0不稳定.
证 构造Lyapunov函数
则V(t)沿着系统(1)轨线的导数为
当r≤d时, 对任意u≥0和v≥0, 有V′(t)≤0, 设
由Lyapunov-LaSalle不变集原理得, 当r<d时, 平衡点E0全局渐进稳定.另外, 在E0=(0, 0)处系统(1)的Jacobian矩阵为
JE0的特征值为λ1=r-d和λ2=-m.显然当r>d时, λ1>0, 平衡点E0不稳定.
定理3 若r>d, 当(cp-mq1)(r-d)<am时, 平衡点E1局部渐进稳定;当(cp-mq1)(r-d)>am时, 平衡点E1不稳定.
证 在E1=$\left( {\frac{{r - d}}{a}, 0} \right)$处, 系统(1)的Jacobian矩阵为
显然, 当(cp-mq1)(r-d)<ma时, JE1的2个特征值均具有负实部, E0局部渐进稳定;当(cp-mq1)(r-d)>ma时, JE1存在1个正的特征值, 此时E0不稳定.
下面考虑共存平衡点E2的局部稳定性.为表示方便, 将u*和v*代换成u和v, 易得系统(1)在E2=(u*, v*)处的Jacobian矩阵为
则:
由(3)式和(7)式得
记:
当Δ>0时, g(v)=0的2个实根分别为:
定理4 当r>d及(r-d)(cp-mq1)>am时, 对于以下条件:
(ⅰ) q2>$\frac{{{q_1}{{\left( {cp - m{q_1}} \right)}^2}}}{{c{{\left( {cp - m{q_1}} \right)}^2} + 4a{c^2}{p^2}}}$;
(ⅱ) q2<$\frac{{{q_1}{{\left( {cp - m{q_1}} \right)}^2}}}{{c{{\left( {cp - m{q_1}} \right)}^2} + 4a{c^2}{p^2}}}$且0<v*<v1;
(ⅲ) q2<$\frac{{{q_1}{{\left( {cp - m{q_1}} \right)}^2}}}{{c{{\left( {cp - m{q_1}} \right)}^2} + 4a{c^2}{p^2}}}$且v*>v2;
(ⅳ) q2<$\frac{{{q_1}{{\left( {cp - m{q_1}} \right)}^2}}}{{c{{\left( {cp - m{q_1}} \right)}^2} + 4a{c^2}{p^2}}}$且v1<v*<v2.
当条件(ⅰ), (ⅱ)和(ⅲ)中有1个成立时, 正平衡点E2局部渐进稳定;当条件(ⅳ)成立时, E2不稳定.
证 由条件(ⅱ)易知Det(JE2)>0.由条件(ⅰ)易知g(v)是开口向下的二次函数.首先给出E2不稳定的证明.当条件(ⅳ)成立时, Δ>0, g(v*)>0, 即Tr(JE2)>0, 由Hurwitz判据知E2不稳定.当条件(ⅱ)或(ⅲ)成立时, Δ>0, g(v*)<0.条件(ⅰ)成立时, 分2种情况.当
时, Δ<0, g(v*)<0;当q2≥$\frac{{{q_1}}}{c}$时, Δ≥0, 由韦达定理得:
则v1, v2均小于0, 可知g(v*)<0.又因g(v*)<0等价于Tr(JE2)<0, 根据Hurwitz判据, 此时E2局部渐进稳定.
注 0<v*<v1等价于f(v1)<0;v*>v2等价于f(v2)>0;v1<v*<v2等价于f(v1)>0, 且f(v2)<0.
定理5 当r>d且(cp-mq1)(r-d)<am时, 边界平衡点E1全局渐进稳定.
证 由引理1知系统最终有界.当r>d且(cp-mq1)(r-d)<am时, 由定理1知, 系统(1)除了灭绝平衡点E0和边界平衡点E1外没有其它平衡点.非负u轴是正向不变集, 非负v轴排斥正解, 因此没有包围E0或E1的闭轨线.又因E0不稳定, E1局部稳定, 则所有的解最终都将趋近于E1[13].
接下来考虑平衡点E2的全局稳定性.为简化计算, 作变换:
则系统(1)化为
其中:
显然αi>0(i=1, 3, 5, 6, 7, 8), α2, α4的符号不确定.
定理6 当(cp-mq1)(r-d)>am且α2≤2α3, $\frac{1}{k}$≤α2+α5成立时, 正平衡点E2全局渐进稳定.
证 设Dulac函数为B(u, v)=u-1vβ, 其中参数β待定, 则
其中:
若β>-2, $\frac{1}{k}$≤α2+α5, 则h1(u, β)<0, 且对任意u∈[0, ∞), 有
易知, 当h3(u, β)≤0时, h2(u, β)<0, D(v)在[0, ∞)上单调递减, 最大值D(0)=h3(u, β).因此要使D≤0对任意(u, v)∈$\mathbb{R}_{+}^{2}$成立, 只需
由于α3>0, 要使(10)式成立只需
令$\overline \beta = \frac{{1 + \beta }}{k}$, 则(11)式化为
当2α3-α2≥0时, 因为Δ(4α3-α2)≤0, 所以存在β使得(12)式成立.事实上, 可取β=4α3-α2, 易得β>-2.因此, 在定理6给定条件下, 对任意(u, v)∈$\mathbb{R}_{+}^{2}$, 存在β使得D≤0, 由Dulac-Bendixson定理, 平衡点E2全局渐进稳定.