APP下载

一类完全四阶边值问题解的存在性

2020-04-21陈雪春李永祥

浙江大学学报(理学版) 2020年2期
关键词:边值问题四阶不动点

陈雪春,李永祥

(西北师范大学数学与统计学院,甘肃 兰州730070)

考虑完全四阶边值问题(BVP)

解的存在性,其中f:[0,1]×R4→R 为连续函数。边值问题(1)描述了两端简单支撑的静态弹性梁形变的数学模型。其中u′(t)表示隅角,u′(t)表示弯矩,u′′(t)表 示 剪 切 力 刚 度,u(4)(t)表 示 密 度 刚 度。根据两端点的受力情况,这种描述又被分为若干类型的边值问题。而问题(1)在物理学中有重要的理论意义,得到了该类问题特殊情形的一些结果[1-13]。

对非线性项不含任何导数项的简单四阶边值问题:

已有一些研究成果[1-4]。

对非线性项仅含弯矩项u′(t)的特殊四阶边值问题:

文献[5-8]在非线性项满足适当的增长条件下,运用不动点定理获得了BVP(3)解的存在性。文献[9-10]运用上下解方法讨论了BVP(3)解的存在性。文献[11-12]在非线性项非负的情形下,运用锥上的不动点指数理论和Krasnoselkii 不动点定理讨论了BVP(3)正解的存在性。

对完全四阶边值问题(1),由于u′(t)与u′′(t)变号引起的困难,上述研究特殊边值问题(3)的方法不再适用,已有的研究工作很少。只有LI 等[13]在边值问题(1)的非线性项满足一次增长条件下运用Leray-Schauder 不动点定理研究了BVP(1)解的存在性和唯一性。

受上述研究的启发,本文将文献[9-10]中关于边值问题(3)的上下解方法推广到一般边值问题(1)。相比已有研究,本文对非线性项的增长条件不作任何限制,也不假定非负的情形,在f (t,x0,x1,x2,x3)关于x3满足Nagumo 型条件下,运用截断函数技巧和上下解方法讨论了BVP(1)解的存在性。

1 主要结果

定义1设v0(t)∈C4(I),若v0(t)满足

则称v0(t)为边值问题(1)的下解。若式(4)中均取反向不等式,则称其为上解。

定理1设f:[0,1]×R4→R 为连续函数,BVP(1)存 在 下 解v0及 上 解w0,w0′≤v0′。若f 满 足 下 列条件:

(H2) 存在[0,∞)上的正值连续函数H(ρ),满足

使得

其中,

则BVP(1)至少存在1 个解满足v0≤u ≤w0,w0′≤u′′≤v0′′。

2 预备知识

记I=[0,1],C(I)表示定义在I 上的全体连续函数按范数构 成 的Banach 空间,对∀n ∈N,Cn(I)表示定义在I 上的全体n 阶连续可 微 函 数 按 范 数构成的Banach 空间。

引理1设v0,w0∈C4(I)分别为完全四阶边值问题(1)的下解与上解。若v0′′≥w0′′,则v0≤w0。

证明令u(t)=w0(t)-v0(t),则有

由中值定理可知,存在t1∈[a,t0)及t2∈(t0,b],使得

再对u′(t)用中值定理,存在t3∈(t1,t2),使得

引理2设

满足w0′′≤u′′≤v0′′,则

证明对∀u ∈D,t ∈I,有

因此

引 理 3设 f ∈C(I×R4,R) 连 续。 对存 在 常 数 ai≥0,i=0,1,2,3,和C >0,使得a0+a1+a2+a3<1,并且f 满足

则边值问题(1)至少有1 个解。

该引理的证明可参见文献[13]定理1。

3 主要结果的证明

定理1 的证明由假设(H2) 的式(7)知,存在M >0,使得

则函数η1,η2:I×R →R 连续,且满足

作f (t,x0,x1,x2,x3)的截断函数

则f*:I×R4→R,连续有界。

由引理3,修改后的边值问题

有解,u0∈C4(I)。

下证w0′≤u0′′≤v0′′。

先 证u0′≤v0′。 反 设u0′′>v0′。 考 查 函 数φ(t)=v0′′(t)-u0′′(t), t ∈I。 由 于 φ(0)≥0,φ(1)≥0,因此φ(t)<0,则存在t0∈(0,1),使得

按最小值点的性质φ′(t0)=0,φ′(t0)≥0,可得

根据定义1 和式(5)有

与式(11)矛盾!因此

由引理1 可知,v0(t)≤u0(t)≤w0(t),t ∈I。由引理2 知,|u0′(t)| ≤N,t ∈I。

再 证|u0′′(t)| ≤M,t ∈I。反 设|u0′′(t)|>M,由中值定理可知,∃t1∈[0,1],使得u0′′(t1)=0。由最大值定理,存在t2∈[0,t1)或t2∈(t1,1],使得

下分4 种情形证明:

情形(i)(其他情形类似可证),令

由u0′′(t)的 连 续 性 及 上 下 确 界 的 定 义 可 知,t1≤且

由 于u0′′(t)>0,上 式 两 边 同 乘u0′′(t),并 在上积分,可得

令ρ=u0′′(t),则有

与式(9)矛盾!故|u0′′(t)| ≤M,t ∈I。

因此,按f*的定义,有

故u0(t)为BVP(1)的解。

例1 考虑完全四阶边值问题:

相应地,非线性项为

所以w0(t)为边值问题(12)的上解。

下证f 关于v0,w0满足条件(H1),(H2)。

所以当0 ≤x0时,

因此,f 满足条件(H1)。

又因为f (t,x0,x1,x2,x3)关于x3是二次增长的,易取二次增长函数H(ρ)使得f 满足条件(H2)。由定理1,方程(12)至少有1 个解u,满足

猜你喜欢

边值问题四阶不动点
一类三阶积分边值问题的正解
基于一类迭代方程可微性解存在探讨
一类完全三阶边值问题解的存在性
一类带参数的四阶两点边值问题的多解性*
W-空间上6个映射的公共不动点
带有完全非线性项的四阶边值问题的多正解性
一种新的四阶行列式计算方法
与不动点性质相关的新常数
完备的D -度量空间上具有收缩型条件映射族的唯一公共不动点
魔法幻方