1. 引言
随机微分系统常用随机微分方程来刻画且已广泛地应用于生物学、经济、金融以及控制工程等诸多领域,见文献 [1] [2] [3] 及其中的参考文献。但实际中,许多随机微分系统的演化过程不仅和当前的状态有关而且和过去的状态也有关,对于这样的情形可用随机时滞微分方程来描述。时滞也是这些实际系统经常发生振荡、不稳定性和性能差的原因。因此,很有必要研究随机时滞微分方程(参阅文献 [4] [5] [6] [7] )。
实际中,许多系统在遭遇突变现象(如分支和内部联系紊乱、参数转移等)时结构易发生随机改变。对于这样的系统,人们常用包含连续系统状态和离散系统状态的Markov切换系统来描述 [8] [9]。据我们所知Brown运动是连续的随机过程,然而许多实际系统会遭受跳跃形式的随机突发扰动,如随机故障、地震、海啸等。在这些情形下,不能用Brown运动来刻画这些系统,因此将带跳过程引入到这些系统中来处理实际情形是合理的 [10] [11] [12]。
王等人在文献 [13] 和文献 [14] 中分别研究了带分布时滞的线性随机时滞微分方程解的矩有界性和线性随机时滞微分方程解的二阶矩有界性。文献 [15] 研究了脉冲随机时滞微分方程解的有界性。毛等人在文献 [16] 中研究了带Markov切换和跳的随机微分方程解的渐近有界性。但这些文献均未研究带Markov切换和Poisson跳的非线性随机时滞微分方程解的矩有界性。基于此,本文研究了带Markov切换和Poisson跳的非线性随机时滞微分方程解的矩有界性。
该文结构如下:第2节给出了本文所需的预备知识;第3节证明了该类方程解的存在唯一性以及解的矩有界性。
2. 预备知识
记
表示n-维的欧式空间。若
,
表示欧式范数。记
,
。记
为一个完备的概率空间,其滤子
满足通常的条件,即
是右连续的且
包含所有的零测集。令
,
表示所有定义在
上的
-值连续函数
的全体。
表示所有
-可测的且定义在
上的有界函数全体,其上的范数为
。对
,
和
均表示其内积。
代表的是定义在完备概率空间
上的一个取值为
的右连续时齐Markov链,其生成元(密度矩阵)
由转移概率矩阵确定,即
这里,
,
,对于
,
表示从状态i到状态j的转移速率且
。作
为一个事实,
的每个样本轨道是一个右连续的阶梯函数,且在
上的任何一个有限区间里至多存在有限个跳跃点(见文献 [17] )。
考虑如下形式的带Markov切换Poisson跳的非线性随机时滞微分方程:
(1)
初始值
,
。 (2)
其中
。
和
分别是定义在该概率空间上的1-维Brown运动和强度为
的Poisson过程,这里假设Markov链
与Brown运动
和Poisson过程
是相互独立的。
表示
的补偿Poisson过程。
为了证明方程(1)全局解的存在唯一性,假设如下的局部Lipschitz条件成立。
(A1) 对任意的
,存在一个常数
使得对
和
,有
成立,其中,
。
令
表示关于变量x二阶连续可导且关于变量t一阶连续可导的全体非负函数
的集合。给定任意的
,定义算子
其中,
,
,
。
在条件(A1)下,给定初始条件(2),方程(1)有唯一的局部解。本文假设方程(1)的系数不满足线性增长条件,为了防止解的爆破,本文假设另一个条件成立。
(A2) 令
。假设存在一个函数
和正常数
满足
,
,
和
,
。
3. 主要结果
定理1给定初始值(2)。若条件(A1)-(A2)成立,则方程(1)存在唯一的全局解
。
证明给定初始值(2)。由条件(A1)知方程(1)在
上有唯一的最大局部解
,其中
是爆破时间。若要证
是全局的,则只需证
a.s.。令
是一个充分大的正数且使得
。对任意的整数
,定义停时
。通常规定
,这里
是一个空集。由
的定义可知
是一个单调递增的序列且
。利用Itô公式,对
,有
由条件(A2)得
注意,经计算可得
因此
因为
,所以
。
记
。
又因
,故
。
进一步可得
,从而可得
。
令
,可得
,即
a.s.由于t的任意性可得
a.s.
证毕。
定理2给定初始值(2)。若条件(A1)-(A2)成立,则方程(1)的解满足
。
证明给定初始值(2)。由定理1可知,方程(1)存在唯一的全局解
。设函数
,
。显然
关于u是一个连续函数且
,利用连续函数的局部保号性可知存在一个充分小的正常数
使得
。对
运用Itô公式得
这里
如定理1中定义。根据条件(A2)可得
从而
进一步计算得
因为
,所以
令
,则
,
其中,
。
再次利用
得
。
证毕。
NOTES
*通讯作者。