楊丹丹
(淮陰師范學院數(shù)學與統(tǒng)計學院,江蘇 淮安 223300)
2018年,文獻[1]研究了如下帶有反周期邊值條件的分數(shù)階Langevin微分方程:
(1)
(2)
利用偏序度量空間中的混合單調映射的不動點定理,作者給出了解的存在和唯一性結果.
受文獻[1]的啟發(fā),本文研究如下帶有反周期邊值條件的Langevin分數(shù)階微分包含:
(3)
其中,Dα是α-階Caputo分數(shù)階導數(shù),F(xiàn):[0,1]×X→P(X)是一個多值映射,λ是一個實數(shù).D2α是持續(xù)分數(shù)階導數(shù)在文獻[2]里的定義.
分數(shù)階微分方程和微分包含,比整數(shù)階微分方程和微分包含更能確切地描述現(xiàn)實世界中模型的狀態(tài),尤其是其更具有良好的記憶性和遺傳性,近年來備受研究者關注[3-6].近期,關于Langevin分數(shù)階微分方程和微分包含的研究結果,見文獻[7-11].本文目的是將文獻[1]中的單值結果,推廣到多值情形.據(jù)筆者所知,問題(3)尚未被研究過.
假設讀者熟知分數(shù)階微積分[4,12]和多值映射理論[13-14].
定義1[12]函數(shù)u:(0,∞)→R,α-分數(shù)階Caputo導數(shù)定義為
n=[α]+1,假設等式右側在(0,∞)上逐點有定義.
對于賦范空間(X,‖·‖),引進如下記號:
Ρcp(X)={Y∈Ρ(X):Y是緊的},
Ρcp,c(X)={Y∈Ρ(X):Y是緊凸的}.
定義2對于每個y∈C([0,T],R)y∈C([0,1],R),定義F的選擇集合為SF,y∶={v∈L1([0,T],·):v(t)∈F(t,y(t))a.e.t∈[0,T]}.
定義3令(X,d)是由賦范空間(X,‖·‖)引進的度量空間.考慮Hd:Ρ(X)×Ρ(X)→R∪{∞}定義如下:
引理1[1]x(t)是問題(1)的一個解,當且僅當它是非線性混合Fredholm-Volterra積分方程的一個解:
引理2[13]令(X,d)是完備的度量空間.若N:→Pcl(X)是一個壓縮映射,則FixN≠Φ.
(ii)存在u∈?U,λ∈(0,1),使得u∈λF(u).
引理4[3]令X是一個Banach空間 ,F(xiàn):[0,1]×X→P(X)是L1-Carathedory集值映射,SF是非空的,令Θ:L1([0,1],X)→C([0,1],X)是一個線性連續(xù)映射,則集值映射
Θ°SF(x):C([0,1]×X)→Pcp,c(C[0,1],X)
是一個閉圖算子.
首先,列出兩個假設條件:
(H1)F:[0,1]×R→P(R),對于每個x∈R,F(xiàn)(?,x)可測.
(H2) 存在一個函數(shù)l∈L1([0,1],R+),對于幾乎處處的t∈[0,1],有
dH(F(t,x),F(xiàn)(t,y))≤l(t)|x-y|,?x,y∈R,
其中,dH(0,F(xiàn)(t,0))≤l(t),對于幾乎處處的t∈[0,1]成立.
定理1假設(H1)-(H2)成立,若存在一個正數(shù)M>0,使得
(4)
則問題(3)在[0,1]上至少存在一個解.
證明定義算子T:C([0,1],R)→P(C[0,1],R)如下:
(5)
下面證明,算子T滿足引理2的所有條件.將證明分為2個步驟.
步驟1算子T是閉的.令un∈T(x),使得un→u(n→∞).那么u∈(C[0,1],R),存在vn∈SF,x,對于每個t∈[0,1],
由于F具有緊值,假設一個子列vn→v∈L1([0,1],R).因此,有v∈SF,x,對于每個t∈[0,1],可得
un(t)→u=
因此,u∈T(x).這就證明了算子T是閉的.
步驟2T是一個壓縮映射.事實上,令x,y∈C([0,1],R),h1∈T(x).存在v1∈F(t,x(t)),使得
由(H2),有
dH(F(t,x),F(xiàn)(t,y))≤l(t)|x-y|,?x,y∈R.
因此,存在w∈F(t,y),使得
|v1(t)-w(t)|≤l(t)|x(t)-y(t)|,t∈[0,1].
定義U:[0,1]→P(R)如下:
U(t)={w∈R:|v1(t)-w(t)|≤
l(t)|x(t)-y(t)|}.
由于多值算子U(t)∩F(t,y(t))是可測的,存在一個函數(shù)v2(t),它是U的可測選擇.因此,v2∈F(t,y(t)),對于每個t∈[0,1],有
|v1(t)-v2(t)|≤l(t)|x(t)-y(t)|,
定義
(6)
同理,調換x與y得到
Hd(F(t,y),F(xiàn)(t,x))≤
(7)
綜上,證明了算子T是壓縮映射,由引理2,至少存在一個不動點,即是問題(3)的一個解.
(H3)F:[0,1]×R→P(R)是Carathedory,并且具有非空緊凸值;
(H4)存在一個連續(xù)非減函數(shù)ψ:[0,∞)→[0,∞),和一個正的連續(xù)函數(shù)p,使得
‖F(xiàn)(t,x)‖∶=sup{|v|:v∈F(t,x)}≤
p(t)ψ(‖x‖),(t,x)∈[0,1]×R.
定理2假設(H3)-(H4)成立,若存在一個正數(shù)M>0,使得
(8)
則問題(3) 在[0,1]至少存在一個解.
證明此定理的證明基于引理3,即要證明由(2)式定義的算子T滿足引理3的所有條件.將定理證明分為四個步驟.
步驟1算子T是將有界集映射為有界集.對正常數(shù)r>0,令Br={x∈C([0,1],R):‖x‖≤r}是C([0,1],R)中的有界球,則對于h∈T(x),x∈Br,存在v∈SF,x,使得
類似于(4)式的討論,有
即
步驟2T映射有界集到等度連續(xù)集合.t1,t2∈[0,1],t1 |h(t2)-h(t1)|≤ 不等式右端當t1→t2時趨于0.由Ascoli-Arzela定理,T是全連續(xù)算子. 步驟3算子T存在閉圖.令xn→x*,hn→T(xn),hn→h.只需證明h*∈T(x*).對于hn∈T(xn),存在vn∈SF,xn,使得下式成立. 要證存在v*∈SF,y,對于t∈[0,1],有 定義一個線性算子Θ:L1([0,1],R)→C([0,1],R)如下: f 注意到 由引理4,Θ°SF,x存在閉圖算子.這就證明了存在某個v*∈SF,x*. 步驟4算子T是凸的.由SF,x的凸性,容易得到結論. 步驟5將證明存在開集U?C([0,1],R),對于任意ζ∈(0,1),x∈?U,x?T(x). 令ζ∈(0,1),x∈ζT(x),類似于步驟一的討論,有 由(5)式,存在M使得‖x‖≠M,令 U={x∈C([0,1],R):‖x‖ 考慮如下反周期邊值條件的分數(shù)階Langevin微分包含: (9) x→F(t,x)∶= ‖F(xiàn)(t,x)‖∶= sup{|v|:v∈F(t,x)}≤5∶=p(t)ψ(|x|),x∈R, 其中,p(t)=1,ψ(|x|)=5,顯然,(H3)-(H4)都滿足,令f∈F,則有 存在正實數(shù)M,使得3 例子