1. 引言
脉冲微分系统在现代诸多科技领域有很好的应用(见文献 [1] )。文献 [2] 给出了脉冲微分方程的解与广义常微分方程解的等价关系,文献 [3] 利用线性逼近的方法给出了扰动后的非线性脉冲微分系统解的有界性,稳定性及吸引。文献 [4] 研究了脉冲微分方程解关于初值的连续依赖性,文献 [5] 利用李雅谱诺夫第二方法及压缩映射原理得到了脉冲微分方程的周期解的存在唯一性和整体吸引力。文献 [6] 首先给出了广义常微分方程的解的渐进性行为,然后通过测度微分方程及时间尺度上的动态方程与广义常微分方程之间的关系研究了测度微分方程及时间尺度上的动态方程的解的渐进行为。
文献 [7] 先给出了广义常微分方程的Massera’s定理,然后通过测度微分方程与广义常微分方程的等价关系得到了测度微分方程
的Massera’s定理,最后通过脉冲微分方程
及时间尺度上的动态方程
与测度微分方程之间的等价关系得到了脉冲微分方程及时间尺度上的动态方程的Massera’s定理。
本文我们利用脉冲微分方程与测度微分方程之间的等价关系,依据测度微分方程解的渐进行为的相关结果讨论了脉冲微分方程
(1.1)
(1.2)
解的渐进行为。其中
,
。对每个
,
是一个递增的正实数序列满足
。并且
。
设(1.1)式几乎处处成立。方程的解
在每个区间
,
上左连续且绝对连续,则脉冲微分方程对应的积分形式为:
(1.3)
(1.3)式右端积分为Lebsuge积分。本文中,我们考虑更为一般的情形,(1.3)式右端积分可被理解为Kurzweil-Henstock意义下的积分。由于
,所以脉冲点至多是有限个,(1.3)式右端和式是有意义的。
设
按范数
成为一个Banach空间,
,
。记
为满足
的饱和解。
表示所有的正则函数
,
表示由
所构成的向量空间,并且满足对所有的
,有
,
。
表示函数
在区间
上的限制,
表示正整数集,
表示正实数集。
本文主要分为三个部分,第二部分介绍了后续所用的定义及引理,第三部分给出了脉冲微分方程解的渐进行为相关结果。
2. 预备知识
本节将介绍Kurzweil积分与文 [6] [8] 中的相关结论。
定义2.1 [6] 递增函数
称为是楔子是指
,对
,
,当
,
。
定义2.2 [2] 称函数
在区间
上Kurzweil可积,如果存在
,使得对任意的
,存在正值函数
,对
的任何
精细分划
,其中
,有
则称
为
在
上的Kurzweil积分,记作
。特别地,当
时,
。称积分为Kurzweil-Stieltjes积分,当
时,
。称积分为Kurzweil-Henstock积分。
定义2.3 [2] 称函数
是指存在函数
使得
满足对所有的
,
,有
(2.1)
对所有的
,
,
,有
定义2.3 [8] 称函数
相对于
是局部Kurzweil可积的是指
在
的每个子区间
上相对于
Kurzweil可积。
引理2.1 [8] 设函数
和
满足以下条件:
(A1) 函数
在
上是不减左连续的。
(A2) 对每个
,
积分
存在。
(A3) 存在局部Kurzweil可积函数
,使得对任意的
,
,
时,有
(A4) 存在局部Kurzweil可积函数
,使得对任意的
,
,
时,有
令
并且定义
则
。其中
,
是不减左连续的,
引理2.2 [8] 设函数
,
满足条件(A1)~(A4)。假设对每个
,有
。则对每个
,测度微分方程
(2.2)
存在满足初始条件
的唯一饱和解
,
为区间且
。
引理2.3 [6] 设函数
,
满足条件(A1)~(A4)。假定对每个
,有
。存在函数
和楔子
,
满足下列条件:
(U1) 对测度微分方程(2.2)的每个解
有
其中
,
,
为非退化区间。
(U2) 对测度微分方程(2.2)的每个饱和解
,
,有
其中
,
。
是不减的,满足
。
若
,则
。
引理2.4 [6] 设函数
,
满足条件(A1)~(A4)。假定对每个
,有
。存在函数
和楔子
,
满足下列条件:
(H1) 对测度微分方程(2.2)的每个解
有
其中
,
,
为非退化区间。
(H2) 对测度微分方程(2.2)的每个饱和解
,
,函数
在
上正则。有
其中
,
。
是不减的,满足
。
若
,使得
,则
。
引理2.5 [8] 假定函数
,
满足条件(A1)~(A4)。进一步,设对每个
,有
。令
,
是测度微分方程(2.2)满足
的解。若对所有的
,
。其中
是
中的闭集。则
。
引理2.6 [7] 设
。函数
。令
使得对每个
,有
。令
是不减左连续的,使得对每个
,有
。当
时,
。则Kurzweil-Stieltjes积
分存在当且仅当Kurzweil-Henstock积分
存在,且有
引理2.7 [7] 设
是一个递增正实数序列且满足
。函数
,
,
。函数
是方程(1.3)在
上的一个解当且仅当它是测度微分方程
(2.3)
的一个解。
其中
是由下式所给
(2.4)
由
(2.5)
所给。
3. 主要结果
定理3.1 设函数
,
,
为递增的正实数序列满足
。并且
和
满足条件:
(B1) 对每个
,
积分
存在。
(B2) 存在局部Kurzweil可积函数
,对任意的
,
,
,有
(B3) 对每个
,存在常数
使得
则由(2.4) (2.5)式所给的
满足条件:
(A1) 函数
在
上是不减左连续的。
(A2) 对每个
,
积分
存在。
(A3) 存在局部Kurzweil可积函数
,使得对任意的
,
,
时,有
(A4) 存在局部Kurzweil可积函数
,使得对任意的
,
,
时,有
证明 显然由(2.5)式所给的
在
上是不减左连续的。
当
时,由(2.5)式有
当
时,由(2.5)式有
所以(2.4) (2.5)式中的
满足引理2.6中的假设条件。由假设对每个
积分
存在,则由引理2.6积分
也存在。
定义
所以由引理2.6和2.7对每个区间
,任意的
,有
类似地,有
综上,由(2.4) (2.5)式所给的
满足条件(A1)~(A4)。
定理3.2 设函数
,
,
为递增正实数序列满足
。且
满足条件(B1)~(B3)假定对每
,
,有
。存在函数
和楔子
,
,满足以下条件:
(J1) 对脉冲微分方程(1.3)的每个解
有
其中
,
,
是非退化区间。
(J2) 对脉冲微分方程(1.3)的每个饱和解
,
,有
其中
,
。
,
是不减函数,满足
。
若
,则
。
证明 令
是脉冲微分方程(1.3)的唯一饱和解使得
。由引理2.7可知脉冲微分方程等价于测度微分方程(2.3)。其中
,
,由(2.4) (2.5)式所给,再由定理3.1得
满足条件(A1)~(A4)。
当
时,由(2.5)式有
则
。
当
时,
由(2.5)式有
则
。
综上,对每个
,有
。由引理2.2脉冲微分方程(1.3)的饱和解是存在唯一的。最后,(J1),(J2)满足引理2.3的(U1),(U2),所以由引理2.3此定理结论得证。
推论3.3 设
,
,
,
为递增正实数序列满足
。且
,
满足条件(B1)~(B3),其中
用
代替。若存在函数
和楔子
,
,满足(J1),(J2)其中
用
代替。若
。则
。并且当
时,
。
证明 由引理2.7脉冲微分方程(1.3)等价于测度微分方程(2.3)。再由定理3.1
满足条件(A1)~(A4)。据定理3.2的证明可得对每个
,有
。则由引理2.1可知
,再由(2.1)式可得
。因为
,所以
,
为
中的闭集。综上,由引理2.5
。
下面证明当
时,
。
令
是正数满足
这样的
的存在性由
的连续性保证。由(J2)有函数
是不减的。则由(J1)对每个
,有
(3.1)
因为
为递增函数,因此由(3.1)式有
另一方面,对每个
,由条件(J2)和(3.2)式有
因此由(J1)及(3.3)式,对每个
,有
因为
是不减函数且满足
,所以由楔子的定义当
时,
。
定理3.4 设函数
,
,
为递增正实数序列满足
。且
,
满足条件(B1)~(B3)。假定对每个
,
,有
。存在函数
和楔子
,
,满足条件:
(K1) 对脉冲微分方程(1.3)的每个解
有
其中
,
,
为非退化区间。
(K2) 对脉冲微分方程(1.3)的每个饱和解
,
,函数
在
上是正则的,有
其中
,
。
是不减函数满足
。
若
使得
,则
。
证明 同定理3.2证明一样,由引理2.4此定理结论得证。
推论3.5 设
。假定
,
,
为递增的正实数序列满足
。且
,
满足条件(B1)~(B3),其中
用
代替。若存在函数
和楔子
,
,满足(K1),(K2),其中
用
代替。若
使得
,则
。并且当
时。
。
证明
的证明同推论3.3的证明一样。
下面证明当
时,
。因为
,因此由条件(K1)和
的单调性有
由条件(K2)有
对所有的
有
即
(3.4)
由(3.4)式及条件(K2)有
即
因为
为不减函数且满足
,所以由楔子的定义当
时,
。
基金项目
国家自然科学基金项目(11761063)。