On the strong and Δ-convergence of new multi-step and S-iteration processes in a space
© Başarır and Şahin; licensee Springer. 2013
Received: 1 August 2013
Accepted: 19 September 2013
Published: 7 November 2013
In this paper, we introduce a new class of mappings and prove the demiclosedness principle for mappings of this type in a space. Also, we obtain the strong and Δ-convergence theorems of new multi-step and S-iteration processes in a space. Our results extend and improve the corresponding recent results announced by many authors in the literature.
MSC:47H09, 47H10, 54E40, 58C30.
Keywordsspace contractive-like mapping strong convergence Δ-convergence new multi-step iteration S-iteration fixed point
Contractive mappings and iteration processes are some of the main tools in the study of fixed point theory. There are many contractive mappings and iteration processes that have been introduced and developed by several authors to serve various purposes in the literature (see [1–6]).
Imoru and Olantiwo  gave the following contractive definition.
By taking in (1.1), we define a new class of mappings as follows.
If X is an interval of ℝ, then is convex. The same is also true in each space with unique geodesic for each pair of points (e.g., metric trees or spaces).
In the case for all , it is easy to show that every nonexpansive mapping satisfies (1.2), but the inverse is not necessarily true.
Therefore T is a generalized nonexpansive mapping, but T is not nonexpansive mapping.
It is proved in Gürsoy et al.  that T is a contractive-like mapping. Similarly, one can prove that T is a generalized nonexpansive mapping. But the mapping T has no fixed point.
This implies that T is a nonexpansive mapping and so T is a generalized nonexpansive mapping with for all . But .
Gürsoy et al.  introduced a new multi-step iteration process in a Banach space. We modify this iteration process in a space as follows.
In this paper, motivated by the above results, we prove demiclosedness principle for a new class of mappings and the Δ-convergence theorems of the new multi-step iteration and the S-iteration processes for mappings of this type in a space. Also, we present the strong convergence theorems of these iteration processes for contractive-like mappings in a space.
2 Preliminaries on a space
A metric space X is a space if it is geodesically connected and if every geodesic triangle in X is at least as ‘thin’ as its comparison triangle in the Euclidean plane. Fixed point theory in a space was first studied by Kirk (see [14, 15]). He showed that every nonexpansive mapping defined on a bounded closed convex subset of a complete space always has a fixed point. Since then the fixed point theory in a space has been rapidly developed and many papers have appeared (see [14–20]). It is worth mentioning that the results in a space can be applied to any space with since any space is a space for every (see [, p.165]).
Let be a metric space. A geodesic path joining to (or more briefly, a geodesic from x to y) is a map c from a closed interval to X such that , and for all . In particular, c is an isometry and . The image of c is called a geodesic (or metric) segment joining x and y. When it is unique, this geodesic is denoted by . The space is said to be a geodesic space if every two points of X are joined by a geodesic and X is said to be a uniquely geodesic if there is exactly one geodesic joining x to y for each .
for . Such a triangle always exists (see ).
A geodesic metric space is said to be a space  if all geodesic triangles of appropriate size satisfy the following comparison axiom.
The equality holds for the Euclidean metric. In fact (see [, p.163]), a geodesic metric space is a space if and only if it satisfies the inequality (2.1) (which is known as the CN inequality of Bruhat and Tits ).
From now on, we will use the notation for the unique point z satisfying (2.2). By using this notation, Dhompongsa and Panyanak  obtained the following lemmas which will be used frequently in the proof of our main results.
for all and .
for all and .
3 Demiclosedness principle for a new class of mappings
In 1976 Lim  introduced the concept of convergence in a general metric space setting which is called △-convergence. Later, Kirk and Panyanak  used the concept of △-convergence introduced by Lim  to prove on a space analogs of some Banach space results which involve weak convergence. Also, Dhompongsa and Panyanak  obtained the △-convergence theorems for the Picard, Mann and Ishikawa iterations in a space for nonexpansive mappings under some appropriate conditions.
Now, we recall some definitions.
Proposition 1 ([, Proposition 3.2])
Let be a bounded sequence in a complete space X, and let K be a closed convex subset of X, then and are singletons.
Definition 3 ([, Definition 3.1])
A sequence in a space X is said to be △-convergent to if x is the unique asymptotic center of for every subsequence of . In this case, we write and x is called the △-limit of .
Lemma 4 ([, Lemma 2.8])
If is a bounded sequence in a complete space with , is a subsequence of with and the sequence converges, then .
We note that if and only if (see ).
Nanjaras and Panyanak  gave a connection between the ‘⇀’ convergence and Δ-convergence.
Proposition 2 ([, Proposition 3.12])
Let be a bounded sequence in a space X, and let K be a closed convex subset of X which contains . Then implies that .
By using the convergence defined in (3.1), we obtain the demiclosedness principle for the new class of mappings in a space.
Theorem 1 Let K be a nonempty closed convex subset of a complete space X, and let be a generalized nonexpansive mapping with . Let be a bounded sequence in K such that and . Then .
The rest of the proof closely follows the pattern of Proposition 3.14 in Nanjaras and Panyanak . Hence as desired. □
Now, we prove the Δ-convergence of the new multi-step iteration process for the new class of mappings in a space.
Theorem 2 Let K be a nonempty closed convex subset of a complete space X, let be a generalized nonexpansive mapping with , and let be a sequence defined by (1.4) such that , and for some . Then the sequence Δ-converges to the fixed point of T.
and consists of exactly one point. Let . Then there exists a subsequence of such that . By Lemma 3, there exists a subsequence of such that . By Proposition 2 and Theorem 1, . By Lemma 4, we have . This shows that . Now, we prove that consists of exactly one point. Let be a subsequence of with , and let . We have already seen that and . Finally, since converges, by Lemma 4, . This shows that . This completes the proof. □
We give the following theorem related to the Δ-convergence of the S-iteration process for the new class of mappings in a space.
Theorem 3 Let K be a nonempty closed convex subset of a complete space X, let be a generalized nonexpansive mapping with , and let be a sequence defined by (1.3) such that for some . Then the sequence Δ-converges to the fixed point of T.
Thus . The rest of the proof follows the pattern of the above theorem and is therefore omitted. □
4 Strong convergence theorems for a contractive-like mapping
Now, we prove the strong convergence of the new multi-step iteration process for a contractive-like mapping in a space.
Theorem 4 Let K be a nonempty closed convex subset of a complete space X, let be a contractive-like mapping with , and let be a sequence defined by (1.4) such that , and , . Then the sequence converges strongly to the unique fixed point of T.
Consequently, and this completes the proof. □
Remark 2 In Theorem 4 the condition may be replaced with for a fixed .
Finally, we give the strong convergence theorem of the S-iteration process for a contractive-like mapping in a space as follows.
Theorem 5 Let K be a nonempty closed convex subset of a complete space X, let be a contractive-like mapping with , and let be a sequence defined by (1.3) such that . Then the sequence converges strongly to the unique fixed point of T.
Thus we have . If , the result is clear. This completes the proof. □
The new multi-step iteration reduces to the two-step iteration and the SP-iteration processes. Also, the class of generalized nonexpansive mappings includes nonexpansive mappings. Then these results presented in this paper extend and generalize some works for a space in the literature.
The authors are grateful to the referee for his/her careful reading and valuable comments and suggestions which led to the present form of the paper. This paper has been presented in International Conference ‘Anatolian Communications in Nonlinear Analysis (ANCNA 2013)’ in Abant Izzet Baysal University, Bolu, Turkey, July 03-06, 2013. This paper was supported by Sakarya University Scientific Research Foundation (Project number: 2013-02-00-003).
- Agarwal RP, O’Regan D, Sahu DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 2007, 8(1):61–79.MathSciNetMATHGoogle Scholar
- Ishikawa S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5MathSciNetView ArticleMATHGoogle Scholar
- Mann WR: Mean value methods in iterations. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3View ArticleMATHGoogle Scholar
- Phuengrattana W, Suantai S: On the rate of convergence of Mann, Ishikawa, Noor and SP iterations for continuous functions on an arbitrary interval. J. Comput. Appl. Math. 2011, 235(9):3006–3014. 10.1016/j.cam.2010.12.022MathSciNetView ArticleMATHGoogle Scholar
- Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226: 257–290.MathSciNetView ArticleMATHGoogle Scholar
- Thianwan S: Common fixed points of new iterations for two asymptotically nonexpansive nonself-mappings in a Banach space. J. Comput. Appl. Math. 2009, 224: 688–695. 10.1016/j.cam.2008.05.051MathSciNetView ArticleMATHGoogle Scholar
- Imoru CO, Olantiwo MO: On the stability of Picard and Mann iteration processes. Carpath. J. Math. 2003, 19(2):155–160.MathSciNetMATHGoogle Scholar
- Berinde V: On the stability of some fixed point procedures. Bul. ştiinţ. - Univ. Baia Mare, Ser. B Fasc. Mat.-Inform. 2002, 18(1):7–14.MathSciNetMATHGoogle Scholar
- Berinde V: On the convergence of the Ishikawa iteration in the class of quasi contractive operators. Acta Math. Univ. Comen. 2004, 73(1):119–126.MathSciNetMATHGoogle Scholar
- Harder AM, Hicks TL: Stability results for fixed point iteration procedures. Math. Jpn. 1988, 33(5):693–706.MathSciNetMATHGoogle Scholar
- Zamfirescu T: Fix point theorems in metric spaces. Arch. Math. 1972, 23(1):292–298. 10.1007/BF01304884MathSciNetView ArticleMATHGoogle Scholar
- Osilike MO, Udomene A: Short proofs of stability results for fixed point iteration procedures for a class of contractive-type mappings. Indian J. Pure Appl. Math. 1999, 30(12):1229–1234.MathSciNetMATHGoogle Scholar
- Gürsoy F, Karakaya V, Rhoades BE: Data dependence results of new multi-step and S -iterative schemes for contractive-like operators. Fixed Point Theory Appl. 2013., 2013: Article ID 76 10.1186/1687-1812-2013-76Google Scholar
- Kirk WA: Geodesic geometry and fixed point theory. Colecc. Abierta 64. In Seminar of Mathematical Analysis. Universidad de Sevilla Secr. Publ., Sevilla; 2003:195–225.Google Scholar
- Kirk WA: Geodesic geometry and fixed point theory II. In International Conference on Fixed Point Theory and Applications. Yokohama Publ., Yokohama; 2004:113–142.Google Scholar
- Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal., Theory Methods Appl. 2006, 65(4):762–772. 10.1016/j.na.2005.09.044MathSciNetView ArticleMATHGoogle Scholar
- Dhompongsa S, Kirk WA, Panyanak B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 2007, 8(1):35–45.MathSciNetMATHGoogle Scholar
- Dhompongsa S, Panyanak B:On △-convergence theorems in spaces. Comput. Math. Appl. 2008, 56(10):2572–2579. 10.1016/j.camwa.2008.05.036MathSciNetView ArticleMATHGoogle Scholar
- Şahin A, Başarır M: On the strong convergence of a modified S -iteration process for asymptotically quasi-nonexpansive mappings in a CAT(0) space. Fixed Point Theory Appl. 2013., 2013: Article ID 12 10.1186/1687-1812-2013-12Google Scholar
- Şahin A, Başarır M: On the strong and △-convergence of SP -iteration on aspace. J. Inequal. Appl. 2013., 2013: Article ID 311 10.1186/1029-242X-2013-311Google Scholar
- Bridson M, Haefliger A Grundlehren der Mathematischen Wissenschaften 319. In Metric Spaces of Non-Positive Curvature. Springer, Berlin; 1999.View ArticleGoogle Scholar
- Bruhat F, Tits J: Groupes réductifs sur un corps local. Publ. Math. Inst. Hautes Études Sci. 1972, 41: 5–251. 10.1007/BF02715544MathSciNetView ArticleMATHGoogle Scholar
- Lim TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 1976, 60: 179–182. 10.1090/S0002-9939-1976-0423139-XView ArticleMathSciNetMATHGoogle Scholar
- Kirk WA, Panyanak B: A concept of convergence in geodesic spaces. Nonlinear Anal., Theory Methods Appl. 2008, 68(12):3689–3696. 10.1016/j.na.2007.04.011MathSciNetView ArticleMATHGoogle Scholar
- Nanjaras B, Panyanak B:Demiclosed principle for asymptotically nonexpansive mappings in spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 268780 10.1155/2010/268780Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.