信息與計(jì)算科學(xué)畢業(yè)論文hilbert空間中k-嚴(yán)格偽壓縮映像的halpern與粘滯迭代序列的收斂定理

1、<p><b>　　本科畢業(yè)論文</b></p><p><b>　　（20 屆）</b></p><p>　　Hilbert空間中k-嚴(yán)格偽壓縮映像的Halpern與粘滯迭代序列的收斂定理</p><p>　　所在學(xué)院 </p><p

2、>　　專業(yè)班級(jí) 信息與計(jì)算科學(xué) </p><p>　　學(xué)生姓名 學(xué)號(hào) </p><p>　　指導(dǎo)教師 職稱 </p><p>　　完成日期 年 月 </p><p><b

3、>　　摘要</b></p><p>　　非線性算子方程屬于非線性泛函分析的范疇, 是泛函分析的理論和應(yīng)用的一個(gè)重要組成部分, 它在微分方程, 積分方程, 力學(xué), 控制論, 對(duì)策論, 經(jīng)濟(jì)平衡理論, 交通運(yùn)輸, 社會(huì)和經(jīng)濟(jì)模型等許多方面都有著重要的應(yīng)用. 目前有關(guān)非線性算子不動(dòng)點(diǎn)的迭代逼近的研究是近年來非線性分析理論的非常活躍的研究熱點(diǎn)問題, 其中嚴(yán)格偽壓縮映像是一類非常重要的非線性映像. <

4、;/p><p>　　本文將主要通過構(gòu)造嚴(yán)格偽壓縮映像的halpern迭代序列和粘滯迭代序列來研究在空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題. 全文共分四章, 第一章前言介紹了非線性算子不動(dòng)點(diǎn)理論和迭代算法的簡(jiǎn)況以及本文的主要工作. 第二章研究了Hilbert空間框架下嚴(yán)格偽壓縮映像的一步Halpern迭代序列和一步粘滯迭代序列的收斂問題. 第三章研究了Hilbert空間框架下嚴(yán)格偽壓縮映像的兩步Halpern

5、迭代序列和兩步粘滯迭代序列的收斂問題. 第四章總結(jié)了本文的主要工作.</p><p>　　關(guān)鍵詞: 嚴(yán)格偽壓縮映像; Halpern迭代序列; 粘滯迭代序列</p><p><b>　　Abstract</b></p><p>　　Nonlinear operator equations are belong to the fields of

6、the nonlinear functional analysis, and have wide applications in the fields of the differential equations, integral equations, mechanics, control theory, game theory, economic equilibrium theory, transportation, social a

7、nd economic models and many other aspects. At present, the study of iterative approximation of fixed points for nonlinear operators is a very active question in nonlinear functional analysis, and k-strictly pseudo-contra

8、cti</p><p>　　In this thesis, the iterative approximation of fixed points for the k-strictly pseudo-contractive mappings are considered in Hilbert spaces by giving the halpern iterative processes and the visc

9、osity iterative processes. This thesis includes four chapters. In chapter 1, the history of fixed points of nonlinear operator and iterative algorithms are recalled, a summary of this work are given. In chapter 2, the it

10、erative approximation of fixed points for the k-strictly pseudo-contractive mappings a</p><p>　　Keywords: K-strictly Pseudo-contractive mappings; Halpern iterative processes; Viscosity iterative processes<

11、;/p><p><b>　　目錄</b></p><p><b>　　摘要I</b></p><p>　　AbstractII</p><p><b>　　1 前言1</b></p><p>　　2 嚴(yán)格偽壓縮映像的一步halpern和一步粘滯迭代逼近

12、問題4</p><p>　　2.1 引言與預(yù)備知識(shí)4</p><p>　　2.2嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的一步Halpern迭代逼近問題5</p><p>　　2.3 嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的一步粘滯迭代逼近問題9</p><p>　　3 嚴(yán)格偽壓縮映像的兩步halpern和粘滯迭代逼近問題14</p><p&g

13、t;　　3.1 引言與預(yù)備知識(shí)14</p><p>　　3.2 嚴(yán)格偽映像不動(dòng)點(diǎn)的兩步halpern迭代逼近問題14</p><p>　　3.3 嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的兩步粘滯迭代逼近問題19</p><p><b>　　4 小結(jié)25</b></p><p><b>　　參考文獻(xiàn)26</b

14、></p><p>　　致謝錯(cuò)誤!未定義書簽。</p><p><b>　　1 前言</b></p><p>　　非線性算子方程屬于非線性泛函分析的范疇, 是泛函分析的理論和應(yīng)用的一個(gè)重要組成部分, 它的理論和方法不僅是線性最優(yōu)化的一個(gè)重要部分, 而且在微分方程, 積分方程, 力學(xué), 控制論, 對(duì)策論, 經(jīng)濟(jì)平衡理論, 交通運(yùn)輸, 社會(huì)

15、和經(jīng)濟(jì)模型等許多方面都有著重要的應(yīng)用. 因此, 研究非線性算子方程解的存在性及迭代算法理論不僅具有重要的理論意義, 而且具有重要的應(yīng)用價(jià)值. 而非線性算子方程的解往往可以轉(zhuǎn)化為某個(gè)非線性算子的不動(dòng)點(diǎn)問題. 自20世紀(jì)初著名的Banach壓縮映像原理和Brouwer不動(dòng)點(diǎn)定理問世以來, 特別是最近二三十年來, 由于實(shí)際需要的推動(dòng)和數(shù)學(xué)工作者的不斷努力, 這門學(xué)科的理論及應(yīng)用的研究已取得重要的進(jìn)展, 并且日趨完善. </p>

16、<p>　　非線性算子的類型很多, 包括壓縮映像, 非擴(kuò)張映像, 偽壓縮映像, 漸近非擴(kuò)張映像, 漸近偽壓縮映像, 單調(diào)映像, 增生映像等等. 其中最簡(jiǎn)單的一類映像是壓縮映像, 壓縮映像的不動(dòng)點(diǎn)問題, 即著名的Banach壓縮映像原理已經(jīng)在1992年用Picard迭代法證明了. </p><p>　　非擴(kuò)張映像是壓縮映像的推廣, 在求解方程的不動(dòng)點(diǎn)的問題上起到很重要的作用, 它在近代數(shù)學(xué)許多分支都有應(yīng)用

17、, 特別是在非線性半群, 遍歷定理和單調(diào)算子理論方面有著重要的應(yīng)用. 隨著非擴(kuò)張映像不動(dòng)點(diǎn)理論的發(fā)展, 學(xué)者們得出了關(guān)于非擴(kuò)張映像的一系列結(jié)論(見文獻(xiàn)[4-9]). 而非擴(kuò)張映像的一個(gè)重要推廣是嚴(yán)格偽壓縮映像. </p><p>　　非線性映像的不動(dòng)點(diǎn)的尋求是學(xué)者們一直所關(guān)心的問題, 而對(duì)于一些具體的非線性算子方程不動(dòng)點(diǎn)的求解是十分困難的. 因此, 數(shù)學(xué)家們通過構(gòu)造迭代序列去逼近不動(dòng)點(diǎn)來求解這些方程, 其中Pic

18、ard給出了最早的迭代序列, 其具體格式為</p><p>　　但是Banach壓縮原理證明中所用的Picard迭代方法對(duì)于非擴(kuò)張映像卻未必是收斂的, 之后Mann受到Banach壓縮映像原理的啟發(fā), 在1953年提出了如下的迭代序列 </p><p>　　稱之為正規(guī)Mann迭代序列.</p><p>　　1976年, Ishikawa推廣了Mann迭代格式, 得到

19、了如下的Ishikawa迭代序列</p><p>　　然而為了證明Mann格式或Ishikawa格式產(chǎn)生的序列強(qiáng)收斂于非擴(kuò)張映像的某個(gè)不動(dòng)點(diǎn), 往往要求映像的定義域或映像本身具有某種緊性. 緊性假設(shè)是很強(qiáng)的條件, 能否找到一種新的迭代格式在沒有緊性條件的假設(shè)下, 僅依賴于非擴(kuò)張映像本身的性質(zhì)收斂于映像的不動(dòng)點(diǎn)呢? 回答是肯定的.</p><p>　　1967年, Halpern首先引入了如

20、下迭代格式, 稱之為Halpern迭代 </p><p>　　并且Halpern指出如果迭代格式想要收斂到任意非擴(kuò)張映像的不動(dòng)點(diǎn), 那么必須滿足其中兩個(gè)條件和 1977年, lion仍然在Hilbert空間的框架下改進(jìn)了Halpern的結(jié)果, 當(dāng)滿足下列條件時(shí)</p><p>　　證明了強(qiáng)收斂到的不動(dòng)點(diǎn), 從參數(shù)限制條件的角度推廣了Halpern的結(jié)果, 1980年, Reich證明了當(dāng)是

21、一致光滑Bananch空間時(shí), Halpern的結(jié)果依然是成立的. 但是Reich和Lions的條件都排除了的自然選擇: . 這點(diǎn)瑕疵在1992年被Wittmann克服, 即滿足條件和的同時(shí), 只需要再滿足條件: , 那么強(qiáng)收斂到的不動(dòng)點(diǎn). 兩年后, Reich把Wittmann的結(jié)果由Hilbert空間推廣到了一致光滑具有弱序列連續(xù)對(duì)偶的Banach空間.</p><p>　　1997年, Shioji和Tak

22、ashshi將Wittmann的結(jié)果推廣到范數(shù)滿足一致Gateaux可微的Banach空間, 將映像的定義進(jìn)一步放寬. 2002年, Xu從兩方面推廣了Lion的結(jié)果. 首先他減弱了Lion結(jié)果中的條件, 把分母中的替換成了. 另一方面, 他在一致光滑Banach空間框架下利用Halpern迭代格式得到了非擴(kuò)張映像的強(qiáng)收斂定理.</p><p>　　近幾年來, 粘滯迭代方法也是眾多學(xué)者關(guān)注的對(duì)象, 不僅利用這種方

23、法研究非線性算子方程的不動(dòng)點(diǎn), 而且用來研究變分不等式解的問題. </p><p>　　2000年, Moudafi引入粘滯迭代方法逼近給定非擴(kuò)張映像的特定不動(dòng)點(diǎn), 證明了非擴(kuò)張映像的強(qiáng)收斂定理.</p><p>　　2004年, Xu改進(jìn)了Moudafi的結(jié)果, 在一致光滑的Banach空間中給出了強(qiáng)收斂定理.</p><p>　　本文將主要通過構(gòu)造嚴(yán)格偽壓縮映像

24、的一步halpern迭代序列和一步粘滯迭代序列, 以及嚴(yán)格偽壓縮映像的兩步halpern迭代序列和兩步粘滯迭代序列來研究在Hilbert空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題.</p><p>　　2 k-嚴(yán)格偽壓縮映像的一步halpern和一步粘滯迭代逼近問題</p><p>　　2.1 引言與預(yù)備知識(shí)</p><p>　　嚴(yán)格偽壓縮映像是非擴(kuò)張映像的

25、一類重要的推廣. 近幾十年來, 關(guān)于尋找嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)問題已經(jīng)被許多學(xué)者所研究, 并構(gòu)造了一些著名的迭代序列來研究其收斂性. 1967年, Halpern引入Halpern迭代, 1977年, lion仍然在Hilbert空間的框架下改進(jìn)了Halpern的結(jié)果, 從參數(shù)限制條件的角度推廣了Halpern的結(jié)果. 近幾年來, 粘滯迭代方法也是眾多學(xué)者關(guān)注的對(duì)象, 不僅利用這種方法研究非線性算子方程的不動(dòng)點(diǎn), 而且用來研究變分不等式

26、解的問題. 2000年, Moudafi引入粘滯迭代方法逼近給定非擴(kuò)張映像的特定不動(dòng)點(diǎn). 2004年, Xu改進(jìn)了Moudafi的結(jié)果. 受上述文獻(xiàn)中的思想的啟發(fā), 本章的主要工作是通過構(gòu)造嚴(yán)格偽壓縮映像的一步halpern迭代序列和一步粘滯迭代序列來研究在Hilbert空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題. </p><p>　　本文, 用表示映像的不動(dòng)點(diǎn)集, 表示Hilbert空間到的閉凸子集的度

27、量投影. 用代表上所有的壓縮映像, 即</p><p>　　定義 2.1 映像是上的壓縮算子, 如果存在常數(shù), 使得</p><p>　　定義 2.2 上的算子是強(qiáng)正的, 如果存在常數(shù), 使得</p><p>　　定義.2.3 設(shè)是Hilbert空間的非空子集, 映射是嚴(yán)格偽壓縮映像, 如果存在常數(shù) 使得</p><p>　　引理 2.

28、1 設(shè)是Hilbert空間, 是的閉凸子集. 如果是上的嚴(yán)格偽壓縮映像, 則不動(dòng)點(diǎn)集是閉凸集, 并且投影是有定義的.</p><p>　　引理 2.2 設(shè)是Hilbert空間, 是的閉凸子集. 是嚴(yán)格偽壓縮映像并且, 則</p><p>　　引理 2.3 設(shè)是Hilbert空間, 是的閉凸子集. 是嚴(yán)格偽壓縮映像. 定義映像為, 對(duì)于所有的. 當(dāng), 是非擴(kuò)張映像且</p>

29、<p>　　引理 2.4 假設(shè)是非負(fù)實(shí)數(shù)列, 且 </p><p>　　其中是內(nèi)的序列, 是序列, 且</p><p><b>　　或者</b></p><p><b>　　則</b></p><p>　　引理 2.5 設(shè)是Hilbert空間上的強(qiáng)正有界線性算子, 系數(shù)為且, 則&

30、lt;/p><p>　　引理 2.6 設(shè)是Hilbert空間, 是上自伴強(qiáng)正有界線性算子, 系數(shù)為 假設(shè) 令是具有不動(dòng)點(diǎn)的非擴(kuò)張映像, 其中壓縮算子為 那么強(qiáng)收斂到的不動(dòng)點(diǎn), 當(dāng)時(shí), 也是下述變分不等式的解</p><p>　　引理 2.7 在Hilbert空間中, 下列不等式成立</p><p>　　k-嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的一步Halpern迭代逼近問題<

31、/p><p>　　定理 2.1 設(shè)是實(shí)Hilbert空間的非空閉凸子集, 且, 是存在不動(dòng)點(diǎn)的嚴(yán)格偽壓縮映像, 令是上的強(qiáng)正有界線性算子, 系數(shù)為, 令是上的由下述方法生成序列 </p><p>　　其中是由定義的映像, 如果控制序列滿足下列條件 (i)</p><p><b>　　(ii)</b></p><p>&l

32、t;b>　　(iii)</b></p><p>　　則強(qiáng)收斂于的不動(dòng)點(diǎn), 這也是下述變分不等式的解</p><p>　　證明 由引理2.3得, 映像是非擴(kuò)張映像且 由的假設(shè), 有, 因此. 由引理2.1, 則 由于是非擴(kuò)張映像, 則也是非擴(kuò)張映像. </p><p>　　注意到條件(i), 不失一般性, 設(shè)有 對(duì)所有的 由引理2.6得, , 則

33、</p><p><b>　　因此, 對(duì)點(diǎn) 得</b></p><p><b>　　歸納得</b></p><p><b>　　于是序列是有界的.</b></p><p><b>　　另一方面, 有</b></p><p><

34、b>　　于是</b></p><p><b>　　(2.1)</b></p><p>　　其中是適當(dāng)?shù)某?shù)使得</p><p>　　注意到條件(i), (ii), (iii)并對(duì)(2.1)運(yùn)用引理2.4得</p><p><b>　　(2.2)</b></p><

35、;p><b>　　注意到</b></p><p>　　再由條件(i)和(2.2)有</p><p><b>　　(2.3)</b></p><p><b>　　接下來, 證明</b></p><p><b>　　(2.4)</b></p>

36、<p>　　其中, 是壓縮算子的不動(dòng)點(diǎn).</p><p>　　于是, 是不動(dòng)點(diǎn)方程的解, 因此得到 </p><p><b>　　由引理2.7有</b></p><p><b>　　(2.5)</b></p><p><b>　　其

37、中</b></p><p><b>　　(2.6)</b></p><p>　　觀察到是線性強(qiáng)正的, 得</p><p><b>　　(2.7)</b></p><p>　　綜合(2.5)和(2.7)得 </p><p><b>　　從而</b&g

38、t;</p><p><b>　　(2.8)</b></p><p>　　在(2.8)中令并注意(2.6)得到</p><p><b>　　(2.9)</b></p><p>　　其中常數(shù), 使得對(duì)于所有的以及 </p><p>　　令(2.9)中 得到</p>

39、<p><b>　　(2.10)</b></p><p><b>　　另一方面, 得到</b></p><p><b>　　從而</b></p><p>　　因此, 由(2.10)得到</p><p>　　因此(2.4)成立. 再由引理2.7得到</p>

40、;<p><b>　　(2.11)</b></p><p>　　因此, 由引理2.4, 得到當(dāng), . </p><p>　　2.3 k-嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的一步粘滯迭代逼近問題</p><p>　　定理 2.2 設(shè)是實(shí)Hilbert空間的非空閉凸子集, 且, 是存在不動(dòng)點(diǎn)的嚴(yán)格偽壓縮映像, 令是上的強(qiáng)正有界線性算子, 系數(shù)

41、為, 是具有壓縮系數(shù)的壓縮算子, 滿足 令是上由下述方法生成的序列</p><p>　　其中是由定義的映像, 如果控制序列滿足下列條件(i)</p><p><b>　　(ii)</b></p><p><b>　　(iii)</b></p><p>　　則強(qiáng)收斂于的不動(dòng)點(diǎn), 這也是下述變分不等式的

42、解</p><p>　　證明 由引理2.3得映像是非擴(kuò)張映像且 由的假設(shè), 有, 因此. 由引理2.1, 則 由于是非擴(kuò)張映像, 則也是非擴(kuò)張映像. </p><p>　　注意到條件(i), 不失一般性, 設(shè)有 對(duì)所有的 由引理2.6, 如果, 則</p><p><b>　　因此, 對(duì)點(diǎn) 得</b></p><p>

43、<b>　　歸納得</b></p><p><b>　　于是序列是有界的.</b></p><p><b>　　另一方面, 有</b></p><p><b>　　于是</b></p><p><b>　　(2.14)</b><

44、/p><p>　　其中是適當(dāng)?shù)某?shù)使得</p><p>　　注意到條件(i), (ii), (iii)并對(duì)(2.14)運(yùn)用引理2.4得</p><p>　　(2.15) </p><p><b>　　注意到</b></p><p>　　再由條件(i)和(2.15)有</p>&l

45、t;p><b>　　(2.16)</b></p><p><b>　　接下來, 證明</b></p><p><b>　　(2.17)</b></p><p>　　其中, 是壓縮算子的不動(dòng)點(diǎn).</p><p>　　于是, 是不動(dòng)點(diǎn)方程的解, 因此得到</p>

46、<p><b>　　由引理2.7有</b></p><p><b>　　(2.18)</b></p><p><b>　　其中</b></p><p><b>　　(2.19) </b></p><p>　　觀察到是線性強(qiáng)正的, 得</p

47、><p><b>　　(2.20)</b></p><p>　　綜合(2.18)和(2.20)得</p><p><b>　　從而</b></p><p><b>　　(2.21)</b></p><p>　　在(2.21)中令并注意(2.19)得到<

48、;/p><p><b>　　(2.22)</b></p><p>　　其中常數(shù), 使得對(duì)于所有的以及 </p><p>　　令(2.22)中 得</p><p><b>　　(2.23)</b></p><p><b>　　另一方面, 得到</b></

49、p><p><b>　　從而</b></p><p>　　因此, 由(2.23)得到</p><p>　　因此, (2.21)成立, 再由引理2.7, 得到</p><p><b>　　(2.24)</b></p><p><b>　　這意味著</b><

50、;/p><p><b>　　(2.25)</b></p><p>　　其中是適當(dāng)?shù)某?shù)使得令</p><p><b>　　以及</b></p><p><b>　　于是得到</b></p><p><b>　　(2.26)</b><

51、;/p><p>　　從條件(i), (ii)和(2.17)得到</p><p>　　因此, 對(duì)(2.26)應(yīng)用引理2.4, 得到當(dāng), .</p><p>　　3 k-嚴(yán)格偽壓縮映像的兩步halpern和粘滯迭代逼近問題</p><p><b>　　引言與預(yù)備知識(shí)</b></p><p>　　上一章我們

52、通過構(gòu)造嚴(yán)格偽壓縮映像的一步halpern迭代序列和一步粘滯迭代序列來研究在Hilbert空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題. 本章我們通過構(gòu)造嚴(yán)格偽壓縮映像的兩步halpern迭代序列和兩步粘滯迭代序列來研究在Hilbert空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題.</p><p>　　引理 3.1 令和是Banach空間上的有界序列, 是上的序列并且滿足下述條件</p>

53、<p><b>　　假設(shè) 并且</b></p><p><b>　　則</b></p><p>　　引理 3.2 假設(shè)是非負(fù)實(shí)數(shù)列, 且</p><p><b>　　其中是滿足下述條件</b></p><p><b>　　或者</b></

54、p><p><b>　　且</b></p><p><b>　　則</b></p><p>　　3.2 k-嚴(yán)格偽映像不動(dòng)點(diǎn)的兩步halpern迭代逼近問題</p><p>　　定理3.1 設(shè)是實(shí)Hilbert空間的非空閉凸子集, 且, 是存在不動(dòng)點(diǎn)的嚴(yán)格偽壓縮映像, 令是上的強(qiáng)正有界線性算子,

55、系數(shù)為, 令序列并且滿足下列條件</p><p><b>　　(i)</b></p><p><b>　　(ii)</b></p><p><b>　　(iii) 常數(shù)</b></p><p>　　令是上的序列并且由下述方法生成</p><p>　　其中

56、是由定義的映像, 則強(qiáng)收斂于的不動(dòng)點(diǎn), 這也是下述變分不等式的解</p><p>　　證明 由引理2.3, 得映像是非擴(kuò)張映像且 由的假設(shè), 有, 因此. 由引理2.2, 則 由于是非擴(kuò)張映像, 則也是非擴(kuò)張映像. 下面分五步完成定理3.1的證明.</p><p>　　第一步 證明對(duì)所有的以及. </p><p>　　不失一般性, 可以假設(shè), 有 對(duì)所有的 由引理

57、2.5, 如果, 則 </p><p>　　因此, 對(duì)點(diǎn)并且結(jié)合</p><p><b>　　則</b></p><p>　　歸納得, . 于是序列是有界的, 那么均有界.</p><p>　　第二步 證明根據(jù)定義了序列, 得</p><p><b>　　.</b></

58、p><p><b>　　(3.1)</b></p><p><b>　　由(3.1)得</b></p><p><b>　　(3.2)</b></p><p>　　由(i), (iii)和(3.2)得</p><p><b>　　由引理3.1得&l

59、t;/b></p><p><b>　　(3.3)</b></p><p>　　從(iii)和(3.3)得</p><p>　　第三步 證明 由（IS） 得</p><p>　　簡(jiǎn)化并且利用步驟二得</p><p><b>　　即</b></p><

60、p><b>　　.</b></p><p>　　第四步 證明 其中, 是壓縮算子的不動(dòng)點(diǎn). </p><p>　　于是, 是不動(dòng)點(diǎn)方程的解, 則</p><p><b>　　由引理2.7有</b></p><p><b>　　(3.4)</b></p>&l

61、t;p><b>　　其中</b></p><p><b>　　(3.5) </b></p><p>　　觀察到是線性強(qiáng)正的, 則</p><p><b>　　(3.6)</b></p><p>　　綜合(3.4)和(3.6)得</p><p>&l

62、t;b>　　從而</b></p><p><b>　　(3.7)</b></p><p>　　在(3.7)中令并結(jié)合(3.5)得</p><p><b>　　(3.8)</b></p><p>　　其中常數(shù), 使得對(duì)于所有的以及</p><p><b

63、>　　令(3.8)中 得</b></p><p><b>　　(3.9)</b></p><p><b>　　另一方面, 得到</b></p><p><b>　　從而</b></p><p>　　因此, 由(3.9)得到</p><p&g

64、t;　　第五步 證明 由（IS）, 得</p><p><b>　　由引理2.7得</b></p><p><b>　　(3.10)</b></p><p>　　因此, 對(duì)(3.10)應(yīng)用引理2.7, 得到當(dāng), .</p><p>　　3.3 k-嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)的兩步粘滯迭代逼近問題<

65、/p><p>　　定理 3.2 設(shè)是實(shí)Hilbert空間的非空閉凸子集, 且, 是存在不動(dòng)點(diǎn)的嚴(yán)格偽壓縮映像, 令是上的強(qiáng)正有界線性算子, 系數(shù)為, 是具有壓縮系數(shù)的壓縮算子, 滿足 令序列并且滿足下列條件</p><p><b>　　(i) </b></p><p><b>　　(ii)</b></p>&

66、lt;p><b>　　(iii)常數(shù)</b></p><p>　　令是上由下述方法生成的序列 </p><p><b>　　(3.13)</b></p><p>　　其中是由定義的映像, 則強(qiáng)收斂于的不動(dòng)點(diǎn), 這也是下述變分不等式的解</p><p>　　證明 由引理2.3, 得映像是非擴(kuò)張

67、映像且 由的假設(shè), 有, 因此. 由引理2.2, 則 由于是非擴(kuò)張映像, 則也是非擴(kuò)張映像. 下面分五步完成定理3.2的證明.</p><p>　　第一步 證明對(duì)所有的以及. </p><p>　　不失一般性, 假設(shè), 有 對(duì)所有的 </p><p>　　由引理2.5, 如果, 則 因此, 對(duì)點(diǎn)并且結(jié)合</p><p><b>　　

68、得</b></p><p>　　歸納得, . 于是序列是有界的, 那么均有界.</p><p>　　第二步 證明 根據(jù)定義了序列, 得</p><p>　　. (IS)</p><p><b>　　(3.14)</b></p><p>&l

69、t;b>　　由(3.13)得</b></p><p><b>　　(3.15)</b></p><p>　　由(i), (iii)和(3.15)得</p><p>　　于是, 由引理3.1得</p><p><b>　　(3.16)</b></p><p>

70、　　從(iii)和(3.16)得</p><p>　　第三步 證明 由（IS） 得</p><p>　　簡(jiǎn)化并且利用步驟二得</p><p><b>　　即</b></p><p><b>　　.</b></p><p>　　第四步 證明 其中, 是壓縮算子的不動(dòng)點(diǎn). <

71、;/p><p>　　于是, 是不動(dòng)點(diǎn)方程的解, 則</p><p><b>　　由引理2.7有</b></p><p><b>　　(3.17) </b></p><p><b>　　其中</b></p><p><b>　　(3.18) <

72、/b></p><p><b>　　是線性強(qiáng)正的, 則</b></p><p><b>　　(3.19)</b></p><p>　　綜合(3.17)和(3.19)得</p><p><b>　　從而</b></p><p><b>　　

73、(3.20)</b></p><p>　　在(3.20)中令并注意(3.18), 得到</p><p><b>　　(3.21)</b></p><p>　　其中常數(shù), 使得對(duì)于所有的以及</p><p>　　令(3.21)中 得到</p><p><b>　　(3.22)

74、</b></p><p><b>　　另一方面, 得到</b></p><p><b>　　從而</b></p><p>　　因此, 由(3.10)得到</p><p>　　第五步 證明 由（IS）, 得</p><p>　　由引理2.7, 得到</p>

75、;<p><b>　　(3.23)</b></p><p><b>　　(3.24)</b></p><p>　　其中是適當(dāng)?shù)某?shù)使得 令</p><p><b>　　以及</b></p><p><b>　　則</b></p>

76、<p><b>　　(3.25</b></p><p>　　從條件,和(3.16)得到</p><p>　　因此, 對(duì)(3.25)應(yīng)用引理2.7, 得到當(dāng), . </p><p><b>　　4 小結(jié)</b></p><p>　　非線性算子方程屬于非線性泛函分析的范疇, 是泛函分析的理論

77、和應(yīng)用的一個(gè)重要組成部分, 它在微分方程, 積分方程, 力學(xué), 控制論, 對(duì)策論, 經(jīng)濟(jì)平衡理論, 交通運(yùn)輸, 社會(huì)和經(jīng)濟(jì)模型等許多方面都有著重要的應(yīng)用. 目前有關(guān)非線性算子不動(dòng)點(diǎn)的迭代逼近的研究是近年來非線性分析理論的非?；钴S的研究熱點(diǎn)問題. 而嚴(yán)格偽壓縮映像是一類非常廣泛的非線性映像. </p><p>　　本文主要通過構(gòu)造嚴(yán)格偽壓縮映像的一步halpern迭代序列和一步粘滯迭代序列, 以及嚴(yán)格偽壓縮映像的兩

78、步halpern迭代序列和兩步粘滯迭代序列來研究在Hilbert空間框架下的嚴(yán)格偽壓縮映像的不動(dòng)點(diǎn)的迭代逼近問題. 主要證明了在Hilbert空間框架下嚴(yán)格偽壓縮映像不動(dòng)點(diǎn)收斂的相關(guān)定理. </p><p><b>　　參考文獻(xiàn)</b></p><p>　　S. Banach. Sur les operations dans les ensembles abstrai

79、ts et leur application aus equations integreles [J]. Fund. Math., 1922, 3: 133~181. </p><p>　　L. E. J. Brouwer. Uber Abbildung von Manigfaltigkeiten [J]. Math. Ann., 1912, 71: 97~114.</p><p>　　K

80、. Goebel. W. A. Kirk. A fixed point theorem for asymptotically nonexpansive mappings [J]. Proc. Amer. Math. Soc., 1972, 35: 171~174.</p><p>　　H. K. Xu. A Strong Convergence Theorem for Nonexpansive Mappings

81、[J]. Math. Anal., 2007, 4: 73~82.</p><p>　　K. Goebel. X. Kirk. A fixed point theorem for asymptotically nonexpensive mappings [J]. Proc. Amer. Math. Soc., 1972, 35: 171~174.</p><p>　　T. Kim, H.

82、Xu. Remarks on asymptotically nonexpansive mappings [J]. Nonlinear Anal., 2000, 41: 405~415.</p><p>　　W. Takahashi. Nonlinear Functional Analysis, Fixed point Theory and Applications [M]. Yokohama: Yokohama

83、Publishers, 2000.</p><p>　　S. Ishikawa. Fixed points by new iteration method [J]. Proc. Amer. Math. Soc., 1974, 44: 147~150.</p><p>　　W. Mann. Mean value methods in iteration [J]. Proc. Amer. Ma

84、th. Soc., 1953, 4: 506~510.</p><p>　　G. Marino. H. K. Xu. Weak and strong convergence theorems for k-strict pseudo-contractions in Hilbert space [J]. Math. Anal. Appl., 2007, 329: 336~349.</p><p&g

85、t;　　O. Nevanlinna. Global iterative schemes for monotone operaters [J]. Nomlinear Anal., 1979, 3: 505~514.</p><p>　　C. E. Chidume. E.U. Ofoedu. A new iteration process for generalized Lipschitz pseudo-contra

86、ctive and generalized Lipschitz accretive mappings [J]. Nonlinear Anal., 2007, 67: 307~315. </p><p>　　B. Halpern. Fixed points of nonexpansive maps [J]. Bull. Amer. Math. Soc., 1967, 73: 957~961.</p>

87、<p>　　P. L. Lions. Approximation de points fixes de contractions [J]. C.R. Acad. Sci. Paris. Ser., 1977, 284(A-B): A1357~A1359.</p><p>　　S. Reich. Strong convergence treorems for resolvents of accretive

88、 operators in Banach spaces [J]. J Math Anal Appl., 1980, 75: 287~292.</p><p>　　R. Wittmann. Approximation of fixed points of nonexpansive mappings [J]. Arch. Math. 1992, 58: 486~491.</p><p>　　S

89、. Reich. Approximating fixed points of nonexpansive mappings [J]. PanAmer Math J., 1994, 4: 23~28</p><p>　　N. Shioji and W. Takahashi. Strong convergence of approximated sequences for nonexpensive mappings i

90、n Banach space [J]. Proc Am Math Soc., 1997, 125: 3641~3645.</p><p>　　H. K. Xu. Another control condition in an iterative method for nonexpansive mappings [J]. Bull. Austral. Math. Soc., 2002, 65: 109~113.&l

91、t;/p><p>　　A. Moudafi. Viscosity approximation methods for fixed points problems [J]. J. Math. Anal. Appl., 2000, 241: 46~55.</p><p>　　H. K. Xu. Viscosity approximation methods for nonexpansive map

92、pings [J]. J. Math. Anal. Appl., 2004, 298: 279~291.</p><p>　　F. E. Browder. Fixed point theorems for noncompact mappings in Hilbert spaces [J]. Proc. Natl. Acad. Sci., 1965, USA 53: 1272~1276.</p>&l

93、t;p>　　F. E. Browder. Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces [J]. Arch. Ration. Mech. Anal., 1967, 24: 82~90.</p><p>　　Y. J. Cho, S. M. Kang, X. Qin

94、. Some result on k-strictly pseudo-contractive mappings in Hilbert spaces. Nonlinear Anal., 2009, 70: 1956~1964.</p><p>　　Y. S. Song and Chen R D. Strong convergence theorems on an iterative method for a fam

95、ily of finite nonexpensive mapping [J]. Appl Math Comp., 2006, 180: 275~287.</p><p>　　H. Zhou. Convergence theorems of fixed points for k-strict pseudo-contractions in Hilbert space [J]. Nonlinear Anal., doi

96、:10.1016/j.na.2007.05.032.</p><p>　　G. L. Acedo, H. K. Xu. Iterative methods for strict pseudo-contractions in Hilbert spaces [J]. Nonlinear Anal. 2007, 67: 2258~2271.</p><p>　　F. E. Browder, W.

97、 V. Petryshyn. Construction of fixed points of nonlinear mappings in Hilbert space [J]. J. Math. Anal. Appl., 1967, 20: 197~228.</p><p>　　H. K. Xu. Iterative algorithms for nonlinear operators [J]. J. London

98、 Math. Soc., 2002, 66: 240~256.</p><p>　　G. Marino, H. K. Xu. A general iterative method for nonexpansive mappings in Hilbert spaces [J]. J. Math. Anal. Appl., 2006, 318: 43~52.</p><p>　　T. Suzu