APP下载

一维离散p-Laplacian边值问题多个解的存在性

2014-08-07谢春杰

关键词:边值问题差分算子

景 兰, 谢春杰

(1.兰州职业技术学院,甘肃兰州730070; 2.西北师范大学数学与统计学院,甘肃兰州730070)

1 引言及预备知识

非线性差分方程广泛应用于研究计算机科学、经济学、神经网络、生态学及控制论等学科中出现的离散模型.近年来,对于非线性差分边值问题已经有很多人研究过,见文献[1-12]及其参考文献.特别地,1997年,R.P.Agarwal等[1]运用上下解方法获得了二阶离散边值问题

解的存在性.2005年,R.P.Agarwal等[7]运用变分法讨论了一维离散p-Laplacian边值问题

2个解的存在性.对于问题(2)解的存在性已经被许多人研究过,见文献[8-12]及其参考文献,但据我们所知,对于问题(2)多个解的存在性研究较少.受以上文献的启发,本文运用Brouwer度理论[13]发展一维离散p-Laplacian边值问题

的上下解方法,并讨论其多个解的存在性,其中,[1,T]Z:={1,2,…,T-1,T},φp(s)=|s|p-2s,p>1,f:[1,T]Z×R➝R连续,R=(-∞,+∞),w(k):[1,T+1]Z➝(0,+∞).

本文运用Brouwer度理论[13]发展了问题(3)的上下解方法,并获得了其多个解的存在性,见定理2.2,该结果是对文献[1]中定理3.1的推广,也是对问题(2)多个解存在性的发展.此外,相应的连续形式的一维p-Laplacian边值问题多个解的存在性结果,参见文献[14-16].

记E={u∈RT+2,u=(u(0),u(1),u(2),…,u(T),u(T+1))}.

定义1.1对∀u,v,w∈E有

1)若对∀k∈[0,T+1]Z,u(k)≤v(k),记u≤v;

2)若对∀k∈[1,T]Z,u(k)

3)若w≺u≺v,记u∈(w,v).

定义1.2对∀α,β∈E,称α是问题(3)的下解,如果

称β是问题(3)的上解,如果

当不等式(4)和(6)是严格不等式时,称α和β分别是问题(3)的严格下解和严格上解.

2 主要定理及其证明

定义空间E0={u∈E,u(0)=u(T+1)=0},其基本元素记为(u(1),u(2),…,u(T)),与RT+2中元素(0,u(1),u(2),…,u(T),0)相对应,则方程(3)的差分算子在E0上有定义.定义范数,则空间E0按该范数‖·‖构成Banach空间.

定义连续算子T:E0➝RT为

定理2.1设α和β分别是问题(3)的下解和上解,且α≤β,则问题(3)至少存在一个解u满足α≤u≤β.当α和β分别是问题(3)的严格下解和上解时,则∃R>0,使得d(T,Ωαβ,0)=1,其中

证明定义函数γ(k,u(k)):[1,T]Z×R➝R如下

第1步证明若辅助问题(8)存在解

则α≤u≤β.下面证α≤u,u≤β同理可证.

反设∃i∈[0,T+1]Z,使得α(i)>u(i).因α(0)≤0,α(T+1)≤0,则∃m∈[1,T]Z有

从而结合φp为增函数可得

而由下解α的定义得

与(9)式矛盾.因此α≤u.

第2步用Brouwer度证明辅助问题(8)至少存在一个解.

定义连续算子:E0➝RT为

则显然辅助问题(8)的解是在E0中的零点.定义同伦

由f的连续性及γ的定义得,∃R>0使得

假设(λ,0,u(1),…,u(T),0)∈[0,1]×E0是Γ(λ,u)=0的一个可能的解,即u∈E0满足

由Brouwer度的同伦不变性得

因此d(,BR(0),0)=1,则辅助问题(8)至少存在一个解.

综上所述,若α和β分别是问题(3)的下解和上解,且α≤β,则问题(3)至少存在一个解u∈E0使得α≤u≤β,且∃R>0,有d(T,BR(0),0)=1.

第3步证明当α和β分别是问题(3)的严格下解和严格上解时,对第2步中定义的R>0,有d(T,Ωαβ,0)=1,其中

因α和β分别是问题(3)的严格下解和严格上解,则α和β也是问题(3)上解和下解.由第1步和第2步得α≤u≤β.下证α≺u≺β.先证α≺u成立.因为α(0)≤0,α(T+1)≤0,只需证明对∀k∈[1,T]Z,α(k)

结合严格下解α的定义得

与(13)式矛盾.因此α(k)

同理可证u≺β.

综上可得α≺u≺β,且由第2步知,‖u‖

则辅助问题(8)至少存在一个解u,且u∈Ωαβ.在Ωαβ上T=,由 Brouwer度的切除性得

定理2.2假设问题(3)存在2个严格下解α1和α2以及2个严格上解β1和β2满足

且∃k∈[0,T+1]Z,有β1(k)<α2(k),则问题(3)至少存在3个解u1、u2和u3且满足

证明对于定理2.1中存在的R>0,定义开集Ωα1β2、Ωα1β1和Ωα2β2如下

运用定理2.1得

(14)~(16)式结合Brouwer度的切除性可得

由(15)~(17)式可得问题(3)至少存在3个解u1、u2和u3满足

[1]Agarwal R P,O’Regan D.Boundary value problems for discrete equations[J].Appl Math Lett,1997,10(4):83-89.

[2]Hederson J,Thompson H B.Existence of multiple solutions for second-order discrete boundary value problems[J].Comput Math Appl,2002,43:1239-1248.

[3]Rachrunkova I,Rachrunek L.Solvability of discrete dirichlet problem via lower and upper functions method[J].J Difference Equ Appl,2007,13(5):423-429.

[4]Agarwal R P,O’Regan D.Difference equations in abstract spaces[J].J Austral Math Soc,1998,A64:277-284.

[5]Bereanu C,Mawhin J,Neuve L.Exitence and Multiplicity results for nonlinear second order difference equations with Dirichlet value conditions[J].Math Bohemica,2006,2:145-160.

[6]Wang D,Guan W.Three positive solutions of boundary value problems forp-Laplacian difference equations[J].Comput Math Appl,2008,55:1943-1949.

[7]Agarwal R P,Perera K,O’Regan D.Multiple positive solutions of singular discretep-Laplacian problems via variational methods[J].Adv Diff Eqns,2005,2(2005):93-99.

[8]Cabada A,Iannizzotto A,Tersianc S.Multiple solutions for discrete boundary value problems[J].J Math Anal Appl,2009,356:418-428.

[9]Jiang D,Pang P Y H,Agrwal R P.Upper and lower solutions method and a superlinear singular discrete boundary value problem[J].Dynamic Systems and Applications,2007,16:743-754.

[10]Jiang D,Zhang L,O’Regan D,et al.Existence theory for single and multiple solutions to singular positone discrete Dirichlet boundary value problems to the one-dimensionp-Laplacian[J].Archivum Mathematicum,2004,40:367-381.

[11]Zhu B,Yu J.Multiple positive solutions for resonant difference equations[J].Math Comput Model,2009,49:1928-1936.

[12]Rachrunkov’aI,Tisdellb C C.Existence of non-spurious solutions to discrete Dirichlet problems with lower and upper solutions[J].Nonlinear Anal,2007,67:1236-1245.

[13]Sun J,Zhao Y.Existence of positive solution for second-order nonlinear discrete system with parameter[J].Math Comput Modelling,2005,41:493-499.

[14]Zhou G.Existence of multiple positive solutions of discrete boundary value problem[J].Chin Quart J Math,2002,17(4):12.

[15]Hu W,Jun W.A generalized upper and lower solution method for singular discrete boundary value problem[J].Chin Quart J Math,2007,22(2):212-219.

[16]Cheung W,Ren J,Patricia J Y W,et al.Multiple positive solutions for discrete nonlocal boundary value roblems[J].J Math Anal Appl,2007,330:900-915.

[17]Ma R Y,Lu Y Q,Chen T L.Existence of one-signed solutions of discrete second-order periodic boundary value problems[J/OL].Abstr Appl Anal,2012,2012,Article ID 437912.http://dx.doi.org/10.1155/2012/437912.

[18]全卫贞,王志华.二阶非线性差分方程xn+1=f(xn,xn-1)的正解收敛性[J].四川师范大学学报:自然科学版,2012,35(1):68-72.

[19]李思霖.广义Rosenau-Burgers方程的有限差分近似解[J].四川师范大学学报:自然科学版,2013,36(4):595-598.

[20]Atici F M,Cabada A.Existence and uniqueness results for discrete second order periodic boundary value problem[J].Comput Math Appl,2003,45:1417-1427.

[21]Merdivenci F.Two positive solutions of a boundary value problem for diference equations[J].J Difference Equ Appl,1995,1:262-270.

[22]郑茂波,胡劲松,胡兵.正则长波方程的一个新的差分逼近[J].四川师范大学学报:自然科学版,2011,35(3):305-308.

猜你喜欢

边值问题差分算子
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
数列与差分
拟微分算子在Hp(ω)上的有界性
带有积分边界条件的奇异摄动边值问题的渐近解
各向异性次Laplace算子和拟p-次Laplace算子的Picone恒等式及其应用
一类Markov模算子半群与相应的算子值Dirichlet型刻画
基于差分隐私的大数据隐私保护
非线性m点边值问题的多重正解
相对差分单项测距△DOR
一类非线性向量微分方程无穷边值问题的奇摄动