姚紫嫣,梁載濤,段 煉
(安徽理工大學(xué)數(shù)學(xué)與大數(shù)據(jù)學(xué)院, 中國 淮南 232001)
眾所周知,p-Laplacian方程是一類特殊的橢圓型方程,是Laplacian方程的推廣。近幾十年來,該類方程在物理、生物及數(shù)學(xué)等領(lǐng)域得到了廣泛應(yīng)用,逐漸成為國內(nèi)外學(xué)者研究的熱點(diǎn)問題,當(dāng)前處理該類問題的方法主要有單調(diào)迭代理論[1]、變分法[2]、不動(dòng)點(diǎn)定理[3]等。近些年,p-Laplacian方程Dirichlet問題受到了學(xué)者們的關(guān)注,該類問題產(chǎn)生于非牛頓流體理論和多孔介質(zhì)氣體的湍流理論[4,5],具體見文獻(xiàn)[6-10]。
本文繼續(xù)研究此類問題,我們考慮如下Dirichlet問題
(1)
徑向?qū)ΨQ解的存在性,其中p>1,B={x∈RN:|x|<1,N≥2}且f:[0,∞)→[0,∞)。
根據(jù)徑向?qū)ΨQ解u(x)=v(r),其中r=|x|>0,問題(1)可轉(zhuǎn)化為如下問題
(2)
在文獻(xiàn)[6]中,Wang等人研究了n維p-Laplacian系統(tǒng)的Dirichlet問題。而本文研究一維p-Laplacian方程Dirichlet問題,顯而易見,當(dāng)n=1時(shí),有如下結(jié)果。
定理1若f0=∞且f∞=0,則問題(1)存在一個(gè)正徑向解。其中
經(jīng)過對上述結(jié)果進(jìn)行分析,發(fā)現(xiàn)其條件較強(qiáng),受其啟發(fā),我們將給出相對較弱的條件?;阱F不動(dòng)點(diǎn)定理[11],得到了如下結(jié)果。
定理2假設(shè)f滿足下列條件之一:
本文其余部分結(jié)構(gòu)如下,第1節(jié),主要介紹本文所需預(yù)備知識;第2節(jié),主要對定理2進(jìn)行證明;第3節(jié),舉例加以驗(yàn)證。
如引言所示,本文主要結(jié)果的證明基于錐不動(dòng)點(diǎn)定理,以下先簡單介紹一下錐的定義和所需的引理。
若一個(gè)連續(xù)算子從有界集映射到一個(gè)相對緊集上,則它是一個(gè)連續(xù)緊算子。因此,若G是X中的子集,則定義GK=G∩K且?KG=(?G)∩K。
定義1設(shè)X為Banach空間,K是X中的非空閉子集,若K滿足:
(d1) 對任意m,n∈K,a,b>0,有am+bn∈K;
(d2) 若m,-m∈K,則m=0,
則稱K為X中的一個(gè)錐。
(A1) ‖Tv‖≤‖v‖,這里v∈?KΩa;
(A2) 存在g∈K
上述方法已被用于研究二階微分方程正周期解[12]和Monge-Ampére方程徑向解[13]問題。
引理2[14]對于任意的函數(shù)ω∈C[0,1],滿足ω(r)≥0,且ω′(r)在[0,1]上是遞減的,則有
設(shè)
(3)
在證明主要結(jié)果之前,需回顧下列結(jié)果。
引理3[15,16]在(3)中定義的 Ωγ和Bγ具有下列性質(zhì):
(h4) 若v∈?KΩγ,則σγ≤v(r)≤γ,σ≤r≤1-σ。
(4)
容易驗(yàn)證,K為X中的錐。
為了證明定理2,先給出并證明如下更一般的情形。
引理4假設(shè)下列兩個(gè)條件成立:
(H3) 存在常數(shù)α>0,N>0和一個(gè)連續(xù)非遞減函數(shù)φ:[0,∞)→[0,∞)使得
f(v)≤Nφ(α),0≤v≤α;
(H4) 存在常數(shù)β>0,N>0和一個(gè)連續(xù)非遞減函數(shù)φ:[0,∞)→[0,∞)使得
那么下列兩個(gè)結(jié)果成立:
(C1) 若α<σβ,則問題(2)至少存在一個(gè)正解v(r)使得
(C2) 若α>β,則問題(2)至少存在一個(gè)正解v(r)使得
證明由引理1可知,需證明
(A1) ‖Tv‖≤‖v‖,這里v∈?KBα,
(A2) 存在e∈K
首先證明(A1)。由(H3)可知,對于任意v∈?KBα且s∈[0,1],有
再證明(A2)。設(shè)e(r)≡1∈K
定理2的證明只需驗(yàn)證(H1)成立的情況,(H2)的驗(yàn)證與其類似。
為了驗(yàn)證主要結(jié)果的正確性,給出如下例子。
例子考慮下列Dirichlet問題
(5)
結(jié)論:當(dāng)l>p-2時(shí),問題(5)至少存在一個(gè)非平凡徑向?qū)ΨQ解。
證明若l>p-2,通過計(jì)算可得
因此,由定理2可知,問題(5)至少存在一個(gè)非平凡徑向?qū)ΨQ解。