Journal of Mathematics
Volume 2020 (2020), Article ID 2169652, 6 pages
https://doi.org/10.1155/2020/2169652

Research Article

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

Kifayat Ullah,¹ Junaid Ahmad,¹ Manuel De La Sen,² and Muhammad Naveed Khan¹

¹Department of Mathematics, University of Science and Technology, Bannu 28100, Khyber Pakhtunkhwa, Pakistan
²Institute of Research and Development of Processes, University of the Basque Country, Campus of Leioa (Bizkaia), P. O. Box 644-Bilbao, Barrio Sarriena, Leioa 48940, Spain

Correspondence should be addressed to Junaid Ahmad; ahmadjunaid436@gmail.com

Received 25 May 2020; Revised 17 June 2020; Accepted 24 June 2020; Published 22 July 2020

Academic Editor: Ali Jaballah

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.

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 that

Approximation 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 . Set

We 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 have

Hence, 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 have

Hence, 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. Put

From the proof of Lemma 6, it follows that

By Lemma 3, we have

Again from the proof of Lemma 6, it follows that

From (12) and (15), we get

From (16), we have

Now from (10), (13), and (17) together with Lemma 5, we obtain

The 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 have

Since the asymptotic center of has a unique element, . Similarly, . By the uniqueness of asymptotic center of a sequence, we have

which 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 have

By 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 by

Here, first we shall show that the mapping is not Suzuki type nonexpansive. To do this, we choose and . The straightforward calculations give

Next, 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 have

Thus, 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 , if

A 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 have

Since the mapping satisfies the condition , it follows that

By 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.

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.

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.

D. Göhde, “Zum prinzip der kontraktiven abbildung,” Mathematische Nachrichten, vol. 30, no. 3-4, pp. 251–258, 1965.

W. R. Mann, “Mean value methods in iteration,” Proceedings of the American Mathematical Society, vol. 4, no. 3, pp. 506–510, 1953.

S. Ishikawa, “Fixed points by a new iteration method,” Proceedings of the American Mathematical Society, vol. 44, no. 1, p. 147, 1974.

M. A. Noor, “New approximation schemes for general variational inequalities,” Journal of Mathematical Analysis and Applications, vol. 251, no. 1, pp. 217–229, 2000.

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.

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.

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.

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.

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.

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.

W. Phuengrattana, “Approximating fixed points of Suzuki-generalized nonexpansive mappings,” Nonlinear Analysis: Hybrid Systems, vol. 5, no. 3, pp. 583–590, 2011.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

U. Kohlenbach, “Some logical metatheorems with applications in functional analysis,” Transactions of the American Mathematical Society, vol. 357, no. 1, pp. 89–129, 2005.

W. Takahashi, “A convexity in metric space and nonexpansive mappings. I,” Kodai Mathematical Seminar Reports, vol. 22, no. 2, pp. 142–149, 1970.

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.

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.

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.

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.

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.

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.