- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 104762, 5 pages

http://dx.doi.org/10.1155/2014/104762

## A General Fixed Point Theorem for Multivalued Mappings That Are Not Necessarily Contractions and Applications

^{1}Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia^{2}Avignon University, LMA-EA2151, 84000 Avignon, France

Received 13 May 2014; Accepted 5 June 2014; Published 17 June 2014

Academic Editor: Jen-Chih Yao

Copyright © 2014 Abdul Latif and Dinh The Luc. 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 a general theorem on fixed points of multivalued mappings that are not necessarily contractions and derive a number of recent contributions on this topic for contraction mappings.

#### 1. Introduction

One of the most powerful results of functional analysis is the Banach contraction principle which states that if is a contraction on a complete metric space , that is, for every and some fixed , then has a unique fixed point. Moreover, that unique point can be approximately computed by a very simple iterative procedure. Namely, starting from any point , the sequence obtained by for converges to the fixed point. Numerous applications and generalizations of this principle are known in nonlinear analysis (see [1–5] and many references given in these).

Since the publication of the Banach principle, there have been a huge number of research papers devoted to its generalization. Among them, the extension to set-valued mappings receives a lot of attention. The works by Nadler Jr. [6] and Markin [7] are among the first efforts in this direction, in which the Hausdorff distance is used to define contraction set-valued mappings. Further significant generalizations are presented in [8–19] and many others.

The aim of the present paper is to give a general condition for existence of fixed points of set-valued mappings that are not necessarily contractions. The novelty of our approach is the relaxation of requirements for a point to be chosen at current iteration to lie in the image of the point at the preceding iteration during the construction of a sequence of points that converges to a fixed point. Another novelty resides in the use of two different functions to estimate the distance between two consecutive points of the procedure, which makes our result flexible and allows us to deduce a number of important theorems of the aforementioned works for contraction mappings.

#### 2. The Main Result

Throughout this section, we assume that is a complete metric space. Given a nonempty set , the distance from a point to is denoted by and defined by .

Theorem 1. *Let be a set-valued map on with values in the space of nonempty closed subsets of . Assume that the function is lower semicontinuous on and that there are positive valued functions and on such that* *(i) for each .**Then has a fixed point if either of the following conditions holds:* *(A) , and for every there is some such that* *(ii) ;* *(B) whenever for , and there is some such that for every with there is some satisfying* *(iii) and ;* *(iv) .*

*Proof. *We wish to construct a Cauchy sequence such that the sequence converges to 0. This, of course, proves the theorem because the limit of the sequence satisfies
which shows that , because the set is closed.

We assume (A) first. Let us start with any point . If , we are done. If not, we choose as given in (ii):
Similarly, restarting from we choose satisfying the inequalities in (ii) and continue this process either to arrive at a fixed point of or to obtain a sequence of such that and
for every . Observe that because, otherwise, in view of (3) one would have , which is a contradiction. Hence, . It follows that
In view of (3), the sequence is decreasing and hence decreasingly converges to some limit . Actually because otherwise, by passing to the limit on both sides of (4) for instead of when tends to and by (i), we would obtain
which is a contradiction. The first part of hypothesis (A) and (3) imply
We claim that this sequence is a Cauchy sequence. Indeed, by (i) and the first hypothesis of (A), there are some , , and such that
Combining this with (3) yields
for and . Since the sequence converges to 0 as tends to , we deduce that the sequence is Cauchy and hence it converges to some limit as requested.

We now assume (B). By the same argument as mentioned above, we may find either a fixed point of or a sequence of such that and
in which and for every and deduce that
From (10) we know that the sequence is decreasing and hence decreasingly converges to some limit . Then, in view of (10) and (9), the inferior limit of the sequence is finite. Let us denote by a subsequence such that
We easily have . We wish to prove that these values are all equal to zero.*Claim 1 (**).* Suppose to the contrary that . Then . We choose a small such that . Then there is some such that
This and (10) yield
which implies that . By using the first part of (B) and by passing to the limit in (11) for instead of when tends to , we arrive at the following inequality:
which is a contradiction. By this, . *Claim 2 (**).* Suppose to the contrary that . According to (iii),
which means that . Due to (i), we deduce from (9) that
which, again, is a contradiction.*Claim 3*. The sequence is a Cauchy sequence. In view of Claim 2 and (iii), the sequence converges to zero. By (i), there are some and such that
It remains to apply the same argument as in the case of condition (A) to conclude the proof.

*We close up this section by observing that in the literature on fixed points of contraction mappings it is frequently required that the element in conditions (A) and (B) belongs to , in which case the hypothesis (condition (iii)) is evidently satisfied. The fact that is allowed to be chosen outside is extremely important in computing fixed points of mappings that are not contractive at certain points. Below is an example to illustrate this.*

*Example 2. *Consider a discrete metric space consisting of five points: 0, 0.25, 0.5, 0.75, and 1 of the real line equipped with the usual distance. Define a map by
It is clear that is not a contraction. If we start at and apply the classical algorithm for , then it produces an infinite loop and we never get the fixed point. In order to avoid cycling, let us define two functions and on by
Now we start with . If we take , then neither (ii) nor (iv) is satisfied. Let us choose the closest element to for which condition (ii) of Theorem 1 is fulfilled. In the next iteration we take that satisfies the above-mentioned condition too. This is a fixed point of .

*3. Particular Cases*

*In this section we deduce a number of results in recent publications from the main theorem given in the preceding section. The first corollary is Mizoguchi-Takahashi’s theorem (Theorem 5, [18]) which according to Suzuki [19] is a real generalization of Nadler’s theorem [6]. We recall that the Hausdorff metric induced by is given by
for any two subsets and of .*

*Corollary 3. Let be a set-valued map on with values in the space of nonempty closed bounded subsets of . Assume that there is a function satisfying (M1) for each ;(M2) for all . Then has a fixed point.*

*Proof. *Our aim is to apply Theorem 1. Towards this end we construct a function and prove that condition (B) is satisfied. Let be defined by
We check the hypotheses of Theorem 1. First, the function is Lipschitz and hence lower semicontinuous because
due to condition (M2) and the fact that .

Second, for every , we have . This and (M1) imply the first part of (B) and condition (i) of Theorem 1.

Third, by the definition of , condition (iii) (Theorem 1) is satisfied for every and if we choose .

And finally, the first inequality of (iv) of Theorem 1 holds for any because of the Lipschitz condition (M2). For the second inequality it suffices to choose so that , where . It remains to apply Theorem 1 to complete the proof.

*As far as we know, most important generalizations of fixed point conditions for contraction mappings without using Hausdorff distance belong to Ciric in his recent works [9, 10]. Let us see how to deduce them from Theorem 1.*

*Corollary 4 (Theorems 2.1 and 2.2 of [10] and Theorem 5 of [9]). Let be a set-valued map on with values in the space of nonempty closed subsets of . Assume that the function is lower semicontinuous on and that there is a function for some , which satisfies for each . Assume further that one of the following conditions holds. (C1)For every there is some such that
(C2)For every there is some such that
(C3)In this condition and for every there is some such that
Then has a fixed point.*

*Proof. *Under (C1) and (C2), set for every and, under (C3), set . And then apply Theorem 1. Note that under (C1) and (C2) and under (C3) for every , and so the first part of (A) and (iii) of Theorem 1 hold true. Other conditions of Theorem 1 are almost immediate.

*Other important results such as Theorems 6 and 7 of [9], Theorem 2 of [12], and Theorems 3 and 4 of [14] can also be obtained from Theorem 1 by a similar argument. Of course, when is single valued, the conditions of all above cited theorems imply that is a contraction, and so they are not applicable to noncontraction mappings.*

*We close up this section by discussing the following very recent result of Du and Khojasteh [20, Theorem 15]. Let be defined on with values in the space of nonempty bounded and closed subsets of . Let satisfy condition (M1) of Corollary 3. Assume further that there is a function such that one has the following.(D1) for every .(D2)If and satisfy , then for all .(D3)There is and such that .(D4)One of the following conditions holds:(H1) is continuous in the sense that converges to 0 as soon as tends to ;(H2)the graph of is closed;(H3)the function is lower semicontinuous;(H4)for every sequence converging to and with , , one has . Then has a fixed point.*

*In order to apply Theorem 1 to this particular case, let us consider a subspace of defined by . It is clear that because of (D3). Moreover, in view of (D2), maps to closed subsets of . By using the function given in the proof of Corollary 3, we easily see that hypotheses (i) and (B) of Theorem 1 are satisfied, which allows us to produce a Cauchy sequence in such that the sequence converges to 0. Of course, the limit of the sequence exists but not necessarily lies in . Under condition (D4) it is evident that that limit is a fixed point of .*

*Conflict of Interests*

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

*Authors’ Contribution*

*All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.*

*Acknowledgments*

*This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under Grant no. (130-85-D1435). The authors, therefore, acknowledge with thanks DSR technical and financial support.*

*References*

- R. P. Agarwal, M. Meehan, and D. O'Regan,
*Fixed Point Theory and Applications*, Cambridge University Press, Cambridge, Mass, USA, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - M. Balaj, “A fixed point-equilibrium theorem with applications,”
*Bulletin of the Belgian Mathematical Society*, vol. 17, no. 5, pp. 919–928, 2010. View at Google Scholar · View at MathSciNet - K. Goebel and W. A. Kirk,
*Topics in Metric Fixed Point Theory*, vol. 28 of*Cambridge Studies in Advanced Mathematics*, Cambridge University Press, Cambridge, UK, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - M. A. Khamsi and W. A. Kirk,
*An Introduction to Metric Spaces and Fixed Point Theory*, Pure and Applied Mathematics, John Wiley and Sons, New York, NY, USA, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - S. B. Nadler Jr., “Multi-valued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 30, pp. 475–488, 1969. View at Google Scholar · View at MathSciNet - J. T. Markin, “A fixed point theorem for set valued mappings,”
*Bulletin of the American Mathematical Society*, vol. 74, pp. 639–640, 1968. View at Google Scholar · View at MathSciNet - T. H. Chang, “Common fixed point theorems for multivalued mappings,”
*Mathematica Japonica*, vol. 41, no. 2, pp. 311–320, 1995. View at Google Scholar · View at MathSciNet - L. Ćirić, “Multi-valued nonlinear contraction mappings,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 7-8, pp. 2716–2723, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - L. Ćirić, “Fixed point theorems for multi-valued contractions in complete metric spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 348, no. 1, pp. 499–507, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - P. Z. Daffer and H. Kaneko, “Fixed points of generalized contractive multi-valued mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 192, no. 2, pp. 655–666, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - 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 MathSciNet - J. Jachymski, “On Reich's question concerning fixed points of multimaps,”
*Unione Matematica Italiana: Bollettino A: Serie VII*, vol. 9, no. 3, pp. 453–460, 1995. View at Google Scholar · View at MathSciNet - D. Klim and D. Wardowski, “Fixed point theorems for set-valued contractions in complete metric spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 334, no. 1, pp. 132–139, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - A. Latif and A. A. N. Abdou, “Multivalued generalized nonlinear contractive maps and fixed points,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 4, pp. 1436–1444, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - A. Latif and D. T. Luc, “Variational relation problems: existence of solutions and fixed points of contraction mappings,”
*Fixed Point Theory and Applications*, vol. 315, pp. 1–10, 2013. View at Google Scholar - A. Latif and I. Tweddle, “Some results on coincidence points,”
*Bulletin of the Australian Mathematical Society*, vol. 59, no. 1, pp. 111–117, 1999. View at Publisher · View at Google Scholar · View at MathSciNet - 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 MathSciNet - T. Suzuki, “Mizoguchi-Takahashi's fixed point theorem is a real generalization of Nadler's,”
*Journal of Mathematical Analysis and Applications*, vol. 340, no. 1, pp. 752–755, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - W.-S. Du and F. Khojasteh, “New results and generalizations for approximate fixed point property and their applications,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 581267, 9 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet

*
*