,,
隨著科學(xué)技術(shù)的不斷發(fā)展,非線性泛函分析能很好地解釋自然界各種現(xiàn)象,已成為現(xiàn)代數(shù)學(xué)的重要研究方向.非線性Schr?dinger方程來(lái)源于數(shù)學(xué)物理、數(shù)學(xué)生物和物理學(xué)等學(xué)科,目前研究[1,2]較為活躍.
本文研究下面超線性Schr?dinger方程解的存在性
(1)
h(x,t):RN×R→R+是一個(gè)連續(xù)函數(shù),并且滿(mǎn)足
(h1) 當(dāng)t≤0,h(x,t)=0;當(dāng)t→0+,在RN中一致有h(x,t)=o(|t|);
(h4)在RN中,μ>2對(duì)?t≥0有0≤μH(x,t)≤th(x,t);
顯然 (1)的解是下面泛函的臨界點(diǎn)
(2)
由于泛函I(u)在一般的Sobolev空間H1(RN)沒(méi)有定義,所以我們進(jìn)行如下變量變換
(3)
(4)
(5)
(6)
證明見(jiàn)文獻(xiàn)[4].接下來(lái),建立山路引理的幾何條件[3].
證明:令
則由(h1)(h2)和引理1.1得
(7)
(8)
因此存在常數(shù)C>0,使得
(9)
有
(10)
所以當(dāng)‖v‖=ρ0時(shí),選擇很小的ρ0,結(jié)論成立.
事實(shí)上,因?yàn)镚-1(v)≤v,由(h4)和引理2.1,當(dāng)t→+∞時(shí),我們有
(11)
結(jié)論得證.
由引理1.2和1.3的結(jié)果,根據(jù)山路引理,對(duì)于常數(shù)
其中Γ={γ∈C([0,1],H1(RN)),γ(0)=0,γ(1)<0},存在一個(gè)關(guān)于c的Cerami序列{vn},即J(vn)→‖vn‖)‖J′(vn)‖→0.
有如下引理:
對(duì)于任意的c>0,J的任意Cerami序列有界.
證明設(shè){vn}?H1(RN)是一個(gè)Cerami序列.用反證法,假設(shè){vn}無(wú)界,且滿(mǎn)足
J(vn)→c,‖vn‖→+∞,‖J′(vn)‖→0.
(12)
我們聲明
(13)
否則,對(duì)于一些常數(shù)δ>0,我們有
(14)
因此,根據(jù)(h3)和引理1.1,我們可得
(15)
利用引理1.1和(15),我們有
(16)
顯然矛盾!所以(13)得到證明.
根據(jù)Lions集中緊引理,在空間Lr(RN)中,我們有wn→0,g∈(2,2*).
現(xiàn)在,我們定義一族線性泛函TnH1(RN)→R,如下
有
(17)
所以,{Tn}是一族定義在H1(RN)上的有界線性泛函.從共鳴定理知,{Tn}對(duì)n一致有界,即:存在與n無(wú)關(guān)的常數(shù)C>0,使得‖Tn‖(H1(RN))* 在(2.17)選擇φ=wn,在空間Lr(RN)上有wn→0r∈(2,2*),可以得知 (18) 顯然矛盾!因此原假設(shè)不成立,{vn}有界,引理1.4得證. (19) 因?yàn)閧vn}是一個(gè)Cerami序列,根據(jù)引理1.4知{vn}有界,所以存在v∈H1(RN),使得H1(RN)vn→v.由Lebesgue 控制理論,得 (20) 所以,v是(1.1)的一個(gè)弱解. 下面證明v≡0,反證法:假設(shè)v=0,則對(duì)所有的R>0,有 (21) 即{vn}消失,通過(guò)Lions集中緊引理,對(duì)任意的r∈(2,2*),在Lr(RN)中vn→0,因?yàn)閠=G(G-1(t))≤g(G-1(t))G-1(t),由引理1.1和(h1)-(h2),我們有 (22) 這意味著 (23) 由δ→0和q∈(2,2*)得 (24) 由 (25) 所以 (26) 由引理1.1,(24)和(26),當(dāng)n→∞時(shí),我們有 這樣得到了一個(gè)矛盾結(jié)果J(vn)→c>0.所以,存在V(x),R>0和{yn}?RN,使得 (27) 所以推得2 主要結(jié)論