帶奇異項(xiàng)的次臨界Schr?dinger方程的基態(tài)解

汪繼秀, 張丹丹*, 黃巧巧

(1. 湖北文理學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 湖北 襄陽 441053; 2. 湖北文理學(xué)院 理工學(xué)院電子科學(xué)與信息工程系, 湖北 襄陽 441025)

1 引言及預(yù)備知識

本文主要研究一類次臨界帶奇異項(xiàng)的擬線性Schr?dinger方程

u|?Ω=0

(1)

研究這類方程的動機(jī)主要源于

i?tz=-Δz+W(x)z-h(x,|z|2)z-

Δl(|z|2)l′(|z|2)z,

(2)

其中,i是虛數(shù)單位,z:R×RN→C,W:RN→R是給定勢能,h:(RN,R+)→R,l:R+→R.

這類Schr?dinger方程經(jīng)常出現(xiàn)在數(shù)學(xué)物理中,并且取不同的非線性項(xiàng)l可以得到不同的物理現(xiàn)象的模型[1-7].本文特別感興趣的是關(guān)于問題(2)的駐波解,即令z(t,x)=e-iEtu(x),E∈R,u是一實(shí)值函數(shù),則方程(2)轉(zhuǎn)化成

-Δu+V(x)u-Δl(|u|2)l′(|u|2)u=

h(x,u),x∈RN,

(3)

其中,V(x)=W(x)-E,h是一個新的非線性項(xiàng).若z是方程(2)的解當(dāng)且僅當(dāng)u是橢圓型方程(3)的解.若取l(s)=s,則方程(3)轉(zhuǎn)化成

-Δu+V(x)u-Δ(|u|2)u=

h(x,u),x∈RN,

(4)

當(dāng)h(x,u)=|u|q-2u,Poppenberg等[8]證明了若N≥3,4

h(x,u)=λ|u|q-2u+|u|22*(0)-2u,

若N≥3,λ>0,4

2 主要結(jié)果

由變分法,方程(1)對應(yīng)的泛函

f(-t)=-f(t),t∈(-∞,0],

則I(u)轉(zhuǎn)化為

▽v▽φ-

由文獻(xiàn)[10],如果v是

(5)

的解,則u=f(v)是方程(1)的解.

定理1假設(shè)N≥3,0≤μ<2,40時,方程(5)(即方程(1))至少有一個基態(tài)解.

3 定理的證明

▽u▽vdx,

Ls(Ω,|x|-μ)表示帶權(quán)函數(shù)|x|-μ的Ls范數(shù),其范數(shù)定義為

證明中為了方便,記C為一個正常數(shù)(在同一個數(shù)學(xué)式子里也可能不同).由于0∈Ω,不妨假設(shè)B1?Ω(B1為RN中單位球).為了證明定理1,需要先給出幾個引理.

引理1[10-11,13-14]f(t)滿足以下性質(zhì):

(i)f是定義在R上的C∞函數(shù),并且可逆;

(ii) ?t∈R,0

(iii) ?t∈R,|f(t)|≤|t|;

(v) 存在C>0使得

令

▽v|2dx<ρ2},

則有如下引理.

引理2當(dāng)λ>0,泛函J滿足:

(i) 存在α0,ρ0>0,使得當(dāng)v∈?B(ρ0),J(v)≥α0>0;

證明(i) 由引理1(vii)知

▽f2(v)|2dx=

(6)

由4

再由上式對?v∈?B(ρ)有

(7)

由(7)式和引理1(v),當(dāng)t充分大,則有

則q>4,當(dāng)t→+∞時,J(v)→-∞.

因而得到引理1(ii).

γ(1)≠0,J(γ(1))<0}.

J(vn)→c, (1+‖vn‖)J′(vn)→0.

〈J′(vn),φn〉→0,n→∞.

因此從上式有

引理4在定理1的條件下,J關(guān)于水平集c滿足(C)c條件.

vn→v,a.e.于Ω,

(8)

vn→v, 于Lp(Ω,|x|-μ),

2≤p<2*(μ), 0≤μ<2.

(9)

J(vn)→c, J′(vn)→0,

〈J′(vn),vn-v〉=o(1).

(10)

由(9)式和引理1(i)及(iii)可知

f(vn)→f(v), 于Lq(Ω,|x|-μ),

4

則

且vn?v與L2*(μ)(Ω,|x|-μ),因而

(11)

綜合(8)和(11)式有

〈J′(v),vn-v〉=o(1).

(12)

另外,Lebesgue控制收斂暗含

|f(vn)|q-2f(vn)f′(vn)→

由H?lder不等式和

可得

(vn-v)dx→0.

(13)

結(jié)合(10)、(12)和(13)式可得

o(1)=〈J′(vn)-J′(v),v-vn〉=

(vn-v)dx=‖vn-v‖+o(1),

利用引理3、引理4和山路引理[16]直接可以得到定理1.