intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Báo cáo hóa học: " Research Article Strong Convergence Theorems by Shrinking Projection Methods for Class T Mappings"

Chia sẻ: Nguyen Minh Thang | Ngày: | Loại File: PDF | Số trang:7

44
lượt xem
3
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article Strong Convergence Theorems by Shrinking Projection Methods for Class T Mappings

Chủ đề:
Lưu

Nội dung Text: Báo cáo hóa học: " Research Article Strong Convergence Theorems by Shrinking Projection Methods for Class T Mappings"

  1. Hindawi Publishing Corporation Fixed Point Theory and Applications Volume 2011, Article ID 681214, 7 pages doi:10.1155/2011/681214 Research Article Strong Convergence Theorems by Shrinking Projection Methods for Class T Mappings Qiao-Li Dong,1, 2 Songnian He,1, 2 and Fang Su3 1 College of Science, Civil Aviation University of China, Tianjin 300300, China 2 Tianjin Key Laboratory for Advanced Signal Processing, Civil Aviation University of China, Tianjin 300300, China 3 Department of Mathematics and Systems Science, National University of Defense Technology, Changsha 410073, China Correspondence should be addressed to Qiao-Li Dong, dongqiaoli@ymail.com Received 9 December 2010; Accepted 2 February 2011 Academic Editor: S. Al-Homidan Copyright q 2011 Qiao-Li Dong et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We prove a strong convergence theorem by a shrinking projection method for the class of T mappings. Using this theorem, we get a new result. We also describe a shrinking projection method for a nonexpansive mapping on Hilbert spaces, which is the same as that of Takahashi et al. 2008 . 1. Introduction Let H be a real Hilbert space with inner product ·, · and norm · , and let C be a nonempty closed convex subset of H . Recall that a mapping T : H → H is said to be nonexpansive if T x − T y ≤ x − y for all x, y ∈ H . The set of fixed points of T is Fix T : {x ∈ H : T x x}. T : H → H is said to be quasi-nonexpansive if Fix T is nonempty and T x − p ≤ x − p for all x ∈ H and p ∈ Fix T . Given x, y ∈ H , let H x, y : z ∈ H : z − y, x − y ≤ 0 1.1 be the half-space generated by x, y . A mapping T : H → H is said to be the class T or a cutter if T ∈ T {T : H → H | dom T H and Fix T ⊂ H x, T x , for all x ∈ H }. Remark 1.1. The class T is fundamental because it contains several types of operators commonly found in various areas of applied mathematics and in particular in approximation and optimization theory see 1 for details .
  2. 2 Fixed Point Theory and Applications Combettes 2 , Bauschke, and Combettes 1 studied properties of the class T mappings and presented several algorithms. They introduced an abstract Haugazeau method in 1 as follows: starting x0 ∈ H , xn PH x0 . 1.2 x0 ,xn ∩H xn ,Tn xn 1 Using Lemma 1.2 given below and the fact that a nonexpansive mapping is quasi- nonexpansive, one can easily obtain hybrid methods introduced by Nakajo and Takahashi 3 for a nonexpansive mapping. Recently, Takahashi et al. 4 proposed a shrinking projection method for nonexpan- sive mappings Tn : C → C. Let x0 ∈ H , C1 C, x1 PC1 x0 , and yn αn 1 − αn Tn xn , Cn z ∈ Cn : yn − z ≤ xn − z , 1.3 1 xn PCn 1 x0 , n 1, 2, . . . , 1 where 0 ≤ αn ≤ a < 1, PK denotes the metric projection from H onto a closed convex subset K of H . Inspired by Bauschke and Combettes 1 and Takahashi et al. 4 , we present a shrinking projection method for the class of T mappings. Furthermore, we obtain a shrinking projection method for a nonexpansive mapping on Hilbert spaces, which is the same as presented by Takahashi et al. 4 . We will use the following notations: for weak convergence and → for strong convergence; 1 2 ωw xn {x : ∃xnj x} denotes the weak ω-limit of {xn }. We need some facts and tools in a real Hilbert space H which are listed below. Lemma 1.2 see 1 . Let H be a Hilbert space. Let I be the identity operator of H . i If dom T H , then 2T − I is quasi-nonexpansive if and only if T ∈ T. ii If T ∈ T, then λI 1 − λ T ∈ T, for all λ ∈ 0, 1 . Definition 1.3. Let Tn ∈ T for each n. The sequence {Tn } is called to be coherent if, for every bounded sequence {vn } in H , there holds ∞ 2 vn − vn < ∞, 1 ∞ n0 ⇒ ωw vn ⊂ Fix Tn . 1.4 ∞ n0 2 vn − Tn vn < ∞, n0 Definition 1.4. T is called demiclosed at y ∈ H if T x y whenever {xn } ⊂ H , xn x and T xn → y. Next lemma shows that nonexpansive mappings are demeiclosed at 0.
  3. Fixed Point Theory and Applications 3 Lemma 1.5 Goebel and Kirk 5 . Let C be a closed convex subset of a real Hilbert space H, and let T : C → C be a nonexpansive mapping such that Fix T / ∅. If a sequence {xn } in C is such that xn z and xn − T xn → 0, then z T z. Lemma 1.6 see 6 . Let K be a closed convex subset of H . Let {xn } be a sequence in H and u ∈ H . Let q PK u. If xn is such that ωw xn ⊂ K and satisfies the condition xn − u ≤ u − q , ∀n, 1.5 then xn → q. Lemma 1.7 Goebel and Kirk 5 . Let K be a closed convex subset of real Hilbert space H , and let PK be the (metric or nearest point) projection from H onto K (i.e., for x ∈ H , PK x is the only point in K such that x − PK x inf{ x − z : z ∈ K }). Given x ∈ H and z ∈ K , then z PK x if and only if there holds the relation x − z, y − z ≤ 0, ∀y ∈ K. 1.6 2. Main Results In this section, we will introduce a shrinking projection method for the class of T mappings and prove strong convergence theorem. ∞ Theorem 2.1. Let Tn ∈ T for each n such that F : n 1 Fix Tn / ∅. Suppose that the sequence {Tn } is coherent. Let x0 ∈ H . For C1 H and x1 x0 , define a sequence {xn } as follows: xn PCn 1 x0 , n 1, 2, . . . , 1 2.1 Cn {z ∈ Cn : z − Tn xn , xn − Tn xn ≤ 0}. 1 Then, {xn } converges strongly to PF x0 . Proof. We first show by induction that F ⊂ Cn for all n ∈ N.F ⊂ C1 is obvious. Suppose F ⊂ Ck for some k ∈ N. Note that, by the definition of Tk ∈ T, we always have F ⊂ Fix Tk ⊂ H xk , Tk xk , that is, z − Tk xk , xk − Tk xk ≤ 0, ∀z ∈ F . 2.2 From the definition of Ck and F ⊂ Ck , we obtain F ⊂ Ck 1 . This implies that 1 F ⊂ Cn , ∀n ∈ N. 2.3 It is obvious that C1 H is closed and convex. So, from the definition, Cn is closed and convex for all n ∈ N. So we get that {xn } is well defined. Since xn is the projection of x0 onto Cn which contains F, we have x0 − xn ≤ x0 − y , ∀y ∈ Cn . 2.4
  4. 4 Fixed Point Theory and Applications Taking y PF x0 ∈ F, we get x0 − xn ≤ x0 − PF x0 . 2.5 The last inequality ensures that { x0 − xn } is bounded. From xn PCn x0 and xn PCn 1 x0 ∈ 1 Cn 1 ⊂ Cn , using Lemma 1.7, we get xn − xn , x0 − xn ≤ 0. 2.6 1 It follows that 2 2 x0 − xn x0 − xn − xn − xn 1 1 2 2 x0 − xn − 2 x0 − xn , xn − xn xn − xn 1 1 2.7 2 2 ≥ x0 − xn xn − xn 1 ≥ x0 − xn 2 . Thus { xn − x0 } is increasing. Since { xn − x0 } is bounded, limn → ∞ xn − x0 exists. From 2.7 , it follows that 2 2 − x0 − xn 2 , xn − xn ≤ x0 − xn 2.8 1 1 ∞ 2 xn − xn < ∞. On the other hand, by xn PCn 1 x0 ∈ Cn 1 , we have and n1 1 1 xn − Tn xn , xn − Tn xn ≤ 0. 2.9 1 Hence, 2 2 xn − xn xn − Tn xn − xn − Tn xn 1 1 2 2 xn − Tn xn − 2 xn − Tn xn , xn − Tn xn xn − Tn xn 2.10 1 1 2 xn − Tn xn 2 . ≥ xn − Tn xn 1 We therefore get ∞ 1 xn − Tn xn 2 < ∞. Since the sequence {Tn } is coherent, we have n ωw xn ⊂ F. From Lemma 1.6 and 2.5 , the result holds. Remark 2.2. We take C1 H so that F ⊂ C1 is satisfied.
  5. Fixed Point Theory and Applications 5 ∞ Theorem 2.3. Let Tn ∈ T for each n such that F : n 1 Fix Tn / ∅. Suppose that the sequence {Tn } is coherent. Let x0 ∈ H . For C1 H and x1 x0 , define a sequence {xn } as follows: yn αn xn 1 − αn Tn xn , Cn z ∈ Cn : z − yn , xn − yn ≤ 0 , 2.11 1 xn PCn 1 x0 , n 1, 2, . . . , 1 where 0 ≤ αn ≤ a < 1. Then, {xn } converges strongly to PF x0 . Proof. Set Sn αn I 1 − αn Tn . By Lemma 1.2 ii , we have that Sn ∈ T. From xn − Sn xn 1 − αn xn − Tn xn , it follows that 1 − a xn − Tn xn ≤ xn − Sn xn ≤ xn − Tn xn which implies that the sequence {Sn } is coherent. It is obvious that Fix Sn Fix Tn , for all n ∈ N. ∞ ∞ Hence F Fix Sn Fix Tn . Using Theorem 2.1, we get the desired result. n1 n1 3. Deduced Results In this section, using Theorem 2.3, we obtain some new strong convergence results for the class of T mappings, a quasi-nonexpansive mapping and a nonexpansive mapping in a Hilbert space. Theorem 3.1. Let T ∈ T such that Fix T / ∅ and satisfying that I − T is demiclosed at 0. Let x0 ∈ H . For C1 H and x1 x0 , define a sequence {xn } as follows: yn αn xn 1 − αn T xn , Cn z ∈ Cn : z − yn , xn − yn ≤ 0 , 3.1 1 xn PCn 1 x0 , n 1, 2, . . . , 1 where 0 ≤ αn ≤ a < 1. Then, {xn } converges strongly to PFix T x0 . Proof. Let Tn T in 2.11 for all n ∈ N. Following the proof of Theorem 2.1, we can easily get 2.5 and ∞ 1 xn − T xn 2 < ∞. By 2.5 , we obtain that {xn } is bounded and ωw xn is n nonempty. For any x ∈ ωw xn , there exists a subsequence {xnj } of the sequence {xn } such x. From ∞ 1 xn − T xn 2 < ∞, it follows that xn − T xn → 0. Since I − T is that xnj n demiclosed at 0, we get x ∈ Fix T . Thus ωw xn ⊂ Fix T which together with Lemma 1.6 and 2.5 implies that xn → PFix T x0 . Theorem 3.2. Let H be a Hilbert space. Let S be a quasi-nonexpansive mapping on H such that Fix S / ∅ and satisfying that I − S is demiclosed at 0. Let x0 ∈ H . For C1 H and x1 x0 , define a sequence {xn } as follows: un αn xn 1 − αn Sxn , Cn {z ∈ Cn : z − un ≤ xn − z }, 3.2 1 xn PCn 1 x0 , n 1, 2, . . . , 1 where 0 ≤ αn ≤ a < 1. Then, {xn } converges strongly to PFix S x0 .
  6. 6 Fixed Point Theory and Applications Proof. By Lemma 1.2 i , S I /2 ∈ T. Substitute T in 3.1 by S I /2. Then yn 1 αn /2 xn 1 − αn /2 Sxn . Set un 2yn − xn αn xn 1 − αn Sxn , then yn un xn /2. So, we have Cn z ∈ Cn : z − yn , xn − yn ≤ 0 1 {z ∈ Cn : 2z − xn un , xn − un ≤ 0} 3.3 {z ∈ Cn : z − un ≤ xn − z }. Since I − S is demiclosed at 0, I − S I /2 I − S /2 is demiclosed at 0. So we can obtain the result by using Theorem 3.1. Since a nonexpansive mapping is quasi-nonexpansive, using Lemma 1.5 and Theorem 3.2, we have following corollary. Corollary 3.3. Let H be a Hilbert space. Let S be a nonexpansive mapping H such that Fix S / ∅. Let x0 ∈ H . For C1 H and x1 x0 , define a sequence {xn } as follows: un αn xn 1 − αn Sxn , Cn {z ∈ Cn : z − un ≤ xn − z }, 3.4 1 xn PCn 1 x0 , n 1, 2, . . . , 1 where 0 ≤ αn ≤ a < 1. Then, {xn } converges strongly to PFix S x0 . Remark 3.4. Corollary 3.3 is a special case of Theorem 4.1 in 4 when C1 H. Acknowledgments The authors would like to express their thanks to the referee for the valuable comments and suggestions for improving this paper. This paper is supported by Research Funds of Civil Aviation University of China Grant 08QD10X and Fundamental Research Funds for the Central Universities Grant ZXH2009D021 . References 1 H. H. Bauschke and P. L. Combettes, “A weak-to-strong convergence principle for Fej´ r-monotone e methods in Hilbert spaces,” Mathematics of Operations Research, vol. 26, no. 2, pp. 248–264, 2001. 2 P. L. Combettes, “Quasi-Fej´ rian analysis of some optimization algorithms,” in Inherently Parallel e Algorithms in Feasibility and Optimization and Their Applications, vol. 8, pp. 115–152, North-Holland, Amsterdam, The Netherlands, 2001. 3 K. Nakajo and W. Takahashi, “Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups,” Journal of Mathematical Analysis and Applications, vol. 279, no. 2, pp. 372– 379, 2003. 4 W. Takahashi, Y. Takeuchi, and R. Kubota, “Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 341, no. 1, pp. 276–286, 2008.
  7. Fixed Point Theory and Applications 7 5 K. Goebel and W. A. Kirk, Topics in Metric Fixed Point Theory, vol. 28 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, UK, 1990. 6 C. Martinez-Yanes and H.-K. Xu, “Strong convergence of the CQ method for fixed point iteration processes,” Nonlinear Analysis. Theory, Methods & Applications, vol. 64, no. 11, pp. 2400–2411, 2006.
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2