帶有Stieltjes積分邊界條件和ψ-Caputo導(dǎo)數(shù)的分?jǐn)?shù)階邊值問(wèn)題解的存在性

王 寧,周宗福

(安徽大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,合肥 230601)

0 引 言

分?jǐn)?shù)階微積分是整數(shù)階微積分的推廣,由于分?jǐn)?shù)階導(dǎo)數(shù)具有良好的記憶性質(zhì)和遺傳特性,使得其在物理和工程等領(lǐng)域應(yīng)用廣泛[1-3],關(guān)于分?jǐn)?shù)階微分方程的研究目前已取得了豐富成果[4-9].分?jǐn)?shù)階導(dǎo)數(shù)的定義形式繁多,為克服該問(wèn)題,Almeida[10]將Caputo分?jǐn)?shù)階導(dǎo)數(shù)與帶有核的Riemann-Liouville分?jǐn)?shù)階導(dǎo)數(shù)相結(jié)合,并引入ψ-Caputo分?jǐn)?shù)階導(dǎo)數(shù),研究了它的一些性質(zhì),從而將多種形式的Caputo分?jǐn)?shù)階導(dǎo)數(shù)統(tǒng)一起來(lái),促進(jìn)了具有一般導(dǎo)數(shù)形式的分?jǐn)?shù)階微積分的發(fā)展.

文獻(xiàn)[11]研究了下列邊值問(wèn)題:

(1)

(2)

受上述研究工作的啟發(fā),本文考慮如下分?jǐn)?shù)階微分方程邊值問(wèn)題:

(3)

1 預(yù)備知識(shí)

定義1[13]令α>0,u為[a,b]上的可積函數(shù),u(t)的α階ψ-Riemann-Liouville分?jǐn)?shù)階積分定義為

定義2[13]令α>0,u: [a,b]→為可積函數(shù),u(t)的α階ψ-Riemann-Liouville分?jǐn)?shù)階導(dǎo)數(shù)定義為

定義3[13]令α>0,若u∈Cn-1[a,b],則u(t)的α階ψ-Caputo分?jǐn)?shù)階導(dǎo)數(shù)定義為

定義4[10]若u∈Cn[a,b]且α∈,則

若α=n∈,則

引理1[13]令α>0,u: [a,b]→,則下列結(jié)論成立:

引理2[10]令α,β>0,u: [a,b]→為可積函數(shù),則:

引理3(Schaefer不動(dòng)點(diǎn)定理)[14]設(shè)X為Banach空間,T:X→X是一個(gè)連續(xù)的緊映射,{u∈X|u=λT(u),0<λ<1}有界,則T至少存在一個(gè)不動(dòng)點(diǎn).

引理4令n-1<α

(4)

的解為

其中

證明: 由引理1知,

(6)

因此,

(7)

將式(6)代入式(7)可得

將求出的C0,C1,…,Cn-1代入(6),即知式(5)成立.證畢.

2 主要結(jié)果

定義算子T:C[a,b]→C[a,b],

由引理4知,T的不動(dòng)點(diǎn)即為邊值問(wèn)題(3)的解.

為方便,引入以下記號(hào):

假設(shè)條件:

(H1) 存在常數(shù)ξ>0,使得|f(t,x)-f(t,y)|≤ξ|x-y|,t∈[a,b],x,y∈;

(H2)ξΛ1(ψ(b)-ψ(a))α<1.

定理1假設(shè)條件(H1),(H2)成立,則邊值問(wèn)題(3)在[a,b]上存在唯一解.

先證T:Br0→Br0.?u∈Br0及?t∈[a,b],有

因此,‖Tu‖≤ξΛ1(ψ(b)-ψ(a))αr0+Λ2≤r0,即TBr0?Br0,從而T:Br0→Br0.

下證邊值問(wèn)題(3)在[a,b]上存在唯一解.令u1,u2∈Br0,t∈[a,b],則

于是

‖Tu1-Tu2‖≤ξΛ1(ψ(b)-ψ(a))α‖u1-u2‖.

再由假設(shè)條件(H2)知,T為壓縮映射.

因此,根據(jù)Banach壓縮映像原理可知,T在Br0中存在唯一的不動(dòng)點(diǎn),即邊值問(wèn)題(3)存在唯一解.證畢.

下面給出邊值問(wèn)題……