一类偏泛函微分方程的解析解.docxVIP

一类偏泛函微分方程的解析解 在本研究中，我们讨论了开发系统中的偏泛函数方程。 {ddtx(t)=-A(t)x(t)+F(xt)?t≥0x0=φ∈B(1) 解的存在唯一性.其中:-A(t) 生成一个Banach空间X上的一个解析半群 (St(s) )s≥0;B是 (-∞, 0]→X的一个Banach空间, 且满足本文中的公理.对0α1, (A(t) )α表示A(t) 的分数幂.假设F定义在Bα上, 取之于X, 其中:Bα={φ∈B:φ(θ) ∈D( (A(t) )α) , 对θ≤0且 (A(t) )αφ∈B}; ( (A(t) )αφ) (θ) = (A(t) )α(φ(θ) ) ,θ≤0, |φ|Bα=| (A(t) )αφ|B,φ∈Bα 假设F关于 (A(t) )αLipschitz连续, 对t≥0,xt∈Bα, 且xt(θ) =x(t+θ) ,θ≤0,Xα表示Banach空间的 (D( (A(t) )α) , |.|α) . 1 banach空间 假设 (H1) :-A(t) 是一个满足‖St(s) ‖≤Meωs的解析半群 (St(s) )s≥0的无穷小生成元, 且0∈ρ(A(t) ) , 则{-A(t) }t∈[0,T]是具有稳定常数M和ω的稳定族. 假设 (H2) :对t∈[0,T],Y是{-A(t) }-容许的和-A(t) 在Y中的部分,-?A(t)的族{-?A(t)}t∈[0,Τ]在Y中是稳定的, 其稳定常数为 和 . 假设 (H3) :对t∈[0,T],D(-A(t) ) ?Y, -A(t) 是Y到X内的一个有界算子和,t→-A(t) 是依B(Y,X) 中的范数连续的. 对于分数幂 ( (A(t) )α,D( (A(t) )α) ) , 对0α1和它的逆 ( (A(t) )-α有如下结果: 定理1 设0α1, 且假设 (H1) 成立, 则 1)D( (A(t) )α) 是一个Banach空间, 赋有范数|x|α=| (A(t) )αx|,x∈D( (A(t) )α) . 2)St(s) :X→D( (A(t) )α) , 对t0. 3) (A(t) )αSt(s)x=St(s) (A(t) )αx,x∈D( (A(t) )α) , 且t≥0,s≥0. 4) 对t≥0, (A(t) )αU(t,s) 在X上有界, 且存在Mα0, 使得 |(A(t))αU(t,s)|≤Μαeω(t-s)(t-s)αs0 5) { (A(t) )-α}t∈[0,T]是X上的一个有界线性算子族, 且D( (A(t) )α) =Im( (A(t) )-α) . 6) 如果0αβ1 , 则D( (A(t) )β) 连续嵌入到D( (A(t) )α) 中. 7) 存在Nα0, 使得 | (St(s) -I) (A(t) )-α|≤Nαsα,s0. 定理2 当 0≤t≤T, 设-A(t) 是X上C0半群St(s) 的无穷小生成元, 如果算子{ (A(t) )-α}t∈[0,T]满足假设条件 (H1) ～ (H3) , 则在X中, 对于0≤s≤t≤T, 存在唯一的发展系统U(t,s) 满足: (E1) 当0≤s≤t≤T时, ‖U(t,s) ‖≤Meω(t-s)成立. (E2) 当ν∈Y, 0≤s≤t≤T时,?+?tU(t,s)ν|t=s=-A(s)ν成立. (E3) 当ν∈Y, 0≤s≤t≤T时,??sU(t,s)ν=U(t,s)A(s)ν成立. 假设B是由 (-∞, 0]→X的函数构成的赋范线性空间, 并且满足以下公理: 公理1 1) 存在一个正的常数N, 一个[0, +∞) 上的局部有界函数M(.) 和一个[0, +∞) 上的连续函数K(.) , 如果x: (-∞,a]→X在[σ,a]上连续, 且xσ∈B(σa) , 则对一切t∈[σ,a]有: ①xt∈B. ②t→xt在[σ,a]上关于|.|连续. ③Ν|x(t)|≤|xt|B≤Κ(t-σ)supσ≤s≤t|x(s)|+Μ(t-σ)|xσ|B. 2)B是一个Banach空间. 假设 (H4) :F:Bα→X是一个Lipschitz连续函数 (对于0α1) , 设k0, 使得 |F(φ1) -F(φ2) |≤k|φ1-φ2|Bα,φ1,φ2∈Bα. 定义1 如果 1)x(t) =U(t,s)φ(0) +∫t0U(t,r)F(xr) dr,s≥0, 2)x0=φ, 则函数x: (-∞, ∞) →Xα称为式 (1) 的一个mild解. 假设 (H5) : (A(t) )-αφ∈B,φ∈B, 其中 (A(t) )-α定义为 ( (A(t) )-αφ) (θ) = (A(t) )-α(φ(θ) ) 2 jy-jz-tt1et0的一个不动点 引理1 假设 (H1) 和 (H5) 成立, 则Bα是一个B