本文主要讨论如下带无限时滞的分数阶脉冲中立型随机微积分方程温和解的适定性 {Dαt[x(t)+f(t,xt)]=Ax(t)+∫t0K(t−s)x(s)ds+g(t,xt)+h(t,xt)dW(t)dt, tk≠t∈J,[2mm]Δx(tk)=x(t+k)−x(t−k)=Ik(xtk),t=tk,k={1,⋯,m}=:¯1,m,x0=φ∈B,x′(0)=0,J:=[0,T],T>0,(1.1)
近年来,关于预解算子的脉冲中立型偏微分方程或微积分方程的适定性研究 已成为科学家广泛关注的热门领域. 这些方程可应用于物理、化学、 生物学、医学、经济学、社会科学等领域,参考文献[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),t≥0}. 在 Banach 空间中, α -预解算子一般不满足半群的性质,我们使用由 Agarwal 等人[11] 和 De Andrade 和 Dos Santos[13] 建立的更一般的理论得到本文章的一些结论.
本文的结构如下. 第 2 节我们回忆了一下关于 Weiner 过程、 确定微积分方程和 相空间 B 的一些概念及基本的理论. 第 3 节和第 4 节给出本文的结论及证明. 第 5 节给出一个应用的例子. 最后一节总结了全文.
在本节中,我们简要地给出一些预备知识, 详细描述可以参考文献[5, 11, 13, 17].
假设 (H,‖⋅‖H,⟨⋅,⋅⟩) 和 (K,‖⋅‖K,⟨⋅,⋅⟩) 是两个可分Hilbert空间, L(K;H)={ 有界线性算子从 K 到 H 赋以范数‖⋅‖}.
接下来,我们介绍分数阶微积分方程以及 α -预解算子.
假设 X,Z 是两个Banach空间,A 和 K(t),t∈J 是线性闭算子, 其定义域 D=D(A) 在 X 中为稠密的. 记 [D(A)] 表示 A被赋以图范数的定义域.
根据定理 2.1[11],在 X上,我们已知道下列抽象分数阶微积分方程 Dαtx(t)=Ax(t)+∫t0K(t−s)x(s)ds,x(0)=x0∈X,x′(0)=0,(2.1)
有一个相关的 α -预解算子.
定义2.1 {Rα(t)}t∈J 为 X 上的有界线性算子称为方程 (2.1) 的 α -预解算子, 如果下列条件满足
(i) 函数 Rα(⋅):J→L(X) 是强连续以及 Rα(0)x=x ∀x∈X,α∈(1,2);
(ii) x∈D(A),Rα(⋅)∈C(J;[D(A)])∩C1(J;X) 和 DαtRα(t)x=ARα(t)x+∫t0K(t−s)Rα(s)xds,
定义2.2 函数 x:J→X 称为方程(2.2) 的古典解如果 x∈C(J;[D(A)])∩C(J;X),gn−α∗x=∫t0gn−α(t−s)xds∈C1(J;X),t∈J,n=1,2, 以及 x 满足方程(2.2).
定义2.3 设 α∈(1,2),那么我们定义 {Sα}t∈J 为 Sα(t)x:=∫t0gα−1(t−s)Rα(s)ds,∀t∈J.
定理2.4 (Agarwal\footnotesize [11,定理 3.2]) 设 x∈D(A). 假设κ∈C(J;X) 和 v(⋅) 是方程 (2.2) 的古典解. 那么 v(t)=Rα(t)x+∫t0Sα(t−s)κ(s)ds,∀t∈J.
定义2.5 设 κ∈L1(J;X). 函数 v∈C(J;X) 称为方程 (2.2) 的温和解 如果 v(t)=Rα(t)x+∫t0Sα(t−s)κ(s)ds,∀t∈J.
定理2.6 (Agarwal[11] 或 Dos Santos 等[18]) 设 x∈D(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)=(λα0−A)−1 是紧, 其中 λα0∈ρ(A),则 Rα(t) 以及 Sα(t) 是 紧 ∀t>0.
接下来我们考虑下列条件
(P1) 算子 A:D(A)⊆X→X 是一闭线性算子, 其域 [D(A)] 在 X 中为稠密的. 设α∈(1,2),对于一些 ϕ0∈(0,π2],ϕ<ϕ0,存在正常数 C0=C0(ϕ) 使得 λ∈ρ(A), ∀λ∈Σ0,αβ={λ∈C:λ≠0,|arg(λ)|<αβ}, 其中 β=ϕ+π2 以及 ‖R(λ,A)‖≤C0|λ| ∀λ∈Σ0,αβ.
(P2) ∀t∈J,K(t):D(K(t))⊆X→X 是一闭线性算子,D(A)⊆D(K(t)) 和 K(⋅)x 是强可测在 (0,∞) 上 ∀x∈D(A). ∃k(⋅)∈L1loc(R+) 使得 ˆk(λ) 存在对于 Re(λ)>0和‖K(t)x‖≤k(t)‖x‖1 ∀t>0 以及 x∈D(A). 此外,价值函数算子ˆK:Σ0,π2→L([D(A)],X) 有解析推广(仍记为 ˆK)到 Σ0,β 使得 ‖ˆK(λ)x‖≤‖ˆK(λ)‖‖x‖1 ∀x∈D(A) 和 ‖ˆK(λ)‖=O(1|λ|), 当 |λ|→∞.
(P3) 存在一个子空间 D⊆D(A)在[D(A)] 中为稠密的以及正常数 Ci,i=1,2, 使得 A(D)⊆D(A),ˆB(λ)(D)⊆D(A), ‖AˆK(λ)x‖≤C1‖x‖,∀x∈D 以及 ∀λ∈Σ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−αβ;
注 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),t∈J 的全体所构成的集合.
(i) 对于k=¯1,m,x 在t≠tk 处是连续的,x(t−k)=x(tk) 和 x(t+k) 存在:
(ii) ∀x∈M2, ‖x‖M2:=(supt∈JE‖x(t)‖2)12.
下文中,以 L2(Ω,H)表示强可测, H -值的平方可积随机变量的全体所构成的集合. 在范数 ‖x‖L2=(E‖x‖2)12下, L2(Ω,H) 是一 Banach 空间.
为简单起见,记 t0=0,tm+1=T. 对于 v∈M2, 记 ˜vk∈C([tk,tk+1],L2(Ω,H)), k=0,1,⋯,m, ˜vk(t)={v(t),t∈(tk,tk+1];v(t+k),t=tk.
此外,对于 B⊆M2,记 ˜Bk={˜vk:v∈B}, 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] 到 H 的 F0 -可测函数 构成的相空间 B((−∞,0],H) (简记 B) 赋以半范数 ‖⋅‖B 满足如下的公理
(A1) 设 x:(−∞,T]→H,T>0,满足 x0∈B, 则对于 t∈[0,T],下列结论成立
(i) xt∈B;
(ii)~ ‖x(t)‖H≤L‖xt‖B;
(iii)~ ‖xt‖B≤M(t)sup0≤s≤t‖x(s)‖H+N(t)‖x0‖B, 其中 L>0 为常数; M,N:[0,+∞)→[1,+∞),M(⋅) 是连续的, N(⋅) 使局部有界的,并且 M,N 与 x(⋅) 是独立的.
(A2) B 是完备的.
注 2.13 定义 2.12中 性质 (iii) 可以换成 [20,引理 2.8] ‖xt‖B≤MTsups∈JE‖x(s)‖H+˜MTE‖φ‖B,
现在,根据定义 2.5,我们给出 系统(1.1) 温和解的定义.
定义 2.14 随机过程 x:(−∞,T]→H, 0<T<+∞ 称为系统 (1.1) 的一个温和解如果 x0=φ∈B, 对于s∈[0,T) 函数ASα(t−s)f(s,xs)以及 ∫s0K(s−ξ)Sα(t−s)f(ξ,xξ)dξ 为可积使得下列条件满足:
(i) x(t) 为 Ft -可适应以及 {xt:t∈J}为 B -值的并且 x(⋅)|(tk,tk+1],k=¯1,m 为连续的;
(ii) 对于任意的 t∈J,x(t) 满足如下积分方程 x(t)=Rα(t)[φ(0)+f(0,φ)]−f(t,xt)−∫t0ASα(t−s)f(s,xs)ds−∫t0∫s0K(s−ξ)Sα(t−s)f(ξ,xξ)dξds+∫t0Sα(t−s)g(s,xs)ds+∫t0Sα(t−s)h(s,xs)dW(s)+∑0<tk<tSα(t−tk)Ik(xtk);(2.3)
(iii) Δx|t=tk=Ik(xtk),k=¯1,m.
下面给出本文中将要用到的假设条件.
(H1) 下列条件满足
(i) 对于 x∈[D((−A)β)],K(⋅)x∈C(J,H);
(ii) 存在函数 μ(⋅)∈L1(J,R+) 以及 0≤s<t≤T 使得 ‖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)‖2≤Lf(|t1−t2|2+‖ν1−ν2‖2B).
(H3) 函数 g:J×B→H 满足如下性质
(i) 对任意的 ν∈B,函数 g(⋅,ν):J→H 为强连续的;
(ii) 对任意的 t∈J,函数g(t,⋅):B→H 为连续的;
(iii) 对任意的 (t,ν)∈J×B,存在可积函数 ηg:J→[0,∞) 以及一个非降连续函数 Ψg:[0,∞)→(0,∞) 使得 E‖g(t,ν)‖2≤ηg(t)Ψg(‖ν‖2B).
(H4) ∀s,t∈J,t≥s,r>0,在 H 上, 集 {g(s,ν):s∈[0,t],‖ν‖2B≤r} 为有界的.
(H5) 函数 h:J×B→L02 满足如下条件
(i) 对任意的 ν∈B,函数 h(⋅,ν):J→L02 为强连续的;
(ii) 对几乎所有的 t∈J,函数 h(t,⋅):B→L02 为连续的;
(iii) 对任意的 (t,νi)∈J×B,i=1,2, 存在一个正常数 Mh 使得 E‖h(t,ν1)−h(t2,ν2)‖2L02≤Mh‖ν1−ν2‖2B.
(H6) 函数 h:J×B→L02 满足如下条件
(iii) 存在可积函数 ζh:J→[0,∞) 和一个非降连续函数 Ψh:[0,∞)→(0,∞) 使得对任意的 (t,ν)∈J×B 有 E‖h(t,ν)‖2L02≤ζh(t)Ψh(‖ν‖2B).
(H7) 函数列 Ik∈C(B,H) 并且存在正常数列 Qk, k=¯1,m 使得 E‖Ik(x)−Ik(y)‖2≤Qk‖x−y‖2B,x,y∈B,k=¯1,m.
(H8) 函数列 Ik:B→H 为全连续的并且存在非降连续函数列 Ωk:[0,∞)→(0,∞), k=¯1,m 使得 E‖Ik(x)‖2≤Ωk(‖x‖2B),x∈B,k=¯1,m.
注 2.15 对任意的 t∈J,我们可以假设存在 M>0 使得 ‖Rα(t)‖≤M 以及 ‖Sα(t)‖≤M.
在这部分的结尾,我们给出 Sadovskii 不动点定理.
引理 2.16 (Sadovskii[21]) 设 Θ 为Banach空间 H 中的一凝聚算子, 即 Θ 是连续的,将 H 中的有界集映射到有界集,并且对于 H 中满足 μ(A)>0 的任意有界集 A 有 μ(Θ(A))≤μ(A). 设 B 为 H 中的闭凸有界子集满足 Θ(B)⊂B,则 Θ 在 H 中有不动点 (其中 μ(⋅) 表示 Kuratowski 非紧测度).
本文的第一个主要结论是如下定理.
定理 3.1 设假设(H1)-(H5),(H7) 成立. 如果 1>16M2T[2Lf(‖(−A)−β‖2+2M2T2αβ2αβ−1[1+T∫T0μ2(ξ)dξ])+M2(TMg+MhTr(Q)+2mm∑k=1Qk)],(3.1)
证 给空间Υ={u∈M2:u(0)=φ(0)} 赋以一致收敛拓扑以及定义算子 Π:Υ→Υ (Πx)(t)=Rα(t)[φ(0)+f(0,φ)]−f(t,¯xt)−∫t0ASα(t−s)f(s,¯xs)ds−∫t0∫s0K(s−ξ)Sα(t−s)f(ξ,¯xξ)dξds+∫t0Sα(t−s)g(s,¯xs)ds+∫t0Sα(t−s)h(s,¯xs)dW(s)+∑0<tk<tSα(t−tk)Ik(¯xtk),t∈J,
对于 r>0,令 Br(¯φ|J,Υ):={y∈Υ:E‖y‖2≤r},
由引理 2.8,注 2.13,假设 (H2) 以及 H\"{o}lder 不等式,我们有 E‖∫t0ASα(t−s)f(s,¯xs)ds‖2≤E[∫t0‖(−A)1−βSα(t−s)‖‖(−A)βf(s,¯xs)‖ds]2≤2M2∫t0(t−s)2(αβ−1)ds(∫t0E‖(−A)βf(s,¯xs)−(−A)βf(0,φ)‖2ds+‖(−A)βf(0,φ)‖2T)≤2M2T2αβ−12αβ−1(Lf∫t0(s2+‖¯xs−φ‖2B)ds+‖(−A)βf(0,φ)‖2T)≤2M2T2αβ2αβ−1(Lf(T2+4M2Tr+4˜M2TE‖φ‖2B+2‖φ‖2B)+‖(−A)βf(0,φ)‖2),
引理 3.2 在定理 3.1 的假设下,则存在 r>0 使得 Π(Br(¯φ|J,Υ))⊆Br(¯φ|J,Υ).
证 若不然,则对任意的正常数 r>0 以及 tr∈J,存在函数 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)‖2≤8E‖Rα(tr)φ(0)−φ(0)‖2+8E‖Rα(tr)f(0,φ)−f(0,φ)‖2+8‖(−A)−β‖2E‖(−A)βf(tr,¯xrtr)−(−A)βf(0,φ)‖2+16M2∫tr0(tr−s)2αβ−2ds×(∫tr0E‖(−A)βf(sr,¯xrsr)−(−A)βf(0,φ)‖2ds+‖(−A)βf(0,φ)‖2T)+16M2T∫tr0[∫s0μ2(s−ξ)(tr−s)2αβ−2dξ×(∫s0E‖(−A)βf(ξr,¯xrξr)−(−A)βf(0,φ)‖2dξ+‖(−A)βf(0,φ)‖2T)]ds+8M2T∫tr0E‖g(sr,¯xrsr)‖2ds+8M2Tr(Q)∫tr0E‖h(sr,¯xrsr)‖2L02ds+16M2∑0<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)+16M2mm∑k=1Qk(2M2Tr+2˜M2TE‖φ‖2B+‖Ik(0)‖2).(3.2)
下文中,令 r>0 使得 Π(Br(¯φ|J,Υ))⊆Br(¯φ|J,Υ). 以 r⋆ 和 r⋆⋆ 分别表示常数 r⋆:=2M2Tr+2˜M2TE‖φ‖2B;r⋆⋆:=M2TΨg(r⋆)∫T0ηg(s)ds.
引理 3.3 在定理 3.1 的假设下,则 Π1 是一个压缩映射.
证 设 u,v∈Br(¯φ|J,Υ), 则由引理 2.8,注 2.13, 假设 (H1),(H2),(H5),(H7),Hølder 不等式,Burkholder-Davis-Gundy 不等式以及对任意的 t∈J,有 E‖(Π1u)(t)−(Π1v)(t)‖2≤5‖(−A)−β‖2E‖(−A)βf(t,¯ut)−(−A)βf(t,¯vt)‖2+5E[∫t0‖(−A)1−βSα(t−s)‖‖(−A)βf(s,¯us)−(−A)βf(s,¯vs)‖ds]2+5E‖∫t0∫s0K(s−ξ)Sα(t−s)[f(ξ,¯uξ)−f(ξ,¯vξ)]dξds‖2+5E‖∫t0Sα(t−s)[h(s,¯us)−h(s,¯vs)]dW(s)‖2+5E‖∑0<tk<tSα(t−tk)[Ik(¯utk)−Ik(¯vtk)]‖2≤10M2TLf‖(−A)−β‖2sups∈JE‖¯u(s)−¯v(s)‖2+10M2M2TLfT2αβ2αβ−1sups∈JE‖¯u(s)−¯v(s)‖2+10M2M2TLfT2αβ+12αβ−1∫T0μ2(ξ)dξsups∈JE‖¯u(s)−¯v(s)‖2+10M2MhM2TTr(Q)sups∈JE‖¯u(s)−¯v(s)‖2+10M2M2Tmm∑k=1Qksups∈JE‖¯u(s)−¯v(s)‖2.
引理 3.4 在定理 3.1 的假设下,则 在 Br(¯φ|J,Υ) 中,Π2 是紧的.
证 证明将分为以下 3 步.
第 1 步 Π2 将 Br(¯φ|J,Υ) 中的有界集映射到其上的有界集.
对任意的 t∈J,z∈Br(¯φ|J,Υ),由注 2.13 有 ‖¯zt‖2B≤r⋆ 以及 E‖(Π2z)(t)‖2≤M2TΨg(r⋆)∫T0ηg(s)ds=r⋆⋆,
第 2 步 {Π2z,z∈Br(¯φ|J,Υ)} 在 J 中为等度连续的.
设 0<ϵ<t<T 和 0<δ<ϵ 使得 ‖Sα(s1)−Sα(s2)‖2≤ϵ, 对于任意的 s1,s2∈[ϵ,T]: |s1−s2|≤δ. 那么,对于 z∈Br(¯φ|J,Υ) 和 0<l≤δ,t+l∈J,我们有 E‖(Π2z)(t+l)−(Π2z)(t)‖2≤3TΨg(r⋆)∫t−ϵ0‖Sα(t+l−s)−Sα(t−s)‖2ηg(s)ds+6M2TΨg(r⋆)∫tt−ϵηg(s)ds+3M2TΨg(r⋆)∫t+ltηg(s)ds≤3r⋆⋆ϵM2+3M2TΨg(r⋆)(2∫tt−ϵηg(s)ds+∫t+ltηg(s)ds).(3.3)
第 3 步 Π2 将 Br(¯φ|J,Υ) 映射到 Br(¯φ|J,Υ) 中的一个准紧集.
设 z∈Br(¯φ|J,Υ) 以及 ϵ 为一个正实数使得 0<ϵ<t≤T 我们可知 (Π2z)(t):=∫t−ϵ0Sα(t−s)g(s,¯xs)ds+∫tt−ϵSα(t−s)g(s,¯xs)ds∈(t−ϵ)¯co(W)+Uϵ,
最后,由假设在 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+T∫T0μ2(ξ)dξ])+M2(Tlimε→∞infΨg(ε)ε∫T0ηg(s)ds+Tr(Q)limε→∞infΨh(ε)ε∫T0ζh(s)ds+2mm∑k=1Qk)],(3.4)
证 给空间 Υ={u∈M2:u(0)=φ(0)} 赋以一致收敛拓扑以及定义算子 Π:Υ→Υ (Πx)(t)=Rα(t)[φ(0)+f(0,φ)]−f(t,¯xt)−∫t0ASα(t−s)f(s,¯xs)ds−∫t0∫s0K(s−ξ)Sα(t−s)f(ξ,¯xξ)dξds+∫t0Sα(t−s)g(s,¯xs)ds+∫t0Sα(t−s)h(s,¯xs)dW(s)+∑0<tk<tSα(t−tk)Ik(¯xtk), t∈J,
如定理 3.1 同样证明,我们可以推断在 Br(¯φ|J,Υ) 中,Π 为定义好的.
引理 3.6 在定理 3.5 的假设下,则存在 r>0 使得 Π(Br(¯φ|J,Υ))⊆Br(¯φ|J,Υ).
证 若不然,则对任意的正常数 r>0 以及 tr∈J,存在函数 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)‖2≤8E‖Rα(tr)φ(0)−φ(0)‖2+8E‖Rα(tr)f(0,φ)−f(0,φ)‖2+8‖(−A)−β‖2E‖(−A)βf(tr,¯xrtr)−(−A)βf(0,φ)‖2+16M2∫tr0(tr−s)2αβ−2ds×(∫tr0E‖(−A)βf(sr,¯xrsr)−(−A)βf(0,φ)‖2ds+‖(−A)βf(0,φ)‖2T)+16M2T∫tr0[∫s0μ2(s−ξ)(tr−s)2αβ−2dξ×(∫s0E‖(−A)βf(ξr,¯xrξr)−(−A)βf(0,φ)‖2dξ+‖(−A)βf(0,φ)‖2T)]ds+8M2T∫tr0E‖g(sr,¯xrsr)‖2ds+8M2Tr(Q)∫tr0E‖h(sr,¯xrsr)‖2L02ds+16M2∑0<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ξ+8M2T∫T0ηg(s)Ψg(2M2Tr+2˜M2TE‖φ‖2B)ds+8M2Tr(Q)×∫T0ζh(s)Ψh(2M2Tr+2˜M2TE‖φ‖2B)ds+16M2mm∑k=1Qk(2M2Tr+2˜M2TE‖φ‖2B+‖Ik(0)‖2).(3.5)
文中,令 r>0 使得 Π(Br(¯φ|J,Υ))⊆Br(¯φ|J,Υ). 以 r⋆ 和 r⋆⋆ 分别表示常数 r⋆:=2M2Tr+2˜M2TE‖φ‖2B;
引理 3.7 在定理 3.5 的假设下,则 Π1 是一个压缩映射.
证 设 u,v∈Br(¯φ|J,Υ),则由引理 2.8,注 2.13, 假设 ({H1}),({H2}),({H7}),H\"{o}lder 不等式,Burkholder-Davis-Gundy 不等式以及对任意的 t∈J,有 E‖(Π1u)(t)−(Π1v)(t)‖2≤4‖(−A)−β‖2E‖(−A)βf(t,¯ut)−(−A)βf(t,¯vt)‖2+4E[∫t0‖(−A)1−βSα(t−s)‖‖(−A)βf(s,¯us)−(−A)βf(s,¯vs)‖ds]2+4E‖∫t0∫s0K(s−ξ)Sα(t−s)[f(ξ,¯uξ)−f(ξ,¯vξ)]dξds‖2+4E‖∑0<tk<tSα(t−tk)[Ik(¯utk)−Ik(¯vtk)]‖2≤8M2T[Lf(‖(−A)−β‖2+M2T2αβ2αβ−1[1+T∫T0μ2(ξ)dξ])+M2mm∑k=1Qk]sups∈JE‖¯u(s)−¯v(s)‖2.
引理 3.8 在定理 3.5 的假设下,则 在 Br(¯φ|J,Υ) 中, Π2 是紧的.
第 1 步 Π2 将 Br(¯φ|J,Υ) 中的有界集映射到其上的有界集. 对任意的 t∈J,z∈Br(¯φ|J,Υ),由注 2.13 有 ‖¯zt‖2B≤r⋆ 以及 E‖(Π2z)(t)‖2≤2M2TΨg(r⋆)∫T0ηg(s)ds+2M2Tr(Q)Ψh(r⋆)∫T0ζh(s)ds=r⋆⋆,
第 2 步 {Π2z,z∈Br(¯φ|J,Υ)} 在 J 中为等度连续的. 设 0<ϵ<t<T 和 0<δ<ϵ 使得 ‖Sα(s1)−Sα(s2)‖2≤ϵ, 对于任意的 s1,s2∈[ϵ,T]: |s1−s2|≤δ. 那么,对于 z∈Br(¯φ|J,Υ) 和 0<l≤δ,t+l∈J,我们有 E‖(Π2z)(t+l)−(Π2z)(t)‖2≤4TΨg(r⋆)∫t0‖Sα(t+l−s)−Sα(t−s)‖2ηg(s)ds+4Tr(Q)Ψh(r⋆)∫t0‖Sα(t+l−s)−Sα(t−s)‖2ζh(s)ds+4M2TΨg(r⋆)∫t+ltηg(s)ds+4M2Tr(Q)Ψh(r⋆)∫t+ltζh(s)ds≤4TΨ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)
对于固定的 t∈(0,T] 以及 ϵ∈(0,t),在 Br(¯φ|J,Υ) 中,我们定义 算子 Πϵ2 (Πϵ2z)(t):=∫t−ϵ0Sα(t−s)g(s,¯zs)ds+∫t−ϵ0Sα(t−s)h(s,¯zs)dW(s).
由引理3.8和 引理 2.16 可知方程 (1.1) 存在一个温和解. 定理 3.5 证毕.
本文的第三个主要结论是如下定理.
定理 3.9 设假设 (H1)-({H3}),(H6),(H8) 成立. 如果 1>16M2T[2Lf(‖(−A)−β‖2+2M2T2αβ2αβ−1[1+T∫T0μ2(ξ)dξ])+M2(Tlimε→∞infΨg(ε)ε∫T0ηg(s)ds+Tr(Q)limε→∞infΨh(ε)ε∫T0ζh(s)ds+mm∑k=1limε→∞infΩk(ε)ε)],
证 我们定义算子 Π:Υ→Υ 如上,那么我们得到 Π(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α(t−s)f(s,¯xs)ds−∫t0∫s0K(s−ξ)Sα(t−s)f(ξ,¯xξ)dξds,
那么,我们可以易证算子 Π1 为压缩的而 Π2 为紧的. 另一方面,由引理 2.11,如文献[11,定理 3.2] 同样讨论,我们有 Π3 为紧的. 故由定理 2.16 可知系统 (1.1) 存在一温和解. 定理 3.9 证毕.
在本节中,我们考虑解对初始值的连续依赖性. 记 xφ(t) 表示 (1.1) 的温和解依赖于初始值 φ. 我们要如下假设
(H9) 函数g:J×B→H满足如下性质
(i) 对任意的ν∈B,函数g(⋅,ν):J→H为强连续的;
(ii) 对任意的t∈J,函数g(t,⋅):B→H为连续的;
(iii) 对任意的(t,νi)∈J×B,i=1,2, 存在正常数 Mg 使得 E‖g(t,ν1)−g(t2,ν2)‖2≤Mg‖ν1−ν2‖2B.
定理 4.1 设假设 ({H1}),({H3}),(H5),({H7}), (H9) 满足 1>Λ:=14M2T[Lf‖(−A)−β‖2+LfM2T2αβ2αβ−1(1+T∫T0μ2(ξ)dξ)+M2(TMg+Tr(Q)Mh+mm∑k=1Qk)].
证 设 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 不等式,我们有 E‖xφ1(s)−xφ2(s)‖2≤7E‖Rα(s)[φ1(0)−φ2(0)+[f(0,φ1)−f(0,φ2)]]‖2+7E‖f(s,xφ1s)−f(s,xφ2s)‖2+7E‖∫t0ASα(t−s)[f(s,xφ1s)−f(s,xφ2s)]ds‖2+7E‖∫t0∫s0K(s−ξ)Sα(t−s)[f(s,xφ1s)−f(s,xφ2s)]dξds‖2+7E‖∫t0Sα(t−s)[g(s,xφ1s)−g(s,xφ2s)]ds‖2+7E‖∫t0Sα(t−s)[h(s,xφ1s)−h(s,xφ2s)]dW(s)‖2+7E‖∑0<tk<tSα(t−tk)[Ik(xφ1tk)−Ik(xφ2tk)]‖2≤14M2[E‖φ1−φ2‖2B+Lf‖(−A)−β‖2‖φ1−φ2‖2B]+14M2T[Lf‖(−A)−β‖2+LfM2T2αβ2αβ−1(1+T∫T0μ2(ξ)dξ)+M2(TMg+Tr(Q)Mh+mm∑k=1Qk)]sups∈JE‖xφ1(s)−xφ2(s)‖2.
本节中,我们给出一个例子加以应用. 我们考虑下列分数阶脉冲中立型随机微积分方程 {∂α∂tα[u(t,ξ)+∫t−∞∫π0˜f(t−s,ζ,ξ)u(s,ζ)dζds]=∂2∂ξ2u(t,ξ)+∫t0(t−s)δe−λ(t−s)∂2∂ξ2u(s,ξ)ds+∫t−∞˜g(t−s)u(s,ξ)ds+∫t−∞˜h(t−s)u(s,ξ)dW(s),ξ∈[0,π],t≠tk, t∈J,[3mm]Δu(t,ξ)=∫tk−∞ηk(tk−s)u(s,ξ)ds,t=tk,k=¯1,m,u(t,0)=u(t,π)=0,t∈Ju(θ,ξ)=φ(θ,ξ),θ∈(−∞,0],ξ∈[0,π],(5.1)
我们要将系统 (5.1) 写成抽象形式 (1.1). 设 H=L2([0,π]) 赋以范数 ‖⋅‖ 以及定义算子 A:D(A)⊆H→H: Az=z″ 其定义域为 D(A)={z∈H:z″∈H,z(0)=z(π)=0}. 我们已知道 Δz=z″ 生成一个解析半群 {T(t)}t∈J 在 H 上. 故有 A 是扇形的 以及 (P1) 被满足.
算子 K(t):D(A)⊂H→H 被定义为 K(t)(z)=tδe−λtAz,z∈D(A). 那么,性质 (P2),(P3) 被满足其 k(t)=tδe−λt 和 D=C∞0([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), r≥0, p>1, 为 φ:[−∞,0)→H 使得 φ∣[−r,0]∈M2([−r,0];H), 以及 g‖φ‖p 在 (−∞,−r) 为 Lebesgue 可积的 Lebesgue 可测函数 φ(⋅) 的全体所构成的集合. 在 PCr×Lp(g;H)中,如下定义半范数 ‖φ‖B:=sup−r≤θ≤0‖φ(θ)‖+(∫−r−∞g(θ)‖φ(θ)‖pdθ)1p.
假设函数满足如下条件
(i) 函数 ηk:R→R, k=¯1,m 为连续的对任意的 k=¯1,m, Qk:=(∫0−∞(ηk(s))2g(s)ds)12<∞;
(ii) 函数 ˜g:R→R 为连续的以及 Lg:=(∫0−∞(˜g(s))2g(s)ds)12<∞;
(iii) 函数 ˜h:R→R 为连续的以及 Lh:=(∫0−∞(˜h(s))2g(s)ds)12<∞;
(iv) 函数 ˜f(s,ζ,ξ),∂˜f(s,ζ,ξ)∂ξ 为可测的,对任意的 (s,ζ), ˜f(s,ζ,π)=˜f(s,ζ,0)=0 以及 Lf:=max{(∫π0∫0−∞∫π01g(θ)∂i∂ξi˜f(s,ζ,ξ)dζdθdξ)12:i=0,1}<∞.
令 ϕ(θ)(x)=ϕ(θ,x)∈B,定义映射 f,g:J×B→H; h:J×B→L02(H,H) 以及 Ik:B→H 如下 f(ϕ)(ξ)=∫0−∞∫π0˜f(s,ζ,ξ)ϕ(s,ζ)dζds;g(ϕ)(ξ)=∫0−∞˜g(s)ϕ(s,ξ)ds,h(ϕ)(ξ);
本文研究了在实可分Hilbert空间中无限时滞的分数阶脉冲中立型随机微积分方程 温和解的适定性. 我们通过利用 Sadovskii 不动点定理结合 α -预解算子理论得到了解的适定性的充分条件. 我们也研究了解对初值的连续依赖性. 此外,举例应用了所得到的结论. 本文推广和改进了 Cui 和 Yan[15]、De Andrade 和 Dos Santos[13]、Sakthivel 等[16]、Hu 和 Ren[7] 等的相应的结果.
致谢: 本文作者对两位审稿人提出的宝贵意见表示由衷的感谢!