Journal of Function Spaces

Journal of Function Spaces / 2021 / Article
Special Issue

Fixed Point Theory and Applications for Function Spaces

View this Special Issue

Research Article | Open Access

Volume 2021 |Article ID 9913540 | https://doi.org/10.1155/2021/9913540

Sabiya Khatoon, Izhar Uddin, Javid Ali, Reny George, "Common Fixed Points of Two -Nonexpansive Mappings via a Faster Iteration Procedure", Journal of Function Spaces, vol. 2021, Article ID 9913540, 8 pages, 2021. https://doi.org/10.1155/2021/9913540

Common Fixed Points of Two -Nonexpansive Mappings via a Faster Iteration Procedure

Academic Editor: Huseyin Isik
Received05 Mar 2021
Revised23 Mar 2021
Accepted05 Apr 2021
Published21 Apr 2021

Abstract

In this work, we study the convergence of a new faster iteration in which two -nonexpansive mappings are involved in the setting of uniformly convex Banach spaces with a directed graph. Moreover, by constructing a numerical example, we show the fastness of our iteration procedure over other existing iteration procedures in the literature.

1. Introduction

In 1922, Banach originated a great tool for solving the existence problems of nonlinear mappings, which is familiar as Banach’s contraction principle [1]. After it, this principle has been generalized in so many different directions.

Over the last 50 years, many authors introduced and studied various iteration schemes for different classes of contractive and nonexpansive mappings. In 2008, Jachymski [2] introduced the concept of joining fixed point theory and graph theory and established the Banach contraction principle in a complete metric space endowed with a directed graph. In 2012, Aleomraninejad et al. [3] presented some iterative scheme for -contraction and -nonexpansive mappings in a Banach space with a graph. Tiammee et al. [4] familiarized Browder’s convergence theorem for -nonexpansive mappings in a Hilbert space with a directed graph. In 2016, Tripak [5] showed the convergence of a sequence developed by the Ishikawa iteration to some common fixed points of two -nonexpansive mappings in a Banach space combined with a graph. In 2017, Suparatulatorn et al. [6] introduced and studied the modified S-iteration for two -nonexpansive mappings in a uniformly convex Banach space associated with a graph. Recently, Thianwan and Yambangwai [7] introduced a new two-step iteration process involving two -nonexpansive mappings and studied its convergence analysis in a uniformly convex Banach space endowed with a graph. There is vast literature in this direction for more details (see [819] and references therein).

Recently, Ullah et al. [20] introduced a new three-step iteration process known as the K-iteration process and proved its convergence for Suzuki’s generalized nonexpansive mapping.

Inspired by the above work, we proposed a modified iteration process containing two -nonexpansive mappings, by generating the sequence as follows:

Let be a nonempty convex subset of a Banach space , for any random , where and are appropriate real sequences in and are -nonexpansive mappings. Under some certain conditions, we demonstrate the convergence analysis of (1) for approximating common fixed points of two -nonexpansive mappings in a uniformly convex Banach space with graph. We also construct a numerical example, and by using MATLAB R2018a, we clarify that the proposed iteration procedure converges faster than modified Ishikawa iteration, modified S-iteration, and Thianwan’s new iteration (see [57]).

2. Preliminaries

In this part, we gather some familiar concepts and applicable conclusions which will be used often.

Let be a nonempty subset of a Banach space . Let denote the diagonal of the cartesian product , i.e., .

denotes the set of vertices that coincides with in a directed graph , and the set of its edges contains all loops, i.e., . By assuming has no parallel edge to identify the graph with the pair . denotes the conversion of a graph . So we have

A set is said to be dominated by if for each and dominates if for each .

Let be a self map. An edge preserving mapping, i.e., , is said to be -nonexpansive if

A mapping is said to be -demiclosed at , if for any sequence in such that for all and then .

Let us recall that a Banach space is said to satisfy Opial’s property if and then

Lemma 1 [21]. Let be a subset of a metric space . A mapping is semicompact if for a sequence in with there exists a subsequence of such that .

Let be a subset of a normed space and let be a directed graph such that . Then, is said to have property WG (SG) if for each sequence in converging weakly (strongly) to and there is a subsequence of such that for all .

Lemma 2 [6]. Suppose that is the Banach space having Opial’s condition, has property WG, and let be a -nonexpansive mapping. Then, is -demiclosed at 0, i.e., if and , then , where is the set of fixed points of .

Lemma 3 [22]. Let be uniformly convex Banach space and a sequence in for some . Suppose that the sequences and in are such that , , and for some . Then, .

Lemma 4 [23]. Let be the Banach space that satisfies Opial’s condition and let be a sequence in . Let be such that and exist. If and are subsequences of that converges weakly to and , respectively, then .

Lemma 5 [24]. Let be a bounded sequence in a reflexive Banach space . If for any weakly convergent subsequences of , both and converge weakly to the same point in , then the sequence is weakly convergent.

Lemma 6 [7]. Let be a nonempty closed convex subset of a uniformly convex Banach space and suppose that has property WG. Let be a -nonexpansive mapping on . Then, is -demiclosed at 0.

3. Main Results

We initiate this section by proving the following proposition.

Proposition 7. Let and be two self -nonexpansive mappings on with nonempty, where is a nonempty closed convex subset of a uniformly convex Banach space endowed with a directed graph. Let , is convex and the graph is transitive. For random , define the sequence by (1). Let be such that , are in . Then, , , , , , , , , and are in .

Proof. We go ahead by induction. By using the edge preserving property of and assumption , we get . By convexity of , we obtain . Again, by edge preservingness of and , we have . By convexity of and and applying the edge preservingness of again, we have . Again, by using the property of edge preserving of and , we get . Again, by applying edge preserving of , , we get as is convex. Thus, by edge preserving of , . Again, by using convexity of and edge preservingness of , we get . By edge preserving of , we get , and we get . Next, we assume that . By edge preserving of and convexity of , we get and . By applying edge preserving of on , we get . By using convexity of and and edge preserving property of , we have . As is edge preserving, we get . Owing to edge preserving of , we obtain and so , since is convex. By convexity of and and applying the edge preservingness of again, we have . Therefore, for all . Using a similar argument, we can show that under the assumption that . By using transitivity of , we get . This completes the proof.

Lemma 8. Let , , , , , and be the same as in Proposition 7. Suppose that and are real sequences in and for arbitrary and . Then, (i) exists(ii)

Proof. (i)Let . By Proposition 7, we have . As and are -nonexpansive mappings and using the iterative sequence , we haveThis implies that sequence is decreasing and bounded below for all . Hence, exists. (ii)Assume that . If ; then, by -nonexpansiveness of and , we getTherefore, the result follows.
Suppose that .
Taking the lim sup on both sides in the inequality (7) and (8), we obtain On the other hand, using (1), we have This implies that So This implies By taking lim inf both sides, we have From (11) and (17), we get By using (11) and (19) and Lemma 3, we get By taking lim inf both sides, we have By using (12) and (22), we have We also have By taking limit infimum on both sides, we get By using edge preserving property of and , we have By taking limit sup on both sides in (26) and (27), we get By using (28) and (29), we obtain By taking limit sup on both sides in (30), we get By using (25) and (31), we have By (28), (29), and (32) and Lemma 3, we have In addition, By using (20), (33), and (34), we have Therefore, we conclude .

The next proof is for the weak convergence of the sequence generated by (1) in a uniformly convex Banach space with directed graph satisfying Opial’s condition.

Theorem 9. Let , , , , , and be the same as in Proposition 7 with satisfying Opial’s condition and has property WG. Suppose that and are real sequences in and for arbitrary and and then weakly converges to a common fixed point of and .

Proof. Let be such that . From Lemm 8(i), exists, so is bounded. It follows from Lemma 8(ii) that . Since is uniformly convex and is bounded, we may assume that as , without loss of generality. By Lemma 2, we have . Suppose that subsequences and of converges weakly to and , respectively. By Lemma 8(ii), we obtain that and as . Using Lemma 2, we have . By Lemma 8(i), and exist. It follows from Lemma 4 that . Therefore, converges weakly to a common fixed point of and .
Next, we prove weak convergence of the sequence generated by (1) without assuming Opial’s condition in a uniformly convex Banach space with a directed graph.

Theorem 10. Let , , , , , and be the same as in Proposition 7 with having property WG, and are real sequences in , is dominated by , and dominates . Then, weakly converges to a common fixed point of and .

Proof. Let be such that . From Lemma 8(i), exists, so is bounded in . Since is nonempty closed convex subset of a uniformly convex Banach space , it is weakly compact and hence there exists a subsequence of the sequence which converges weakly to some point . By Lemma 8(ii), we obtain that By using (20), (34), and (35), we have In addition, And by using (35) and (37), Using Lemma 6, and are -demiclosed at so that . To complete the proof, it suffices to show that converges weakly to . To this end, we need to show that satisfies the hypothesis of Lemma 5. Let be a subsequence of which converges weakly to some . By similar argument as above . Now, for each , using (1), we have By using (34), we get By using (20), we have We have It follows from (38) By using (41) and (44), we get It follows from (39) and (45), we get Therefore, the sequence satisfies the hypothesis of Lemma 5 which in turn implies that weakly converges to so that .

Next, we recall condition (B) for strong convergence.

Let be a nonempty closed convex subset of a uniformly convex Banach space . The mappings and on are said to satisfy condition (B) [21] if there exists a nondecreasing function with and for all such that for all , where

Theorem 11. Let , , , , , and be the same as in Proposition 7. Suppose that and are real sequences in , satisfy condition (B), is dominated by , and dominates . Then, the sequence converges strongly to a common fixed point of and .

Proof. From Lemma 8(i), exists and so exists for any . Also, from Lemma 8(ii), . Owing to condition (B), We have . As is a nondecreasing function satisfying for all , we obtain that .
Hence, we can find a subsequence of and a sequence such that . Put for some . Then, So is a Cauchy sequence. We assume that as . Since is closed, we get . So we have as . Since exists, we get .

We prove another strong convergence theorem as follows.

Theorem 12. Let , , , , , and be the same as in Proposition 7 with having property SG, and are real sequences in , is dominated by , and dominates . If one of is semicompact, then converges strongly to a common fixed point of and .

Proof. It follows from Lemma 8 that is bounded and . Since one of and is semicompact, then there exist subsequences of such that as . Since has property SG and transitivity of graph , we obtain . Notice that, for each , .
Then, Hence, . Thus, exists by Theorem 11. We note that as . Hence, . It follows, as in the proof of Theorem 11, that converges strongly to a common fixed point of and .

4. Numerical Examples

This section contains a numerical example which supports our main theorem. It is worth mentioning here that this example is motivated by [25].

Example 1. Let and . Let be a directed graph defined by and if and only if or . Define mappings for any .

It is easy to show that are -nonexpansive mappings but are not nonexpansive mappings because when , , , and . Choose , , for all and initial points . In Table 1 and Figure 1, we have shown the convergence rate of the modified Ishikawa iteration, modified S-iteration, Thianwan iteration, and proposed iteration (1).


Iteration no.Modified Ishikawa iterationModified S-iterationThianwan’s new iterationProposed iteration

1.00.50000000000000.50000000000000.50000000000000.5000000000000
3.00.58397294650790.90453032420560.91602902759940.9953507671826
5.00.72287812595090.98311244918430.98753895159210.9999589583885
7.00.84832102538600.99705904027160.99820548549750.9999996090513
9.00.92993363568280.99950590804440.99975199712460.9999999961503
11.00.97202899507660.99992080727300.99996731709790.9999999999616
13.00.99016110176810.99998793438750.99999589698920.9999999999996
15.00.99690243673230.99999825229320.99999950854331.00000000000000

Figure 1 shows the convergence of the modified Ishikawa iteration, modified S-iteration, Thianwan new iteration, and proposed iteration (1) to the common fixed point of and which is 1 in this numerical experiment, and it is clear that the proposed iteration process converges faster than others.

5. Conclusion

The purpose of this paper was to study the convergence of a new faster iteration in which two -nonexpansive mappings were involved in the setting of uniformly convex Banach spaces with a directed graph. Also, we constructed a numerical example to show the fastness of our iteration procedure over other existing iteration procedures in the literature.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no competing interests.

Authors’ Contributions

All authors contributed equally and significantly in writing this paper. All authors have read and agreed to the published version of the manuscript.

Acknowledgments

This research is supported by Deanship of Scientific Research, Prince Sattam bin Abdulaziz University, Al-Kharj, Saudi Arabia.

References

  1. 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
  2. J. Jachymski, “The contraction principle for mappings on a metric space with a graph,” Proceedings of American Mathematical Society, vol. 136, no. 4, pp. 1359–1373, 2008. View at: Publisher Site | Google Scholar
  3. S. M. A. Aleomraninejad, S. Rezapour, and N. Shahzad, “Some fixed point results on a metric space with a graph,” Topology and its Applications, vol. 159, no. 3, pp. 659–663, 2012. View at: Publisher Site | Google Scholar
  4. J. Tiammee, A. Kaewkhao, and S. Suantai, “On Browder’s convergence theorem and Halpern iteration process for -nonexpansive mappings in Hilbert spaces endowed with graphs,” Fixed Point Theory and Applications, vol. 2015, no. 1, Article ID 187, 2015. View at: Publisher Site | Google Scholar
  5. O. Tripak, “Common fixed points of -nonexpansive mappings on Banach spaces with a graph,” Fixed Point Theory and Applications, vol. 2016, no. 1, Article ID 83, 2016. View at: Publisher Site | Google Scholar
  6. R. Suparatulatorn, W. Cholamjiak, and S. Suantai, “A modified S-iteration process for -nonexpansive mappings in Banach spaces with graphs,” Numerical Algorithms, vol. 77, no. 2, pp. 479–490, 2018. View at: Publisher Site | Google Scholar
  7. T. Thianwan and D. Yambangwai, “Convergence analysis for a new two-step iteration process for -nonexpansive mappings with directed graphs,” Journal of Fixed Point Theory and Applications, vol. 21, no. 2, 2019. View at: Publisher Site | Google Scholar
  8. M. R. Alfuraidan, “Fixed points of monotone nonexpansive mappings with a graph,” Fixed Point Theory and Applications, vol. 2015, no. 1, Article ID 49, 2015. View at: Publisher Site | Google Scholar
  9. M. R. Alfuraidan and M. A. Khamsi, “Fixed points of monotone nonexpansive mappings on a hyperbolic metric space with a graph,” Fixed Point Theory and Applications, vol. 2015, no. 1, Article ID 44, 2015. View at: Publisher Site | Google Scholar
  10. F. Ali, J. Ali, and I. Uddin, “A novel approach for the solution of BVPs via Green’s function and fixed point iterative method,” Journal of Applied Mathematics and Computing, 2020. View at: Publisher Site | Google Scholar
  11. J. Ali and F. Ali, “Approximation of common fixed points and the solution of image recovery problem,” Results in Mathematics, vol. 74, no. 4, p. 130, 2019. View at: Publisher Site | Google Scholar
  12. M. F. Bota, L. Guran, and A. Petrusel, “New fixed point theorems on b-metric spaces with applications to coupled fixed point theory,” Journal of Fixed Point Theory and Applications, vol. 22, no. 3, 2020. View at: Publisher Site | Google Scholar
  13. L. Guran and M. F. Bota, “Existence of the solutions of nonlinear fractional differential equations using the fixed point technique in extended b-metric spaces,” Symmetry, vol. 13, no. 2, p. 158, 2021. View at: Publisher Site | Google Scholar
  14. H. Işık and C. Park, “Existence of a common solution to systems of integral equations via fixed point results,” Open Mathematics, vol. 18, no. 1, pp. 249–261, 2020. View at: Publisher Site | Google Scholar
  15. H. Işık, V. Parvaneh, and M. R. Haddadi, “Strong and pure fixed point properties of mappings on normed spaces,” Mathematical Sciences, 2021. View at: Publisher Site | Google Scholar
  16. S. Khatoon, I. Uddin, and D. Baleanu, “Approximation of fixed point and its application to fractional differential equation,” Journal of Applied Mathematics and Computing, 2020. View at: Publisher Site | Google Scholar
  17. S. Khatoon and I. Uddin, “Convergence analysis of modified Abbas iteration process for two -nonexpansive mappings,” Rendiconti del Circolo Matematico di Palermo Series 2, vol. 70, no. 1, pp. 31–44, 2021. View at: Publisher Site | Google Scholar
  18. S. Khatoon, I. Uddin, N. Pakkaranang, and N. Wairojjana, “Common fixed pointd of modified Picard-S iteration process involving two -nonexpansive mappings in CAT (0) space with directed graph,” Thai Journal of Mathematics, vol. 18, no. 1, pp. 1–13, 2020. View at: Google Scholar
  19. L. Liu, “Shrinking projection method for solving zero point and fixed point problems in Banach spaces,” Journal of Nonlinear and Variational Analysis, vol. 4, no. 3, pp. 439–454, 2020. View at: Publisher Site | Google Scholar
  20. K. Ullah, K. Iqbal, and M. Arshad, “Some convergence results using iteration process in spaces,” Fixed Point Theory and Applications, vol. 2018, no. 1, Article ID 11, 2018. View at: Publisher Site | Google Scholar
  21. S. Shahzad and R. al-Dubiban, “Approximating common fixed points of nonexpansive mappings in Banach spaces,” Georgian Mathematical Journal, vol. 13, no. 3, pp. 529–537, 2006. View at: Publisher Site | Google Scholar
  22. 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. View at: Publisher Site | Google Scholar
  23. S. Suantai, “Weak and strong convergence criteria of Noor iterations for asymptotically nonexpansive mappings,” Journal of Mathematical Analysis and Applications, vol. 311, no. 2, pp. 506–517, 2005. View at: Publisher Site | Google Scholar
  24. M. G. Sangago, “Convergence of iterative schemes for nonexpansive mappings,” Asian-European Journal of Mathematics, vol. 4, no. 4, pp. 671–682, 2011. View at: Publisher Site | Google Scholar
  25. N. van Dung and N. Trung Hieu, “Convergence of a new three-step iteration process to common fixed points of three -nonexpansive mappings in Banach spaces with directed graphs,” Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, vol. 114, no. 3, 2020. View at: Publisher Site | Google Scholar

Copyright © 2021 Sabiya Khatoon 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.

Related articles

No related content is available yet for this article.
 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views350
Downloads369
Citations

Related articles

No related content is available yet for this article.

Article of the Year Award: Outstanding research contributions of 2021, as selected by our Chief Editors. Read the winning articles.