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

Wei-Shih Du¹ and Farshid Khojasteh2,3

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

²Department of Mathematics, Arak Branch, Islamic Azad University, Arak, Iran

³School 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 [2–40] 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 [29–34] 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 by

is a manageable function  .(b)For each , the function  , defined by

is 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 [36–39]). 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 [36–39]). 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

S. Banach, “Sur les opérations dans les ensembles abstraits et leurs applications aux équations integrales,” Fundamenta Mathematicae, vol. 3, pp. 133–181, 1922.

S. B. Nadler Jr., “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969.

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.

S. Reich, “Some problems and results in fixed point theory,” Contemporary Mathematics, vol. 21, pp. 179–187, 1983.

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.

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.

W. Takahashi, Nonlinear Functional Analysis, Yokohama Publishers, Yokohama, Japan, 2000.

A. Uderzo, “Fixed points for directional multi-valued -contractions,” Journal of Global Optimization, vol. 31, no. 3, pp. 455–469, 2005.

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.

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.

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.

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.

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.

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.

W.-S. Du, “Nonlinear contractive conditions for coupled cone fixed point theorems,” Fixed Point Theory and Applications, vol. 2010, Article ID 190606, 2010.

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.

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.

W.-S. Du, “On Caristi type maps and generalized distances with applications,” Abstract and Applied Analysis, vol. 2013, Article ID 407219, 8 pages, 2013.

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.

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.

F. Khojasteh, S. Shukla, and S. Radenovic, “A new approach to the study of fixed point theory for simulation function,” Filomat. In press

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.

E. Karapinar, “Generalizations of Caristi Kirk's theorem on partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, article 4, 2011.

M. Jleli, E. Karapinar, and B. Samet, “On best proximity points under the -property on partially ordered metric spaces,” Abstract and Applied Analysis, vol. 2013, Article ID 150970, 6 pages, 2013.

E. Karapınar, “On best proximity point of -Geraghty contractions,” Fixed Point Theory and Applications, vol. 2013, article 200, 2013.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

J. H. Asl, S. Rezapour, and N. Shahzad, “On fixed points of --contractive multifunctions,” Fixed Point Theory and Applications, vol. 2012, article 212, 2012.

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.

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.

H. Alikhani, V. Rakocevic, Sh. Rezapour, and N. Shahzad, “Fixed points of proximinal valued --contractive multifunctions,” Journal of Nonlinear and Convex Analysis. In press

H. -K. Xu, “Metric fixed point theory for multivalued mappings,” Dissertationes Mathematicae, vol. 389, 39 pages, 2000.