一类新条件下的渐近非扩张映象迭代算法的收敛性1.pdf

第 33卷第 10期 西 南 大 学 学 报 (自然科学版) 2011年 10月 Vo1．33 NO．10 JournalofSouthwestUniversity(NaturalScienceEdition) Oct． 2O11 文章编号 ：1673—9868(201I)010—0107—03 一 类新条件下的渐近非扩张映象迭代算法的收敛性 黄 家 琳 宜宾学院 数学系，四川 宜宾 644007 摘要 ：首次引进新的假设条件 p≠F(T)一F(T )一 ·一F( )一 ·，其 中F(丁)是渐近非扩张映象T的不动点 集．在 自反 Banach空间的框架下，获得 了渐近非扩张映象 丁的迭代序列强收敛于其不动点的结论． 关 键 词 ：渐近非扩张映象；压缩映象；弱序列；对偶映象 中图分类号 ：O177．91 文献标志码 ：A 在给出本文主要结论之前 ，首先给出并证明以下预备定理： 定理 1 设E是具有弱序列连续的对偶映象的自反Banach空间，C是E的非空闭凸集，T：C— C是 满足 l_Tz—TYl_≤ l】 — ll Vz，EC， E (1) 的渐近非扩张映象，其中{h)c [1，+c×3)且limh一 1．设F(T)一 {zEC：z— Tz}为 丁的不动点集 ，且 n—}o。 ≠ F(丁)一F(T )一 … 一F (T )一 … (2) 又设 厂：C— c为一给定的压缩映象，其压缩常数为a(Oa 1)．设{0／} (0，1)是一实数列，满足： L 一 1 lim a一0，lim — 一0．则 以下变分不等式 H一 ∞ n一 。。 0／” (( 一Dq，J(z—q))≤ 0 Vz∈F(T) (3) 在 F(T)中有唯一解． 证 首先构造 以下隐迭代式来给出一序列{ }： Xn+l— f( )+ (1一 )T V ≥ 1 (4) 其 中 EC是任意给定的一点，映象厂，T以及数列{ }均为定理 1中所假定．由Banach压缩映象原理知， 满足隐迭代式(4)的序列一定存在．不难证明{z)有界 ，因E为 自反 Banach空间，则{z}有弱收敛的子 列 ，不妨设为 {z }，弱收敛于某点PEC，即z 一 ∈C (一 。。)．由Opial条件结合反证法可证得 PE F(T)．再 由(4)式不难证 明：P是变分不等式(3)在 F(T)中的一个解．下证 是唯一解． 事实上，假设 也是变分不等式(3)在 F(T)中的一个解 ，则 由(3)式有以下两式同时成立 ： (厂()一P，J(p 一 )≤ 0 (厂( )一声 ，J( 一P))≤ 0 将之相加则有：(1一 )1i— ，1l≤ ((J—f)P一(J—f)P，J(—P)≤0．从而P一声是变分不等式 (3)在 F(T)中的唯一解． 受文献[1— 12]中的一些方法和结论的启发，我们给出本文的主要结果 ： 定理 2 设E是具有弱序列连续的对偶映象的自反Banach空间，C是E的非空闭凸集，丁：C— C是满 收稿 日期 ：2O1O一10—11 基金项 目：四川省教育厅 自然科学基金资助项 目(08ZCO01)． 作者简介 ：黄家琳 (1949一)，男 ，浙江浦江人 ，教授 ，主要从事非线性分析的研究 108 西南大学学报 (自然科学版) http：／／xbbjb．SWU．cn 第 33卷 足 (1)式的渐近非扩张映象，且满足 (2)式．设映象_／、由定理 1所定义