广义p-Laplace边值问题正解的存在性与多解性*

2013-09-15 11:18白定勇左敏贤
关键词:边值问题不动点半轴

白定勇,左敏贤

(广州大学数学与信息科学学院∥数学与交叉科学广东普通高校重点实验室 (广州大学),广东广州 510006)

考虑如下边值问题

其中,λ是个正参数。记R=(-∞,∞),R+=[0,∞)。我们假设:

(A1)φ:R→R是单调递增的奇同胚映射,且存在从(0,∞)到(0,∞)上的单调递增同胚映射ψ1和ψ2,使得ψ1(x)φ(y)≤φ(xy)≤ψ2(x)φ(y),x,y>0;

(A2)F:(0,1)×R+→R+连续,且存在函数f∈C(R+,R+)及 α1,α2∈C((0,1);R+),使得

其中,α1,α2满足:

函数 φ(u′)包含两种重要情形:φ(u′)=u′和φ(u′)=|u′|p-2u′,p>1 。当 φ(u′)=u′时,问题(1)是如下熟知的二阶常微分方程边值问题:

关于问题 (2)正解的存在性和多解性研究已有大量文献,参见文 [1 -5]。若 φ(u′)=|u′|p-2u′,p>1,记为 φp(u′),则问题 (1)是一维p-Laplace边值问题:

近年来,一维p-Laplace边值问题 (3)的正解得到人们的广泛关注,对其研究也日益深入。Agarwal等[6]讨论了问题 (3)特征值集合的结构及正解的存在性与多解性,得到了丰富而有意义的结果。此外,还可参见文[7-14]及其参考文献对一维p-Laplace含参边值问题的研究。但是,对于广义p-Laplace边值问题的研究相对较少[15-19]。Wang[15]利用锥上的不动点指数定理研究了广义p-Laplace问题 (1)正解及多个正解的存在性,给出了参数 λ 的显式开区间,其中F(t,u)=a(t)f(u),a∈C([0,1];R+),f∈ C(R+;R+)。文[15]对多个正解的研究中,其基本假设条件是非线性项f在右正半轴u>0上恒正,即f(u)>0对∀u>0成立。在文 [16]中,Bai和Xu讨论了含时滞的多参数广义p-Laplace问题,在多解性研究中同样要求非线性项在右正半轴上恒正。另外,O'Regan等[7]对一维p-Laplace含参系统多个径向正解的研究中,其基本条件亦是如此。本文受文[6-7,15-16]的启发,研究参数λ的特征区间,讨论问题 (1)正解的存在性与多解性。本文的主要结果不仅推广了一维p-Laplace的情形,而且多解性结果改进了文 [7,15-16]要求非线性项在右正半轴恒正的基本假设条件,允许非线性项在右正半轴的某些子集上恒为零。

1 准备工作

易证,q(t)是[δ,1-δ]上的正值连续函数。我们记L=min{q(t):t∈[δ,1-δ]}。

引理1[15]假设条件 (A1)成立,则对所有的x,y>0 ,有

利用凹函数的性质容易证明下面的引理,亦可参见文 [16]。

K={y∈X:y是[0,1]上的非负凹函数}定义算子Tλ:K→X

其中,σ∈(0,1)是方程Γu(t)=0,0≤t≤1的解。这里,映射Γ:K→C[0,1]定义为

由文 [15]的讨论知算子Tλ有定义。显然

在 (0,1)上 连 续 非 增,(Tλu)/(σ)=0,且(φ((Tλu)/(t)))/=-λF(t,u(t)),t∈ (0,1)。所以Tλ(K)⊂K,且Tλ在K中的正不动点就是问题(1)的正解。另外,易证Tλ:K→K紧连续。

本文的主要工具是如下不动点定理[20]。

引理3[20]令X是Banach空间,K⊂X为X中的一个锥,Ω1,Ω2是X中的开子集,且0∈Ω1,⊂Ω2。算子T:K∩Ω1)→K是一个连续紧算子。若下列情形之一满足:

(i)‖Tu‖≤‖u‖,u∈K∩∂Ω1,且‖Tu‖≥‖u‖,u∈K∩∂Ω2;

(ii)‖Tu‖ ≥ ‖u‖,u∈K∩ ∂Ω1,且‖Tu‖≤‖u‖,u∈K∩∂Ω2。

则T在K∩Ω1)中至少有一不动点。

2 正解的存在性与多解性

下面叙述本文的主要结果及其证明。首先我们讨论问题 (1)至少一个正解的存在性。

其中

同样有

从而 ‖Tλu‖ ≥L·(λ(f∞-ε))·δ‖u‖ ≥‖u‖。类似地 ,若σ>1-δ,有

若σ<δ,有

所以,对u∈K∩∂ΩR,有‖Tλu‖≥‖u‖由引理3(i),问题 (1)至少存在一个正解。

‖Τλu‖ ≥L·ψ-12(λ(f0-ε))·δ‖u‖ ≥ ‖u‖

由引理3(ii),问题 (1)至少存在一个正解u。

推论1 设(A1),(A2)和(A3)成立,若条件(i)f0=∞ ,f∞=0和 (ii)f0=0,f∞=∞ 之一满足,则对任意λ>0,问题 (1)都至少存在一个正解。

下面讨论问题 (1)多个正解的存在性。为此,假设

为方便起见,我们再引入下列记号:

易证,在条件(A2)和(A4)下,0<λ*≤∞,0≤λ**<∞ 。

另外,我们还需要如下两个引理。

引理4 假设(A1),(A2)和(A3)成立。如果存在常数R>r>0,使得

则问题 (1)存在正解u∈K,且满足r≤‖u‖≤R。

另一方面,令ΩR={u∈X:‖u‖<R}。则对u∈K∩∂ΩR,利用引理2,有R≥u(t)≥δ‖u‖=δR,t∈[δ,1-δ]。由于Tλu(σ)是Tλu(t)在[0,1]上的最大值,利用引理1,若 σ∈[δ,1-δ],则

则问题 (1)存在正解u∈K,且满足r≤‖u‖≤R。

证明 首先,易证我们的假设条件是相容的。另外,类似于引理4的证明,利用引理3(ii),问题 (1)至少存在一个正解u,且满足r≤‖u‖≤R。

定理3 设 (A1),(A2),(A3)和 (A4)成立,且f0=∞,f∞=∞ 。则对λ∈(0,λ*),问题(1)至少存在两个正解。

定理4 设 (A1),(A2),(A3)和(A4)成立,且f0=0,f∞=0。则对 λ ∈ (λ**,∞),问题(1)至少存在两个正解。

推论4 设(A1)-(A3)及(A4)成立,且f0=∞ 或f∞=∞ 。则对λ∈(0,λ*),问题 (1)至少存在一个正解。

推论5 设(A1)-(A3)及(A4)成立,且f0=0或f∞=0。则对λ∈(λ**,∞),问题 (1)至少存在一个正解。

3 例子

设a>0,b>0.我们考察下面的函数

容易验证f0=∞,f∞=∞ 。由定理3,存在λ*>0,当λ∈(0,λ*)时,问题 (1)至少存在两个正解。文 [7,15-16]要求非线性项f(u)>0对所有的u>0成立。而我们给出的条件 (A4)允许非线性项在某段区间上恒为零,如上面所给函数f(u)在区间 [10a,100a]上恒为零。所以本文的多解性条件推广了文 [7,15-16]中的基本条件,从而使适用的函数更为广泛。

[1]HA K S,LEE Y.Existence of multiple positive solutions of singular boundary value problem [J].Nonl Anal,1997,28(8):1429-1438.

[2]FINK A M,GATICA J A,HERNANDEZ G E.Eigenvalues of generalized Gelfand models [J].Nonl Anal,1993,20(12):1453-1468.

[3]WANG H.On the existence of positive solutions for semilinear elliptic equations in annulus[J].J Differ Equ,1994,109:1-7.

[4]ERBE L H,WANG H.On the existence of positive solutions of ordinary differential equations[J].Proc Amer Math Soc,1994,120:743-748.

[5]HENDERSON J,WANG H.Positive solutions for nonlinear eigenvalue problems[J].J Math Anal Appl,1997,208:252-259.

[6]AGARWALR R,LU H,O'REGAN D.Eigenvalues and the one-dimensionalp-Laplacian[J].J Math Anal Appl,2002,266:383 -400.

[7]O'REGAN D,WANG H.On the number of positive solutions of elliptic systems[J].Math Nachr,2007,280(12):1417-1430.

[8]MANASEVICH R,MAWHIN J.The spectrum ofp-Laplacian systems with various boundary conditions and applications[J].Adv Differ Equ,2000,5:1289 -1318.

[9]FILIPPAKIS M E,PAPAGEORGIOU N S.Existence of multiple positive solutions for nonlinear eigenvalue problems with thep-Laplacian and nonsmooth potential[J].J Nonl Funct Anal Differ Equ,2007,1:17-32.

[10]HAI D D.Positive solutions for a class of singular semipositonep-Laplacian problems[J].Differ Integ Equ,2007,20:51-62.

[11]ALI J,SHIVAJI R.Positive solutions for a class ofp-Laplacian systems with multiple parameters[J].J Math Anal Appl,2007,335:1013 -1019.

[12]KAJIKIYA R,LEE Y,SIM INBO.Bifurcation of signchanging solutions for one-dimensionalp-Laplacian with a strong singular weighp-sublinear at∞ [J].Nonl A-nal,2009,71:1235 -1249.

[13]KIM C.The three-solutions theorem forp-Laplacian boundary value problems[J].Nonl Anal,2012,75:924-931.

[14]KIM C,WARDB J R.Nonresonance for a one-dimensionalp-Laplacian with strong singularity[J].Appl Math Lett,2011,24:1400 -1404.

[15]WANG H.On the number of positive solutions of nonlinear systems[J].J Math Anal Appl,2003,281:287 -306.

[16]BAI D,XU Y.Positive solutions and eigenvalue regions of two-delay singular systems with a twin parameter[J].Nonl Anal,2007,66:2547 -2564.

[17]LEE E,LEE Y.A multiplicity result for generalized Laplacian systems with multiparameters[J].Nonl Anal,2009,71:366-376.

[18]HERDERSON J,WANG H.Nonlinear eigenvalue problems for quasilinear systems[J].Comput Math Appl,2005,49:1941-1949.

[19]HERDERSON J,WANG H.An eigenvalue problem for quasilinear systems[J].Rocky Mountain J Math,2007,37:215-228.

[20]Guo D,LAKSHMIKANTHAM V.Nonlinear problems in abstract cones[M].Orlando:Academic Press,1988.

猜你喜欢
边值问题不动点半轴
一种橡胶扭力半轴组件
基于一类迭代方程可微性解存在探讨
探明究竟,大道至简
——对2018年广州市一道中考题的研究
一类完全三阶边值问题解的存在性
四阶线性常微分方程两点边值问题正解的存在性
W-空间上6个映射的公共不动点
活用“不动点”解决几类数学问题
一类含有扰动项的椭圆型方程边值问题多重解存在性研究
汽车半轴自动化技术取得新突破
与不动点性质相关的新常数