1. 引言
奇异Markov跳变正系统是一类非常重要的系统,这类系统在一些经济系统、生物系统以及一些化学过程中有非常广泛的应用。不少的学者对奇异Markov跳变正系统以及一些相关正系统进行了研究。文献[1]讨论了Markov跳变正系统的随机稳定性以及其反馈控制器的设计方法,[2]-[4]则讨论了半Markov跳变正系统的随机稳定性以及其反馈控制器的设计方法。[5]-[7]研究了奇异正系统的稳定性。但是,[1]-[4]研究的系统不是奇异Markov跳变正系统,[5]-[7]研究的系统不含有Markov跳变参数。因此,[1]-[7]提出的方法不能用来解决奇异Markov跳变正系统的随机稳定性问题。
奇异Markov跳变正系统是一类比Markov跳变正系统和奇异系统更一般的系统。文献[8] [9]对奇异Markov跳变正系统的随机稳定性和反馈控制器进行了研究,[10]则对部分转移概率未知的奇异Markov跳变正系统的随机稳定性和反馈控制器进行了研究,[11] [12]也研究了奇异Markov跳变正系统的随机稳定性。值得一提的是,在[8]-[10]研究的系统中,导数项的系数是一个不变的奇异矩阵,而在[11] [12]研究的系统中,导数项的系数是与模态有关的奇异矩阵。因此,[11] [12]所研究的系统是一类更加复杂的系统。但是,[11] [12]所研究的系统的状态时滞不是与模态有关的。另外,[11] [12]所研究的系统也不含有分布时滞。
受以上讨论的启发,本文将研究一类更复杂的奇异Markov跳变正系统。我们所讨论的系统含有分布时滞且含有与模态有关的状态时滞。另外,系统的导数项的系数是与模态有关的奇异矩阵。与本文所考虑的系统有关的研究结果目前还非常少见。
本文将讨论一类如下形式的奇异Markov跳变系统:
(1)
在系统(1)中,
,
是系统的状态向量,
表示
的导数。
在有限集合
中取值,其中Z是一个大于等于1的正整数。另外,
表示一个右连续的Markov过程,从状态i到状态j的转移速率为
(2)
在(2)中,当
时,
。当
时,
满足
。当
时,
是v的高阶无穷小。根据式(2),我们可得该Markov过程的转移速率矩阵为
(3)
另外,在(1)中,对于任意的
,
、
、
和
都是已知的n阶实矩阵。对于任意的
,
都是不可逆矩阵且秩都等于
,其中
。
、
和
都是大于0的实数。我们记
、
以及
。在(1)中,
、
和
代表系统的时滞。
表示系统的初始条件且是连续的。
假设1:在本文中,我们假定存在矩阵
和Y满足
(4)
2. 定义及其引理
本文需要用到下面的一些定义。
定义1 [11]:如果对于每一个
,
都不恒等于0,则称系统(1)是正则的。
定义2 [11]:如果对于每一个
,
都成立,则称系统(1)是无脉冲的。
定义3 [12]:假定
。如果对于任意的
,系统(1)的解
满足条件
,则称系统(1)是一个正系统。
定义4 [12]:在初始条件
和
下,如果系统(1)的解
满足条件
,则称系统(1)是随机稳定的。
注1:
表示矩阵A的每一个元素都大于等于0。
表示矩阵A的每一个元素都大于0。
表示矩阵A的每一个元素都小于等于0。
表示矩阵A的每一个元素都小于0。
表示矩阵A的行列式。
表示一个多项式的度。
注2:
表示随机事件A的数学期望。
注3:
表示向量
的各个元素的绝对值之和。
在本文中,我们还需用到下面的引理。
引理1 [12]:令Λ为随机过程
的弱无穷小算子。那么对任意的
,下式成立:
(5)
3. 主要结果
令
、
、
、
(6)
另外,如果
可逆,假设存在矩阵
和
满足
、
、
、
、
(7)
下面的定理给出了一个充分条件。该充分条件保证系统(1)是正系统。另外,该充分条件也保证系统(1)是正则、无脉冲和随机稳定的。
定理1. 令
和
。如果系统(1)满足如下条件:
(i) 对任意的
,都有
可逆;
(ii)
以及对任意的
,都有
是梅兹勒矩阵;
(iii) 对任意的
,都有
、
、
、
、
、
、
、
、
、
、
以及
;
(vi) 存在n维向量
、
、
和
,使得对任意的
下面式子都成立:
(8)
(9)
(10)
(11)
(12)
那么(i)系统(1)是一个正系统;
(ii)系统(1)是正则和无脉冲的;
(iii)系统(1)是随机稳定的。
证明:注意对任意的
,都有
可逆。那么,和文献[12]中的证明相类似,我们可得系统(1)是正则和无脉冲的。
注意
以及对任意的
,都有
是梅兹勒矩阵。另外,注意对任意的
,都有
、
、
、
、
、
、
、
、
、
、
以及
。那么,和文献[12]中的证明相类似,我们可得系统(1)是正系统。
下面,我们利用如下的李雅普诺夫泛函来证明系统(1)是随机稳定的。
(13)
其中
由上式我们可得
令
。由上可得,存在
满足
(14)
根据(14),我们可得
,即系统(1)是随机稳定的。证毕。
在系统(1)中,如果对任意的
,都有
,那么系统(1)变成了下面的系统:
(15)
仿照定理1,我们可得下面的推论。
推论1. 令
和
。如果系统(15)满足如下条件:
(i) 对任意的
,都有
可逆;
(ii)
以及对任意的
,都有
是梅兹勒矩阵;
(iii) 对任意的
,都有
、
、
、
、
、
、
以及
;
(vi) 存在n维向量
、
和
,使得对任意的
下面式子都成立:
(16)
(17)
(18)
(19)
那么(i)系统(15)是一个正系统;
(ii)系统(15)是正则和无脉冲的;
(iii)系统(15)是随机稳定的。
4. 总结
本文对一类带有多时滞的奇异Markov跳变系统的稳定性进行了分析。我们首先给出了所讨论的系统是正系统的充分条件。其次,我们给出了所讨论的系统正则和无脉冲的充分条件。最后,我们利用Lyapunov函数方法给出了所讨论的系统随机稳定的一些充分条件。在以后的研究中,我们将进一步研究带有多时滞的中立型奇异Markov跳变正系统的稳定性。
基金项目
重庆市教育委员会科技项目–科学技术研究项目(青年) (KJQN202101129)。
NOTES
*通讯作者。