一类似变分包含组解的存在性与迭代算法.pdfVIP

第 30卷 第 1期 西 华 师 范 大 学 学 报 (自然 科 学 版 ) 2009年 3月 Vo1．30 No。l JournalofChinaWestNormalUniversity(NaturalSciences) Mar．2009 文章编号：1673—5072(2009)01-0041-06 一 类似变分包含组解的存在性与迭代算法 何 中全 (西华师范大学数学与信息学院，I~1)rl南充 637009) 摘 要 ：在Hilbert空间中引进和研究了一类带卵一单调算子的非线性似变分包含组(SNVLI)，得到了SNVLI解的 存在定理，给出了一个新的迭代算法 ，讨论了由迭代算法确定的序列关于 SNVLI解的收敛性．本文的工作推广和改 进了很多已知的结果． 关键词 ：似变分包含组；田一单调算子；预解算子；解的存在性；迭代算法 中图分类号 ：0177．91 文献标识码 ：A l 准备知识 本文总是假设 日是一个实Hilben空间， II，(·，)·分别表示 日上的范数和内积．设 2 表示 日的全体非 空子集所成的族． 首先给出一些基本概念． 定义 1．1 设 田：日X日一H单值算子，称 (i)是单调的，如果 ( (“，)，“一 )≥0， VM，∈H； (ii)严格单调的，如果 (，)，一 I0， V／,／，∈H， 等式成立，当且仅当u= ； (iii)艿一强单调的，如果存在常数 0使得 (田(“，)，“一 )≥占IlH一 II， V珏，∈H， 这里6称作 叼的单调常数； (iv)r．1ipschitz连续 的，如果存在常数 ．r0使得 l『r／(H，)lj≤rl『u一 ll， VⅡ，∈H， 这里 r称作 的lipschitz常数． 我们知道 ．，7的严格单调性蕴含着 7的单调性． 定义 1．2 设 ’7：日× 一 是一个单值算子，肘：日一2 是一个多值算子． 称作是 (i)田一单调的，如果 ( (11,，)，一y)10， VⅡ，∈H， ∈Mu，Y∈Mv； (ii)严格 一单调的，如果M是 田一单调的，(町(u，)，—y=0当且仅当u= ； (iii)(叼，6)一强单调的，如果存在常数 0，使 得 (田(，)，一)，)≥6Il 一 Il， V ，∈日， ∈Mu，Y∈Mv； (iv)极大 田一单调的，如果M是 叼．单调的，且 (，+pM)(H)=H，对任意的P0，这里，是单位算子． 收稿 日期 ：2008一lO一25 基金项 目：国家 自然科学基金资助项 目 作者简介：何中全(1955一)，男，四川南充人，西华师范大学数学与信息学院教授，主要从事非线性分析研究 42 西华师范大学学报 (自然科学版) 2009年 评注 1．1 极大 一单调算子最先是 由Huang和 Fang ，K．R．Kazmi和M．I．Bhatn分别引进的．这方 面的研究请参阅文献[1—3，7—12]． 其次，我们介绍一些有用的引理． 引理 1．1H 设 叼：日×日一日是一个严格单调算子，M：H．2 一个极大 77一单调的多值算子．那么，对 任意的P0，算子(，+pM) 是单值的． 引理 1．2¨纠 设 田：日×日一日是一个强6一单调和 r—Lipschitz连续算子．设 M：日一2 是一个极大 田一 单调多值算子．那么，M的预解算子 =(，+pM)是(÷)一Lipschitz连续的，即 U ll(M)一 ()Il≤÷ 一ll，Vu，∈H，(p0)． 2 非线性似变分包含组(SNVLI) 本节将引进一类新的非线性似变分包含组． 设 ，S，g，h：日一日， ：日一2 是极大 77一单调的．所渭非线性似变分组(SNVU)是指