我们考虑如下一类半线性 SchrÖdinger 方程
(S1) V(x),K(x)∈C(RN,R), g(x,u)∈C(RN×R,R) 关于 xj 是 1 - 周期,j=1,2,⋯,N;
(S2) 0∉σ(−Δ+V), σ(−Δ+V)∩(−∞,0)≠∅, 其中 σ 表示算子在 L2(RN) 空间中的谱;
(S3) K(x0):=maxx∈RNK(x),K(x)−K(x0)=o(|x−x0|2) 当 x→x0, V(x0)<0;
(S4) 对任意 (x,u)∈RN×R, |g(x,u)|≤c0(1+|u|p−1), 其中 c0>0, p∈(2,2∗);
(S5) g(x,u)u≥2G(x,u)≥0, g(x,u)=o(|u|) 当 u→0 对 x∈RN 一致成立 且infx∈RNK(x)>0;
(S6) 对 ∀u≠0, 2k0|u|2∗≥(N−2)g(x,u)u>0; g(x,u)/|u|2∗−1→0 当 u→0 对 x∈RN 一致成立,其中 k0=infx∈RNK(x).
若 K(x)=0, 许多学者给出了方程(1.1)非平凡解的存在性, 参见文献[1, 5, 6, 13, 15]及其参考文献. 另外,一些作者研究了同样情形下方程(1.1)基态解的存在性. 如果 V(x) 是周期的, 0 在算子 A:=−Δ+V 的谱间隔,近期Szulkin 和 Weth[11] 利用将强不定问题转化为正定问题的新方法证明了基态解的存在性. 此外对于奇非线性项,他们还得到无穷多个结构不同的解. 以上这些结果推广了早期 Li,Wang 和 Zeng[7]及 Pankov[8]取得的结果. 最近,Yang[16]证明了超线性椭圆问题基态解的存在性. 特别指出的是,在这些结果中,许多作者都假设 G(x,u)/|u|2→∞, 当 |u|→∞对 x一致成立, 同时要求 u→g(x,u)/|u|在区间 (−∞,0) 与(0,+∞)严格递增.
如果 K(x)≠0, 方程(1.1)非平凡解的存在性已经被诸多作者做了相当的研究, 参见文献[2, 4, 10, 14]. Chabrowski[2]推广了文献[4]中的早期结果,证明了在(S1)-(S5)条件下, 方程 (1.1)非平凡解的存在性. 如果条件 (S1)-(S4) 及 (S6) 成立,Schechter和 Zou[10]利用弱环绕定理给出了方程(1.1)非平凡解的存在性. 关于方程(1.1)非平凡解存在性的更多结果, 读者可参见文献[3, 9, 15] 和本文参考文献. 就我们所知,如果 K(x)≠0, 尚未有方程(1.1)基态解的存在性的结果.
本文主要关心方程(1.1)在 K(x)≠0 情形下基态解的存在性. 我们的主要结果如下.
定理1.1 假设条件 (S1)-(S4) 成立,并且 条件(S5) 或者 (S6) 成立,则问题(1.1)至少存在一个基态解.
注1.1 若 0<c≤2k0N−2, 则 g(x,u)={c|u|2∗u,|u|≤1,c|u|−23u,|u|>1,
设 E:=H1(RN),‖u‖1,2=(∫RN|∇u|2+|u|2dx)12 为 E 中通常的范数. 对 1<q<∞,令 ‖u‖q=(∫RN|u|qdx)1q 表示 Lq(RN) 中的范数. 令 C 表示不同的正常数.
众所周知,方程(1.1)的弱解对应着 C1 泛函 H:E→R 的临界点,其中
令 (E(λ))λ∈R 为算子 −Δ+V 在L2(RN) 中的谱族. E−=E(0)L2∩E, E+=(id−E(0))L2∩E, 则二次型 ∫RN(|∇u|2+V(x)u2)dx 在 E+ 上是正定的,在 E− 上是负定的. 在 E 中,我们引入一个新的内积 ⟨⋅,⋅⟩, 对应的范数 ‖⋅‖ 使得 ∫RN(|∇u|2+V(x)u2)dx=‖u+‖2−‖u−‖2,
为证明定理1.1,我们需要以下引理.
引理2.1 假设(S1)-(S4),(S6)成立,则
(1) 存在 λn∈[1,1+δ0], λn→1, 及 uλn∈E∖{0} 使得 H′λn(uλn)=0,Hλn(uλn)≤sup¯QH,
(2) {uλn} 有界且非vanishing,即存在 r,δ>0 和序列 yn∈RN 使得lim supn→∞∫Br(yn)(uλn)2dx≥δ.
(3) 对 ∀x∈RN, u≠0, 12˜g(x,u)u−˜G(x,u)>0, 其中 ˜g(x,u)=K(x)|u|2∗−2u+g(x,u), ˜G(x,u)=∫u0˜g(x,s)ds.
(4) sup¯QH<c∗, 其中 c∗:=SN/2N‖K‖(N−2)/2∞.
引理2.2 假设(S1)-(S4),(S6)成立,则 令 {uλn} 为引理 2.1 中给出的序列,则该序列也是 H 的(PS) 序列,并且满足 limn→∞H′(uλn)=0,limn→∞H(uλn)≤sup¯QH.
证 因为 uλn 有界,并且 ˜g(x,s)≤ϵ|u|+C(ϵ)|u|p−1+C|u|2∗−1, 则 limn→∞H(uλn)=limn→∞(Hλn(uλn)+(λn−1)(12‖u−λn‖2+∫RN˜G(x,uλn))),
此外,注意到对 ∀φ∈E, 有 limn→∞⟨H′(uλn),φ⟩=limn→∞(⟨H′λn(uλn),φ⟩+(λn−1)((u−λn,φ)+∫RN˜g(x,uλn)φ)),
现在我们证明定理1.1.
证 不失一般性,我们假设(S1)-(S4) 及 (S6) 成立, 对于另外一种情形证明类似. 令 {uλn} 为引理 2.1 给出的序列,则 uλn 有界且非vanishing, 即存在 r,δ>0 和序列 yn∈RN 使得 lim supn→∞∫Br(yn)(uλn)2dx≥δ.
假设 yn∈ZN, 如若不然选择足够大的 r. 定义 vλn(⋅)=uλn(⋅+yn), 则 lim supn→∞∫Br(0)(vλn)2dx≥12δ.
根据引理 2.2 及 H′ 关于 x 平移不变,可知 H′(vλn)→0.
在下文中,利用结论:对任意 x∈RN, u≠0, 有 12˜g(x,u)u−˜G(x,u)>0.
因为 vλn 有界,我们可假设 vλn⇀v 于 H1(RN). 如若不然,至多抽取子列 (仍记为 vλn). 由于vλn→v 于 L2loc(RN), 则 v≠0, 且H′(v)=0,由Fatou引理, H(v)=H(v)−12⟨H′(v),v⟩=∫RN(12˜g(x,v)v−˜G(x,v))dx≤limn→∞∫RN(12˜g(x,vλn)vλn−˜G(x,vλn))dx=limn→∞(H(vλn)−12⟨H′(vλn),vλn⟩)=limn→∞H(uλn)≤sup¯QH<c∗.
记 ˜K:={u∈E:H′(u)=0} 为 H 的临界点集, ˆC:=inf{H(u),u∈˜K∖{0}}.
对 H 的任意临界点 u≠0, 有 H(u)=H(u)−12⟨H′(u),u⟩=∫RN(12˜g(x,u)u−˜G(x,u))dx>0.
令 uj∈˜K∖{0} 使得 H(uj)→ˆC. 根据 ˆC≤sup¯QH<c∗, 有 (uj) 有界,并且至多取子列可使得 uj⇀u于E. 由于 H′λn 弱序列连续且 uj⇀u, 则 u∈˜K. 再由 uj≠0 非vanishing,因此 u≠0, 从而 u∈˜K∖{0}.
利用 Fauto 引理可得 ˆC=limj→∞H(uj)=limj→∞∫RN(12˜g(x,uj)uj−˜G(x,uj))dx≥∫RN(12˜g(x,u)u−˜G(x,u))dx=H(u)≥ˆC.