APP下载

非线性微分方程三阶三点边值问题一个正解的存在性

2016-05-22郭丽君

关键词:三阶边值问题不动点

郭丽君

(兰州交通大学博文学院 电信工程系, 甘肃 兰州 730101)

非线性微分方程三阶三点边值问题一个正解的存在性

郭丽君

(兰州交通大学博文学院 电信工程系, 甘肃 兰州 730101)

格林函数在三阶三点边值问题的正解存在性理论中有着重要作用.考虑以下三阶三点边值问题

三阶三点边值问题; 正解; 存在性; 锥; 格林函数; 不动点定理

三阶微分方程起源于应用数学和物理学等各种不同领域,有着广泛的应用背景和重要的理论价值.近年来,三阶三点边值问题受到了广泛的关注(见文献[1-8]).本文运用Guo-Krasnoselskii不动点理论研究了下列边值问题至少有一个正解的存在性准则

其中0<η<1,0<α<1/η,参数λ∈(0,∞).值得一提的是,文献[1]讨论了当边值问题(1)和(2)中参数λ=0时的特殊情况,通过运用Leggett-Williams不动点定理得到了边值问题(1)和(2)的3个正解的存在性.但文献[1]及文献[2-8]中相关的格林函数形式较复杂,没有得到更好的性质.本文的目的是进一步研究参数λ>0时的边值问题(1)和(2)正解的存在性,构造了新的格林函数,且形式上较简单,得到了新的性质,通过运用Guo-Krasnoselskii不动点定理,在非线性项f满足一定条件的情况下得到了边值问题(1)和(2)至少一个正解的存在性准则.

是全连续算子且下列条件之一满足:

(i) 当u∈K∩∂Ω1时,‖Au‖≤‖u‖且当u∈K∩∂Ω2时,‖Au‖≥‖u‖,

(ii) 当u∈K∩∂Ω1时,‖Au‖≥‖u‖且当u∈K∩∂Ω2时,‖Au‖≤‖u‖;

假设以下条件始终成立:

(C1)f∈C([0,+∞),[0,+∞));

(C2)a∈C([0,1],[0,+∞))且在[τ,1]上a(t)不恒为零,其中τ为(0,1)上的任意常数.

1 预备引理

为了得到本文的主要结果,需要以下3个重要引理.

引理 1 设0<α<1/η,则对于任意给定的y∈C[0,1],边值问题

u‴(t)+y(t)=0,t∈(0,1),

(3)u(0)=u″(0)=0,u′(1)-αu(η)=λ, (4)

有唯一解

其中

(5)

称为Green函数.

证明 事实上,如果u(t)是边值问题(3)和(4)的解,则可令

由u(0)=u″(0)=0,可得A=C=0.再由

u′(1)-αu(η)=λ,

可得

因此,边值问题(3)和(4)有唯一解

引理成立.

而在文献[1]中,当λ=0时边值问题(3)和(4)的格林函数为

形式上较复杂,且没有得到以下2个有用引理.

对本文格林函数(5),有如下2个引理:

引理 2 对任意(t,s)∈[0,1]×[0,1],有0≤G(t,s)≤1-s.

证明 首先考虑0≤s≤t的情况.此时

t(1-s)≤1-s.

如果t≤s≤1,显然有

0≤G(t,s)=t(1-s)≤1-s.

因此

0≤G(t,s)≤1-s, (t,s)∈[0,1]×[0,1].

引理成立.

引理 3 令0<η<1,0<α<1/η,则对任意(t,s)∈[τ,1]×[0,1],有G(t,s)≥γ(1-s),其中0<γ=τ/2<1,τ为(0,1)上的任意常数.

证明 如果0≤s≤t,则有

如果t≤s≤1,则有

因此,对任意(t,s)∈[0,1]×[0,1],均有

可令γ=τ/2,τ∈(0,1)为任意常数,则对任意(t,s)∈[τ,1]×[0,1]有

引理成立.

2 主要结果

在本文的剩余部分总是假定0<α<1/η,参数λ>0且条件(C1)和(C2)满足.标记

定理 2 假设下述条件成立:

(i)f0=0且f∞=∞(超线性);或者

(ii)f0=∞且f∞=0(次线性),

则边值问题(1)和(2)至少存在一个正解.

证明 设Banach空间E=C[0,1],赋予其范数

K={u∈E:u(t)≥0,t∈[0,1]且

显然K⊂E是锥.对u∈K,t∈[0,1]定义

(6)

由引理2可知,对任意t∈[0,1]都有

(7)

(8)

由引理3和(8)式可得,当t∈[τ,1]时有

因此

这表明AK⊂K.更进一步,容易验证A:K→K是全连续的且A的不动点即为边值问题(1)和(2)的解.

首先,考虑超线性情况:f0=0,f∞=∞,此时参数λ可足够小.

(9)

令Ω1={u∈E:‖u‖

(10)

因此由(10)式可知

‖Au‖≤‖u‖,u∈K∩∂Ω1.

另一方面,由于f∞=∞,则存在H2>H1,使得u≥γH2时有f(u)≥ρu,其中ρ>0且满足

(11)

Ω2={u∈E:‖u‖

则当u∈K,‖u‖=H2时有

u(t)≥γ‖u‖=γH2,t∈[τ,1],

因此由(11)式可得

所以

‖Au‖≥‖u‖,u∈K∩∂Ω2.

下面考虑对任意参数λ∈(0,∞)时的次线性情况:f0=∞,f∞=0.

由于f0=∞,则存在H3>0,使得0≤u≤H3时f(u)≥Mu,其中M>0且满足

(12)

则当u∈K,‖u‖=H3时,由(12)式可得

令Ω3={u∈E:‖u‖

‖Au‖≥‖u‖,u∈K∩∂Ω3.

由于f∞=0,则存在H>0,使得u≥H时,f(u)≤μu,其中μ>0满足

(13)

分以下2种情况考虑:

1) 假设f是有界的,即u∈[0,∞)时,f(u)≤N.此时可令

使得对任意u∈K,当‖u‖=H4时有

H4,t∈[0,1],

所以

‖Au‖≤‖u‖.

2) 如果f是无界的,可令

使得

f(u)≤f(H4), 0≤u≤H4.

(14)

则对任意u∈K,当‖u‖=H4时,由(13)和(14)式可得

因此

‖Au‖≤‖u‖.

所以,无论在哪种情况下,都可令

Ω4={u∈E:‖u‖

则对任意u∈K∩∂Ω4,都有‖Au‖≤‖u‖.由定理1的(ii)可知,边值问题(1)和(2)至少有一个正解.定理成立.

[1] SUN J P, GUO L J, PENG J G. Multiple nondecreasing positive solutions for a singular third order three point BVP[J]. Commun Appl Anal,2008,12:91-100.

[2] 孙建平,张小丽. 非线性三阶三点边值问题正解的存在性[J]. 西北师范大学学报(自然科学版),2012,48(3):29-31.

[3] 吴红萍. 一类非线性三阶三点边值问题的多个正解[J]. 贵州大学学报(自然科学版),2014,31(2):4-6.

[4] 张立新. 三阶边值问题的3个正解的存在性[J]. 四川师范大学学报(自然科学版),2011,34(4):466-470.

[5] 孙建平,曹珂. 一类非线性三阶三点边值问题正解的存在性[J]. 兰州理工大学学报(自然科学版),2010,36(2):123-124.

[6] 白婧,李永祥. 含一阶导数项的三阶周期边值问题解的存在性[J]. 四川师范大学学报(自然科学版),2015,38(6):834-837.

[7] 张立新,孙博,张洪. 三阶三点边值问题的两个正解的存在性[J]. 西南师范大学学报(自然科学版),2013,38(10):30-33.

[8] GUO L J, SUN J P, ZHAO Y H. Existence of positive solution for nonlinear third-order three-point boundary value problem[J]. Nonlinear Anal,2008,68:3151-3158.

[9] GUO D, LAKSHMIKANTHAM V. Nonlinear Problems in Abstract Cones[M]. New York:Academic Press,1988.

2010 MSC:34B15

(编辑 余 毅)

Existence of a Positive Solution for a Third-order Three-pointBoundary Value Problem of Nonlinear Differential Equations

GUO Lijun

(Department of Electronic and Information Engineering, Lanzhou Jiaotong University Bowen College, Lanzhou 730101, Gansu)

third-order three-point boundary value problem; positive solution; existence; cone; Green function; fixed point theorem

2016-01-22

甘肃省高等学校科研项目(2015B-214)

郭丽君(1980—),女,讲师,主要从事微分方程边值问题的研究,E-mail:5148806@qq.com

O

A

1001-8395(2016)06-0846-05

10.3969/j.issn.1001-8395.2016.06.013

其中,0<η<1,0<α<1/η,参数λ∈(0,∞).通过建立相关线性边值问题的格林函数得到解的形式,运用Guo-Krasnoselskii不动点定理建立上述边值问题至少一个正解的存在性准则.

猜你喜欢

三阶边值问题不动点
三阶非线性微分方程周期解的非退化和存在唯一性
带有积分边界条件的奇异摄动边值问题的渐近解
一类抽象二元非线性算子的不动点的存在性与唯一性
活用“不动点”解决几类数学问题
三类可降阶的三阶非线性微分方程
不动点集HP1(2m)∪HP2(2m)∪HP(2n+1) 的对合
奇异二阶Neumann边值问题正解的存在性
三阶微分方程理论
非线性m点边值问题的多重正解
一类非锥映射减算子的不动点定理及应用