Caristi不动点定理的迭代求解.pdfVIP

第26卷第9期 商 丘 师 范 学 院 学 报 Vo1．26 No．9 2010年 9 月 JOURNALOFSHANGQIUTEACHERSCOLLEGE Sep． 2010 Caristi不动点定理的迭代求解 户 阿冈 H凡 (徐州师范大学 数学科学学院，江苏 徐州221116) 摘 要：Caristi不动点定理只给出了不动点的存在性，没有给出不动点的求解方法(即没有给出求不动点的迭 代方法)．本文在赋格距离空间中，在某些附加条件下，用迭代方法求出不动点． 关键词：格理论；不动点；半序；迭代方法；Caristi不动点定理 中图分类号：0177．91 文献标识码：A 文章编号：1672—3600(2010)09—0013—04 ThemonotoneiterativetechniquesofCaristifixedpointtheorm LU Lili (SchoolofMa~ematicMScience，XuzhouNormalUniversity，Xuzhou221116，China) Abstract：Caristifixedpointtheorem onlygivestheexistenceoffixedpoints，butnotgivingthemethodofgetting fixedpoints．Inthispaper，weprovesomenew fixedpointtheoremsofCaristitypebyusingorderedmethod．Itis differentfrom Caristifixedpointtheorem thatthefixedpointscanbefoundbymonotoneiterativetechniquesinour results． Keywords：latticetheotem；fixedpoint；ordered；monotoneiterativetechniques；Caristifixedpointtheorem O 引 言 1976年，J．Caristi 中证明了一个著名的不动点定理： Caristi不动点定理 设 是完备的距离空间，算子A： ，假设存在下方有界的下半连续泛函 ： 使得 d(，Ax)≤ ()一 ( )，V VX， (1) 这里d(·，·)表示两点之间的距离．则 在 中至少有一个不动点． Caristi不动点定理是一个非常重要的不动点定理，它在非线性泛函分析和许多领域中都有重要应用．著 名数学家F．E．Browder在[12]中指出：“Caristi不动点定理很可能成为非线性泛函分析进一步发展的强有力 的工具”． Caristi不动点定理只给出了不动点的存在性，没有给出不动点的求解方法 (即没有给出求不动点的迭代 方法)．在本文中我们在赋格距离空问中推广了Caristi不动点定理，以及在某些附加条件下，可以用迭代方 法求出不动点． 收稿 日期：2009—11—16 基金项目：国家 自然科学基金资助项 目 作者简介：卢丽丽 (1979一)，女 ，江苏徐州人，徐州师范大学硕士研究生，主要从事非线性泛函分析的研究 14 商丘师范学 院学报 2010年 1 预备知识 定义 l[1 设 是一个半序集，如果对任给 ，YEX，都存在 sup{，Y}和 inf{，Y}，则称 是一个格． 定义2 设E是线性空间，又是半序集．如果半序结构与线性结构相容，即对任给 ， ∈R，I0， 3／~o，1，2，Y。，Y2∈E，1≤ 2，Y1≤)，2，都有似l+3／yl≤似2+／3y2，则称E是一个半序线性空间．如果 E是一个 半序线性空间，并且在半序结构下是一个格，则称