張冬楊, 葛鑫磊
(渤海大學 數(shù)理學院, 遼寧 錦州 121000)
變分不等式理論是當今非線性分析的重要組成部分.它在力學、微分方程等方面有著非常廣泛的應用.
自20世紀60年代以來,Lious、Brower等人提出和創(chuàng)立變分不等式的基本理論以來,經(jīng)過許多數(shù)學工作者的努力,變分不等式的研究已經(jīng)取得了重要的進展,并且日臻完善.到目前為止,變分不等式的理論,已成為一門內容十分豐富的邊緣學科并有著廣泛的應用前景.
Hilbert和Banach空間中的距離投影算子在眾多數(shù)學領域中都有比較廣泛的應用,例如泛函分析、數(shù)值分析、優(yōu)化和逼近論、最優(yōu)控制、非線性隨機規(guī)劃等.
雖然Hilbert空間中的距離投影算子和Banach空間中的距離投影算子定義相似,但是仍然存在著本質上的區(qū)別,在Hilbert空間中的距離投影算子是單調的,非擴張.而Banach空間中的投影算子卻沒有這樣的性質.為了克服這樣的限制,1996年Alber[1]在一致凸且一致光滑的Banach空間中引入了廣義投影算子φK:B*→K和φK:B→K,它們是從Hilbert空間到一致凸且一致光滑的Banach空間.這種算子繼承了Hilbert空間距離投影算子的很多性質,在2001年,Alber在Banach空間中借用廣義投影算子來計算變分不等式的近似解.
隨著距離投影算子研究的不斷深入,應用距離投影算子求解廣義變分不等式取得了較多的研究成果.
在提出求解變分不等式的新方法之前,我們需要一些預備知識.
令X是Banach空間,X*為X的對偶空間,K為X的非空閉凸子集,f:K?X→R∪{+∞}是真凸下半連續(xù)函數(shù).
Banach空間X上的對偶映射J:X→X*可以定義為
對偶映射J具有下述性質[1]:
(1)X是自反的當且僅當J是滿射;
(2)X是嚴格凸的當且僅當J是單射;
(3)X是光滑的當且僅當J是單值映射;
(4) 如果X是光滑的Banach空間,那么J:X→X*是弱*連續(xù)的;
(5) 如果X是自反嚴格凸且光滑的Banach空間,那么J*:X*→X是X*中的對偶映射且J-1=J*,J*J=I.
令X是一致凸且光滑的Banach空間,V2:X×X→R可以定義為V2(x,y)=V(Jx,y),其中任意的x,y∈K.
對任意給定的ρ>0,令G:X*×K→R∪{+∞},定義
G(φ,x)=‖φ‖2-2〈φ,x〉+‖x‖2+ρf(x)
G函數(shù)的性質[2]如下:
(1) (‖φ‖-‖x‖)2+ρf(x)≤G(φ,x)≤(‖φ‖+‖x‖)2+ρf(x);
(2) 對φ而言,如果x是固定的,那么G(φ,x)是凸的,連續(xù)的;
(3) 對x而言,如果φ是固定的,那么G(φ,x)是凸的,下半連續(xù)的.
在已有G函數(shù)的基礎上,Wu和Huang[2]在一致凸且一致光滑的Banach空間中定義了廣義f-投影算子,即:
〈u,y-x〉+ρf(y)-ρf(x)≥0,?y∈K.
(1)
其中,T:K→X*是集值變換.
在文章中,還需要如下引理:
引理2[5]如果對任意x∈K,ρ>0都有f(x)>0,那么
引理3[5]如果是任意給定的實數(shù)r>0,那么X是一致凸的Banach空間當且僅當存在嚴格遞增的凸函數(shù)g:R+→R+,且g(0)=0,使得
其中?x,y∈Br,λ∈[0,1].
引理4[6]令X是一致凸且光滑的Banach空間且{yn}、{zn}是X中的兩個序列,如果V2(zn-yn)→0,且{yn}或{zn}是有界的,那么zn→yn→0.
定理令X是一致凸且光滑的Banach空間且其對偶空間為X*,K是X的非空閉凸子集且0∈K,令f:K→R是真凸下半連續(xù)的,T:K→X*是上半連續(xù)且閉的.假設存在β>0使得任意x∈K,u∈Tx都有
且J-βT:K→X*是緊的.令Ω是變分不等式GVI(K,T,f)的解集.假設
(2)
令x0∈X,且{xn}是由下列迭代結構產(chǎn)生的:
其中{αn}滿足下列條件:
(1) 0≤αn≤1;
那么,廣義變分不等式GVI(K,T,f)存在近似解x*∈K,且存在{xni}?{xn},使得當i→∞時,xni→x*.
由引理3和式(2)可以得到
另一方面,由G函數(shù)的定義及引理2可得
因為X是一致凸的,那么‖·‖是嚴格凸的,也就是說
結合式(4)和式(5),有‖xn+1‖≤‖xn‖.
由引理3可知,存在連續(xù)且嚴格遞增的凸函數(shù)g:R+→R+且g(0)=0,那么
由式(2)可知
由g函數(shù)的非負性,可得
G(Jxn+1,x*)≤G(Jxn,x*),
即{G(Jxn,x*)}是遞減的,也就是{V2(xn,x*)}也是遞減的.由于xni→x*和J的弱*連續(xù)性,可得
即V2(xni,x*)→0(i→∞),xni→x*.