Developments in Geometric Function TheoryView this Special Issue
Research Article | Open Access
Junaid Ahmad, Kifayat Ullah, Muhammad Arshad, Manuel de la Sen, "Approximation of Fixed Points for Mean Nonexpansive Mappings in Banach Spaces", Journal of Function Spaces, vol. 2021, Article ID 1934274, 6 pages, 2021. https://doi.org/10.1155/2021/1934274
Approximation of Fixed Points for Mean Nonexpansive Mappings in Banach Spaces
In this paper, we establish weak and strong convergence theorems for mean nonexpansive maps in Banach spaces under the Picard–Mann hybrid iteration process. We also construct an example of mean nonexpansive mappings and show that it exceeds the class of nonexpansive mappings. To show the numerical accuracy of our main outcome, we show that Picard–Mann hybrid iteration process of this example is more effective than all of the Picard, Mann, and Ishikawa iterative processes.
1. Introduction and Preliminaries
Suppose is a Banach space and . Consider a selfmap . If an element exists such that , then we say that is a fixed point for . In this manuscript, we essentially represent the set by . The selfmap is called contraction  if
The selfmap is called nonexpansive if (1) holds for the value . In 1965, Browder  and Gohde  proved a fixed point theorem for a nonexpansive map under the restriction that is a uniformly convex Banach space (UCBS) and is bounded as well as closed and convex.
In , Zhang provided the following class of mappings.
Definition 1. Let be a subset of a Banach space. A selfmap is called mean nonexpansive if for all there are non-negative real numbers such that , we have
Zhang  provided an existence of fixed point result for mean nonexpansive mappings in Banach space setting under the normal structure assumption. After this, Wu and Zhang  and Zuo  investigated some other elementary properties and fixed point results for these mappings. In , Zhou and Cui used Ishikawa  iteration for approximating fixed points for these maps. The main aim here is to suggest some weak and strong convergence theorems for these mappings under the Picard-Mann hybrid  iteration and to show by a new example of mean nonexpansive maps that it converges better than the Ishikawa  and Mann  iteration processes.
Remark 2. It is easy to observe that each nonexpansive mapping is mean nonexpansive. Once again, in this research, we shall provide a new example to show that the converse is not true in general, that is, the class of mean nonexpansive maps properly includes the class of nonexpansive maps.
In the following example, is mean nonexpansive but not nonexpansive.
Example 3 (see ). Consider and set by
The Banach  celebrated fixed point theorem suggests the existence and uniqueness of a fixed point for a self contraction under the restriction that is complete metric space and is closed. Also this theorem essentially uses the Picard iteration  for finding this unique fixed point. Nevertheless, in the case of nonexpansive maps and hence for generalized nonexpansive maps, the Picard iteration fails to converge in the associated fixed point set. For some more literature on iterative schemes, please cite the work in [12–14]. Assume that is any nonempty subset of a Banach space and .
The Picard  iterative process is stated as:
Mann  iterative process is stated as: where .
Ishikawa  iteration process may be viewed as a two-step Mann iteration, stated as follows: where .
Khan  introduced the Picard–Mann hybrid iteration as follows: where .
Khan  provided the weak and strong convergence of the scheme (7) for the class of nonexpansive operators. Furthermore, he proved that the Picard–Mann hybrid iteration process is more effective than the Picard (4), Mann (5) and Ishikawa (6) iteration processes in the setting of nonexpansive maps. In this paper, we connect this scheme with the class of mean nonexpansive mappings, and in this way, we extend his results in the more general setting of mean nonexpansive mappings.
Now we provide some elementary definitions and results, which will be used in sequel.
Definition 4 . A Banach space is called UCBS if and only if for every choice of , one has a such that for every in , whenever and
Definition 5 . A Banach space is said to satisfy the Opial’s property if any weakly convergent sequence in which admits a weak limit , one has
Definition 6 . Suppose is any subset of a Banach space . A selfmap is said to be endowed with the condition if and only if a function exists sucht that and for all and for each .
The following lemma holds, which suggests many examples of mean nonexpansive mappings.
Lemma 7. If is a selfmap and nonexpansive on a subset of a Banach space. Then is mean nonexpansive.
From the definition of mean nonexpansive maps, we have the following facts.
Lemma 8. If is a selfmap and mean nonexpansive on a subset of a Banach space . Then is closed. Moreover, if is strictly convex and is convex, then is also convex.
Theorem 9 . Let be a subset of a reflexive Banach space (RBS) having Opial property. Let be a mean nonexpansive mapping. If be such that.
(a0) converges weakly to ,
Any UCBS can be characterized by the following way.
Lemma 10 . If is a UCBS and If and are two sequences in such that , and for some and . Then, .
2. Main Results
The following results are the main outcome of this section. Notice that all these results improve and extend some main results of Khan  from the case of nonexpansive maps to case of mean nonexpansive maps.
Lemma 11. Let be a convex closed subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). Consequently exists for each .
Proof. Let . Then using (7), we have This implies that We have showed that . It follows that is nonincreasing and bounded. Thus exists for each .☐
Theorem 12. Let be a convex closed subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). Consequently, is bounded in with the property .
Proof. Since the set is nonempty so we may choose any . By Lemma 11, exists and is bounded. Suppose that By looking in the proof of Lemma 11, one see Now It follows that Again by looking in the proof of Lemma 11, one see It follows that From (12) and (16), we obtain From (17), we have Hence, Now from (11), (14) and (19) together with Lemma 10, we obtain ☐
We now provide a weak convergence theorem under the assumption of the Opial’s condition.
Theorem 13. Let be a convex closed subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). If has the Opial property, then converges weakly to a point of of .
Proof. By Theorem 12, the sequence is bounded and . Since is UCBS, it follows that is RBS. Thus one has a weakly convergent subsequence of exists with some weak limit . By Theorem 9, . Next we show that is weakly convergent to . We may suppose that is not weakly convergent to , that is, one has a weakly convergent subsequence of with a weak limit and . Again applying Theorem 9, . By applying Opial’s condition and keeping Lemma 11 in mind, it follow that Hence we have seen a contradiction. Accordingly, we have . Thus, converges weakly to .☐.
The strong convergence theorem under the assumption of compactness is established as follows.
Theorem 14. Let be a convex compact subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). If is compact, then converges strongly to an element of .
Proof. Since is compact, and . One can choose a strongly convergent subsequence of such that . Now we show that . For this ☐
Consequently, we obtained
The strong convergence theorem without the compactness assumption is established as follows.
Theorem 15. Let be a convex closed subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). Then converges strongly to an element of if and only if .
Proof. The necessity is obvious.
Conversely, suppose that and . From the Lemma 11, exists. Therefore , by assumption. We prove that is a Cauchy sequence in . As , for a given , there exists such that for each , In particular . Therefore there exists such that Now for , This shows that is a Cauchy sequence in . As is closed subset of a Banach space , so there exists a point such that . Now gives that . Since from Lemma 8, we have the set a closed set in . Hence .☐.
The below facts are essentially due to Sentor and Dotson .
Definition 16. Let be a subset of a Banach space . A selfmap is said to be endowed with the condition if and only if a function exists such that and for all and for each .
The strong convergence theorem under the assumption of condition is established as follows.
Theorem 17. Let be a convex closed subset of a UCBS and be a mean nonexpansive mapping and . Assume that is a sequence of Picard–Mann hybrid iterative process (7). If is endowed with condition , then converges strongly to an element of .
Remark 18. In the view of Lemma 7, our results contains the case of nonexpansive mappings.
Now we want to provide a new example of mean nonexpansive maps.
Example 19. Let be defined by if and for . Suppose . Then it is easy to show
Now we may consider the following cases. (i)Suppose that . Then(ii)Suppose that . Then(iii)Suppose that and (iv)Suppose that and
Thus we conclude that is mean nonexpansive. Notice that, when and , then and so is not nonexpansive. Choose and , then the strong convergence and effectiveness of the Picard-Mann hybrid iteration can be seen in Table 1 and Figure 1.
We begun the finding of fixed points for mean nonexpansive operators in Banach spaces under the Picard–Mann hybrid iterative process. Some convergence results are established under different assumptions. It has been showen by an example that the notion of mean nonexpansive maps is properly more general than the notion of nonexpansive maps. Also, the Picard-Mann hybrid iterates of this example converge faster than the Picard, Ishikawa and Mann iterates. In particular, our results essentially improve and extended the results Khan  from the setting of nonexpansive operators to the larger frame work of mean nonexpansive operators.
No data were used to support this study.
Conflicts of Interest
We have no conflict of interest.
Every author listed in this manuscript has contributed equally to each part.
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.
- 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.
- F. E. Browder, “Nonexpansive nonlinear operators in a Banach space,” Proceedings of the National Academy of Sciences of the United States of America, vol. 54, no. 4, pp. 1041–1044, 1965.
- D. Gohde, “Zum Prinzip der Kontraktiven Abbildung,” Mathematische Nachrichten, vol. 30, no. 3-4, pp. 251–258, 1965.
- S. S. Zhang, “About fixed point theory for mean nonexpansive mapping in Banach spaces,” Journal of Sichuan University, vol. 2, pp. 67–78, 1975.
- C. X. Wu and L. J. Zhang, “Fixed points for mean nonexpansive mappings,” Acta Mathematicae Applicatae Sinica, English Series, vol. 23, no. 3, pp. 489–494, 2007.
- Z. Zuo, “Fixed-Point Theorems for Mean Nonexpansive Mappings in Banach Spaces,” Abstract and Applied Analysis, vol. 2014, Article ID 746291, 6 pages, 2014.
- J. Zhou and Y. Cui, “Fixed point theorems for mean nonexpansive mappings in CAT(0) spaces,” Numerical Functional Analysis and Optimization, vol. 36, no. 9, pp. 1224–1238, 2015.
- S. Ishikawa, “Fixed points by a new iteration method,” Proceedings of American Mathematical Society, vol. 44, pp. 147–150, 1974.
- S. H. Khan, “A Picard-Mann hybrid iterative process,” Fixed Point Theory and Applications, vol. 2013, no. 1, 2013.
- W. R. Mann, “Mean value methods in iteration,” Proceedings of American Mathematical Society, vol. 4, no. 3, pp. 506–510, 1953.
- E. M. Picard, “Memorie sur la theorie des equations aux derivees partielles et la methode des approximation ssuccessives,” Journal de Mathématiques pures et appliquées, vol. 6, pp. 145–210, 1890.
- S. Y. Cho, X. Qin, J.-C. Yao, and Y. Yao, “Viscosity approximation splitting methods for monotone and nonexpansive operators in Hilbert spaces,” Journal of Nonlinear and Convex Analysis, vol. 19, pp. 251–264, 2018.
- Y. Yao, L. Leng, M. Postolache, and X. Zheng, “Mann-type iteration method for solving the split common fixed point problem,” Journal of Nonlinear and Convex Analysis, vol. 18, pp. 875–882, 2017.
- Y. Yao, X. Qin, and J.-C. Yao, “Projection methods for firmly type nonexpansive operators,” Journal of Nonlinear and Convex Analysis, vol. 19, pp. 407–415, 2018.
- J. A. Clarkson, “Uniformly convex spaces,” Transactions of the American Mathematical Society, vol. 40, no. 3, pp. 396–414, 1936.
- Z. Opial, “Weak convergence of the sequence of successive approximations for nonexpansive mappings,” Bulletin of the American Mathematical Society, vol. 73, no. 4, pp. 591–598, 1967.
- H. F. Senter and W. G. Dotson, “Approximating fixed points of nonexpansive mappings,” Proceedings of American Mathematical Society, vol. 44, no. 2, pp. 375–380, 1974.
- J. Schu, “Weak and strong convergence to fixed points of asymptotically nonexpansive mappings,” Bulletin of the Australian Mathematical Society, vol. 43, no. 1, pp. 153–159, 1991.
Copyright © 2021 Junaid Ahmad 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.