劉 暢，王文霞

(太原師范學(xué)院 數(shù)學(xué)系，山西 晉中 030619)

0 引言

分?jǐn)?shù)階微積分的概念是整數(shù)階微積分到任意階的推廣。相比于整數(shù)階導(dǎo)數(shù),分?jǐn)?shù)階導(dǎo)數(shù)可以更好地描述過程的記憶性和遺傳性。分?jǐn)?shù)階微分方程在自動(dòng)控制、航天技術(shù)、信號(hào)識(shí)別、生物數(shù)學(xué)、物理學(xué)、力學(xué)等領(lǐng)域廣泛應(yīng)用。

分?jǐn)?shù)階微分方程邊值問題近年來(lái)備受關(guān)注，見文獻(xiàn)[1～4]。在不同邊界條件下的微分方程解的存在性是分?jǐn)?shù)階微分方程理論研究的一個(gè)重要領(lǐng)域,見文獻(xiàn)[5～8]。近年來(lái)一些作者研究了高階分?jǐn)?shù)階微分方程的邊值問題,見文獻(xiàn)[9～11]。

文獻(xiàn)[9]研究了如下分?jǐn)?shù)階微分方程m點(diǎn)邊值問題正解的存在性：

(1)

其中i≥0是整數(shù)，n為整數(shù)，i≤n-2,α≥2,0

文獻(xiàn)[10]研究了如下非線性項(xiàng)依賴未知函數(shù)的分?jǐn)?shù)階導(dǎo)數(shù),且具有非線性邊界條件的分?jǐn)?shù)階微分方程的邊值問題：

(2)

其中n>3,1≤γ≤β≤n-2,f∶[0，1]×[0，∞)×[0，∞)→[0，∞),g∶[0，1]×[0，∞)→[0，∞),k∶[0，∞)→[0，∞)是連續(xù)函數(shù)。作者運(yùn)用了錐上的不動(dòng)點(diǎn)理論,得到了邊值問題(2)的唯一正解存在的充分條件。

文獻(xiàn)[11]研究了如下分?jǐn)?shù)階微分方程無(wú)窮點(diǎn)邊值問題：

(3)

其中α>2,n-1<α≤n,i∈[1,n-2]是整數(shù)，αj≥0,0<ξ1<ξ2<…<ξj-1<ξj<…<1

(j=1,2,…)。作者運(yùn)用Schauder不動(dòng)點(diǎn)定理,建立了邊值問題(3)正解的存在性定理。進(jìn)一步,利用凹算子的不動(dòng)點(diǎn)定理給出了邊值問題正解的存在唯一性結(jié)果。

受上述文獻(xiàn)啟發(fā),本文研究如下高階非線性分?jǐn)?shù)階微分方程多點(diǎn)邊值問題：

(4)

其中n>3,1<γ≤β≤n-2,j∈[1,n-2]是整數(shù),0≤ξ≤1,0<η≤1,a,b,λ,μ都為正數(shù),f∶[0，1]××→,g∶→是連續(xù)函數(shù),是Riemann-Liouville導(dǎo)數(shù)。

本文運(yùn)用Leray-Schauder非線性抉擇原理,討論邊值問題(4)解的存在性的充分條件。

1 預(yù)備知識(shí)和引理

定義1[1]連續(xù)函數(shù)f∶(0，+∞)→的α>0階Riemann-Liouville分?jǐn)?shù)積分定義為

其中,等式的右端在(0,+∞)有定義。

定義2[1]連續(xù)函數(shù)f∶(0，+∞)→的α>0階Riemann-Liouville分?jǐn)?shù)導(dǎo)數(shù)定義為

其中n=min{m∈∶m≥α},等式的右端在(0，+∞)有定義。

引理1[1]假設(shè)u∈C(0,1)∩L(0,1)有α>0階導(dǎo)數(shù)屬于C(0,1)∩L(0,1).則

ci∈,i=1,2,…,n,其中n大于或等于α的最小整數(shù)。

引理2 若h(t)∈C[0,1],則下面邊值問題

有唯一解x(t)且

其中

證明 由引理1,將微分方程轉(zhuǎn)化為等價(jià)的積分方程

于是

由xi(0)=0得,cn=cn-1=cn-2=…=c2=0.即

則

于是

故

因此我們得到

證畢。

引理3 函數(shù)G(t,s)滿足以下性質(zhì):

1)G(t,s)在[0,1]×[0,1]上是連續(xù)的;

2) ?(t,s)∈[0,1]×[0,1],有

證明 由G(t,s)在表達(dá)式可知結(jié)論1)成立。以下證明結(jié)論2)成立。

?(t,s)∈[0,1]有

證畢。

類似于引理3的證明可得

我們引入如下記號(hào)

下是一個(gè)Banach空間。

定義算子T∶E→E如下

則

引理4[4](Leray-Schauder非線性抉擇原理)設(shè)F是Banach空間,Ω?F是凸的,且0∈Ω.若T∶Ω→Ω是一個(gè)全連續(xù)算子,則下列結(jié)論至少有一個(gè)成立:

i)算子T在Ω上有一個(gè)不動(dòng)點(diǎn),

ii)集合E={x∈Ω∶x=λT(x),0<λ<1}是無(wú)界的。

2 主要結(jié)果

本文將用到如下假設(shè)：

H1)存在非負(fù)函數(shù)ω(t),φ(t)∈L1[0,1],使得

|f(t,u,ν)|≤ω(t)|u|+φ(t)|ν|,?t∈[0,1],u∈+,ν∈+

且

注2 若條件H2)滿足,則存在k>0,使得

|g(x)|≤k

定理1 假設(shè)H1),H2)成立,則算子T∶E→E全連續(xù)。

證明 首先證明T∶E→E是連續(xù)的。

由條件H1)可知

<2l[ω(s)+φ(s)]

由Lebesgue控制收斂定理可知,

于是由條件H1)、H2)和注1可得,

故有

設(shè)Ω為E中的有界集,則存在常數(shù)r>0,使得

以下證明T(Ω)是相對(duì)緊的.對(duì)任意的x∈Ω有

此外,因?yàn)镚(t,s),G1(t,s)在(t,s)∈[0,1]×[0,1]上一致連續(xù),所以?ε>0,?δ>0,使得當(dāng)t1,t2∈[0,1],|t1-t2|<δ時(shí)有

進(jìn)而對(duì)?x∈Ω有

<ε

<ε

即TΩ等度連續(xù)。

由Arzela-Ascoli定理可知,算子T∶E→E是全連續(xù)算子。證畢。

定理2 假設(shè)條件H1)、H2)滿足,則邊值問題(4)在E上至少有一個(gè)解。

證明 設(shè)X={x∈E|x=λTx,λ∈(0,1)},由引理4可知只需證明集合x是有界的。當(dāng)x∈X時(shí)x=λTx,對(duì)?t∈(0,1)有

|x(t)|=|λTx(t)|≤|Tx(t)|

因此

故集合X有界。由引理4可知算子T至少有一個(gè)不動(dòng)點(diǎn),則邊值問題(4)至少有一個(gè)解。

3 示例

例 考慮下面邊值問題

顯然有

通過簡(jiǎn)單計(jì)算可知,Γ(α)≈11.632,Γ(α-β)=1,Γ(α-γ)=2,進(jìn)而有

故

于是定理2條件都滿足,所以邊值問題(4)至少存在一個(gè)解。

Existence of solutions for a class of higher order nonlinear fractional multipoint boundary value problems

LIU Chang,WANG Wen-xia