隆建軍
近些年,Mann迭代序列和Ishikawa迭代序列的迭代逼近已被許多學者研究[1-6],利用其解決了許多類非線性算子方程解的問題.本文在賦范空間中分析了漸進一致φ-壓縮型映象的Ishikawa及Mann迭代序列的收斂性及強收斂于漸進一致φ-壓縮型映象不動點的條件.本文結果推廣了現(xiàn)有文獻[1,7,8,9,10,11]中的結果.
設X是一個實賦范線性空間,X*是X的對偶空間,<●,●>表示X*與X間的廣義對偶對,映象J:X→2X*是由下式定義的正規(guī)對偶映象:
定義1設D是X的一個非空子集,T:D→D是一個映象,φ:[0,+∞)→[0,+∞)是一嚴格增加的函數,滿足 φ(0)=0.
(4)T稱為漸進一致φ-偽壓縮:
定義2設D是X的一個非空子集,T:D→D稱為一致L-Lipschitz映象:
引理 1[12]設 X 是一個實賦范空間,是正規(guī)對偶映象,則有
定理1設D是賦范空間X的一個非空凸子集,T:D→D是漸進一致φ-偽壓縮的一致L-Lipschitz映象,則
(1)若q∈D是T的任一不動點,則q=x*,從而T至多只有一個不動點;
(2)若T(D)是X中的有界集,且Аx0∈D,Ishikawa迭代序列{xn}定義如下:
其中{αn},{βn}是[0,1]中的實數列,{mn},{kn}是任意兩個正整數列,且滿足以下條件:
則{xn}強收斂于T的不動點x*,特別地,若q∈D是T的不動點,則
又由j是正規(guī)對偶映象,所以
即 φ(‖q-x*‖)<(rn-1)‖q-x*‖2,n>1
令n→∞,則有φ(‖q-x*‖)<0,再由φ的性質即得q=x*.
由于T(D)是X中的有界集,我們定義
下證
事實上當n=0時,有
設當n=k-1,k>1時,結論成立,則當n=k時,有
故由歸納法原理知,(2.2)式對一切n>0都成立.
另外,由引理1、(2.1)、(2.2)及是一致L-Lipschitz映象可得,
由(2.2)知{xn}有界,再由 T(D)有界及條件(Ⅱ)可得
將(2.4)代入(2.3)中可得
即有
由 αn→0,rmn→0(n→0)知,∈N+當 n>n0時,1-2αnrmn>0,于是當 n>n0時,有
其中 σn=2αn(rmn-1)M2+2dn→0(n→∞).
設 δ=inf{‖xn+1-x*‖:n>0},則 δ>0,下證 δ=0
假設δ>0,則‖xn+1-x*‖>δ,Аn>0,從φ的嚴格增加性質可得
于是由(2.5)式,有
又由 σn→0(n→∞),所以 n>n0,使得 σn<φ(δ),n>N,于是從(2.6),可得
即 αnφ(δ)<‖xn-x*‖2-‖xn+1-x*‖2,>N.對此式求和得
此與(Ⅲ)相矛盾,故必有 δ=0,即 δ=inf{‖xn+1-x*‖:n>0}=0.因此
事實上,由(2.7)知i=1時,結論成立,對于i=2時,假設‖xnj+2-x*‖>ε,則由φ的嚴格增加性可得‖xnj+2-x*‖>φ(ε)>0,從而由(2.5)和(2.7)有
此與假設‖xnj+1-x*‖>ε相矛盾,故必有‖xnj+2-x*‖<ε,由數學歸納法,可證得(2.8)式對一切i>0成立,由ε>0的任意性,有至此定理得證.
定理2設D是賦范空間X的一個非空凸子集,T:D→D是漸進一致φ-偽壓縮的一致L-Lipschitz映象,則
(1)若q∈D是T的任一不動點,則q=x*,從而T至多只有一個不動點;
(2)若T(D)是X中的有界集,且Аx0∈D,Mann迭代序列{xn}定義如下:
其中{αn}是[0,1]中的實數列,{mn}是任意正整數序列,且滿足以下條件:
則{xn}強收斂于T的不動點x*,特別地,若q∈D是T的不動點,則
證明:在定理1中,令 βn=0(n>0),即得定理2.
[1]吳婷.廣義漸近擬非擴張映射不動點的收斂性[J].四川理工學院學報(自然科學版),2007,20(6):27-31.
[2]楊麗.具非擴張映象的修改Ishikawa迭代序列的C KQ方法[J].四川理工學院學報(自然科學版),2008,21(1):19-21.
[3]吳婷.凸度量空間內廣義漸近擬非擴張映射不動點的迭代[J].四川理工學院學報(自然科學版),2008,21(2):44-47.
[4]李柳芬.不動點、壓縮映射原理的進一步研究[J].四川理工學院學報(自然科學版),2008,21(3):9-11.
[5]蘭恒友,李作安.Banach空間中一類隱式微分方程的含誤差的Ishikawa迭代[J].四川理工學院學報(自然科學版),2002,15(3):6-11.
[6]田有先.凸度量空間擬非線性擴張映射不動點的Ishikawa迭代[J].四川理工學院學報(自然科學版),2002,15(4):1-3.
[7]陳汝棟,姚永紅.一致φ-偽壓縮映象不動點的迭代逼近[J].應用泛函分析學報,2004,6(3):93-96.
[8]Chang S S,Tan K K.Iteration processes for approximation fixed point of operators of monotone type[J].Bull Austral Math Soc,1998,57:433-445.
[9]彭再云,龍憲軍,王其林.Banach空間中關于一致Lipschit z ian映象的一個新結果[J].重慶師范大學學報(自然科學版),2009,26(3):5-7.
[10]張芳,向長合.一致L-Lipschit z的漸近偽壓縮非自映象不動點的迭代逼近[J].重慶師范大學學報(自然科學版),2009,26(1):7-10.
[11]龍憲軍,彭再云,敖軍.關于Lipschitzian嚴格偽壓縮映象的帶誤差的Ishikawa型迭代程序[J].重慶師范大學學報(自然科學版),2009,26(2):7-11.
[12]Zhou H Y,Cho Y J.Ishikawa and Mann iterative processes with errors for nonlinear strongly quasi-accretive map ping in normedlinear space[J].J Korean Math Soc,1999,36(6):1031-1037.