k-强增生型变分包含问题解的存在性及带误差的三重迭代逼近.pdf

第 26卷第 1期 大 学 数 学 Vo1．26。№ ．1 2010年 2月 COLLEGE M ATHEM ATICS Feb．2010 一 强增生型变分包含问题解的存在性 及带误差的三重迭代逼近 薛祖华 (苏州高等师范学校 数理组，苏州 215008) [摘 要]研究 Banach空间中 一强增生型变分包含 问题 ，在实的一致光滑 Banach空间中，证 明了这类变 分包含问题解 的存在唯一性 ，并给 出带误差 的三重迭代序列 {z)收敛性．本文结果是 曾六川Ⅲ和赵芬、何 震 结果 的改进和推广． [关键词]变分包含 ；k-强增生映象；带误差的三重迭代程序 [中图分类号]O177．91 [文献标识码]A [文章编号]1672—1454(201O)01—0069—05 1 引言与预备知识 设 T，A：x—x，g：x—X 是三个映象 ，：X 一 U {+CXD)为真 凸下半连续泛 函．1999年 ，张石 生 引入和研究 了下列 Banach空间的变分包含问题 VⅥ (T，A，g，27)：对给定的fEX，求 “EX使得 』g(“∈Da (1．1) 【Tu--Au—f，一g(“))≥27(g(u))一27(v)， V ∈X ， 其中a 是27的次微分．[3，定理 2．1]在 X是实的一致光滑 Banach空间的框架下 ，建立并证明了变分包 含问题 (1．1)解的存在唯一性及其 Ishikawa迭代序列的收敛性．2000年 ，张石生等人[4，定理 2．1]仍在 实的一致光滑 Banach空间的框架下把 [3，定理 2．1]从强增生映象推广到了 强增生映象的情况．2004 年 ，曾六川Ⅲ在 实 的 自反 的光滑 Banach空间下 引入 了一类 强增生 型变分包含 问题为：设 T，A： X—X，N(·，·)：X×X—X，g：X—X 是四个映象 ，：X 一 U{十C×。}为真凸下半连续泛 函．对给定 的厂∈X，求 “∈X，使得 fg(“)∈D(a)， ， 。、 【N (Tu--Au)一f，72--g()≥ (g(“))一 ()， VvEX ， 其中a 是 的次微分 ，D(a27)指代a ()的定义域 ，证 明了上述 问题解 的存在唯一性及其带误差的 Ishikawa迭代程序的收敛性 ，把张石生的结果进一步进行了推广．值得一提 的是，最近，赵芬、何震证明 了下述带误差的三重迭代程序 f 一 + (f- +z)+ ，，伽 ， {y．一a + (f-Tz+z)4：- ， (1．3) l+1一aJC+ (厂～Ty+y)+7 “， ，zEz，≥0 的收敛性 ． 本文受上述文献 的启发 ，在实一致的Banach空间中，研究变分包含问题 (1．2)的解的存在唯一性及 修改的带误差的三重迭代程序 的收敛性 ，把 曾六川和赵芬、何震的结果进行了推广． 下面我们介绍一下本文用到的定义和定理． 定义 1．1E 设 A：D(A)CX~X是一映象， [收稿 日期]2007—07一lO 70 大 学 数 学 第26卷 (i)映象A称为增生的，如果对任意的 ，∈D(A)，存在J(z--y)EJ(x--y)，使得 A —A ，J(— )jo； (ii)映象A称为志一强增生的，如果对任意的 ，yED(A)，存在志E(O，1)，J(