Research Article | Open Access

Kifayat Ullah, Junaid Ahmad, Manuel De La Sen, Muhammad Naveed Khan, "Approximating Fixed Points of Reich–Suzuki Type Nonexpansive Mappings in Hyperbolic Spaces", *Journal of Mathematics*, vol. 2020, Article ID 2169652, 6 pages, 2020. https://doi.org/10.1155/2020/2169652

# Approximating Fixed Points of Reich–Suzuki Type Nonexpansive Mappings in Hyperbolic Spaces

**Academic Editor:**Ali Jaballah

#### Abstract

In this work, we prove some strong and Δ convergence results for Reich-Suzuki type nonexpansive mappings through *M* iterative process. A uniformly convex hyperbolic metric space is used as underlying setting for our approach. We also provide an illustrate numerical example. Our results improve and extend some recently announced results of the metric fixed-point theory.

#### 1. Introduction

A self-map on a subset of a metric space is called contraction if there exists some constant such that for all it follows that . If for all , then is called nonexpansive. A point is called a fixed point of whenever . Banach [1] theorem (1922) states that any contraction map on a complete metric space has a unique fixed point which is the limit of the sequence generated by the Picard iterates, that is, . In 1965, Kirk [2], Browder [3], and Göhde [4] independently proved that any self nonexpansive mapping defined on a bounded closed convex subset of a uniformly convex Banach space always has a fixed point. Now, a natural question which comes in mind is that whether the sequence of Picard iterates converges to a fixed point of a self nonexpansive mapping. The answer of this question in general is negative. Therefore, there is a need to construct some new procedures to overcome such situations and to obtain a better rate of convergence, for example, Mann [5], Ishikawa [6], Noor [7], S [8], Abbas and Nazir [9], and Thakur et al. [10] iterative processes are often used to approximate fixed points of nonexpansive mappings. In 2008, Suzuki [11] introduced a weaker notion of nonexpansive mappings: a self-map on a subset of a metric space is said to be Suzuki type nonexpansive if for every two elements in , holds whenever . It is easy to observe that the class of Suzuki type nonexpansive mappings properly includes the class of nonexpansive mappings.

The class of Suzuki type nonexpansive mappings was studied extensively by many authors (cf. [10, 12–21]). Very recently, Pant and Pandey [22] introduced Reich–Suzuki type nonexpansive mappings which in turn include the class of Suzuki type nonexpansive mappings.

*Definition 1. *(see [22]). Let be a nonempty subset of a metric space. A map is said to be Reich–Suzuki type nonexpansive if for all , there is some constant such thatApproximation of fixed points of nonexpansive and generalized nonexpansive mappings is an active area of research on its own [23–27]. Recently, Pant and Pandey [22] used Thakur et al. [10] iterative process to approximate fixed points of Reich–Suzuki type nonexpansive mappings. The purpose of this paper is to prove strong and convergence results for Reich–Suzuki type nonexpansive mappings under *M* iterative process [12], which is known to converge faster than the Thakur et al. [10] iterative process. In this way, we improve and extend to many results of the current literature.

Kohlenbach [28] suggested the concept of generalized metric spaces and so-called hyperbolic metric spaces. This type of metric spaces includes normed spaces, the Hilbert ball with the hyperbolic metric, Cartesian products of Hilbert balls, metric trees, Hadamard manifolds, and CAT (0) spaces in the sense of Gromov. The definition is given as follows:

A triplet is called a hyperbolic metric space whenever is a metric space and is a function such that for all and , the following conditions hold.()()()()The set is known as metric segment with endpoints *a* and *b*. Throughout, we will write . A subset of is called convex provided that , for every and . When there is no ambiguity, we will write for .

*Definition 2. *Let be a hyperbolic metric space. For any and . SetWe say that is uniformly convex whenever , for every and .

*Definition 3. *(see [29, 30]). A hyperbolic metric space is said to be strictly convex provided that for every and such that follows the condition . By [30], every uniformly convex hyperbolic metric space is strictly convex.

Recently, Ullah and Arshad [12] introduced -iteration process in Banach spaces. The hyperbolic space version of iteration process reads as follows:where is a sequence in . Ullah and Arshad [12] proved some weak and strong convergence results of iterative process for Suzuki type nonexpansive mappings in the context of Banach spaces. Ullah et al. [31] extended the results of Ullah and Arshad [12] to the setting of CAT (0) spaces. In this paper, we study *M* iteration process for Reich–Suzuki type nonexpansive mappings in the setting of hyperbolic spaces.

#### 2. Preliminaries

Let be a nonempty subset of hyperbolic metric space and be a bounded sequence in *X*. For each , define(i)Asymptotic radius of at *a* as(ii)Asymptotic radius of relative to *B* as(iii)Asymptotic center of relative to by

We know that in a complete hyperbolic space with monotone modulus of uniform convexity, every bounded sequence has a unique asymptotic center with respect to every nonempty closed convex subset of .

*Definition 4. *(see [32]). Assume that is a bounded sequence in a hyperbolic space . Then, is said to be -convergent to a point , if *s* is a unique asymptotic center of each subsequence of .

The following lemma gives many numbers of Reich‐Suzuki type nonexpansive mappings.

Lemma 1 (see [22]). *Let be a nonempty subset of a hyperbolic space and . If is Suzuki nonexpansive, then is Reich–Suzuki type nonexpansive with constant .**Fixed-point set structure of Reich–Suzuki type maps is as follows.*

Lemma 2 (see [22]). *Let be a nonempty subset of a hyperbolic space and . If is Reich–Suzuki type nonexpansive, then is closed. Furthermore, if the space is strictly convex and the set is convex, then is also convex.*

Lemma 3 (see [22]). *Let be a nonempty subset of a hyperbolic metric space and is a Reich–Suzuki type nonexpansive. Then, for every and , it implies that .*

Lemma 4 (see [22]). *Let be a nonempty subset of a hyperbolic metric space and is a Reich–Suzuki type nonexpansive. Then, for all , it follows that*

Lemma 5 (see [33]). *Let be a complete hyperbolic space with a monotone modulus of uniform convexity and . If and , are sequences in such that , , and for some , then .*

#### 3. Convergence Results in Hyperbolic Spaces

Throughout this section, the letter will stand for a hyperbolic space with a monotone modulus of uniform convexity.

Lemma 6. *Let be a nonempty closed convex subset of . Let be a Reich–Suzuki type nonexpansive map with . Let be the sequence generated by (3). Then, exists for .*

*Proof. *Let . By Lemma 3, we haveHence, the sequence is bounded below and decreasing. Thus, exists for .

The following theorem will be used in the upcoming results.

Theorem 1. *Let be a nonempty closed convex subset of and let be a Reich–Suzuki type nonexpansive map. Let be the sequence defined by (3). Then, if and only if is bounded and .*

*Proof. *We assume that is bounded and . Let . We shall prove that . By Lemma 4, we haveHence, and is singleton set. We must have . Hence, .

Conversely, we assume that and . We shall prove that is bounded and . By Lemma 6, exists and is bounded. PutFrom the proof of Lemma 6, it follows thatBy Lemma 3, we haveAgain from the proof of Lemma 6, it follows thatFrom (12) and (15), we getFrom (16), we haveNow from (10), (13), and (17) together with Lemma 5, we obtainThe convergence result is as follows.

Theorem 2. *Let be a nonempty closed convex subset of . If is a Reich–Suzuki type nonexpansive mapping with , then is defined by (3). converges to an element of .*

*Proof. *By Theorem 1, the sequence is bounded. Hence, one can find a -convergent subsequence of . Next, it is our aim to prove that each -convergent subsequence of has a unique limit in the set . For this purpose, we assume that has two -convergent subsequences, namely, and , with limits and , respectively. In view of Theorem 1, the sequence is bounded and . We claim that . Now,Using Lemma 4, we haveSince the asymptotic center of has a unique element, . Similarly, . By the uniqueness of asymptotic center of a sequence, we havewhich is a contradiction. Hence, the conclusions are reached.

Now, we establish a strong convergence theorem for Reich–Suzuki type nonexpansive maps using iteration process (3).

Theorem 3. *Let be a nonempty compact convex subset of and be a Reich–Suzuki type nonexpansive map with . If is generated by (3), then converges strongly to the fixed point of .*

*Proof. *By Theorem 1, . By the compactness assumption, there exists a subsequence of such that converges strongly to some in . By Lemma 4, we haveBy the uniqueness of limits in metric spaces, we must have . By Lemma 6, exists, and hence is the strong limit of .

*Example 1. *Let be a subset of endowed with the usual metric, that is, . Define byHere, first we shall show that the mapping is not Suzuki type nonexpansive. To do this, we choose and . The straightforward calculations giveNext, we shall show that the mapping is Reich–Suzuki type nonexpansive. To do this, we choose . We consider different situations as given below.

*Case 1. *For , we have

*Case 2. *For , we have

*Case 3. *For and , we have

*Case 4. *For and , we have

*Case 5. *For and , we haveThus, is Reich–Suzuki type nonexpansive mapping with . Set . Hence, the requirements of Theorem 2 are fulfilled. Now, the conclusions of Theorems 2 and 3 are reached. However, we cannot directly apply any result in [9, 10, 14, 16, 17, 19–22, 34] and references cited therein because in this situation, is not Suzuki type nonexpansive mapping.

For the next strong convergence result, compactness assumption is not necessary; however, the following condition will be added.

*Definition 5. *Let be a nonempty subset of . A sequence in is called Fejer monotone with respect to , ifA mapping is said to satisfy condition [35] if one can construct a nondecreasing function with properties and for every such that for each .

The following facts can be found in [34].

Proposition 1. *Let be a nonempty closed subset of . Let be a Fejer monotone sequence with respect to . Then, converges strongly to some point of if and only if .*

Theorem 4. *Let be a nonempty closed convex subset of and be a generalized Reich–Suzuki type nonexpansive map with . If satisfies condition (I), then generated by (3) converges strongly to the fixed point of .*

*Proof. *From Theorem 1, we haveSince the mapping satisfies the condition , it follows thatBy Lemma 2, the set is closed. It follows from Lemma 6 that is Fejer monotone sequence with respect to the set . The conclusions are based on Proposition 1.

#### 4. Conclusions

(1)Our results extend the corresponding results of Ullah and Arshad [12] in two ways: (i) from the class of Suzuki type nonexpansive maps to the class of Reich–Suzuki type nonexpansive maps and (ii) from Banach spaces to the general setting of hyperbolic spaces.(2)Our results extend the corresponding results of Ullah et al. [31] in two ways: (i) from the class of Suzuki type nonexpansive maps to the class of Reich–Suzuki type nonexpansive maps and (ii) from CAT (0) spaces to the general setting of hyperbolic spaces.(3)Our results also extend and improve the corresponding results proved in [9, 10, 14, 16, 17, 19–22, 34] and references cited therein.

#### Data Availability

No data were used to support this study.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Authors’ Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

#### Acknowledgments

The authors are grateful to the Spanish Government for Grant RTI2018-094336-B-I00 (MCIU/AEI/FEDER, UE) and to the Basque Government for Grant IT1207-19.

#### References

- S. Banach, “Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales,”
*Fundamenta Mathematicae*, vol. 3, pp. 133–181, 1922. View at: Publisher Site | Google Scholar - W. A. Kirk, “A fixed point theorem for mappings which do not increase distances,”
*The American Mathematical Monthly*, vol. 72, no. 9, pp. 1004–1006, 1965. View at: Publisher Site | Google Scholar - F. E. Browder, “Nonexpansive nonlinear operators in a Banach space,”
*Proceedings of the National Academy of Sciences*, vol. 54, no. 4, pp. 1041–1044, 1965. View at: Publisher Site | Google Scholar - D. Göhde, “Zum prinzip der kontraktiven abbildung,”
*Mathematische Nachrichten*, vol. 30, no. 3-4, pp. 251–258, 1965. View at: Publisher Site | Google Scholar - W. R. Mann, “Mean value methods in iteration,”
*Proceedings of the American Mathematical Society*, vol. 4, no. 3, pp. 506–510, 1953. View at: Publisher Site | Google Scholar - S. Ishikawa, “Fixed points by a new iteration method,”
*Proceedings of the American Mathematical Society*, vol. 44, no. 1, p. 147, 1974. View at: Publisher Site | Google Scholar - M. A. Noor, “New approximation schemes for general variational inequalities,”
*Journal of Mathematical Analysis and Applications*, vol. 251, no. 1, pp. 217–229, 2000. View at: Publisher Site | Google Scholar - R. P. Agarwal, D. O’Regon, and D. R. Sahu, “Iterative construction of fixed points of nearly asymtotically nonexpansive mappings,”
*Journal of Nonlinear and Convex Analysis*, vol. 8, pp. 61–79, 2007. View at: Google Scholar - M. Abbas and T. Nazir, “A new faster iteration process applied to constrained minimization and feasibility problems,”
*Matematicki Vesnik*, vol. 66, no. 2, pp. 223–234, 2014. View at: Google Scholar - B. S. Thakur, D. Thakur, and M. Postolache, “A new iterative scheme for numerical reckoning fixed points of Suzuki’s generalized nonexpansive mappings,”
*Applied Mathematics and Computation*, vol. 275, pp. 147–155, 2016. View at: Publisher Site | Google Scholar - T. Suzuki, “Fixed point theorems and convergence theorems for some generalized nonexpansive mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 340, no. 2, pp. 1088–1095, 2008. View at: Publisher Site | Google Scholar - K. Ullah and M. Arshad, “Numerical reckoning fixed points for Suzuki’s generalized nonexpansive mappings via new iteration process,”
*Filomat*, vol. 32, no. 1, pp. 187–196, 2018. View at: Publisher Site | Google Scholar - S. Dhomphongsa, W. Inthakon, and A. Kaewkhao, “Edelstein’s method and fixed point theorems for some generalized nonexpansive mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 350, no. 1, pp. 12–17, 2009. View at: Publisher Site | Google Scholar - W. Phuengrattana, “Approximating fixed points of Suzuki-generalized nonexpansive mappings,”
*Nonlinear Analysis: Hybrid Systems*, vol. 5, no. 3, pp. 583–590, 2011. View at: Publisher Site | Google Scholar - A. Abkar and M. Eslamian, “A fixed point theorem for generalized nonexpansive multivalued mappings,”
*Fixed Point Theory*, vol. 12, no. 2, pp. 241–246, 2011. View at: Google Scholar - M. Basarir and A. Sahin, “On the strong and Δ-convergence of S-iteration process for generalized nonexpansive mappings on CAT (0) spaces,”
*Thai Journal of Mathematics*, vol. 12, no. 3, pp. 549–559, 2014. View at: Google Scholar - B. Nanjaras, B. Panyanak, and W. Phuengrattana, “Fixed point theorems and convergence theorems for Suzuki-generalized nonexpansive mappings in CAT (0) spaces,”
*Nonlinear Analysis: Hybrid Systems*, vol. 4, no. 1, pp. 25–31, 2010. View at: Publisher Site | Google Scholar - K. Ullah and M. Arshad, “New iteration process and numerical reckoning fixed point in Banach spaces,”
*U.P.B. Scientific Bulletin (Series A).*, vol. 79, no. 4, pp. 113–122, 2017. View at: Google Scholar - I. Uddin and M. Imdad, “On certain convergence of S-iteration scheme in CAT (0) spaces,”
*Kuwait Journal of Science*, vol. 42, no. 2, pp. 93–106, 2015. View at: Google Scholar - I. Uddin and M. Imdad, “Convergence of SP-iteration for generalized nonexpansive mapping in Hadamard spaces,”
*Hacettepe Journal of Mathematics and Statistics*, vol. 48, no. 2, pp. 1595–1604, 2018. View at: Publisher Site | Google Scholar - I. Uddin and M. Imdad, “Some convergence theorems for a hybrid pair of generalized nonexpansive mappings in CAT (0) spaces,”
*Journal of Nonlinear and Convex Analysis*, vol. 16, no. 3, pp. 447–457, 2015. View at: Google Scholar - R. Pant and R. Pandey, “Existence and convergence results for a class of nonexpansive type mappings in hyperbolic spaces,”
*Applied General Topology*, vol. 20, no. 1, pp. 281–295, 2019. View at: Publisher Site | Google Scholar - T. Abdeljawad, K. Ullah, and J. Ahmad, “Iterative algorithm for mappings satisfying (B
_{γ,}_{μ}) condition,”*Journal of Function Spaces*, vol. 2020, Article ID 3492549, 7 pages, 2020. View at: Publisher Site | Google Scholar - T. Abdeljawad, K. Ullah, J. Ahmad, and N. Mlaiki, “Iterative approximation of endpoints for multivalued mappings in Banach spaces,”
*Journal of Function Spaces*, vol. 2020, Article ID 2179059, 5 pages, 2020. View at: Publisher Site | Google Scholar - G. A. Okeke, “Iterative approximation of fixed points of contraction mappings in complex valued Banach spaces,”
*Arab Journal of Mathematical Sciences*, vol. 25, no. 1, pp. 83–105, 2018. View at: Publisher Site | Google Scholar - K. Ullah, F. Ayaz, and J. Ahmad, “Some convergence results of M iterative process in Banach spaces,”
*Asian-European Journal of Mathematics*, vol. 2019, Article ID 2150017, 2019. View at: Publisher Site | Google Scholar - K. Ullah, M. S. U. Khan, N. Muhammad, and J. Ahmad, “Approximation of endpoints for multivalued nonexpansive mappings in geodesic spaces,”
*Asian-European Journal of Mathematics*, vol. 2019, Article ID 2050141, 2019. View at: Publisher Site | Google Scholar - U. Kohlenbach, “Some logical metatheorems with applications in functional analysis,”
*Transactions of the American Mathematical Society*, vol. 357, no. 1, pp. 89–129, 2005. View at: Publisher Site | Google Scholar - W. Takahashi, “A convexity in metric space and nonexpansive mappings. I,”
*Kodai Mathematical Seminar Reports*, vol. 22, no. 2, pp. 142–149, 1970. View at: Publisher Site | Google Scholar - H. Fukhar-ud-din and M. A. Khamsi, “Approximating common fixed points in hyperbolic spaces,”
*Fixed Point Theory and Applications*, vol. 2014, Article ID 113, 2014. View at: Publisher Site | Google Scholar - K. Ullah, H. N. Khan, and M. Arshad, “Numerical reckoning fixed points in CAT (0) spaces,”
*Sahand Communications in Mathematical Analysis (SCMA)*, vol. 12, no. 1, pp. 97–111, 2018. View at: Google Scholar - W. A. Kirk and B. Panyanak, “A concept of convergence in geodesic spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 68, no. 12, pp. 3689–3696, 2008. View at: Publisher Site | Google Scholar - A. R. Khan, H. Fukhar-ud-din, and M. A. Ahmad Khan, “An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces,”
*Fixed Point Theory and Applications*, vol. 2012, no. 1, p. 54, 2012. View at: Publisher Site | Google Scholar - P. Chuadchawna, A. Farajzadeh, and A. Kaewcharoen, “Convergence theorems and approximating endpoints for multivalued Suzuki mappings in hyperbolic spaces,”
*Journal of Computational Analysis and Applications*, vol. 28, pp. 903–916, 2020. View at: Google Scholar - H. F. Senter and W. G. Dotson, “Approximating fixed points of nonexpansive mappings,”
*Proceedings of the American Mathematical Society*, vol. 44, no. 2, p. 375, 1974. View at: Publisher Site | Google Scholar

#### Copyright

Copyright © 2020 Kifayat Ullah 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.