用近似点算法解含(H,η)-单调映象的集值变分包含.docVIP

【标题】用近似点算法解含(H,?η)?-单调映象的集值变分包含 【作者】韩 先 敏 【关键词】：集值变分包含??近似点算法??(H,?)-单调映象??迭代算法??收敛性? Hilbert空间 【指导老师】金 茂 明 【专业】数学与应用数学 【正文】1?引言本文主要研究一类新的广义集值变分包含：?.自上世纪以来，很多数学研究者就对变分不等式的理论和算法进行了研究，并取得了一系列的重要的成果，例如：尚明生、王庆先[1]，金茂明[2，3]?,张从军、孙敏[4],Noor?[6,7], Huang[9]??,Ding[10]等在变分包含及其算法研究方面都取得了重要的进展.最近，金茂明教授又引入了一类含H-单调映象的非线性变分包含问题，在Hilbert空间中利用与H-单调映象相联系的预解算子的性质，对这类非线性变分包含建立了解的存在性定理并构造了一种新的迭代算法，证明了由此算法生成的迭代序列的收敛性.在这些成果基础上本文通过在Hilbert空间中利用变分不等式理论，单调算子理论，集值分析理论，近似点算法，（H，η）-单调映象的预解算子技巧，对这类新的变分包含问题建立集值变分包含和不动点问题间的等价性转换；然后利用这种等价性，构造逼近这类集值变分包含解的扰动迭代算法；最后证明由此算法生成的迭代序列的收敛性.本文所得结论改进和推广部分近期结论.2?本文主要结论设?是具有范数???和内积?的实Hilbert空间,??表示?的一切非空子集族,?表示?的一切非空紧子集族.?设?：?和?,N:???是单值映象.设??：????是集值映象,??：??是集值映象使得对每一固定的?，?：??是?-单调映象.?,?则寻找?，?，?,??,??,?使得?且???????????????????????????????????????（2.1）问题(2.1)称为含?-单调映象的集值变分包含.特殊情形：(1) 如果?是?上的恒等映象,则问题(2.1)等价于寻找?使得?且? (2.2)?（2）如果?是单值映象,?是?上的恒等映象,?则问题(2.1)等价于寻找?使得?且??????????????????????(2.3)(3)?如果?,?则问题(2.1)等价于寻找?,使得???????????????????????????????????????????????????(2.4)如果?,使得?????????????????????????????????(2.5)问题(2.5)首先由Noor在[6]中研究过,?它包含了[6,7]中的变分包含作为其特殊情形.(4)?如果??,?设?：???{+?}，使得对每一固定的?，??：??{+?}是?上的一个真凸下半连续函数.设?=???，?：?是单值算子且对每一?，?? Dom(???)?，则问题（2.1）等价于寻找?使得,??时，有?, v X?.?????????????????(2.6)???(5)?如果?，则问题（2.6）等价于寻找?,?使得?, v X?.??????????????????(2.7)??问题(2.6)由Ding在文[6]中考虑和研究过.(6)?如果?是?上的恒等映象,设?:???{+?}使得对每一固定的?，??：??{+?}是?上的一个真凸下半连续函数.设M?=???，?.?：?是单值映象，? Dom(???)?，?则问题（2.1）等价于寻找?,?使得?时，有?,? X?.??????????????????????(2.8)可见，选择合适的?和空间?我们可以从问题（2.1）获得大量的已知或新型的变分不等式，变分包含和相关的优化问题，而且这些类型的变分包含使我们能以一般和统一的框架去研究数学，物理和工程科学等方面的问题.3?预备知识引理3.1?[5]?设?:?是一单值映象，?:??是一严格?-单调映象,?是?-单调映象,?则?是单值映象.由引理3.1,?我们定义预解算子?如下:定义3.1??设?：?是一单值映象，?:??是严格?-单调映象,??是?-单调映象,?预解算子?:?定义为?,???;其中??0是一个常数.定义3.2??设?：?是两个单值映象.??称为??（i）单调的，如果?,??;???(ii)严格单调的，如果?是单调的且?当且仅当?;??（?）?-强单调的，若存在一常数?0，使得?,??;(iv)关于?是?-强单调.若存在一常数?0,使得?,???;(v)??-Lipschitz连续，若存在一常数?0.?使得???,??;定义3.3??单值映象?称为：(i) 单调的,?若?,???;(ii) 严格单调的,?若?,???;且?当且仅当?.(iii)?-强单调,?若存在一常