一类具有脉冲的中立型时滞微分方程正周期解的存在性
一类含有时滞的脉冲微分方程的正周期解
一类含有时滞的脉冲微分方程的正周期解陈鹏玉;陈麒玉【摘要】研究了一类含有时滞的脉冲微分方程,在系数变号的情形下,利用锥上的不动点定理获得了其正ω-周期解的存在性结果.【期刊名称】《兰州交通大学学报》【年(卷),期】2010(029)001【总页数】4页(P151-153,156)【关键词】正周期解;脉冲;不动点定理;锥【作者】陈鹏玉;陈麒玉【作者单位】西北师范大学,数学与信息科学学院,甘肃,兰州730070;中国地质大学,计算机学院,湖北,武汉430074【正文语种】中文【中图分类】O175.14脉冲微分方程是微分方程理论中一个新的重要分支,它在物理、化学、生物医学、工业机器人技术和经济学等领域都有重要应用.而脉冲微分方程正周期解的存在性作为该分支中的一个重要课题正受到许多学者的关注[1-4].最近,万阿英[3]利用锥上的不动点定理研究了含有时滞的微分方程正ω-周期解的存在性.其中：a(t)∈C(R,(0,+∞));τ(t)∈C(R,R);f∈C(R×[0,+∞),[0,+∞))且,a(t),τ(t),f(t,u)都为ω-周期函数.李晓月[4]利用同样的不动点定理研究了含有时滞的脉冲微分方程正ω-周期解的存在性.其中：a(t)∈C(R,(0,∞));τ(t)∈C(R,R);f∈C(R×[0,+∞),[0,+∞));Ik∈C([0,+∞),[0,+∞)),且a(t),τ(t),f(t,u)都为ω-周期函数.存在正整数m,使得tk+m=tk+ω,Ik+m=Ik,k ∈ Z,假设[0,ω)∩ {tk：k ∈ Z}={t1,t2,…,tm}.但上述结果均要求a(t)为正值连续函数,这在很大程度上缩小了方程(1)的适用范围.本文取消了对a(t)正性的限制,在a(t)可变号的情形下,研究了含有时滞的脉冲微分方程(2)正ω-周期解的存在性.假设：[0,+∞)),且a(t),τ(t),f(t,u)都为ω-周期函数,ω＞0为常数;定理1[6] 设X为Banach空间,K是X中的一个锥,Ω1和Ω2是X中的开集,0∈ Ω1⊂Ω2,A：K ∩\Ω1)→K 连续且全连续,使得(ⅰ)‖Au‖ ≤ ‖u‖,u∈K ∩ ∂Ω1;(ⅱ)存在φ∈K\{0},使得u≠Au+λφ,u∈K∩ ∂Ω2且λ＞0.则A在K ∩(\Ω1)中有一个不动点.注1 如果把定理1中的条件(ⅰ)和(ⅱ)换成如下条件：(ⅰ)＊‖Au‖ ≤‖u‖,u∈K ∩ ∂Ω2;(ⅱ)＊存在φ∈ K\{0},使得u≠Au+λφ,u∈K ∩ ∂Ω1且λ＞0.则A在K ∩\Ω1)中有一个不动点.1 预备工作及引理首先,考虑“线性”问题其中：h(t)∈C(R,[0,+∞))是一ω-周期函数,并且其余参数满足假设(H 1)～(H 3). 事实上,由于脉冲函数不一定是线性的,所以方程(3)并不是一个真正的线性问题.如果Ik(k=1,2,…,m)是线性的,则方程(3)是一个线性脉冲问题.引理1[4] u(t)是方程(3)的ω-周期解等价于u(t)是如下积分方程的ω-周期解.定义PC(R)={u：R →R|u(t)在t≠tk时连续,在t=tk时左连续,右极限存在,k∈Z}.令X={u(t)∈ PC(R)|u(t+ω)=u(t)},并设?则 X 按范数构成Banach空间.引理2 方程(3)的解u(t)满足条件u(t)≥证明令如果u(t)是方程(3)的一个ω-周期解,则由引理1有因为和因此 ,有与所以,由式(6)与式(7)得由引理1和引理2,有如下的引理引理3 u(t)是方程(2)的ω-周期解等价于u(t)是如下积分方程的ω-周期解.且u(t)≥σ‖u‖,其中：G(t,s)与式(5)的定义相同.定义X上的算子A为对∀u∈X.显然A为X上的全连续算子,由引理3得方程(2)的解等价于算子A的不动点.取X中的子锥引理4 假设(H 1)～(H 3)成立,则A(K)⊂K.证明对∀u∈K,由引理3及算子A的定义有Au(t)≥σ‖Au‖,显然Au(t)≥0,故Au∈K.为了方便后面的证明,引入记号2 主要结果及证明定理2 假设条件(H 1)～(H 3)成立,并且满足下列条件则方程(2)至少有一个正ω-周期解.证明由及 f0,I0的定义可知,对任意,存在r＞0,使得令Ω1={u∈ X,‖u‖ ＜r},则对∀u∈ K,且‖u‖ =r,有σr≤u(t)≤r.令φ≡1,对∀t∈ R 可以证明若不然,存在u0∈ K ∩ ∂Ω1和λ0＞0,使得u0 ≠Au0+λ0φ则对∀t ∈ R,有则方程(2)至少有一个正ω-周期解.由上面两个定理可以得到下面的推论.推论1 假设条件(H1)～(H3)成立,并且满足下列条件之一1)f0=∞或I0=∞,f∞ =0,I∞=0(次线性);2)f0=0,I0=0,f∞ =∞或I∞ =∞(超线性).则方程(2)至少有一个正ω-周期解.【相关文献】[1] Juan J.Nieto.Periodic boundary va lue problems for first-order impulsive ordinary differential equations[J].Nonlinear Analysis,2002,51：1223-1232.[2] Liu Yu ji.Positive so lutions o f periodic boundary value problems for nonlinear first-order impulsive differential equations[J].Non linear Analysis,2009,70：2106-2122. [3] Wan Aying,Jiang Daqing,Xu Xiao jie.A new existence theory for positive periodic so lutions to functional differential equations[J].Com puters Math.A pplic.,2004,47：1257-1262.[4] Li Xiaoyue,Zhang Xiaoying,Jiang Daqing.A new existence theory for positive periodic so lutions to functional differential equations with impulse effects[J].Computers Math.Applic.,2006,51：1761-1772.[5] Li Yongxiang,Liu Zhe.Monotone iterative technique for addressing impu lsive integro-differential equations in Banach spaces[J].Nonlinear Analysis,2007,66：83-92.[6] Deim ling K.Nonlinear Functional Analysis[M].New York：Sp ringer-Verlag,1985.[7] 郭大钧.非线性泛函分析[M].济南：山东科学技术出版社,2001.。
一类中立型随机偏微分方程概周期解的存在性和唯一性
一类中立型随机偏微分方程概周期解的存在性和唯一性蒲晓琴【摘要】最近,P.Bezandry和T.Diagana(P.Bezandry,T.Diagana.Appl.Anal.,2007,117:1-10.)引入了均值概周期的概念,研究了一类随机时滞演化方程,并获得了其均值概周期存在和唯一的充分条件.我们将应用不动点理论和分数幂算子方法,获得一类中立型随机偏微分方程在均方意义下的概周期解的存在性和唯一性的充分条件.【期刊名称】《四川师范大学学报（自然科学版）》【年(卷),期】2016(039)005【总页数】6页(P659-664)【关键词】中立随机偏微分方程;均值概周期;分数幂算子;不动点【作者】蒲晓琴【作者单位】中国民航飞行学院计算机学院,四川广汉618307【正文语种】中文【中图分类】O175.13Bohr最先引了概周期函数的概念，随后，Bochner将这概念推广到Polish空间．近些年来，由于概周期微分方程在物理、化学和生物数学上的应用，许多学者研究了概周期微分方程概周期解存在性问题［1－17］．随机微分方程的动力行为也被许多人研究［8－20］．最近，P．Bezandry等［21－22］引入了均值概周期的概念，研究了一类随机时滞演化方程，并获得了其均值概周期存在和唯一的充分条件．应用不动点理论和分数幂算子方法，获得了一类中立型随机偏微分方程在均值概周期解的存在性和唯一性的充分条件．假设H和K为实可分的Hilbert空间，它们的范数分别记为‖·‖和‖·‖K．设(Ω，F，{Ft}t≥0，P)为完备概率空间．L2(K，H)为Hilbert－Schmidt算子，范数记为‖·‖2．Q为对称非负算子，Q∈L2(K，H)，并且Q的迹有限．W(t)(t∈R)为定义在(Ω，F，{Ft}t≥0，P)上的取值在K上的Q－Wiener过程［23］．L2(P，H)为强可测的，均方可积的H值随机变量的全体，显然，在范数‖X‖L2(P，H)=(E‖X‖2)1/2下为Banach空间，其中E为期望．设范数为研究如下一类中立型随机偏微分方程其中，A为Hilbert空间H上的一致指数稳定解析半群最小生成元，r≥0，f，g:R×H→H和σ:R×H→为连续函数．设A:D(A) H→H为定义在Hilbert空间H上的线性算子(T(t))t≥0的解析半群最小生成元，M和δ为正常数，满足‖T(t)‖≤Me－δt对任意t≥0．假设0∈ρ(A)，那么，可以定义分数幂算子Aα对0＜α＜1．它是一闭线性算子，并且定义域D(Aα)在H中稠密．Hα记为Banach空间D(Aα)，其范数为引理1．1［24］下列2个属性成立:(i)如果0＜β＜α≤1，那么Hα→Hβ并且当A的预解式为紧时，该嵌入是紧的; (ii)对0＜α≤1，存在Cα以致为了获得主要结果，介绍一些定义和引理．设(B，‖·‖)为一Banach空间．定义1．1 一连续随机过程X:R→L2(P;B)称为均值概周期的，如果对每一个ε＞0，存在l(ε)＞0以致任何区间长度l(ε)最少存在一数τ满足下列为一些均值概周期过程的属性．引理1．2［21］如果X属于AP(R;L2(P;B))，那么:(i)映射t→E‖X(t)‖2一致连续;(ii)存在常数N＞0满足E‖X(t)‖2≤N，对t∈R．引理1．3 如果X(·)∈AP(R;L2(P;B))，那么X(·－r)∈AP(R;L2(P;B))，其中r≥0为固定常数．证明和文献［25］中的相似，故省略．设CUB(R;L2(P;B))为连续有界随机过程X: R→L2(P;B)的集合，那么，容易证明在下列范数下CUB(R;L2(P;B))为Banach空间．引理1．4［21］ AP(R;L2(P;B)) CUB(R; L2(P;B))为闭子空间．由上可知，AP(R;L2(P;B))在范数‖·‖∞下是Banach空间．设(B1，‖·‖B1)和(B2，‖·‖B2)为Banach空间．定义1．2 称连续函数F:R×B1→B2，(t，Y)→F(t，Y)关于t∈R是均值概周期的，对Y∈K是一致的，其中K B1是紧的，如果对任何ε＞0，存在l(ε，K)＞0以致对任何区间长度l(ε，K)最少存在一数τ，对任何随机过程Y:R→K满足引理1．5［21］设F:R×B1→B2，(t，Y)→F(t，Y)关于t∈R是均值概周期的，对Y∈K是一致的，其中K B1是紧的．假设F是以下列方式Lipschitz的对所有Y，Z∈B1，t∈R成立，其中M＞0，那么对所有均值概周期过程Φ:R→L2(P;B1)，随机过程t→F(t，Φ(t))是均值概周期的．(1)式的温和解的定义如下［26］:定义1．3 随机过程x(t):［δ，δ+a)→L2(P; H)，a＞0，称为(1)式在［δ，δ+a)上的温和解，如果s→AT(t－s)f(s，x(s－r))在［δ，t)可积，δ＜t＜δ+ a，并且满足为了获得所需结果，假设:(H1)函数g(t，x):R×H→H关于t∈R对x∈Ω(Ω H是紧的)是一致均值概周期的．存在α∈(0，1)以致(－A)αf(t，x):R×H→Hα关于t∈R对x∈Ω(Ω H是紧的)是一致均值概周期的．进一步，(－A)αf，g是以下列方式 Lipschitz的:存在 Lf和Lg满足对所有x，y∈H和t∈R成立．(H2)函数σ(t，x):R×H→L02关于t∈R对x∈Ω(Ω H是紧的)是一致均值概周期的．进一步，σ是以下列方式Lipschitz的:存在Lσ满足对所有x，y∈H和t∈R成立．定理2．1 假设(H1)和(H2)成立，并且那么(1)式在R上存在唯一均值概周期解．证明设Γ:AP(R;L2(P;H))→C(R;L2(P; H))的定义为显然，Γx(·)是连续的．定义由引理1．3、引理1．5和(H1)可知，当x为均值概周期函数时，(－A)αf(t，x(t－r))为均值概周期函数时．由引理1．2，可知(－A)αf(t，x(t－r))有界．由引理1．1和Cauchy－Schwarz不等式可得由s→AT(t－s)f(s，x(s－r))是可积的在(－∞，t)对任何t∈R，故Γ定义是合适的．由引理1．3、引理1．5和(H1)可知，当x为均值概周期函数时，(－A)αf(t，x(t－r))为均值概周期函数时．因此，对每一个ε＞0存在l(ε)＞0以致对任意区间长度l(ε)最少存在一个数τ满足对任何t∈R成立．同时有由上可知对每个t∈R成立，即I1x(t)均值概周期函数．下一步，证明当x是均值概周期函数I3x(t)和I4x(t)是均值概周期函数．该证明和文献［21］中的定理3．2相似，故省略．下一步证明I2x(t)是均值概周期函数．由引理1．3、引理1．5和(H1)可得，当x 是均值概周期函数，(－A)αf(t，x(t－r))是均值概周期函数．因此，对每一个ε＞0存在l(ε)＞0以致对任意区间长度l(ε)最少存在一个数τ满足对任何t∈R成立．由引理1．1可得因此，应用Cauchy－Schwarz不等式可得由上可知对每个t∈R成立，即I2x(t)是均值概周期函数．由上可知，Γ是AP(R;L2(P;H))对自身的映射．下面证明Γ是压缩映射．显然由于可得首先，估计上式右边第一项现在估计第二项，由引理1．1、(H1)和Cauchy－Schwarz不等式可得现在估计第三项得现在估计最后一项，应用建立在文献［27］中命题1．9的It 积分估计得因此这说明Γ(·)是压缩的．故Γ(·)存在不动点x∈AP(R;L2(P;H))，即对所有t∈R成立．固定δ∈R可得那么然而，对t≥δ，因此，x(t)是(1)式的温和解．证明完毕．致谢中国民航飞行学院面上项目(J2013－39)对本文给予了资助，谨致谢意．【相关文献】［1］HERN NDEZ E，PELICER M．Asymptotically almost periodic and almost periodic solutions for partial neutral differential equations［J］．Appl Math Lett，2005，18:1265－1272．［2］HENR QUEZ H，V SQEZ C．Almost periodic solutions of abstract retarded functional －differential equations with unbounded delay［J］．Acta Appl Math，1999，57(2):105－132．［3］LIU B，TUNC C．Pseudo almost periodic solutions for a class of nonlinear Duffing system with a deviating argument［J］．J Appl Math Comput，2015，49:233－242．［4］ZHANG L，LI H．Weighted pseudo almost periodic solutions for differential equations with piecewise constant arguments［J］．Bull Aust Math Soc，2015，92:238－250．［5］AKDAD A，EZZINBI K，SOUDEN L．Pseudo almost periodic and automorphic mild solutions to nonautonomous neutral partial evolution equations［J］．Nonauton Dyn Syst，2015，2:12－30．［6］SADRATI A，ZERTITI A．Existence and uniqueness of positive almost periodic solutions for systems of nonlinear delay integral equations［J］．Electron J Diff Eqns，2015，116:12．［7］CAO J，HUANG Z．Existence and exponential stability of weighted pseudo almost periodic classical solutions of integro－differential equations with analytic semigroups ［J］．Differ Eqns Dyn Syst，2015，23:241－256．［8］WANG W T．Positive pseudo almost periodic solutions for a class of differential iterative equations with biological background［J］．Appl Math Lett，2015，46:106－110．［9］HENRIQUEZ H，CUEVAS C，CAICEDO A．Almost periodic solutions of partial differential equations with delay［J］．Adv Difference Eqns，2015，2015:46－61．［10］WANG Q，LIU Z，LI Z，et al．Existence and global asymptotic stability of positive almost periodic solutions of a two－species competitive system［J］．Int J Biomath，2014，7:1450040．［11］ZHUANG R，YUAN R．Weighted pseudo almost periodic solutions of N－th order neutral differential equations with piecewise constant arguments［J］．Acta MathSin(Engl Ser)，2014，30:1259－1272．［12］MAQBUL M，BAHUGUANA D．Almost periodic solutions for Stepanov－almost periodic differential equations［J］．Differ Eqns Dyn Syst，2014，22:251－264．［13］EZZINBI K，ZABSORE I．Pseudo almost periodic solutions of infinite class for some functional differential equations［J］．Appl Anal，2013，92:627－1642．［14］WANG L，SHI Y．Almost periodic solutions of abstract differential equation withimpulse and time delay in Banach space［J］．Int J Appl Math Stat，2013，43:379－386．［15］VRABEL I．Almost periodic solutions for nonlinear delay evolutions with nonlocal initial conditions［J］．J Evol Eqns，2013，13: 693－714．［16］DING H，LONG W，N’GU R KATA G．Existence of pseudo almost periodic solutions for a class of partial functional differential equations［J］．Electron J Diff Eqns，2013，104:14．［17］XU Y．Existence and uniqueness of almost periodic solutions for a class of nonlinear Duffing system with time－varying delays［J］．Electron J Qual Theory Differ Eqns，2012，80:9．［18］鲍杰，舒级．高阶广义2D Ginzburg－Landau方程的随机吸引子［J］．四川师范大学学报(自然科学版)，2014，37(3):298－306．［19］付颖，李扬荣．无界域上带有可加白噪音的Ginzburg－Landau方程的随机吸引子［J］．西南大学学报(自然科学版)，2012，37(12):37－42．［20］杜先云，陈伟．具有可加噪声的耗散KdV型方程的随机吸引子［J］．四川师范大学学报(自然科学版)，2012，35(5):651－655．［21］BEZANDRY P，DIAGANA T．Existence of almost periodic solutions to some stochastic differential equations［J］．Appl Anal，2007，117:1－10．［22］BEZANDRY P．Existence of almost periodic solutions to some functional integro－differential stochastic evolution equations［J］．Stat Probabil Lett，2008，78:2844－2849．［23］PRATO G，ZABCZYK J．Stochastic Equations in Infinite Dimensions ［M］．Cambridge:Cambridge Univ Press，1992．［24］PAZY A．Applied Methematical Sciences［M］．New York:Springer－Verlag，1983．［25］DING H，LIANG J，N’GU R KATA G．Pseudo almost periodicity of some nonautonomous evolution equations with delay［J］．Nonlinear Anal:TMA，2007，67:1412－1418．［26］LIU K．Stability of Infinite Dimensional Stochastic Differential Equations with Applications［M］．London:Chapman and Hall，2004．［27］ICHIKAWA A．Stability of semilinear stochastic evolution equations［J］．J Math Anal Appl，1982，90(1):12－44．。
脉冲时滞微分方程解的整体存在唯
− x(tk ) − x(t− k ) = Ik (x(tk )).
(E)
Abstract Consider the impulsive delay differential equation x (t) = f (t, x(t − τ1 (t)), · · · , x(t − τn (t))),
Ω = {y (t) : [τσ , A] → R, y ( t) = φ( t) ,
3 y(t) (dQ [σ, A] s,
3 y(t) (dQ [τσ , σ] s
y (t) ∈ C ([σ, A], R)}.
v Ω i7 q T d#
(T y )(t) =
φ( t) , φ( σ ) +
τσ ≤ t < σ,
t σ
f (s, y (s − τ1 (s)), · · · , y (s − τn (s)))ds, σ ≤ t ≤ A,
(5)
H%7
T Ω ⊆ Ω.
&>C Ω i73: {yk (t)}:
y (t) = φ(t), τσ ≤ t < σ, 0 φ(σ ), σ ≤ t < A, yk (t) = (T yk−1 )(t), k = 1, 2, · · · , τσ ≤ t ≤ A,
1≤ i ≤ n t≥σ
inf {t − τi (t)} .
=
P C (σ ) ={φ(t) : [τσ , σ ] → R, φ(t)Q [τσ , σ ]
一类具有时滞的中立型积分微分系统的周期解
Ｖｏ１ ． ４２ ＮＯ．６
ＮＯＶ ．２ Ｏ１ ３
一
类 具 有 时 滞 的 中 立 型 积 分 微 分 系 统 的 周 期 解
胡 永 珍
（ 北 京 第二 外 国语 学 院 经 贸与 会 展 学 院 ， 北京 １ ０ ０ ０ ２ ４ ）
摘 要 ：考 虑 一 类 具 有 时 滞 的 中立 型 积 分 微 分 系统 的 丁 ＿ 周 期 解 的 存 在 性 问题 ， 借 助 线 性 系 统 的 指 数 型 二 分 性 和 Ｋｒ ａ ｓ ｎ ｏ ｓ ｅ ｌ ｓ ｋ ｉ ｉ 不动点定理 ， 获 得 了保 证 系 统 存 在 Ｔ ＿ 周期解的充分条件． 关 键 词 ：积 分 微 分 系 统 ；中 立 型 ； 时 滞 ；周 期 解 ； 指 数 型二 分 性
Ｊ一。 。
存在 丁 － 周 期解 的充 分 条件 ． 文献 Ｉ － ４ ］利 用 Ｋｒ ａ ｓ ｎ ｏ ｓ ｅ ｌ ｓ ｋ ｉ ｉ 不 动点 定理 ， 给 出 中立 型微 分 系统
ｊ
ｕ（ ＿ ｚ （ ￡ ）＋ Ｃ Ｘ（ ｔ — ｒ ） ）一 Ａ （ ￡ ， （ ￡ ） ） （ ￡ ）＋ 厂 （ ｔ ， Ｘ ）
．
Ｕ
周期 解存 在 的充 分条 件． 文献 ［ ５ ］ 利 用线 性 系统 的指数 型二 分性 和 Ｋｒ ａ ｓ ｎ ｏ ｓ ｅ ｌ ｓ ｋ ｉ ｉ 不 动点定 理 ， 获得保 证 具有
无 限时滞 的中立 型微 分系统
ｊ
ｕ
ｒபைடு நூலகம்
Ｊ 一 。。
景（ ｚ （ ￡ ） ＋Ｃ Ｘ （ 一ｒ ） ） 一Ａ （ ， ｘ （ ｔ —ｒ （ ￡ ） ） ） ｚ （ ￡ ） ＋Ｉ Ｃ （ ｔ ， ｓ ） ｘ （ ｓ ） ｄ ｓ ＋ｆ （ ｔ ， Ｘ ） ＋６ （ ￡ ）
几类脉冲微分方程解的存在性
几类脉冲微分方程解的存在性几类脉冲微分方程解的存在性摘要：脉冲微分方程是一类带有脉冲信号的微分方程，其解的存在性是微分方程理论的重要问题之一。
本文将探讨几类常见的脉冲微分方程并讨论其解的存在性。
一、引言脉冲微分方程是在某些离散时间点发生突变或发生冲击的微分方程。
相比于普通微分方程，脉冲微分方程的求解更加困难，因为离散时间点的突变或冲击会使系统的动力学行为发生剧变。
因此，解脉冲微分方程的存在性成为研究的重要内容之一。
二、周期性脉冲微分方程周期性脉冲微分方程是一类具有周期性脉冲信号的微分方程，其在固定时间间隔内受到脉冲作用。
解周期性脉冲微分方程的存在性问题可以通过周期延拓方法来解决。
该方法通过将周期延拓后的方程转化为周期函数的微分方程，然后应用连续性和紧性定理，判断原始方程的解是否存在。
三、非线性脉冲微分方程非线性脉冲微分方程是指含有非线性项的微分方程，其解的存在性问题更为复杂。
对于非线性脉冲微分方程，通常可以通过构造适当的Lyapunov函数或应用不动点定理来解决。
Lyapunov函数可以用来刻画系统的稳定性，并通过其定义的正定性和严格增加性来推导解的存在性。
不动点定理则可以将微分方程转化为适当的积分方程，通过分析积分方程的不动点来判断方程的解是否存在。
四、时滞脉冲微分方程时滞脉冲微分方程是一类含有时滞项的微分方程，其解的存在性问题更具挑战性。
对于时滞脉冲微分方程，可以通过使用Lyapunov-Krasovskii函数和稳定矩阵方法来解决。
Lyapunov-Krasovskii函数是一类特殊的Lyapunov函数，通过引入时滞项和矩阵变量，可以刻画系统的稳定性，推导解的存在性。
稳定矩阵方法则通过构造适当的矩阵Lyapunov方程，将微分方程转化为矩阵的稳定性问题，从而判断解的存在性。
五、数值仿真数值仿真是解决脉冲微分方程存在性问题的常用方法之一。
通过将脉冲微分方程离散化为差分方程，然后利用数值计算方法求解差分方程，可以得到脉冲微分方程的数值解。
一类时滞微分方程非常数周期解的存在性及其个数估计
一类时滞微分方程非常数周期解的存在性及其个数估计郭志明【期刊名称】《《高校应用数学学报A辑》》【年(卷),期】2010(025)002【总页数】7页(P134-140)【关键词】时滞微分方程; 周期解; Morse理论; 非共振【作者】郭志明【作者单位】广州大学数学与信息科学学院广东广州 510006【正文语种】中文【中图分类】O176.3; O175.7得到上述微分差分方程以4r为周期的非常数周期解存在性的条件,并且给出其个数的下界.因此为研究含有时滞的微分系统周期解的存在性提供了一种新方法.考虑一阶时滞微分方程其中r＞0是常数,x∈R,g∈C1(R,R).本文的基本假设是(g)g是奇函数,并且当x→∞时,g′(x)的极限存在,记为g′(∞),其中g′(∞)是有限数. 对方程(1)周期解的研究可以追溯到Jones,Nussbaum及Kap lan和Yorke的工作.早在1962年, Jones就应用不动点理论对一个具体的方程周期解存在性给出了一些结果[1].在[2]中,Nussbaum利用喷射不动点方法研究了方程(1)的周期解,而Kap lan和Yorke在[3]中利用与之耦合的常微分方程方程组,得出了方程(1)的2π周期解的存在性.后来温立志,陈永劭,葛渭高等分别对该方程进行了研究[4-6]. 1998年,李继彬与何学中首次应用临界点理论研究方程(1)的周期解的存在性,相关文献可参阅[7-8]等.在[7-8]中,作者将方程(1)满足一定对称条件的周期解问题转化为一个相应的Ham ilton系统的周期解问题,进而应用临界点理论研究相应Ham ilton系统周期解的存在性.但是我们注意到,在一个特定的函数空间上,方程(1)是具有变分结构的微分系统.2005年,郭志明与庾建设[9]对方程(1)的周期解问题在一个特定的函数空间上直接建立变分框架,并应用伪指标理论得到了向量形式的方程(1)的周期解的多重性.2006年,Fei[10-11]应用指标理论对方程(1)作了更细致的讨论,得到了重要的研究成果.M orse理论是临界点理论的重要组成部分,它在研究具有变分结构的微分系统周期解存在性及其个数估计方面有着非常广泛的应用.而且一般说来,应用M orse理论得到的周期解含有更丰富的信息,如临界点的Morse指标或临界值的估计等.2000年,Abbondandolo在文[12]中介绍了一种新的无穷维空间M orse理论.一般说来,Hilbert空间上的强不定泛函,其临界点的M orse指标为无穷大.对于这类泛函无法直接应用经典的M orse理论,往往需要将所考虑的泛函约化到某个有限维空间上去讨论.Abbondandolo对Hilbert空间的子空间定义了一种相对维数,同时对泛函的临界点定义新的Morse指标,即E+-Morse指标.这样就可以直接在无穷维空间上应用其建立的M orse理论研究临界点的存在性及其个数.需要指出的是,这种相对M orse指标早在1995年与1997年,Fei与Qiu已经作了类似的研究[13-14].本文的目的就是利用变分方法与Abbondandolo介绍的E+-M orse理论来研究方程(1)的非常数4r周期解的存在性及其个数估计.为简单起见,取对一般情形可以通过一个时间变换将方程变为的情形.先对方程(1)建立适当的变分框架,将(1)的2π周期解转化为相应泛函的临界点,然后应用Abbondandolo的E+-M orse理论,研究方程(1)的非常数2π周期解的存在性及其个数.定义1.1 方程(1)的2π周期解x(t)称为非共振的,如果线性化方程的所有2π周期解组成的空间是由˙x(t)张成的.定义1.2 方程(1)称为在无穷远处是非共振的,如果线性方程不存在非零的2π周期解.定义1.3 记称τ(0)为方程(1)关于0的旋转数.同理1)称为方程(1)在无穷远处的旋转数.记n(2π)为方程(1)的2π非常数周期解的个数.定理1.1 假设函数g∈C1(R,R)满足条件(g),方程(1)的所有2π周期解是非共振的,并且方程(1)在无穷远处也是非共振的.则方程(1)的2π非常数周期解的个数n(2π)满足：其中[τ(∞)],[τ(0)]分别表示τ(∞),τ(0)的最大整数部分.注1 由假设(g),g(0)=0.从而x=0是方程(1)的2π周期解.如果方程(1)的所有2π周期解是非共振的,则简单计算可知,对于任意的正整数k,g′(0)=(−1)k(2k−1).类似地,如果方程(1)在无穷远处是非共振的,则对于任意的正整数k,g′(∞)=(−1)k(2k−1).从而可以得到如下推论.推论1.1 在定理1.1的假设下,当g′(0)＜g′(∞)时,方程(1)至少存在个非常数的2π周期解.当g′(∞)＜g′(0)时,方程(1)至少存在个非常数的2π周期解,其中#(A)表示集合A所含元素的个数,Z表示整数集.注2 在定理1.1中,方程(1)的所有2π周期解是非共振的这一假设条件是技术性的,该条件意味着方程(1)的2π周期解对应作用泛函的非退化临界点.应用退化临界点的Morse理论可以避免这一假设条件[15].由关于g的假设条件可知,泛函Φ的临界点对应于方程(1)的2π周期解.这样,我们就把寻求方程(1)的2π周期解转化为讨论(4)的临界点的存在性.下面概括Abbondandolo关于空间相对维数的一些概念及E+-M orse指标的有关结论而不加证明,详细讨论参见[12,16].设E为实的Hilbert空间,E正交分解为E=E+⊕E−,E+与E−均可以是E的无穷维子空间.定义2.1 E的两个闭子空间V,V′称为是可公度的(commensurable),如果商投影V′→E/V及V→E/V′都是紧的.可公度性是E的闭子空间上的等价关系.定义2.2 设V是E中与E−可公度的闭子空间.V的E+维数定义为由可公度性的定义,上述和式中两个被加项都是有限数.例如,如果Y是有限维的子空间且Y∩E−={0},则E+-dim(E−⊕Y)=dim Y≥0；如果Y是E−中有限余维的子空间,则E+-dim Y=−codimE−Y≤0.设F是定义在E上二次连续可微的泛函,d2F(u)表示F在u的二阶Frechet导数,则d2F(u)可以看作E上有界线性的自共轭算子.假设u是F的临界点,即F′(u)=0,如果d2F(u)是可逆的,则称u为F的非退化临界点.定义2.3 设u为F的非退化临界点,并且d2F(u)的最大负特征子空间V−与E−是可公度的,则u的E+-M orse指标(记作E+-m(u))定义为由于直接计算可得a0=0,a2k=b2k=0,k∈N.因此u可以表示为.令Ek=span{cos(2k−1)t,sin(2k−1)t},则记则E=E+⊕E−.考虑定义在E上的泛函Φ(见(4)).由于g∈C1(R,R),Φ在E上是二阶Frechet可微的,且对于任意的u∈E,∫包含在E中的所有2π周期解组成的空间是由张成的.定义2.5 方程(1)称为在无穷远处是E中非共振的,如果线性方程定义2.4 方程(1)的2π周期解x∈E称为在E中是非共振的,如果线性化方程在E中不存在非零的2π周期解.由定理1.1的假设条件,0是泛函Φ在E上的临界点,并且是非退化的.事实上,若∀ξ∈E,考虑E上的有界自共轭算子d2Φ(∞),d2Φ(∞)定义为若d2Φ(∞)最大负特征子空间为,则d2Φ(∞)在无穷远处的E+-M orse指标定义为的E+维数,即应用[16]中Theorem 5.2.1的证明方法,可得如下引理.引理2.1 假设函数g∈C1(R,R)满足条件(g),方程(1)的所有2π周期解在E中是非共振的,并且在无穷远处也是E中非共振的.则下面的Morse关系式成立其中W(λ),Q(λ)是具有非负系数的形式Laurent级数,并且设若wl＞0,则方程(1)存在wl个非常数的2π周期解.定理1.1的证明将引理2.1中的M orse关系式改写为设由于qj≥0,wj≥0,若bj＜0,则wj=qj−bj≥−bj＞0.记m(2π)为方程(1)在E中非常数2π周期解的个数.则下面我们计算B−.首先计算E+-m(0).令d2Φ(0)的最大负特征子空间记为考虑特征值问题:容易求得,由于方程(1)的所有2π周期解在E中是非共振的,故∀k=1,2,···,当g′(0)≥ 0时,并且当k≤[τ(0)]＜k＞[τ(0)]时,易知因此当g′(0)＜ 0时,k=1,2,···,并且当k＞−[τ(0)]时,＜0.k≤−[τ(0)]时,＞0.因此在E−中的正交补空间为从而同样,当g′(∞)＞0时,E+-m(∞)=2[τ(∞)]；当g′(∞)＜0时,E+-m(∞)=2[τ(∞)],其中, 现考虑Morse关系式(6).不妨设g′(∞)＞g′(0),g′(∞)≤g′(0)的情形可类似讨论.将M orse关系式改写为显然,B(λ)中,λ的奇次幂前的系数为−1,而偶次幂前的系数为+1.因此B(λ)中负系数的和B−为定理1.1证毕.推论1.1的证明当g′(0)＜g′(∞)时,τ(0)＜τ(∞),从而[τ(0)]≤[τ(∞)].根据定理1.1,方程(1)至少存在[τ(∞)]−[τ(0)]个2π周期解.不妨设[τ(0)]=j＜j+1＜···＜j+l=[τ(∞)].记A={k∈N|g′(0)＜4k−1＜g′(∞)}.我们将证明#(A)=l.事实上∀p=1,2,···,l, [τ(0)]＜j+p≤[τ(∞)].由于τ(0)与τ(∞)不能取整数,所以τ(0)＜j+p＜τ(∞).由τ(0)与τ(∞)的定义,g′(0)＜4(j+p)−1＜g′(∞).这说明,j+p∈A.因此,#(A)≥l.另一方面,∀k∈A,g′(0)＜4k−1＜g′(∞),即τ(0)＜k＜τ(∞).从而,[τ(0)]＜k≤[τ(∞)].即存在p=1,2,···,l,使得k=l+p.因此,#(A)≤l.当g′(0)＞g′(∞)时,可以类似地证明.推论1.1证毕.注3 在[3]中,Kap lan与Yorke研究了方程以4为周期解的存在性.他们假设f是奇函数,并且则当β或时,方程(10)至少存在一个4周期解.作时间变量变换并令则方程(10)变为令应用推论1.1的结论,我们有推论3.1 方程(10)存在m个以4为周期的周期解,其中显然,推论3.1推广了[3]的结论.A lower bound of the number of periodic solutions is also given.As aconsequence of this paper,a new m ethod is introduced for investigating the periodic solutions of delay diff erential equations.【相关文献】[1] Jones G J.The existence of periodic solutions of f′(x)=−af(x−1)[1+f(x)][J].J M ath Anal App l,1962,5:435-450.[2] Nussbaum R D.Periodic solutions of som e nonlinear autonom ous functional diff erential equations(II)[J].J Diff erential Equations,1973,14:368-394.[3] Kap lan J L,Yorke J A.O rdinary diff erentialequationswhich yield periodic solution of delay equations[J].JM ath Anal App l,1974,48:314-324.[4] Wen Lizhi,Xia Huaxing.Existence of periodic solutions for diff erential diff erence equations w ith two tim e lags[J].Scientia Sinica Ser A,1988,31:777-786.[5] Chen Yongshao.The existence of periodic solutions of theequation˙x(t)=−f(x(t),x(t−1))[J].JM ath Anal App l,1992,163:227-237.[6] 葛渭高.微分差分方程x′(t)=f(x(t−1))简单周期解的个数[J].数学年刊A辑,1993,14: 472-479.[7] Li Jibin,He Xuezhong.M ultip le periodic solutions of diff erential delay equations created by asym ptotically Ham iltonian system s[J].Non linear Analysis TMA,1998,31:45-54.[8] Li Jibin,He Xuezhong.Proof and generalization of Kap lan-Yorke’s conjecture on periodic solution of diff erential delay equations[J].Science in China Ser A,1999,42:957-964.[9] Guo Zhim ing,Yu Jianshe.Multip licity results for periodic solutions to delay diff erential equations via critical point theory[J].JDiff erential Equations,2005,218:15-35.[10]Fei Guihua.Multip le periodic solutions of diff erential delay equations via Ham iltonian system s(I)[J].Nonlinear Analysis TMA,2006,65:25-39.[11]Fei Guihua.M ultip le periodic solutions of diff erential delay equations via Ham iltonian system s(II)[J].Non linear Analysis TMA,2006,65:40-58.[12]Abbondandolo A.M orse theory for asym p totically linear Ham iltonian systems[J].Nonlinear Analysis TMA,2000,39:997-1049.[13]FeiGuihua.RelativeM orse index and itsapp lications to Ham iltonian system s in the presence of symm etries[J].J D iff erential Equations,1995,122:302-315.[14]Fei Guihua,Qiu Qingjiu.Periodic solutions asym ptotically linear Ham iltonian systems[J]. Chin Ann M ath Ser B,1997,18:359-372.[15]Benci V.Estim ate of the number of periodic solutions via the tw ist number[J].JDiff erential Equations,1997,133:117-135.[16]Abbondandolo A.Morse theory for Ham iltonian system s[A].Research Notes in Mathematics Series,425[C].London:Chapman&Hall/CRC,2001.。
一类具有无穷时滞中立型泛函微分方程反周期解的存在性
即 （）是 反周期 的 ， ｔ 且是有 界 的．
（） ２ 类似可证．
ｌ （） ｓ Ｉ≤ ２ Ｉ ｔ 一（）ｌ Ｃ
ｅ（ｃ ｄ， ｓ ３ ｘｒ ＡＡｆ ． ｐ ））≥ ０ （
．
主 要 结 论及 证 明
定理 １ 假 设方 程 （ ）满 足条件 （ ） １ Ｈ１ 且满 足
和
解的存在性给予了大量研究 ， 并得到一 些结果 ， 参 见文献 ［ ５—９ ． ］ 然而对 中立型泛 函微分方程反周 期解 问题 的讨 论甚 少 ， 文讨论 下 面一类 具 有无穷 本 时滞 中立型泛 函微 分方 程
（） ２ （） ３
盖 ） Ｑ ，ｔＪ Ｊ （ 一 （ （， ） （
唯一 的 ７周期解 ： ’
ｓｐ （ Ｉ ｕ 训
（）＝ｆ Ｘ ｔｘ ｓ （）ｓ ｔ （） （） ｓｄ 厂
（） Ａｔ ２ 若 （）满 足 条 件 （ ２ ， ｋ Ｈ ） 且 ：＝ ｅｐ 一 ｘ （
Hale Waihona Puke ＩＱ ｔＭ ，１ （ ，１ ）一Ｑ（ ，２Ｉ ）ｌ ｔ ，２ ≤ Ｉ／ ２ Ｊ ２ ， １一 Ｉ
Ｊ ｎ ａ．
２ １ ０２
文章 编号 ：０ ８—１０ （ ０２）１—０５ Ｏ １０ ４２ ２１ Ｏ １ １一 ４
一
类具有无穷时滞中立型泛函微分方程反周期解的存在性
张洪彦 ， 王 奇 ， 丁敏敏 ， 王志杰
（ 徽 大 学数 学 科 学 学 院 。 安 安徽 合 肥 ２０ ３ ３０ ９ ｊ
＝
ｆ （ ＋ ）一 ｓ ） ｓ Ｔｄ ｔ ＴＸ ＋ 厂 ＋ ）ｓ （ （ ｆ （） （） ｓ Ｔｄ ｓ （ ＋ ）ｓ ，
阵， 如果存在一个映射 Ｐ和正常数 ， 使得 ： Ｉ （） Ｘ １ ｓ ｌ≤ｆ ｘ （ 仅 ｔ ） ， ≥ｓ ｌ ｔＰ ＿（ ）Ｉ ｌ ｐ 一 （ —ｓ ） ｔ ； ｅ
一类具有无限时滞中立型积分微分方程的周期解
Ｖｏ ． ７ Ｎｏ ６ １２ ， ．
滨 州学 院学报
Ｊ ｕ ｎ ｌ ｆＢ ｎ ｈ ｕ Ｕｎ ｖ ｒｉｙ ｏ ｒ ａ ｉｚ ｏ ｉｅ ｓｔ ｏ
２１ 年 １ ０１ ２月
Ｄ ｅ ．， ０１ ｃ ２ １
【 分 方 程 与 动 力 系 统研 究】 微
一
类 具 有 无 限 时 滞 中 立 型 积 分 微 分 方 程 的周 期 解
其 中 ｔＥ Ｒ， Ａ（， ， ｔ ） Ｃ（，）为连 续 函数矩 阵 ， Ｒ， ， ｚＥ Ｒ ， ｔ ） Ｂ（， ， ｔｓ 厂Ｅ Ｃ（ Ｒ ） ｆ将 有界 集映 为有 界集．
ｆ ｔ Ｔ， （ ＋ ）一 ｆ ｔ ， （）＝ ｘ ｔ ｓ ， Ｅ （ 。 ，］ （， ｓ ＝ （ ＋ ） ５ ） ＝ 一 。 ０．
（） １
Ａ（， （）ｚ（） ｌ Ｃ ｔ５ ｓｄ ＋ｇ（，￡ ） ＋ 厂 ， ￡ｚ ） ＋ （，） ） ｓ （ ｔ（ 一ｒ ） （）
Ａ （ ＋ 丁）一 Ａ （） Ｂ（ ＋ Ｔ， ＋ Ｔ） 一 Ｂ（ ， ） Ｃ（ ＋ Ｔ ， ＋ Ｔ）一 Ｃ（ ，） ｔ ， ｔ ｓ ｔ５ ， ｔ ５ ｔ５ ，
利 用线 性理 论及 Ｓ ｈ ｕ ｅ 不 动点 定理 获得 了方 程 （ ） ｅａｄｒ １ 的周 期解 的存 在性 、 唯一 性及稳 定性 ， 到 了一些判 得
别 准则 ．
１ 预 备 知识
定义 １ 如 果实 方 阵 Ｐ满 足 Ｐ。＝ Ｐ， ＝ 则称 Ｐ 为投 影． ＝ 定义 ２ 设 Ａ（）是定 义在 Ｒ上 的连续 的 × 是 实矩 阵 函数 ， 虑线性 系统 考
ｎ（ ＋ ∑ Ｊ ￡ Ｊ （ ≤０ｉ ，， ｆ ） （ ≤ａ￡ ，：１２…，， ｎ ） ）
］ｌ （ ～Ｐ ｘ ｓ ｌ≤ Ｋｅｐ ａｔ ） ，≤ ｓ ｌ ）ｊ ｘ（ ） （）ｌ ｘ （（ —ｓ）ｔ ．
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
１９ ９７年 ， ｉ 利用 Ｍａ ｉ 续定 理 ， 论 了～ 类 具 常 时滞 的周 期 系 数 的 中立 型 泛 函微 分 方 程 ．０ １年 ， Ｌ Ｊ ｗｈｎ连 讨 ２０ Ｆｎ ［ 讨 论 了方程 （ ）并且 对 文献 ［］中公 开 问题 给出 了解答 ．０ ３年 ，ｕ６研 究 了如 下方 程 正周 期解 的 ａｇ５ ］ ２， ３ ２０ Ｌ［ ］
ｚ（ （ｋ ￡ ）一 ｔ）： ｌ（ ｎ １十Ｊ ） ｃ ， ２
即
、
￡：
∈ Ｎ．
‘） ４
收稿日期 ：０ ９—０ ２０ ３—１ ０
基 金项 目： 湖南省教育厅 ２０ 年科技项 目（６ ０ ２ ； ０６ ０ Ｃ ４ ） 湖南工学院 ２ ０ 年科研项 目（ Ｙ ８ ２ ） ０８ Ｈ ０ ０ ６ 作者简 介： 盛洁波 （９ ９ ， ， １ ６ 一） 女 湖南人 ， 讲师 ， 主要研究方 向： 微分方程 ．
பைடு நூலகம்
一
类具有脉冲 的中立型 时滞微分方程正周期解 的存在性
盛 洁波 陈福 来２ ，
（． １湖南工 学院 基础课教学部 ， 湖南 衡阳 ４ １０ ；． ２０ ２ ２ 湘南学 院 数学系 ， 湖南 郴州 ４３０ ） ２ ０ ０
摘 要 ： 一个实际生态系统， 常受到周围环境 变化 以及人类活动的影响 ， 因而在 生态系统建模 中应 该考虑脉冲的存在 ． 现有的研究过 多局限在具有常时滞的周期 系统的中立型泛函微分方程， 对具有 脉 冲的 中立型 时滞微 分方程 模 型研 究较 少． 本文利 用 重合度理 论 ， 究 了一类 具有脉 冲 的 中立型 时 研
—
１］本文利用重合度理论 ， ３． 讨论方程（ ） １ 的正周期解的存在性。
１ 预 备 知 识
令 Ｎ（ ） ｅｐ （ ）（ ） ｔ ＝ ｘ ｘ ｔ ，１ 式可变为 ：
ｆ （）＝口 ￡ 一ｐ ￡ ￡一６ ｚｅ（ ｒ ～ｃ ｔｅ（ ｒｔｘ（ —ｒ（）， ≠ ｔ， ｚ （） （） ） （ ｔ １） （）Ｘｔ ２） ＂ｔ ２￡）￡ （ － （） － （）
【 ￡ ）＝ （ Ｎ（毒 １＋ｈ ） ｔ） Ｎ（ ， ｔ＝ ｔ， ｋ∈ Ｎ． 式 中 （ ）卢 ｔ 、 （ ）ｃ ｔ 、 （ ） 连续 的周期 为 ∞的 函数 ， ａ ｔ ≥ ０ 卢 ｔ ≥ ０ ｂ ｔ ≥ ０ ｃ ｔ ≥ ０ ｔ、 （ ）ｂ ｔ 、（ ） ｔ 为 且 （） ，（） ，（） ，（ ） ，
第３ ３卷 ２期 ２ ０年 ３月 ０１
自然科学版） ｎ Ｊｕｎ安ｏ ｎ ｕ ｏｍａ Ｕｎ报ｒｉ Ｎａｕａ Ｓ ｉ ｃ） ｏ ｒａ ｆＡ师 范 大 学 ｉｅｓｙ（ ｔｒｌ ｅ ｅ ｌ 徽 ｈ ｉ ｒ ｌ学 ｖ （ Ｎ ｔ ｃ
Ｖｌ．３Ｎｏ ２ ０ ３ ． １
Ｍａ ｒ．２０ １ ０
引 言
讨 论一 类具有 脉 冲 的 中立 型 时滞微 分 方程模 型 ：
＿ Ｔ Ｎ￡口）ｆ）（一（Ｎｔ ｒ ） ｃ）（ ｒ ），≠ｋ 』 （［ 一（Ｎｔ ｂ）（ １ ） （Ｎ 一２ ） ￡ ｔ ｒ ７ ＾ ）（ ｌ ） ｔ — （ 一 ￡ （ ］ ｔ ．
ｒ １ 、
其中 ｃ（ ） 。￡ ＝
，
ｔ ｔ忌 ＝ ｋ Ｅ Ｎ． ，
． 为了讨论方便起见 ， 首先引入一 函数空间 Ｐ 定义为 ：ｃ ＝Ｐ （一 ｏ ， Ｃ， Ｐ ｃ Ｅ ，ｌＲ ）
｛ ： ＿ ０ 一 Ｒ ， （） ［ ，］ ” 声 ｔ 是一连续 函数 ， ≠ ｔ， ｆ ） ） ｔ （ 、 （ 存在 ， 并且 （ｋ ＝ ９ ￡ ）忌Ｅ Ｎ｝这里 ＝ ｔ） ｌ ｉ ， ， （
３ 卷第 ２期 ３
盛洁波 ， 陈福来 ： 一类具有 脉冲 的中立 型时滞微分方程正周期解 的存在性
１７ １
ｆ （） ０￡ ｔ ２） ＝ （） （） 一６ ｆ ‘ ＋ｃ （） （ ｒ ” ≠ ｔ， ［ ￡ ＋ｃ（） － （’ 一 ￡ ） （） 一 ｚ （ ￣ ］ （ ‘ ＂ ｔｅ ｔ ２ ， ０ ｘ－‘ ｋ ｌ ） （ ） ｎ１ ， （ｊ 一ｚ ｔ ＝Ｉ ＋ｈ） （
滞微 分 方程模 型 ， 到 了其 周期 解存 在 的充 分条件 ． 得 关键 词 ： 中立型 ； 时滞 ； 冲 ； 脉 周期 解 ； 重合 度理 论 中图分类 号 ： ７ ．４ Ｏ１５ １ 文献标 识 码 ： Ａ 文章 编号 ：０ １ ４ ３２ １ ）２—０ １ １０ —２４ （０ ００ １６—０ ５
存 在性 问题 ．
ｄＮ
＝Ｎ ￡［（） ｆｔ （） （） ￡一 （ Ｎ ｔ一∑ ｂ ｔ （ 一 （）一∑ Ｃ ￡Ｎ ￡ ｒ ￡） （ 口 ｌ） ｉ ） ｔ ￡） （Ｎ ｉ ）（一 ） ． ３ （ （ ］ ）
上述研究的问题都没有考虑脉冲． 但是 ， 一个实际的生态系统 ， 常受到周围环境变化 以及人类活动的影响 ， 因 而在生态系统建模 中我们应该考虑脉冲， 这样 比较符合实际． 脉冲微分方程的相关理论 ， 读者可参考文献［ ７
（ ） ０ ｒ ｔ ＜ ｌｉ＝ １２ ． 这些 参 数 的生态 学解 释 ， ｔ ≥ ， （） （ ，）对 读者 可 以参考 文献 ［ —２ ．ｔ｝ ｌ １ ］ ｛ 满足 ｔ ＜ ｔ ｏ １ ＜ … ＜ ｔ ｔ＋ ＜ … 且 ｔ ｋ＜ 女ｌ ｌ ＝＋Ｏ ｉ Ｏ条件 ， 存在一 个正 整数 ， 则 使得 ：ｔ｝ ｌ ［， ｛ ０ ∞］： ｛１ｔ， ， ｎ ｔ，２… ｔ ， ＝ ｔ＋ ． ｝ｔ＋ ｈ 满足 一１ ｈ ≤ ０ ｈ＋ ＝ ｈ ， Ｎ ． ａｇ 于 １９ 年提 出 了一个 公开 问题 （ ｅ ＜ ，＾ ｋ∈ Ｋｕｎ ［ ］ ９３ Ｏｐｎ ｐｏｌ ９ ２ ， 且 得到 了下 列微 分方 程正 周期 解 存在性 的充 分条 件 ． ｒｂｅ ．）并 ｍ ＝ Ｎ（ ［ （ ） ￡ ｂ ｔＮ （ ）岔（）一 ￡ Ｎ（）一 （ ） ￡一ｒ ） ｃ ￡Ｎ ｆ—ｒ ￡） ． （ ）一 （ ） （ （）］ （） ２