隆建軍

1 引言及預(yù)備知識

近些年，Mann迭代序列和Ishikawa迭代序列的迭代逼近已被許多學(xué)者研究[1-6]，利用其解決了許多類非線性算子方程解的問題.本文在賦范空間中分析了漸進一致φ-壓縮型映象的Ishikawa及Mann迭代序列的收斂性及強收斂于漸進一致φ-壓縮型映象不動點的條件.本文結(jié)果推廣了現(xiàn)有文獻[1,7,8,9,10,11]中的結(jié)果.

設(shè)X是一個實賦范線性空間，X*是X的對偶空間，<●，●>表示X*與X間的廣義對偶對，映象J:X→2X*是由下式定義的正規(guī)對偶映象：

定義1設(shè)D是X的一個非空子集，T:D→D是一個映象，φ：[0,+∞）→[0,+∞）是一嚴格增加的函數(shù)，滿足 φ（0）=0.

（4）T稱為漸進一致φ-偽壓縮：

定義2設(shè)D是X的一個非空子集，T：D→D稱為一致L-Lipschitz映象：

引理 1［12］設(shè) X 是一個實賦范空間,是正規(guī)對偶映象，則有

2 主要結(jié)論及其證明

定理1設(shè)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]中的實數(shù)列，｛mn｝，｛kn｝是任意兩個正整數(shù)列，且滿足以下條件：

則｛xn｝強收斂于T的不動點x*，特別地，若q∈D是T的不動點，則

又由j是正規(guī)對偶映象，所以=‖q-x*‖2，故

即 φ（‖q-x*‖）＜（rn-1）‖q-x*‖2,n＞1

令n→∞，則有φ（‖q-x*‖）＜0，再由φ的性質(zhì)即得q=x*.

由于T（D）是X中的有界集，我們定義

下證

事實上當n＝0時，有

設(shè)當n＝k-1,k＞1時，結(jié)論成立，則當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→∞）.

設(shè) δ=inf｛‖xn+1-x*‖：n＞0｝，則 δ＞0，下證 δ=0

假設(shè)δ＞0，則‖xn+1-x*‖＞δ，Аn＞0，從φ的嚴格增加性質(zhì)可得

于是由(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時，結(jié)論成立，對于i=2時，假設(shè)‖xnj+2-x*‖＞ε，則由φ的嚴格增加性可得‖xnj+2-x*‖＞φ（ε）＞0，從而由(2.5)和(2.7)有

此與假設(shè)‖xnj+1-x*‖＞ε相矛盾，故必有‖xnj+2-x*‖＜ε，由數(shù)學(xué)歸納法，可證得(2.8)式對一切i＞0成立，由ε＞0的任意性，有至此定理得證.

定理2設(shè)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]中的實數(shù)列，｛mn｝是任意正整數(shù)序列，且滿足以下條件：

則｛xn｝強收斂于T的不動點x*，特別地，若q∈D是T的不動點，則

證明：在定理1中，令 βn=0（n＞0），即得定理2.

[1]吳婷.廣義漸近擬非擴張映射不動點的收斂性[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2007,20(6)：27-31.

[2]楊麗.具非擴張映象的修改Ishikawa迭代序列的C KQ方法[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2008,21(1)：19-21.

[3]吳婷.凸度量空間內(nèi)廣義漸近擬非擴張映射不動點的迭代[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2008,21(2)：44-47.

[4]李柳芬.不動點、壓縮映射原理的進一步研究[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2008,21(3)：9-11.

[5]蘭恒友，李作安.Banach空間中一類隱式微分方程的含誤差的Ishikawa迭代[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2002,15(3)：6-11.

[6]田有先.凸度量空間擬非線性擴張映射不動點的Ishikawa迭代[J].四川理工學(xué)院學(xué)報(自然科學(xué)版)，2002,15(4)：1-3.

[7]陳汝棟，姚永紅.一致φ-偽壓縮映象不動點的迭代逼近[J].應(yīng)用泛函分析學(xué)報，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空間中關(guān)于一致Lipschit z ian映象的一個新結(jié)果[J].重慶師范大學(xué)學(xué)報（自然科學(xué)版），2009,26(3):5-7.

[10]張芳，向長合.一致L-Lipschit z的漸近偽壓縮非自映象不動點的迭代逼近[J].重慶師范大學(xué)學(xué)報（自然科學(xué)版），2009,26(1):7-10.

[11]龍憲軍，彭再云，敖軍.關(guān)于Lipschitzian嚴格偽壓縮映象的帶誤差的Ishikawa型迭代程序[J].重慶師范大學(xué)學(xué)報（自然科學(xué)版），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.