含(A,η)增生映象的变分包含解的Ishikawa迭代算法.docVIP

【标题】含(A,η)-增生映象的变分包含解的Ishikawa迭代算法 【作者】冉志会 【关键词】变分包含??(A,η)-增生映象??预解算子? Ishikawa迭代算法??收敛性和稳定性 【指导老师】金茂明 【专业】数学与应用数学 【正文】1.?引言变分包含作为基础数学和应用数学的一个重要分支,?由于其广泛应用于优化与制控、经济与平衡、工程科学,?引起了许多学者的广泛兴趣.?对这一问题的研究涉及到非线性和线性分析,?集值分析,?数学分析等数学分支,?有重要的学术价值和相当的难度.?自上世纪60年代以来,?一些数学工作者对变分包含的理论和算法研究已取得了许多重要的进展，近年来变分包含已在很多不同的方向上得到推广,?例如：Fang和Huang[1],?金茂明[2], Noor[3], Ding[4],?曾六川[5]?, Verma[9]等对变分包含及算法研究已取得了重要的结果.?最近Lan-Cho-Verma[6]提出了(A,η)-增生映象的概念，并研究了(A,η)-增生映象的预解算子性质.同时,?金茂明教授[2]引入了一类新的含H-增生算子的强非线性拟变分包含,?构造了一种寻求近似解的扰动算法,?并证明了由此算法生成的迭代序列的收敛性和稳定性.?本文受Lan-Cho-Verma、金茂明教授研究工作及参考文献的启发,?在Banach空间中研究了一类新的含(A,η)-增生映象的变分包含,?运用?(A,η)-增生映象的预解算子技巧,?对这类变分包含建立了解的存在唯一性定理,?构造了逼近这类变分包含解的Ishikawa迭代算法,?并且证明了由此算法生成的迭代序列的收敛性和稳定性.?本文的结果改进了近期文献的相关结果.2.?预备知识设?是一个实Banach空间,??是其对偶空间,??是?与?之间的对偶对,??表示?的所有非空子集族,?定义??为广义对偶映射,?=?=?=?，其中?为常数,?且?.?特别地，?时,??是一般正规对偶映射.一般地,?如果?严格凸,?对任意?，?=?,??单值的.??是Hilbert空间,?如果?=H,?则?就是?上的恒等映射.定义?的光滑模?为?=?.?是实Banach空间,?如果?=0则称?是一致光滑的.如果存在常数?,?使得?则称?是?一致光滑的.如果?是一致光滑的,?则?是单值的.?在?一致光滑Banach空间中Xu?给出了如下的特征不等式引理X???设?是实一致光滑Banach空间,?当且仅当存在常数?,?使得对?有?,则?是?一致光滑的.定义2.1??设?是?的自映射,??,?令?=?,?在?中生成迭代序列?,?假设?=?,?且?,?令?且?=?,?如果?=0,?有?,?则称由?=?生成的迭代序列?为?稳定的.引理2.1????,?和?是非负实序列,???[0，1],??=?，如果存在正整数?,使得?，且?.?则?=0.定义2.2???，?是两个单值映射,??算子?称为是?增生的,?如果????????????；?严格增生的,?如果?????????????；当且仅当?时等号成立.??强增生的,?如果存在常数?使得??????????????；? Lipschitz连续的,?如果存在常数?,?使得??????????????；??松弛的,?如果存在常数?,?使得??????????????.??????算子?称为是?对第一变量关于映象?是?强增生的,?如果存在常数?,使得???????????????；?关于第一变量是 Lipschitz连续的,?如果存在常数?,?使得??????????????.?????类似地,?可以根据?定义?关于第二变量Lipschitz连续.定义2.3??单值映象?称为 Lipschitz连续的,?如果存在常数?,?使得?.定义2.4???是单值映射,?算子?称为?增生的,?如果??????????；??增生的,?如果??????????；??强?增生的,?如果存在常数?,使得?;??松弛?增生的,?如果存在常数?,?使得??????????.定义2.5???,??是两个单值映射,?则集值映射?被称为是?增生的,?如果?是?松弛?增生的且对任意?,?有?=?.在[6]中, Lan-Cho-Verma指出如果?是?-增生映象,??是?增生映象,?则?是单值的.?为此,?我们给出?增生映象?的预解算子?:?的定义如下:定义2.6??设?是严格的?-增生映象且?是?增生映象,?则预解算子?:?定义为:??????????=?.引理2.2???设?是 Lipschitz连续的,??是?-强?-增生映象,??是?增生算子,?则预解算子?是 Lipsc