(2,p)-Laplace方程的紧性条件及其应用

2018-07-23刘慧慧梁占平

太原理工大学学报 2018年4期

关键词：特征函数范数定理

刘慧慧，梁占平

(山西大学数学科学学院，太原 030006)

本文研究(2,p)-Laplace方程

(1)

我们称u是方程(1)的解，如果u满足

进一步，称u是方程(1)的正解。如果u是方程(1)的解，u≠0，并且u≥0对x∈Ω成立，令

(2)

近年来，许多学者用变分方法深入研究过方程(1)以及类似问题(如(p,q)-Laplace方程解的存在性)，也得到许多比较好的结果。为了得到解的存在性，大多数文献都需要讨论类似J的泛函的紧性条件[3-9]。

本文主要分为两个部分：第一部分主要说明J的紧性条件；第二部分利用J的紧性条件得到方程(1)的正解。为方便起见，固定一些符号：对所有t∈R，t±=max(±t,0)；|·|r表示Lr(Ω)，r∈[1,∞)中的范数；‖·‖*表示W-1,p'(Ω)中的范数；ci(i=1,2,…),C以及Cε表示不同的正常数。

1 主要结果

(1+‖un‖p)J'(un)→0，

1)f∶Ω×R→R是Carathéodory函数，且f(x,0)=0对几乎处处的x∈Ω成立。

2) |f(x,t)|≤α(x)(1+|t|p-1)对几乎处处的x∈Ω，所有的t∈R成立；其中，α∈L∞(Ω)且α(x)>0对几乎处处的x∈Ω成立。

(3)

4) 存在函数η∈L∞(Ω)，且η(x)>0对几乎处处的x∈Ω成立，使得μ1≤η(x)对几乎处处的x∈Ω成立，μ1≠η，且

5)tf(x,t)-pF(x,t)≥0对几乎处处的x∈Ω，所有的t≤0成立，且f(x,·)满足对每一个紧集K⊂[0,∞]，都可以找到ξK>0，使当t1>t2时，有

f(x,t1)-f(x,t2)≥-ξK(t1-t2) ，

对几乎处处的x∈Ω，所有的t1,t2∈K成立。

文献[3]证明了当f次临界，在∞附近(p-1)-超线性，在-∞附近(p-1)-次线性时，J满足C-条件。在文献[9]中，若f次临界且存在C>0，使得

本文研究当f满足下列条件(H)时，J的紧性条件。

(H) 对a1，a2<∞，极限

用∑p表示带有Dirichlet边界的p-Laplace算子的Fucik谱。具体地说，集合∑p表示使得

有非平凡解的(a,d)∈R2的全体。这里，u±=max{±u,0}.由文献[10]易知，若(a,d)∈∑p且a,d≠μ1，则a>μ1且d>μ1.其他Fucik谱的相关性质见文献[10-11]及其参考文献。

定理1 假设(H)成立，若(a1,a2)∉∑p，则J满足PS-条件。

定理1很好地描述了在f满足一个较弱的条件下，J仍具有紧性条件。此结论对于方程(1)解的存在性有着广泛的应用。本文将利用定理1来获得在f满足下列经典条件时，方程(1)正解的存在性。

(H1) 存在l0,l∞<∞，使得

令

(4)

定理2 假设(H0)和(H1)成立，若l0>λ1且l∞<μ1，或l0<λ1且l∞>μ1，则方程(1)有一个正解。

在文献[4]中，在l∞<μ1的假设下，作者利用拓扑度理论得到了方程(1)非负解的存在性，但是他们没有讨论l0>λ1且l∞<μ1这种情况下方程(1)正解的存在性。本文根据定理1，给出在l0>λ1且l∞<μ1这种情况下方程(1)正解的存在性的一个证明。文献[12]证明了当l0<λ1且l∞>μ1时方程(1)有一个正解。本文利用定理1也可得到上述结论，并且证明过程与方法更加简便。