Banach空间中涉及非扩张映象的Halpern迭代算法的几乎T稳定性.pdfVIP

维普资讯 第 24卷 第2期 忻 州 师 范 学 院 学 报 V0l_24 No．2 2008年 4月 JOURNAL OF XINZHOU TEACHERS UNIVERSITY Apr．2008 Banach空间中涉及非扩张映象的Halpern 迭代算法的几乎 稳定性 张志平，崔泽建 (西华师范大学，四川 南充 637002) 摘 要：在一定条件下，我们利用Liu所得到的不等式，讨论了xu所研究过的关于非扩张 映象的Halpern迭代算法的几乎 稳定性。 关键词：Halpern迭代序列；几乎 稳定性；非扩张映象；正规对偶映象；Banach空间 中图分类号：0177．91 文献标识码 ：A 文章编号：1671—1491(2008)02—0015—03 1 引言及预备知识 众所周知，迭代算法不仅在优化理论 、非线性分析上十分重要，而且在误差估计 ，近似逼近等方面都具有广泛地应用。近 几年，许多作者对 Banach空间中的非扩张映象迭代算法的收敛性问题进行了讨论和研究 。 定义 1．1 设 是Banach空间， 是‘ 的对偶空间。正规对偶映象 ．，： 2 是由下式所定义： ．，()= { ‘∈X ‘：( ‘，)= ll ll = ll ll}，V ∈X， 这里( ‘，)表示泛函 在‘ 处的值。 定义 1．2 设 是Banach空间，S={∈X： ll=1}。如果对每一个 ，Y∈S，极限 li lI ± II二 IJ l【 t 都存在且关于 ∈S一致达到 ，则称 为一致Gateaux可微的。如果对每一个 ，Y∈S ，上述极限存在且关于 ，Y∈S 一致达 到，则称 是一致光滑的。很显然，如果 是一致Gateaux可微的(或一致光滑的)，则正规对偶映象．，退化为单值的且在有界 集上是范数 一弱’(或范数 一范数)一致连续的。 定义 1．3 设 是Banach空间，C是 的非空闭子集 ，： c为一映象。如果Vx，Y∈C，都有 II 一 ll≤ 一Yll，则 称 是非扩张的。 定义 1．4 设 是 Banaeh空间，C是 的非空闭子集 ，： C为一映象。如果 ∈C，满足Tx= ，则称 是 是的一个不 动点。记 在C上的不动点全体为F(T)={∈c：Tx= }。 定义 1．5 设 是Banaeh空间，C是 的非空闭子集。定义迭代序列 { }：。cC为 +。=，(T， )且假设 ∈F(T)。 又设另一序列 {Y}：。cC，且定义{ }：。c[0，+。。)为 =llY 一，(，Y)II。如果lime =0隐含着limy= ，则称迭代 + ∞ 序列 { }：。是 稳定的。如果 s+。。隐含着limy ：，则称迭代序列 { }：。是几乎 稳定的。 很显然 ，序列的 稳定性隐含着其几乎 稳定性。 假设 是一致 Gateaux可微的Banaeh空间，C是 的非空闭子集，：C—C为一非扩张映象且 F()≠ 。2000年 ，Xu 在一致Gateaux可微的Banaeh空间中，没有使用Banaeh极限情况下证明了下面修改的Halpern 迭代算法 +l= Yo+(1一 )Tx ，lt=0，1，2，… (1) 强收敛于某一个 ∈F(T)，这里Yo∈C为一给定的点，{Ol}：：。c(0，1)且满足一定条件。 在文章中，我们将在一定条件下证明由(1)式定义的迭代算法是几乎 稳定的。 收稿 日期：2007—09—12 作者简介：张志平(1978一)，男，山西忻州人 ，西华师范大学数学