1. 引言
随机微分方程常用来刻画随机微分系统,且已广泛地应用于科学工业中(见文献 [1] [2] )。但实际中,许多随机微分系统的演化不仅依赖于当前状态的信息而且和过去状态的信息也相关,对于这样的情形一般用随机泛函微分方程来描述。随机泛函微分方程也已被广泛地应用于生物工程、化学工程等领域(见文献 [3] [4] [5] [6] )。
为了解决不确定性问题、风险度量问题以及金融中的超对冲超定价问题等,彭在文献 [7] 和 [8] 中提出了一类非线性期望(即G-期望)。在G-期望框架理论下,彭进一步介绍了G-Brown运动及其Itô积分。自此,G-Brown运动驱动的随机微分方程的研究逐渐得到了学者们的关注。Faizullah等人在文献 [9] 中利用比较定理、Gronwall不等式以及Burkholder-Davis-Gundy不等式讨论了G-Brown运动驱动的随机泛函微分方程解的存在唯一性。后来,Faizullah在文献 [10] 中利用Picard逼近方法证明了G-Brown运动驱动的随机泛函微分方程解的存在唯一性。陈和杨在文献 [11] 中利用G-期望理论探讨了G-Brown运动驱动的中立型随机泛函微分方程解的存在唯一性。陈等人在文献 [12] 中研究了G-Brown运动驱动的高度非线性随机时滞微分方程解的存在唯一性。本文考虑用一个弱的条件替代方程系数满足的线性增长条件,然后利用G-Lyapunov函数方法给出了所研究的G-Brown运动驱动的随机泛函微分方程解的存在唯一性的充分条件。
该文结构如下:第2节给出所需的预备知识;第3节证明了所研究方程解的存在唯一性;最后,用一个例子说明所得的结果。
2. 预备知识
记
表示n-维的欧式空间。若
,
表示欧式范数。记
,
。对任意的
,
表示二者中的最大值。令
,
表示所有定义在
上的实值连续函数
的全体,且其上的范数为
。
表示所有定义在
上Borel可测的有界非负函数
且满足
的全体。
表示集合B的示性函数。
关于定义在次线性空间
上的G-正态分布、G-期望、G-Brown运动以及相关的Itô积分和G-Brown运动二次变差过程的详细介绍可进一步参阅文献 [7] 和 [8]。本文研究的是1-维G-Brown运动
,且对任意的
,
,其中
,
(
)。
表示由G-Brown运动
生成的滤子。对
,
上的一个分割
满足
,
。给定
,定义
.
表示
在范数
下的完备空间。接下来给出一个命题
(见文献 [8] )。
命题1 如果
是G-期望,那么存在定义在
的概率测度P的弱紧集
使得对所有的
,有
,其中
是关于概率测度P的线性期望。
注:一个集合
被称为是极集如果
,其中
。除去一个极集后若一个性质是恒成立的,则称该性质是拟必然(q.s.)成立的。
考虑如下形式的G-Brown运动驱动的非线性随机泛函微分方程:
(1)
初始值
是
-可测的,
-值随机变量,且满足
。(2)
这里
表示随机过程在t时刻的值,
,
是连续的函数。
接下来,考虑方程(1)的系数不满足线性增长条件而满足非线性增长条件。为了讨论方程(1)的全局解的存在唯一性,先假设该方程系数满足如下的局部Lipschitz条件。
(A1) 对任意的
,存在一个常数
使得对
和
,有
,
其中,
。
令
表示关于变量x二阶连续可导,关于变量t一阶连续可导的全体非负函数
的全体。给定
,定义算子
,
其中,
,
,
。
3. 主要结果
定理 假设条件(A1)成立。给定初始值(2)。若存在一个函数
,
和
,非负数C以及正常数
和
(且
)满足对
,有
, (3)
(4)
成立,则方程(1)存在唯一的全局解
。
证明 给定初始值(2)。由条件(A1)知方程(1)在
上有唯一的最大局部解
,其中
是爆破时间。若要证
是全局的,则只需证
q.s..令
是一个充分大的整数且使得
。对任意的整数
,定义停时
。规定
,这里
是一个空集。由
的定义可知
是一个单调递增的序列且
。利用Itô公式,对
,有
, (5)
其中,
是G-鞅(见文献 [8] )。对(5)式两边同时取期望得
.
由(4)可得
. (6)
注意
.(7)
将(7)式代入(6)式可得
.
因
,所以
.
令
(
)。从而可得对
,有
.
当
时,
.
即
。由t的任意性知
a.s.进一步可得
.
也就是
q.s.
证毕。
4. 例子
令
和
。考虑如下形式的G-Brown运动驱动的随机泛函微分方程:
(8)
,这里
是1-维的G-Brown运动且
。易验证方程(8)满足条件(A1)。取
。由
,
可得
.
由此可知
,
,
。从而由第3节中的定理可知,当给定初始条件后方程(8)存在唯一的全局解
。
基金项目
国家自然科学基金项目(No.11901398)。
NOTES
*通讯作者。