数学物理学报  2015, Vol. 35 Issue (2): 405-421   PDF (426 KB)    
扩展功能
加入收藏夹
复制引文信息
加入引用管理器
Email Alert
RSS
本文作者相关文章
Diem Dang Huan
高洪俊
分数阶脉冲中立型随机微积分方程的适定性
Diem Dang Huan1,2, 高洪俊1    
1. 南京师范大学数学科学学院数学研究所 南京 210023;
2. 北江农林大学基础科学学院 越南北江 21000
摘要:利用 Sadovskii 不动点定理以及α-预解算子理论讨论了一类在 Hilbert 空间中带无限时滞的分数阶脉冲中立型随机微积分方程温和解的适定性, 并通过举例说明了结果的有效性.
关键词α-预解算子     分数阶随机微积分方程     相空间     中立型     脉冲     Sadovskii不动点定理    
Well-Posedness for Fractional Neutral Impulsive Stochastic Integro-Differential Equations
Diem Dang Huan1,2, Gao Hongjun1    
1. School of Mathematical Science, Nanjing Normal University, Nanjing 210023;
2. Faculty of Basic Sciences, Bacgiang Agriculture and Forestry University, Bacgiang 21000, Vietnam
Abstract: This paper deals with the well-posedness of mild solutions for a class of fractional neutral impulsive stochastic integro-differential equations with infinite delay in Hilbert spaces. The results are obtained by using the Sadovskii fixed point theorem combined with theories of α-resolvent operators. An example is provided to illustrate the effectiveness of the proposed results.
Key words: α-Resolvent operator     Fractional stochastic integro-differential equations     Phase space     Neutral     Impulses     Sadovskii's fixed point theorem    
1 引言

本文主要讨论如下带无限时滞的分数阶脉冲中立型随机微积分方程温和解的适定性 {Dαt[x(t)+f(t,xt)]=Ax(t)+t0K(ts)x(s)ds+g(t,xt)+h(t,xt)dW(t)dt, tktJ,[2mm]Δx(tk)=x(t+k)x(tk)=Ik(xtk),t=tk,k={1,,m}=:¯1,m,x0=φB,x(0)=0,J:=[0,T],T>0,(1.1)

其中 Dαt,α(1,2) 是指 Caputo 型 α 阶微分 Dαtf(t):=t0gnα(ts)dndsnf(s)ds,
这里 n 是大于或等于 α 的最小整数,gϑ(t):=tϑ1Γ(ϑ),t>0,ϑ>0. 在方程 (1.1) 中, 状态 x() 取值于一个实可分 Hilbert 空间 H; A:D(A)HHα 预解算子 {Rα(t)}t0 的无穷小生成元, K(t):D(K(t))HH 是一个有界线性算子. 对于 t0 和时滞函数 xt:(,0]H, 我们有 xt(θ)=x(t+θ),且取值于相空间 B (在本文第二节中有关于该空间的详细介绍). 假设 f,g:J×BH, h:J×BL02, Ik:BH,k=¯1,m 是 在后面说明的适当函数. 此外,令 0=t0<t1<<tm<tm+1=T 为一些预先给定的点,x(tk)x(t+k) 分别表示 x(t)t=tk 处的左右极限,Δx(tk)=x(t+k)x(tk) 表示函数 xtk 时的跳高. 初始值 φ={φ(t):t(,0]} 是一个与布朗运动 W 独立的,具有有限二阶矩, F0 -适应的 B -值随机过程.

近年来,关于预解算子的脉冲中立型偏微分方程或微积分方程的适定性研究 已成为科学家广泛关注的热门领域. 这些方程可应用于物理、化学、 生物学、医学、经济学、社会科学等领域,参考文献[1, 2, 3, 4] 及其中的参考文献. 除了脉冲的影响,无穷时滞对状态方程的影响在最近几年也得到极大关注, 由于解的性质依赖于相空间 B (最早由 Hale 和 Kato[5] 定义) 的选择. 关于带无穷时滞的泛函微分方程的基础理论,详见文献[6]. 此外, 在理工的许多领域大家对随机泛函微积分方程结合脉冲的影响越来越感兴趣, 可以参见文献[7, 8] 及其中的参考文献.

另一方面,分数阶发展方程和微积分方程 (其中对时间的整数阶导数换成了 分数阶导数) 引起了很多研究者的极大兴趣. 此类方程被应用于 粘弹性、力学、电化学、 控制理论、多孔介质理论、电磁等[9, 10]. 关于上面方程的适定性已有许多作者研究 (参见文献[11, 12, 13, 14] 及其中的参考文献). 之前文献的主要是对确定模型进行适定性研究,但 在自然以及人造系统中随机扰动是不可 避免的,因而我们必须将确定模型转成随机的. 关于带无限时滞的分数阶随机微分方程,我们建议读者参考文献[15, 16]. 本文讨论方程 (1.1) 在 Lipschitz 和非 Lipschitz 条件下, 通过 Sadovskii 不动点定理以及 α -预解算子, 我们建立了方程 (1.1) 温和解的适定性. 我们的主要结果依赖于使 Hilbert 空间 H 上的强连续预解算子 {Rα(t),t0}. 在 Banach 空间中, α -预解算子一般不满足半群的性质,我们使用由 Agarwal 等人[11] 和 De Andrade 和 Dos Santos[13] 建立的更一般的理论得到本文章的一些结论.

本文的结构如下. 第 2 节我们回忆了一下关于 Weiner 过程、 确定微积分方程和 相空间 B 的一些概念及基本的理论. 第 3 节和第 4 节给出本文的结论及证明. 第 5 节给出一个应用的例子. 最后一节总结了全文.

2 预备知识

在本节中,我们简要地给出一些预备知识, 详细描述可以参考文献[5, 11, 13, 17].

假设 (H,H,,)(K,K,,) 是两个可分Hilbert空间, L(K;H)={ 有界线性算子从 K 到 H 赋以范数}.

(Ω,F,{Ft}t0,P) 带流概率空间,其中 {Ft}t0为由 Wiener 过程 W=(W(t))t0 所生成的自然σ -代数流,其中 W=(W(t))t0 是一个 K -值柱 Wiener 过程,其协方差算子为 Q0. 设 {ek}k1K 的标准正交基. 记 Tr(Q)=k=1λk=λ<,
则有 Qek=λkek,k=1,2,. 进而有 W(t),eK=k=1λkek,eKβk(t),  eK, t0,
其中 {βk}k1 为一列相互独立的一维布朗运动. 设 ψL(K;H),定义 ψ2L02=tr(ψQψ)=n=1λnψen2.
如果ψL02<,则称 ψQ-Hilbert-Schmidt 算子. 以 L02=LQ(K;H) 表示 Q-Hilbert-Schmidt 算子 ψ:KH 的全体所构成的集合,则再由范数 L02 诱导拓扑下作为 L(K;H) 的子空间 L02 的完备化是一个 Hilbert 空间.

接下来,我们介绍分数阶微积分方程以及 α -预解算子.

假设 X,Z 是两个Banach空间,AK(t),tJ 是线性闭算子, 其定义域 D=D(A)X 中为稠密的. 记 [D(A)] 表示 A被赋以图范数的定义域.

根据定理 2.1[11],在 X上,我们已知道下列抽象分数阶微积分方程 Dαtx(t)=Ax(t)+t0K(ts)x(s)ds,x(0)=x0X,x(0)=0,(2.1)

有一个相关的 α -预解算子.

定义2.1 {Rα(t)}tJX 上的有界线性算子称为方程 (2.1) 的 α -预解算子, 如果下列条件满足

(i) 函数 Rα():JL(X) 是强连续以及 Rα(0)x=x xX,α(1,2);

(ii) xD(A),Rα()C(J;[D(A)])C1(J;X)DαtRα(t)x=ARα(t)x+t0K(ts)Rα(s)xds,

DαtRα(t)x=Rα(t)Ax+t0Rα(ts)K(s)xds,tJ.
对于分数阶微积分方程解的存在性我们建立一些结果如下 Dαtx(t)=Ax(t)+t0K(ts)x(s)ds+κ(t),x(0)=x0X, x(0)=0, tJ,(2.2)
其中κL1(J;X)α(1,2).

定义2.2 函数 x:JX 称为方程(2.2) 的古典解如果 xC(J;[D(A)])C(J;X),gnαx=t0gnα(ts)xdsC1(J;X),tJ,n=1,2, 以及 x 满足方程(2.2).

定义2.3α(1,2),那么我们定义 {Sα}tJSα(t)x:=t0gα1(ts)Rα(s)ds,tJ.

定理2.4 (Agarwal\footnotesize [11,定理 3.2]) 设 xD(A). 假设κC(J;X)v() 是方程 (2.2) 的古典解. 那么 v(t)=Rα(t)x+t0Sα(ts)κ(s)ds,tJ.

定义2.5κL1(J;X). 函数 vC(J;X) 称为方程 (2.2) 的温和解 如果 v(t)=Rα(t)x+t0Sα(ts)κ(s)ds,tJ.

定理2.6 (Agarwal[11] 或 Dos Santos 等[18]) 设 xD(A)κC(J;X). 如果 κL1(J;[D(A)])κW1,1(J;X),则方程 (2.2) 的温和解是古典解.

引理2.7 (Dos Santos 等\footnotesize [18,引理 2.12]) 设 α(1,2). 如果 R(λα0,A)=(λα0A)1 是紧, 其中 λα0ρ(A),则 Rα(t) 以及 Sα(t) 是 紧 t>0.

接下来我们考虑下列条件

(P1) 算子 A:D(A)XX 是一闭线性算子, 其域 [D(A)]X 中为稠密的. 设α(1,2),对于一些 ϕ0(0,π2],ϕ<ϕ0,存在正常数 C0=C0(ϕ) 使得 λρ(A), λΣ0,αβ={λC:λ0,|arg(λ)|<αβ}, 其中 β=ϕ+π2 以及 R(λ,A)C0|λ| λΣ0,αβ.

(P2) tJ,K(t):D(K(t))XX 是一闭线性算子,D(A)D(K(t))K()x 是强可测在 (0,)xD(A). k()L1loc(R+) 使得 ˆk(λ) 存在对于 Re(λ)>0K(t)xk(t)x1 t>0 以及 xD(A). 此外,价值函数算子ˆK:Σ0,π2L([D(A)],X) 有解析推广(仍记为 ˆK)到 Σ0,β 使得 ˆK(λ)xˆK(λ)x1 xD(A)ˆK(λ)=O(1|λ|), 当 |λ|.

(P3) 存在一个子空间 DD(A)[D(A)] 中为稠密的以及正常数 Ci,i=1,2, 使得 A(D)D(A),ˆB(λ)(D)D(A), AˆK(λ)xC1x,xD 以及 λΣ0,β.

在接下来的结果我们记 (A)β 为算子 A 的幂 (参见文献[19]). 由文献[19],[引理 6.3]知 存在一个常数 C 使得 (A)βC,$\beta\in[0, 1]$.

引理 2.8 (De Andrade[13],引理 3.1) 假设条件(P1)-(P3) 成立. 设 α(1,2)β(0,1) 使得 αβ(0,1),则 t>0 存在正常数 C 使得 (Aβ)Rα(t)Certtαβ;

(Aβ)Sα(t)Certtα(1β)1.

注 2.9 (De Andrade[13],注 3.2) 如果 ˆB(λ)(A)βy=(A)βˆB(λ)y,y[D(A)]. 我们可以看见对于 β(0,1)x[D((A)β)],那么 (A)βRα(t)x=Rα(t)(A)βx,(A)βSα(t)x=Sα(t)(A)βx.

定义 2.10 记空间 M2 表示由 Ft -适应可测, H -值随机过程 x=x(t),tJ 的全体所构成的集合.

(i) 对于k=¯1,m,xttk 处是连续的,x(tk)=x(tk)x(t+k) 存在:

(ii) xM2, xM2:=(suptJEx(t)2)12.

那么,空间 M2 赋以上范数构成为一个 Banach 空间 (参见文献[20,引理 2.6]).

下文中,以 L2(Ω,H)表示强可测, H -值的平方可积随机变量的全体所构成的集合. 在范数 xL2=(Ex2)12下, L2(Ω,H) 是一 Banach 空间.

为简单起见,记 t0=0,tm+1=T. 对于 vM2, 记 ˜vkC([tk,tk+1],L2(Ω,H)), k=0,1,,m, ˜vk(t)={v(t),t(tk,tk+1];v(t+k),t=tk.

此外,对于 BM2,记 ˜Bk={˜vk:vB}, k=0,1,,m.

引理 2.11 (Yan$^{\mbox{\footnotesize [20],[引理 2.7]}})B\subseteq {\mathcal M}^{2}{\mathcal M}^{2}{\widetilde B}_{k} C([t_k,t_{k+1}], {\mathcal L}^{2}(\Omega,{\Bbb H})),k=0,1,\cdots,m.,{\cal B}$ 空间的公里化体系,文中我们采用基于文献[5]中的方法. 我们有下列定义

定义 2.12 对于由 (,0]HF0 -可测函数 构成的相空间 B((,0],H) (简记 B) 赋以半范数 B 满足如下的公理

(A1) 设 x:(,T]H,T>0,满足 x0B, 则对于 t[0,T],下列结论成立

(i) xtB;

(ii)~ x(t)HLxtB;

(iii)~ xtBM(t)sup0stx(s)H+N(t)x0B, 其中 L>0 为常数; M,N:[0,+)[1,+),M() 是连续的, N() 使局部有界的,并且 M,Nx() 是独立的.

(A2) B 是完备的.

注 2.13 定义 2.12中 性质 (iii) 可以换成 [20,引理 2.8] xtBMTsupsJEx(s)H+˜MTEφB,

其中 MT:=supsJM(s), ˜MT:=supsJN(s).

现在,根据定义 2.5,我们给出 系统(1.1) 温和解的定义.

定义 2.14 随机过程 x:(,T]H, 0<T<+ 称为系统 (1.1) 的一个温和解如果 x0=φB, 对于s[0,T) 函数ASα(ts)f(s,xs)以及 s0K(sξ)Sα(ts)f(ξ,xξ)dξ 为可积使得下列条件满足:

(i) x(t)Ft -可适应以及 {xt:tJ}B -值的并且 x()|(tk,tk+1],k=¯1,m 为连续的;

(ii) 对于任意的 tJ,x(t) 满足如下积分方程 x(t)=Rα(t)[φ(0)+f(0,φ)]f(t,xt)t0ASα(ts)f(s,xs)dst0s0K(sξ)Sα(ts)f(ξ,xξ)dξds+t0Sα(ts)g(s,xs)ds+t0Sα(ts)h(s,xs)dW(s)+0<tk<tSα(ttk)Ik(xtk);(2.3)

(iii) Δx|t=tk=Ik(xtk),k=¯1,m.

下面给出本文中将要用到的假设条件.

(H1) 下列条件满足

(i) 对于 x[D((A)β)],K()xC(J,H);

(ii) 存在函数 μ()L1(J,R+) 以及 0s<tT 使得 K(s)Sα(t)L([D((A)β)],H)Mμ(s)tαβ1.

(H2) 函数 f()(A)β 中取值的, f:J×B[D((A)β)] 为连续的并且存在正常数 Lf 使得 (ti,νi)J×B,i=1,2, E(A)βf(t1,ν1)(A)βf(t2,ν2)2Lf(|t1t2|2+ν1ν22B).

(H3) 函数 g:J×BH 满足如下性质

(i) 对任意的 νB,函数 g(,ν):JH 为强连续的;

(ii) 对任意的 tJ,函数g(t,):BH 为连续的;

(iii) 对任意的 (t,ν)J×B,存在可积函数 ηg:J[0,) 以及一个非降连续函数 Ψg:[0,)(0,) 使得 Eg(t,ν)2ηg(t)Ψg(ν2B).

(H4) s,tJ,ts,r>0,在 H 上, 集 {g(s,ν):s[0,t],ν2Br} 为有界的.

(H5) 函数 h:J×BL02 满足如下条件

(i) 对任意的 νB,函数 h(,ν):JL02 为强连续的;

(ii) 对几乎所有的 tJ,函数 h(t,):BL02 为连续的;

(iii) 对任意的 (t,νi)J×B,i=1,2, 存在一个正常数 Mh 使得 Eh(t,ν1)h(t2,ν2)2L02Mhν1ν22B.

(H6) 函数 h:J×BL02 满足如下条件

(i) 对任意的 νB,函数 h(,ν):JL02 为强连续的;

(ii) 对几乎所有的 tJ,函数 h(t,):BL02 为连续的;

(iii) 存在可积函数 ζh:J[0,) 和一个非降连续函数 Ψh:[0,)(0,) 使得对任意的 (t,ν)J×BEh(t,ν)2L02ζh(t)Ψh(ν2B).

(H7) 函数列 IkC(B,H) 并且存在正常数列 Qk, k=¯1,m 使得 EIk(x)Ik(y)2Qkxy2B,x,yB,k=¯1,m.

(H8) 函数列 Ik:BH 为全连续的并且存在非降连续函数列 Ωk:[0,)(0,), k=¯1,m 使得 EIk(x)2Ωk(x2B),xB,k=¯1,m.

注 2.15 对任意的 tJ,我们可以假设存在 M>0 使得 Rα(t)M 以及 Sα(t)M.

在这部分的结尾,我们给出 Sadovskii 不动点定理.

引理 2.16 (Sadovskii[21]) 设 Θ 为Banach空间 H 中的一凝聚算子, 即 Θ 是连续的,将 H 中的有界集映射到有界集,并且对于 H 中满足 μ(A)>0 的任意有界集 Aμ(Θ(A))μ(A). 设 BH 中的闭凸有界子集满足 Θ(B)B,则 ΘH 中有不动点 (其中 μ() 表示 Kuratowski 非紧测度).

3 主要结论

本文的第一个主要结论是如下定理.

定理 3.1 设假设(H1)-(H5),(H7) 成立. 如果 1>16M2T[2Lf((A)β2+2M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2(TMg+MhTr(Q)+2mmk=1Qk)],(3.1)

则 在 J 上存在系统 (1.1) 的一个温和解.

给空间Υ={uM2:u(0)=φ(0)} 赋以一致收敛拓扑以及定义算子 Π:ΥΥ (Πx)(t)=Rα(t)[φ(0)+f(0,φ)]f(t,¯xt)t0ASα(ts)f(s,¯xs)dst0s0K(sξ)Sα(ts)f(ξ,¯xξ)dξds+t0Sα(ts)g(s,¯xs)ds+t0Sα(ts)h(s,¯xs)dW(s)+0<tk<tSα(ttk)Ik(¯xtk),tJ,

其中 ¯x 满足 ¯x0=φ以及¯x=x|J. 我们很容易看见 ΠΥΥ.

对于 r>0,令 Br(¯φ|J,Υ):={yΥ:Ey2r},

其中¯φ(θ)=φ(0)J 上.

由引理 2.8,注 2.13,假设 (H2) 以及 H\"{o}lder 不等式,我们有 Et0ASα(ts)f(s,¯xs)ds2E[t0(A)1βSα(ts)(A)βf(s,¯xs)ds]22M2t0(ts)2(αβ1)ds(t0E(A)βf(s,¯xs)(A)βf(0,φ)2ds+(A)βf(0,φ)2T)2M2T2αβ12αβ1(Lft0(s2+¯xsφ2B)ds+(A)βf(0,φ)2T)2M2T2αβ2αβ1(Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+(A)βf(0,φ)2),

由 Bochner 定理[22],我们推断 ASα(ts)f(s,¯xs) 为可积的在[0,T) 上. 所以, Π 是定义好在 Br(¯φ|J,Υ) 上.

引理 3.2 在定理 3.1 的假设下,则存在 r>0 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).

若不然,则对任意的正常数 r>0 以及 trJ,存在函数 xr(tr)Br(¯φ|J,Υ) 使得 EΠxr(tr)φ(0)2>r. 然而,由引理 2.8, 注 2.13,注 2.15,假设 (H1)-(H5),({H7}), H\"{o}lder 不等式 以及 Burkholder-Davis-Gundy 不等式,我们有 r<EΠxr(tr)φ(0)28ERα(tr)φ(0)φ(0)2+8ERα(tr)f(0,φ)f(0,φ)2+8(A)β2E(A)βf(tr,¯xrtr)(A)βf(0,φ)2+16M2tr0(trs)2αβ2ds×(tr0E(A)βf(sr,¯xrsr)(A)βf(0,φ)2ds+(A)βf(0,φ)2T)+16M2Ttr0[s0μ2(sξ)(trs)2αβ2dξ×(s0E(A)βf(ξr,¯xrξr)(A)βf(0,φ)2dξ+(A)βf(0,φ)2T)]ds+8M2Ttr0Eg(sr,¯xrsr)2ds+8M2Tr(Q)tr0Eh(sr,¯xrsr)2L02ds+16M20<tk<TE(Ik(¯xrtk)Ik(0)2+Ik(0)2)16(M2+1)[L2Eφ2B+Lf(A)β2φ2B]+8(A)β2Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+16M2T2αβ2αβ1(Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+(A)βf(0,φ)2)+16M2T2αβ+12αβ1(Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+(A)βf(0,φ)2)×T0μ2(ξ)dξ+16M2TMg(M2Tr+˜M2TEφ2B)+16M2MhTr(Q)(M2Tr+˜M2TEφ2B)+16M2mmk=1Qk(2M2Tr+2˜M2TEφ2B+Ik(0)2).(3.2)

(3.2) 式两边同除以 r 并令 r,则有 1<16M2T[2Lf((A)β2+2M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2(TMg+MhTr(Q)+2mmk=1Qk)],
这和 (3.1)式相矛盾. 因此,存在正常数 r 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).

下文中,令 r>0 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).rr 分别表示常数 r:=2M2Tr+2˜M2TEφ2B;r:=M2TΨg(r)T0ηg(s)ds.

为了证明 Π 是一个凝聚算子,我们将算子 Π 分解为 Π=Π1+Π2, 其中对任意的 tJ,Π1,Π2 定义在 Br(¯φ|J,Υ) 中分别由下式所确定 (Π1x)(t)=Rα(t)[φ(0)+f(0,φ)]f(t,¯xt)t0ASα(ts)f(s,¯xs)dst0s0K(sξ)Sα(ts)f(ξ,¯xξ)dξds+t0Sα(ts)h(s,¯xs)dW(s)+0<tk<tSα(ttk)Ik(¯xtk),
(Π2x)(t)=t0Sα(ts)g(s,¯xs)ds.

引理 3.3 在定理 3.1 的假设下,则 Π1 是一个压缩映射.

u,vBr(¯φ|J,Υ), 则由引理 2.8,注 2.13, 假设 (H1),(H2),(H5),(H7),Hølder 不等式,Burkholder-Davis-Gundy 不等式以及对任意的 tJ,有 E(Π1u)(t)(Π1v)(t)25(A)β2E(A)βf(t,¯ut)(A)βf(t,¯vt)2+5E[t0(A)1βSα(ts)(A)βf(s,¯us)(A)βf(s,¯vs)ds]2+5Et0s0K(sξ)Sα(ts)[f(ξ,¯uξ)f(ξ,¯vξ)]dξds2+5Et0Sα(ts)[h(s,¯us)h(s,¯vs)]dW(s)2+5E0<tk<tSα(ttk)[Ik(¯utk)Ik(¯vtk)]210M2TLf(A)β2supsJE¯u(s)¯v(s)2+10M2M2TLfT2αβ2αβ1supsJE¯u(s)¯v(s)2+10M2M2TLfT2αβ+12αβ1T0μ2(ξ)dξsupsJE¯u(s)¯v(s)2+10M2MhM2TTr(Q)supsJE¯u(s)¯v(s)2+10M2M2Tmmk=1QksupsJE¯u(s)¯v(s)2.

故有 (Π1u)(Π1v)2M210M2T[Lf((A)β2+M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2MhTr(Q)+M2mmk=1Qk]uv2M2.
由 (3.1)式可知 Π1 为一压缩映射.

引理 3.4 在定理 3.1 的假设下,则 在 Br(¯φ|J,Υ) 中,Π2 是紧的.

证明将分为以下 3 步.

第 1 步 Π2Br(¯φ|J,Υ) 中的有界集映射到其上的有界集.

对任意的 tJ,zBr(¯φ|J,Υ),由注 2.13 有 ¯zt2Br 以及 E(Π2z)(t)2M2TΨg(r)T0ηg(s)ds=r,

由此表明第 1 步的结论成立.

第 2 步 {Π2z,zBr(¯φ|J,Υ)}J 中为等度连续的.

0<ϵ<t<T0<δ<ϵ 使得 Sα(s1)Sα(s2)2ϵ, 对于任意的 s1,s2[ϵ,T]: |s1s2|δ. 那么,对于 zBr(¯φ|J,Υ)0<lδ,t+lJ,我们有 E(Π2z)(t+l)(Π2z)(t)23TΨg(r)tϵ0Sα(t+ls)Sα(ts)2ηg(s)ds+6M2TΨg(r)ttϵηg(s)ds+3M2TΨg(r)t+ltηg(s)ds3rϵM2+3M2TΨg(r)(2ttϵηg(s)ds+t+ltηg(s)ds).(3.3)

故有,对于充分小的 ϵ,(3.3)式的右手边趋于零. 另一方面,Sα(t),t>0 (参见文献[18]) 为紧的. 由此表明 {Π2z,zBr(¯φ|J,Υ)}J 中为等度连续的.

第 3 步 Π2Br(¯φ|J,Υ) 映射到 Br(¯φ|J,Υ) 中的一个准紧集.

zBr(¯φ|J,Υ) 以及 ϵ 为一个正实数使得 0<ϵ<tT 我们可知 (Π2z)(t):=tϵ0Sα(ts)g(s,¯xs)ds+ttϵSα(ts)g(s,¯xs)ds(tϵ)¯co(W)+Uϵ,

其中 W={Sα(tτ)g(τ,ν):τ[0,tϵ],ν2Br}, co() 记为凸包以及 Uϵ={ttϵSα(ts)g(s,¯xs)ds:zBr(¯φ|J,Υ)}.diam(Uϵ)M2TΨg(r)ttϵηg(s)ds.
那么存在任意相对紧的接近集合 {(Π2z)(t), zBr(¯φ|J,Υ)}. 故有,集合 {(Π2z)(t), zBr(¯φ|J,Υ)}Br(¯φ|J,Υ) 中为准紧的.

最后,由假设在 g 上,我们可以推断 Π2 为连续的. 故由 Arzel\'{a}-Ascoli 定理可知算子 Π2 为紧的. 由此 引理 2.16 可知 (1.1) 存在一个温和解. 定理 3.1 证毕.

本文的第二个主要结论是如下定理.

定理 3.5 设假设 (H1)-({H3}),({H6}), ({H7}) 成立. 如果 1>16M2T[2Lf((A)β2+2M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2(TlimεinfΨg(ε)εT0ηg(s)ds+Tr(Q)limεinfΨh(ε)εT0ζh(s)ds+2mmk=1Qk)],(3.4)

则 在 J 上存在系统 (1.1) 的一个温和解.

给空间 Υ={uM2:u(0)=φ(0)} 赋以一致收敛拓扑以及定义算子 Π:ΥΥ (Πx)(t)=Rα(t)[φ(0)+f(0,φ)]f(t,¯xt)t0ASα(ts)f(s,¯xs)dst0s0K(sξ)Sα(ts)f(ξ,¯xξ)dξds+t0Sα(ts)g(s,¯xs)ds+t0Sα(ts)h(s,¯xs)dW(s)+0<tk<tSα(ttk)Ik(¯xtk), tJ,

其中¯x 满足 ¯x0=φ 以及 ¯x=x|J. 我们很容易看见 ΠΥΥ. 对于r>0,令Br(¯φ|J,Υ):={yΥ:Ey2r},
其中¯φ(θ)=φ(0)J 上.

如定理 3.1 同样证明,我们可以推断在 Br(¯φ|J,Υ) 中,Π 为定义好的.

引理 3.6 在定理 3.5 的假设下,则存在 r>0 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).

若不然,则对任意的正常数 r>0 以及 trJ,存在函数 xr(tr)Br(¯φ|J,Υ) 使得 EΠxr(tr)φ(0)2>r. 然而,由引理 2.8, 注 2.13,注 2.15,假设 ({H1})-({H3}),({H6}),({H7}), H\"{o}lder 不等式 以及 Burkholder-Davis-Gundy 不等式,我们有 r<EΠxr(tr)φ(0)28ERα(tr)φ(0)φ(0)2+8ERα(tr)f(0,φ)f(0,φ)2+8(A)β2E(A)βf(tr,¯xrtr)(A)βf(0,φ)2+16M2tr0(trs)2αβ2ds×(tr0E(A)βf(sr,¯xrsr)(A)βf(0,φ)2ds+(A)βf(0,φ)2T)+16M2Ttr0[s0μ2(sξ)(trs)2αβ2dξ×(s0E(A)βf(ξr,¯xrξr)(A)βf(0,φ)2dξ+(A)βf(0,φ)2T)]ds+8M2Ttr0Eg(sr,¯xrsr)2ds+8M2Tr(Q)tr0Eh(sr,¯xrsr)2L02ds+16M20<tk<TE(Ik(¯xrtk)Ik(0)2+Ik(0)2)16(M2+1)[L2Eφ2B+Lf(A)β2φ2B]+8(A)β2Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+16M2T2αβ2αβ1(Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+(A)βf(0,φ)2)+16M2T2αβ+12αβ1(Lf(T2+4M2Tr+4˜M2TEφ2B+2φ2B)+(A)βf(0,φ)2)×T0μ2(ξ)dξ+8M2TT0ηg(s)Ψg(2M2Tr+2˜M2TEφ2B)ds+8M2Tr(Q)×T0ζh(s)Ψh(2M2Tr+2˜M2TEφ2B)ds+16M2mmk=1Qk(2M2Tr+2˜M2TEφ2B+Ik(0)2).(3.5)

(3.5) 式两边同除以 r 并令 r,则有 1<16M2T[2Lf((A)β2+2M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2(TlimεinfΨg(ε)εT0ηg(s)ds+Tr(Q)limεinfΨh(ε)εT0ζh(s)ds+2mmk=1Qk)],
这和 (3.4)式相矛盾. 因此,存在正常数 r 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).

文中,令 r>0 使得 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ).rr 分别表示常数 r:=2M2Tr+2˜M2TEφ2B;

r:=2M2TΨg(r)T0ηg(s)ds+2M2Tr(Q)Ψh(r)T0ζh(s)ds.
为了证明 Π 是一个凝聚算子,我们将算子 Π 分解为 Π=Π1+Π2, 其中对任意的 tJ,Π1,Π2 定义在 Br(¯φ|J,Υ) 中分别由下式所确定 (Π1x)(t)=Rα(t)[φ(0)+f(0,φ)]f(t,¯xt)t0ASα(ts)f(s,¯xs)dst0s0K(sξ)Sα(ts)f(ξ,¯xξ)dξds+0<tk<tSα(ttk)Ik(¯xtk),
(Π2x)(t)=t0Sα(ts)g(s,¯xs)ds+t0Sα(ts)h(s,¯xs)dW(s).

引理 3.7 在定理 3.5 的假设下,则 Π1 是一个压缩映射.

u,vBr(¯φ|J,Υ),则由引理 2.8,注 2.13, 假设 ({H1}),({H2}),({H7}),H\"{o}lder 不等式,Burkholder-Davis-Gundy 不等式以及对任意的 tJ,有 E(Π1u)(t)(Π1v)(t)24(A)β2E(A)βf(t,¯ut)(A)βf(t,¯vt)2+4E[t0(A)1βSα(ts)(A)βf(s,¯us)(A)βf(s,¯vs)ds]2+4Et0s0K(sξ)Sα(ts)[f(ξ,¯uξ)f(ξ,¯vξ)]dξds2+4E0<tk<tSα(ttk)[Ik(¯utk)Ik(¯vtk)]28M2T[Lf((A)β2+M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2mmk=1Qk]supsJE¯u(s)¯v(s)2.

故对任意的 tJ,有 (Π1u)(Π1v)2M28M2T[Lf((A)β2+M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2mmk=1Qk]uv2M2.
由 (3.4) 式可知 Π1 为一压缩映射.

引理 3.8 在定理 3.5 的假设下,则 在 Br(¯φ|J,Υ) 中, Π2 是紧的.

证明将分为以下 3 步.

第 1 步 Π2Br(¯φ|J,Υ) 中的有界集映射到其上的有界集. 对任意的 tJ,zBr(¯φ|J,Υ),由注 2.13 有 ¯zt2Br 以及 E(Π2z)(t)22M2TΨg(r)T0ηg(s)ds+2M2Tr(Q)Ψh(r)T0ζh(s)ds=r,

由此表明第 1 步的结论成立.

第 2 步 {Π2z,zBr(¯φ|J,Υ)}J 中为等度连续的. 设 0<ϵ<t<T0<δ<ϵ 使得 Sα(s1)Sα(s2)2ϵ, 对于任意的 s1,s2[ϵ,T]: |s1s2|δ. 那么,对于 zBr(¯φ|J,Υ)0<lδ,t+lJ,我们有 E(Π2z)(t+l)(Π2z)(t)24TΨg(r)t0Sα(t+ls)Sα(ts)2ηg(s)ds+4Tr(Q)Ψh(r)t0Sα(t+ls)Sα(ts)2ζh(s)ds+4M2TΨg(r)t+ltηg(s)ds+4M2Tr(Q)Ψh(r)t+ltζh(s)ds4TΨg(r)ϵt0ηg(s)ds+4Tr(Q)Ψh(r)εt0ζh(s)ds+4M2TΨg(r)t+ltηg(s)ds+4M2Tr(Q)Ψh(r)t+ltζh(s)ds.(3.6)

故有,对于充分小的 ϵ,(3.6)式的右手边趋于零. 另一方面,Sα(t),t>0 (参见文献[18]) 为紧的. 由此表明 {Π2z,zBr(¯φ|J,Υ)}J 中为等度连续的.

第 3 步 Π2Br(¯φ|J,Υ) 映射到 Br(¯φ|J,Υ) 中的一个准紧集.

对于固定的 t(0,T] 以及 ϵ(0,t),在 Br(¯φ|J,Υ) 中,我们定义 算子 Πϵ2 (Πϵ2z)(t):=tϵ0Sα(ts)g(s,¯zs)ds+tϵ0Sα(ts)h(s,¯zs)dW(s).

Sα(t),t>0 的紧性,对任意的 ϵ(0,t),我们可以推断集合 {Πϵ2z,zBr(¯φ|J,Υ)}H 中为相对紧的. 此外,对任意的 zBr(¯φ|J,Υ),有 E(Π2z)(t)(Πϵ2z)(t)22M2TΨg(r)ttϵηg(s)ds+2M2Tr(Q)Ψh(r)ttϵζh(s)ds.(3.7)
故当 ϵ0 时,我们有 (3.7)式 的右手边趋于零. 故有存在任意相对紧的接近集合 {(Π2z)(t),zBr(¯φ|J,Υ)}. 由此,集合 {(Π2z)(t),zBr(¯φ|J,Υ)}Br(¯φ|J,Υ) 中为准紧的. 最后,由假设在 gh 上,可以推断 Π2 为连续的. 故由 Arzel\'{a}-Ascoli 定理可知算子 Π2 为紧的.

由引理3.8和 引理 2.16 可知方程 (1.1) 存在一个温和解. 定理 3.5 证毕.

本文的第三个主要结论是如下定理.

定理 3.9 设假设 (H1)-({H3}),(H6),(H8) 成立. 如果 1>16M2T[2Lf((A)β2+2M2T2αβ2αβ1[1+TT0μ2(ξ)dξ])+M2(TlimεinfΨg(ε)εT0ηg(s)ds+Tr(Q)limεinfΨh(ε)εT0ζh(s)ds+mmk=1limεinfΩk(ε)ε)],

则 在 J 上存在系统 (1.1) 的一个温和解.

我们定义算子 Π:ΥΥ 如上,那么我们得到 Π(Br(¯φ|J,Υ))Br(¯φ|J,Υ). 此外,如定理 3.5 同样证明以及注意到我们可以将算子 Π 分解为 Π=Π1+Π2+Π3, 其中 在 Br(¯φ|J,Υ) 中,Π1,Π2,Π3 分别由下式所确定 (Π1x)(t)=Rα(t)[φ(0)+f(0,φ)]f(t,¯xt)t0ASα(ts)f(s,¯xs)dst0s0K(sξ)Sα(ts)f(ξ,¯xξ)dξds,

(Π2x)(t)=t0Sα(ts)g(s,¯xs)ds+t0Sα(ts)h(s,¯xs)dW(s),
(Π3x)(t)=0<tk<tSα(ttk)Ik(¯xtk),k=¯1,m,tJ,

那么,我们可以易证算子 Π1 为压缩的而 Π2 为紧的. 另一方面,由引理 2.11,如文献[11,定理 3.2] 同样讨论,我们有 Π3 为紧的. 故由定理 2.16 可知系统 (1.1) 存在一温和解. 定理 3.9 证毕.

4 解对初始值的连续依赖性

在本节中,我们考虑解对初始值的连续依赖性. 记 xφ(t) 表示 (1.1) 的温和解依赖于初始值 φ. 我们要如下假设

(H9) 函数g:J×BH满足如下性质

(i) 对任意的νB,函数g(,ν):JH为强连续的;

(ii) 对任意的tJ,函数g(t,):BH为连续的;

(iii) 对任意的(t,νi)J×B,i=1,2, 存在正常数 Mg 使得 Eg(t,ν1)g(t2,ν2)2Mgν1ν22B.

定理 4.1 设假设 ({H1}),({H3}),(H5),({H7}), (H9) 满足 1>Λ:=14M2T[Lf(A)β2+LfM2T2αβ2αβ1(1+TT0μ2(ξ)dξ)+M2(TMg+Tr(Q)Mh+mmk=1Qk)].

那么,方程(1.1) 的温和解依赖于初始值 φ (相应强拓扑在 H 上).

xφ1(t)xφ2(t) 是分别由初始值 φ1 以及 φ2给出的方程 (1.1) 的两个温和解. 那么,由引理 2.8,注 2.13,注 2.15,假设 (H1),(H2),(H5),(H7),(H9), H\"{o}lder 不等式以及 Burkholder-Davis-Gundy 不等式,我们有 Exφ1(s)xφ2(s)27ERα(s)[φ1(0)φ2(0)+[f(0,φ1)f(0,φ2)]]2+7Ef(s,xφ1s)f(s,xφ2s)2+7Et0ASα(ts)[f(s,xφ1s)f(s,xφ2s)]ds2+7Et0s0K(sξ)Sα(ts)[f(s,xφ1s)f(s,xφ2s)]dξds2+7Et0Sα(ts)[g(s,xφ1s)g(s,xφ2s)]ds2+7Et0Sα(ts)[h(s,xφ1s)h(s,xφ2s)]dW(s)2+7E0<tk<tSα(ttk)[Ik(xφ1tk)Ik(xφ2tk)]214M2[Eφ1φ22B+Lf(A)β2φ1φ22B]+14M2T[Lf(A)β2+LfM2T2αβ2αβ1(1+TT0μ2(ξ)dξ)+M2(TMg+Tr(Q)Mh+mmk=1Qk)]supsJExφ1(s)xφ2(s)2.

故有 xφ1(s)xφ2(s)2M214M21Λ[Eφ1φ22B+Lf(A)β2φ1φ22B].
这就得证定理 4.1 成立.

5 应用

本节中,我们给出一个例子加以应用. 我们考虑下列分数阶脉冲中立型随机微积分方程 {αtα[u(t,ξ)+tπ0˜f(ts,ζ,ξ)u(s,ζ)dζds]=2ξ2u(t,ξ)+t0(ts)δeλ(ts)2ξ2u(s,ξ)ds+t˜g(ts)u(s,ξ)ds+t˜h(ts)u(s,ξ)dW(s),ξ[0,π],ttk, tJ,[3mm]Δu(t,ξ)=tkηk(tks)u(s,ξ)ds,t=tk,k=¯1,m,u(t,0)=u(t,π)=0,tJu(θ,ξ)=φ(θ,ξ),θ(,0],ξ[0,π],(5.1)

其中 W(t) 表示定义在概率空间 (Ω,F,P) 取值于 H 空间的标准柱 Wiener 过程 以及 αtα=Dαt, α(1,2),δ, λ 是正常数的.

我们要将系统 (5.1) 写成抽象形式 (1.1). 设 H=L2([0,π]) 赋以范数 以及定义算子 A:D(A)HH: Az=z 其定义域为 D(A)={zH:zH,z(0)=z(π)=0}. 我们已知道 Δz=z 生成一个解析半群 {T(t)}tJH 上. 故有 A 是扇形的 以及 (P1) 被满足.

算子 K(t):D(A)HH 被定义为 K(t)(z)=tδeλtAz,zD(A). 那么,性质 (P2),(P3) 被满足其 k(t)=tδeλtD=C0([0,π]) 所以,由引理 2.8,(H1) 为成立的.

p[1,),r[0,),g()(,r) 上的非负,局部可积的 Borel 可测函数并且存在 (,0] 上的非负局部有界函数 G 使得对任意的 ς0, τ(,r)Nς 使得 g(ς+τ)G(ς)g(τ), 其中 Nς(,r) 是一个 Lebesgue 测度为零的集合.

B=PCr×Lp(g;H), r0, p>1,φ:[,0)H 使得 φ[r,0]M2([r,0];H), 以及 gφp(,r) 为 Lebesgue 可积的 Lebesgue 可测函数 φ() 的全体所构成的集合. 在 PCr×Lp(g;H)中,如下定义半范数 φB:=suprθ0φ(θ)+(rg(θ)φ(θ)pdθ)1p.

上述 B 构成为一个满足公理(A1) 和(A2) 的相空间 (参见文献[6,定理 1.3.8]). 此外,本例主要考虑 r=0p=2 的情形,此时, PC0×L2(g;H),L=1;M(t)=G(t)12 以及 N(t)=1+(0tg(τ)dτ)12,tJ.

假设函数满足如下条件

(i) 函数 ηk:RR, k=¯1,m 为连续的对任意的 k=¯1,m, Qk:=(0(ηk(s))2g(s)ds)12<;

(ii) 函数 ˜g:RR 为连续的以及 Lg:=(0(˜g(s))2g(s)ds)12<;

(iii) 函数 ˜h:RR 为连续的以及 Lh:=(0(˜h(s))2g(s)ds)12<;

(iv) 函数 ˜f(s,ζ,ξ),˜f(s,ζ,ξ)ξ 为可测的,对任意的 (s,ζ), ˜f(s,ζ,π)=˜f(s,ζ,0)=0 以及 Lf:=max{(π00π01g(θ)iξi˜f(s,ζ,ξ)dζdθdξ)12:i=0,1}<.

ϕ(θ)(x)=ϕ(θ,x)B,定义映射 f,g:J×BH; h:J×BL02(H,H) 以及 Ik:BH 如下 f(ϕ)(ξ)=0π0˜f(s,ζ,ξ)ϕ(s,ζ)dζds;g(ϕ)(ξ)=0˜g(s)ϕ(s,ξ)ds,h(ϕ)(ξ);

h(ϕ)(ξ)=0˜h(s)ϕ(s,ξ)ds;Ik(ϕ)(ξ)=0ηk(s)ϕ(s,ξ)ds,k=¯1,m.
在上述定义下,我们可以推断 f,g,h,Ik,k=¯1,m 是有界线性算子其 fL(B,H)Lf; gL(B,H) Lg; hL(B,H)Lh 以及 IkL(B,H)Qk,k=¯1,m. 那么,我们可以将系统 (5.1) 转化为 系统 (1.1) 的形式. 此外, 在第 3 节和 第 4 节的定理的假设下我们可知 系统 (5.1) 在 J 中存在一个温和解并且此温和解依赖于初始值 φ.

6 结论

本文研究了在实可分Hilbert空间中无限时滞的分数阶脉冲中立型随机微积分方程 温和解的适定性. 我们通过利用 Sadovskii 不动点定理结合 α -预解算子理论得到了解的适定性的充分条件. 我们也研究了解对初值的连续依赖性. 此外,举例应用了所得到的结论. 本文推广和改进了 Cui 和 Yan[15]、De Andrade 和 Dos Santos[13]、Sakthivel 等[16]、Hu 和 Ren[7] 等的相应的结果.

致谢: 本文作者对两位审稿人提出的宝贵意见表示由衷的感谢!

参考文献
[1] Chang Y K, Nieto J J. Existence of solutions for impulsive neutral integro-differential inclusions with nonlocal initial conditions via fractional operators. Numer Funct Anal Optim, 2009, 30: 227-244
[2] Cuevas C, Hernández E, Rabelo M. The existence of solutions for impulsive neutral functional differential equations. Comput Math Appl, 2009, 58(4): 774-757
[3] Hernández E, Rabelo M, Henríquez H. Existence of solutions for impulsive partial neutral functional differential equations. J Math Anal Appl, 2007, 331(2): 1135-1158
[4] Yan Z M. Existence of solutions for nonlocal impulsive partial functional integrodifferential equations via fractional operators. J Comput Appl Math, 2011, 235(8): 2252-2262
[5] Hale J K, Kato J. Phase spaces for retarded equations with infinite delay. Funkcial Ekvac, 1978, 21: 11-41
[6] Hino Y, Murakami S, Naito T. Functional Differential Equations with Infinite Delay, Lecture Notes in Mathematics. Berlin: Springer-Verlag, 1991
[7] Hu L, Ren Y. Existence results for impulsive neutral stochastic functional integro-differential equations. Acta Appl Math, 2010, 111(3): 303-317
[8] Parthasarathy C, Arjunan M M. Existence results for impulsive neutral stochastic functional integrodifferential systems with infinite delay. Malaya J Matematik, 2012, 1(1): 26-41
[9] Hilfer R. Applications of Fractional Calculus in Physics. Singapore: World Scientific, 2000
[10] Lakshmikantham V, Leela S, Vasundhara Devi J. Theory of Fractional Dynamic Systems. Cambridge: Cambridge Scientific Publishers, 2009
[11] Agarwal R P, Dos Santos J P C, Cuevas C. Analytic resolvent operator and existence results for fractional integro-differential equations. J Abstr Differ Equ Appl, 2012, 2(2): 26-47
[12] Balachandran K, Kiruthika S, Trujillo J J. Existence results for fractional impulsive integrodifferential equations in Banach spaces. Commun Nonlinear Sci Numer Simul, 2011, 16(4): 1970-1977
[13] De Andrade B, Dos Santos J P C. Existence of solutions for a fractional neutral integro-differential equation with unbounded delay. Electr J Differ Equ, 2012, 90: 1-13
[14] Zhou Y, Jiao F. Existence of mild solutions for fractional neutral evolution equations. Comput Math Appl, 2010, 59: 1063-1077
[15] Cui J, Yan L T. Existence result for fractional neutral stochastic integro-differential equations with infinite delay. J Phys A: Math Theor, 2011, 44: 1-16
[16] Sakthivel R, Revathi P, Mahmudov N I. Asymptotic stability of fractional stochastic neutral differential equations with infinite delays. Abstr Appl Anal, 2013, Article ID 769257, 9 pages
[17] Da Prato G, Zabczyk J. Stochastic Equations in Infinite Dimensions. Cambridge: Cambridge University Press, 1992
[18] Dos Santos J P C, Cuevas C, De Andrade B. Existence results for a fractional equation with state-dependent delay. Adv Differ Equ, 2011, Article ID 642013, 15 pages
[19] Pazy A. Semigroup of Linear Operators and Applications to Partial Differential Equations. New York: Springer Verlag, 1992
[20] Yan Z M, Zhang H W. Existence of solutions to impulsive fractional partial neutral integro-differential inclusions equation with state-dependent delay. Electr J Differ Equa, 2013, 81: 1-21
[21] Sadovskii B N. On a fixed point principle. Funct Anal Appl, 1967, 1: 151-153
[22] Marle C M. Measures et Probabilités. Hermann, Paris, France: Ensei des Sci, 1974
[23] Hernández E, Rierri M, Goncalves G. Existence results for an impulsive abstract partial differential equation with state-dependent delay. Comput Math Appl, 2006, 52: 411-420
分数阶脉冲中立型随机微积分方程的适定性
Diem Dang Huan, 高洪俊