1. 引言
泛函微分方程,测度泛函微分方程,脉冲泛函微分方程及时间尺度上泛函动力方程,近年来受到了许多学者的关注。1966年,F. Oliva等学者在文献 [1] 中首次提出将泛函微分方程转化为广义常微分方程的思想。2012年,M. Federson等学者在文献 [2] 中建立了测度泛函微分方程
(1.1)
与广义常微分方程
(1.2)
的等价关系,并对解的存在唯一性,解对参数的连续依赖性,以及时间尺度上的泛函动力方程的周期平均化作出了系统研究。其中,
,
,
,
,
。
是不减函数,
,
(1.3)
是一个具有延拓性(见定义2.7)的开集,且f满足下列条件:
(A1) 对每一个
,
,Kurzweil-Henstock-Stieltjes积分
存在。
(A2) 存在一个关于g的局部Kurzweil-Henstock-Stieltjes可积函数
,使得对每一个
,
,有
(A3) 存在一个关于g的局部Kurzweil-Henstock-Stieltjes可积函数
,使得对每一个
,
,有
测度泛函微分方程(1.1)的微分等价形式为
其中
分别表示
的分布导数 [3]。
稳定性作为广义常微分方程的基本性质,长期以来受到了许多学者的广泛研究。在文献 [4] 中,S. M. Afons等学者讨论了广义常微分方程和脉冲滞后型微分方程的Lipschitz稳定性。在文献 [5] 中,M. Federson等学者讨论了广义常微分方程的正则稳定性与测度泛函微分方程的积分稳定性之间的等价关系,并在文献 [6] 中研究了广义常微分方程的正则稳定性和测度泛函微分方程的积分稳定性的逆定理。在文献 [7] 中,M. Federson等学者建立了广义常微分方程饱和解的存在唯一性定理。在文献 [8] 中,通过利用广义常微分方程饱和解的存在唯一性定理以及Lyapunov泛函,M. Federson等学者进一步研究了广义常微分方程的一致稳定性和一致渐进稳定性。在文献 [9] 中,Claudio A. Gallegos等学者继续研究了广义常微分方程的稳定性,渐进稳定性及指数稳定性的相关结果。
以上工作介绍了广义常微分方程稳定性的相关结果,由于广义常微分方程(1.2)在一定条件下与测度泛函微分方程(1.1)等价,我们考虑将此结果进一步推广到测度泛函微分方程。首先,根据测度泛函微分方程饱和解的存在唯一性定理,定义了测度泛函微分方程(1.1)的稳定性,渐进稳定性及指数稳定性的概念。其次,借助测度泛函微分方程的Lyapunov泛函,获得了测度泛函微分方程(1.1)的稳定性,渐进稳定性及指数稳定性定理。
本文包括三个部分:第二部分介绍了本文所用到的一些基本概念及定理,第三部分定义了测度泛函微分方程(1.1)的稳定,渐进稳定及指数稳定性的概念,进一步建立并证明了测度泛函微分方程的稳定,渐进稳定及指数稳定性定理。
2. 预备知识
2.1. 广义常微分方程的相关概念
设X是一个定义了范数
的Banach空间,
,
。
定义2.1 [2] 称函数
在区间
上是Kurzweil可积的,如果存在向量
,使得对任意的
,存在正值函数
,使得对
上的任何
精细分划D:
及
,有
其中
,
,向量
称为U在区间
上的Kurzweil积分,记作
。
特别地,当
时,
。
引理2.1 [2] 若
是正则函数,
是不减函数,则积分
存在。
定义2.2 [2] 称函数
为广义常微分方程
的解,是指对所有的
,
,有
其中,
。
定义2.3 [2] 若存在一个不减函数
,使得
,满足
(B1) 对所有
,有
(B2) 对所有
,有
则称
属于
,简记为
。
引理2.2 [7] 假设
,其中,
是一个左连续的不减函数,
,则对每个
,广义常微分方程(1.2)存在唯一满足初值条件
的饱和解
,其中
。
注2.1 [7] 若对每个
,都有
,其中K是
中的紧子集,则
。
定义2.4 [9] 广义常微分方程(1.2)的平凡解
是
(i) 稳定的。对每个
及任意的
,存在
,使得如果
,且
,则对
,有
。
(ii) 渐进稳定的。广义常微分方程(1.2)的平凡解是稳定的,且对每个
,存在
。使得如果
,则当
时,有
。
(iii) 指数稳定的。若存在常数
,使得当
且
时,对任意的
,有
。
定义2.5 [9] 称泛函
是关于广义常微分方程(1.2)的Lyapunov泛函,是指
(i) 对任意的
,泛函
在
上左连续。
(ii) 对每个
,
是不增函数,其中
是广义常微分方程(1.2)的饱和解。
定义2.6 [9] 如果
是一个单调递增函数,且
,则称
是一个Hahn class函数。
引理2.3 [9] 假设
,
是关于广义常微分方程(1.2) Lyapunov泛函,
是一个Hahn class函数,如果满足
(C1) 对
,
。
(C2) 对广义常微分方程(1.2)的每个解
,有
则广义常微分方程(1.2)的平凡解
是稳定的。
引理2.4 [9] 假设
,且对每个
,都有
。
是关于广义常微分方程(1.2)的Lyapunov泛函。
是一个Hahn class函数,使得引理2.3的(C1)和(C2)成立。进一步,假设存在另一个Hahn class函数
满足
(C3) 对广义常微分方程(1.2)每个饱和解
,
,
,当
时,有
其中,
是增函数,使得
。
则广义常微分方程(1.2)的平凡解
是渐进稳定的。
引理2.5 [9] 假设
,
是关于广义常微分方程(1.2) Lyapunov泛函。若存在正常数
,满足
(D1) 对任意的
,有
。
(D2) 对广义常微分方程(1.2)每个饱和解
,
,
,当
时,有
则广义常微分方程(1.2)的平凡解
是指数稳定的。
2.2. 测度泛函微分方程的相关概念
设
是一个紧区间,如果函数f的左右极限
,
分别存在,则称函数
为
上的正则函数。记
为所有正则函数
构成的空间,定义范数
。记
为
中有界函数构成的空间,定义范数
,则
是一个Banach空间。
定义2.7 [6] 设
是一个开集,O具有延拓性是指对每一个
,
,都有
,其中函数
定义为
引理2.6 [2] 假设
是具有延拓性质的开集,如果
是不减函数,
满足条件(A1)~(A3)。定义如下函数
(2.1)
则函数
属于
,其中
(2.2)
引理2.7 [4] 假设
满足条件(A1)~(A3),
是左连续的不减函数,如果对所有的
,有
,则对每个
,存在测度泛函微分方程(1.1)的唯一饱和解
,使得
,其中
。
引理2.8 [6] 设
是具有延拓性质的开集,且
,其中S由(1.3)式给出。若
是左连续的不减函数,
满足条件(A1)~(A3),
由(2.1)式给出。
(i) 设
,
是测度泛函微分方程
(2.3)
的解,对每个
,设
则函数
是广义常微分方程
(2.4)
在初值条件
(2.5)
下的解。
(ii) 反之,设
由(2.5)式给出。若
是广义常微分方程(2.4)在初值条件
下的解,则函数
,被定义为
是测度泛函微分方程(2.3)在初值条件
下的解。
3. 主要结果
本节定义了测度泛函微分方程(1.1)的一些Lyapunov稳定性的概念并建立了相关定理。
考虑测度泛函微分方程(1.1)右端函数
满足条件(A1)~(A3),
是不减的左连续函数,使得对每个
,有
。这说明
是测度泛函微分方程(1.1)的一个解。此外,给定
,假设对每个
,有
。因此,由引理2.7,存在测度泛函微分方程(1.1)的唯一饱和解
。使得
,其中
。
定义3.1 测度泛函微分方程(1.1)的平凡解
是
(i) 稳定的。对任意的
,以及任意的
,存在
,使得如果
,且
,则对
,有
。其中,
是测度泛函微分方程(1.1)在初值条件
下的饱和解。
(ii) 渐进稳定的。测度泛函微分方程(1.1)的平凡解是稳定的,且对每个
,存在
。使得如果
,则当
时,有
。
(iii) 指数稳定的。若存在常数
,使得当
且
时,对任意的
,有
。
定义3.2 称泛函
是关于测度泛函微分方程(1.1)的Lyapunov泛函,是指
(i) 对任意的
,泛函
在
上左连续。
(ii) 对每个
,
是不增函数。其中
,y是测度泛函微分方程的饱和解。
一方面,对于给定
。假设对每个
,有
。则由引理2.7,存在测度泛函微分方程的唯一饱和解
,使得
。又由引理2.8中(i),可以找到广义常微分方程的一个解
,使得
,其中,
则
,
,即
。
另一方面,给定
,若
,使得
则由引理2.2,存在广义常微分方程的唯一饱和解
,使得
,其中
。又由引理(2.8)中(ii),可以找到测度泛函微分方程的一个解
,满足
,则
,此时,用
替换
,有
。所以
是一个一一映射。
因此,对于给定的泛函
与泛函
,有如下关系:
(3.1)
注3.1给定
,由于
即
。
定理3.1 假设
,
是关于测度泛函微分方程(1.1) Lyapunov泛函,
是一个Hahn class函数,如果满足:
(E1) 对任意的
,
。
(E2) 对每个
,有
则测度泛函微分方程(1.1)的平凡解
是稳定的。
证明:设
是由(3.1)式所给定的泛函,下面我们证明广义常微分方程(1.2)的平凡解
是稳定的。
给定
,设
是测度泛函微分方程的解,使得
。
由引理2.8中(i)可知,存在与
相对应的广义常微分方程的解
,使得
,
。
从而对于给定的
,由条件(E1)及(3.1)式,有
(3.2)
由条件(E2)及(3.1)式,有
即
(3.3)
则由(3.2)及(3.3)式可知,泛函V满足引理2.3,则广义常微分方程(1.2)的平凡解
是稳定的。从而对每个
及任意的
,存在
,使得如果
,且
,则对
,有
。
设
,
是测度泛函微分方程关于初值问题
的一个饱和解,且有
(3.4)
下证
(3.5)
令
,并且定义
(3.6)
由引理2.2,
是广义常微分方程在
上的一个饱和解,满足初值条件
,其中
(3.7)
由(3.4)及(3.7)式,有
从而由定义3.1,对所有
有
(3.8)
因此由(3.1)及(3.8)式,对任意的
,有
则(3.5)式成立,即证测度泛函微分方程(1.1)的平凡解
是稳定的。
定理3.2假设
,且对每个
,都有
。如果
是关于测度泛函微分方程(1.2)的Lyapunov泛函。
是一个Hahn class函数,使得定理3.1的(E1)和(E2)成立。进一步,假设存在另一个Hahn class函数
满足:
(E3)对测度泛函微分方程(1.1)在初值条件
下的每个饱和解
,
,
,
,当
有
其中,
是增函数,使得
。
则测度泛函微分方程(1.1)的平凡解
是渐进稳定的。
证明:由于泛函U满足定理3.1的条件(E1)和(E2),从而测度泛函微分方程(1.1)的平凡解
是稳定的,下面证明它是渐进稳定的。
给定
,因为测度泛函微分方程的平凡解
是稳定的,所以存在
。设
,且
。下证当
时,
。
对
,
是不增函数,且有
,从而由单调有界原理,
极限存在。设
,
。
假设
,则由条件(E3),对
,有
因为l是增函数且
,从而上式右端
这与上式左端
相矛盾。因此
,即
(3.9)
由条件(E2)可知,
,则
(3.10)
又因为
是一个Hahn class函数,从而当
时,
,即
因此测度泛函微分方程(1.1)的平凡解
是渐进稳定的。
定理3.3假设
,
是关于测度泛函微分方程(1.1)的Lyapunov泛函。若存在正常数
,满足
(F1) 对任意的
,有
。
(F2) 对广义常微分方程(1.2)每个饱和解
,
,
,
,
当
时,有
则测度泛函微分方程(1.1)的平凡解
是指数稳定的。
证明:由于泛函
满足条件(F1),(F2),则对任意的
,有
这说明泛函U满足定理3.1的条件(E1),(E2),从而测度泛函微分方程(1.1)的平凡解
是稳定的。下面证明它是指数稳定的。
一方面,设
是测度泛函微分方程(1.1)在
上的饱和解,使得
。
由于
是不增函数,则由条件(F2)可得,对
,有
即对任意的
,有
(3.11)
另一方面,假设对任意的
,都有
。
设
是任意的一个自然数,对
,定义
其中,
,
。
由(3.11)式,对
,有
重复利用上式,可得
由于
且
,从而对
,有
因此,当
时,
则对
,有
又由条件(F1)可知,
从而
则对
,有
即证
因此测度泛函微分方程(1.1)的平凡解
是指数稳定的。
例子3.1设
是脉冲时刻,使得对
,有
,现在考虑如下测度泛函微分方程
(3.12)
其中,
,
,
是特征函数,设函数
为
其中,
,因此,测度泛函微分方程(3.12)可以化为如下脉冲积分方程
(3.13)
假定y是几乎处处可微的,则可以写出方程(3.13)对应的脉冲微分方程
(3.14)
定义
,当
时,
当
时,
其中,
。
结合上述不等式,当
时,两端积分,则条件(F2)成立,又由U的定义可知,满足条件(F1),且条件(A1)~(A3)也成立,故由引理2.6可知
,因此,由定理3.3,测度泛函微分方程(3.12)的平凡解
是指数稳定的。
基金项目
国家自然科学基金项目(12161080)。