1. 引言
随着微分方程在物理、生物和工程科学领域中的广泛应用,边值问题也逐渐成为一个热门的研究课题。在物理学等领域中的许多问题都可以归结为带积分边界条件的边值问题,因此越来越多的学者开始研究带积分边界条件边值问题的正解的存在性,同时也获得了一些重要的结论 [1] - [9]。
在2010年,Jessda Tariboon在文献 [7] 中利用锥上Krasnoselskill不动点定理,证明了一类含有积分边界条件的二阶三点边值问题
正解的存在性。
2015年Yao Zhijian在文献 [8] 利用Leray-Schauder不动点定理研究了边值问题
正解的存在性,其中
是连续的,
并且存在
使得
。
受以上文献的启发,本文将运用单调迭代法研究带积分边界条件的三阶三点边值问题
(1.1)
(1.2)
正解的存在性,其中
,
。
本文的工具是下面的定理:
定理1.1 [10] 设
为Banach空间
中的正规锥,且
,假设
满足下列条件:
是全连续的;
在区间
上单调递增,即若
,则
;
是
的下解,即
;
是
的上解,即
。
则
在
中必有最小不动点
和最大不动点
;并且作迭代序列
则有
且
与
分别收敛于T的不动点
。
全文假设下述条件成立:
是全连续的;
且在
上
不恒等于零。
2. 预备知识
本文所用到的空间是
,记
,
。
定义2.1 [10] 设E是Banach空间,P是E中的非空闭集,如果P满足
1) 任给
,
,
有
;
2) 若
,
,则
,
则称
是
中的锥。
定义2.2 [11] 称算子
是全连续的,如果它是连续的并且是把有界集映成列紧集。对于任意的
,我们考虑边值问题
(2.1)
(2.2)
其中
,
,则以下引理成立。
引理2.1设
,
,则问题(2.1)~(2.2)有唯一解
,
其中
,
证明:对(2.1)式在
上积分可得
,
,
. (2.3)
由边值条件(2.2)可得到
,
.
对(2.3)式在
上积分可得
.
由
,我们有
.
将(2.3)式替换为
引理2.2对任意的
,恒有
成立。
证明:
显然成立。
下证
成立,
当
时,
;
当
时,
。
则结论成立。
3. 主要结果及证明
为了方便起见,记
.
定理3.1假设
在
上不恒为0,且存在一个常数
,使得
. (3.1)
则边值问题(1.1)~(1.2)存在单调正解。
证明:定义锥
.
并定义算子
.
对
,由引理2和条件
可得
,从而
,显然
的不动点为边值问题(1.1)~(1.2)的解。
令
,
。
接下来我们验证定理1.1的所有条件均满足。
首先证明
是全连续的。
现证
是连续的。设
,
,
,则对任意的自然数
和
,有
由Lebesgue控制收敛定理,
,则
.
即
。
故
是连续的。
其次证明
是紧算子。
设
是有界集,对于任意的
,存在
,使得
。由于
是有界集,则存在自然数
,使得
。
由此得到
在
上一致有界。
进一步,对于任意的
,存在一个
,使得对于任意的正整数
,
,
且
,
时,有
这说明
是等度连续的。从而由Arzela-Ascoli定理可知,
是全连续的。
接下来证明
是单调递增算子。
由(3.1)知当
时,有
.
故
,从而
是单调递增算子。
其次证明
是
的下解。由引理2.2和
知
.
故
,即
是
的下解。
再证明
是
的上解。同样由引理2.2及(3.1)式知
故
,即
是
的上解。
最后证明边值问题(1.1)~(1.2)存在单调正解。
构造单调迭代序列
与
为
则由定理1.1可知
,
且
与
分别收敛于
的不动点
。
和
分别为边值问题(1.1)~(1.2)的单调解。
另外对于任意的
,由引理2.2可知
.
从而
,
。
这表明
和
是边值问题(1.1)~(1.2)的正解。故边值问题(1.1)~(1.2)存在单调正解
和
。
基金项目
国家自然科学基金(11561063)。