-
设H为一实Hilbert空间, 其内积和范数分别表示为〈·, ·〉和║·║.设C为H的一个非空闭凸子集, f:C×C→ℝ为一二元函数.考虑如下均衡问题:求一点x*∈C, 使
以Ω表示均衡问题(1)的解集, 即Ω={x∈C:f(x, y)≥0, ∀y∈C}.众所周知, 均衡问题是一个包含变分不等式和不动点问题的广义的数学模型, 也是非线性分析的重要组成部分[1-8].
文献[9]介绍了一个惯性-近似点方法, 并应用于求解变分不等式问题的近似解, 数值实验显示惯性-近似点方法具有更好的收敛性和稳定性.文献[10]利用两点初始值改进传统数值方法的单点初始值, 介绍了求解强伪单调均衡问题的两步近似点方法, 该方法的优点是收敛性分析相对简单, 缺点是每一步迭代中的xn和yn的交叉引用增加了近似点方法运算的复杂度.
在文献[9-10]基础上, 本文提出了求解强伪单调均衡问题的惯性-近似点方法:设x0,x1∈C, 定义序列{xn}和{yn}
其中θn∈[0, 1], λn∈(0, +∞).本文的目的是利用惯性技巧改进文献[10]的近似点方法, 去掉迭代中xn和yn的交叉引用以加快收敛速度, 提高数值方法的稳定性, 并在一定条件下建立了关于强伪单调均衡问题解的强收敛定理, 所得的方法和结果改进并推广了文献[9-10]的结论.
HTML
-
设C为Hilbert空间H的非空闭凸子集, f:C×C→ℝ为二元函数, f在C上单调, γ-强单调, 伪单调和γ-强伪单调的定义参见文献[1, 10].
定义1[10] 设f:C×C→ℝ为二元函数, 称f满足Lipschtiz-型条件:如果存在常数c1>0, c2>0使得
为了方便描述和证明, 假设f:C×C→ℝ满足下列条件:
(A1) f(x, x)=0, ∀x∈C;
(A2) f(x, y)是γ-强伪单调映象;
(A3) f(x, y)在C上满足Lipschtiz-型条件;
(A4) 对任意x∈C, f(x, ·)是凸的且下半连续, 并满足
$ \mathop {\lim }\limits_{t \to 0} f\left( { \boldsymbol{\cdot} , tz + \left( {1 - t} \right)y} \right) = f\left( {\boldsymbol{\cdot} , \forall y, z \in C} \right) $ .设g:C→ℝ为一适当的凸且下半连续泛函, 且常数λ>0.定义如下近似函数
引理1[11] 对任意x∈H, y∈C和常数λ>0, 有下列不等式:
由引理1, 如果x=Proxλg(x), 则有
$ x \in \arg \;\rm{min}\left\{ {{\rm{g}}\left( y \right):y \in C} \right\}: = \left\{ {x \in C:g\left( x \right) = \mathop {\min }\limits_{y \in C} g\left( y \right)} \right\} $ 成立.引理2[11] 设H为一实Hilbert空间, 对λ∈[0, 1], 有下列不等式:
-
定理1 设C为Hilbert空间H的非空闭凸子集, 且f:C×C→ℝ满足条件(A1)-(A4).如果记x*为均衡问题(1)的解, 且γ≥c2, 则由式(2)定义的序列{xn}满足不等式
证 由式(2)和近似函数的定义得
其中
再结合优化条件可知
即存在
使得
即
因为f(wn, ·)是凸函数, 所以fn(x)为强凸函数, 则
其中任意gn∈∂fn(yn).取x=x*, gn=gn*, 结合式(4)和式(5)得
进一步结合fn(x)的定义和条件(A3)得
又因为f(x, y)是强伪单调映射且
所以
由式(7)可得
进一步整理得
类似地, 由式(2)和(6)得
并结合式(7)和条件(A3)得
进一步整理得
由条件γ≥c2, 式(8)和(10)可得
又因为
由式(11)和(12)可得
同时, 由式(2)和引理2得
并且
结合式(13),(14)和(15)得
定理2 设C为Hilbert空间H的非空闭凸子集, 且f:C×C→ℝ满足条件(A1)-(A4).如果序列
$ \left\{ {{\lambda _n}} \right\}_{n = 1}^\infty 和 \left\{ {{\theta _n}} \right\}_{n = 1}^\infty $ 满足条件λn-1≤λn, θn≤θn-1, 并且则由式(2)定义的迭代序列{xn}强收敛到强伪单调均衡问题(1)的唯一解x*∈Ω.
证 由定理1, 式(16)整理得
其中
且
因为
结合θn≤θn-1和式(17)得
利用式(19),(20)得An-1Bn-Cn≥0, 结合式(20)进一步可得
不难验证
又因为
所以
即{xn}强收敛到强伪单调均衡问题(1)的唯一解x*∈Ω.
定理3 设C为Hilbert空间H的非空闭凸子集, 且f:C×C→ℝ满足条件(A1)-(A4).对任意给定x0∈C, 如下定义近似点序列{xn}:
其中
$ 0 < {\lambda _{n - 1}} \le {\lambda _n} <\frac{1}{{2{c_1}}}且 \gamma \ge {c_2} $ , 则序列{xn}强收敛到强伪单调均衡问题(1)的唯一解x*∈Ω.证 取θn=0, 即wn=xn, 惯性-近似方法(2)退化为近似点逼近算法(23), 结论由定理2类似可证.