Loading [MathJax]/jax/output/HTML-CSS/jax.js
  数学物理学报  2015, Vol. 35 Issue (2): 225-233   PDF (302 KB)    
扩展功能
加入收藏夹
复制引文信息
加入引用管理器
Email Alert
RSS
本文作者相关文章
张正杰
张莹
RN拟线性椭圆型方程两个非负解的存在性
张正杰, 张莹     
华中师范大学数学与统计学学院 武汉 430079
摘要:该文运用变分方法研究 RN上一类拟线性椭圆型方程, 得到一定条件下这类问题的两个非负解的存在性. 其中一个解是通过局部极小得到的, 另一个是运用山路引理得到的.
关键词拟线性     非负解     山路引理    
Two Non-Negative Solutions of a Quasilinear Elliptic Equation on RN
Zhang Zhengjie, Zhang Ying    
School of Mathematics and Statistics Central China Normal University, Wuhan 430079
Abstract: In the paper, we used variational method to study a quasilinear elliptic equation on RN. We get that there exist two non-negative solutions for our problem, one solution is a local minimum and the other is of mountain pass type.
Key words: Quasilinear     Non-negative     Mountian pass    
1 引言

本文,我们考虑如下问题 {[γ(12(v(x)u2+|u|2))u]+γ(12(v(x)u2+|u|2))v(x)u=λv(x)u+h(x)xRN,uD1,2(RN),u(x)0,x,(1.1)

这里 N3,λR. 函数 γ,h(x),v(x) 适合如下条件

(γ1)~ γC([0,+),R)[0,) 上的非增函数,且γ()=limtγ(t)>0;

(γ2)~ 令 Γ(t)=t0γ(t)dt, g(t)=Γ(t2),则存在 ρ>0,满足 g(t)g(s)+g(s)(ts)+ρ(ts)2

对所有的 t,s0成立;

(h1)~ h(x)L2NN+2(RN),且在 RNh(x)0几乎处处成立,h(x)0;

(v1)~ $0我们研究问题(1.1) 思想主要来源于 Stuart教授$^{[9]}线,SobolevH_{0}^{1}(\Omega )L^{2*}(\Omega ).,^{[13]}R^N$上一类拟线性椭圆方程正解的存在性. 为了得到问题(1.1)的解, 我们采用与文献[1, 2, 3, 10]一样运用变分方法, 研究与问题(1.1)对应的变分泛函

事实上,函数 γ,h(x),v(x) 适合以上假设是为了对所有的 λR泛函 Φλ,hC1(D1,2 (RN),R),并且 Φλ,h 的临 界点的达到函数是问题(1.1)的弱解.

显然,对所有的 λ,当h0时,u0 总是问题(1.1) 的一个解; 如果γ(0)=γ() 并且 h0,则γ 是一个常数, 则问题(1.1) 就是如下线性方程的特征问题

λ1=inf{RN|u|2:uD1,2(RN),RNv(x)u2dx=1},

显然 λ1>0 是第一特征值,并且存在相应的特征函数 φD1,2(RN),φ>0 且满足 Δφ=λ1v(x)φ,xRN.

本文,我们研究在γ()<γ(0)条件下, 问题 (1.1)具有拟线性椭圆方程结构的情形. 我们证明了

定理1.1 假设(γ1),(γ2) (h1)(v1) 都满足, 且 γ()<γ(0) 并且λ 适合 γ()+γ()λ1<λ<γ(0)+γ()λ1, 则存在常数Hλ>0, 当 0<|h|L2NN+2<Hλ时, 问题(1.1)在 D1,2(RN)中至少存在两个非负解.

2 泛函 Φλ,h的基本性质和几个引理

为了证明我们的结果,我们需要如下引理. 在本节, 我们用(X,.)表示一个实的Banach空间,(X,.) 为其对偶空间.

首先,我们引用文献[3, 7, 9, 10]中给出的变分泛函具有山 路引理几何结构,则Cerami序列存在的结果.

引理2.1ΦC1(X,R)eX{0}. 令 P(e)={pC([0,1],X):p(0)=0, p(1)=e}, c(e)=infpP(e)maxt[0,1]Φ(p(t)). 假设

{pn}P(e) 是一串路径使得 Mn=maxt[0,1]Φ(pn(t))c(e). 则存在一 串序列{un}X 满足 Φ(un)c(e),(1+||un||)||Φ(un)||0

d(un,pn([0,1]))(1+||un||)0n.

引理2.1的证明已在文献[7]中给出.

引理2.2 (1) 假设条件(γ1),(h1)(v1) 满足, 则Φλ,hC1(D1,2(RN),R), 并且对所有的 λR,我们有 {(Φλ,h(u),φ)=RN[γ(12(v(x)u2+|u|2))(v(x)uφ+u.φ)λuφhφ]dx[2mm]u,φD1,2(RN).(2.2)

(2) 如果进一步增加条件 (γ2),则 Φλ,h:D1,2(RN)R 是弱下半连续的.

(1) 首先定义 F:(RN)×R×RNR 映射 F(x,s,p)=Γ(12[v(x)s2+|u|2])λ2s2sh(x).

我们容易验证 文献[8]中定理C.1 的假设条件满足,从而结论(1)得证.

(2) 假设 ωnωD1,2(RN) 弱收敛,由D1,2(RN)空间的性质及嵌入定理 ,我们可以假设ωnLploc(RN) (2p<2NN2) 空间中强收敛 . 结合v(x)h(x)假设条件,我们可以得到 RNv(x)(ωnω)2dx0

RNh(x)(ωnω)dx0.

从而,为了证明(2)的结果,我们只需证明 Φ0,0(ω)lim infnΦ0,0(ωn)

对于任意的 u,vD1,2(RN)成立. 令 y=(v(x)u,u), z=(v(x)v,v),则 yz=v(x)uv+uv.

由条件(γ2),我们得到 Φ0,0(u)Φ0,0(v)=RN(g(|y|2)g(|z|2))dxRNg(|z|2)|y||z|2dx=RNγ(|z|22)2|z||y||z|2dx.(2.3)

由结论(1)可知 Φ0,0(v)(uv)=RN(γ(12|z|2)v(uv)+v(uv))dx=RNγ(12|z|2)z(yz)dx.(2.4)

因此 Φ0,0(u)Φ0,0(v)Φ0,0(v)(uv)RNγ(12|z|2)(|z|(|y||z|)z(yz))dx=RNγ(12|z|2)(|z||y|zy)dx0.(2.5)

u=ωn,v=ω,这样可得 Φ0,0(ω)Φ0,0(ωn)Φ0,0(ω)(ωnω).

又因为ωnωD1,2(RN) 中弱收敛,且 Φ0,0(ω)(D1,2(RN)), 因此 Φ0,0(ω)(ωnω)0.

则 得到我们要证的结论 Φ0,0(ω)lim infnΦ0,0(ωn).

证毕.

引理2.3 假设条件(γ1),(h1),(v1)满足, 且 λ<γ(0)+γ()λ1,令 μλ=min{γ(),γ()+γ(0)λλ1}>0. 则存在Rλ>0,使得对所有的 u=Rλ,及 |h|2μλ8Rλλ1Hλ,有 Φλ,h(u)μλ8R2λ.

这个引理得证明与文献[9]中引理4.1 的证明相同,在此我们就不再重复. 引理2.4 假设 条件 (γ1)满足,ϕ 是特征值λ1 所对应的正特征函数. 则对所有的 λR,有 limtΦλ,h(tϕ)t2λ()[1+λ1]λ2RNv(x)ϕ2dx.

首先,易证 limtΓ(t22(v(x)ϕ2+|ϕ|2))t2=γ()2(v(x)ϕ2+|ϕ|2)RN上几乎处处成立.

另一方面 0Γ(t22(v(x)ϕ2+|ϕ|2))t2=γ(0)2(v(x)ϕ2+|ϕ|2).

t,由控制收敛定理,可以得到 Φλ,h(tϕ)t2=RN(Γ(t22(v(x)ϕ2+|ϕ|2))t212λv(x)ϕ2hϕt)dxRN[(γ()λ)v(x)ϕ2+γ()|ϕ|2]dx=[γ()λ+γ()λ1]2RNϕ2dx.(2.6)

证毕. 结合引理2.3 和 2.4,我们可以得到对某些λ, 泛函 Φλ,h具有山路引理得几何结构. 引理2.5 假设条件 (γ1) 和(h1) 满足, 并且 (λ,h) 适合 γ()(1+λ1)<λ<γ(0)+γ()λ1,

|h|2Hλ. 令 S={uX:u0, a.e. in RN}. 则存在序列{un}X,满足 Φλ,h(un)C>0,(1+un)Φλ,h(un)0,d(un,S)1+un0.(2.7)

且,(i) unuS 弱收敛X;

(ii) un两种情况中有一种一定成立.

在情形 (ii)中, 对任意 K>0,我们可以选取序列 ωn=KununωS (在 X中弱收敛).

这个引理就是文献[9]中的性质 6.1. 性质2.1 如果条件 (γ1),(γ2) 满足.

则对所有的 λ,tR,我们有 Φλ,h(tu)(1+t)Φλ,0(u)tΦλ,h(u)+t212Φλ,0(u)u. 固定λRuD1,2(RN), 对 s0 考虑定义为 q(s)=Φλ,0(su)=RN(Γ(s2[v(x)u2+|u|2])λ2sv(x)u2)dx 的映射q:[0,)R.

由引理2.1,我们可证 对所有的 s>0,qC1(0,)C[0,)q(s)=Φλ,0(su)12su. 由条件(γ1),我们知道q[0,) 的凸函数,且对所有的 s0 q(s)q(1)+q(1)(s1). 令 s=t2,我们得到 Φλ,0(tu)=Φλ,0(|t|u)=q(s)Φλ,0(u)+t212Φλ,0(u)u.(2.8)

由于 Φλ,h(u)=Φλ,0(u)RNuhdx

Φλ,h(u)u=Φλ,0(u)uRNuhdx.

所以Φλ,h(tu)+tRNuhdx=Φλ,0(tu)Φλ,0(u)+t212Φλ,0(u)u,

并且 Φλ,h(u)Φλ,0(u)=RNuhdx.

从而得到我们要证的结论 Φλ,h(tu)Φλ,0(u)+t212Φλ,0(u)utRNuhdx=(1+t)Φλ,0(u)tΦλ,h(u)+t212Φλ,0(u)u.(2.9)

证毕.

性质2.2 假设条件 (γ1) 满足,如果 (λ,h) 适合 γ()[1+λ1]<λ<γ(0)+γ()λ1h2Hλ. 记 S={uD1,2(RN):u0  a.e. in RN}.

则存在序列 {un} 适合 Φλ,h(un)c>0,(1+un)Φλ,h(un)0,d(un,S)1+un0.(2.10)

性质2.3 如果条件 (γ1)(γ2) 都满足,则对所有的 u,vD1,2(RN)λR,有 η2uv2Φλ,h(u)Φλ,h(v)+Φλ,h(v)uv+λ2|uv|22(2.11)

成立(这里 η=min{ρ,γ()).

上述性质2.2 和2.3 的证明可在文献[9]中查看. \setcounter{section}{3}\setcounter{equation}{0}

3 主要结果

在本节,我们将证明本文的主要结果.

定理3.1 假设条件 (γ1),(γ2),(h1),(v1) 都满足,且λ<γ(0)+γ()λ1, |h|2Hλ. 则存在函数 u1=u1(λ,h)B(0,Rλ), 使得对所有的 v¯B(0,Rλ), Φλ,h(u1)Φλ,h(v), 且 在RN上函数 u10,并且 Φλ,h(u1)=0,Φλ,h(u1)<0 (这里 HλBλ 由引理2.3给出).

对任意的uD1,2(RN)u>0,

我们可以得到 Φλ,h(tu)=RNΓ(12(v(x)t2u2+t2|u|2))dxλ2RNv(x)t2u2dxRNtuhdx.(3.1)

因此 dΦλ,h(tu)dt=tRN[γ(12(v(x)t2u2+t2|u|2))(v(x)u2+|u|2)λv(x)u2]dxRNuhdx.(3.2)

由 (3.1)式,我们知道存在常数 ˉt,当t<ˉt, 有 dΦλ,h(tu)dt<0.所以 Φλ,h(tu)t(0,ˉt)上的减函数. 又 Φλ,h(0)=0,结合引理2.3,我们可以得到 m=inf{Φλ,h(u):u¯B(0,Rλ)}<0.

由于D1,2(RN) 是自反的Banach空间, 且¯B(0,Rλ) 是凸闭子集,利用引理2.2, 可得 v¯B(0,Rλ)Φλ,h(v)=m,从而完成定理3.1的证明. 定理3.2 假设条件 (γ1) 满足, 且 {ωn} 是空间 D1,2(RN)的一串序列,适合 ωnω (弱收敛). {tn} 为一串数列,满足 tn0,在 空间(D1,2(RN))tnΦλ,h(ωntn)0. 则对所以 ϕD1,2(RN),有 RN(γ()[v(x)ωϕ+ωϕ]λv(x)ωϕ)dx=0.(3.3)

ϕc 中具有紧支集 ΩRN的函数,由引理2.1,可以得到 (tnΦλ,h(ωntn),ϕ)=Ω{γ(12tn[v(x)ω2n+|ωn|2])(v(x)ωnϕ+ωnϕ)λωnϕtnϕh}dx.

因为tn0,tnΦλ,h(ωntn)0ωnω,为了证明我们的结论, 仅需证明 Ω{γ(12t2n[v(x)ω2n+|ωn|2])γ()}[v(x)ωnϕ+ωnϕ]dx0.

zn=(v(x)ωn,ωn), z=(v(x)ϕ,ϕ),

zn,z[L2(Ω)]N+1. 由于 在 D1,2(RN)ωnω (弱收敛),

因此存在正常数 Z 适合对所有的n, Ω|zn|2dxZ. 定义 Amn={xΩ:|zn|21m},Bmn=ΩAmn,

则可得到 Ω{γ(12t2n[v(x)ω2n+|ωn|2])γ()}[v(x)ωnϕ+ωnϕ]dx=Ω{(γ(|zn|22t2)γ())znz}dx=(Amn+Bmn){γ(|zn|22t2n)γ()}znzdx.(3.4)

首先,对所有的 m,nN Amn|γ(|zn|22t2n)γ()||zn||z|dxγ(0)γ()mAmn|z|dxγ(0)γ()m|Ω|12{Ω|z|2dx}12.(3.5)

另一方面,对每个mN, 则存在 Sm>0 适合 |γ(s)γ()|<1m 对所有的 sSm. 由于 tn0, 存在 N(m)>0

满足 t2n12mSm

对所有的 nN(m).

从而,在 Bmn上, |γ(12t2n|zn|2)γ()|<1mnN(m),我们可以得到 Bmn|γ(12t2n|zn|2)γ()||zn||z|dx1m{Ω|zn|2dx}12{Ω|z|2dx}12Z12m{Ω|z|2dx}12.(3.6)

因此,对所有的 mNnN(m) Ω|γ(12t2n|zn|2)γ()||zn||z|dx{γ(0)γ()m|Ω|12+Z12m}{Ω|z|2dx}12.(3.7)

n,我们可以得到 Ω|γ(12t2n|zn|2)γ()||zn||z|dx0.(3.8)

因为具有紧支集的 C 函数在 D1,2(RN)中是稠密的, 则完成我们的证明.

定理3.3 在引理2.5的条件下,进一步假设条件 (γ2)成立, 且 h0,则存在序列 {un}D1,2(RN)uS 满足 unu (在 D1,2(RN)中弱收敛)

并且满足 (2.7)式. 为了证明定理的结论,我们只需证明引理2.5 中情形(ii) 不出现. 我们采用反证法,假设序列{un} 满足 (2.7) 式但是 un. 令 ωn=Kunun  (这里 K>0 是一个后面取定的常数).

则当 ntn=Kun0.

利用空间 D1,2(RN)的性质, 我们可以得到{ωn}的一串子列,我们仍用 {ωn}表示, 其在n时在 D1,2(RN)弱收敛到ωωS. 由于 Φλ,h(ωn)=Φλ,h(tnun) 由性质2.1,我们可以得到 lim supnΦλ,h(ωn)c.

另一方面, Φλ,h(ωn)=RN{Γ(12[v(x)ω2n+|ωn|2])λ2v(x)ω2nωnh}dx12RN{[γ()λ]ω2n+γ()|ωn|2ωnh}dx=γ()λ2RNv(x)ω2ndx+γ()2K2RNωnhdx,(3.9)

由于对所有的n,ωn=K. 如果 ω=0,则有 RNv(x)ω2ndx0RNωnhdx0,所以 lim infnΦλ,h(ωn)γ()2K2.

由于 K>0 可任意选取,因此我们可以将K>0选取适当大, 使其满足 γ()2K2>c,则与我们前面的结论 lim supnΦλ,h(ωn)c矛盾.

所以,我们有 ω0ω0. 从而 RNωϕdx>0,

这里ϕλ1对应的一个正的特征函数. 结合定理3.2, 则得到 λRNωϕdx=γ()RN[ωϕ+ωϕ]dx=γ()RN[ωϕ+λ1ωϕ]dx,

则有 λ=γ()[1+λ1],这与前面的假设 λ>γ()[1+λ1]矛盾. 这样由假设 un 就导出矛盾结果,则假设不成立,

因此定理结论得证.

现在,我们来证明定理1.1: 首先,由定理3.1我们证得 u1 是 T中使泛函 Φλ,h 达到局部极小. 然后, 由引理2.3 和引理2.4,知泛函 Φλ,h 具有山路 引理几何结构. 从而运用引理2.1,我们得到泛函 Φλ,h 的一串 Cerami 序列 {un}. 应用引理2.5,性质2.2,性质2.3 和定理3.3,我们可以证明 {un}至少存在一串子序列在 D1,2(RN)中强收敛到 u2, 结合泛函 Φλ,h的性质,我们可以得到 Φλ,h(u2)=0,Φλ,h(u2)=c. 则完成定理的证明.

参考文献
[1] Ambrosetti A, Badiale M. Homoclinics: Poincare-Melnikov type results via a variational approach. Ann Inst H Poincare Analyse Non Lineaire, 1998, 15: 233-252
[2] Abdelkander Boucherif, Mohamed Bouguima. Perturbation in a free boundary problem. Acta Math Sci, 1997, 17(4): 452-465
[3] Cerami G. Sull'esistenza di autovalori per un problema al contorno non lineare. Ann Dit, 1980, 24: 161-179
[4] Cao Daomin, Peng Shuangjie, Yan Shusen. Multiplicity of solutions for the plasma problem in two dimensions. (to appear)
[5] Ghoussoub N. A min-max principle with a relaxed boundary condition. Proc AMS, 1983, 117: 981-1012
[6] Gilbarg D, Trudinger N S. Elliptic Partial Differential Equations of Second Order (2nd Edition). Belin: Springer, 1998
[7] Rabier P J. On the Ekeland-Ghoussoub-Preiss and Stuart criteria for locating Cerami sequence. Ricerche di Math, 2012, 61: 19-29
[8] Struwe M. Variational Methods. Berlin: Springer, 1996
[9] Stuart C A. Two positive solutions of a quasilinear elliptic Dirichlet problem. Milan J Math, 2011, 79: 327-341
[10] Stuart C A, Zhou H S. Existence of guided cylindrical TM-modes in an inhomogeneous self-focusing dielectric. Math Models Meth Appl Sci, 2010, 20: 1681-1719
[11] Li Yi, Peng Shuangjie. Multiple solutions to an elliptic problem related to vortex pairs. (to appear)
[12] Zhang K. Mountain pass solutions for a double-well energy. J Diff Equats, 2002, 182: 490-510
[13] 赵越. RN上一类拟线性椭圆方程解的存在性[D]. 武汉:华中师范大学, 2013
RN拟线性椭圆型方程两个非负解的存在性
张正杰, 张莹