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

On Caristi Type Maps and Generalized Distances with Applications

Department of Mathematics, National Kaohsiung Normal University, Kaohsiung 824, Taiwan

Received 3 July 2013; Accepted 5 August 2013

Academic Editor: E. Karapinar

Copyright © 2013 Wei-Shih Du. 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 prove some new existence theorems of fixed points for Caristi type maps and some suitable generalized distances without lower semicontinuity assumptions on dominated functions. As applications of our results, some new fixed point theorems and new generalizations of the Banach contraction principle are given.

1. Introduction

In 1972, Caristi proved the following famous fixed point theorem.

Theorem 1 (Caristi [1]). Let be a complete metric space and a lower semicontinuous and bounded below function. Suppose that is a Caristi type map on dominated by ; that is, satisfies Then has a fixed point in .

It is well-known that the Caristi’s fixed point theorem is one of the most valuable generalization of the Banach contraction principle [2], and it is equivalent to the Ekeland’s variational principle, to the Takahashi’s nonconvex minimization theorem, to the Daneš’ drop theorem, to the petal theorem, and to the Oettli-Théra’s theorem; see [326] and references therein for more details. A number of generalizations in various different directions of the Caristi’s fixed point theorem have been investigated by several authors; see, for example, [430] and references therein. An interesting direction of research is the extension of Caristi’s fixed point theorem, Ekeland’s variational principle, and Takahashi’s nonconvex minimization theorem to generalized distances, for example, -distances [5, 10, 14, 19], -distances [11, 12, 22], -functions [13, 15, 18, 2225, 3136], weak -functions [24, 25], -distances [26], -functions [21], generalized pseudodistances [22, 23], and others. For more details on these generalizations, one can refer to [5, 1026] and references therein.

Let us recall how we can exploit Caristi’s fixed point theorem to prove the Banach contraction principle. A selfmap on a metric space is called contractive or Banach type if there exists a real number such that It is obvious that if is a contractive map on , then is continuous on and (2) will deduce the following inequality: The inequality (3) admits that is a Caristi type map on dominated by defined by . From the continuity of , the function is continuous on , and therefore the Caristi’s fixed point theorem is applicable to prove the Banach contraction principle. It is quite obvious that for any map and any generalized distances , the function is not necessarily to be continuous even lower semicontinuous, so such well-known generalized versions of Caristi’s fixed point theorem with lower semicontinuity are not easily applicable to any generalized version of Banach contraction principle for generalized distances. Motivated by the reason, in the recently paper [20], the author established some new versions of Caristi type fixed point theorem such that they can be applicable to prove generalized versions of Banach contraction principle for suitable generalized distances.

This work can be considered as a continuation of the paper [20]. In this paper, we first establish some new fixed point theorems for Caristi type maps and some suitable generalized distances without assuming that the dominated functions possess lower semicontinuity property. As applications of our results, some new fixed point theorems and new generalizations of the Banach contraction principle are given. We have already succeeded in utilizing our new versions of Caristi type fixed point theorem to deal with the existence results for any map satisfying where is a function satisfying for all .

2. Preliminaries

We recall in this section the notations, definitions, and results needed. Let be a metric space. An extended real valued function is said to be lower semicontinuous (l.s.c., for short) at if for any sequence in with as , we have . The function is called to be l.s.c. on if is l.s.c. at every point of . The function is said to be proper if . Let be a selfmap. is said to be closed if , the graph of , is closed in . A point in is a fixed point of if . The set of fixed points of is denoted by . Throughout this paper we denote by and , the set of positive integers and nonnegative real numbers, respectively.

Recall that a function is called a -distance [5, 1020, 31], first introduced and defined by Kada, Suzuki, and Takahashi, if the following are satisfied: for any ; for any , is l.s.c.; for any , there exists such that and imply .

A function is said to be a -function [13, 15, 18, 2225, 3136], first introduced and studied by Lin and Du, if the following conditions hold: for all ; if and in with such that for some , then ; for any sequence in with , if there exists a sequence in such that , then ; for , and imply .

Note that not either of the implications necessarily holds and is nonsymmetric in general. It is well known that the metric is a -distance and any -distance is a -function, but the converse is not true; see [13, 31] for more detail.

Example 2 (see [31, Example  A]). Let with the metric for , and . Define the function by Then is a -function.

The following result is crucial in this paper.

Theorem 3 (see [18, Lemma 2.1]). Let be a metric space and a function. Assume that satisfies the condition . If a sequence in with , then is a Cauchy sequence in .

Recently, the concepts of weak -function and generalized pseudodistance were introduced and studied by Khanh and Quy [24, 25] and Wodarczyk and Plebaniak [22] as follows.

Definition 4. Let be a metric space. A function is called(i)a weak -function [24, 25] on if conditions , , and hold;(ii)a generalized pseudodistance [22] on if conditions and hold.

It is obvious that any -function is a weak -function and every weak -function is a generalized pseudodistance, but the converse parts are not always true. The first observation is that there exists a weak -function which is not a -function.

Example 5 (see [24, Example  2.5]). Let , , and be defined by Then is a weak -function which is neither a -function nor a -distance.

The following example shows that there exists a generalized pseudodistance which is not a weak -function.

Example 6 (see [22, Example  1.3]). Define a function by Then is a generalized pseudodistance but not a weak -function.

Very recently, the author first introduced the following concepts.

Definition 7 (see [20]). Let be a metric space, and let , , and be functions. A single-valued selfmap is called(i)Caristi type on dominated by , , and (abbreviated as -Caristi type on ) if (ii)Caristi type on dominated by and (abbreviated as -Caristi type on ) if (iii)Caristi type on dominated by and (abbreviated as - on ) if (iv)Caristi type on dominated by (abbreviated as -Caristi type on ) if

Clearly, if is -Caristi type (resp. -Caristi type) on , then is -Caristi type (resp. -Caristi type) on with for all . The following example illustrates that their converse are not always true.

Example 8. Let with the usual metric . Then is a complete metric space. Let be defined by for all , . By Example 2, we know that is a -function. Let be defined by , . Define by Then is not lower semicontinuous at . For , let be defined by respectively. For , we have For , we have Hence, for any , we show So, is -Caristi type on as well as -Caristi type on for all . Moreover, we know that is -Caristi type on , but it is neither -Caristi type nor -Caristi type on based on the following fact

Definition 9 (see [3136]). A function is said to be an -function (or -function) if for all .

It is obvious that if is a nondecreasing function or a nonincreasing function, then is an -function. So the set of -functions is a rich class. But it is worth to mention that there exist functions which are not -functions.

Example 10 (see [32]). Let be defined by Since is not an -function.

Recently, Du [32] first proved the following characterizations of -functions.

Theorem 11 (see [32]). 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; that is, for any strictly decreasing sequence in , one has .

3. New Results for Caristi Type Maps and Their Applications

We start with the following useful auxiliary result.

Theorem 12. Let be a metric space, a proper and bounded below function, a nondecreasing function, a function, and a selfmap on . Let with . Define and for each . If satisfies and is -Caristi type on , then Moreover, if we futher assume that satisfies , then is a Cauchy sequence in .

Proof. For , . Since is -Caristi type on , we get which implies Similarly, we have Hence, by induction, we can obtain the following inequalities Since is bounded below, By (25), since is nondecreasing, we have For with , taking into account , (24), (26), and (27), we get Let , . Then for each . Since , we obtain , and hence . Moreover, if satisfies , then the desired conclusion follows from Theorem 3 immediately. The proof is completed.

Applying Theorem 12, we prove a new fixed point theorem for Caristi type maps and generalized pseudodistances. It is worth to mention that in Theorem 13 we pose some suitable assumptions on the map without assuming that the dominated functions possess lower semicontinuity property.

Theorem 13. Let be a complete metric space, a proper and bounded below function, a nondecreasing function, and a generalized pseudodistance on . Suppose that is a -Caristi type selfmap on and one of the following conditions is satisfied:(H1) is continuous; (H2) is closed;(H3) implies for all and the map defined by is l.s.c.;(H4) the map defined by is l.s.c.;(H5) for any sequence in with , and , we have .

Then admits a fixed point in . Moreover, for any with , the sequence converges to a fixed point of .

Proof. Let . Since is proper, . Let . Define and for each . Since is a generalized pseudodistance on , by applying Theorem 12, we know that is a Cauchy sequence in and The last equality implies 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 means . If (H2) holds, since is closed, for each and as , we have . Suppose that (H3) holds. By the lower semicontinuity of , as and (30), we obtain which implies . By the hypothesis in (H3), we get . Suppose that (H4) holds. Since is convergent in , Since we obtain , and hence . Finally, assume (H5) holds. Since and , there exists with and for all , such that . By , . Since as and , we get as . So or . Therefore, in any case, we prove . Since is arbitrary, the sequence converges to a fixed point of . This completes the proof.

Here, we give an example illustrating Theorem 13. This example also gives a negative answer to the uniqueness of fixed point.

Example 14. Let with the usual metric . Then is a complete metric space. Define by for all , . Then is a generalized pseudodistance on . Let and be defined by respectively. So for all . Note that is not lower semicontinuous at , so is not lower semicontinuous on . Since for all , is a bounded below function on . Let be defined by Then is continuous on and . It is also easy to see that is closed and the map is l.s.c. Hence (H1), (H2), and (H4) as in Theorem 13 hold. We deduce that for any , so is -Caristi type on . Let . Since we know that converges and the limit of belongs to . On the other hand, since all the assumptions of Theorem 13 are satisfied, by applying Theorem 13, we also prove that has a fixed point in and for any , the sequence converges to a fixed point of . It is worth noticing that any well-known generalized version of Caristi’s fixed point theorem is not applicable here.

The following conclusions are immediate from Theorem 13.

Corollary 15. Let be a complete metric space, a proper and bounded below function, and a generalized pseudodistance on . Suppose that is a -Caristi type selfmap on and one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds. Then admits a fixed point in . Moreover, for any with , the sequence converges to a fixed point of  T.

Corollary 16. Let be a complete metric space, a proper and bounded below function, and a nondecreasing function. Suppose that is a -Caristi type selfmap on and one of the following conditions is satisfied:(D1) is continuous; (D2) is closed;(D3)the map defined by is l.s.c.

Then admits a fixed point in . Moreover, for any with , the sequence converges to a fixed point of .

Corollary 17. Let be a complete metric space and a proper and bounded below function. Suppose that is a -Caristi type selfmap on and one of the conditions (D1), (D2), and (D3) as in Corollary 16 holds. Then admits a fixed point in . Moreover, for any with , the sequence converges to a fixed point of .

Now, we give another quite useful auxiliary theorem for our applications.

Theorem 18. Let be a metric space, a function, and a selfmap. Suppose that there exists an -function such that Then there exists a function such that for each ,
Here, we denote (the identity map).

Proof. Let be given. From our hypothesis, we have for each . So the sequence is strictly decreasing in . Since is an -function, by (g) of Theorem 11, we obtain Since is arbitrary, we can define a new function by It is obvious that for each , we have

As an interesting application of Theorem 13, we prove the following new fixed point theorems for Banach type maps.

Theorem 19. Let be a complete metric space, a generalized pseudodistance on with implies for all , and a selfmap. Suppose that (a)there exists an -function such that (b)one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds.

Then admits a unique fixed point in . Moreover, for each , the sequence converges to the unique fixed point of .

Proof. Denote (the identity map). Applying Theorem 18, there exists a function such that for each , For each , by (46), we get By exploiting the inequalities (47) and (48), we obtain Let and be defined by respectively. Then is a nondecreasing function, and is a bounded below function. Clearly, for all . By (49), we obtain Hence we prove that is a -Caristi type selfmap on . Applying Theorem 13, we know . We claim that is a singleton set. Let . Then and . From (46), we have or which implies . By our hypothesis, we get and our claim is proved. By the uniqueness of fixed point of and applying Theorem 13 again, the sequence converges to the unique fixed point of for any .

As a direct consequence of Theorem 19, we obtain the following result.

Corollary 20. Let be a complete metric space, be a generalized pseudodistance on with implies for all , and a selfmap. Suppose that(a)there exists such that (b)one of the conditions (H1), (H2), (H3), (H4), and (H5) as in Theorem 13 holds.

Then admits a unique fixed point in . Moreover, for each , the sequence converges to the unique fixed point of .

Applying Theorem 19, we obtain a generalization of the celebrated Banach contraction principle.

Corollary 21. Let be a complete metric space and a selfmap. Suppose that there exists an -function such that

Then admits a unique fixed point in . Moreover, for each , the sequence converges to the unique fixed point of .

Proof. By (55), we know that is continuous on . Hence the conclusion follows from Theorem 19 immediately.

Remark 22. Theorems 13 and 19, Corollaries 1521 all generalize and improve the celebrated Banach contraction principle.

Acknowledgment

In this research, the author was supported by Grant no. NSC 102–2115-M-017-001 of the National Science Council of the Republic of China.

References

  1. J. Caristi, “Fixed point theorems for mappings satisfying inwardness conditions,” Transactions of the American Mathematical Society, vol. 215, pp. 241–251, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. S. Banach, “Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922.
  3. W. Oettli and M. Théra, “Equivalents of Ekeland's principle,” Bulletin of the Australian Mathematical Society, vol. 48, no. 3, pp. 385–392, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. D. H. Hyers, G. Isac, and T. M. Rassias, Topics in Nonlinear Analysis & Applications, World Scientific, River Edge, NJ, USA, 1997. View at Publisher · View at Google Scholar · View at MathSciNet
  5. W. Takahashi, Nonlinear Functional Analysis, Fixed Point Theory and Its Applications, Yokohama Publishers, Yokohama, Japan, 2000. View at MathSciNet
  6. A. Göpfert, C. Tammer, and C. Zălinescu, “On the vectorial Ekeland's variational principle and minimal points in product spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 39, no. 7, pp. 909–922, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. A. Granas and C. D. Horvath, “On the order-theoretic Cantor theorem,” Taiwanese Journal of Mathematics, vol. 4, no. 2, pp. 203–213, 2000. View at Zentralblatt MATH · View at MathSciNet
  8. M. A. Khamsi, “Remarks on Caristi's fixed point theorem,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 1-2, pp. 227–231, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. Z. Li, “Remarks on Caristi's fixed point theorem and Kirk's problem,” Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 12, pp. 3751–3755, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. O. Kada, T. Suzuki, and W. Takahashi, “Nonconvex minimization theorems and fixed point theorems in complete metric spaces,” Mathematica Japonica, vol. 44, no. 2, pp. 381–391, 1996. View at Zentralblatt MATH · View at MathSciNet
  11. T. Suzuki, “Generalized distance and existence theorems in complete metric spaces,” Journal of Mathematical Analysis and Applications, vol. 253, no. 2, pp. 440–458, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. T. Suzuki, “Generalized Caristi's fixed point theorems by Bae and others,” Journal of Mathematical Analysis and Applications, vol. 302, no. 2, pp. 502–508, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. L.-J. Lin and W.-S. Du, “Ekeland's variational principle, minimax theorems and existence of nonconvex equilibria in complete metric spaces,” Journal of Mathematical Analysis and Applications, vol. 323, no. 1, pp. 360–370, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. L.-J. Lin and W.-S. Du, “Some equivalent formulations of the generalized Ekeland's variational principle and their applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 67, no. 1, pp. 187–199, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. L.-J. Lin and W.-S. Du, “On maximal element theorems, variants of Ekeland's variational principle and their applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 5, pp. 1246–1262, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. L.-J. Lin and W.-S. Du, “Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems,” Journal of Global Optimization, vol. 40, no. 4, pp. 663–677, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. W.-S. Du, “On some nonlinear problems induced by an abstract maximal element principle,” Journal of Mathematical Analysis and Applications, vol. 347, no. 2, pp. 391–399, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. W.-S. Du, “Critical point theorems for nonlinear dynamical systems and their applications,” Fixed Point Theory and Applications, vol. 2010, Article ID 246382, 16 pages, 2010. View at Zentralblatt MATH · View at MathSciNet
  19. W.-S. Du, “On Latif's fixed point theorems,” Taiwanese Journal of Mathematics, vol. 15, no. 4, pp. 1477–1485, 2011. View at Zentralblatt MATH · View at MathSciNet
  20. W.-S. Du, “New approachs to the existence of fixed points for Caristi type mappings without lower semicontinuity assumptions,” submitted.
  21. S. Al-Homidan, Q. H. Ansari, and J.-C. Yao, “Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory,” Nonlinear Analysis: Theory, Methods & Applications, vol. 69, no. 1, pp. 126–139, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. K. Włodarczyk and R. Plebaniak, “Maximality principle and general results of Ekeland and Caristi types without lower semicontinuity assumptions in cone uniform spaces with generalized pseudodistances,” Fixed Point Theory and Applications, vol. 2010, Article ID 175453, 35 pages, 2010. View at Zentralblatt MATH · View at MathSciNet
  23. S. Eshghinezhad and M. Fakhar, “Some generalizations of Ekeland's variational principle with applications to fixed point theory,” Mathematical and Computer Modelling, vol. 57, pp. 1250–1258, 2013.
  24. P. Q. Khanh and D. N. Quy, “A generalized distance and enhanced Ekeland's variational principle for vector functions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 7, pp. 2245–2259, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. P. Q. Khanh and D. N. Quy, “On generalized Ekeland's variational principle and equivalent formulations for set-valued mappings,” Journal of Global Optimization, vol. 49, no. 3, pp. 381–396, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  26. J. H. Qiu and F. He, “p-distances, q-distances and a generalized Ekeland's variational principle in uniform spaces,” Acta Mathematica Sinica, vol. 28, no. 2, pp. 235–254, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  27. J. R. Jachymski, “Caristi's fixed point theorem and selections of set-valued contractions,” Journal of Mathematical Analysis and Applications, vol. 227, no. 1, pp. 55–67, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  28. W. A. Kirk and L. M. Saliga, “The Brézis-Browder order principle and extensions of Caristi's theorem,” Nonlinear Analysis: Theory, Methods & Applications, vol. 47, no. 4, pp. 2765–2778, 2001. View at Publisher · View at Google Scholar · View at MathSciNet
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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 MathSciNet
  34. W.-S. Du, “On generalized weakly directional contractions and approximate fixed point property with applications,” Fixed Point Theory and Applications, vol. 2012, article 6, 22 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  35. 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.
  36. 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 Zentralblatt MATH · View at MathSciNet