1. 引言
离散型边值问题正解的存在性因其具有实际应用背景而受到学者广泛关注和研究 [1] [2] [3] [4] [5] 。Zhang Meng,Sun Shurong [4] 等人研究一类具p-Laplace算子离散Sturm-Liouville型边值问题
,
, (1)
,
。 (2)
其中,
表示步差为1的向前差分算子,
,
,
,
,
,
,
,
,
,N为正整数,满足
。
记
,
。函数h,f满足下列条件:
(C1):
连续;
(C2):h为定义在
上的非负函数。
他们借助Guo-krasnosel’ skii’s不动点定理,给出问题至少一个正解存在的若干充分条件。2012年针对该问题,张萌 [5] 等人利用Avery-Henderson不动点定理给出至少存在两个正解的充分条件。
受到前面研究启发,我们将利用Leggett-Williams不动点定理继续研究问题(1)和(2),给出至少三个正解的几个充分条件。
2. 引理
引理1:若
是边值问题(1)和(2)的解,则存在唯一的
使得
,
。
证明:因为
边值问题(1)和(2)的解,所以
在
上递减。若对所有的
都有
,则由边值条件(2)可知
,
,矛盾。
类似可证对
,
也不成立。因此,存在
使得
,
。
唯一性若还存在
(不失一般性,不妨
)满足
,
,则对
有
,从而
,
,与条件(C2)矛盾。
为研究方便,令
;
引理2:若条件(C1)~(C2)成立,对任意的
,
则
为边值问题(1)和(2)的解,这里的
是下列方程的唯一解
并且
在
递增,
递减。
证明:我们仅证明
在
递增,
递减,其他可见参考文献 [4] [5] 。
若
在
非增,则存在
使得
,
。从而
,
。由u的表达式,知
,
另一方面
。
因此,
,矛盾,故
在
递增。
类似可证
在
递减。
设空间
,如果对所有的
,都成立
,则
,定义范数
,则E为Banach空间。
在空间E上定义锥
对
,易知
。
定义算子
对
,下面说明
且
。
事实上
,
,故易知
且全连续。
引理3: [5] 若非负函数
满足
,则存在整数
,使得
,且
,更进一步
,
有最小值l。
引理4: [5] 若
,w为引理3中给出的参数,则对所有
,有
。
引理5: [6] 对于
及锥P上的非负连续凹泛函
,定义凸子集
和
如下:
,
。设
是全连续的,
是锥P上的非负连续凹泛函,且
,
。如果存在常数满足
使得
(i)
且
,
;
(ii)
,
;
(iii) 对于
且
,有
。
则A至少有三个不动点
,
与
,且满足
,
,
和
。
3. 主要结果
定义非负连续凹泛函
,
,
则对
,有
。
定理1:假设存在常数
,使得下列条件成立
(H1):
,
,
;
(H2):存在常数
,使得
,
,
;
(H3):
,
;
则边值问题(1)和(2)至少存在三个正解
,
,
满足
,
,
,
。
证明:由算子A的定义及性质,只需证明算子A满足引理 [6] 条件。
首先,若
,则
。事实上,若
,则由(H1)知,
,
和
。
同理,条件(H2)保证,存在常数
,使得
。 (3)
由条件(H2)和(3)式易知,取
即可。
其次证明引理 [6] 中的条件(i)满足。为了验证条件成立,假设
。
注意到
,因此
。
令
,则
,因此有
,由引理 [4] 知,
,
,从而
。
若
,则对任意的
,有
,
若
,则对
,有
,
从而
。
若
,则对任意的
,有
,
因此,对任意的
,有
。
最后验证引理 [6] 中的条件(iii)成立。设
,且
,由条件
,知
。
综上所述边值问题(1)和(2)至少存在三个正解
,
,
满足
,
,
,
。
定理2:如果把定理1的条件(H2)替换成
(
):
,
。
则定理1的结论依然成立。
证明:只需证明存在常数
使得
,
。
由条件(
)知存在
,
使得
,
。 (4)
令
,由(4)式易得
,
。 (5)
取
满足
。 (6)
则对任意的
,由(5)式和(6)式可得
,
及
。
由上面的证明可知
。定理证毕。
定理3:假设存在常数满足
,
使得
(H4):
,
,
;
(H5):
,
。
则边值问题(1)和(2)至少存在
个正解。
证明:当n = 1时,由条件(H4)可知A:
,根据Schauder不动点定理可知A至少有一个不动点,即问题至少存在一个正解。
当n = 2时,取
,则定理1条件满足,从而至少存在三个不同正解。
以此类推,用归纳法可知问题至少存在
个正解。
致谢
作者感谢编辑和审稿人给予的指导和帮助。
基金项目
济南大学泉城学院科研项目(18JDQYKY17)。