王婷+++張麗娟+++達(dá)佳麗
【摘要】本文運(yùn)用了增算子的不動(dòng)點(diǎn)理論,研究了分?jǐn)?shù)階微分方程三點(diǎn)邊值問(wèn)題在共振條件下正解的存在性。
【關(guān)鍵詞】分?jǐn)?shù)階微分方程 共振 增算子的不動(dòng)點(diǎn)定理 正解
【基金項(xiàng)目】甘肅省高等學(xué)校科研項(xiàng)目,編號(hào)(2015B-203)。
【中圖分類(lèi)號(hào)】G64 【文獻(xiàn)標(biāo)識(shí)碼】A 【文章編號(hào)】2095-3089(2017)32-0133-02
1.引言
分?jǐn)?shù)階微分方程描述了許多領(lǐng)域的現(xiàn)象,而現(xiàn)在有許多方法來(lái)解決分?jǐn)?shù)階微分方程的可解性,關(guān)于共振條件下分?jǐn)?shù)階微分方程邊值問(wèn)題的可解性的研究也比較多。
目前對(duì)于分?jǐn)?shù)階微分方程共振問(wèn)題的研究工作比較少。Wang Feng在文獻(xiàn)[1]中運(yùn)用了增算子的不動(dòng)點(diǎn)理論研究了常微分方程邊值問(wèn)題。
(p(t)u(t)′)′=f(t,u(t))
u′(0)=0,u(1)=u(?濁i)
在共振條件 ai=1下正解的存在性。
本文運(yùn)用文獻(xiàn)[1]中的方法對(duì)分?jǐn)?shù)階微分方程
Du(t)=f(t,u(t),Du(t),…,Du(t))+e(t),t∈(0,1)
Iu(0)=Du(0)=Du(0)=0,u(1)=?啄u(?濁) (1)
在共振條件?啄?濁=1下解得存在性。
2.預(yù)備知識(shí)
下面我們簡(jiǎn)單地介紹一些記號(hào)和一些需要用到的工具定理。
記X、Y是Banach空間,K是X的錐,K∩domL≠?覫.
考慮方程 Lx=Nx (2)
其中L:dom(L)?奐X→Y線(xiàn)性算子,N是非線(xiàn)性算子。如果dimKerL=codimlml(L)<+∞且lm(L)在Y中是緊的,則L是Fredholm算子,同時(shí)存在連續(xù)的投影算子P:X→X和Q:Y→Y,使得lm(P)=Ker(L),Ker(Q)=lm(L),從而X=Ker(L)?茌Ker(P),Y=lm(L)?茌lm(Q).由以上可以知道L|dom(L)∩Ker(p):dom(L)∩Ker(P)→lm(L)是可逆的?,F(xiàn)在定義它的逆算子為Kp:lm(L)→dom(L)∩Ker(P),如果QN(?贅)是緊的并且Kp(l-Q)(?贅)是緊的,則N在?贅是L-緊的。
記H=L+J-1P,從而H:dom(L)?奐X→Y是一個(gè)線(xiàn)性的雙射,并且存在有界逆滿(mǎn)足。
(JQ+Kp(I-Q))(L+J-1P)=(L+J-1P)((JQ+Kp(I-Q))=I
引理2.1[1]令L|dom(L)∩Ker(p)=Lp,如果N在?贅是L-緊的,并且J是從投影算子P到Q的線(xiàn)性同構(gòu),則Nx+J-1Px=H,這里=(P+JQN)x+Lp-1(I-Q)Nx=0+1,并且是唯一的。
引理2.1在文獻(xiàn)[1]中有具體的證明。我們由文獻(xiàn)[1]知道K1=H(K∩dom(L))是Y上的錐,并且以下兩條等價(jià):
(1)P+JQN+Kp(I-Q)N:K∩dom(L)→K∩dom(L);
(2)N+J-1P:K∩dom(L)→K1.
性質(zhì)2.1 F是一個(gè)列緊集當(dāng)且僅當(dāng)F一致有界并且等度連續(xù)。
定義2.1 令u0,v0∈K∩dom(L)是方程(2)的下解和上解,即Lu0≤Nu0,Lv0≥Nv0
定理2.1 令L:dom(L)?奐X→Y是一個(gè)零指標(biāo)的Fredholm算子。K是X上的正規(guī)錐。u0,v0∈K∩dom(L),u0≤v0和N:[uo,vo]→Y是連續(xù)的并L-緊的,且滿(mǎn)足 (c1)uo,vo 是方程(2)的下解和上解; (c2):N+J-1P:K∩dom(L)→K1是增算子,從而方程(2)在[u0,v0]上有一個(gè)最小的不動(dòng)點(diǎn)u?鄢和最大的不動(dòng)點(diǎn)v?鄢;并且u?鄢=un,v?鄢=vn,其中:
un=(L+J-1P)-1(N+J-1P)un-1,vn=(L+J-1P)-1(N+J-1P)vn-1,n=1,2,3…
以及 u0≤u1≤u2≤…≤un≤vn≤…≤v2≤v1≤v0.
3.主要結(jié)果
由定理2.1可以證明問(wèn)題(1)在共振條件下正解的存在性。
令X=C[0,1]∩In-a0+u(0)=Du(0)=…=Du(0)=0,u(1)=?啄u(?濁),Du(0)≥0},Y=C[0,1].
對(duì)于任意的x∈X,y∈Y定義它們的范數(shù)分別為
‖x‖X=maxt∈[0.1]x(t),‖y‖Y=maxt∈[0.1]y(t)
可以證明X和Y都是Banach空間。
令K={x∈X:x(t)≥0,t∈[0,1]}因?yàn)?X上的范數(shù)是單調(diào)的, 所以由文獻(xiàn)[2]中的定理1.1.1可知K是X上的正規(guī)錐。
定義L:dom(L)→Y,Lu(t)=Du(t),其中dom(L)=X∩C[0,1].這里C[0,1]是一個(gè)Banach空間。
定義N:K→Y.Nu(t)=f(t,u(t),Du(t),…Du(t)
則邊值問(wèn)題(1)可以轉(zhuǎn)化為L(zhǎng)u=Nu,u∈K∩dom(L).
引理3.1 如果L是如上定義的線(xiàn)性算子,則有:
Ker(L)={u∈X:u(t)=cta-1,c∈R},
lm(L)={y∈Y:(l-s)a-2y(?子)d?子ds=0}.
以上引理的證明詳情見(jiàn)[2], 并且有dimKerL=codimlmL=1成立, 顯然L是一個(gè)零指標(biāo)的Fredholm算子。
注:由邊界條件和共振條件知道, 線(xiàn)性算子Lu(t)=Du(t)是不可逆的,所以分?jǐn)?shù)階微分方程三點(diǎn)邊值問(wèn)題(1)是一個(gè)共振問(wèn)題。endprint
定義投影算子P、Q分別為
P:X→X,Pu=Du(0)t,Q:X→X,Qy=г0(1-s)y(?子)d?子ds,(3)
其中г0=>0.
進(jìn)一步,定義線(xiàn)性同構(gòu)為J:lm(Q)→lm(P)為. J(c)=cta-1,c∈R
定義L|dom(L)∩Ker(p):dom(L)∩Ker(P)→lm(L)的逆算子Kp:lm(L)→dom(L)∩Ker(P)為
Kpy=ly(t)=(t-s)y(s)ds (4)
因此對(duì)于y∈lm(L)有(LKpy)=Dly=y.
對(duì)于u ∈dom(L)∩Ker(P),有
(KpL)u(t)=Dlu(t)=u(t)+c1ta-1+c2ta-2+…+cnta-n,c1,c2,…cn∈R.
考慮到u∈dom(L)∩Ker(P),Du(0)=0和邊界條件,可以得到 c1=c2=…=cn=0,從而(KpL)u(t)=u(t),即Kp=(Ldom(L)∩Ker(P))-1.
由性質(zhì)2.1得到以下引理.
引理3.2 Kp(l-Q)Nu:dom(L)→dom(L)是全連續(xù)映射。
定理3.1 假設(shè)下列條件成立
(H1)存在u0(t),v0(t)∈K∩dom(L),使得u0(t)≤v0(t),且
Du0(t)≤f(t,u0(t),Duo(t),…Du0(t)),t∈[0,1],
Dv0(t)≤f(t,v0(t),Dv0(t),…Dv0(t)),t∈[0,1],
(H2)對(duì)于任意的x,y∈K∩dom(L)
f(t,x(t),Dx(t),…Dx(t))-f(t,y(t),Dy(t),…Dy(t))≥-(Dx(0)-Dy(0))
則問(wèn)題(1)在[u0,v0]上有一個(gè)最小的不動(dòng)點(diǎn)u?鄢和最大的不動(dòng)點(diǎn)v?鄢.定義{un(t)2}為un(t)=(гota-1-)(1-s)a-1
[f(t,un-1(?子),Dun-1(?子),…Dun-1(?子)+Dun-1(0)]d?子ds+(t-s)a-1f(t,un-1(?子),Dun-1(?子),…Dun-1(?子))ds.
同理可定義vn(t),其中t∈[0,1],n=1,2,3,…,則{un(t)}和{vn(t)}在[0,1]一致收斂于u?鄢(t),v?鄢(t),并且u0≤u1≤u2≤…≤vn≤…≤v2≤v1≤v0.
證明 由條件(H1),得到Lu0≤Nu0,Lv0≥Nv0所以定理2.2中的條件(c1)滿(mǎn)足。
由引理3.2知在K∩dom(L)的任意有界開(kāi)集?贅上N是L-緊的。
對(duì)每個(gè)x∈K∩dom(L),可以得到:
P+JQN+Kp(I-Q)Nu=Du(0)ta-1+(1-s)a-2f(t,u(?子),Du(?子),…Du(?子))d?子ds+(t-s)a-1[f(s,u(s),Du(s),…Du(s))-г0(1-s)a-2f (?子,u(?子),Du(?子)…Du(?子))d?子ds]ds≥0.
從而p+JQN+kP(I-Q)(K)?奐K,由預(yù)備定理中的等價(jià)條件知N+J-1P:K∩dom(L)→K1
由條件(H2),不難證明N+J-1P:K∩dom(L).→K1是單調(diào)遞增的算子,所以定理2.2中的條件(C2)也滿(mǎn)足。且(L+J-1P)-1(N+J-1P)un-1(t)=un(t).定理2.2中的條件都滿(mǎn)足,得證。
參考文獻(xiàn):
[1]Bai Z.B.,On positive splutions of a nonlocal fractional boundary value problem.Nonlinear Anal.TMA 72,916-924(2010).
[2]Han X L;Wang T.:The existence of nonnegative solution for a nonlinear fractional muti-point boundary value problem at resonance.Int.J.Dendprint