張冬楊, 葛鑫磊

(渤海大學(xué) 數(shù)理學(xué)院, 遼寧 錦州 121000)

變分不等式理論是當(dāng)今非線性分析的重要組成部分.它在力學(xué)、微分方程等方面有著非常廣泛的應(yīng)用.

自20世紀(jì)60年代以來,Lious、Brower等人提出和創(chuàng)立變分不等式的基本理論以來,經(jīng)過許多數(shù)學(xué)工作者的努力,變分不等式的研究已經(jīng)取得了重要的進(jìn)展,并且日臻完善.到目前為止,變分不等式的理論,已成為一門內(nèi)容十分豐富的邊緣學(xué)科并有著廣泛的應(yīng)用前景.

Hilbert和Banach空間中的距離投影算子在眾多數(shù)學(xué)領(lǐng)域中都有比較廣泛的應(yīng)用,例如泛函分析、數(shù)值分析、優(yōu)化和逼近論、最優(yōu)控制、非線性隨機規(guī)劃等.

雖然Hilbert空間中的距離投影算子和Banach空間中的距離投影算子定義相似,但是仍然存在著本質(zhì)上的區(qū)別,在Hilbert空間中的距離投影算子是單調(diào)的,非擴張.而Banach空間中的投影算子卻沒有這樣的性質(zhì).為了克服這樣的限制,1996年Alber[1]在一致凸且一致光滑的Banach空間中引入了廣義投影算子φK:B*→K和φK:B→K,它們是從Hilbert空間到一致凸且一致光滑的Banach空間.這種算子繼承了Hilbert空間距離投影算子的很多性質(zhì),在2001年,Alber在Banach空間中借用廣義投影算子來計算變分不等式的近似解.

隨著距離投影算子研究的不斷深入,應(yīng)用距離投影算子求解廣義變分不等式取得了較多的研究成果.

在提出求解變分不等式的新方法之前,我們需要一些預(yù)備知識.

1 預(yù)備知識

令X是Banach空間,X*為X的對偶空間,K為X的非空閉凸子集,f:K?X→R∪{+∞}是真凸下半連續(xù)函數(shù).

Banach空間X上的對偶映射J:X→X*可以定義為

對偶映射J具有下述性質(zhì)[1]:

(1)X是自反的當(dāng)且僅當(dāng)J是滿射;

(2)X是嚴(yán)格凸的當(dāng)且僅當(dāng)J是單射;

(3)X是光滑的當(dāng)且僅當(dāng)J是單值映射;

(4) 如果X是光滑的Banach空間,那么J:X→X*是弱*連續(xù)的;

(5) 如果X是自反嚴(yán)格凸且光滑的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ù)的性質(zhì)[2]如下:

(1) (‖φ‖-‖x‖)2+ρf(x)≤G(φ,x)≤(‖φ‖+‖x‖)2+ρf(x);

(2) 對φ而言,如果x是固定的,那么G(φ,x)是凸的,連續(xù)的;

(3) 對x而言,如果φ是固定的,那么G(φ,x)是凸的,下半連續(xù)的.

在已有G函數(shù)的基礎(chǔ)上,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空間當(dāng)且僅當(dāng)存在嚴(yán)格遞增的凸函數(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.

2 主要結(jié)果

定理令X是一致凸且光滑的Banach空間且其對偶空間為X*,K是X的非空閉凸子集且0∈K,令f:K→R是真凸下半連續(xù)的,T:K→X*是上半連續(xù)且閉的.假設(shè)存在β>0使得任意x∈K,u∈Tx都有

且J-βT:K→X*是緊的.令Ω是變分不等式GVI(K,T,f)的解集.假設(shè)

(2)

令x0∈X,且{xn}是由下列迭代結(jié)構(gòu)產(chǎn)生的:

其中{αn}滿足下列條件:

(1) 0≤αn≤1;

那么,廣義變分不等式GVI(K,T,f)存在近似解x*∈K,且存在{xni}?{xn},使得當(dāng)i→∞時,xni→x*.

由引理3和式(2)可以得到

另一方面,由G函數(shù)的定義及引理2可得

因為X是一致凸的,那么‖·‖是嚴(yán)格凸的,也就是說

結(jié)合式(4)和式(5),有‖xn+1‖≤‖xn‖.

由引理3可知,存在連續(xù)且嚴(yán)格遞增的凸函數(shù)g:R+→R+且g(0)=0,那么

由式(2)可知

由g函數(shù)的非負(fù)性,可得

G(Jxn+1,x*)≤G(Jxn,x*),

即{G(Jxn,x*)}是遞減的,也就是{V2(xn,x*)}也是遞減的.由于xni→x*和J的弱*連續(xù)性,可得

即V2(xni,x*)→0(i→∞),xni→x*.