【毕业论文】一类集值变分包含问题的逼近解.docVIP

【标题】一类集值变分包含问题的逼近解 【作者】倪 正 兵 【关键词】集值变分包含??(H,?)-单调映象??迭代算法??收敛性? Hilbert空间 【指导老师】金 茂 明 【专业】数学与应用数学 【正文】1?引言自上世纪60年代以来，一些数学工作者对变分不等式的理论和算法研究已取得了许多重要的进展，例如：张从军、孙敏[1],尚明生、王庆先[2]，金茂明[3，4]?,Noor?[5],? Ding[6]?，Huang[8]等对变分包含及算法研究已取得了重要的结果.最近，金茂明教授又引入了一类含H-单调映象的非线性变分包含问题，在Hilbert空间中利用与H-单调映象相联系的预解算子的性质，对这类非线性变分包含建立了解的存在性定理并构造了一种新的迭代算法，证明了由此算法生成的迭代序列的收敛性.?但如何用含（H，η）-单调映象的预解算子方法来研究新一类含（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.4)首先由Noor在[5]中研究过,?它包含了[5,7]中的变分包含作为其特殊情形.(4)?设?：???{+?}，使得对每一固定的?，??：??{+?}是?上的一个真凸下半连续函数.设?=???，?：?是单值算子且对每一?，?? Dom(???)?，则问题（2.1）等价于寻找?使得,?当?时，有?, v X?.?????????????????(2.5)???(5)?如果?，则问题（2.5）等价于寻找?,?使得?, v X?.???????????????????(2.6)??问题(2.6)由Ding在文[6]中考虑和研究过.(6)?如果?是?上的恒等映象,设?:???{+?}使得对每一固定的?，??：??{+?}是?上的一个真凸下半连续函数.设M?=???，?.?：?是单值映象，? Dom(???)?，?则问题（2.1）等价于寻找?,?使得?时，有?,? X?.??????????????????????(2.7)可见，选择合适的?和空间?我们可以从问题（2.1）获得大量的已知或新型的变分不等式，变分包含和相关的优化问题，而且这些类型的变分包含使我们能以一般和统一的框架去研究数学，物理和工程科学等方面的问题.现在，我们回忆下面的概念和引理.定义2.1??设?：?是两个单值映象.??称为??（i）单调的，如果?,??;???(ii)严格单调的，如果?是单调的且?当且仅当?;??（?）?-强单调的，若存在一常数?0，使得?,??;(iv)关于?是?-强单调.若存在一常数?0,使得?,???;(v)??-Lipschitz连续，若存在一常数?0.?使得???,??;定义2.2??单值映象?称为：(i) 单调的,?若?,???;(ii) 严格单调的,?若?,???;且?当且仅当?.(iii)?-强单调,?若存在一常数?0,使得??,???;(iv)?-Lipschitz连续,?若存在常数?0,使得???,???;定义2.3??令?和?是两个单值映象,?集值映象?称为:(i)单调的,?若?,???,????，??;(ii)?-单调,?若?,???,????，??;(iii)严格?-单调,?若?是?