余 靜, 夏福全
(四川師范大學數學科學學院,四川成都610066)
本文總假設Rn為歐式空間,〈·,·〉和‖·‖分別表示Rn的標準內積和l2范數.
設W?Rn是非空閉凸子集,θ:Rn→R∪{+∞}是下半連續凸函數,F:Rn→2Rn是集值映射.本文所研究的廣義混合變分不等式問題(簡記為 GMVIP)為:求 w*∈W,y*∈F(w*),使得

本文總假設廣義混合變分不等式問題的解集W*≠?且 dom(θ)?W,其中

當集值映射F退化為單值映射F:Rn→Rn時,問題(1)退化為下列的一般混合變分不等式問題(簡記為 MVIP):求 x*∈W,使得

當θ:Rn→R∪{+∞}為集合W的指示函數時,問題(1)退化為下列的廣義變分不等式問題(簡記為 GVIP):求 x*∈W,y*∈F(x*),使得

Huang等[1]在Banach空間T中給出了一般混合變分不等式問題(2)的解集X*所滿足的weaksharp 條件:存在 α >0,ε∈(0,1),使得

其中,W?T是非空閉凸子集,BT*是T的對偶空間T*中的單位閉球,F:T→T*是單值映射,g:T→R是下半連續凸函數,對是集值映射,其定義為

TW(x*)稱為閉凸集 W在點 x*處的切錐,其定義為:

NX*(x*)稱為集合X*在點x*處的法錐,其定義為


顯然,

Huang等[1]利用與問題(2)相關的間隙函數,給出了weak-sharp條件(4)成立的等價刻畫:存在 τ>0,使得

其中,dist(x,X*)表示點 x到解集 X*的距離,其定義為:

h(x)表示與問題(2)相關的間隙函數,其定義為:

另一方面,Xiong等[2]在Rn空間中給出了廣義變分不等式問題(3)的解集 S0所滿足的weaksharp條件:存在α>0,使得

其中,W?Rn是非空閉凸子集,B是Rn空間中的單位閉球,G:Rn→2Rn的集值映射,其定義為:

顯然,對?x∈Rn,G(x)?F(x).
進一步,Xiong等[2]給出了 weak-sharp條件(5)成立的等價刻畫:存在α>0,使得

其中,δS(z)稱為集合S的支撐函數,其定義為:

顯然

對非空子集A,B?Rn有

最后,Xiong等[2]在GVIP問題的解集 S0滿足 weak-sharp條件之下,獲得了GVIP問題的任意迭代算法有限收斂的等價條件.
雖然Huang等[1]獲得了一般混合變分不等式MVIP問題的解集X*滿足weak-sharp條件的等價刻畫,但是Huang等[1]并沒有通過 weak-sharp條件獲得MVIP問題解的任意迭代算法有限收斂的等價條件.而Xiong等[2]不僅獲得了廣義變分不等式GVIP問題的解集S0滿足weak-sharp條件的等價刻畫,同時通過GVIP解集滿足weak-sharp條件的假設之下,獲得求解GVIP問題解的任意迭代算法有限收斂的等價條件.本文將結合文獻[1-2]中的方法,研究廣義混合變分不等式GMVIP問題的解集W*滿足 weak-sharp條件的等價刻畫,并在GMVIP問題解集滿足weak-sharp條件的假設之下,獲得GMVIP問題解的任意迭代算法有限收斂的等價條件.最后,本文以廣義混合變分不等式GMVIP問題的超投影近似點算法為特例,在一定的條件下,獲得該算法的有限收斂性.
設非空集合 D?Rn,x∈Rn,如果

則稱dist(x,D)為點 x到集合 D 的距離.如果

則稱PD(x)為點x在集合D上的投影.顯然,如果D是非空閉凸集,則PD(x)是單點集.
下面給出一個重要的投影性質:

顯然,由(9)式有

下面給出一些定義及引理.
定義 1.1[3]設 F:Rn→2Rn是集值映射,如果對任意 x,y∈Rn,u∈F(x),v∈F(y),均有

則稱集值映射F在Rn上單調.
定義 1.2[4]設 f:Rn→R,x∈Rn,若對任意收斂于x的點列{xk}?Rn均有

則稱函數f:Rn→R在x處下半連續.如果函數f在Rn上每一點均下半連續,則稱f在Rn上下半連續.
定義 1.3[4]設 θ:Rn→R,x∈Rn,如果

則稱?θ(x)為函數θ在x處的次微分.
定義 1.4[5]設{Ck}k∈N是Rn的非空子集序列,則{Ck}k∈N的內極限定義為

其中,N∞:={N?N:N\N 有限},N是自然數集表示序列按指標集N收斂.顯然,如果Ck:={xk},則內極限就等同于極限.
引理1.5設W?Rn是非空閉凸子集,w∈W.則對?z∈NW(w)有

其中,TW(w)為閉凸集W在點w處的切錐.
證明由W是非空閉凸子集,可知TW(w)是非空閉凸錐且 NW(w)=[TW(w)]?.由 z∈NW(w),有 z∈[TW(w)]?,則對?y∈TW(w),有〈z,y〉≤0.因此 PTW(w)(z)=0.
顯然問題(1)等價于:求w*∈W,使得

由(11)式可知,存在 y*∈F(w*),z*∈?θ(w*),使得

由(12)式及引理1.5 可知

引理 1.6[4]設 Ai?Rn(i=1,2,…,m)是非空閉凸錐,則

引理 1.7[6]設 A?Rn,B?Rn,A、B 均為非空閉凸子集.則A?B當且僅當

引理 1.8[2]設 W?Rn是非空閉凸子集.w∈W,y∈Rn.則

首先本文給出GMVIP問題的解集W*滿足的weak-sharp條件:存在α>0,使得

其中,映射G由(6)式定義.
如果GMVIP問題(1)中的集值映射F退化為單值映射 F:Rn→Rn,則 GMVIP 問題(1)就退化為MVIP問題.此時,weak-sharp條件(1)就退化為weak-sharp條件(4).如果 GMVIP 問題(1)中的函數θ退化為集合W的指示函數,則GMVIP問題(1)就退化為GVIP問題.此時,weak-sharp條件(14)就退化為weak-sharp條件(5).
首先給出下列命題.
命題2.1下面等式恒成立:
(i)[TW(w*)∩NW*(w*)]?=cl conv(NW(w*)∪TW*(w*));
(ii)對?z∈Rn有

證明(i)由 W?Rn是非空閉凸集,可知TW(w*)是非空閉凸錐.而 NW*(w*)也是非空閉凸錐,則

由引理1.6可知結論成立.
(ii)設 z∈Rn,則

其中,上式中的第一個等式是由(i)獲得,第二個等式是由(7)式獲得,第三個等式是由(8)式獲得.
命題 2.2[2]設 W?Rn是非空閉凸子集,F:Rn→2Rn是集值映射,G:Rn→2Rn是集值映射,則
(i)如果F在W上極大單調,則G在W*上是凸值;
(ii)如果F在W上是緊值,則G在W*上是緊值.
下面給出問題(1)的解集W*滿足(14)式的一個等價條件.
定理2.3設G在W*上是緊凸值,則問題(1)的解集W*滿足weak-sharp條件當且僅當存在α>0,使得

證明設G在W*上是緊凸值,w*∈W*,則G(w*)是緊凸集.顯然,αB 是緊凸集,?θ(w*)是閉凸集,又由[TW(w*)∩NW*(w*)]?是閉凸集可知G(w*)+?θ(w*)+[TW(w*)∩NW*(w*)]?是閉凸集.設解集W*滿足weak-sharp條件,則由(14)式可知,存在α>0,使得對?w*∈W*有

因此,對?z∈Rn有

式中的第一個不等式是由W*滿足(17)式及引理1.7 獲得,最后一個等式是由命題 2.1 中的(ii)獲得.若存在 α >0,對?w*∈W*,?z∈Rn,有(16)式成立.則由(18)式可得

由(19)式及引理1.7 可得

下面將在GMVIP問題(1)解集滿足weaksharp條件的假設之下,獲得GMVIP問題(1)解的任意迭代算法有限收斂的等價條件.
定理 3.1設 W?Rn是非空閉凸子集,{wk}?W.F:Rn→2Rn是集值映射,θ:Rn→R∪{+ ∞ }為真凸下半連續函數.若對于充分大的k,wk∈W*,則存在 yk∈F(wk),zk∈?θ(wk),使得

證明設存在 k0>0,當 k≥k0時,有 wk∈W*.則當 k≥k0時,由(11)式有

由(21)式可知,存在 yk∈F(wk),zk∈?θ(wk),使得

由(22)式及引理1.5 有

因此,(20)式成立.
定理3.2設 W?Rn是非空閉凸子集.F:Rn→2Rn是單調集值映射,θ:Rn→R∪{+ ∞ }為真凸下半連續函數.問題(1)的解集W*是非空閉凸子集且滿足(14)式.{wk}?W是任意迭代算法產生的序列.則對于充分大的k,wk∈W*當且僅當

其中,

證明設存在 k0>0,當 k≥k0時,有 wk∈W*.則當 k≥k0時,由(11)式可得

由(24)式可知,存在 yk∈F(wk),zk∈?θ(wk),使得

由(25)式及引理1.5 可知,當 k≥k0時,有

令 N:={k0+1,k0+2,…},顯然 N∈N∞,又

及

由(27)和(28)式可得

設(23)式成立.假設對?K∈N,存在 k≥K,使得 wk≥W*.也即存在序列{wk}k∈K?{wk},K?N,使得wk≥W*.由(23)式可知,存在 N∈N∞,yk∈F(wk),zk∈?θ(wk),k∈N 使得

令 Z=K∩N,由(29)式有

由W*是非空閉凸子集,則對?wk(k∈Z),存在唯一 uk∈W*,使得

由(31)式可得

則對?k∈Z,有

及

由W*滿足(14)式,則存在α>0,使得對?k∈Z有


使得

因此,對?k∈Z有


式中的第二個等式是由(35)式獲得,第一個不等式是由(32)式及

獲得,第二個不等式是由F的單調性及?θ的單調性獲得,最后一個不等式是由(33)式及

獲得,最后一個等式是由引理1.8獲得.由于

因此,由(36)式可得 α≤0,與 α >0矛盾.故結論成立.
如果GMVIP問題(1)中的集值映射F退化為單值映射 F:Rn→Rn,則 GMVIP 問題(1)就退化為MVIP問題.由(4)式可知,MVIP問題的解集W*滿足的weak-sharp條件為:

從而,由定理3.2可得如下推論:
推論 3.3設 W?Rn是非空閉凸子集.F:Rn→Rn是單調單值映射,θ:Rn→R∪{+∞}為真凸下半連續函數.MVIP問題的解集W*是非空閉凸子集且滿足(37)式.{wk}?W是任意迭代算法產生的序列.則對于充分大的k,wk∈W*當且僅當

其中

3.1 超投影近似點算法的有限收斂顯然問題(1)等價于:求 w*∈W,使得

令

則問題(1)等價于:求 w*∈W,使得

接下來,本文將根據Solodov等[7]提出的求解極大單調包含問題(41)的超投影近似點算法,給出求解GMVIP 問題(1)的超投影近似點算法 3.1.1,并運用定理3.2證明此算法在滿足一定條件下有限收斂.
算法 3.1.1第一步:任給 z0∈Rn,σ∈[0,1),得到 zk.
第二步:任給 μk>0,求 wk∈Rn,使得

其中,mk∈F(wk),hk∈NW(wk),rk∈?θ(wk),εk滿足

第三步:如果 mk+hk+rk=0或 wk=zk,停止迭代.否則

第四步:令k=k+1,回到第二步.
對于算法3.1.1,假設下面的條件成立:
(i)W*≠?;
(ii)F:Rn→2Rn為極大單調映射;
(iii)W?dom F,ri(dom F)∩ri(W)∩W*≠?.假設(i)~(iii)保證了映射 A=F +NW+?θ是極大單調的.
定理 3.1.2[7]設{zk}是由算法 3.1.1 獲得的序列,則
(a){zk}有界;
(b)若參數序列{μk}滿足 μk≤μ < ∞,?k=0,1,2,…,則收斂到W*中的點.
定理 3.1.3設 W?Rn是非空閉凸子集,θ:Rn→R∪{+∞}為真凸下半連續函數.GMVIP問題的解集 W*是非空閉凸子集且滿足(14)式.{wk}?W 是算法 3.1.1 產生的序列.假設(i)~(iii)成立.則對于充分大的 k,wk∈W*.
證明由定理 3.1.2的(b)可知,存在≥z∈W*,使得

由(a)可知


則存在N∈N∞使得

由 W 是非空閉凸集,則對?k∈N,TW(wk),NW(wk)均為非空閉凸錐.由 Moreau分解定理,對mk∈F(wk),rk∈?θ(wk)有

因此,對 hk∈NW(wk)(k∈N)及(45)式,有

由(44)和(46)式可得

又

因此,由定義1.4可得

由定理3.2可知結論成立.