張樹義,叢培根,林 媛
(渤海大學(xué)數(shù)理學(xué)院,遼寧 錦州 121013)
設(shè)E是實(shí)Banach空間,E*是E的對偶空間。對偶映象Jp:E→2E*(1
定義1 設(shè)K是實(shí)Banach空間E的閉子集,T:K→K稱為是半緊的, 如果對K中的任意有界序列{xn},‖xn-Txn‖→0(n→∞),存在子列, 使得xni→x*∈K(i→∞)。
定義2 設(shè)K是實(shí)Banach空間E的閉子集,T:K→K
1)T稱為是非擴(kuò)張的, 如果?x,y∈K, 有‖Tx-Ty‖≤‖x-y‖。
2)T稱為是依Brower和Petryshyn意義k-嚴(yán)格偽壓縮的, 如果存在k∈(0,1)使得對?x,y∈K,存在jp(x-y)∈Jp(x-y)使得
〈Tx-Ty,jp(x-y)〉≤‖x-y‖p-k‖x-y-(Tx-Ty)‖p。
(1)
如果I表示恒等映象, 則式(1)可以寫成下列形式
〈(I-T)x-(I-T)y,jp(x-y)〉≥k‖(I-T)x-(I-T)y‖p。
(2)
注1: Browder-Petryshyn型嚴(yán)格偽壓縮映象一定是Lipschitzian連續(xù)的。事實(shí)上, 由(2),有
(3)
其中:n≥1;Tn=Tn(modN);{αn}、{βn}、{γn}、{δn}是[0,1]中4個(gè)實(shí)數(shù)列,滿足αn+γn≤1和βn+δn≤1;?n≥1 {un}和{vn}是K中2個(gè)有界序列。
使用迭代過程式(3), Gu[6]在Banach空間中證明下列定理。
定理G2[6]設(shè)E是實(shí)Banach空間,K是E的非空閉凸子集。T:K→K是半緊的嚴(yán)格偽壓縮映象,F(T)={x∈K:Tx=x}≠?。設(shè){αn}、{βn}、{γn}、{δn}是[0,1]中4個(gè)實(shí)數(shù)列,滿足αn+γn≤1和βn+δn≤1,n≥1,{un}和{vn}是K中2個(gè)有界序列滿足下列條件:
另一方面,文獻(xiàn)[8-17]使用新的分析方法, 研究了一些非線性映象不動點(diǎn)的迭代逼近問題。 受上述工作的啟發(fā), 本文的目的是在賦范線性空間, 使用條件(A′), 研究一族嚴(yán)格偽壓縮映象合成隱式迭代過程式(3)定義的序列{xn}的收斂性。 本文的研究結(jié)果, 改進(jìn)了文獻(xiàn)[6]中的相關(guān)結(jié)果。
下面回憶一些預(yù)備知識。
對有限族映象Ti:K→K(i=1,2,…,N), 修正這一條件如下:
注3:如果N=1, 則條件(A′)便是條件(A)。
下列引理在本文中將被用到。
引理1[8]設(shè)E是任意實(shí)賦范線性空間,JP:E→2E*是對偶映象, 則x,y∈E,1
‖x+y‖p≤‖x‖p+2〈y,jp(x+y)〉,?jp(x+y)∈Jp(x+y)。
1)αn+γn≤1和βn+δn≤1,?n≥1;
2)αn→0,βn→0,δn→0(n→∞);
4)αnβnL2<1,其中L=max1≤i≤N{Li};
證明因每一Ti:K→K,i∈I={1,2,…,N}是嚴(yán)格的偽壓縮映象, 所以存在常數(shù)ki∈(0,1)和Li≥1, 使得?x,y∈K,i∈I,
〈Tix-Tiy,jp(x-y)〉≤‖x-y‖p-ki‖x-Tix-(y-Tiy)‖p和‖Tix-Tiy‖≤Li‖x-y‖。設(shè)k=min1≤i≤N{ki},L=max1≤i≤N{Li},則
〈Tix-Tiy,jp(x-y)〉≤‖x-y‖p-k‖x-Tix-(y-Tiy)‖p,?i∈I,
(4)
和‖Tix-Tiy‖≤L‖x-y‖,?i∈I。設(shè)x*∈F,由式(3)、式(4)和引理1有
‖xn-x*‖p=‖(1-αn-γn)(xn-1-x*)+αn(Tnyn-x*)+γn(un-x*)‖p≤
(1-αn-γn)p‖xn-1-x*‖p+pαn〈Tnyn-x*,jp(xn-x*)〉+pγn〈un-x*,jp(xn-x*)〉≤
(1-αn-γn)p‖xn-1-x*‖p+pαn〈Tnyn-Tnxn,jp(xn-x*)〉+
pαn〈Tnxn-x*,jp(xn-x*)〉+pγn〈un-x*,jp(xn-x*)〉≤
(1-αn)p‖xn-1-x*‖p+pαn‖Tnyn-Tnxn‖·‖xn-x*‖p-1+pαn‖xn-x*‖p-
pαnk‖xn-Tnxn‖p+pγn‖un-x*‖·‖xn-x*‖p-1≤
(1-αn)p‖xn-1-x*‖p+pαnL‖yn-xn‖·‖xn-x*‖p-1+pαn‖xn-x*‖p-
pαnk‖xn-Tnxn‖p+pγn‖un-x*‖·‖xn-x*‖p-1。
(5)
由式(3), 有
‖yn-xn‖=‖βn(Tnxn-xn-1)+δn(vn-xn-1)+αn(xn-1-Tnyn)+γn(xn-1-un)‖≤
βn‖Tnxn-xn-1‖+δn‖vn-xn-1‖+αn‖xn-1-Tnyn‖+γn‖xn-1-un‖≤
βn‖Tnxn-x*‖+βn‖xn-1-x*‖+δn‖vn-x*‖+δn‖xn-1-x*‖+
αn‖xn-1-x*‖+αn‖Tnyn-x*‖+γn‖xn-1-x*‖+γn‖un-x*‖≤
βnL‖xn-x*‖+αn‖xn-1-x*‖+βn‖xn-1-x*‖+γn‖xn-1-x*‖+
δn‖xn-1-x*‖+αnL‖yn-x*‖+γn‖un-x*‖+δn‖vn-x*‖≤
βnL‖xn-x*‖+(αn+βn+γn+δn)‖xn-1-x*‖+
αnL‖yn-x*‖+γn‖un-x*‖+δn‖vn-x*‖。
(6)
和
‖yn-x*‖=‖(1-βn-δn)(xn-1-x*)+βn(Tnxn-x*)+δn(vn-x*)‖≤
(1-βn-δn)‖xn-1-x*‖+βn‖Tnxn-x*‖+δn‖vn-x*‖≤
‖xn-1-x*‖+βnL‖xn-x*‖+δn‖vn-x*‖。
(7)
令G=max{sup{‖un-x*‖:n≥1,x*∈F},sup{‖vn-x*‖:n≥1,x*∈F}}。 將式(7)代入式(6), 再將式(6)代入式(5), 并應(yīng)用pap-1b≤2p-1(ap+bp),其中a,b∈[0,+∞), 有
‖xn-x*‖p≤(1-αn)p‖xn-1-x*‖p+pαnL(βnL+αnβnL2)‖xn-x*‖p+
pαnL(α+βn+γ+δn+αnL)‖xn-1-x*‖·‖xn-x*‖p-1+
pαnγnL‖un-x*‖·‖xn-x*‖p-1+pαnL(δn+αnδnL)‖vn-x*‖·‖xn-x*‖p-1+
pαn‖xn-x*‖p-pαnk‖xn-Tnxn‖p+pγn‖un-x*‖·‖xn-x*‖p-1≤
(1-αn)p‖xn-1-x*‖p+pαnβnL2(1+αnL)‖xn-x*‖p+
2p-1αnL[αn(1+L)+βn+γn+δn](‖xn-1-x*‖p+‖xn-x*‖p)+
2p-1αnγnGL(1+‖xn-x*‖p)+2p-1αnδnL(1+αnL)G(1+‖xn-x*‖p)+
pαn‖xn-x*‖p-pαnk‖xn-Txn‖p+2p-1γnG(1+‖xn-x*‖p)=
{(1-αn)p+2p-1αnL[αn(1+L)+βn+γn+δn]}‖xn-1-x*‖p+
[pαnβnL2(1+αnL)+2P-1αnL(αn(1+L)+βn+γn+δn)‖+
2p-1αnγnLG+2p-1αnδnL(1+αnL)G+pαn+2p-1Gγn]‖xn-x*‖p+
2p-1γn(1+αnL)G+2p-1αnδnL(1+αnL)G-pαnk‖xn-Tnxn‖p≤
[(1-αn)p+2p-1αnL(αn(1+L)+βn+γn+δn)]‖xn-1-x*‖p+
(αnAn+pαn+2p-1Gγn)‖xn-x*‖p+2p-1γn(1+L)G+
2p-1αnδnL(1+L)G-pαnk‖xn-Tnxn‖p,
(8)
其中An=pβnL2(1+L)+2p-1L[αn(1+L)+βn+γn+δn]+2p-1γnLG+2p-1δnL(1+L)G。注意到
其中
因1-αnAn-pαn-2p-1Gγn→1(n→∞),所以存在正整數(shù)n1,?n≥n1,有
[1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn(αn(1+L)+βn+γn+δn))]‖xn-1-x*‖p+
2p(γn+αnδnL)(1+L)G-pαnk‖xn-Tnxn‖p。
(9)
注意到Tn=Tn(modN),n(modN)∈{1,2,…,N},由式(9)有
‖xn-x*‖p≤(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))‖xn-1-x*‖p+
2p(γn+αnδnL)(1+L)G-pαnk‖xn-T1xn‖p,
‖xn-x*‖p≤(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))‖xn-1-x*‖p+
2p(γn+αnδnL)(1+L)G-pαnk‖xn-T2xn‖p,
?
‖xn-x*‖p≤(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))‖xn-1-x*‖p+
2p(γn+αnδnL)(1+L)G-pαnk‖xn-TNxn‖p。
將上面不等式相加并使用條件(A′), 得
‖xn-x*‖p≤(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))‖xn-1-x*‖p+
(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))‖xn-1-x*‖p+
2p(γn+αnδnL)(1+L)G-pαnk{f(d(xn,F))}P。
對x*∈F取下確界, 有
[d(xn,F)]p≤(1+2(αnAn+2p-1Gγn+αnBn+2p-1Lαn[αn(1+L)+βn+γn+δn]))[d(xn-1,F)]p+
2p(γn+αnδnL)(1+L)G-pαnk{f(d(xn,F))}p≤
[d(xn-1,F)]p+2αn[An+Bn+2p-1L(αn(1+L)+βn+δn)][d(xn-1,F)]p+
(2+2pL)γn[d(xn-1,F)]p+2pγn(1+L)G+
2pαnδnL(1+L)G-pαnk{f(d(xn,F))}p。
(10)
下面用歸納法證明?n≥m,有
(11)
這蘊(yùn)含d(xn+1,F)>M。由f的單調(diào)遞增性, 有f(d(xn+1,F))≥f(M)。由式(10)可得
[d(xn+1,F)]p≤[d(xn,F)]p+((2+2pL)(2M)p+2p(1+L)G)γn+1-
[d(xn,F)]p+((2+2pL)(2M)p+2p(1+L)G)γn+1≤
這是一個(gè)矛盾。因此當(dāng)?n≥m時(shí), 式(11)成立。由式(11)有
進(jìn)而?n≥m, 有d(xn,F)≤2M。于是, 由式(10), ?n≥m, 有
[d(xn,F)]p≤ [d(xn,F)]p+2αn[An+Bn+2p-1L(αn(1+L)+βn+δn)](2M)p+
(2+2pL)γn(2M)p+2pγn(1+L)G+2pαnδnL(1+L)G-pαnk{f(d(xn,F))}p。
(12)
注4:定理1從以下方面改進(jìn)與推廣了定理G2:
1) 推廣定理G2從Banach空間到賦范線性空間;
2)半緊的條件被條件(A′)取代;
5) 我們的證明與已往有很大的不同。
注5:定理1也改進(jìn)與推廣了文獻(xiàn)[1-5,7]中的相應(yīng)結(jié)果。
取N=1, 則式(3)變?yōu)?
(13)
于是有
定理2 設(shè)E是實(shí)賦范空間,K是E的一非空閉凸子集。T:K→K是嚴(yán)格的偽壓縮映象,F(T)={x∈K:Tx=x}≠?。假設(shè){αn}、{βn}、{γn}、{δn}是[0,1]中4個(gè)實(shí)數(shù)列,{un}和{vn}是K中2個(gè)有界序列, 滿足下列條件:
1)αn+γn≤1和βn+δn≤1,?n≥1;
2)αn→0,βn→0,δn→0(n→∞);
4)αnβnL2<1;
對x0∈K,{xn}是式(13)定義的合成隱式迭代序列。如果滿足條件(A), 且?x*∈F,{‖xn-x*‖}單調(diào)遞減,則序列{xn}強(qiáng)收斂T的一公共不動點(diǎn)。
[1]BROWDER F E, Petryshyn W V.Construction of fixed points of nonlinear mappings in Hilbert spaces[J]. J Math Anal Appl, 1967, 20:197.
[2]OSILIKE M O. Implicit iteration process for common fixed point of a finite family of strictly pseudocontractive maps[J]. J Math Anal Appl, 2004, 294: 73.
[3]OSILIKE M O,Udomene A. Demiclosedness principle and convergence results for strictly pseudo-contractive mappings of Browder-Petryshyn type[J]. J Math Ana Appl, 2001, 256: 431.
[4]SU Y F, LI S H. Composite implicit iteration process for common fixed points of a finite family of strictly pseudocontractive maps[J]. J Math Anal Appl, 2006, 320: 882.
[5]GU F. The new composite implicit iteration process with errors for common fixed points of a finite of strictly pseudocontractive mappings[J]. J Math Anal Appl, 2007, 329:766.
[6]GU F. Implicit and explicit iterative process with errors for common fixed points of a finite family of strictly pseudocontractive mappings[J]. An St Univ Ovidius Constanta, 2010,18(1): 139.
[7]XU H K, ORI M G. An implicit iterative process for nonexpansive mappings[J]. Numer Funct Anal Optimiz, 2001,22: 767.
[8]張樹義. 賦范線性空間中漸近擬偽壓縮型映象不動點(diǎn)的修改的廣義Ishikawa迭代逼近[J]. 應(yīng)用數(shù)學(xué)學(xué)報(bào), 2011, 34(5): 886.
[9]萬美玲, 張樹義, 鄭曉迪. 賦范線性空間中φ-強(qiáng)增生算子方程解的迭代收斂性[J]. 北華大學(xué)學(xué)報(bào)(自然科學(xué)版), 2016,17(3):305.
[10]張樹義. 一致Lipschitz漸近φi-型擬偽壓縮映象多步平行迭代算法的收斂性[J]. 系統(tǒng)科學(xué)與數(shù)學(xué), 2013, 33(11): 1233.
[11]張樹義, 趙美娜, 李丹. 漸近半壓縮映象具混合型誤差的迭代收斂性[J]. 北華大學(xué)學(xué)報(bào)(自然科學(xué)版), 2015, 16(3): 165.
[12]ZHANG S Y. Implicit iteration approximation for a finite family of asymptotically quasi-pseudocontractive type mappings[J]. Bull Iranian Math Soc, 2014, 40 (1): 263.
[13]張樹義, 宋曉光. 非Lipschitz有限族集值廣義漸近半壓縮映象的強(qiáng)收斂定理[J]. 系統(tǒng)科學(xué)與數(shù)學(xué), 2014, 34(9): 1051.
[14]張樹義, 郭新琪. 增生算子方程帶誤差的Noor三步迭代解與收斂率的估計(jì)[J]. 高等學(xué)校計(jì)算數(shù)學(xué)學(xué)報(bào), 2012, 34(1): 69.
[15]ZHANG S Y, SONG X G. Another note on a paper “Convergence theorem for the common solution for a finite family of φ-strongly accretive operator equations”[J]. Appl Math Comput, 2015, 258:367.
[16]趙美娜,張樹義, 趙亞莉. 漸近偽壓縮型映象不動點(diǎn)的迭代逼近[J]. 數(shù)學(xué)的實(shí)踐與認(rèn)識, 2016, 46(15): 64.
[17]張樹義, 萬美玲, 李丹. 漸近偽壓縮型映象迭代序列的強(qiáng)收斂定理[J]. 江南大學(xué)學(xué)報(bào)(自然科學(xué)版), 2014, 13(6) :726.
[18]SENTER H F, DOTSON W G. Approximating fixed points of nonexpansive mappings[J]. Proc Amer Math Soc, 1974, 44: 375.
[19]TAN K K, XU H K. Approximating fixed points of nonexpansive by the Ishikawa iteration process[J]. J Math Anal Appl, 1993, 178: 301.