对捕食模型的研究已经有很多结果, 如Pang和Wang^[1]研究了带有比率依赖响应函数的三种群捕食模型, 证明了对任意的扩散系数, 其唯一的正常数解对于反应扩散方程组而言是全局渐近稳定的, 从而该方程组没有非常数正平衡解. 结论表明, 对于该捕食模型, 一般扩散不能导致平衡态模式. 但是对于强耦合模型存在非常数正解, 这说明交错扩散可以导致平衡态模式, 更多关于比率依赖响应函数的捕食模型的研究见文献[2–5]. 衣凤岐等研究了Lengyel-Epstein模型, 给出了该模型的图灵不稳定性和分支^[6], 这表明扩散导致了图灵不稳定性. Du和Hsu^[7]研究了具有Leslie-Gower功能反应函数的扩散捕食模型, 结果表明在适当的条件下, 该系统不存在非常数正稳态解, 而当物种集中在空间栖息地的某个区域时, 该系统存在非常数正稳态解. 适当的选取系数函数, 食饵和捕食者的种群在子区域中趋于灭亡, 同时得到了异质环境中的特殊模式解. 在文献[8]中, 作者研究了具有食饵趋化项的捕食模型的正常数平衡态是局部和全局渐近稳定的. 林支桂等^[9]研究了一类带Michaelis-Menten函数响应系统平衡解的局部渐近稳定性和全局渐近稳定性. 刘蒙等^[10]研究了如下带有Beddington-DeAngelis响应函数的对食饵具有阶段结构的捕食模型

其中$ a_{21}, a_{12}, {a_{22}}, m, n $是正常数, $ u_1(t) $和$ u_2(t) $分别表示幼年食饵和成年食饵在$ t $时刻的种群密度, $ u_3(t) $表示捕食者在$ t $时刻的种群密度, 捕食者仅以成年食饵为食, 正常数$ r, c_1, a $和$ b $分别为幼年食饵的出生率, 死亡率, 过度拥挤率和幼年食饵转化为成年食饵的转化率; 正常数$ c_2, a_{11} $和$ a_{12} $分别为成年食饵的死亡率, 过度拥挤率和捕食者的捕获率; 正常数$ c_3 $表示捕食者的死亡率; $ a_{21} /a_{12} $表示营养物质转化为捕食者繁殖的速率, $ m $为捕食者对所捕获猎物的平均处理时间, $ nu_3 $反应了捕食者之间的相互干扰.

为了研究方便, 令$ a=a_{11}=a_{22}=1 $, 并用$ p $代替$ c_1+b $, 显然$ p>b $, 则模型$ \rm (1.1) $可写为

下面我们研究方程组

的正常数解的存在性. 由方程组(1.2)的第一个方程, 得到

再由方程组(1.2)的第三个方程, 得到

为了寻求方程组(1.2)的正常数解, 我们在(1.3)和(1.4)式中取正号, 并且要求$ a_{21}x_2>c_3+mc_3x_2 $, 当$ a_{21}>mc_3 $时, 此即

设

把(1.3)式以及(1.4)式代入方程组(1.2)的第二个方程, 我们得到

令

如果$ a_{21}>mc_3 $且$ x>x_0 $, 通过直接计算, 有

当$ 2x_0+c_2\geq\frac{a_{12}}{2n}+ \frac{br}{p} $时, $ \Phi'(x)>0 $. 为了保证$ \Phi(x)=0 $有比$ x_0 $大的解, 并且注意到

且$ \Phi(x) $在$ [x_0, +\infty) $上连续, 所以我们可以要求$ \Phi(x_0)<0 $. 显然$ \psi(x_0)=0 $, 且

因此$ \Phi(x_0)<0 $等价于

从上面的分析可以看出, 如果

则$ \Phi(x)=0 $在$ (x_0, +\infty) $内只有一个正解, 我们用$ \tilde{u}_2 $表示这个正解, 令

则$ (x_1, x_2, x_3)=\tilde {\bf{u}} $是方程组(1.2)的正解.

例如当$ a_{21}=9, m=c_3=1, b=5, r=1, c_2=\frac{1}{8}, p= 16, \frac{a_{12}}{n}=\frac{1}{16} $时, 条件(1.5)满足.

假设$ \Omega $是$ {{\bf R}}^N $中的一个具有光滑边界的有界区域, 如果物种的分布密度不均匀, 则可用下面的反应扩散方程组的初边值问题来描述:

其中$ \nu $为$ \partial\Omega $上的单位外法向量; 正常数$ d_1, d_2, d_3 $表示扩散系数; $ u_{i, 0}\ (i=1, 2, 3) $是连续函数. 因此当(1.5)式成立时, $ (u_1, u_2, u_3)=\tilde {\bf{u}} $是初边值问题(1.6)唯一的正常数平衡解.

设$ 0=\mu_1<\mu_2<\mu_3<\cdots $是算子$ -\Delta $在$ \Omega $上带有齐次Neumann边界条件的特征值, $ E(\mu_i) $是对应于$ \mu_i $在$ C^1(\bar\Omega) $中的特征子空间. 设

$ \{\phi_{ij}\, |\, j=1, \, \cdots , \, \hbox{ dim}\, E(\mu_i)\} $是$ E(\mu_i) $的一组正交基, 令$ {{\bf X}}_{ij}=\{{{\bf c}}\phi_{ij} | {{\bf c}} \in R^3\}, $则

定理2.1   如果$ p>b $且条件(1.5)成立, 那么问题(1.6)的正常数平衡解$ \tilde{\bf{u}} $是局部渐近稳定的.

证   令$ D={\rm diag}(d_1, d_2, d_3) $, $ {{\bf u}}=(u_1, u_2, u_3)^T $,

于是

其中

为了叙述方便, 记

设$ {\cal L}= {\cal D}\Delta+{\bf G}_{{{\bf u}}}(\tilde{{\bf u}}) $, 则初边值问题(1.6)在$ \tilde{{\bf u}} $处的线性化为

对每个$ i\geq 1 $, $ {\bf X}_i $在算子$ {\cal L} $下是不变的. $ \lambda $为$ {\cal L} $在$ {\bf X}_i $上的特征值当且仅当$ \lambda $为矩阵$ -\mu_i{\cal D}+{\bf G}_{{{\bf u}}}(\tilde{{\bf u}}) $的特征值, $ -\mu_i{\cal D}+{\bf G}_{{{\bf u}}}(\tilde{{\bf u}}) $的特征多项式为

其中

由(1.5)式的第二个不等式可知$ p(2x_0+c_2)>br $, 并注意到$ \tilde{u}_2>x_0 $, 于是有

又因为$ c_{11}<0, c_{22}<0, c_{33}<0, c_{23}<0, c_{32}>0 $, 所以有$ A_2>0 $, $ A_3>0 $.

直接计算得到

其中

因为

所以, 我们有$ M_1>0 $.

通过计算可以看出

从而$ B_1B_2-B_3\geq A_1A_2-A_3>0 $. 由Routh-Hurwitz判别定理可知, 对每一个$ i\geq 1 $, $ \psi_i(\lambda)=0 $的三个根$ \lambda_{i1}, \, \lambda_{i2}, \, \lambda_{i3} $都有负实部. 令$ \lambda=\mu_i\xi $, 则

注意到当$ i\rightarrow \infty $时, $ \mu_i\rightarrow \infty $, 所以

因为$ \tilde{\psi}(\xi)=0 $有三个负实根: $ -d_1, -d_2, -d_3 $, 取$ \bar{\delta}=\min \{d_1, d_2, d_3\}, $由连续性知存在$ i_0 $, 使得对所有的$ i\geq i_0 $, $ \mu_i\geq 1 $, 方程$ \tilde{\psi}_i(\xi)=0 $的三个根$ \xi_{i1}, \xi_{i2}, \xi_{i3} $满足

从而

取

则$ \tilde{\delta}>0 $, 取$ \delta=\min\{\tilde{\delta}, \frac{\bar{\delta}}{2}\}>0 $, 则有

故算子$ {\cal L} $的谱位于左半平面$ \{ {\rm Re} \lambda\leq -\delta\} $, 由文献[11, 定理5.1.1]可得$ \tilde {\bf{u}} $的局部渐近稳定性. 证毕.

显然初边值问题(1.6)存在唯一的非负整体解. 由强极值原理可知, 当$ u_i(x, 0)\not\equiv0 $$ (i=1, 2, 3) $时, $ u_i(x, t)>0 $$ (i=1, 2, 3), x\in\bar{\Omega}\times (0, \infty) $. 利用最大值原理, 我们得到

对问题(1.6)的三个方程在$ \Omega $上积分并相加, 再利用上面的估计式得到

其中$ C_1 $是一个仅依赖于$ b, r, a_{21}, m, c_3, C_0, p, c_2 $以及$ \Omega $的正常数, 因此$ \|u_i(\cdot , t)\|_{L^1(\Omega)}\ ( i=1, 2, 3) $在$ [0, +\infty) $上有界. 由文献[11, 第3.5节的习题4]知, 存在正常数$ C_2 $, 使得$ \|u_i(\cdot , t)\|_\infty\leq C_2\ ( i=1, 2, 3) , t\geq 0 $. 再由文献[12, 定理A2], 存在常数$ C>0 $, 使得

引理3.1^[13]   设$ a, b $是两个正常数, 假设$ \phi, \varphi\in C^1([a, \infty)), \varphi(t)\geq 0 $, 且$ \phi $下方有界, 如果对某个正常数$ K $, 有$ \phi'(t)\leq b\varphi (t) $, 且$ \varphi'(t)\leq K, t\in [a, \infty) $, 则$ \lim\limits_{t\to \infty}\varphi(t)=0 $.

定理3.1   如果$ p>b $, 条件(1.5)成立, 且$ \frac{a_{12}m\tilde{u}_3}{1+m\tilde{u}_2+n\tilde{u}_3}<1 $, 那么初边值问题(1.6)的正常数平衡解$ \tilde{\bf{u}} $是全局渐近稳定的, 此时问题(1.6)没有非常数正平衡解.

证   定义

则当$ \frac{a_{12}m\tilde{u}_3}{1+m\tilde{u}_2+n\tilde{u}_3}<1 $时, 有

由于$ |{{\bf u}}|^2\leq C $, 因此有

由(1.6)和(3.7)式可知, $ \psi'_1(t), \psi'_2(t) $在$ [1, \infty) $上有界, 对上式应用引理3.1得到

因此

由(3.8)式和Poincáre不等式可得

其中$ \bar{u}_i=\frac{1}{|\Omega|}\int_{\Omega}u_i{\rm d}x, i=1, 2, 3 $, 由于

再结合(3.9)和(3.10)式可得

由(3.1)式可知, 存在序列$ \{t_m\}^\infty_{m=1} $的子列仍记为$ \{t_m\}^\infty_{m=1} $及非负函数$ w_1, w_2, w_3\in C^2(\bar{\Omega}) $, 使得

因此, $ w_i\equiv \tilde{u}_i\ (i=1, 2, 3) $, 于是

再由$ \tilde{{\bf u}} $的局部渐近稳定性可得$ \tilde{{\bf u}} $是全局渐近稳定的. 定理3.1得证.

注   由于

所以

又因为$ \frac{-p+\sqrt{p^2+4rx}}{2x} $在$ (0, \infty) $内关于$ x $非增且$ \tilde{u}_2>x_0 $, 从而

由此可见, 当$ \Phi(x_0)>-\frac{x_0}{m} $时, 有

所以, 当$ p>b $, 条件(1.5)成立, 且$ \Phi(x_0)>-\frac{x_0}{m} $时, 初边值问题(1.6) 的正常数平衡解$ \tilde{\bf{u}} $是全局渐近稳定的.