APP下载

一类二阶非线性微分积分方程两点边值问题

2015-03-23李广兵唐先华

关键词:边值问题正则微分

李广兵,唐先华

(中南大学数学与统计学院,湖南长沙410083)

一类二阶非线性微分积分方程两点边值问题

李广兵,唐先华

(中南大学数学与统计学院,湖南长沙410083)

研究了Banach空间中含一阶导数项的二阶非线性微分积分方程两点边值问题,通过建立一个新的比较定理,证明了该问题最大解和最小解的存在性.

微分积分方程;两点边值问题;单调迭代技巧

0 引言

本文考虑实Banach空间E中二阶非线性微分积分方程两点边值问题:

其中:J=[0,1],f∈C(J×E×E,E),A0≥0为常数,α0>0,α1>0,β0≥0,β1≥0,b0≤0,b1≤0,k∈C(D1, R+).D1={(t,s)∈J×J|t≥s},R+表示所有非负实数集合.令

最近,许多文献利用单调迭代方法来研究微分或积分方程的边值问题[1-13].特别地,文献[1]考虑了二阶非线性微分积分方程(1)的周期边值问题.但据我们所知,形如(1)和(2)的两点边值问题尚未发现相应的存在性定理.本文受文献[1]的启发,通过建立一个新的比较定理,研究了含有一阶导数项的二阶非线性微分积分方程两点边值问题(1)和(2)的最大最小解的存在性,拓宽了微分积分方程在实际中的应用.

1 比较定理

设P是E中的锥,E中的半序“≤”由锥P导出.称P是正则的,如果E中的每个按序有上界的增序列必有极限.

引理1 设k(t,s):[0,1]×[0,1]→R非负连续,p(t)∈C2([0,1],E)满足

其中:M>0;N为常数,且满足

证明对任意φ∈P*(P*是P的对偶锥).令m(t)=φ(p(t)),则m(t)∈C2(J,R+)且由(3),(4)式

可得:

下面用反证法.假设(7)式不成立,则存在t0∈[0,1],使得

若t0∈(0,1),则m′(t0)=0,m″(t0)≤0.以下分两种情形:

情形(ⅰ)N≤0.由(8)式可知,当0≤s≤t0时,有m(s)≤m(t0)=m0.注意到k(t,s)≥0,则

于是,由(3)式可得

注意到m0>0,即上式可简写成

这与(5)式矛盾.

情形(ⅱ)N>0.若∀t∈[0,t0],有m(t)≥0,则由(3)式可知

这与m″(t0)≤0矛盾.故存在t1∈[0,t0],使得

由于m(t0)>0,则t1≠t0,即t1∈[0,t0).∀t∈[0,t0],有

另一方面,

注意到λ<0,则上式化简得

这与(6)式矛盾.

若t0=0.由(8)式可知,m(0)>0,则m′(0)≤0.于是,由α0>0,β0≥0可得

这与b0≤0矛盾.

若t0=1.由(8)式可知,m(1)>0,则m′(1)≥0.于是,由α1>0,β1≥0可得

这与b1≤0矛盾.

综上所述,(8)式成立.

引理2[4]设E是半序Banach空间,x0,y0∈E,x0≤y0,D=[x0,y0],A:D→E是一个算子.若满足下列条件:

(ⅰ)A是增算子;

(ⅱ)x0是A的下解,y0是A的上解;

(ⅲ)A是连续算子;

(ⅳ)A(D)是E中的相对列紧集.

则A在D中必有最小不动点x*和最大不动点y*,并且若分别以x0和y0为初始元素,作迭代序列:

则有

2 主要结果

对任意的h(t)∈C(J,E),考虑下列线性微分积分方程两点边值问题:

其中:M>0;N为常数满足(5),(6)式,且

直接验证知,线性微分积分方程两点边值问题(11),(12)等价于下列积分方程:

其中:

利用常规方法(如压缩映射原理)可知,线性积分方程(14)对任给h∈C(J,R)都有唯一解uh∈C(J,R).定义

下面考虑非线性微分积分方程两点边值问题(1),(2).

定理1 设锥P是E中的正则锥,且对∀r>0,集f(J,Br,Br)有界,其中Br={u∈E‖u‖≤r},又设存在v0(t)∈C2(J,E),w0(t)∈C2(J,E),使得v0(t)和w0(t)分别是二阶非线性微分积分方程边值问题(1),(2)的下解和上解,即:

并且

再设存在常数M和N,满足(5)或(6)式,且满足(13)式及

则非线性微分积分方程两点边值问题(1),(2)在

中存在最小解v*(t)和最大解w*(t),并且存在单调迭代序列{vn(t)}和{wn(t)},在J上分别一致收敛于v*(t)和w*(t).

证明对任给的u∈D,定义算子如下:

设K由(15)式定义,令A=KF.下面证明A是增算子.设u1,u2∈D,u1≤u2,则由(16)式及F的定义可知Fu1≤Fu2.

令y1=Au1,y2=Au2,则由K的定义知:

令m(t)=y1(t)-y2(t),由上述几式可得

由引理1可知,m(t)≤0,即

这表明A是增算子.下面证明

令v1=Av0,则由K的定义可知∀t∈J,有

令n(t)=v0(t)-v1(t),由于v0是问题(1),(2)的下解,则

由引理1可知,n(t)≤0,即v0≤Av0,同理可证Aw0≤w0.令

则由A是增算子及归纳法容易证明:

由A的定义可知,显然A是连续算子.最后证明A(D)是C(J,E)中的相对列紧集.由于P是正则的,则.又P正规,由(19)式和f(J,Br,Br)的有界性及(14)式可知,{vn(t)}在J上是等度连续的,从而{vn|t=0,1,2,…}是C(J,E)中相对紧集.注意到P正规及(19)式,可得{vn(t)}在J上一致收敛于某个v*(t)∈C2(J,E),根据A的连续性可知,v*(t)是问题(1),(2)的解.同理可证,{wn(t)}在J上一致收敛于某个w*(t)∈C2(J,E),且w*(t)是问题(1),(2)的解.若u∈C2(J,E)是问题(1),(2)在[v0,w0]中的任意解,则根据引理1,容易验证v*(t)≤u(t)≤w*(t).

因此,根据引理2可知结论成立.

当A0=0时,即(1)式不含导数项u′时,我们得到下面的结论.

定理2 令A0=0.设锥P是E中的正则锥,且∀r>0,集f(J,Br,Br)有界,其中又设存在v0(t)∈C2(J,E),w0(t)∈C2(J,E),使得v0(t)和w0(t)分别是二阶非线性微分积分方程边值问题(1),(2)的下解和上解,并且

再设存在常数M和N,满足(5)或(6)式,且满足(13)式及

则非线性微分积分方程两点边值问题(1),(2)在

中存在最小解v*(t)和最大解w*(t),并且存在单调迭代序列{vn(t)}和{wn(t)}在J上分别一致收敛于v*(t)和w*(t).

[1] 张晓燕,孙经先,苏军.Banach空间中二阶非线性微分积分方程周期边值问题[J].工程数学学报,2005,22(3):555-558.

[2] CHEN YUBO,ZHUANG WAN.On monotone iterative method for periodic boundary value problems of nonlinear integrodifferential equations[J].Nonlinear Anal,1994,22:295-303.

[3] CHEN FANGQI,CHEN YUSHU.On monotone iterative-method for initial value problems of nonlinear second-order integrodifferential equations in Banach space[J].Appl Math Mech,2000,21(5):459-467.

[4] GUO DAJUN.Initial value problems for second-order integro-differential equations in Banach space[J].Nonlinear Anal,1999,37:289-300.

[5] 郭大钧,孙经先,刘兆理.非线性常微分方程泛函方法[M].济南:山东科技出版社,1995:1-75.

[6] 高云柱,叶莉瑛.二阶非线性常微分积分方程周期边值问题[J].北华大学学报:自然科学版,2004,5(6):485-487.

[7] HAO ZHAOCAI,LIU LISHAN.Global solutions of initial value problems for nonlinear integro-differential equations of mixed type in Banach space[J].Indian J Pure Appl Math,2002,33(9):1417-1430.

[8] LIZ E,NIETO J J.Boundary value problems for second order integro-differential equations of Fredholm type[J].Journal of Computational and Applied Mathematics,1996,72(2):215-225.

[9] 马如云,白定勇.二阶非线性边值问题解的存在唯一定理[J].纯粹数学与应用数学,1998,14(2):61-64.

[10] 苗凤华,宋玥蔷.一类三点边值问题正解的存在性和唯一性[J].东北师大学报:自然科学版,2014,46(2):9-11.

[11] SONG GUANGXING.The solutions of initial value problems for second-order integro-differential equations in Banach space[J].Acta Math Sinica,2004,47(1):71-78.

[12] SU HUA,LIU LISHAN,et al.Global solutions of initial value problems for nonlinear second-order Integro-differential equations of mixed type in Banach spaces[J].Math Anal Appl,2007(330):1139-1151.

[13] 王文波,裴明鹤.二阶非线性微分积分方程Robin边值问题解的存在性[J].北华大学学报:自然科学版,2004,5(6):481-484.

Two-point boundary value problems to a class
of nonlinear second order integro-differential equations

LI Guang-bing,TANG Xian-hua
(School of Mathematics and Statistics,Central South University,Changsha 410083,China)

In this paper,by establishing a new comparison result,the existence of maximal and minimal solutions of two-point boundary value problems for nonlinear second order integro-differential equations in Banach spaces is obtained.

integro-differential equations;two-point boundary value problem;monotone iterative technique

O 175.6 [学科代码] 110·34 [

] A

(责任编辑:陶理)

1000-1832(2015)01-0026-05

10.16163/j.cnki.22-1123/n.2015.01.006

2013-06-22

国家自然科学基金资助项目(11171351).

李广兵(1990—),男,硕士研究生,主要从事微分方程动力系统研究.

猜你喜欢

边值问题正则微分
J-正则模与J-正则环
临界Schrödinger映射非齐次初边值问题的有限差分格式
π-正则半群的全π-正则子半群格
Virtually正则模
拟微分算子在Hp(ω)上的有界性
带有积分边界条件的奇异摄动边值问题的渐近解
上下解反向的脉冲微分包含解的存在性
剩余有限Minimax可解群的4阶正则自同构
借助微分探求连续函数的极值点
对不定积分凑微分解法的再认识