1. 引言
在现实生活中,很多发展过程都会在某一个或者某些时刻,经历一种状态的突然变化,这些突然变化的持续时间也许对于整个系统过程来说是非常短,甚至是可以忽略的。然而这种突变却对整个系统状态的影响是不能忽略的,脉冲就是这种变化的描述。近年来,脉冲微分方程理论发展迅速,引起了很多国内外学者的极大兴趣。
脉冲系统的稳定性研究已有很多结果 [1] - [6],其中李雅普诺夫稳定性的一些相关研究最为广泛,但是除了李雅普诺夫提出的稳定性之外,还有渐进不变集的部分稳定性、条件稳定性、完美稳定性和最终稳定性等等 [7] [8] [9]。为了统一各种已知的稳定性和有界性的概念,我们发现采用两种不同的度量并根据两种度量得到稳定的判据是有意义的。
causal算子是一种非预期算子,它首先是由Volterra在其积分方程的研究中提出的,并由Tonelli首次给出精确定义。causal算子可以由几个函数或者泛函来表示,这些函数或泛函出现在许多动态系统的理论中,因此,causal系统理论的研究就显得十分重要。另外,它的理论统一了诸如常微分方程、积分微分方程、有限或无限时滞微分方程、Volterra积分方程和中立性微分方程等,这引起了许多学者的关注,相关专著和参考文献,详见专著 [10]。
但是,有关脉冲微分系统的两度量稳定性的相关研究并不多见,而对含有causal算子的脉冲微分系统的两度量稳定性的研究更是少之又少。本文将脉冲微分系统引入到causal系统上,利用新的比较定理和李雅普诺夫函数给出系统两度量稳定性的判别条件,从而丰富了脉冲系统的研究成果。
以下是本文的结构:第2部分为预备知识,主要介绍函数符号表示,重要的定理以及新的比较定理;第3部分是本文的主要部分,主要证明我们的结论,即含有causal算子的脉冲微分系统的两度量稳定性。
2. 预备知识
在本文中,定义
,
,并定义以下函数类:
为了能够更好的研究含有causal算子的脉冲微分方程的两度量稳定性,我们首先给出有关causal算子的概念。
定义1 如果对于E中的每对元素
,使得当
时
,有
,
,
,T是任意正实数,则称
是causal算子。
本文考虑如下带有causal算子的脉冲微分系统
(1)
以及它的比较系统
(2)
其中
,
,
且在每一个
上是连续的,并且
,
,
,我们定义的
是方程(1)满足条件的解,类似的可以定义
。
接下来我们给定两度量稳定性的一些相关概念:等度稳定、一致稳定、等度吸引、一致吸引、等度渐进、一致渐进、等度渐进稳定和一致渐进稳定。
定义2 设
,称系统(1)为:
(a)
等度稳定的,如果对于任意的
,
,存在一个在
时关于
连续的正函数
,使得当
时,
,
;
(b)
一致稳定的,如果对于任意的
,存在一个关于
的正函数
,使得当
时,
,
;
(c)
等度吸引的,如果对于任意的
,
,存在一个正函数
和
,使得当
时,
,
;
(d)
一致吸引的,如果对于任意的
,存在一个正函数
和
,使得当
时,
,
;
(e)
等度渐进的,如果对于任意的
,
,
,存在一个正数
使得当
时,
,
;
(f)
一致渐进的,如果(e)中的
,即T与
无关;
(g)
等度渐进稳定的,如果(a)和(c)同时成立;
(h)
一致渐进稳定的,如果(b)和(d)同时成立。
为了证明本文的主要结果,我们给出“好于、一致好于、渐进好于”的概念,以及关于李雅普诺夫函数的一些相关定义。
定义3 设
,我们称:
(a)
好于h,如果对于给定的
和函数
,当
时,使得
;
(b)
一致好于h,如果对于给定的
和函数
,当
时,使得
;
(c)
渐进好于h,如果对于给定的
和函数
,当
时,使得
。
定义4 设函数
,
我们称
(a)
为h正定的,如果对给定的
和函数
,当
时,使得
;
(b)
为h减少的,如果对给定的
和函数
,当
时,使得
;
(c)
为h一致减少的,如果对给定的
和函数
,当
时,
。
定义5 我们称函数
为关于u是上拟单调增的,如果对于R中的二元
,当有不等式
成立时,则有
成立。
引理2.1 [10] 设有以下条件成立:
(i) 设函数
,
关于x满足局部的李普希兹条件;
(ii) 对于
和
,
;其中
,
(iii)
是微分系统
,
,
的最大解,
则如果
,
是含有causal算子的微分系统
,
,
的解,当
时,意味着
,
。
引理2.2假设引理2.1中的条件都成立,此外:
(i) 对于
和
,
,
;
(ii)
是拟单调非减的,且
,
;
(iii)
是脉冲微分系统(2)在
上的最大解。
则如果
,
是含有causal算子的脉冲微分系统(1)的解,当
时,意味着
,
。
证明:令
是含有causal算子的脉冲微分系统(1)的任意解,我们定义
,容易得到
(3)
因此,
,由引理2.1可知
,其中
为脉冲微分系统(2)关于
的最大解。由于
是拟单调非减的,由条件(ii)可知
(4)
其中
,由(3)和(4)以及引理2.1可得
其中
为脉冲微分系统(2)关于
的最大解,重复这个过程我们就可以得到
其中
,
定义
显然,
是脉冲微分系统(2)的解,且
,
,因此有
3. 主要结果
下面利用上述引理给出本文的主要结果,即含有causal算子的脉冲微分方程的两度量稳定性判据。
定理3.1 设定理2.2中的条件均成立,进一步假设
(i) 设
,
(一致)细于h;
(ii)
,V是
(一致)减少的,h正定的;
若系统(2)的解等度(一致)稳定的,则系统的(1)的解是
等度(一致)稳定的。
证明:已知由条件(i)知
(一致)细于h,则存在
,
使得当
时,
(5)
由条件(ii)
是
(一致)减少的,则存在
,
,当
时,
(6)
又由于V是h正定的,则存在
,使得当
时,
(7)
若系统(2)的解等度(一致)稳定,则对于任意的
,存在
,当
,
(8)
由
可知存在
,使得
,
。
取
,当
时,由(5)~(8)可得
(9)
故我们可得
,从而
,
,如若不然,假设系统(2)存在解
,
,
使得
(10)
令
,故由(9)~(10)以及引理2.2得
矛盾,从而有
,
成立。
综上所述,系统(2)的解是等度
(一致)稳定的。
4. 结论
本文主要研究了含有causal算子的脉冲微分方程的两度量稳定性,由于含有causal算子的微分方程统一了诸如常微分方程、积分微分方程、有限或无限时滞微分方程、Volterra积分方程和中立性微分方程等,因此本文研究的方程更具有一般性。另外,两度量稳定性统一了部分已知的稳定性和有界性的概念,故本文较之前的研究具有更广泛的意义。
基金项目
河北省高等学校科学技术研究“含causal算子的非线性微分方程解的性态分析”(QN2020507)。