張 靜, 韓曉玲
(西北師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 蘭州 730070)
含p-Laplace算子的方程在燃燒理論[1]、 種群生物學(xué)[2-3]以及分?jǐn)?shù)階系統(tǒng)[4-5]等領(lǐng)域應(yīng)用廣泛. 文獻(xiàn)[6-10]研究了含p-Laplace算子的二階和四階Sturm-Liouville邊值問(wèn)題正解的存在性, 表明大多數(shù)的解均為對(duì)稱的. 因?yàn)槿A微分方程的解不是對(duì)稱的, 所以關(guān)于含p-Laplace算子的三階Sturm-Liouville邊值問(wèn)題正解存在性的研究文獻(xiàn)報(bào)道較少. 文獻(xiàn)[11]討論了含p-Laplace算子的三階Sturm-Liouville邊值問(wèn)題
基于上述工作, 本文主要應(yīng)用Krasnosel’skii不動(dòng)點(diǎn)定理, 考慮含p-Laplace算子的三階Sturm-Liouville邊值問(wèn)題
假設(shè):
(H1)f: [0,1]×[0,+∞)××→[0,+∞)連續(xù);
(H3)α,β,γ,δ≥0且ρ∶=γβ+αγ+αδ>0.
1) ‖Au‖≤‖u‖,u∈K∩?Ω1且‖Au‖≥‖u‖,u∈K∩?Ω2;
2) ‖Au‖≥‖u‖,u∈K∩?Ω1且‖Au‖≤‖u‖,u∈K∩?Ω2.
引理1邊值問(wèn)題(1)-(2)有解u=u(t), 當(dāng)且僅當(dāng)u是算子方程
的解, 即Au=u. 這里G(t,s)是微分方程u″(t)=0,t∈(0,1)結(jié)合邊界條件(2)的Green函數(shù), 且
(3)
證明: 顯然G(t,s)≥0, 0≤t,s≤1,
所以
從而可得
(φp(u″(t)))′=-q(t)f(t,u(t),u′(t),u″(t)).
進(jìn)一步, 有
又有u″(0)=0, 因此算子A的不動(dòng)點(diǎn)是問(wèn)題(1)-(2)的解.
下面證明A:K→K是全連續(xù)的. 記
(4)
是C[0,1]中的錐, 其中
(5)
易得0≤G(t,s)≤G(s,s), 0≤t,s≤1. 因此, 若u∈K, 則
從而
進(jìn)一步, 對(duì)1/4≤t≤3/4, 有
故G(t,s)≥MG(s,s), 1/4≤t≤3/4. 因此, 若u∈K, 則
從而可得AK?K. 設(shè)Ω?K有界, 即存在R>0, 使得Ω?{u∈K|‖u‖≤R}. 記
N=max{f(t,u(t),u′(t),u″(t))|t∈[0,1],u∈Ω}.
對(duì)?u∈Ω, 有
從而A(Ω)是等度連續(xù)的. 由于f是連續(xù)的, 由控制收斂定理可知,A在Ω中是連續(xù)的, 因此由Arzela-Ascoli定理可知T:K→K是全連續(xù)的.
定理2假設(shè)條件(H1)~(H3)成立, 若f滿足下列條件之一:
則邊值問(wèn)題(1)-(2)至少有一個(gè)正解. 條件1)稱為超線性, 條件2)稱為次線性.
證明: 由范數(shù)的定義, 可得
1) 超線性情形.
因?yàn)閒0=0, 所以存在H1>0, 使得對(duì)?t∈[0,1], 00, 滿足
如果u∈K, ‖u‖=H1, 則由式(6),(7), 有
(9)
因此, 由式(4),(8)得
2) 次線性情形.
(10)
式中M在1)的證明中已給出. 則對(duì)u∈K, ‖u‖=H1, 由式(10)有
(11)
下面分兩種情形討論.
① 設(shè)f有界. 即存在L, 使得對(duì)?t∈[0,1], ((u(t),u′(t),u″(t))∈[0,+∞)××, 有
f(t,u(t),u′(t),u″(t))≤Lp-1.
(12)
記
則當(dāng)u∈K, ‖u‖=H2時(shí), 由式(6),(12)有
因此‖Au‖≤‖u‖.
② 設(shè)f無(wú)界. 因?yàn)閒: [0,1]×[0,+∞)××→[0,+∞)連續(xù), 因此存在t0∈[0,1]和使得
).
(13)
則對(duì)u∈K, ‖u‖=H2, 由式(6),(13),(11)有
綜上, 記Ω2∶={u∈E: ‖u‖
考慮如下含p-Laplace算子的三階Sturm-Liouville邊值問(wèn)題
正解的存在性, 這里:f=(u(t)+u′(t)+u″(t))1/2+1;p=4;α=β=γ=1;δ=0. 易得
顯然f連續(xù), 從而可知假設(shè)條件(H1)~(H3)成立.
另一方面,
由定理2可知邊值問(wèn)題(14)-(15)存在一個(gè)正解.