About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 581267, 9 pages
http://dx.doi.org/10.1155/2014/581267
Research Article

New Results and Generalizations for Approximate Fixed Point Property and Their Applications

1Department of Mathematics, National Kaohsiung Normal University, Kaohsiung 824, Taiwan
2Department of Mathematics, Arak Branch, Islamic Azad University, Arak, Iran
3School of Mathematics, Institute for Studies in Theoretical Physics and Mathematics (IPM), P.O. Box 19395-5746, Tehran, Iran

Received 1 December 2013; Accepted 3 January 2014; Published 4 March 2014

Academic Editor: Erdal Karapınar

Copyright © 2014 Wei-Shih Du and Farshid Khojasteh. 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

We first introduce the concept of manageable functions and then prove some new existence theorems related to approximate fixed point property for manageable functions and -admissible multivalued maps. As applications of our results, some new fixed point theorems which generalize and improve Du's fixed point theorem, Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem, and Nadler's fixed point theorem and some well-known results in the literature are given.

1. Introduction and Preliminaries

In 1922, Banach established the most famous fundamental fixed point theorem (so-called the Banach contraction principle [1]) which has played an important role in various fields of applied mathematical analysis. It is known that the Banach contraction principle has been extended and generalized in many various different directions by several authors; see [240] and references therein. An interesting direction of research is the extension of the Banach contraction principle to multivalued maps, known as Nadler’s fixed point theorem [2], Mizoguchi-Takahashi’s fixed point theorem [3], and Berinde-Berinde’s fixed point theorem [5] and references therein.

Let us recall some basic notations, definitions, and well-known results needed in this paper. Throughout this paper, we denote by and the sets of positive integers and real numbers, respectively. Let be a metric space. For each and , let . Denote by the class of all nonempty subsets of , the family of all nonempty closed subsets of , and the family of all nonempty closed and bounded subsets of . A function defined by is said to be the Hausdorff metric on induced by the metric on . A point in is a fixed point of a map , if (when is a single-valued map) or (when is a multivalued map). The set of fixed points of is denoted by . The map is said to have the approximate fixed point property [2934] on provided . It is obvious that implies that has the approximate fixed point property, but the converse is not always true.

Definition 1 (see [6, 13]). A function is said to be an -function (or -function) if for all .

It is evident that if is a nondecreasing function or a nonincreasing function, then is a -function. So the set of -functions is a rich class.

Recently, Du [6] first proved the following characterizations of -functions which are quite useful for proving our main results.

Theorem 2 (see [6]). Let be a function. Then the following statements are equivalent.(a)is an -function.(b)For each , there exist and such that for all .(c)For each , there exist and such that for all .(d)For each , there exist and such that for all .(e)For each , there exist and such that for all .(f)For any nonincreasing sequence in , one has .(g) is a function of contractive factor [15]; that is, for any strictly decreasing sequence in , one has .

In 1989, Mizoguchi and Takahashi [3] proved a famous generalization of Nadler’s fixed point theorem which gives a partial answer of Problem 9 in Reich [4].

Theorem 3 (Mizoguchi and Takahashi [3]). Let be a complete metric space, let be an -function, and let be a multivalued map. Assume that for all . Then .

In 2007, M. Berinde and V. Berinde [5] proved the following interesting fixed point theorem which generalized and extended Mizoguchi-Takahashi’s fixed point theorem.

Theorem 4 (M. Berinde and V. Berinde [5]). Let be a complete metric space, let be an -function, let be a multivalued map, and . Assume that for all . Then .

In 2012, Du [6] established the following fixed point theorem which is an extension of Berinde-Berinde’s fixed point theorem and hence Mizoguchi-Takahashi’s fixed point theorem.

Theorem 5 (Du [6]). Let be a complete metric space, let be a multivalued map, let be a -function, and let be a function. Assume that Then has a fixed point in .

The paper is organized as follows. In Section 2, we first introduce the concept of manageable function and give some examples of it. Section 3 is dedicated to the study of some new existence theorems related to approximate fixed point property for manageable functions and -admissible multivalued maps. As applications of our results, some new fixed point theorems which generalize and improve Du’s fixed point theorem, Berinde-Berinde’s fixed point theorem, Mizoguchi-Takahashi’s fixed point theorem, and Nadler’s fixed point theorem and some well-known results in the literature are given in Section 4. Consequently, some of our results in this paper are original in the literature, and we obtain many results in the literature as special cases.

2. Manageable Functions

In this paper, we first introduce the concept of manageable functions.

Definition 6. A function is called manageable if the following conditions hold: for all ;for any bounded sequence and any nonincreasing sequence , it holds that
We denote the set of all manageable functions by .

Here, we give simple examples of manageable function.

Example A. Let . Then defined by is a manageable function.

Example B. Let be any function. Then the function defined by is a manageable function. Indeed, let Then for all , and For any , we have so holds. Let be a bounded sequence and let be a nonincreasing sequence. Then for some . Since is continuous, we get which means that holds. Hence, .

Example C. Let be any function and let be an -function. Define by Then is a manageable function. Indeed, one can verify easily that holds. Next, we verify that satisfies . Let be a bounded sequence and let be a nonincreasing sequence. Then for some . Since is an -function, by Theorem 2, there exist and such that for all . Since , there exists , such that Hence, we have which means that holds. So we prove .

The following result is quite obvious.

Proposition 7. Let be a function. If there exists such that for all , then .

Proposition 8. Let . Then the following statements hold.(a)For each, the function  , defined byis a manageable function  .(b)For each, the function  , defined byis a manageable function  .

Proof. Since for all , the conclusion (a) is a direct consequence of Proposition 7. Next, we prove the conclusion (b). Let be given. It is obvious that for all . Let be a bounded sequence and let be a nonincreasing sequence. For any , we have Because each satisfies , we get Hence, for each , the function is a manageable function.

3. New Existence Results for Manageable Functions and Approximate Fixed Point Property

Recall that a multivalued map is called(1)a Nadler’s type contraction (or a multivalued -contraction [3, 33]), if there exists a number such that (2)a Mizoguchi-Takahashi’s type contraction [33], if there exists an -function such that (3)a multivalued -almost contraction [28, 29, 33], if there exist two constants and such that (4)a Berinde-Berinde’s type contraction [33] (or a generalized multivalued almost contraction [28, 29, 33]), if there exists an -function and such that (5)a Du’s strong type contraction, if there exist an -function and a function such that (6)a Du’s weak type contraction, if there exist an -function and a function such that

Definition 9 (see [3639]). Let be a metric space and let be a multivalued map. One says that is -admissible, if there exists a function such that for each and with , one has for all .

The following existence theorem is one of the main results of this paper.

Theorem 10. Let be a metric space, let be an -admissible multivalued map, and . Let If  for all and there exist and such that , then the following statements hold.(a)There exists a Cauchy sequence in such that(i) for all ,(ii) for all ,(iii).(b); that is, has the approximate fixed point property on .

Proof. By our assumption, there exist and such that . If , then and which implies . Let for all . Then is a Cauchy sequence in and Clearly, for all . Hence, the conclusions (a) and (b) hold in this case. Assume or . If , then, following a similar argument as above, we can prove the conclusions (a) and (b) by taking a Cauchy sequence with and for all . Suppose . Thus . Define by By , we know that Since and for all , we have Clearly, . So, by (29), we obtain Let Taking into account , , and the last inequality, we get . Since there exists such that and If , then the proof can be finished by a similar argument as above. Otherwise, we have . Since is -admissible, we obtain . By taking then there exists with such that By induction, if is known satisfying , , , , and then, by taking one can obtain with such that Hence, by induction, we can establish sequences in satisfying, for each , By (30), we have Hence, for each , by combining (40) and (41), we get which means that the sequence is strictly decreasing in . So By (41), we have which means that is a bounded sequence. By , we have Now, we claim . Suppose . Then, by (45) and taking lim sup in (42), we get a contradiction. Hence we prove To complete the proof of (a), it suffices to show that is a Cauchy sequence in . For each , let Then for all . By (42), we obtain From (45), we have , so there exist and , such that For any , since for all and , taking into account (49) and (50) concludes that Put , . For with , we have from the last inequality that Since , . Hence So is a Cauchy sequence in . Let for all . Then is the desired Cauchy sequence in (a).
To see (b), since for each , we have Combining (47) and (54) yields The proof is completed.

Applying Theorem 10, we can establish the following new existence theorem related to approximate fixed point property for -admissible multivalued maps.

Theorem 11. Let be a metric space and let be an -admissible multivalued map. Suppose that there exists an -function such that If there exist and such that , then the following statements hold.(a)There exists such that for all , where (b)There exists a Cauchy sequence in such that(i) for all ,(ii) for all ,(iii).(c); that is, has the approximate fixed point property on .

Proof. Define by By Example C, we know . By (56), we obtain for all . Therefore (a) is proved. It is obvious that the desired conclusions (b) and (c) follow from Theorem 10 immediately.

The following interesting results are immediate from Theorem 11.

Corollary 12. Let be a metric space and let be an -admissible multivalued map. Assume that one of the following conditions holds.(L1)There exist an -function and a function such that (L2)there exist an -function and such that (L3)there exist two constants and such that (L4)there exists an -function such that (L5)there exists a number such that
If there exist and such that , then the following statements hold.(a)There exists such that for all , where (b)There exists a Cauchy sequence in such that(i) for all ,(ii) for all ,(iii).(c); that is, has the approximate fixed point property on .

Proof. It suffices to verify the conclusion under (L1). Note first that, for each , for all . So, for each , by (L1), we obtain which means (56) holds. Therefore, the conclusion follows from Theorem 11.

In Corollary 12, if we take by for all , then we obtain the following existence theorem.

Corollary 13. Let be a metric space and let be a multivalued map. Assume that one of the following conditions holds.(1) is a Du’s weak type contraction;(2) is a Du’s strong type contraction;(3) is a Berinde-Berinde’s type contraction;(4) is a multivalued -almost contraction;(5) is a Mizoguchi-Takahashi’s type contraction;(6) is a Nadler’s type contraction.
Then the following statements hold.(a)There exists such that for all , where (b)There exists a Cauchy sequence in such that(i) for all ,(ii).(c); that is, has the approximate fixed point property on .

4. Some Applications to Fixed Point Theory

Definition 14 (see [3639]). Let be a metric space and let be a function. is said to have the property if any sequence in with for all and , we have for all .

Theorem 15. Let be a complete metric space and let be an -admissible multivalued map. Suppose that there exists an -function such that If there exist and such that , and one of the following conditions is satisfied:(H1) is -continuous (i.e., implies as );(H2) is closed (i.e., ; the graph of is a closed subset of );(H3)the map defined by is l.s.c.;(H4)for any sequence in with , , , and , one has , then admits a fixed point in .

Proof. Applying Theorem 11, there exists a Cauchy sequence in such that By the completeness of , there exists such that as .
Now, we verify . If (H1) holds, since is -continuous on , for each , and as , we get which implies . By the closeness of , we have . If (H2) holds, since is closed, for each , and as , we have . Suppose that (H3) holds. Since is convergent in , we have Since we obtain , and hence . Finally, assume (H4) holds. Then we obtain Hence . Therefore, in any case, we prove . This completes the proof.

Theorem 16. Let be a complete metric space and let be an -admissible multivalued map. Suppose that there exist an -function and a function such that If there exist and such that , and one of the following conditions is satisfied:(S1) is -continuous;(S2) is closed;(S3)the map defined by is l.s.c.;(S4)the function has the property , then admits a fixed point in .

Proof. It is obvious that (73) implies (67). If one of the conditions (S1), (S2), and (S3) is satisfied, then the desired conclusion follows from Theorem 15 immediately. Suppose that (S4) holds. We claim that (H4) as in Theorem 15 is satisfied. Let be in with , , , and . Since has the property , for all . So, it follows from (73) that which implies . Hence (H4) holds. By Theorem 15, we also prove . The proof is completed.

Applying Theorem 16, we can give a short proof of Du’s fixed point theorem.

Corollary 17 (Du [[6]). Let be a complete metric space, let be a multivalued map, let be a -function, let and be a function. Assume that Then .

Proof. Take by for all . Then (75) implies (73). Moreover, is an -admissible multivalued map and the function has the property . Therefore the conclusion follows from Theorem 16.

Remark 18. Theorems 15 and 16 and Corollary 17 all generalize and improve Berinde-Berinde’s fixed point theorem, Mizoguchi-Takahashi’s fixed point theorem, Nadler’s fixed point theorem, and Banach contraction principle.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The first author was supported by grant no. NSC 102-2115-M-017-001 of the National Science Council of the Republic of China. The second author would like to express his sincere thanks to the Arak branch of Islamic Azad University for supporting this work.

References

  1. S. Banach, “Sur les opérations dans les ensembles abstraits et leurs applications aux équations integrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922.
  2. S. B. Nadler Jr., “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969.
  3. N. Mizoguchi and W. Takahashi, “Fixed point theorems for multivalued mappings on complete metric spaces,” Journal of Mathematical Analysis and Applications, vol. 141, no. 1, pp. 177–188, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. S. Reich, “Some problems and results in fixed point theory,” Contemporary Mathematics, vol. 21, pp. 179–187, 1983.
  5. M. Berinde and V. Berinde, “On a general class of multi-valued weakly Picard mappings,” Journal of Mathematical Analysis and Applications, vol. 326, no. 2, pp. 772–782, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. W.-S. Du, “On coincidence point and fixed point theorems for nonlinear multivalued maps,” Topology and its Applications, vol. 159, no. 1, pp. 49–56, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. W. Takahashi, Nonlinear Functional Analysis, Yokohama Publishers, Yokohama, Japan, 2000.
  8. A. Uderzo, “Fixed points for directional multi-valued k(·)-contractions,” Journal of Global Optimization, vol. 31, no. 3, pp. 455–469, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  9. A. Petruşel and A. Sîntămărian, “Single-valued and multi-valued Caristi type operators,” Publicationes Mathematicae Debrecen, vol. 60, no. 1-2, pp. 167–177, 2002. View at Zentralblatt MATH · View at MathSciNet
  10. Y. Feng and S. Liu, “Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings,” Journal of Mathematical Analysis and Applications, vol. 317, no. 1, pp. 103–112, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. L.-G. Huang and X. Zhang, “Cone metric spaces and fixed point theorems of contractive mappings,” Journal of Mathematical Analysis and Applications, vol. 332, no. 2, pp. 1468–1476, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. W.-S. Du, “A note on cone metric fixed point theory and its equivalence,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 5, pp. 2259–2261, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. W.-S. Du, “Some new results and generalizations in metric fixed point theory,” Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 5, pp. 1439–1446, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. W.-S. Du, “Coupled fixed point theorems for nonlinear contractions satisfied Mizoguchi-Takahashi's condition in quasiordered metric spaces,” Fixed Point Theory and Applications, vol. 2010, Article ID 876372, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. W.-S. Du, “Nonlinear contractive conditions for coupled cone fixed point theorems,” Fixed Point Theory and Applications, vol. 2010, Article ID 190606, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. W.-S. Du, “New cone fixed point theorems for nonlinear multivalued maps with their applications,” Applied Mathematics Letters, vol. 24, no. 2, pp. 172–178, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. W.-S. Du and S.-X. Zheng, “Nonlinear conditions for coincidence point and fixed point theorems,” Taiwanese Journal of Mathematics, vol. 16, no. 3, pp. 857–868, 2012. View at Zentralblatt MATH · View at MathSciNet
  18. W.-S. Du, “On Caristi type maps and generalized distances with applications,” Abstract and Applied Analysis, vol. 2013, Article ID 407219, 8 pages, 2013. View at Publisher · View at Google Scholar
  19. W.-S. Du, E. Karapınar, and N. Shahzad, “The study of fixed point theory for various multivalued non-self-maps,” Abstract and Applied Analysis, vol. 2013, Article ID 938724, 9 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  20. I. J. Lin and T. H. Chen, “New existence theorems of coincidence points approach to generalizations of Mizoguchi-Takahashi's fixed point theorem,” Fixed Point Theory and Applications, vol. 2012, article 156, 2012. View at Publisher · View at Google Scholar
  21. F. Khojasteh, S. Shukla, and S. Radenovic, “A new approach to the study of fixed point theory for simulation function,” Filomat. In press.
  22. A. A. Eldred and P. Veeramani, “Existence and convergence of best proximity points,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1001–1006, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. E. Karapinar, “Generalizations of Caristi Kirk's theorem on partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, article 4, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. M. Jleli, E. Karapinar, and B. Samet, “On best proximity points under the P-property on partially ordered metric spaces,” Abstract and Applied Analysis, vol. 2013, Article ID 150970, 6 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  25. E. Karapınar, “On best proximity point of ψ-Geraghty contractions,” Fixed Point Theory and Applications, vol. 2013, article 200, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  26. M. Jleli, E. Karapınar, and B. Samet, “Best proximity points for generalized α-ψ-proximal contractive type mappings,” Journal of Applied Mathematics, vol. 2013, Article ID 534127, 10 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  27. W.-S. Du and H. Lakzian, “Nonlinear conditions for the existence of best proximity points,” Journal of Inequalities and Applications, vol. 2012, article 206, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  28. W. S. Du and E. Karapinar, “A note on Caristi-type cyclic maps: related results and applications,” Fixed Point Theory and Applications, vol. 2013, article 344, 2013.
  29. N. Hussain, A. Amini-Harandi, and Y. J. Cho, “Approximate endpoints for set-valued contractions in metric spaces,” Fixed Point Theory and Applications, vol. 2010, Article ID 614867, 13 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  30. M. A. Khamsi, “On asymptotically nonexpansive mappings in hyperconvex metric spaces,” Proceedings of the American Mathematical Society, vol. 132, no. 2, pp. 365–373, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  31. W.-S. Du, “On approximate coincidence point properties and their applications to fixed point theory,” Journal of Applied Mathematics, vol. 2012, Article ID 302830, 17 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  32. W.-S. Du, Z. He, and Y. L. Chen, “New existence theorems for approximate coincidence point property and approximate fixed point property with applications to metric fixed point theory,” Journal of Nonlinear and Convex Analysis, vol. 13, no. 3, pp. 459–474, 2012.
  33. W.-S. Du, “On generalized weakly directional contractions and approximate fixed point property with applications,” Fixed Point Theory and Applications, vol. 2012, article 6, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  34. W.-S. Du, “New existence results and generalizations for coincidence points and fixed points without global completeness,” Abstract and Applied Analysis, vol. 2013, Article ID 214230, 12 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  35. B. Samet, C. Vetro, and P. Vetro, “Fixed point theorems for α-ψ-contractive type mappings,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 4, pp. 2154–2165, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  36. J. H. Asl, S. Rezapour, and N. Shahzad, “On fixed points of α-ψ-contractive multifunctions,” Fixed Point Theory and Applications, vol. 2012, article 212, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  37. B. Mohammadi, S. Rezapour, and N. Shahzad, “Some results on fixed points of α-ψ-Ciric generalized multifunctions,” Fixed Point Theory and Applications, vol. 2013, article 24, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  38. H. Alikhani, Sh. Rezapour, and N. Shahzad, “Fixed points of a new type of contractive mappings and multifunctions,” Filomat, vol. 27, no. 7, pp. 1319–1315, 2013.
  39. H. Alikhani, V. Rakocevic, Sh. Rezapour, and N. Shahzad, “Fixed points of proximinal valued β-ψ-contractive multifunctions,” Journal of Nonlinear and Convex Analysis. In press.
  40. H. -K. Xu, “Metric fixed point theory for multivalued mappings,” Dissertationes Mathematicae, vol. 389, 39 pages, 2000.