仝 榮, 胡衛(wèi)敏
(伊犁師范學(xué)院數(shù)學(xué)與統(tǒng)計(jì)分院,新疆伊寧835000)
近年來,研究脈沖邊值問題的文章很多[1-7],尤其是奇異與非奇異正解存在性的問題.在沒有脈沖的情況下,建立存在性問題的一個(gè)普遍技巧是Krasnoselskii’s錐不動(dòng)點(diǎn)定理,且大多文獻(xiàn)只討論了整數(shù)階半正邊值問題正解的存在性[1,4-5,8-10],而對(duì)于分?jǐn)?shù)階半正邊值問題所得結(jié)果[4,8]較少.本文討論分?jǐn)?shù)階奇異半正脈沖微分方程邊值問題解的存在性.
文獻(xiàn)[1]研究了非線性分?jǐn)?shù)階微分方程邊值問題
文獻(xiàn)[2]研究了非線性分?jǐn)?shù)階微分方程半正邊值問題
文獻(xiàn)[3]研究了非線性奇異半正微分方程二階脈沖Dirichlet邊值問題
多重正解的存在性,其中,μ >0 是常數(shù),非線性項(xiàng)f可能在y =0 處具有奇性.
受以上文獻(xiàn)的啟發(fā),研究分?jǐn)?shù)階奇異半正脈沖微分方程邊值問題
正解的存在性.其中,2 < α < 3,f:[0,1]×[0,+∞)→[0,+∞)是連續(xù)函數(shù)為標(biāo)準(zhǔn)的Captuo分?jǐn)?shù)階微分.其脈沖項(xiàng)為其中分別是 u(t)在 t = tk處的右極限和左極限分別是 u′(t)在 t = tk處的右極限和左極限分別是 u″(t)在 t = tk處的右極限和左極限.非線性項(xiàng)f可能在y =0 處具有奇性.
為了方便,引入下列記號(hào):J = [0,1],0 < t1<t2< … <tk< … <tm<1,令 t0=0,tk+1=1,有
定義 1.1[1]稱 β∈C[0,1]是方程(1)的一個(gè)下解,如果β滿足
定義 1.2[1]稱 γ∈C[0,1]是方程(1)的一個(gè)上解,如果γ滿足
引 理 1. 1[1](Arzela - Ascoli 定 理)H ?PC(J,R)是相對(duì)緊的,當(dāng)且僅當(dāng)任何函數(shù) u(t)∈H 在J 上一致有界,在 Jk(k =1,2,…,m)上是等度連續(xù)的.
引理 1.2[1](Leray -Schauder 不動(dòng)點(diǎn)定理)假設(shè)K為Banach 空間E 上的一個(gè)凸集,Ω為K 的一個(gè)相對(duì)開子集,0∈Ω,映射 A:→K 為一個(gè)緊算子,則有:
(A1)A在上有一個(gè)不動(dòng)點(diǎn);
(A2)存在x∈?Ω,0 < λ <1,使得 x = λA(x).
引理 1. 3[4]令 α > 0,如果 u ∈C[0,1]∩L(0,1),則分?jǐn)?shù)階微分方程有唯一解 u(t)= c0+c1t +c2t + … +cN-1tN-1,ci∈R,i =1,2,…,N,N = [α]+1.
引理 1.4[4]若 α >0,u(t)∈C[0,1]∩L′(0,使得
其中N是大于或等于α的最小整數(shù).
定義 1.3[5]函數(shù) f:(0,+ ∞)→R 的 α(α >0)階Riemann-Liouville積分定義為
其中右邊是在[0,+∞)上逐點(diǎn)定義的.
引理 1.5令 h∈C[0,1],且2 < α <3,則分?jǐn)?shù)階微分方程
定義算子 T:PC(J,R)→PC(J,R).
定理2.1若u是(1)式的一個(gè)正解,則存在2個(gè)正常數(shù) r 和 R,使得 b1+ rρ(t)≤u(t)≤b2+Rρ(t),這里
證明由于 u∈C[0,1],存在 M′ >0,對(duì)?t∈[0,1],使得|u(t)|≤M′.
令
定理2.2假設(shè)下列條件成立:
(H1)存在正常數(shù) Li> 0(i = 1,2,3,4),使得|f(t,u)|≤L1,|Ik(u)|≤ L2,|Qk(u)|≤ L3,|Jk(u)|≤L4;
(H2)f:(0,1)×(0,+∞)→R 連續(xù)不減,且存在函數(shù) e(t)∈C[0,1],e(t)>0,t∈(0,1),使得f(t,u)+e(t)≥0,(t,u)∈(0,1)× (0,+ ∞);
(H3)對(duì)?t∈(0,1),f(t,ρ(t))≠0,且存在一個(gè)正常數(shù) μ > 1,使得 kμf(t,u)≤f(t,kμ),?0 ≤k≤1.
則方程(1)至少存在一個(gè)正解u.
證明
因此,T連續(xù).
先證 β(t)= k1v(t),γ(t)= k2v(t)分別是(1)式的下解和上解,其中
由引理 1.5 知,v(t)是分?jǐn)?shù)階微分方程
的一個(gè)正解.
由定理 2.1 知,a1ρ(t)≤a1ρ(t)+b1≤v(t)≤a2ρ(t)≤a2ρ(t)+b2,t∈[0,1].
因此
同理,可得
同理,可得
顯然 β(t)= k1g(t),γ(t)= k2g(t)滿足邊值條件u(0)= u′(0)= u′(1)=0.
因此,β(t)= k1v(t),γ(t)= k2v(t)分別是方程(1)的下解和上解.
下證邊值問題
存在一個(gè)解,其中
由于函數(shù) f(t,u)在 u 上連續(xù)不減,即?u ∈C([0,1],[0,+∞]),有
因此,算子 T:C[0,1]→C[0,1]是連續(xù)的.
由Arzela-Ascoli定理知T是緊算子.因此,由Leray-Schauder 不動(dòng)點(diǎn)定理知,T 有一個(gè)不動(dòng)點(diǎn)u*,即方程(2)存在一個(gè)解u*.
最后證方程(2)存在一個(gè)正解.
由函數(shù) f(t,u)連續(xù)不減知
因此,令 z(t)= γ(t)-u*(t),則
即 z(t)≥0,可得
同理,令 z(t)=u*(t)-β(t),則
即 z(t)≥0,可得
因此,u*(t)是方程(2)的一個(gè)正解.