1. 引言
四阶常微分方程边值问题是描述在弹性变形下梁状态的数学模型,也称弹性梁问题,理想的弹性变形条件对梁结构前期分析及后期延性调整起着至关重要作用。由于其重要的物理意义和实际应用价值,许多学者对不同边界条件下四阶常微分方程解或正解的存在性情况进行了研究并取得了一系列丰硕成果,参见文献[1]-[8]及其参考文献等。
2010年,Ma [5]借助Krein-Rutman定理和全局分歧技巧研究了两端简单支撑边界条件下四阶微分方程
正解的存在性,其中
连续;2022年,Wang [6]等人应用单调迭代技巧获得了两端滑动支撑边界条件下的常系数非线性四阶常微分方程
正解的存在性,其中
。2006年,Ma [7]运用分歧技巧关注了两端简单支撑边界条件下变系数四阶常微分方程
结点解的多重性,其中
,
,
连续且满足
;2013年,Ma [8]通过非共轭理论和Elias’s谱理论给出了两端固定支撑边界条件下算子
的谱结构和正性。一个重要的讯息是,文献[7] [8]对四阶常微分方程的研究都是在变系数条件下进行的。
2008年,An [9]通过变分法探究了一类二阶–四阶耦合常微分系统边值问题解的存在性、不存在性和多重性情况;2020年,Wang [10]利用锥上的不动点定理获得了四阶常微分方程非线性系统
正解的存在性,其中
,
且
,
,
。
值得注意的是,上述文献对边值问题的研究包括解(或正解)的存在性、不存在性及多重性,但鲜少表明解的存在唯一性。与此同时,通过查阅资料,近年来对四阶常微分方程系统问题的研究还相对较少,而且文献[10]获得的是常系数四阶系统问题当非线性项为正时正解的存在性结果。一个自然的问题是,非线性项变号时,四阶常微分方程系统问题正解的存在情况如何呢?还有,如果是变系数系统,能否给出正解的存在唯一性结果呢?受文献[8] [10]启发,本文研究两端固定支撑边界条件下四阶变系数常微分系统边值问题
(1)
正解的存在性和唯一性。本文总假设:
(A1)
,
,
且在
的任何子区间上不恒为0;
(A2)
连续,
且
关于第二变元
是单调递增的。
本文将用到以下记号:
2. 预备知识
为表达方便,不妨取
。记常系数齐次边值问题
的格林函数为
,通过计算可得
(2)
其中,
边值问题
等价于线性边值问题
(3)
而问题(3)的格林函数为
,
,已由式(2)给出。通过类似计算亦可得
的格林函数
。
引理1 [8] 若假设(A1)成立,则
并且存在
,
,即
,
。
引理2若假设(A1)~(A2)成立,且
(A3)
,
关于第二变元
是单调递减的;
(A4)
,
。
则存在常数
,使得
,问题
(4)
的所有解有
其中
。
证明:由引理1,问题(4)等价于如下积分方程组
(5)
设
是问题(4)的解。由假设(A2)~(A3)和
,可得
。根据假设(A4),存在
,使得
(6)
若
,
即
。同理,若
,则
。
若
,
,则有
(7)
和
(8)
结合式(6)-(8)可得,
矛盾。
综上,令
,则问题(4)的所有解满足
,得证。
3. 主要结果及其证明
定理1 假设(A1)~(A4)成立,且
(A5) 存在
,使得
,
,
。
则问题(1)至少存在一个正解
。
证明:设
,其范数为
。则问题(5)的解等价于积分方程
的解
。
定义算子
,
显然,
,
是紧算子,从而问题(1)的解等价于算子
在X中的不动点。
设
是X上的一个球域,由引理2可知,
在
上没有不动点,记
为单位映射,根据Leray-Schauder度的紧同伦不变性,
,有
则
在
内有一个不动点
。结合引理1和假设(A2)和(A3)、(A5),即有
,
。
定理2 假设(A1)~(A2)成立,且
(A6)
,
,
。
则问题(1)至少存在一个正解
。
证明:由假设(A6),存在
,使得
令
,Y为
中的有界闭凸集。定义算子
,
则
,
另一方面,
因此,
。根据Arzela-Ascoli定理,J为全连续算子。由Schauder不动点定理,至少存在一个
,满足
。再令
则
满足
从而
满足
定理3 假设(A1)~(A2)成立,且
(A7) 存在
且
,使得
,有
则问题(1)至多存在一个正解
。
证明:设
和
是问题(1)的两个正解。定义
(9)
显然,
。
令
且假设
,则,
有
由假设(A7),
,
同理,
,
。
从而,
且
若
,
,
,这与
是问题(1)的正解矛盾,从而存在
使得
又
,可得
则存在
,使得
。这与
的定义矛盾,因此,
,且
同理可得,
从而,
,
。
基金项目
陕西省自然科学基础研究计划资助项目(2024JC-YBMS-075),商洛市科技计划项目(23SKJRK007),商洛学院自然科学科研项目(22SKY007, 23KYPY05),商洛学院教育教学改革研究项目(24jyjx109)。