高興慧,楊春萍(延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西延安716000)
?
關(guān)于Lipschitz擬偽壓縮映像族的強(qiáng)收斂定理
高興慧,楊春萍
(延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西延安716000)
摘 要:在Hilbert空間中設(shè)計(jì)出2種新的關(guān)于Lipschitz擬偽壓縮映像族和嚴(yán)格擬偽壓縮映像族的收縮投影算法,并利用所提出的算法證明了Lipschitz擬偽壓縮映像族和嚴(yán)格擬偽壓縮映像族的公共不動(dòng)點(diǎn)的強(qiáng)收斂定理,所得結(jié)果改進(jìn)和推廣了已有文獻(xiàn)的相關(guān)結(jié)果.
關(guān) 鍵 詞:收縮投影算法;Lipschitz擬偽壓縮映像族;公共不動(dòng)點(diǎn)
在無限維Hilbert空間中,即使對(duì)于非擴(kuò)張映像來說,正規(guī)Mann迭代格式一般也僅有弱收斂定理,為了得到強(qiáng)收斂定理,須改進(jìn)Mann迭代格式.通過修正正規(guī)Mann迭代算法,使得對(duì)于非擴(kuò)張映像、嚴(yán)格偽壓縮映像和偽壓縮映像的強(qiáng)收斂定理能夠成立,這些結(jié)果可參見文獻(xiàn)[1-12].文獻(xiàn)[1]在Hilbert空間中給出了幾種修正的混雜投影算法,用以逼近嚴(yán)格擬偽壓縮映像族和Lipschitz擬偽壓縮映像族的公共不動(dòng)點(diǎn),這些結(jié)果改進(jìn)和推廣了文獻(xiàn)[2,4,6]的相關(guān)結(jié)果.另外,文獻(xiàn)[3]設(shè)計(jì)了固定非擴(kuò)張映像和非擴(kuò)張映像的收縮投影方法.受文獻(xiàn)[1,3]的啟示,在Hilbert空間框架下,設(shè)計(jì)了2種關(guān)于Lipschitz擬偽壓縮映像族和嚴(yán)格擬偽壓縮映像族的收縮投影算法,并證明其公共不動(dòng)點(diǎn)的強(qiáng)收斂定理,所得結(jié)果改進(jìn)和推廣了文獻(xiàn)[1-4,6-7]的相關(guān)結(jié)果.
定義1 如果
則稱映像T:C→H是非擴(kuò)張映像.
定義2 如果存在常數(shù)κ∈[0,1),使得
則稱映像T:C→H是嚴(yán)格偽壓縮映像,也稱T是κ-嚴(yán)格偽壓縮映像.
非擴(kuò)張映像是特殊的嚴(yán)格偽壓縮映像,即T是非擴(kuò)張映像,當(dāng)且僅當(dāng)T是0-嚴(yán)格偽壓縮映像.
定義3 如果存在一個(gè)常數(shù)L,使得
則稱映像T:C→H是Lipschitz映像,也稱T是L-Lipschitz映像.
嚴(yán)格偽壓縮映像是Lipschitz偽壓縮映像,其逆不真[1].
定義4 如果F(T)≠?,且對(duì)于任意的x∈C,y∈F(T),式(*)成立,則稱映像T:C→H是嚴(yán)格擬偽壓縮映像.當(dāng)κ=1時(shí),稱T為擬偽壓縮映像;當(dāng)κ=0時(shí),稱T為擬非擴(kuò)張映像.
顯然,不動(dòng)點(diǎn)集非空的偽壓縮映像是擬偽壓縮映像,反之不真.
例1[2]設(shè)
則T是Lipschitz偽壓縮映像,但不是嚴(yán)格偽壓縮映像.
例2[2]設(shè)X=R1,定義
則T是擬偽壓縮映像,但不是偽壓縮映像.
設(shè){Tn}是C到H的映像族,且{Tn}滿足條件如果{xn}是C中的有界序列,且則(詳見文獻(xiàn)[3],這里ωω(xn)表示{xn}的弱極限集).
例3[3]設(shè)H是Hilbert空間,A?H×H是極大單調(diào)算子,且A-10≠?,{rn}是有界正實(shí)數(shù)序列,則預(yù)解式滿足條件(Z),這里
例4[3]設(shè)H是Hilbert空間,C是H的非空閉凸子集,{Sn}:C→C是強(qiáng)非擴(kuò)張映像族,使得.令,則{Tn}滿足條件(Z).
引理1[1]設(shè)H是Hilbert空間,C是H的非空閉凸子集,T是C到H的Lipschitz擬偽壓縮映像,其Lipschitz常數(shù)為L(zhǎng)≥1,則F(T)是C的非空閉凸子集.
引理2[4]設(shè)H是Hilbert空間,C是H的非空閉凸子集,PC:H→C是H到C的度量投影,則下列不等式成立:
引理3[4]設(shè)H是Hilbert空間,則下列等式成立:
引理4[4]設(shè)H是Hilbert空間,C是H的非空閉凸子集,T:C→H是κ-嚴(yán)格擬偽壓縮映像,則F(T)是C的非空閉凸子集.
定理1 設(shè)H是Hilbert空間,C是H的非空閉凸子集,{Tn}:C→H是Ln-Lipschitz擬偽壓縮映像族,使得.假設(shè),且{αn},{βn}滿足下列條件:
{xn}如下:
如果{Tn}滿足條件(Z),那么{xn}強(qiáng)收斂于PFx.
證明 分6步完成證明.
第1步 證明對(duì)任意x∈H,PFx都有意義.
由引理1可知,對(duì)于任意n∈N,F(xiàn)(Tn)是C的非空閉凸子集,根據(jù)定理的條件可得是C的非空閉凸子集,從而對(duì)于任意x∈H,PFx都有意義.
第2步 證明對(duì)任意n∈N,Cn是C的非空閉凸子集.
顯然,對(duì)于任意n∈N,Cn是C的閉凸子集.下面證明F?Cn,?n∈N.事實(shí)上,F(xiàn)?C=C1.假設(shè)對(duì)某一n∈N,F(xiàn)?Cn,由式(1)以及Tn的Ln-Lipschitz連續(xù)性可得,對(duì)任意的p∈F,
由于Tn是擬偽壓縮映像,所以
將式(3)代入式(2)可得
于是
其中,
將式(5)代入式(4)可得
則p∈Cn+1,于是F?Cn+1.因此,對(duì)于任意n∈N,F(xiàn)?Cn,且{xn}有意義.
另一方面,由第2步可得F?Cn,從而
由引理2可得
由{αn},{βn}的假設(shè)和{xn}與{zn}的有界性可得
第6步 證明xn→PFx(n→∞).
根據(jù)v∈F可得v=PFx,所以,且
于是,
證畢.
注1 定理1將文獻(xiàn)[3]定理3.2從固定非擴(kuò)張映像族推廣到Lipschitz擬偽壓縮映像族,也將文獻(xiàn)[3]定理3.4從非擴(kuò)張映像族推廣到Lipschitz擬偽壓縮映像族,同時(shí),定理1中的算法較文獻(xiàn)[1]定理2.1中的算法簡(jiǎn)單.
定理2 設(shè)H是Hilbert空間,C是H的非空閉凸子集,{Tn}:C→H是kn-嚴(yán)格擬偽壓縮映像族,使得.假設(shè)
(0,1),C1=C,n∈N,x∈H,定義序列{xn}如下:
如果{Tn}滿足條件(Z),那么{xn}強(qiáng)收斂于PFx.
證明 分6步完成證明.
第1步 根據(jù)引理4,類似于定理1第1步的證明,可得對(duì)于任意x∈H,PFx都有意義.
第2步 證明對(duì)于任意n∈N,Cn是C的非空閉凸子集.
顯然,對(duì)于任意n∈N,Cn是C的閉凸子集.下面證明F?Cn,?n∈N.
事實(shí)上F?C=C1.假設(shè)對(duì)某一n∈N,F(xiàn)?Cn,對(duì)任意的p∈F,有p∈Cn.根據(jù)引理3和嚴(yán)格偽壓縮映像的定義可得
則p∈Cn+1.于是F?Cn+1.因此F?Cn,?n∈N.且{xn}有意義.
第4步 同定理1第4步的證明,可得
由于xn+1∈Cn+1,利用式(9)及引理3可得
所以,
因?yàn)棣羘∈(0,1),所以
另外,
于是
從而
則
即
根據(jù){kn}的假設(shè)及可得
第6步 同定理1第6步的證明,可得xn→PFx(n→∞).
證畢.
注2 定理2將文獻(xiàn)[3]定理3.2從固定非擴(kuò)張映像族推廣到嚴(yán)格擬偽壓縮映像族,也將文獻(xiàn)[3]定理3.4從非擴(kuò)張映像族推廣到嚴(yán)格擬偽壓縮映像族,同時(shí),定理2中的算法比文獻(xiàn)[1]定理2.2中的算法簡(jiǎn)單.
參考文獻(xiàn)(References):
[1] ZHOU H Y.Strong convergence theorems for a family of Lipschitz quasi-pseudo-contractions in Hilbert spaces[J].Nonlinear Anal,2009,71:120-125.
[2] ZHOU H Y.Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces[J].J Math Anal Appl,2008,343:546-556.
[3] AOYAMA K,KOHSAKA F,TAKAHASHI W.Shrinking projection methods for firmly nonexpansive mappings[J].Nonlinear Anal,2009,71:1626-1632.
[4] MARINO G,XU H K.Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces[J].J Math Anal Appl,2007,329:336-346.
[5] KIM T H,XU H K.Strong convergence of modified Mann iterations[J].Nonlinear Anal,2005,61:51-60.
[6] ZHOU H Y.Convergence theorems of fixed points forκ-strict pseudo-contractions in Hilbert spaces[J].Nonlinear Anal,2008,69:456-462.
[7] 王元恒,石惠敏.2個(gè)有限族廣義依中心意義的漸近非擴(kuò)張非自映像公共不動(dòng)點(diǎn)定理[J].浙江大學(xué)學(xué)報(bào):理學(xué)版,2014,41(3):282-287.WANG Yuanheng,SHI Huimin.Common fixed point theorems for two finite families of generalized asymptotically nonexpansive nonself-maps with the intermediate sense[J].Journal of Zhejiang University:Science E-dition,2014,41(3):282-287.
[8] 高興慧,馬樂榮.Lipschitz擬偽壓縮映像族的收縮投影算法[J].?dāng)?shù)學(xué)的實(shí)踐與認(rèn)識(shí),2014,44(20):254-257.GAO Xinghui,MA Lerong.Shrinking projection methods for Lipschitz quasi-pseudo-contractions[J].Mathematics in Practice and Theory,2014,44(20):254-257.
[9] ZHOU H Y,GAO X H.Iterative approximation of common fixed points for two quasnonexpansive mappings in Banach spaces[J].Math Commun,2012,17:49-62.
[10] GAO X H,ZHOU H Y.Strong convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces[J].Acta Mathematics Applicatae Sinica:English Series,2012,28 (2):337-350.
[11] 高興慧,周海云,高改良.平衡問題和不動(dòng)點(diǎn)問題的公共元的混雜算法[J].?dāng)?shù)學(xué)物理學(xué)報(bào):A輯,2011,31 (3):720-728.GAO Xinghui,ZHOU Haiyun,GAO Gailiang.Hybrid algorithms of common elements for equilibrium problems and fixed point problems[J].Acta Mathematics Scientia:Ser A,2011,31(3):720-728.
[12] GAO X H,ZHOU H Y.Shrinking projection methods for a family of quasstrict asymptotically pseudo-contractions in Banach space[J].Journal of Mathematical Research and Exposition,2011,31(5):905-914.
Strong convergence theorems for a family of Lipschitz quasi-pseudo-contractions
GAO Xinghui,YANG Chunping(College of Mathematics and Computer Science,Yanan University,Yanan 716000,Shaanxi Province,China)
Journal of Zhejiang University(Sci-ence Edition),2016,43(1):071-074
Abstract:The purpose is to study the shrinking projection methods for a family of Lipschitz quasi-pseudo-contractions and a family of strict quasi-pseudo-contractions.Then,we proved two strong convergence theorems for their common fixed points by using the proposed projection algorithms in the framework of Hilbert spaces.The results presented in this paper improve and extend the corresponding ones announced by many others.
Key Words:shrinking projection method;a family of Lipschitz quasi-pseudo-contraction;common fixed points
作者簡(jiǎn)介:高興慧(1975-),女,副教授,碩士,主要從事非線性泛函分析研究,E-mail:yadxgaoxinghui@163.com.
基金項(xiàng)目:陜西省自然科學(xué)基礎(chǔ)研究計(jì)劃資助項(xiàng)目(2014JM2-1003);陜西省教育廳科研計(jì)劃項(xiàng)目(2013JK0575);陜西省高水平大學(xué)建設(shè)專項(xiàng)資金資助項(xiàng)目(2012SXTS07).
收稿日期:2015-03-04.
DOI:10.3785/j.issn.1008-9497.2016.01.012
中圖分類號(hào):O 177.91
文獻(xiàn)標(biāo)志碼:A
文章編號(hào):1008-9497(2016)01-071-04