Banach空間中有限族“三解合一”的混合臨近點法＊

盧家花, 王元恒

(浙江師范大學數理與信息工程學院,浙江金華 321004)

假定 E是一個實 Banach空間,E＊是 E的對偶空間,J:E→2E＊是由下式定義的正規對偶映象:

設 C是 E的一個非空閉凸子集,f:C×C→R,其中 R為實數集.均衡問題就是求 p∈C,使得對?y∈C有下列不等式成立:

把式 (1)的解集記為 EP(f).若映射 T:C→E＊,并設 f(x,y)=〈Tx,y-x〉,?x,y∈Ω,則 x∈EP(f)當且僅當對?y∈Ω,〈Tx,y-x〉≥0.大量物理和經濟學的問題往往可歸結為求均衡點,即求式 (1)的解.

設 E是一個光滑嚴格凸自反的 Banach空間,C是 E的一個非空閉凸子集,可以定義函數 φ為

由文獻[1]知,對任意的 x∈E作廣義投影ΠC:E→C等價于求 φ(x,y)的最小值.若 ΠCx=x,則

當 E為 Hilbert空間時,φ(x,y)=‖x-y‖2.

把映射 T:C→C的不動點集記為 F(T).若對?x∈C和 p∈F(T)有 φ(p,Tx)≤φ(p,x),則稱 T為半點,把 T的漸近不動點集記為 F^(T);若 F^(T)=F(T),則稱 T為相對非擴張的.易知半相對非擴張是相對非擴張的推廣.

若 E是一致光滑的,則 J在每一有界集上是一致范-范連續的.

2009年,文獻[3]在一致凸和一致光滑的 Banach空間 E中證明了由

所生成的 2個迭代序列{xn}和{un}在一定條件下強收斂于 z=ΠF(x0).其中:ΠF:E→F為廣義投影;F:=F(T)∩F(S)∩EP(f).

2009年,文獻[4]又引進并證明了由

所產生的迭代序列{xn}在一定條件下強收斂于ΠT-1(0)∩EP(f)(x0).

受以上文獻的啟發,本文在一致凸和一致光滑的 Banach空間 E中,利用文獻 [4]的方法,在文獻[3]的基礎上,引入新的關于有限個半相對非擴張映射的混合迭代序列證明了當 {δn},{αn},{βn},{γn},{rn}滿足一定條件時,式 (2)中的序列 {xn}強收斂于ΠF(x0).其中:

引理 1[5]在一致凸和光滑的 Banach空間 E中,{xn},{yn}是 E的 2個序列,如果 φ(xn,yn)→0且序列{xn},{yn}中有一個有界,那么‖xn-yn‖→0.

引理 2[1]設 E是光滑、嚴格凸、自反的 Banach空間,C是 E的非空閉凸子集,x∈E,z∈C,則 z=ΠCx當且僅當〈y-z,Jx-Jz〉≤0,?y∈C.

引理 3[1]設 E是自反、嚴格凸和光滑的 Banach空間,C是 E的非空閉凸子集,y∈E,則φ (x,ΠCy)+φ (ΠCy,y)≤φ(x,y),? x∈C.

引理 4[6]設 E是一致凸的 Banach空間,Br(0)是 X的閉球,則存在一嚴格增凸泛函 g:[0,∞)→[0,∞)且 g(0)=0,使得 ‖λx+μy+γz‖2≤λ‖x‖2+μ‖y‖2+γ‖z‖2-λ μg(‖x-y‖).其中:? x,y,z∈Br(0);λ,μ,γ∈[0,1],λ +μ+γ=1.

引理 5[5]設 E是光滑和一致凸的 Banach空間,r>0,則對?x,y∈Br,都存在一嚴格增、連續的凸泛函 g:[0,2r]→R,使得 g(0)=0且 g(‖x-y‖)≤φ(x,y).

為解決 f:C×C→R的平衡問題,先假設 f滿足以下條件 (簡稱 f的條件):

1)f(x,x)=0,? x∈C;

2)f是單調的,即 f(x,y)+f(y,x)≤0,?x,y∈C;

引理 6[7]設 C是光滑、嚴格凸、自反的 Banach空間 E的一個非空閉凸子集,r>0,x∈E.如果 f:C×C→R是滿足 f的條件 1)—條件 4)的雙函數,那么存在 z∈C,使得

引理 7[8]設 C是一致光滑、嚴格凸、自反的 Banach空間 E的一個非空閉凸子集,f:C×C→R滿足 f的條件 1)—條件 4),r>0,x∈E,定義一映射 Tr:E→C為

則有以下結論成立:

1)Tr是單值的;

2)Tr是固定非擴張的等價于〈Trx-Try,JTrx-JTry〉≤〈Trx-Try,Jx-Jy〉,? x,y∈E;

3)F(Tr)=EP(f);

4)EP(f)是閉凸集.

引理 8[9]設 C是光滑、嚴格凸、自反的 Banach空間 E的一個非空閉凸子集,f:C×C→R滿足 f的條件 1)—條件 4),r>0,則對 x∈E及 q∈F(Tr),有

選擇2015年12月—2017年12月接受治療的100例急性膽源性胰腺炎患者為對象，隨機分為兩組，每組各50例，對照組男28例，女22例，年齡20～73歲，平均年齡為（42.21±10.67）歲；觀察組男26例，女24例，年齡21～74歲，平均年齡為（42.32±10.56）歲。兩組患者均進行檢查確診為對急性膽源性胰腺炎，患者在了解實驗基本信息后，簽署研究同意書。對兩組患者各指標進行比較，差異無統計學意義（P＞0.05）。

定理 1 設 E是一致凸和一致光滑的 Banach空間,C是 E的非空閉凸子集,雙函數 f:C×C→R滿足 f的條件 1)—條件 4),令{T1,T2,…,TN},{S1,S2,…,SN}是 C上的兩族閉半相對非擴張映射族,假設{βn},{γn}是 [0,1]中的序列 ,滿足下列條件 :

同理可得

令 un=Trnyn,可得

由 Hn的定義知 p∈Hn,即 F?Hn.

下證 p∈F?Wn.用歸納法,當 n=0時,F?C?W0.假設 F?Wn,下證 F?Wn+1.因為 xn+1=

由 Wn的定義知,p∈Wn+1,所以 p∈Hn∩Wn,即 F?Hn∩Wn,則 xn是有定義的.

式 (4)+式 (5)可得

所以 φ(xn,x0)是有界的,由上可知 φ(xn,x0)是收斂的.因為

所以{xn}是有界的.再由引理 3得

由Wn的構造知,對任意的正整數 m,n,若 m≥n,則均有Wm?Wn且 xm=ΠWm(x0)∈Wn,因此

令上式中的 m,n→∞,有 φ(xm,xn)→0.再由引理 1得‖xm-xn‖→0(m,n→∞),從而{xn}是柯西列.又因 E是 Banach空間且Wn是閉凸的,所以{xn}是收斂的.

再由引理 1得:

由式 (12)和引理 4得

則

對式 (13)移項并整理得

第 5步,證明 x＊∈EP(f).由引理 8得

由式 (11)及 xn→x＊,可得 un→x＊(n→∞).于是當 n→∞時,對式 (14)取極限得 f(y,x＊)≤0,?y∈C.令 yt=ty+(1-t)x＊,? y∈C,0

最后證明 x＊=ΠF(x0).對式 (7)取極限可得〈x＊-z,Jx0-Jx＊〉≥0,z∈F? Hn∩Wn,由引理 2得x＊=ΠF(x0).定理 1證畢.

注 1 當 n=2時,定理 1的結果即為文獻[3]的結果,但證明方法不同.因此,本文結果改進和推廣了文獻[3-4,7-9]等相應的結果.

[1]王元恒,曾六川.Banach空間中廣義投影變形迭代法的收斂性[J].數學年刊,2009,30A(1):55-62.

[2]宣渭峰,王元恒.雙復合修正的 Ishikawa迭代逼近非擴張映像不動點[J].浙江師范大學學報:自然科學版,2009,32(4):401-405.

[3]Wattanawitoon K,Kumam P.Strong convergence theorems by a new hybrid projection algorithm for fixed point problems and equilibrium problems of two relatively quasi-nonexpansive mappings[J].NonlinearAnalysis:Hybrid Systems,2009,3(1):11-20.

[4]CengL C,Mastroeni G,Yao J C.Hybrid proximal-pointmethods for common solutions of equilibrium problems and zeros ofmaximalmonotone operators[J].J Optim TheoryAppl,2009,142(3):431-449.

[5]Kamimura S,TakahashiW.Strong convergence of a proximal-type algorithm in a Banach space[J].SI AM J Optim,2002,13(3):938-945.

[6]Cho Y J,Zhou Haiyun,Guo Ginti.Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings[J].ComputMath Appl,2004,47(4/5):707-717.

[7]Blum E,OettliW.From optimization and variational inequalities to equilibrium problems[J].Math Student,1994,63(4):123-145.

[8]TakahashiW,Zembayashi K.Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces[J].NonlinearAnalysis:Theory,Methods&Applications,2009,70(1):45-57.

[9]TakahashiW,Zembayashi K.Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings[J].Fixed Point TheoryAppl,2008,2008:528476.