具有Holling-Ⅱ型功能性反应的捕食者-食饵时标动力学系统的周期解倪铁;范猛【摘要】研究了定义在一般时标上的具有Holling-Ⅱ型功能性反应和两种群均密度制约的捕食者-食饵系统.利用重合度理论的延拓定理讨论了此系统周期解的存在性问题,得到了保证周期解存在的充分条件.【期刊名称】《天津大学学报》【年(卷),期】2009(042)001【总页数】5页(P86-90)【关键词】时标;捕食者-食饵系统;Holling-Ⅱ型功能性反应;周期解;重合度【作者】倪铁;范猛【作者单位】天津大学理学院,天津,300072;东北师范大学数学与统计学院,长春,130024【正文语种】中文【中图分类】Q141近年来，关于捕食者与食饵生态系统动力学特征的研究吸引了很多专家和学者的注意，并形成了许多具有很强实际背景的新课题．捕食者-食饵相互作用关系是生物种群之间相互作用的基本关系之一，是生态学、生物数学的研究热点.功能性反应在捕食者-食饵系统的研究中扮演着重要的角色．文献[1-4]对连续的捕食者-食饵系统模型的周期解存在性问题进行了研究，并给出了周期解存在的充分条件．文献[5-6]对离散的捕食者-食饵系统模型的周期解存在性问题进行了研究，并给出了周期解存在的充分条件．通过对其进行研究发现，二者对周期解存在性的研究方法和结果非常相似．1990年德国数学家Stefan Hilger在他的博士论文中建立了时标（time scales）理论，即一个连续和离散计算的统一方法．其工作成果使这一理论受到广泛关注. Bohner和Peterson[7]在2001年出版的著作中系统地分析了时标动力学方程的重要性质．张炳根[8]在 2004年综述了时标微分方程理论的基本概念及其进展．时标理论的出现，使得前面提到的问题有了很好的解决方法．文献[9]研究了时标上具有 Holling-Ⅱ型功能性反应的捕食者-食饵系统模型周期解的存在性问题，但模型中没有考虑捕食者的密度制约效应.因此对于两种群都具有密度制约的条件下，具有 Holling-Ⅱ型功能性反应的捕食者-食饵系统模型尚未进行研究．笔者在时标上系统地研究具有Holling-Ⅱ型功能性反应和两种群均密度制约的捕食者-食饵系统模型周期解的存在性问题，其研究方法是重合度理论的延拓定理．1 预备知识首先介绍一些时标中的基本概念和重要引理，这些概念的定义以及引理的证明可以参见文献[7].定义1任意一个实数集R是一个非空闭子集，称为一个时标，记为T.例如：R，Z，∪ k ∈Z [k,2 k+1].令ω＞ 0，对任意的t∈T，使得t+ ω∈T，则称T是ω-周期的.定义2定义前跃算子σ: T →T和后跃算子ρ: T →T，满足grainniness 函数μ:T→ R +=[0,∞)，满足μ( t)= σ( t) − t ,∀t ∈T.若σ( t) = t，点t称为右稠的，否则称为右散的.若ρ( t) = t，点t称为左稠的，否则称为左散的.定义3设函数f :T →R.令t∈T，定义f Δ(t)满足对于∀ε ＞ 0，∃ t 的邻域 U ( 即U = (t −δ,t + δ)), s.t.f Δ (t)称为 f在t的delta导数.若对于∀t ∈T，f Δ(t)存在，称 f在T上delta可导.显然，当T=R时，f Δ(t) = f′( t)；当 T =Z时，f Δ (t) = f( t + 1)− f( t)= Δ f( t).定义4函数F :T →R，称为f :T →R的原函数，若F Δ (t) = f( t) ,∀t ∈T，那么定义定义5函数f :T →R称为右稠连续，若在T上的右稠点处连续，左稠点处存在左极限.所有右稠连续函数f :T →R的集合记为 C rd(T).若f ∈ Crd(T)，则f可积.引理1每个右稠连续函数都有原函数.引理2如果a, b ∈T ,α, β∈R，函数f, g∈ Crd(T) ，那么（2）对任意的t∈T，当a≤t≤b时，如果f( t)≥0，那么（3）对任意t∈T，当a≤t≤b时，如果g( t)，那么为了方便起见，采用记号式中g ∈ Crd(T)是周期为ω的实函数，即对∀t∈T，有g( t + ω) = g( t).为了得到本文的主要结果，引入重合度理论中的延拓定理.设X、Z是赋范向量空间，L :DomL⊂ X →Z为线性映射，N: X → Z连续映射.如果dimKer L= codimImL＜+∞且ImL是Z的闭子集，则映射L称为指标为零的Fredholm 映射.如果L是指标为零的Fredholm 映射且存在连续映射P: X → X和Q: Z →Z 使Im P = KerL,Im L = KerQ=Im(I − Q ),则L可逆，设其逆映射为 Kp.设Ω是X中的有界开集，如果QN(Ω)有界且Kp(I − Q) N :Ω→ X是紧的，则称N在Ω上是L-紧的.因为Im Q与Ker L同构，故J :ImQ→Ker L存在.引理 3设L是指标为零的 Fredholm 映射，N /在是L-紧的，假设（1）对任意的λ∈ (0,1)，方程Lx = λNx的解满足x ∉∂Ω ．（2）对任意的x ∈∂Ω∩ KerL，Q Nx≠ 0并且，则Lx = Nx在Dom L∩内至少存在一个解.引理 4[9]设t1, t12∈ Iω,t∈T.如果g :T →R是ω-周期的，那么2 正周期解的存在性考虑时标T上的具有 Holling-Ⅱ型功能性反应且两种群均密度制约的捕食者-食饵系统，其具体模型为式中：ri, a i j∈ Crd(T )，是正的周期为ω的函数，i, j= 1,2；m是一个正数. 令( t) =eu1(t)，( t) =eu2(t).当T = R时，式（1）变为连续的具有 Holling-Ⅱ型功能性反应且两种群均密度制约的捕食者-食饵系统模型，即式中 ( t)和 (t)是食饵和捕食者的密度.当T=Z时，式（1）变为离散的具有Holling-Ⅱ型功能性反应且两种群均密度制约的捕食者-食饵系统模型，即为了研究式（1）的周期解的存在性，将此模型嵌入到重合度理论的框架中，定义且容易看出£ω是一个Banach空间.令不难得出£0ω和£cω都是£ω的闭线性子空间，定理 1假设ri, a i j∈ Crd(T)是正的周期为ω的函数，i, j= 1,2.如果r( a 21−mr2 )−a11r2e2 r1ω＞ 0，那么，系统式（1）至少有一个ω-周期正解.证明令X = Z = £ω，定义则Ker L =, ImL =,dimKer L=2= codimImL.因为在£ω中是闭的，所以L是一个指标为零的Fredholm映射.不难发现，P和 Q是连续映射.使得Im P =Ker L ,Im L = Ker Q = Im(I − Q)，并且L的逆Kp:Im L → Ker P ∩ DomL是存在的，即式中容易看出QN和K p(I − Q) N都是连续的.因为X是 Banach空间，所以由Arzelá-Ascoli定理，容易得出K p(I − Q) N (Ω ~)在Ω上是紧的，而且QN(Ω~)是有界的．因此，N在Ω~上是L-紧的.为了应用引理 3，需要找到一个合适的有界集合Ω.考虑算子方程Lx = λN x,λ ∈ (0,1)，即设是式（4）的一个解，对某一个λ∈ (0,1).在[k, k + ω]上对式（4）进行积分，得由式（4）、式（5）推导出因为所以存在[k, k + ω]使得由式（5）和式（9），得进一步又得出由式（7）、式（10）和引理4，得由式（6）得由式（9）得由式（8）、式（12）和引理4，得另一方面，由式（6）得由式（9）得由式（7）、式（13）和引理4，得由式（11）和式（15），有类似地，由式（6）和式（9），得进一步，有注意到由式（17）可得由式（11）推导出由式（8）、式（18）和引理4，得由式（13）得显然，式（16）和式（19）中的 R1和 R2都是与λ无关的.记，其中 R0是一个充分大的数，使得代数方程组（20）的每个解 (x* ,y * )T满足现在令显然,Ω 满足引理 3的条件（1）.当时，( u1, u 2)T是R 2中的一个常值向量且如果系统式（20）至少有一个解，有如果系统式（20）没有解，推导出由此，证明了引理 3的条件（2）的前半部分被满足.最后证明引理3的条件（2）的后半部分成立.定义6 φv :Dom L× [0,1]→ X，即式中v∈ [0,1]是一个参数.当Ker L =∂Ω ∩ R2时，( u1, u 2)T是 R2中的一个常值向量，且容易看出，φ v(u1,u2) ≠0,即 0∉φv(∂ Ω ∩Ker L) ,v ∈[0,1].而且，代数方程组有唯一解即又因为Im Q = KerL，所以J = I.应用拓扑度的同伦不变性，有式中deg(⋅,⋅,⋅)表示Brouwer度.这样，就证明了集合Ω满足引理3的所有条件.因此，系统式（1）在Ω至少存在一个周期正解.［1］ Fan Meng，Kuang Yang. Dynamics of a nonautonomous predator-prey system with the Beddington-DeAngelis functional response［J］. J Math Anal Appl，2004，295（1）：15-39.［2］范猛，王克. 一类具有Holling Ⅱ型功能性反应的捕食者-食饵系统全局周期解的存在性［J］. 数学物理学报，2001，21A（4）：492-497.Fan Meng，Wang Ke. Global existence of positive periodic solution of a predator-prey system with Holling typeⅡ functional response［J］．Acta Math Sci，2001，21A（4）：492-497（in Chinese）.［3］ Fan Meng，Wang Ke. Periodicity in a delayed ratiodependent predator-prey system［J］．J Math Anal Appl，2001，262（1）：179-190.［4］ Huo Haifeng. Periodic solutions of a semi-ratiodependent predator-prey system with functional responses［J］．Appl Math Lett，2005，18：313-320.［5］ Fan Meng，Agarwal S. Periodic solutions for a class of discrete time competition systems［J］. Nonlinear Stud，2002，9（3）：249-261.［6］ Fan Meng，Wang Qian. Periodic solutions of a class of nonautonomous discrete time semi-ratio-dependent predator-prey system ［J］. Discrete Contin Dynam Systems：Ser B，2004，4（3）：563-574. ［7］ Bohner M，Peterson A. Dynamic Equations on Time Scales：An Introduction with Applications ［M］. Boston：Birkhauser，2001.［8］张炳根. 测度链上微分方程的进展［J］. 中国海洋大学学报，2004，34（5）：907-912.Zhang Binggen. Advances of differential equations on measures chains［J］．Periodical of Ocean University of China，2004，34（5）：907-912（in Chinese）.［9］ Bohner M，Fan Meng，Zhang J M. Existence of periodic solutions in predator-prey and competition dynamic systems［J］. Nonlinear Analysis：Real World Applications，2006，7：1193-1204.。
第15卷第1期2013年3月应用泛函分析学报A C T A A N A L Y S I S FU N C T I O N A L I S A PPL I C A T AV01．15，N o．1M ar．，2013D O I：10．3724／S P．J．1160．2013．00088文章编号：1009-1327(2013)01—0088-09具有时滞和反馈控制的离散Les l i e系统的概周期解鲁红英，于刚东北财经大学数学与数量经济学院，大连116025摘要：讨论了具有时滞和反馈控制的离散Les l i e概周期捕食与被捕食系统．利用差分不等式和通过构造适当的Lya punov函数，得到了系统持久性和全局吸引的充分条件．利用泛函概周期的壳理论，得到了系统存在唯—全局吸引概周期解的充分条件。
关键词：反馈控制；时滞；离散；L ya punov函数；概周期解中图分类号：0175．141引言文献标志码：A近年来，捕食与被捕食系统作为一种重要的生物学模型，得到了广泛的关注和研究(如文11-5]及其参考文献)．Lesl i e[1—2】提出如下的Les l i e捕食与被捕食系统X l(t)=xl(O[r l一6121(￡)]一al xl(t)x2(t)姒归以曲M—h器)]其中X l(t)是食饵种群在时刻t的密度，X2(t)是捕食者种群在时刻t的密度；食饵种群z1(￡)遵循l ogi s t i c增长，r1是食饵种群的内禀增长率，导是食饵种群的容纳量，r2是捕食者种群的内禀增长率，}为捕食者种群的容纳量，与食饵种群的大小成比例，h为食饵转化成捕食者的度量．系统(1)为自治系统，描述环境因素是常定的情况，然而，恒定的环境是不存在的，在自然界中有许多现象呈现周期变化，如季节变化，昼夜更替，食物增减等．因此，生物种群的生存环境是随时间而改变的．近年来，有许多学者对非自治周期离散系统进行了广泛的研究，得到了系统正周期解的存在性和全局吸引性(如文【4’5]及其参考文献)．H uo等【5】的提出了离散的Les l i e捕食与被捕食系统；T1(素+1)=z1(匙)exp[rl(老)一b,(k)zl(惫)一81(殆)z2(竞)】X2(忌+1)：X2(k)e xp k七)一n2(尼)粼l洋J 但由于环境随着季节呈现出非严格意义上的周期性变化，概周期性变化对描述自然界的变化规律更准确，因此建立概周期生态系统来研究种群动力学行为是更具有现实意义．而关于离散系统概周期解的研究，现在所做的工作还不是很多[6-8,10-11】．基于人与自然的协调发展和生态资源的可持续发展，具有反馈控制的两种群捕食与被捕食系统具有深远的意义，反馈控制将被越来越多的学者所瞩目[7-s】．本文主要目的是通过发展文献【6，9—12】的分析技术，研究如下具有时滞和反馈控制的离散Les l i e捕食与被捕食系统的概周期解的存在唯—性和全局吸引性：X l(凳+1)=X l(惫)exp[r l(k)一bl(k)x,(k一丁)一al(k)x2(k)一c1(七)缸1(％)lz2(南+1)=X2(忌)e xp r2(七)一。
