两点边值问题解存在性.pdfVIP

维普资讯 第 l0卷 第 1期 应用数学与计茸数学学报 v0】．10 N0．1 1996年6月 COMM ．ON APPL．MATH．AND COMPUT June．1996 6]一 两点边值问题解的存在性 盛 平 兴 {=) 墨 (上i簟大学数学系t上i簟t201800】 摘要 本文讨论两点边值 问题解的存在性，在没有孤立性条件下，获得 了不动点定理， 作为应用 实例．给 出了反应扩散方程稳态解 的存在性证 明． 关链词：两点边值 同题，空连续算干．拓扑度．不动点定理 解 篷 1．引 言 许多微分方程的经典例子起源于各种学科．非线性微分方程的理论不仅作为非线性 分析 中的典例而且为应 用学科 中的理论工具．在讨 论解的存在性时，最 常用和有效 的条 件不为乎有界，先验有界，Lipschlt~条件等．常见的困难有解 的不唯一性，解 的不孤立 性，奇异，对参数的强依赖性，线性化的无效性，缺乏有界和先验有界，共振现象，对 边界条件的强依桢性等．在两点边值同题 中，最关键的因素是函数，的条件，边值条件 和端点使．若，连续有界，则Bass(1958)和Edwards{1965)得到如下问题的解的存在性． ” ： ，(t，Y，)， (口)=C1，(6)：c2． 利用边界条件，把方程转化为积分算子，且为映 卅到 自己的紧算子．Banach空间上 紧算子具有不动点这一定理推断解的存在性．在 1912年，s，Bernstein引入 了所谓先验有 界条件．在60和70年代，出现 了弱条件下先验有界．显然某些条件的引入不很 自然， 但文章经常可见．另一种常用 的条件称为Lipschitz型条件或HSlder型条件．读者可参阅 有关参考文献．Lipschitz条件一般来说太强，但没有这条件，几乎很难得到解的存在性 定理．根据作者的理解，这个条件主要保证了初值 问题在所考虑 的区间 内有解 (大范 围 意义下解的存在性)．人们很少讨论韧值问题的全局解，因为存在性很强地依赖于函数， 的有界性和定义域的紧性．根据 2【0】中的基本定理，自然地要问，怎样将全连续算子的 条件引渡到函数，上．对于Banach空间上的全连续积分算子T，如果没有孤立性条件，T 在什么情况下有不动点? 2．主要定理 首先介绍在 2【0】，2【1】中的主要定理和推论． 定理 设 为无穷维Bana~h空间，定义在 上具有无限维值域的全连续算子T，若 有一个孤立不动点 0，那么存在一个包含 的有界开子集DcX，使~-Leray-Schauder拓 扑度deg(一 DjO)≠0． 定理 设 为无 限维Banach空间，若定义在 上，具有无限维值域的全连续算子 本文1995年7月2 日收到 国家教委科研资助项 目 维普资讯 一 68 应用数学与计算数学学报 l0卷 T~XT(OA11在无穷远有广义孤立不动点，那幺T有一个不动点． 推论 如果^D (hJ=h成立当且仅当对所有i和AE0，1】，h=0，那J／_~T有一个不 动点．其~DT(z，h)为Gae‘aux导数． 本文考虑如下两点边 值问题： Y =f(t，Y，)， (0)=Ⅱ，(1)：6．