公 艷
(山東農(nóng)業(yè)大學(xué)信息科學(xué)與工程學(xué)院,山東 泰安 271018)
關(guān)于方程組
其中Ω?RN,Comete等[1]證明了當(dāng)N=3時(shí),對(duì)于每一個(gè)λ∈R+σ(-Δ)(這里σ(-Δ)表示具有邊界條件的-Δ的特征值集合),方程組存在1個(gè)非平凡解.當(dāng)N≥4,λ≥0時(shí),方程組也存在1個(gè)非平凡解,Lions等[2-7]討論了類似的問(wèn)題.
在0∈?Ω的情況下,公艷[8]討論了方程組
(1)
(2)
(3)
方程組(1)的解與能量泛函
Comte等[4]已證明:若方程組
中有正的第一特征值λ1,則有
(4)
所以,
假設(shè)如下條件成立:
(H1)Ω?RN∩{x=(x1,x2,…,xN)∈RN|xN>0}是一個(gè)有界的定義域,且滿足C1邊界條件.
記H(0)>0(0∈?Ω)為原點(diǎn)的平均曲率.稱Sμ為最佳常數(shù),
Hardy不等式及相關(guān)符號(hào)定義如下:
Γ={γ∈C([0,1],H1(Ω))|γ(0)=0,J(γ(1))<0}.
定義1[2]泛函J∈C1(X,R),c∈R,假設(shè)0<μ<μ*,且c滿足
則稱J滿足(PS)c條件.
Comte等[1]已證明:假設(shè)條件(H1)及(2)~(4)式成立,對(duì)于0<μ<μ*,如果常數(shù)c滿足
那么方程組(1)存在滿足J(u)≤c的非常數(shù)解u.
公艷[9]已證明方程組
(5)
的解與變分泛函
的非零臨界點(diǎn)是等價(jià)的,并得到如下結(jié)論:
引理1[9]在條件(H1)下,有如下估計(jì):
(6)
(7)
(8)
其中:K1(ε),K2(ε),K3(ε)分別滿足
y′=(y1,y2,…,yN-1)∈D(0,δ)=Bδ(0)∩{xN=0}.
筆者將在文獻(xiàn)[7-9]的基礎(chǔ)上,討論方程組
(9)
在滿足α(x)∈L∞(?Ω),α(x)≥0,α(x)不恒等于0的條件下解的存在性.
定理1在條件(H1)下,若α(x)∈L∞(?Ω),α(x)≥0,α(x)不恒等于0,則方程組(9)至少存在1個(gè)正解.
證明方程組(9)的解與變分泛函
的非零臨界點(diǎn)是等價(jià)的.記
(10)
因此
解得
將tε代入(10)式,可得
所以‖t0v‖>ρ且J(t0v)<0,其中t0>0.根據(jù)山路引理可知,存在序列{uk}?H1(Ω),滿足
J(uk)→c,J′(uk)→0k→+∞,
由定義1可知J滿足(PS)c條件,于是在H1(Ω)中uk有一收斂的子序列,不妨仍記為uk,滿足uk→u.根據(jù)文獻(xiàn)[1]可知u為J的臨界點(diǎn),即方程組(9)存在一非負(fù)解u,由強(qiáng)極大值原理可知u>0.證畢.