摘?要:本文研究了一類(lèi)n階微分方程RiemannStieltjes積分邊值問(wèn)題正解的存在性,在非線(xiàn)性項(xiàng)滿(mǎn)足超線(xiàn)性和次線(xiàn)性的條件下,運(yùn)用錐上的不動(dòng)點(diǎn)指數(shù)理論獲得了該問(wèn)題正解的存在性.
關(guān)鍵詞:微分方程;積分邊值問(wèn)題;正解;不動(dòng)點(diǎn)指數(shù)
1?基本知識(shí)
非線(xiàn)性微分方程的BVPs出現(xiàn)在應(yīng)用數(shù)學(xué)、物理和控制理論的變分問(wèn)題的各種領(lǐng)域,許多作者已經(jīng)討論了各類(lèi)BVPs解的存在性.由于RiemannStieltjes積分的邊值條件更具有一般性,近年來(lái)帶有RiemannStieltjes積分的邊值問(wèn)題引起了學(xué)者的廣泛關(guān)注[14].
受上述文獻(xiàn)的啟發(fā),本文研究如下n階微分方程RiemannStieltjes積分邊值問(wèn)題正解的存在性:
u(n)(t)+f(t,u(t))=0,0<t<1,
u(0)=h∫10u(t)dζ(t),u(1)=g∫10u(t)dθ(t),
u′(0)=0,…,u(n-2)(0)=0,(1)
其中n3,∫10u(t)dζ(t),∫10u(t)dθ(t)表示RiemannStieltjes積分,并且滿(mǎn)足以下條件:(H1)ζ,θ是定義在[0,1]上的遞增非常值函數(shù),ζ(0)=θ(0)=0;(H2)存在M>0使得f:[0,1]×[0,+)是連續(xù)的且非遞減的.
由文獻(xiàn)[4]中引理2.1,問(wèn)題(1)等價(jià)于如下的積分方程:
u(t)=∫10G(t,s)f(s,u(s))ds+tn-1g∫10u(s)dθ(s)
+(1-tn-1)h∫10u(s)dζ(s).
其中:
G(t,s)=(1-s)n-1tn-1-(t-s)n-1(n-1)!,0
引理1.1[4]:G(t,s)具有以下性質(zhì)
(i)0k(s),t,s∈[0,1],其中
k(s)=s(1-s)n-1(n-2)!,(2)
(ii)G(t,s)γ(t)k(s),t,s∈[0,1],其中
γ(t)=mintn-1n-1,(1-t)tn-2n-1(3)
引理1.2[5]:設(shè)E是Banach空間,Ω(E)是有界開(kāi)子集,P是E上的錐.若T:Ω∩P→P是全連續(xù)算子,且存在u0∈p\0使得u-Tu≠λu0,u∈Ω∩P,λ0,則i(T,Ω∩P,P)=0,其中i是錐P上的不動(dòng)點(diǎn)指數(shù).
引理1.3[5]?設(shè)E是Banach空間,Ω(E)是有界開(kāi)子集,P是E上的錐,0∈Ω,若T:Ω∩P→P是全連續(xù)算子,并且滿(mǎn)足u≠λTu,u∈Ω∩P,λ∈[0,1],則i(T,Ω∩P,P)=1.
2?主要結(jié)果
令E=C[0,1],并在其上賦予范數(shù)‖u‖=maxt∈[0,1]u(t),則(E,‖·‖)是一Banach空間,定義集合P=u∈E:u(t)0,t∈[0,1],則P是空間E上的錐,P的對(duì)偶錐是P,E的共軛空間是E,此外,E上的有界線(xiàn)性泛函可以通過(guò)RiemannStieltjes積分來(lái)表示:〈z,φ〉=∫10φ(t)dz(t),φ∈E,z∈E.為了方便研究,令:p(t)=∫10G(t,s)ds=tn-1(1-t)n!,u0(t)=Mp(t),0
1γ(t)=max1(n-1)2n-1,(n-1)n-3nn-1.由于非線(xiàn)性項(xiàng)f可變號(hào),為此需要首先考慮以下邊值問(wèn)題:
u(n)(t)+f(t,u(t)-u0(t))=0,0<t<1,
u(0)=h∫10(u(t)-u0(t))dζ(t),u(1)=g∫10(u(t)-u0(t))dθ(t),
u′(0)=0,…,u(n-2)(0)=0,(4)
其中:
f(t,u(t)-u0(t))=f(t,u(t)-u0(t))+M,u(t)-u0(t)0,
f(t,0)+M,u(t)-u0(t)<0,(5)
g∫10(u(t)-u0(t)dθ(t))=g∫10(u(t)-u0(t))dθ(t),u(t)-u0(t)0,
0,u(t)-u0(t)<0,(6)
h∫10(u(t)-u0(t)dζ(t))=h∫10(u(t)-u0(t))dζ(t),u(t)-u0(t)0,
0,u(t)-u0(t)<0,(7)
邊值問(wèn)題(4)等價(jià)于如下積分方程:
u(t)=∫10G(t,s)f(t,u(s)-u0(s))ds+tn-1g∫10(u(s)-u0(s))dθ(s)+(1-tn-1)h∫10(u(s)-u0(s))dζ(s).
引理2.1[4]:若u是(1)的解,則u+u0是(4)的解;反過(guò)來(lái),若u是(4)的解,且u(t)u0(t),t∈[0,1],則u-u0是(1)的解.
引理2.1表明,通過(guò)研究邊值問(wèn)題(4)超過(guò)u0的解,即可得到問(wèn)題(1)的正解.定義算子T:
(Tu)(t)=∫10G(t,s)f(t,u(s)-u0(s))ds+tn-1g∫10(u(s)-u0(s))dθ(s)+(1-tn-1)h∫10(u(s)-u0(s))dζ(s).
由Ascoli–Arzela定理易證T是一個(gè)全連續(xù)算子,于是問(wèn)題(4)解的存在性等價(jià)于算子T不動(dòng)點(diǎn)的存在性.
定義線(xiàn)性算子LG和Lζ(ζ>0):
(LGu)(t)=∫10G(t,s)u(s)ds,(Lζu)(t)=ζ∫10G(t,s)u(s)ds+tn-1∫10u(s)dθ(s))+(1-tn-1)(∫10u(s)dζ(s).
引理2.2:令r(LG)表示LG的譜半徑,則r(LG)>0.由Gelfand定理易證r(LG)>0.于是r(Lζ)ζr(LG)>0,由Krein–Rutman定理可知,存在函數(shù)φζ∈P\0和ψζ∈P\0,ψζ(1)=1,使得Lζφζ=r(Lζ)φζ,Lζψζ=r(Lζ)ψζ.
其中Lζ:E→E是Lζ的共軛算子,定義為:(Lζu)(t)=ζ∫t0ds∫10G(τ,s)du(τ)+θ(t)∫10τn-1du(τ)+ζ(t)∫10(1-τn-1)du(τ).
引理2.3:令P0=u∈E:u(t)γ(t)‖u‖,t∈[0,1],則T(P)P0;并且當(dāng)u∈P0,且‖u‖M時(shí),u(t)u0(t),即u(t)-u0(t)0.
證明:參見(jiàn)文獻(xiàn)[4]中的定理3.1即可得到T(P)P0,故僅需證該定理的后半段.
當(dāng)u∈P0時(shí),u(t)γ(t)‖u‖,t∈[0,1].顯然p(t)
C1r(Lβ)-1∫10γ(t)dψβ(t)-1.取R1>maxM,C1r(Lβ)-1∫10γ(t)dψβ(t)-1,當(dāng)u2∈BR1∩P時(shí),(12)式不滿(mǎn)足,則(11)式成立,從而根據(jù)引理1.2可得
i(T,BR1∩P,P)=0.(14)
至此,根據(jù)(10)式和(14)式可得i(T,BR1\BM∩P,P)=i(T,BR1∩P,P)-i(T,BM∩P,P)=0-1=-1≠0.
從而算子T在BR1\BM∩P內(nèi)至少存在一個(gè)不動(dòng)點(diǎn)u~(t),且u~(t)u0(t),t∈[0,1],則u~-u0是(1)的一個(gè)正解.
定理2.5:如果(H1)—(H3)和以下條件成立:
(H6)存在函數(shù)φ∈C([0,1],[0,+
1γ(t)∫10k(s)φ(s)ds>M=‖u3‖.
這與(16)式矛盾,從而(15)式成立,根據(jù)引理1.2得
i(T,BM∩P,P)=0.(17)
然后證明
u≠λTu,λ∈[0,1],u∈BR2∩P.(18)
其中R2>M,若上式不成立,則存在u4∈BR2∩P,λ3∈[0,1],使得
u4(t)=λ3(Tu4)(t),t∈[0,1].(19)
上式表明u4∈P0,由條件(H7)可知存在cj>0,j=4,5,6,使得f(t,u)+M
C21-r(Lχ)∫10γ(t)dψχ(t)-1.
取R2>maxM,C21-r(Lχ)∫10γ(t)dψχ(t)-1,于是(19)式不滿(mǎn)足,則(18)式成立,從而根據(jù)引理1.3可得
i(T,BR2∩P,P)=1.(21)
根據(jù)(17)式和(21)式可得i(T,BR2\BM∩P,P)=i(T,BR2∩P,P)-i(T,BM∩P,P)=1-0=1≠0.因此,算子T在BR2\BM∩P內(nèi)至少存在一個(gè)不動(dòng)點(diǎn)u(t),且u(t)u0(t),t∈[0,1],則u-u0是(1)的一個(gè)正解,證畢.
參考文獻(xiàn):
[1]Webb,Jeff?R?L.Positive?solutions?of?nonlinear?differential?equations?with?RiemannStieltjes?boundary?conditions[J].Electron?J?Qual?Theory?Differ?Equ,2016,86:113.
[2]Haddouchi?F.Positive?solutions?of?nonlocal?fractional?boundary?value?problem?involving?RiemannStieltjes?integral?condition[J].J?Appl?Math?Comput,2020,64:487502.
[3]彭皓,柏仕坤.半正型四階脈沖微分方程邊值問(wèn)題的正解[J].宿州學(xué)院學(xué)報(bào),2021,36(9):2629.
[4]Xie?D,Bai?C,Liu?Y,et?al.Positive?solutions?for?nonlinear?semipositone?nthorder?boundary?value?problems[J].Electronic?Journal?of?Qualitative?Theory?of?Differential?Equations,2008,7:112.
[5]郭大鈞.非線(xiàn)性泛函分析[M].濟(jì)南:山東科學(xué)技術(shù)出版社,2001.
基金項(xiàng)目:國(guó)家自然科學(xué)基金(11871302);重慶市自然科學(xué)基金(cstc2020jcyjmsxmX0123)
作者簡(jiǎn)介:楚華磊(1998—?),男,漢族,四川渠縣人,學(xué)士,在讀研究生,研究方向:非線(xiàn)性泛函分析。