一类食饵带病毒的捕食者-食饵扩散模型的稳定性
具有Allee效应的捕食-食饵扩散模型定性分析

第38卷第1期2021年02月工程数学学报CHINESE JOURNAL OF ENGINEERING MATHEMATICSVol.38No.1Feb.2021doi:10.3969/j.issn.1005-3085.2021.01.008文章编号:1005-3085(2021)01-0085-12具有Allee效应的捕食-食饵扩散模型定性分析李海侠(宝鸡文理学院数学与信息科学学院,宝鸡721013)摘要:本文讨论一类具有B-D反应函数和Allee效应的捕食-食饵扩散模型正解的存在性、唯一性和多重性.首先运用不动点指数理论得到了正解存在的充分条件.接着利用特征值的变分原理给出了正解的唯一性条件.最后通过分析极限系统的正解,运用不动点指数理论、分歧理论和扰动理论确定了正解的确切重数和稳定性.讨论结果表明:只要Allee效应常量满足适当关系且捕食者的增长率较大,当参数满足适当条件时系统存在唯一正解,当食饵的增长率在一定范围内时系统恰好存在两个正解.关键词:捕食-食饵模型;Allee效应;唯一性;不动点指数理论;扰动理论;确切重数;稳定性分类号:AMS(2010)35K57;35B35中图分类号:O175.26文献标识码:A1引言1931年Allee在研究过程中发现群居的生活状态有利于种群的增长,但是密度太大又会抑制种群的生长甚至会因为资源争夺而走向灭绝.对于每一个种群来说,必定存在着它独立的最适合自身生长繁殖的最佳密度,这就是Allee效应.已有大量的理论和实验证明,Allee效应与种群的灭绝密切相关,在很大程度上能增加低密度种群的灭绝风险,尤其对小种群、分散种群、稀有种群以及濒临灭绝种群的动力学行为具有非常大的影响.因此,研究具有Allee效应的生物模型对生物保护具有很重要的意义,近年来受到了生物学家和数学家的很大关注[1-10].本文在齐次Dirichlet边界条件下考虑如下具有B-D反应函数和Allee效应捕食-食饵扩散模型−∆u=u(a1−u−mu+k1)−p1uvb+cu+dv,x∈Ω,−∆v=v(a2−p2vu+k2),x∈Ω,u=v=0,x∈∂Ω,(1)其中Ω是R N中带有光滑边界∂Ω的有界区域,u和v分别表示食饵和捕食者的浓度,a1和a2分别是u和v的最大增长率.mu+k1是加法Allee效应项,m和k1是Allee效应常量,反映了Allee效应的强弱程度.p2表示捕食者获得的平均减少率的最大值,k2表示环境对捕收稿日期:2018-08-27.作者简介:李海侠(1977年8月生),女,博士,副教授.研究方向:偏微分方程计算及其可视化.基金项目:国家自然科学基金(61672021;11801013);陕西省自然科学基础研究计划项目(2018JQ1066);宝鸡市科技计划项目(2018JH-20);宝鸡文理学院博士科研项目(ZK2018069).86工程数学学报第38卷食者的保护程度.(1)中的参数a1,a2,k1,k2,p1,p2,m,b,c,d都是正常数且m<a1k1.当c=d=0时,文献[3]在齐次Neumann边界条件下讨论了系统唯一正常数解的稳定性以及非常数正解的存在性和不存在性.当d=0时,文献[4]在齐次Neumann边界条件下讨论了不具有扩散系统和具有扩散系统的定性性质.不考虑扩散的情形下文献[8]在齐次Neumann边界条件下研究了系统非常数正解的存在性和不存在性.然而,由于加法Allee效应项的引入使得系统的研究变得复杂,所以目前在齐次Dirichlet边界条件下对具有加法Allee效应捕食-食饵扩散模型的研究很少见.文献[6]利用稳定性理论和度理论考察了系统(1)参数p1充分小时正解的唯一性和稳定性,接着分析了参数c充分大时正则扰动下正解的多重性,此扰动的分析较简单.而本文除了利用特征值变分原理得到系统(1)正解的唯一性条件外,主要讨论参数c充分大时奇异扰动下正解的稳定性和确切重数,而且此情形的讨论比文献[6]的正则扰动复杂的多.本文的工作是对文献[6]的补充和完善.为了得到重要的结论,这节最后我们给出一些预备知识.令q(x)∈C(Ω),λ1(q)是如下特征值问题的主特征值−∆ψ+q(x)ψ=λψ,x∈Ω,ψ=0,x∈∂Ω,则λ1(q)连续依赖q,λ1(q)是简单的.而且,如果q1≤q2,q1≡q2,则λ1(q1)<λ1(q2).为了简单起见,定义λ1(0)为λ1,相应于λ1的主特征函数记为ψ1.非线性问题−∆u=u(a−ru),x∈Ω,u=0,x∈∂Ω.(2)众所周知,若a>λ1,则(2)存在唯一正解.我们定义唯一正解为θ(a,r).特别地,记θ(a,1)为θa,则θa<a且θa连续依赖a.2正解的存在性、不存在性和唯一性考虑单物种问题−∆u=u (a1−u−mu+k1),x∈Ω,u=0,x∈∂Ω,(3)易知,当m<k21,a1>λ1+mk1时,(3)存在唯一正解,记为u∗.而且u∗<θa1<a1.因此,在一定条件下系统(1)存在半平凡解(u∗,0)和(0,θ(a2,p2k2)).简单起见记θ(a2,p2k2)为v∗.根据文献[6]可得如下引理.引理1[6]系统(1)的任意正解(u,v)有先验估计u(x)<a1,v∗<v(x)<Q,Q=a2(k2+a1)p2.引理2[6]如果系统(1)有正解,则a1>λ1,a2>λ1.第1期李海侠:具有Allee效应的捕食-食饵扩散模型定性分析87为了计算不动点指数,引入以下记号C0(Ω)={u∈C(Ω):u=0,x∈∂Ω},E=C0(Ω)⊕C0(Ω),K={u∈C(Ω):u≥0,x∈Ω},W=K⊕K,D={(u,v)∈W:u≤a1+1,v≤Q+1}.取q充分大,使得q>max{m/k1+p1/d,a2(a1+k2)/k2}.定义算子A:E→E为A(u,v)=(−∆+q)−1u(a1−u−mu+k1)−p1uvb+cu+dv+quv(a2−p2vu+k2)+qv.引理3[6](i)设a1=λ1+m k1,a2=λ1.若a1>λ1+mk1或a2>λ1,则index W(A,(0,0))=0;若a1<λ1+mk1且a2<λ1,则index W(A,(0,0))=1;(ii)index W(A,D)=1;(iii)设m<k21,a1>λ1+mk1.若a2>λ1,则index W(A,(u∗,0))=0;若a2<λ1,则index W(A,(u∗,0))=1;(iv)设a2>λ1.若a1>λ1(p1v∗b+dv∗)+mk1,则index W(A,(0,v∗))=0;若a1<λ1(p1v∗b+dv∗)+mk1,则index W(A,(0,v∗))=1.最后由引理3并结合度的可加性可得系统(1)正解存在的充分条件,证明省略.定理1若m<k21,a1>λ1(p1v∗b+dv∗)+mk1,a2>λ1,则系统(1)至少存在一个正解.由引理2可得系统(1)正解的不存在性.定理2如果下面的条件之一成立,则系统(1)没有正解.(i)a1≤λ1;(ii)a1>λ1且a2≤λ1;(iii)a2>λ1且a1≤λ1(k2p1θa2bp2+cp2a1+k2dθa2).证明只证明(iii).首先根据最值原理易证得v>k2p2θa2.于是−∆u<u (a1−u−k2p1p2θa2b+cu+k2dp2θa2)<u[a1−k2p1θa2bp2+cp2a1+k2dθa2].故当a1≤λ1(k2p1θa2bp2+cp2a1+k2dθa2)时,系统(1)无正解.这节最后利用特征值的变分原理给出系统(1)正解存在的唯一性条件.定理3设a1>λ1+p1Qb+dQ +mk1,a2>λ1.令 =max{supΩu∗v∗,supΩv∗u∗}.若p1cQ b(b+dQ)+mk21≤1且p21(a1+k2)b2p2+p2Q2k32+4mk21+4p1cbd≤4,则系统(1)存在唯一正解.88工程数学学报第38卷证明根据已知条件和定理1可知系统(1)存在正解.采用反证法证明唯一性.假设系统(1)存在两个不同的正解(u 1,v 1)和(u 2,v 2),其中u i >0,v i >0(i =1,2).由比较原理和引理1可知u ∗≤u i ≤u ∗,v ∗≤v i ≤v ∗,这里u ∗,v ∗分别为如下问题的唯一正解−∆u =u (a 1−u −mk 1−p 1Q b +dQ),x ∈Ω,u =0,x ∈∂Ω,−∆v =v (a 2−p 2v a 1+k 2),x ∈Ω,v =0,x ∈∂Ω.令Φ=u 1−u 2,Ψ=v 1−v 2,则−∆Φ−(a 1−u 1−m u 1+k 1−p 1v 1b +cu 1+dv 1)Φ+u 2Φ−mu 2Φ(u 1+k 1)(u 2+k 1)+p 1u 2[(b +cu 2)Ψ−cv 2Φ](b +cu 1+dv 1)(b +cu 2+dv 2)=0,(4)−∆Ψ−(a 2−p 2v 1u 1+k 2)Ψ+p 2v 2[(u 2+k 2)Ψ−v 2Φ](u 1+k 2)(u 2+k 2)=0.(5)因为(u 1,v 1)是系统(1)的正解,所以根据特征值的变分原理可知∫Ω[−∆φ−(a 1−u 1−mu 1+k 1−p 1v 1b +cu 1+dv 1)φ]φ≥0,∀φ∈C 20(Ω),∫Ω[−∆ψ−(a 2−p 2v 1u 1+k 2)ψ]ψ≥0,∀ψ∈C 20(Ω).于是,公式(4)表明∫Ω[1−m (u 1+k 1)(u 2+k 1)−p 1cv 2(b +cu 1+dv 1)(b +cu 2+dv 2)]u 2Φ2d x+∫Ωp 1u 2(b +cu 2)(b +cu 1+dv 1)(b +cu 2+dv 2)ΦΨd x ≤0.(6)同理,由(5)式有∫Ωp 2v 2u 1+k 2Ψ2d x −∫Ωp 2v 22(u 1+k 2)(u 2+k 2)ΦΨd x ≤0.(7)令Γ=∫Ω[1−m (u 1+k 1)(u 2+k 1)−p 1cv 2(b +cu 1+dv 1)(b +cu 2+dv 2)]u 2Φ2d x+∫Ω[p 1u 2(b +cu 2)(b +cu 1+dv 1)(b +cu 2+dv 2)−p 2v 22(u 1+k 2)(u 2+k 2)]ΦΨd x+∫Ωp 2v 2u 1+k 2Ψ2d x.第1期李海侠:具有Allee效应的捕食-食饵扩散模型定性分析89由假设p1cQb(b+dQ)+mk21≤1可推出1−m(u1+k1)(u2+k1)−p1cv2(b+cu1+dv1)(b+cu2+dv2)>0.最后,令∆=[p1u2(b+cu2)(b+cu1+dv1)(b+cu2+dv2)−p2v22(u1+k2)(u2+k2)]2−4[1−m(u1+k1)(u2+k1)−p1cv2(b+cu1+dv1)(b+cu2+dv2)]p2v2u2u1+k2.经过计算并结合已知条件可得∆=p2v2u2u1+k2[p21u2(b+cu2)2(u1+k2)(b+cu1+dv1)2(b+cu2+dv2)2v2p2−2p1v2(b+cu2)(b+cu1+dv1)(b+cu2+dv2)(u2+k2)+p2v32(u1+k2)(u2+k2)2u2]−4[1−m(u1+k1)(u2+k1)−p1cv2(b+cu1+dv1)(b+cu2+dv2)]<p2v2u2u1+k2[p21(a1+k2)b2p2u2v2+p2Q2k32v2u2−4+4mk21+4p1cbd]<p2v2u2u1+k2[p21(a1+k2)b2p2+p2Q2k32−4+4mk21+4p1cbd]≤0.故Γ>0.而式(6)和(7)可知Γ≤0,矛盾.因此结论成立.3正解的确切重数和稳定性本小节应用扰动理论和不动点指数理论讨论参数c→∞时,系统(1)正解的确切重数和稳定性.易看出当c→∞时,系统(1)的正解有两种类型,即如果(u,v)是系统(1)的任意正解,则对于充分大的c,(u,v)趋于如下问题的正解−∆u=u(a1−u−mu+k1),x∈Ω,−∆v=v(a2−p2vu+k2),x∈Ω,u=v=0,x∈∂Ω,(8)或者(cu,v)趋于如下问题的正解−∆w=w(a1−mk1−p1vb+w+dv),x∈Ω,−∆v=v(a2−p2vk2),x∈Ω,w=v=0,x∈∂Ω.(9)引理4[6]如果m<k21,a1>λ1+mk1,a2>λ1,则(8)有唯一非退化且线性稳定的正解.90工程数学学报第38卷定理4[6]设m <k 21,a 2>λ1.对于任意小的ϵ>0,存在充分大的C (ϵ),使得当c ≥C (ϵ)时,若λ1+m k 1+ϵ≤a 1<λ1(p 1v ∗b +dv ∗)+m k 1,则系统(1)至少存在两个正解.如果a 2>λ1,则问题(9)等价于如下问题−∆w =w (a 1−m k 1−p 1v ∗b +w +dv ∗),x ∈Ω,w =0,x ∈∂Ω.(10)对于问题(10),用类似文献[11]的证明方法有如下引理.引理5设a 2>λ1,则(10)存在正解当且仅当λ1+m k 1≤a 1≤λ1(p 1v∗b +dv ∗)+mk 1且所有正解不稳定.而且存在充分小的ϵ0,使得当a 1∈(λ1+m k 1,λ2+m k 1]∪[λ1(p 1v ∗b +dv ∗)+m k 1−ϵ0,λ1(p 1v ∗b +dv ∗)+m k 1)时,(10)的正解(若存在)唯一且非退化.引理6若λ1+mk 1≤a 1≤λ1(p 1v∗b +dv ∗)+m k 1,a 2>λ1,则(9)存在正解且不稳定.引理2和定理1表明系统(1)正解存在的必要条件和充分条件存在代沟.下面的引理给出当a 1∈[λ1+m k 1+ϵ,λ1(p 1v ∗b +dv ∗)+mk 1)且c 充分大时,系统(1)恰好有两种类型的正解.引理7设m <k 21,a 2>λ1.对任意小的ϵ,δ>0,存在充分大的C (ϵ,δ),使得若c ≥C (ϵ,δ),a 1∈[λ1+m k 1+ϵ,λ1(p 1v ∗b +dv ∗)+m k 1)且(u,v )是(1)的正解,则:(a)∥u −u ∗∥C 1+∥v −v ∗∗∥C 1≤δ;(b)∥cu −w ∥C 1+∥v −v ∗∥C 1≤δ;这里w 是(10)的正解,v ∗∗为如下问题的正解−∆v =v (a 2−p 2v u ∗+k 2),x ∈Ω,v =0,x ∈∂Ω.而且,若(a)情形出现,则正解(u,v )非退化且线性稳定.证明采用反证法证明.假设存在a 1,i →a 1∈[λ1+m k 1+ϵ,λ1(p 1v ∗b +dv ∗)+m k 1),c i →∞,以及(1)的正解(u i ,v i )远离(u ∗,v ∗∗)且(c i u i ,v i )远离(9)的任意正解.根据L p 估计和So-bolev 嵌入定理假定在C 1(Ω)中u i →u,v i →v .分析以下两种情况:(i)若c i ∥u i ∥∞→∞,则当i →∞时,u i →u ∗.因此v i →0或v i →v ∗∗.而a 2>λ1,所以必有v i →v ∗∗,即(u i ,v i )→(u ∗,v ∗∗).这与假设(u i ,v i )远离(u ∗,v ∗∗)矛盾;(ii)若c i ∥u i ∥∞一致有界,则当i →∞时,u i →0.于是v i →v ∗.设c i u i =w i ,则w i 满足−∆w i =w i (a 1,i −u i −m u i +k 1−p 1v ib +w i +dv i),x ∈Ω,w i =0,x ∈∂Ω.(11)第1期李海侠:具有Allee 效应的捕食-食饵扩散模型定性分析91∥w i ∥∞一致有界,所以由L p 估计和Sobolev 嵌入定理假定在C 1(Ω)中w i →w .对(11)式取极限,不难看出w 满足(10)式.如果w ≥0,≡0,则由Harnack 不等式可知w >0.因此,(w,v ∗)是(9)的正解,这与假设(c i u i ,v i )远离(9)的任意正解矛盾.因此,w ≡0,则(w i ,v i )→(0,v ∗).令˜w i =w i∥w i ∥∞,则−∆˜w i =˜w i (a 1,i −u i −m u i +k 1−p 1v ib +w i +dv i),x ∈Ω,˜w i =0,x ∈∂Ω.故a 1,i →λ1(p1v∗b +dv ∗)+m k 1.利用局部分歧定理[12]易验证(λ1(p 1v ∗b +dv ∗)+m k 1,0,v ∗)是(9)的分歧点,则在(λ1(p 1v∗b +dv ∗)+m k 1,0,v ∗)的邻域内(9)存在正解.因此存在ˆa 1,i →λ1(p 1v ∗b +dv ∗)+mk 1,使得系统(9)有正解(ˆw i ,v ∗)→(0,v ∗).于是,当i →∞时,(a 1,i ,c i u i ,v i )接近于(ˆa 1,i ,ˆw i ,v ∗),又与假设(c i u i ,v i )远离(9)的正解矛盾.故定理的第一部分成立.接下来证明剩余部分.易看出当情形(a)发生时,(1)是(8)的正则扰动.于是通过引理4和标准的扰动理论可知正解(u,v )非退化且线性稳定.引理8设m <k 21,a 2>λ1.存在充分小的ϵ1>0(ϵ1<ϵ0)和充分大的C 1>0,使得如果c ≥C 1,a 1∈[λ1(p 1v ∗b +dv ∗)+m k 1−ϵ1,λ1(p 1v ∗b +dv ∗)+m k 1),则系统(1)恰好有两个正解,一个渐近稳定而另一个不稳定,这里ϵ0在引理5中给出.证明根据引理7分两步证明.首先证明当c 充分大时,(1)接近(u ∗,v ∗∗)的正解唯一且渐近稳定.引理7可知系统(1)接近(u ∗,v ∗∗)的任意正解非退化且渐近稳定.故只需证明接近(u ∗,v ∗∗)的正解(u,v )唯一.取δ′>δ充分小,这里δ在引理7中给出.设ˆD={(u,v )∈E :u ∗−δ′<u <u ∗+δ′,v ∗∗−δ′<v <v ∗∗+δ′},取τ∈[0,1]和充分大的常数P .定义算子F τ:ˆD→W 为F τ(u,v )=(−∆+P )−1 u (a 1−u −mu +k 1)−τp 1uv b +cu +dv +P u v (a 2−p 2vu +k 2)+P v.显然,F τ是紧的连续可微算子.(u,v )是系统(1)在ˆD中的正解当且仅当它是F 1的正不动点.另外,由引理7可知F τ在∂ˆD上没有不动点,因而由不动点指数的同伦不变性有index W (F τ,ˆD)≡常数,且index W (F 1,ˆD )=index W (F 0,ˆD ).因为F 0在ˆD 内有唯一不动点(u ∗,v ∗∗)且(u ∗,v ∗∗)稳定,所以index W (F 0,ˆD )=index W (F 0,(u ∗,v ∗∗))=1.故index W (F 1,ˆD)=1.另一方面,由引理7可知F 1在ˆD 内的所有正不动点非退化且线性稳定.因此根据紧算子理论可得F 1至多有有限个正解.记为{(u i ,v i ):0≤i ≤n }.于是I −F ′1(u i ,v i )在W (u i ,v i )上可逆且F ′1(u i ,v i )没有大于1的实特征根.又因为W (u i ,v i )=S (u i ,v i ),所以F ′1(u i ,v i )在W (u i ,v i )上不具有性质α.故根据文献[13]的定理1有index W (F 1,(u i ,v i ))=1.最后利用引理3和度的可加性得1=index W (F 1,ˆD )=∑1≤i ≤nindex W (F 1,(u i ,v i ))=n.92工程数学学报第38卷由此证明了系统(1)接近(u ∗,v ∗∗)的正解(u,v )唯一.接下来证明(1)存在唯一且不稳定的类型(b)的正解.首先证明唯一性.设˜u =cu,µ=1/c .考虑如下问题−∆˜u =˜u (a 1−µ˜u −m µ˜u +k 1)−p 1˜u v b +˜u +dv ,x ∈Ω,−∆v =v (a 2−p 2vµ˜u +k 2),x ∈Ω,˜u =v =0,x ∈∂Ω.(12)显然,(u,v )是(1)的正解当且仅当(cu,v )是(12)带有µ=1/c 的正解.因此,只要证明(12)的正解(˜u ,v )唯一即可.对于固定的µ≥0,以a 1作为分歧参数再由局部分歧定理可知(λ1(p1v∗b +dv ∗)+mk 1,0,v ∗)是(12)的单重分歧点,则存在σ>0和正分歧解曲线Υµ={(a 1(µ,s ),˜u (µ,s ),v (µ,s )):0<s ≤σ},0≤µ≤σ,其中˜u (µ,s )=s (φ1+κ1(µ,s )),v (µ,s )=v ∗+s (ψ1(µ)+κ2(µ,s )),φ1是λ1(p 1v∗b +dv ∗)+mk 1所对应的特征函数,ψ1(µ)=(−∆−(a 2−2p 2v ∗k 2))−1µp 2k 22(v ∗)2φ1>0,a 1(0,0)=λ1(p 1v ∗b +dv ∗)+mk 1,κ1(0,0)=κ2(0,0)=0.而且,(12)在(λ1(p 1v∗b +dv ∗)+mk 1,0,v ∗)附近的所有解都在曲线Υµ上.于是只需证明对于固定的µ≥0和适当的ϵ1,曲线Υµ一致覆盖a 1-区域[λ1(p 1v ∗b +dv ∗)+m k 1−ϵ1,λ1(p 1v ∗b +dv ∗)+m k 1)仅一次即可.将分歧正解(a 1(µ,s ),˜u (µ,s ),v (µ,s ))代入到(12)的第一个方程中,两边同除以s 关于s 在s =0处微分并在Ω上积分得∂a 1∂s (0,0)=−∫Ωp 1v ∗b +dv∗φ31d x <0.(13)选择σ充分小,使得∂a 1∂s(µ,s )<0.因而λ1(p 1v ∗b +dv ∗)+mk 1−a 1(0,σ)=a 1(0,0)−a 1(0,σ)>0.因为a 1(µ,s )连续,所以存在σ1∈(0,σ],使得ϵ1=min 0≤µ≤σ1(λ1(p 1v ∗b +dv ∗)+mk 1−a 1(µ,σ))>0.于是若a 1≥λ1(p 1v ∗b +dv ∗)+mk 1−ϵ1,第1期李海侠:具有Allee效应的捕食-食饵扩散模型定性分析93则对于任意µ∈[0,σ1],a1(µ,σ)≤a1.这样我们得到对于任意的µ∈[0,σ1],Υµ一致覆盖a1-区域[λ1(p1v∗b+dv∗)+mk1−ϵ1,λ1(p1v∗b+dv∗)+mk1).又因为∂a1∂s(µ,s)<0,所以每条曲线覆盖区域仅一次.取C1=1/σ1,如果c≥C1,a1∈[λ1(p1v∗b+dv∗)+mk1−ϵ1,λ1(p1v∗b+dv∗)+mk1),则(1)恰好有唯一(b)类型的正解.最后,我们证明(b)类型的正解不稳定.令L1是(1)在(u,v)处带有特征值η1和特征函数(ξ1,ζ1)的线性化算子.令L2是(12)在(cu,v)处带有特征值η2和特征函数(ξ2,ζ2)的线性化算子.易证ξ1=ξ2,ζ1=cζ2,η1=η2.于是证明(12)于(cu,v)处的线性化算子在分歧曲线Υµ的任意点处有负的特征值γ即可.通过文献[14]可得存在ν>0和C1函数α:(−ν,ν)×(λ1(p1v∗b+dv∗)+mk1−ν,λ1(p1v∗b+dv∗)+mk1+ν)→R1,β:(−ν,ν)×(−ν,ν)→R1,使得α(µ,a1)是(12)在(a1,0,v∗)处线性化算子的特征值,β(µ,s)是(12)在(a1(µ,s),˜u(µ, s),v(µ,s))(0≤µ,s≤ν)处线性化算子的特征值.进而,如果∂α∂a1(0,λ1(p1v∗b+dv∗)+mk1)=0,则lim s→0s∂a1∂s(0,s)∂α∂a1(0,λ1(p1v∗b+dv∗)+mk1)β(0,s)=−1.(14)下面,我们证明∂α∂a1(µ,λ1(p1v∗b+dv∗)+mk1)<0.从上面的讨论很容易看出α(µ,a1)是如下特征值问题−∆χ−(a1−p1v∗b+dv∗−mk1)χ=α(µ,a1)χ,x∈Ω,χ=0,x∈∂Ω的一个特征值.于是∂α∂a1(µ,λ1(p1v∗b+dv∗)+mk1)<0.最后结合(13)和(14),可得β(0,s)<0.这表明类型(b)的正解不稳定.基于上面引理,这节最后给出c充分大时确定(1)正解确切个数的重要结果.定理5设m<k21,a2>λ1固定.任意ϵ∈(0,ϵ2),存在充分大的C=C(ϵ),如果c≥C且a1∈[λ1+ϵ,λ1+ϵ2]∪[λ1(p1v∗b+dv∗)+mk1−ϵ0,λ1(p1v∗b+dv∗)+mk1),则系统(1)恰好有两个正解,一个渐近稳定另一个不稳定.其中ϵ2=min {λ2+mk1,λ1(p1v∗b+dv∗)+mk1−ϵ02}−λ1.94工程数学学报第38卷证明令E=[λ1+ϵ,λ1+ϵ2]∪[λ1(p1v∗b+dv∗)+mk1−ϵ0,λ1(p1v∗b+dv∗)+mk1−ϵ1].引理8可知只需证明当a1∈E时,(1)恰好有一个渐近稳定的正解和另一个不稳定的正解即可.引理7表明如果c充分大且a1∈[λ1+mk1+ϵ,λ1(p1v∗b+dv∗)+mk1),则(1)存在两类形式的正解.采用类似引理8的证明过程易证得,若a1∈E,则(1)存在唯一接近(u∗,v∗∗)类型(a)的渐近稳定的正解.其次,证明若a1∈E,则(1)存在唯一不稳定的类型(b)的正解.再次讨论问题(12).设˜a1∈E.由引理5可知(10)带有a1=˜a1的唯一正解w˜a1非退化.于是,(w˜a1, v∗)是(12)带有(a1,µ)=(˜a1,0)的非退化正解.显然,对于小的µ>0,(12)是(9)的正则扰动.因此,根据隐函数定理可得存在小的δ,˜ϵ>0,使得(12)有唯一正解(˜u a1,v a1),且对任意a1∈E和0≤µ≤˜ϵ,有∥˜u a1−w a1∥C1+∥v a1−v∗∥C1≤δ.设C(ϵ)=max{1/˜ϵ,C(ϵ,δ)},这里C(ϵ,δ)在引理7给出.于是对于任意ϵ∈(0,ϵ2),存在C=C(ϵ),使得如果c≥C和a1∈E,则(1)存在唯一类型(b)的正解.接下来,证明(1)具有类型(b)的正解不稳定.定义算子B和B0分别如下Bωχ=−∆ω−[a1−2u−mk1(u+k1)2−p1v(b+dv)(b+cu+dv)2]ω+p1u(b+cu)(b+cu+dv)2χ−∆χ−(a2−2p2vu+k2)χ−p2v2(u+k2)2ω,B0ωχ=−∆ω−[a1−mk1−p1v∗(b+dv∗)(b+w a1+dv∗)2]ω−∆χ−(a2−2p2v∗k2)χ−p2k22(v∗)2ω.考虑如下特征值问题B(ω,χ)T=ˆη(ω,χ)T,B0(ω,χ)T=ˆη0(ω,χ)T.容易验证当c→∞,对于趋于(0,v∗)的(u,v),其中cu→w a1,B以算子范数一致地趋向于B0.通过算子的特征值理论有B0的特征值是ˆη0=λ1(−a1+mk1+p1v∗(b+dv∗)(b+w a1+dv∗)2)<λ1(−a1+mk1+p1v∗b+w a1+dv∗)=0.根据标准的扰动理论可知B有特征值ˆη接近ˆη0且Reˆη<0.因此,对于充分大的c和a1∈E,(1)具有类型(b)的正解不稳定.第1期李海侠:具有Allee效应的捕食-食饵扩散模型定性分析95 4讨论与结论本文在齐次Dirichlet边界条件下研究了具有Allee效应和B-D反应函数的捕食-食饵扩散模型.通过分析得到:当Allee效应常量m,k1满足m<k21且食饵和捕食者的增长率较大a1>λ1(p1v∗b+dv∗)+mk1,a2>λ1时,食饵和捕食者能够共存;当食饵或捕食者的增长率过小时,食饵或捕食者将灭绝;只要捕食者的增长率a2>λ1且Allee效应常量m,k1满足m<k21,当食饵的增长率a1∈[λ1+ϵ,λ1+ϵ2]∪[λ1(p1v∗b+dv∗)+mk1−ϵ0,λ1(p1v∗b+dv∗)+mk1),且捕食者对食饵的处理时间c的影响充分大时食饵和捕食者不但能够共存,而且系统恰好存在两个正解.从生物意义上来讲,研究结果表明当参数满足一定条件时系统出现了生物上所谓的多态性,而且食饵和捕食者将会以稳定均衡的形式共存.这说明保持适合种群自身生长繁殖的最佳密度、控制种群适当的增长率以及合理地开发和利用生物资源对生物种群保护和维持生态平衡具有非常重要的意义.Allee效应增加了系统动力学行为的复杂性,本文得到的主要结论既补充和完善了以往相关文献的结果,又丰富了齐次Dirichlet边界条件下具有Allee效应的生物扩散模型的研究内容.参考文献:[1]SHI J P,SHIVAJI R.Persistence in reaction diffusion models with weak Allee effect[J].Journal of Mathe-matical Biology,2006,52(6):807-829.[2]WANG J F,SHI J P,WEI J J.Dynamics and pattern formation in a diffusive predator-prey system withstrong Allee effect in prey[J].Journal of Differential Equations,2011,251(4-5):1276-1304.[3]YANG L,ZHONG S M.Dynamics of a diffusive predator-prey model with modified Leslie-Gower schemesand additive Allee effect[J].Computational and Applied Mathematics,2014,34(2):671-690.[4]WANG W M,ZHU Y N,CAI Y L,et al.Dynamical complexity induced by Allee effect in a predator-preymodel[J].Nonlinear Analysis:Real World Applications,2014,16(1):103-119.[5]WANG X C,WEI J J.Dynamics in a diffusive predator-prey system with strong Allee effect and Ivlev-typefunctional response[J].Journal of Mathematical Analysis and Applications,2015,422(2):1447-1462. [6]李海侠.带有加法Allee效应的捕食-食饵模型共存解的惟一性和多解性[J].武汉大学学报(理学版),2015,61(4):319-322.LI H X.Uniqueness and multiplicity of coexistence solutions for a predator-prey model with additive Allee effect[J].Journal of Wuhan University(Natural Science Edition),2015,61(4):319-322.[7]李海侠.带有保护区域的加法Allee效应捕食-食饵模型的共存解[J].山东大学学报(理学版),2015,50(9):88-94.LI H X.Coexistence solutions for a predator-prey model with additive Allee effect and a protection zone[J].Journal of Shandong University(Natural Science),2015,50(9):88-94.96工程数学学报第38卷[8]INDRAJAYA D,SURYANTO A,ALGHOFARI A R.Dynamics of modified Leslie-Gower predator-preymodel with Beddington-DeAngelis functional response and additive Allee effect[J].International Journal of Ecology&Development,2016,31(3):60-71.[9]NI W J,WANG M X.Dynamical properties of a Leslie-Gower prey-predator model with strong Allee effectin prey[J].Discrete and Continuous Dynamical Systems–Series B,2017,22(9):3409-3420.[10]MIN N,WANG M X.Dynamics of a diffusive prey-predator system with strong Allee effect growth rateand a protection zone for the prey[J].Discrete and Continuous Dynamical Systems–Series B,2018,23(4): 1721-1737.[11]DU Y H,LOU Y.Some uniqueness and exact multiplicity results for a predator-prey model[J].Transactionsof the American Mathematical Society,1997,349(6):2443-2475.[12]CRANDALL M G,RABINOWITZ P H.Bifurcation from simple eigenvalues[J].Journal of FunctionalAnalysis,1971,8(2):321-340.[13]DANCER E N.On the indices offixed points of mappings in cones and applications[J].Journal of Mathe-matical Analysis and Applications,1983,91(1):131-151.[14]SMOLLER J.Shock waves and reaction-diffusion equations[M].New York:Springer-Verlag,1983.Qualitative Analysis of a Diffusive Predator-prey Modelwith Allee EffectLI Hai-xia(Institute of Mathematics and Information Science,Baoji Universityof Arts and Sciences,Baoji721013)Abstract:The existence,uniqueness and multiplicity of positive solutions to a diffusive predator-prey model with B-D functional response and Allee effect are discussed.By thefixed point index theory,the sufficient conditions for the existence of positive solutions are obtained. Secondly,the conditions for the uniqueness of positive solutions are given by the variational characterization of the lowest eigenvalue.Finally,based on the analysis of positive solutions to two limiting systems,the exact multiplicity and stability of positive solutions are determined by means of the combination of thefixed point index theory,bifurcation theory and perturbation theory of eigenvalues.When the Allee effect constants meet appropriate relationship and the growth rate of the predator is large,the results show that the system has only a unique positive solution when the parameters satisfy certain conditions,and has exactly two positive solutions when the growth rate of the prey lies in a certain range.Keywords:predator-prey model;Allee effect;uniqueness;fixed point index theory;perturba-tion theory;exact multiplicity;stabilityReceived:27Aug2018.Accepted:06Mar2020.Foundation item:The National Natural Science Foundation of China(61672021;11801013);the Natural Science Basic Research Plan in Shaanxi Province of China(2018JQ1066);the Science and Technology Program of Baoji(2018JH-20);the Doctoral Scientific Research Starting Foundation of Baoji University of Arts and Sciences(ZK2018069).。
一类具有食饵避难的Leslie-Gower捕食-食饵模型的定性分析

斑图;
本文借助文献[3]的方法,主要研究在 N 维
情况下系 统 (2)在 常 数 正 平 衡 解 处 的 线 性 稳 定
性,运用分支理论 讨 论 非 常 数 正 平 衡 解 的 整 体 分
支 ,因 此 考 虑 系 统 (2)对 应 的 平 衡 态 方 程 :
ìï-d1ΔH =H (r-aH )-
ïïï b+(1(1--mm)H)H , x ∈ Ω;
一类具有食饵避难的 LeslieGGower捕食G食饵 模型的定性分析
贾延飞
(西北师范大学 数学与统计学院,甘肃 兰州 730070)
摘要:研究了一类具有食饵避难的 LeslieGGower捕食G食饵模型.利用线性稳定性理论,得到 了 平 衡 态 方 程 正 常 数解的渐进稳定性;借助分支理论,得到了以扩散系数d2 为分支参数,平衡态方程在 正 常 数 解 E∗ 处 的 局 部 分 支,证明了在一定条件下,(dj2,E∗ )处产生的局部分支可以延拓成全局分支. 关 键 词 :捕 食G食 饵 模 型 ;稳 定 性 ;局 部 分 支 ;全 局 分 支 中 图 分 类 号 :O241.81 文 献 标 志 码 :A
第 32 卷 第 2 期 2018 年 3 月
兰 州 文 理 学 院 学 报 (自 然 科 学 版 ) JournalofLanzhou UniversityofArtsandScience (NaturalSciences)
Vol.32 No.2 Mar.2018
文 章 编 号 :2095G6991(2018)02G0001G06
出现空间避难,这 些 食 饵 种 群 在 一 定 程 度 上 可 以
得到保护以避免 被 捕 食,从 而 有 利 于 减 小 被 捕 食
一类改进的捕食-食饵模型正平衡点的稳定性

一类改进的捕食-食饵模型正平衡点的稳定性王白雪;贾云锋【摘要】研究了在齐次 Neumann边界条件下一类带有 Beddington-DeAngelis 型功能反应项的改进的Leslie-Gower捕食-食饵模型正平衡点的稳定性。
给出了关于正平衡点存在唯一的结果,利用单调迭代方法得到了正平衡点全局渐近稳定的充分条件。
%A modified Leslie-Gower predator-prey model with Beddington-DeAngelis functional response under homogeneous Neumann boundary condition is considered.Firstly,the existence and uniqueness result of positive constant equilibrium is obtained under certain conditions. Secondly,the sufficient condition for the global asymptotic stability of the positive constant equilibrium is given by the monotone iteration principle.【期刊名称】《陕西师范大学学报(自然科学版)》【年(卷),期】2016(044)004【总页数】4页(P1-4)【关键词】改进的Leslie-Gower捕食-食饵模型;Beddington-DeAngelis反应项;唯一性;稳定性【作者】王白雪;贾云锋【作者单位】陕西师范大学数学与信息科学学院,陕西西安 710119;陕西师范大学数学与信息科学学院,陕西西安 710119【正文语种】中文【中图分类】O175.26MR subject classification: 35K57自经典的Lotka-Volterra捕食-食饵模型[1]被提出以来, 捕食-食饵模型作为数学生物学中一类重要的模型一直受到学者的广泛关注。
具有庇护和收获的捕食一食饵模型的稳定性分析

具有庇护和收获的捕食一食饵模型的稳定性分析作者:马冯艳,杨巧梅来源:《科技视界》 2015年第20期冯艳杨巧梅(重庆师范大学涉外商贸学院数学与计算机学院,中国重庆 401520)【摘要】在具有庇护效应和捕获率的捕食-食饵模型中加入税收策略,通过稳定性分析得到系统正平衡点的局部稳定条件,并利用Pontryagin最大值原理得到了最优税收策略.【关键词】捕食-食饵系统;庇护所效应;局部渐进稳定;最优税收策略在自然界中,种群之间的相互作用使得种群生存和进化,但由于人类的过度干预使得地球的可再生资源得到很大的破坏.为了满足人类的需求,还要使得可再生资源不至于枯竭,人类需要在对生物种群进行捕获时,保持生物种群的可持续发展.为此目的对具有捕获率的种群模型系统已经有了很多研究[1-5].在文献[2]具有食饵避难的Leslie-Gower捕食系统的稳定性及最优捕获问题进行了分析,文献[3]对具有阶段结构的捕食-食饵模型系统一直续存的条件和庇护所效应对系统的影响进行了研究,文献[4]研究具有比例依赖的捕食-食饵系统模型的征税模型进行了分析,文献[5]研究了一类具有庇护和收获效应的广泛Holling型捕食模型.在此基础上本文进一步研究具有庇护效应的捕获征税模型:其中:x(t),y(t)表示t时刻食饵和捕食者种群的密度;E表示对食饵种群的捕获努力量;r表示食饵种群的内禀出生率;K表示环境容纳量;b表示捕食者对食饵种群的平均捕获率;a表示捕食者为了保持平均捕获率一般所需的食饵密度;β表示进入庇护所食饵种群与现存种群密度的比率;q表示捕获能力;e表示捕食者捕获食饵并将其转化为自身增长的转化率;d表示捕食者的自然死亡率;α为比例系数;p表示单位资源的价格;τ表示单位资源x的税收;c表事故单位努力量的成本.1系统正平衡点的存在性及其稳定性分析3结论本文在具有庇护效应和捕获率的捕食-食饵模型中加入税收策略,通过稳定性分析得到系统正平衡点的局部稳定条件,并利用Pontryagin最大值原理得到了最优税收策略.可以为渔业或森林资源等资源的人类消费情况做出控制.【参考文献】[1]薛媛.渔业资源管理中的最优策略及其应用研究[D].陕西师范大学,2012.[2]杨洪娴.具有食饵避难的Leslie-Gower捕食系统最优捕获研究[D].中山大学,2011.[3]马智慧.具有阶段结构的捕食系统的一致续存及庇护所效应对其动态结果的影响研究[D].兰州大学,2007:1-73.[4]张睿.具有比例依赖型功能反映函数的食饵-捕食者征税模型分析[J].生物数学学报,2008,23(3):484-488.[5]王文婷,李文龙,等.庇护与收获效应的广泛Holling型捕食模型[J].兰州大学学报,2010,46(6):96-99.[责任编辑:曹明明]。
生态系统稳定性的数学模型分析

生态系统稳定性的数学模型分析生态系统是由生物、非生物及它们之间相互作用组成的一个复杂系统。
它包含了各种气体、水、土壤、植物和动物等要素,这些要素之间相互依存、相互作用,形成了一个相对稳定的系统。
然而,由于人类对自然环境的破坏和污染,使得很多生态系统无法保持原有的平衡和稳定,很容易出现劣化和破坏。
为了解决这个问题,科学家们通过建立数学模型来研究生态系统的稳定性,从而预测出生态系统变化的趋势,并制定相应的保护方案。
下面,我们将介绍一些常用的生态系统稳定性数学模型。
1. Rosenzweig-MacArthur模型Rosenzweig-MacArthur(RM)模型是用来研究食物链稳定性的经典模型。
它的基本思想是通过食物链上的捕食关系来分析生态系统的稳定性。
该模型采用两种物种——食饵和掠食者来模拟生态系统,假设食饵和掠食者之间的相互作用遵循Logistic增长模型和Lotka-Volterra方程,分析它们的数量变化。
RM模型中,掠食者数量的增长受到食饵数量的限制,而食饵数量的减少是受到掠食者数量的影响。
通过这两种相互作用的平衡,RM模型可以分析出食物链稳定性是否会破坏。
2. Holling-II模型Holling-II模型是一种关于捕食者与食饵数量之间关系的经典模型。
该模型认为,食饵数量的增加会导致捕食者数量的增加,而当食饵数量达到一定程度时,捕食者的数量就会饱和或变化趋于平缓。
Holling-II模型中,食饵数量的增长率是一个关于食饵数量本身的函数,而捕食者数量的增长率则考虑到食饵数量对其的影响。
通过该模型可以分析出生态系统是否处于均衡状态,并且可以预测出生态系统在受到外界干扰时的反应。
3. Ricker模型Ricker模型是用来分析种群数量变化的数学模型。
该模型认为,种群数量的变化受到环境因素的影响,而环境因素则可以用时间的函数来表达。
Ricker模型中,种群数量的增长率是一个关于种群密度的函数,函数形式即为Ricker方程形式,可以用来预测种群数量的变化趋势。
一类具有比例依赖型捕食者-食饵扩散模型的定性分析

4 6
关 时 ,模 型 ( 2 )所 对应 的反应 扩 散 问题 为 :
温 州大学学报 ・自然科学版 ( 2 0 1 3 ) 第3 4 卷第 3期
詈 一 A u = u ( 1 一 ) 一 U V
8 v
一 ,
∈Q , 一
∈Q , t >0
衡 点 的全 局 渐 近 稳 定 性 .
关键词 :捕食者一 食饵模 型;比例依赖;正平衡点 ;全局渐近稳定
中图分类号 :O1 7 5 . 2 6 文献标 志码 :A 文章编号 :1 6 7 4 — 3 5 6 3 ( 2 0 1 3 ) 0 3 - 0 0 4 5 - 0 7 本文的 P D F文件 - - - J -  ̄ X . t , k x u e b a o . W Z U . e d u . c n获得
,
( 1 )
则 模 型( 1 ) 约化 为 :
( _ 南 , ) ’
一
其 中,
: , :一 s h
,
m : _
.
收稿 日期 :2 0 1 2 . 1 0 0 9
基金项 目:甘肃省 自然科学基金 ( 1 1 0 7 R J Z A1 9 7 ) ;甘肃省教育厅硕 导项 目( I 1 0 4 一 I 1 ) 作者简介 :刘 志琳 ( 1 9 8 7 -) ,女 ,甘肃会 宁人 ,硕 士研 究生,研 究方 向:偏微分方程及其应用
Au g , 2 01 3
一
类具有 比例依赖型捕食者一 食饵 扩 散模 型 的定 性 分 析
刘志琳 ,张 睿 ,李奋 强 ,苗 亮英
( 兰州交通大学数理与软件工程学院, 甘肃兰州 7 3 0 0 7 0 )
摘 要: 应 用线性化方法 、 上 下解 方法和迭代 方法证 明 了具有 比例依 赖型 的捕食者 一 食饵扩散模型正平
一类具时滞和阶段结构的捕食模型的稳定性与Hopf分支
§ 正平衡 点的稳定 性及 H p ̄支 的存在 性 2 of
本 节我 们 将 以浠量 7 - 数 , 论 糸 统() 为参 讨 2正半 衡 点 的 稳 定性 和 H p分 支 的存 在 性 . of
令 1=n11(l ) 2 0 1 2(1 ), 1 /r +6, = 01 /r +6。 雪= Cya1 = (1 ) 则系统() L /1, 1 7 +bt " , 2就变
f( n 一z) @ b£ 圣 = r( n;一l一 ) £ z z) £ ) 一 ) (
{ 2 ) z ( 一rx ( , ( =bl ) 22 ) t
) = ) ,
,
( 2 )
其 中, 1£,9() (分别表示幼体食饵 , ( 2 和 £ ) 2 ) 成体食饵和捕食者种群在 时刻t 的密度, 且捕食种群
收 稿 日期 : 0 8 1 -3 2 0 —10
基金项 目: 国家 自然科学基 金(0 7 2 9 16 10 )
通 信 作 者 , - i ta x 一0 8 6 . m E mat in h 2 0 @1 3c : o
26 8
高 校 应 用 数 学 学 报
第2 卷第3 5 期
本文将推广文献『 中的模型, 7 ] 讨论更为一般的一类具H ln 第1 类功能性反应 的捕食系统 ol g I i I
0 =1 , , 1 ) 2 ) 3 )∈ ( 丁0 R 0 , , 3 ( ( , ( , ( ) [ , ,革) 2 ) ≯ 一 】 .
本文的 目的是 以滞量r 为参数 , 对系统 () 2进行分析. 主要 内容为: 第2 中, o k 等在 在 节 以C o e 文献 『 中引入的方法为基础, 8 ] 并参考文献f , 为参数, 9 以丁 ] 讨论() 2 的稳定性及H p ̄ 支的存在性: of  ̄ 在第3 节中, 我们利用Hasr sad等【 J 1 所介绍的规范型方法 , 0 讨论 了有关() o f 2 的H p ̄支方 向, 分支 周期解的稳定性, 最后通过数值模拟验证 了所得理论结果.
捕食者具有反馈控制的Leslie-Gower捕食-食饵模型的稳定性研究
Ke y wo r ds:Le s l i e — Co we r p r e d a t o r — p r e y mo d e l ;f e e d ba c k c o n t r o l ;L y a p un o v f un c t i o n
第3 4卷 第 5期 2 0 1 3年 9月
闽江学 院学报
J OU RNAL OF MI N J I ANG UN I VE RS I T Y
Vo 1 . 3 4 N o . 5 S e p .2 0 1 3
捕食者具有反馈控制 的 L e s l i e — G o w e r 捕 食 食 饵 模 型 的稳 定 性 研 究
Ab s t r ac t:I n t h i s p a p e r ,we c o n s i d e r t h e g l o b a l s t a bi l i t y o f a Le s l i e — Go we r pr e d a t o r — p r e y mo d e l wi t h f e e d — b a c k c o n t r o 1 .The g l o ba l s t a b i l i t y o f t he s y s t e m i s i n v e s t i g a t e d b y c o ns t r u c t i n g Ly a p u n o v f u n c t i o n.The r e — s ui t i n d i c a t e s t ha t f e e db a c k c o n t r o l v a ia r b l e o n l y c h a n g e s t h e p o s i t i o n o f t h e i n t e io r r e qu i l i b ium— r ・ t he pr e d a ・ - t o r ’ s d e n s i t y d e c r e a s e s wh i l e t h e p r e y’ s i nc r e a s e s a n d h a s n o i n lu f e n c e o n t h e s t b i a l i t y p r o p e  ̄y o f t h e s y s -
一类具有年龄结构的食物链扩散模型的稳定性
结构 的种群模型的研究已有许多成果 J ,例如文献 [ 对食饵种群具有年龄结构的食物链模型进 4 ]
行 了分析 ,并讨 论 了其 非 负平 衡 点 的稳 定 性 ,文 献 [】 5讨论 了该 食物 链模 型 的混沌 现 象等 . 本文 考 虑下 面 的食物 链模 型解 的一 致 有界 性和 正平 衡 点的稳 定性 .
维普资讯
第2 9卷 第 4期
、 l 9 NO4 , . 0 2
温 州 大 学 学 报 ・自 然 科 学 版
J u n l f e z o i e st Nau a de c s o r a n h u Un v r i o W y・ t r l S n e
在 一些 由捕 食 者一 饵 构 成 的两种 群 模型 中 ,常 常假 设 种群 中 的个 体 没有 年龄 大 小 的区别 , 食 但这 个假 设对 许 多种群 是 不切 实 际 的.因为种 群是 由不 同个 体 组成 的 ,而个 体之 问又 有性 别和 年 龄 的差异 ,所 以对 具有 不 同性别 、年龄 结 构 的种群 模型 进行 研 究更贴 近 实 际.近 年 来 ,对 具年 龄
分别表示在 时刻 t 的幼年食饵 、成年食饵和捕食者种群 ; , ,2 e, ( :123 都是正 c, 2a, , ,) , 常数, d(=123 分别是种群 U(=123 的扩散系数 . i i , ,) i , ,)
1一致有界性
为证明定理,记 f() 1 1 l , () a +c 1 3 l =a一 u 一f 2 :一 2 2 一 U u , ) + 22 =一 3 eu .
致有 界性, 并用线性化方法和 L a u o yp n v函数方法分别证 明了该模型正平衡点的局部和全局渐近稳定性.
食饵按广义Logistic生长的Holling(Ⅱ)型功能反应捕食者──食饵模型
食饵按广义Logistic生长的Holling(Ⅱ)型功能反应捕食
者──食饵模型
黄建民
【期刊名称】《华南师范大学学报:自然科学版》
【年(卷),期】1996(000)004
【摘要】本文讨论了一类食饵按广义Logistic生长,且捕食者具有Holling(Ⅱ)型功能反应的食饵─—捕食者模型:其中v>-1,而r1、r2、α、β、c、e、k均为正常数.本文利用微分方程定性分析方法,给出了这类模型的正平衡点存在条件和各种平衡点的稳定条件及稳定区域,并给出了相应的生态意义解释.
【总页数】6页(P90-95)
【作者】黄建民
【作者单位】华南师范大学数学系
【正文语种】中文
【中图分类】Q14
【相关文献】
1.具有非线性密度制约Holling-Ⅲ型功能反应食饵-捕食者扩散模型的稳定性 [J], 李志祯;邵锐峰
2.一类具Holling Ⅱ型功能反应的食饵-捕食者模型的定性分析 [J], 范学良;雒志学;张宇功
3.具有Holling Ⅳ型功能反应的分数阶捕食者-食饵模型的动力学分析 [J], 杜争光;
4.具有Holling-Ⅲ型功能反应的捕食者-食饵扩散模型中避难所的影响 [J], 张丽娜;鲁引儿
5.一个具有阶段结构和Holling-Ⅱ型功能反应的捕食者-食饵模型的全局稳定性(英文) [J], 王玲书;冯光辉
因版权原因,仅展示原文概要,查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第33卷第6期 2015年l2月 青海大学学报( 自 然科学版)
Journal of Qinghai University(Natural Science Edition) V01.33 No.6
Dec.2015
一类食饵带病毒的捕食者一食饵扩散模型的稳定性 高海燕 (兰州财经大学统计学院,甘肃兰州730020) 摘要:讨论一类食饵带病毒的捕食者一食饵扩散模型整体解的存在性与一致有界性,并应用线 性化方法和Lyapunov泛函方法给出该模型正平衡点的局部渐近稳定条件和全局渐近条件。 关键词:捕食者一食饵模型;易感染食饵;患病食饵;稳定性 中图分类号:0175.26 文献标志码:A 文章编号:1006—8996(2015)06—0048—07 DOI:10.13901/j.cnki.qhwxxbzk.2015.06.009
Stability of diffusive predator—prey model th viral disease in the prey GAO Haiyan (School of Statistics,Lanzhou University of Finance and Economics,Lanzhou 730020,China) Abstract:The existence and uniform boundedness of global solutions for a diffusive predator-—prey model with viral disease in the prey are discussed.Conditions for the local asymptotic stability and the global asymptotic stability of positive equilibrium point to this model are given by linearization and Lyapunov function respectively. Key words:predator—prey model;susceptible prey;infected prey;stability
众所周知,人类的进化过程中一直伴随着各种传染病,传染病一直威胁着人类的身体健康,它可以 在人与人、动物与动物或人与动物之间相互传播。因此,利用科学手段对传染病流行规律进行研究和预 测,进一步发现其生成和传播机理,对促进社会公共卫生及医疗发展具有重要作用。针对传染病的生物 化学机理的研究,形成了传染病(流行病)动力学,它是利用数学模型开展科学研究,利用数学建模的思 想来模拟传染病发病机理以及传播特征等。通过对模型中描述动力学的参数的研究,相关人员可以利 用模型定性或者定量的分析,揭示某种传染病发病的原因以及传播的关键因素等,从而帮助人们制定出 预防和控制传染病的最优策略,为人们防治疾病提供理论基础和数量依据¨ 。流行病动力学模型可 用来描述容易感染病毒、已经感染病毒的食饵与捕食者之间的生物相关性 。本文讨论一类食饵带 病毒的捕食者一食饵扩散模型正平衡点的稳定性。
1 预备知识 针对流行病模型,文献[7]提出并研究了如下食饵带病毒的捕食者一食饵模型 du=r 1一詈) 一
面dv=卢u 一m 一 (1) d 1叼UW. 。 _=——+ ,mvw—Ow
dt a+u
收稿日期:2015—08—28 基金项目:国家自然科学基金(11361055);甘肃省自然科学基金(145RJZA033);甘肃省高等学校科研项目(2015A一093) 作者简介:高海燕(198O一),女,甘肃金昌人,副教授,博士。研究方向:偏微分方程及其应用。 第6期 高海燕:一类食饵带病毒的捕食者一食饵扩散模型的稳定性 49 这里 ( , ), ( ,t),W( ,t)分别表示易感染食饵,患病食饵和捕食者种群的密度。r,Ii},m,n,rl,tz, , ,,ot 均为正常数,r是易感染食饵的内禀增长率, 是食饵的环境容纳量,卢是易感染食饵和患病 食饵间的感染率,卵是捕食者对易感染食饵的捕获率,m是捕食者对患病食饵的捕获率, 和 分别是 患病食饵和捕食者的自然死亡率,OL 和Ot 是转化率,0是半饱和常数。7qu/(口+11,)是HollingII型功能 反应函数。关于模型(1)更详细的生态意义见文献[7]。 在生态系统中,当假设种群密度在空间均匀分布时,可用常微分方程(组),描述生物种群的演变规 律。若种群密度在空间分布不均匀时,则高密度区域的种群会向低密度区域扩散,此时需要考虑反应扩 散系统。本文将讨论一类食饵带病毒的捕食者一食饵扩散模型: △u=ru(1一詈)一 一 ;g 伽)
一 =卢 一m 一 ;g2( , ) 一 3
△ : Oil—r
=_lU W
+Ol2mvw一6 ;g3(u, , )O t
0+ …
a u=a =a 埘=0 u(x,0)=“0( ),v(x,0)="130( ),w(x,0)= 0( )
∈Q.t>0 (2) ∈n.t>0
∈aQ.t>0 ∈Q 这里Q是 (17,≥1)中具有光滑边界的有界区域,a 表示aQ上的单位外法向导数。 。( ), 。( ),
。( )是非负且不恒为零的光滑函数。首先讨论模型(1)整体解的存在唯一性及一致有界性。其次,应 用线性化方法和Lyapunov泛函方法给出该模型正平衡点的局部渐近稳定条件和全局渐近条件。注意到 (2)的常微分方程组形式(1)的解是反应扩散问题(2)的特解,因此,当常微分方程组形式(1)的正平 衡点不稳定时,问题(2)仍以该正平衡点为不稳定平衡点。
2 一致有界性 定理1 设u。( ), ( ), 。( )是非负且不恒为零的光滑函数,则模型(2)存在唯一解: (U(X,t), ( ,t),w(x,t))∈(C(Q×[0,O0))n G , (Q X(0,O0)))。 并满足: Il M(。,t)lJ LOO(f ̄),ll (‘,t)_l州n),lI“(・,t)ll州n)≤C,Vt≥0 这里C为正常数。 证明 易于验证(g。,g ,g )在 上充分光滑,由熟知的偏微分方程基本理论[8]知,问题(2)存 在唯一的局部古典解(“. 。 )。下面证明(2)存在非负整体解。 设t。是小于最大存在时间 的任意正时刻,对(2)应用比较原理[9]知: ( ,t)≥0, ( ,t)≥0,w(x,t)≥0,Vt∈[0,t0] 由t。的任意性,在[0,T)上u(x,t), ( ,t),w(x,t)≥0。特别地,由强最大值原理知,当/Z0( ), ( ), Wo( )非负且不恒为零时,对任意t>0有 ( ,t),v(x,t),w(x,t)>0 令M1=max{supun, ),由比较原理知:
0< ≤M1=max{supu0( ),后), V t>0 令 =(2 2+ 1) +2cx2 +W,贝0:
: [r(2 +仅-)( 一 )一2oL2/ ̄v一 ] ≤一 z +M 这里 为依赖于 1, ,k,r,supU,0( )的正常数。因此l』 (。,f)IJ Ll(a),『l (・, )『l Ll(a),ll (・, )ll Ll(a) 在[0,O0)上有界。应用文献[1O]可知: II (’,t)I J州n),II (・,t)I J州n),II (・,t)ll州n)≤C,Vt≥0 50 青海大学学报 第33卷 从而定理1得证: 进一步,由文献[11]定理A 知,对某Ot∈(0,1)和任意t。>0有: II (・, )II c + (矗),ll (。,t)ll cz+ ̄(fi),ll (。,t)Il cz+ ( )≤C,V t≥to (3) 其中C是与t无关的正常数。
3 正平衡点的稳定性 为了讨论模型(2)的正平衡点的稳定性,为此,先引入文献[7]中关于常微分方程组(1)的结果。 引理1 模型(1)有如下5个平衡点: (1)平凡平衡点U。=(0,0,0),既没有易感染食饵,也没有患病食饵和捕食者; (2)边界平衡点U =( ,0,0),易感染食饵处于最大量,没有患病食饵和捕食者; (3)平衡点 ,0, =( ,0, 糍 ),食饵处于易感染状态,没有
患病食饵。当a17/> aft+ 时,U2是非负平衡点;
(4)平衡点 =(1,3,j1)3 0)=(告, ,0)只有易感染食饵和患病食饵,没有捕食者。当 > tz/k时, 是非负平衡点; (5)-' ̄A v = = ( 一 ) = 是
rm 2u +[(0一k)rmcx2一 + 叼(OL2一OZ1)]M +( 一ka2ritz—karma2)=0的正根。当 <u < , 1> 叼, < 2 +armcx2 (4) 时,是U 唯一正平衡点。 引理2 对模型(1)的非负平衡点,有: (1) 无条件不稳定; (2)当0< <min{ ,a3/(a 77— )}时,U 是局部渐近稳定的; (3)当 “ <mw2+ 且a/k>(1—26/( 叼十6))时, 是局部渐近稳定的; (4)当6>Or1flu3/(a+ 3)+Ol2my3时,U3是局部渐近稳定的; (5)当
… >…{√ , z ¨ a+u) ㈩
成立时,U 是局部渐近稳定的。其中: ÷一 , m2 “ + , 一 下面仅讨论食饵与捕食者共存时,U 的稳定性。首先源自文献[12]或[13]的下述引理是重要的。 引理3 设口,b为正常数, , ∈C ([口,oo)), (t)≥0, 有下界。如果咖 (t)≤一6 (t),且 (t) ≤K(Vt≥a),K为正常数,则1jm妒(t)=0。 定理2若条件(4),(5)和 冬 (0+u ) >Ol2mrtw a+ )+』B叼u (6)
>—_12 (7) 一k>
成立,则模型(2)的正平衡点(n ,” , )全局渐近稳定。