一类非线性Schrödinger-Kirchhoff系统非平凡解的存在性
2015-03-03吴晓蕾
吴晓蕾
(吕梁学院 数学系,山西 离石 033000)
一类非线性Schrödinger-Kirchhoff系统非平凡解的存在性
吴晓蕾
(吕梁学院 数学系,山西 离石 033000)
文章主要讨论带有位势V(x)的非线性Schrödinger-Kirchhoff型方程
Schrödinger-Kirchhofff型方程; 山路定理; 非平凡解
0 引言
当λ=0或b=0上述方程为我们kirchhoff型方程、Schrödinger型方程;近年来,国内外学者对这类方程解的情况研究的比较多(基态解、高能量解、驻波解等),可参考文献[1-3],但是对Schrödinger-Kirchhoff型方程讨论比较少. 受那些文献启发,这篇文章利用变分方法中的山路定理研究(1)的非平凡解的存在性.
为了讨论方便,g∈C(R3×R,R)还需要满足下列假设条件:
(H1)h(x)∈L2(R3)且V(x)≥∂∈R+,对x∈R3一致成立;
(H3)存在c>0,p∈(4,6)使得对任意x∈R3,t∈R,有g(x,t)≤c(|t|+|t|p-1);
(H4)存在σ∈[0,∂)有l(t)=tg(x,t)-4G(x,t)≥-σt2,x∈R3,t∈R;
(H5)g(x,t)=-g(x,-t)且t≥0时,tg(x,t)≥0.
我们得到下面的定理
定理1 若(H1)-(H5)成立,则问题(1)在a≥1,b>0时至少存在一个非平凡解.
1 相关概念及引理
引理1 在上述假设条件下,I∈C1(E,E*).
证明 令η(u)=∫G(x,u),则由文知只需证η∈C1(E,E*)且〈η′(u),v〉=∫g(x,u)v.
先证η的Gatéaux微分的存在性.
根据(H2),(H3)及Hölder不等式知, 对任意s∈[0,1],θ∈[0,1]有
再证η′:E→E*为弱连续的且为紧算子.
引理2 在定理假设条件下, 若a≥1,则I满足(ps)条件.
证明 设{un}⊂E满足I(un)→d>0,I′(un)→0,则{un}有界. 事实上
因为a≥1,σ∈[0,∂),所以{un}⊂E有界.
引理3[6](山路定理)若I∈C1(X,R), 对于∂<β,ρ>0,v∈X,||v||>ρ,有
2 定理1的证明
证明 根据山路引理, 只需要分两步找泛函I的临界点. 先证存在β,ρ>0使得对任意u∈E,||u||=ρ有I(u)≥0;再证存在e∈E,||e||>ρ,I(e)<0.
从(H2),(H3)知对任意ε>0,存在Cε>0有G(x,t)≤εt2+Cε|t|p.因此对任意u∈E有
于是当ε→0时,存在β,ρ>0,有inf{I(u):||u||=ρ}≥β>0.
再由(H2)-(H5)得到对任意M1,M>0有G(x,t)≤M1t4-Mt2,所以
选取M1>0,s充分大, 令e=su有||e||>ρ,I(e)<0,定理1得证.
[1] APRILE T D,MUGNAI D.Solitary waves for nonlinear Klein-Gordon-Maxwell and Schrödinger-Maxwell equations[J].Proc.Roy.Soc.Edinburgh Sect.A,2004(134):893-906
[2] WU X.Existence of nontrivial solutions and high energy solutions for Schrodiger-Kirchhoff ty-pe equations in RN[J].Nonlinear Anal,2011(12):1278-1287
[3] STRAUSS W A.Existence of solitary waves in hinger dimensions[J].Comm.Math.Phys,1977(55):149-162
[4] 张恭庆,林源渠,泛函分析讲义(上册)[M].北京:北京大学出版社,1987
[5] 郭大钧,非线性泛函分析[M].2版.北京:山东科学技术出版社,2001
[6] 王 术.Sobolev空间与偏微分方程理论[M].北京:科学出版社,2009
Existence of Nontrivial Solution for a Class of the Nonlinear Schrödinger-Kirchhoff System with Potential
WU Xiaolei
(Department of Mathematics, LVliang University, Lishi 033000, China)
We study the existence of nontrivial solution for the nonlinear Schrödinger-Kirchhoff system with potential.(1)By using Mountain pass theorem in variational method, we prove that there exist at least one nontrivial solution.
schrödinger-kirchhoff system; mountain pass theorem; nontrivial solution
2015-10-20
吴晓蕾(1987-),女,山西运城人,硕士生,吕梁学院数学系助教,主要从事非线性泛函与非线性微分方程研究.
(1)
1672-2027(2015)04-0020-03
O177.91
A
(λ≥0)非平凡解的存在性,利用山路定理得到其至少存在一个非平凡解.