中立型随机微分方程概周期解的存在唯一性.pdf

中立型随机微分方程概周期解的存在唯一性 口 刘卫国… 张新文 ([1】广州大学数学与信息科学学院 广东 ·广州 510006； 2【】广州大学松田学院通识部数学教研室 广东 ·广州 511370) 摘 要：讨论 了一类中立型非 自治随机微分方程。如果线性算子A(t)满足Acquistapace．Terreni(AT)条件，那么 就存在一个与之联系的发展类 (，，lfs；t，eR)。我们利用发展类的性质和Banach不动点定理，得到了这类方程 的均方概周期温和解的存在唯一性。 关键词：中立型非 自治 概周期 Acquistapace．Terreni条件 发展类 中图分类号：Ol75 文献标识码：A 文章编号：1007．3973(2012)002．090-03 l引言 表示有界线性算子： H．Bohr[9]率先介绍了概周期数值函数的概念，S．Bochner (2)0∈ (，))， ，且存在o 口 1，使得对任 8【】将其扩展到波兰空间。关于概周期函数的其他文献，我们 意的rER， ， 成为c(r，H)的实插值空间： 可以参考 1【0，11，12]等。Slutsky[141首次将概周期概念引入到 (3) (f)与u(，，)可交换，且 U(t，s)指数稳定，即：存在常数 多维随机过程。最近，Bezandry和Diagana在[2】．[7】中系统地 ， 0使得 (1， 8(”： 讨论 了各类随机微分方程概周期温和解的存在唯一性 (H2)连续函数厂：RxLa，C(r，日))卜÷上2，)在子紧空间 设(D P)是通常的完备概率空间； 和 ，是两个实 0lc ，c(，，))是一致均方概周期的，而且满足Lipschitz条 Hilbert空间； ，圩)表示所有从J到H的Hilbert．Schmidt算 件，即：存在常数 o使得对任意的随机过程 ‘．yE c(r，)) 子组成的空间，并赋以Hilbert．Schmidt范数 ；Qe ，H)是具 和f∈R下列不等式成立eVCt， ·，(，，)’圯sK 一班 )； 有有限迹的非负对称算子； (，l，e }是定义在 ，，，户)上取值为 J的 一可测的Q．Wiener过程，其中 ； (ls，)i Ⅳ)表示 (H3)对连续函数 g和 h类似 (H2)，将 ，q，Kj分别改为 所有可测且平方可积H一值随机变量组成的集合，显然当其赋 ， 02， 和 ，D]，K3即可 。 以范数 皿【肿=E(~xll时是一个Banach空间：Jo=Q 和 4主要结论 定理：对任意的t t。，在(H1)一 (H3)的假设下，只要 ： 上2，)，规定范数9吨=jI，= 。)，此处 表示中的转置。 e4’J毛)+( c +㈤ 口， +lrQ^2z1jc1，习么 2 问题描述 方程(1)有唯一的均方概周期温和解，且有如下表达式： 以2【】-7【】为基础，我们考虑下列非 自治中立型随机微分方 程的均方概周期温和解的存在唯一性： )“=^，“)‘+L )0， ，‘+fU(t， ，)‘出+LuO，sk，)‘ )(2) Jd[x(t)-h(t，)】_【(m (f)+，(，，)]