何毅,劉彩紅,彭超權(quán)
(中南民族大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)學(xué)院, 武漢 430074)
本文考慮以下非線性Choquard方程:
-Δu+u=(Iα*F(u))f(u),x∈N,
(1)
其中N≥3,α∈(0,N),F是f的原函數(shù),Iα是Riesz位勢(shì), 對(duì)于?x∈N{0}, 有f:→是連續(xù)函數(shù).為了找到正解, 假設(shè)當(dāng)t<0時(shí),f(t)=0.此外, 還需要以下條件:
注意對(duì)于α=N的情形, 條件(f1)~(f3)最早是由文[1]引入的.這個(gè)假設(shè)可以看作是將著名的Berestycki-Lions條件[2-3]推廣到了具有Hardy-Littlewood-Sobolev的臨界增長(zhǎng)的非局部Choquard方程.
本文的主要結(jié)果是:
方程(1)對(duì)應(yīng)的泛函為:
由文[4]可知, 如果u∈H1(N)是方程(1)的弱解, 則下面的Pohozaev恒等式成立:
(2)
引理1I具有山路引理的幾何結(jié)構(gòu)[5], 即:
(i) ?ρ0,α0>0, 使得對(duì)所有的u∈H1(N)且‖u‖H1(N)=ρ0, 有I(u)≥α0;
(ii) ?u0∈H1(N), 使得I(u0)<0.
證明(i) 由條件(f1)和(f2)可知, 對(duì)于?δ>0,?Cδ>0 使得:
f(u)≤δ|u|α/N+Cδ|u|(α+2)/(N-2),F(u)≤δ|u|(N+α)/N+Cδ|u|(N+α)/(N-2),
(3)
根據(jù)Hardy-Littlewood-Sobolev不等式[6]與Sobolev嵌入定理, 有:
然后令ρ0,α0>0充分小, (i)成立.
(ii) 選擇u∈H1(N)且u+≠0, 則那么對(duì)于?θ>0,有:
選擇一個(gè)足夠大的θ0>0, 確保I(u(x/θ0))<0, 則u(x/θ0)是所期望的u0.
因此定義I的山路值:
(4)
其中:
Γ:={γ∈C([0,1],H1(N)):γ(0)=0且I(γ(1))<0},
(5)
由引理1(i)可知c>0, 此外, 記b:=inf{I(u):u∈H1(N){0}是方程(1)的非平凡解}.
命題1在H1(N)中存在一列使得當(dāng)n→∞時(shí),
I(un)→c,I′(un)→0,P(un)→0.
(6)
證明定義映射Φ:R×H1(N)→H1(N), 對(duì)任意θ∈R,u∈H1(N), 有:
Φ(θ,u)=u(e-θx),
泛函I°Φ為:
由引理1可知, 對(duì)所有的(θ,u), |θ|, ‖u‖H1(N)足夠小且(I°Φ)(0,u0)<0, 有:
(I°Φ)(θ,u)>0,
(7)
其中:
(8)
由一般極小極大原理, 在R×H1(N)中存在序列使得當(dāng)n→∞時(shí), 有:
(I°Φ)(θn,ωn)→c,
(9)
(I°Φ)′(θn,ωn)→0,在(×H1(N))-1中,
(10)
θn→0.
(11)
由文[7]定理2.8中的(b)可知, ?(θn,ωn)∈×H1(N), 使得:
dist((θn,ωn),(0,γn(t)))≤2/n,
則(11)式成立.
對(duì)任意的(h,ω)∈×H1(N), 有:
(12)
在(12)式中取h=1,ω=0, 有:
P(Φ(θn,ωn))→0(n→∞),
(13)
對(duì)任意u∈H1(N), 令(12)式中的ω(x)=u(eθnx),h=0 , 由(11)式可得:
(14)
在(9)、(13)和(14)式中令un:=Φ(θn,ωn), 得到(6)式.
引理2在H1(N)上, 滿足(6)式的任意序列是有界的.
證明由(6)式可知:
得到了{(lán)‖un‖H1{N}}的上界.
文獻(xiàn)[8]證明了:
(15)
由下式:
(16)
(17)
對(duì)于山路值c有以下估計(jì):
直接計(jì)算得:
(18)
(19)
(20)
(21)
(22)
(21)與(22)式表明:
(23)
與(23)式類似, 當(dāng)δ>0充分小時(shí), 有:
(24)
如(21)式所述,由Hardy-Littlewood-Sobolev不等式可知:
(25)
(26)
(27)
由(15)、 (16)與(17)式可知,
(28)
另一方面,
由Hardy-Littlewood-Sobolev不等式可得:
與(I)類似, 可知(II)≤Cδ(N+α)/2, 因此:
(29)
由條件(f3)可知:
I(ψδ(x/t))≤gδ(t):=
0 (30) (31) 其中: 從(30)與(31)式可知: 根據(jù)(20)、(24)、(26)與(27)式, 區(qū)分以下情況: 如果q0>α+1,令δ>0充分小, 可得到結(jié)論.如果q0≤α+1, 則選擇λ=δ-θ,θ>(1+α-q0)/4, 令δ>0充分小, 仍可得出結(jié)論. 證明反證法.假設(shè)引理不成立, 則由消失定理[9]可得當(dāng)n→∞時(shí), 有: (32) 令l≥0, 則有: (33) 顯然l>0, 否則當(dāng)n→∞時(shí), ‖un‖H1(N)→0, 與c>0矛盾.由(32)與(33)式可以得到: (34) 由(15)式可以發(fā)現(xiàn): (35) (36) (37)