第55卷第2期 吉林大学学报(理学版) Vo1.55 No.2 2017年3月 Journal of Jilin University(Science Edition) Mar 2O17 脉冲微分方程的不变流形 江权 霞 (南京航空航天大学数学系,南京210016) 摘要:运用压缩映像原理,得到当线性脉冲微分方程具有非一致( ,v)二分性时,在充分小的 扰动下存在不变流形. 关键词:脉冲微分方程;非一致( , )性;稳定流形 中图分类号:O175 文献标志码:A 文章编号:1671—5489(2017)02—0243—08 Invariant Manifolds for Impulsive Differential Equations JIANG Quanxia (Department of Mathematics,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China) Abstract.When the linear impulsive differential equations had nonuniform( , )dichotomy,the author obtained the existence of invariant manifolds under sufficiently small perturbations by using the contraction mapping principle. Key words:impulsive differential equation;nonuniform( , )dichotomy stable manifold O 引 言 脉冲微分方程在种群动力系统、传染病动力学模型、微生物模型等领域应用广泛[1 ].在非自治微 分方程理论中,稳定流形理论得到广泛关注,且一般的假设都是发展算子具有指数二分性[3].例如, 具有指数二分性的非自治线性微分方程,对于任何充分小的非线性扰动,都有拓扑共轭性和稳定、非 稳定的不变流形.但指数二分性依然对系统有较高的要求,受传统指数二分性概念和非一致双曲理 论 的启发,Barreira等m提出了非一致指数二分性的概念,并系统发展了相关理论.文献E83引入了 一类更一般的二分性,即非一致( , )二分性,并从动力学的角度解释了该二分性的广泛存在性. 本文考虑 内的线性脉冲微分方程: 一A(t)x( ≠ri), △z I — :==B 37., (1) 及其非线性扰动方程 z 一A(£) +f(t,X, )(£≠ ), △z I 一一B +g (z, ), (2) 其中参数 ∈y,y是嗵 中的开球.Barreira等[9 假设方程(1)具有非一致指数二分性,得到了在充分 小的扰动下存在稳定流形的结论.受文献[9]的启发,本文假设方程(1)具有非一致( ,v)二分性且 函数厂和g 都充分小,证明不变稳定流形的存在性.当 (£)一 ( )一e 时,非一致( , )二分性即为 非一致指数二分性,从而本文的结果推广了文献[9]的结果.此外,本文的结果对非一致双曲性理 论【4 ¨]也有一定的贡献. 收稿日期:2016—05-10. 作者简介;江权霞(1993一),女,汉族,硕士研究生,从事微分方程理论及其应用的研究,E—mail:jqx1993@126.corn. 基金项目:国家自然科学基金(批准号:11201226). 244 吉林大学学报(理学版) 第55卷 1 预备知识 首先,考虑方程(1).对t≥0,i E ,A(£)和B(t)都是P×P阶矩阵,跳跃点r 满足 0<r1<r2<…,liar 一+∞.此外,P===sup ——— 二了Fi__—一z一。。 >s>0 card{i E :S≤r。<t} <。。.设f—A( )至多在 处有 第一类不连续点,则方程(1)的全局左连续解存在且唯一L2]. 设方程(1)的解z( ):T(t,s)z(5),其中 >s>0,T(t,s)是相应的线性发展算子.则 T(t, )一Id, T(£,r)T(r,5)一T(t,s),t≥r≥S≥0. 如果单调递增函数 : 。 一[O,+cx3)满足 (0)一1,lim (£)一+。。,则称 是增长率.设 和 都 是增长率,如果存在映射P(£),使得T(t,s)P(s)一P(£)T(t,s)( ≥s≥0),且存在常数口, ,D>0和 £≥0,使得 II )ll≤D( )~ ≥s≥0, (3) (4) I lT(s,£)一 Q(s)ll≤D(\ ) ,, ~ (s) , s≥ ≥0, 空间分别定义为E( )一P( )( P)和F( )一Q(£)( P). 其中Q(s)一Id—P(s)是P(S)的补映射,则称方程(1)具有非一致( , )二分性.特别地,当 (£)一v(£)一e 时,非一致( ,v)二分性即为非一致指数二分性.对每个£≥0,稳定子空间和不稳定子 其次,考虑非线性扰动方程(2),本文做如下假设: (H )参数空间y是 内的开球; (H2) : × P×Y一 P和g : ×Y一 满足f(t,0, )一0(t≥0, E Y), g (0, )一0(iE , Ey); (H。)f关于t是分段连续的,且至多在 处有第一类不连续点; (H )存在8>0和增长率 (£),使得对每个 ≥0,iE ,z, E 及 , ∈y,都有: l jf(t,z, )一f(t,Y, )Jl≤ v( )一 ll z— lI, l If(t,z, )——f(t,z, )Il≤ v( )一。 l —— lIl・l】.z ll; l lg (z, )一g ( , )lI≤ ( )一3c l lz— ll, l lg (z, )——g ( , )lI≤ v(r )一 l —l— ll・lI z l1. ( ,)EE(s)×F(s)确定的唯一的左连续解( ( ), ( ))EE(£)×F(£)满足: (5) (6) 如果方程(1)具有非一致( , )二分性,且 (t)满足式(5)和式(6),则方程(2)由初值 “( )一T(t,5) +I‘P(t)T(t,r)厂(r, (r), (r), )如+∑P(t)T(t, )g ( (t),v(r ), ),(7) s≤ri<‘ (£)一T(t,s)'7+l‘Q(t)T(t,r) (r, (r), (r), )dr+∑Q(t)T(t, )g (“( ),v(r ), ),(8) ≤ri< 其中£≥s, EY.对每个£≥O, EY,考虑半流: 有唯一的不动点. (s, ,叩)一(s+t,u(s+£),v(s+ ), ). 引理1(压缩映像原理)n 设(X, )是完备的距离空间,若T:X—X是压缩映射,则T在X中 2 主要结果 令A是连续函数族( ) 构成的空间,其中≠ : × 一 至多关于第一变量有第一类不连 续点,且使得对每个s≥O, , ∈E(s)及 , ∈y,下列条件都成立: (5,0)一0, (s,E(s))CF(s), lI如(s, )一j6 (s, )lI≤lI 一 ,ll如(s, )一 (s, )ll≤l l2--2 ll・l ll1.对任意的j5, ∈A,定义 以中的距离 第2期 江权霞:脉冲微分方程的不变流形 245 ( , )一sup \ ! 二 Il : :s∈R +o, ∈E(s)\{o), ∈yl, 则A是一个完备的距离空间.给定j5∈A, ∈Y,定义图像V州一{(s, ,如(s, )): (s, )∈ ×E(5)).给定k>0,令 —sup∑ (ri)一,其中 为式(3)和式(4)中的v.记 >O r ≥ 口一pin(1+28D). 假设方程(1)具有非一致( , )二分性,且增长率/2(t),v( )满足下列条件: (H ) ( )使得式(5)和式(6)成立,且e~ (£)是增函数; (H )I (r) dr是收敛的,且rE<Cx3. 以下均假设条件(H ),(H )成立,且存在充分小的 满足口一pln(1+28D)≤a+ 引理2[ 令 : 一 是分段连续函数,且至多在 处有第一类不连续点.若 (£)≤c+I‘v(r)w(r)dr+∑ ( ), £≥ tO 0≤ < 其中:常数C, >to;函数73: 一 ,则 ㈤≤C II(1+ )exp (r)曲}, £≥ tO≤r <f O 类似文献[93中定理3.1的证明.由 ( ¨)一V¨,v 中的每个解可以写成如下形式: ( , ( ), ^( , (£))),t≥S, 则式(7),(8)可以分别写成如下形式: ( )一T(t,s)“(s)+I P( )T(t,r)f(r,“(r), ^(r,2‘(r)), )dr+ ∑P(t)T(t, )g (“( ), ( u(r )), ), s≤ < (9) ( , ( ))一T(t, )声 (s, (s))+I Q( )T(t,r)f(v, (r),≠^(r,u(r)),A)dr+ ∑Q(t)T(t, )g ( ( ),机( u(r )), ). s≤ <‘ (10) .引理3若8>0充分小,给定 ∈A和s∈ ,则: 满足 ∈嗯 , ∈Y, 1)存在唯一的函数 一U :s,+oo)×E(s)×y一 ‘(s, , )一 , Ud(£, , )∈E( ),t>S, 使得式(9)对每个£≥s都成立; 2) 关于t分段连续,且至多在ri处有第一类不连续点; 3)对每个 ≥s, ∈ P及 , EY,有 ,)ll≤2D( )-a , , I, (11) (12) )一 (£, ,_)ll≤L(\ 5“ / 1 /~ ( l1. 一_l1, 其中常数L>O. 证明:给定(s, )E ×E(s)\{0)和 EA,考虑由函数U:Is,+。。)×E(s)×y一 构成的空间 , ∈y; n— ,这里 满足下列条件: (i)u(s, , )= ,u(t, , )E E(£),t>s, ∈ (ii)U关于t分段连续,且至多在 处有第一类不连续点; (i l -sup{ ( )。 : ,tEE( (o), ∈y)≤2D. 因此,在范数lI・Il 下,n是一个完备的距离空间.在n内定义算子 246 吉林大学学报(理学版) 第55卷 .厂( , )===T(t,s) +J T(t,r)P(r)厂(刚( , ≤ri<f ( , 曲+ ∑T(t, )P( )g。( ( , ), ( u(r , , )), ). 令 1, 2∈A,r≥s,且“1一 1(・, , ),M2==: 2(・, , ),则有 口(r)一l lf(r,U1(r), (r,M1(r)), )一f(r,“2(r),{6^(r,“2(r)), )ll≤ v(r)一 Il( 1(r),声 (r,M1(r)))一(“2(r),声^(r, 2(r)))ll≤ 28v(r) (r)一Mz(r)ll≤2 ( )-a (s) v(r)咄 ・ 一 。 同理 nf—l lg (“1( ), ( , 1(r )), )一g ( 2(r1),≯^( , 2( )),it)ll≤ 2 ( )-a ( r+。。 r+o。0 ・l 一 ll l. pt J s r+∞ J 0 因为IJ 0 (r) dr收敛,故存在M>0,使得I0 (r) 出≤M,从而I v(r) dr<I v(r) dr≤M. 此外,∑v(r )咄<∑ (r )一 < .于是 r z≥ r£≥ I lJ(u )( , , )一J(u2)( , , )ll≤I‘ll T(t,r)P(r)【 la(r)dr+∑ T(t, )P( )cl口 ≤ s≤r <f 281) l1. ~ll,』j :s f\21 1\t) /一 )E\f I2)s)j 一 ㈤咄dr+ 23/) lI. ~ 曼 s≤r(筹)-a ( )-a <f、r… 、r… ≤ 28/) l1. ~ ( )-a ) (fly(r)dr+ 星 ( ̄'i)-2e)≤ 28D(M+ 故 .1 一 ll ( )-a l IJ( )一J(“ )l ≤281)(M+r )lll“ 一 l .l 当 >O充分小,使得28D(M+r )<1/2时,算子J是压缩的,且 l lJ( )1 ≤ll lT(・,s)8 l +28/l)(M+r )l Il ≤D+2 ×2D一2D,l 所以J(n) n.从而由压缩映像原理可知,.厂在 中有唯一的不动点 . 下面证明式(12).为方便,记 一甜 (・, , ),则 ll( (r), (r,Y (r)))ll≤ll (r)ll+l (r,弘(r))lll≤2 l lY (r)lI, lI( (r), (r,Y (r)))--(y ̄(r), i(r, i(r)))lI≤I (r)一 j(r)lll+ (13) l (r,lYa(r))一 (r, (r))ll+l (r,l (r))一 (r, i(r))ll≤ 2 I (r)一 (r)lll+l —ilt ll・l i(r)ll1. 由式(5),(13),(14),有 (14) 6(r)一lI厂(r,Ya(r), (r, (r)), )一厂(r, (r), (r, (r)), )ll≤ l lf(r, (r),如(r,Y (r)), )一f(r, (r), (r,弘(r)), )ll+ ll,(r, (r), (r, (r)), )一厂(r, (r), (r, (r)),a-)ll≤ (r)。。l —— lll・ ( (r), (r,Ya(r)))lI+ (r) ll( (r), (r, (r)))一( (r),如(r, (r)))ll≤ 2 (r) l — lll・l (r)lll+2By(r) l lY (r)一 (r)Il+ (r) lI — ll・l (r)lll≤ 第2期 江权霞:脉冲微分方程的不变流形 247 6 ( )-a (s) (r) I IIl・II — II+2 (r) II (r)一 (r)II. 类似地,有 (15) b —f Ig ( ( ), (rt,Y^( )), )一g ( i( ),≠i( , i( )), )lI≤ 6 ( )-a (s) ( )一3 II l・I『 — II+2 ( )一3 II弘( )一 i( )II. (16) 因此,由式(3)有 I IY ( )一 i(£) ≤f ≤III T(I T(t,r)P(r)I) Ib(r)dr+∑I+∑ I T(t, )P( )I ) ≤ I b ≤ ≤r.< 6 I ・III — 筹) ( )-a (r) ¨ 2OD ̄(f 'rJ\ Lrt) )一 (r)一2 II (r)一 i(r)II dr+ 6 II ̄II・II;t- ̄I (I ) ( )-a (rf + ( )-a 令p( )一II ^(£)--y ̄(t)lI,贝0 I I-(r II p(t)≤6 II .1 l— lI( )-a ) dr+68D。I ・II I— II( )-a 咄+2 『=( )-a 令 )一( ) ∽,则 8D 曼 ( )~ . I1(£)≤68D I II・II — II(M+rE)+2319 I‘ (r)一 r(r)dr+2 ∑v( )一 r( ). ≤r < 因此,由引理2和条件(H ),有 m 319 II・II, ̄-_ll(M+ (1+2a19)eXp 3Dv(r)-Z'dr} 63D z lI l】.If — ll(M+rE)(1+28/9)ca一“∈ t ≤ <t)exp{23DM}≤ 68D。II II・I I— II(M+rE)e ・( )。・exp{28DM}≤ 6 ̄D Z exp{n+2 M)(M+r£)( )。II ・II ~ II. 从而P(£)一II (£)一 (£)II≤L( ) II II・I I— II,其中L一68/9 exp{口+2 )(M+ )>o. 证毕. 引理4 若a>O充分小, ∈A,s≥o, , ∈E(s), ∈y,则 II , )一 £, II≤2D( )-a+a ) II 一-ll, £≥s. 证明:将文献[13]中引理4的e ,e 分别替换成 ( ), (s),e 替换成 (s) ,即得结论. 引理5若8>0充分小, ,CEA,(s, )E ×E(s),;tEY,则存在常数N>O,使得 II 引理6 )II≤N( ) I I, ≥s. 证明:将文献[13]中引理5的e ,e 分别替换成 ( ), (s),即得结论. 引理4和引理5给出了当初值和函数 变化时对应的解“ 的性质. 给定8>0充分小, EA,则下列结论成立: 248 吉林大学学报(理学版) 第55卷 1)当(5, )E ^×E(s),£≥s, EY时,有 ( , ( , , ))一T(t,s) ^(s, )+I T(t,r)Q(r)f(v, ≠(r, , ), (r,“ (r, , )),A)dr+ ∑T(t, )Q( )g ( ( , , ), ( ,“ ( , , )), ), 5≤r < (17) 则 ^(s, )一一I T(r,s)一 Q(r)f(r, (r, , ), (r, ≠(r,8, )),A)dr一 ∑T( ,s)~Q(rT)g ( ≠( , ), ( ( , )), ); ≤ (18) 2)若对每个(s, )∈ 式(17)也成立. ×E(s)和 EY,式(18)成立,则对每个(s, )∈ ×E(5), ≥s和 EY, 引理7 若给定8)0充分小,则存在唯一的函数 EA,使得对任意的(s, )E 式(18)都成立. ×E(s)和 ∈y, 证明:对引理3中唯一的函数 ,有 ≠( , , )一 .若8=0,则对任意的 EA,£≥s和 E Y,有 “ (£, , )一0.考虑定义在A中的算子 (T≯)^(s, )一一I T(r,s)一 Q(r)f(r, ≠(r, , ), ^(r, (r, , )), )dr一 T( ,s)一 Q( )g ( ≠( , , ), ( , ( , , )), ), ≤r (19) 其中:( , )E ×E( ); EY.已知f(t,0, )一 (0, )一O,从而(T ) ( ,0)一0.由引理4知,若 记U≠一“ (・, , ),u≠一 (・, , ),贝0有 c(r)一l lf(r, ≠(r), (r, ≠(r)), )一f(r, (r), ^(r,u (r)), )ll≤ 28v(r)咄 类似地,有 一l1<4 ( ) “ (r)咄 一 l1. l l( ≠(r), (r, (r)), )一蛋( (r), (r, (r)), )l l4 4 ( 等)一 (s) (t) Il 一;l1. ≤f. 从而由式(4),有 ll( ) (s, )一( ) (s, )lI≤I {l T(r,s)一 Q(r)l lc(r)dr+∑ll T( ,s)一 Q( )lI c ≤ 48/) 一 ll l一 I(l J’ (s 、 )“\d/, v(s) e (r) e dr+ 4 2l l一 lI ( )-lf-a-a )2£ ≤ ,,’o。 、 48I) l 一 lll(I (r) dr+∑ (己) )≤48/) (M+r )l 一 lll, s≤r. 其中第三个不等号是因为一卢一口+口<O, “ 号5>1’等 5>1, <1r .所以当 >o充分小时,有 ( ) (s, )一( ) (s, )lI≤ 由式(12),(15),(16),有 一 . 。 l lY (r)一 i(r)『f≤ 6(r)≤6 ( )-a ( .『 l— l{+28v(r) l≤ (6。( )~+ ( )- ̄rba ㈤ _ l8 11・ lD'8( )- ̄4-a (r) II 8 11.I l— ll' 第2期 江权霞:脉冲微分方程的不变流形 249 ≤D ( )-a-Fa ( 其中D 一6D+2L ̄0.因此 .I I— tl, II‘ ‘ , )一( ) ( , )II≤j II Q(s)T(r,s)一 I I6(r)dr+∑『『Q(s)T( ,5)一 l l6 ≤ ,D ll・ 一 II× ( ( )- ̄--,r+a 31) D I III・II — + ( )- ̄-a-Fa ) dr+∑ )~e)≤ e)≤ D(M+r£)』f l1.I — III, 明T是压缩的以 ?毒分小时,有ff(丁 ) (s, 一(T )i(s, )II≤II I・II — l1.从而丁(以)c以.下面证 …~ . 给定≯,CEA,s∈吨 ,记 (r)一 (r, , ), (r)一 (r, , ),则 , II如(r, (r))一 (r, (r))JJ≤ll (z., (r))一 (f从而由引理5和式(5),有 (r))II+II (r, ≠(r))一 (r, (r))It≤ II“ (f)II ( , )+II (r)~“ (r)II. (r)一II厂(r,“ (r), (r,“≠(r)), )一厂(r, (r), (r(r)), )II≤ (r)一 II( (r)一 (r)), (r, (r))~ (r,“ (r)))II≤ , V(r) (I (r)III ( , )+2 l (r)一 (zl-)J J)≤ 2 ( ) “ ㈤ (D( )~+M㈡一e)II 2 ( ) 。 ㈤咄(D+N) ( ). 类似地,有 , )≤ 一g z II( ≠( ), ( ( )), )一g ( ( ), ( ( )))ll≤ , 2 ( )a+a ) r (D+N)J ). s≤f II( ) ( )一( ) (s, )II≤ l lT(r, Q( )J J ( )df-1- ∑ll丁( , )- ̄Q(r l ≤ l2819(D+N)II , ) ( )-lf-- ̄,4-a + 2 (。+N)II ̄II , ( )- ̄,-a-+-a )2E 。 ≤ 231)(D+N)(M+ )ff l (J , ). 当3>0充分小,使得当28D(D+N)(M+r )<1/2时有 ,( 一p{ :s∈ ,∈ )\{O), ∈y)≤丢 , 使得T 一 .证毕. (£)满足条件(H ),(H。),贝 对充分 , 故丁是压缩的・从而由压缩映像原理知,存在唯一的CEA下面给出本文的主要结果. 定理1若方程(1)具有非一致( , )二分性,且增长率 (£)小的 >o,存在唯一的函数 ∈以,使得对任意的 ≥o..., ∈y都有 ( , )= .此外 对.往意的 25O 吉林大学学报(理学版) 第55卷 [1 II 其中常数K>0. ,≠ , 一 , 一 『l≤4D( )- ̄+a ) 『 l一Iff, , II≤K( )-a+a ) II lI.II — II, 证明:由引理6知,式(10)与式(18)等价.故由引理3和引理7知,存在唯一的 EA,使得式(9) 和式(10)成立,从而 (V )=:= 下面证明定理中的不等式. 对任意的r—tm s>0,由引理4有 I gr(s, , (s, ))一 (s, , (5,;)) 一ll( , ( , , ), (£, ( , , )))一 ( , (£, , ), ( , ≠(£, , )))ll≤ 2 I , )一 , II≤4D( )-cH a ) II 一I11. 由式(12),(14),有 l (s,l , (s, ))一, (s, , i(5, ))ll—ll( ,“ ( , , ), (£, ≠( , , )))一 ( ,“ ( , , ), (£,“≠(£, , )))lI≤ 2 lI (£, , )一 ( , , )ll+l (l , , )lI・II — ll≤ 2( 其中常数K一2(L+D)>0.证毕. +D( ) )( )-,rt-a ) II ̄11・II — II≤ K( )-ee ̄a ) II拿ll・II — II, 参 考 文 献 [1] Lakshmikantham V,Bainov D D,Simeonov P S.Theory of Impulsive Differential Equations[M].Singapore: World Scientific,1 989. [2] Samoilenko A M,Perestyuk N A,Chapovsky Y.Impulsive Differential Equations[M].Singapore:World Scientific,1995. [3] Perron O.Die stab|1jtatsfrage bei Differentialgleichungen l-J].Math Z,1930,32(1):703—728. [4] Pesin J B.Families of Invariant Manifolds Corresponding to Nonzero Characteristic Exponents I-J].Izv Akad Nauk SSSR Ser Mat,1976,40(6):1332-1379. [5] Pesin Y B Characteristic Ljapunov Exponents and Smooth Ergodic Theory[J].Uspehi Mat Nauk,1977,32(4):55—112. [6] Pesin J B.Geodesic Flows in Closed Riemannian Manifolds without Focal Points[J].Izv Akad Nauk SSSR Ser Mat,1977,41(6):1252—1288. [7] Barreira L,Valls C.Stable Manifolds for Nonautonomous Equations without Exponential Dichotomy[J].J Diff Equ,2006,221(1):58—90. [8] Barreira L,Chu J,Vails C.Robustness of Nonuniform Dichotomies with Different Growth Rates EJ].sao Paulo J Math Sci,2011,5(2):203—231. [9] Barreira L,Valls C.Parameter Dependence of Stable Manifolds for Impulsive Equations[J].Anal Appl,2014, 12(2):131—16O. n Y B.Nonuniform Hyperbolicity:Dynamics of Systems with Nonzero Lyapunov Exponents [1O] Barreira L,Pesi[M].Cambridge:Cambridge University Press,2007. [11] Oseledets V.A Multiplicative Ergodic Theorem:Lyapunov Characteristic Numbers for Dynamical Systems[J]. Trans MOSCOW Math Soc,1968,19:197—221. [12] Rudin W.Functional Analysis[M].2nd ed.New York:McGraw—Hill,1991. [13] Barreira L,Valls C.Stable Manifolds for Impulsive Equations under Nonuniform Hyperbolieity[J].J Dynam Diff Equ,2O10,22(4):761-785. (责任编辑:李 琦)