BANACH空间二阶常微分方程两点边值问题解的存在唯….pdfVIP

维普资讯 第25卷 第 l期 曲 阜 师 范 大 学 学 报 V01．25 No．1 1999年 1月 Joumal of Qufu Normal University Jan．1999 Banach空问二阶常微分方程两点边值 10一I 问题解的存在唯一性定理 0／ 、 栾世霞①， 孙钦福①， 高兰芳② (1 ．又 (第一作者：女，26岁．硕士生；①曲阜师范大学数学与计算机科学系，273165．山东省曲阜市；②齐鲁石化电太 ．255406．山东省jIlI博市) 摘要 ：通过变换证明了二阶常微分方程解的存在唯一及迭代收敛性，并给出了收敛速度的估计式 关键词：里皇望堡璧；正规锥；收敛速度 酝m 理 分类号：O177 文献标识码 ：A 一 隧 1 引 言 设E是实Banach空间，』=[0，1]，且，：×E×E× —E连续，考虑下列E中二阶微分方程边值问题(BVP) 一 “= f(t，“，“，“)， “(o)= “(1)=o． 1) 文[2]和[3]分别在不同的Banach空间讨论了(BVP) 一 “=f(t，“，“)， “(0)= “(1)=0 的解的存在唯一性 ，以及 一 “=f(t，T“，一M，一M)， “(n)=一A，“(d)=一B f{勺解的行在唯一性 率文用不同于[2]和 3【]的方法讨论了BVP(1)的解的存在唯一及收敛性，并且得到了收敛速度的估计 式．这是[2j和 3]所没有得到的，同时也减弱了[2]的空问条件 记c[，E]= “()：卜E连续}，c[J，E]=}“()：』一E二阶连续可微 {，在 c【J，E]中定义范数 }l ==．ma ll(￡)ll，“(t)C--c[，E]，易知在 }1·II下cj，E]成为一Banach空阔，Pc=}“()∈C[I， ， E]．(f)≥O，f∈ }，则Pc；为c[I，E]中的锥．由P正规，易知Pc正规．记E 为E的共轭空间，P { ∈E lp()≥0．V ∈P}，称 P 为P的共轭锥． 为方便起见，列出本文用到的一些假设： (H1) 存在函数 “0，VO∈C。[I，E]，“0≤ 0，0≤ 0，且满足 一 “≤f(t，M0，0，“0)， tg0(1)=0，“0(O)≥o， 一 ≥f(，0，“0，0)，Z)0(1)=0，口0(0)≤0． (H2) 对任何固定的(t，z)∈ ×E，f(，32，Y，2)关于 增，关于 减． (Hs) 对任何固定的(t，，)∈J×E×E，V I，2∈E，7-1≤ 2，有 f(t， ，，z2)一f(，x，Y，I)≤ Ml!一2I)，其中M)0为常数 ( ) 存在常数N≥O，使对V ∈J ，Y，I，272∈E，Tl≤y，1≤ ：，有 f(，y， ，I)一f(t， ，Y，2) ≤ N(Y— ) 2 主要结果 定理 设E是实B白nach空阅，P是E中正规锥，假设(H1)一 (}14)满足，则BVP(I)~[It0，0]中存在唯 基金来源：国家 自然科学基金赞助项 目~h东省 自然科学基金资助项 目(Y97A12017) 收穑 日期：1998—0卜-06