Journal of Applied Mathematics

Volume 2013 (2013), Article ID 621614, 6 pages

http://dx.doi.org/10.1155/2013/621614

## Fixed Points of Multivalued Nonself Almost Contractions

^{1}Department of Mathematics, Sciences Faculty for Girls, King Abdulaziz University, P.O. Box 4087, Jeddah 21491, Saudi Arabia^{2}Department of Mathematics and Computer Science, North University of Baia Mare, Baia Mare, Romania^{3}Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21859, Saudi Arabia

Received 29 March 2013; Accepted 20 May 2013

Academic Editor: Wei-Shih Du

Copyright © 2013 Maryam A. Alghamdi 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.

#### Abstract

We consider multivalued nonself-weak contractions on convex metric spaces and establish the existence of a fixed point of such mappings. Presented theorem generalizes results of M. Berinde and V. Berinde (2007), Assad and Kirk (1972), and many others existing in the literature.

#### 1. Introduction

The study of fixed points of single-valued self-mappings or multivalued self-mappings satisfying certain contraction conditions has a great majority of results in metric fixed point theory. All these results are mainly generalizations of Banach contraction principle.

The Banach contraction principle guarantees the existence and uniqueness of fixed points of certain self-maps in complete metric spaces. This result has various applications to operator theory and variational analysis. So, it has been extended in many ways until now. One of these is related to multivalued mappings. Its starting point is due to Nadler Jr. [1].

The fixed point theory for multivalued nonself-mappings developed rapidly after the publication of Assad and Kirk’s paper [2] in which they proved a non-self-multivalued version of Banach’s contraction principle. Further results for multivalued non-self-mappings were proved in, for example, [3–7]. For other related results, see also [8–38].

On the other hand, Berinde [11–13] introduced a new class of self-mappings (usually called weak contractions or almost contractions) that satisfy a simple but general contraction condition that includes most of the conditions in Rhoades’ classification [39]. He obtained a fixed point theorem for such mappings which generalized the results of Kannan [40], Chatterjea [41], and Zamfirescu [42]. As shown in [43], the weakly contractive metric-type fixed point result in [12] is “almost” covered by the related altering metric one due to Khan et al. [21].

In [9], M. Berinde and V. Berinde extended Theorem 8 to the case of multivalued weak contractions.

*Definition 1. *Let be a metric space and a nonempty subset of . A map is called a multivalued almost contraction if there exist a constant and some such that

Theorem 2 (see [9]). *Let be a complete metric space and a multivalued almost contraction. Then has a fixed point. *

The aim of this paper is to prove a fixed point theorem for multivalued nonself almost contractions on convex metric spaces. This theorem extends several important results (including the above) in the fixed point theory of self-mappings to the case on nonself-mappings and generalizes several fixed point theorems for nonself-mappings.

#### 2. Preliminaries

We recall some basic definitions and preliminaries that will be needed in this paper.

Let be a metric space and the set of all nonempty bounded and closed subsets of . For , define It is known that is a metric on and is called the Hausdorff metric or Pompeiu-Hausdorff metric induced by . It is also known that is a complete metric space whenever is a complete metric space.

*Definition 3. *Let be a multivalued map. An element is said to be a fixed point of if .

In this paper we assume that is a convex metric space which is defined as follows.

*Definition 4. *A metric space is convex if for each with there exists , , such that

This notion is similar to the definition of metric space of hyperbolic type. The class of metric spaces of hyperbolic type includes all normed linear spaces and all spaces with hyperbolic metric.

It is known that in a convex metric space each two points are the endpoints of at least one metric segment (see [2]).

Proposition 5 (see [2]). *Let be a closed subset of a complete and convex metric space . If and , then there exists a point (the boundary of ) such that
*

The following lemma will be required in the sequel.

Lemma 6 (see [1, 2]). *Let be a metric space and . If , then, for each positive number , there exists such that
*

The definition of an almost contraction given by Berinde [12] is as follows.

*Definition 7. *Let be a metric space. A map is called almost contraction if there exist a constant and some such that

Theorem 8 (see [12]). *Let be a complete metric space and an almost contraction. Then*(1)*;*(2)*for any , the Picard iteration converges to some ;*(3)*the following estimate holds
*

Let us recall (see [30]) that a mapping possessing properties (1) and (2) is called a *weakly Picard operator*.

In fact, Theorem 8 generalizes some important fixed point theorems in the literature such as Banach contraction principle, Kannan fixed point theorem [40], Chatterjea fixed point theorem [41], and Zamfirescu fixed point theorem [42].

#### 3. Main Results

Theorem 9. *Let be a complete convex metric space and a nonempty closed subset of . Suppose that is a multivalued almost contraction, that is,
**
with and some such that . If satisfies Rothe’s type condition, that is, , then there exists such that ; that is, has a fixed point in .*

*Proof. *We construct two sequences and in the following way. Let and . If , let . If , then there exists such that
Thus , and, by Lemma 6 and , we can choose such that
If , let . If , then there exists such that
Thus , and, by Lemma 6 and , we can choose such that
Continuing the arguments we construct two sequences and such that(i);
(ii),
where(iii);
(iv) whenever , and then is such that
Now we claim that is a Cauchy sequence. Suppose that
Obviously, if , then and belong to . Now, we conclude that there are three possibilities.*Case 1.* If , then . Thus
since .*Case 2.* If , , then . We have
*Case 3.* If , , then , , , and . We have
Since , then
Since
then

Thus, combining Cases 1, 2, and 3, it follows that
where
Following [2], by induction it follows that for
where
Now, for , we have
This implies that the sequence is a Cauchy sequence. Since is complete and is closed, it follows that there exists such that
By construction of , there is a subsequence such that
We will prove that . In fact, by (i), . Since as , we have
as . Note that
which on letting implies that ; it, then, follows that .

By Theorem 9 we obtain as a particular case, a fixed point theorem for multivalued nonself-contractions due to Assad and Kirk [2] that appears to be the first fixed point result for nonself-mappings in the literature.

Corollary 10 (see [2]). *Let be a complete convex metric space and a nonempty closed subset of . Suppose that is a multivalued contraction; that is,
**
with . If satisfies Rothe’s type condition, that is, , then there exists such that ; that is, has a fixed point in .*

*Example 11. *Let be the set of real numbers with the usual norm, the unit interval, and be given by , for , , and , for .

In order to show that is a multivalued almost contraction, we have to discuss 8 possible cases.

*Case 1. * Consider . Then condition (8) reduces to
Since, for , one has and , in order to have the previous inequality satisfied, it suffices to take and arbitrarily.

*Case 2. *Consider . Then condition (8) reduces to
Since, for , one has and , in order to have the previous inequality satisfied, it suffices to take and arbitrarily.

*Case 3. *Take . In this case we have
and so condition (8) is satisfied with and arbitrarily.

*Case 4. *Consider . In this case we have
and so condition (8) is satisfied with and arbitrarily.

*Case 5. * Take . Then condition (8) reduces to
Since for , one has and , in order to have the previous inequality satisfied, it suffices to take and arbitrarily.

*Case 6. *Consider . Then condition (8) reduces to
Since, for , one has and , in order to have the previous inequality satisfied, it suffices to take and arbitrarily.

*Case 7. *Take . Then condition (8) reduces to
Since, for , one has and , in order to have the previous inequality satisfied, it suffices to take and .

*Case 8. *Consider . Then condition (8) reduces to
Since, for , one has and , in order to have the previous inequality satisfied, it suffices to take and arbitrarily.

Now, by summarizing all cases, we conclude that condition (8) is satisfied with and . Note that the additional condition is also satisfied.

Hence, is a multivalued almost contraction that satisfies all assumptions in Theorem 9, and has two fixed points; that is, .

Note that Corollary 10 cannot be applied to in Example 11. Indeed, if we take and in (32), then one obtains
That is, , which leads to the contradiction .

#### Acknowledgments

The authors thank the referees for the very useful suggestions and remarks that contributed to the improvement of the paper and especially for drawing attention to [21]. The second author’s research was partially supported by the Grant PN-II-RU-TE-2011-3-239 of the Romanian Ministry of Education and Research. The research of the first and third authors was partially supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

#### References

- S. B. Nadler Jr., “Multi-valued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 30, pp. 475–488, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. A. Assad and W. A. Kirk, “Fixed point theorems for set-valued mappings of contractive type,”
*Pacific Journal of Mathematics*, vol. 43, pp. 553–562, 1972. View at Publisher · View at Google Scholar · View at MathSciNet - L. B. Ćirić, “A remark on Rhoades' fixed point theorem for non-self mappings,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 16, no. 2, pp. 397–400, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. A. Assad, “On some nonself nonlinear contractions,”
*Mathematica Japonica*, vol. 33, no. 1, pp. 17–26, 1988. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. A. Assad, “On some nonself mappings in Banach spaces,”
*Mathematica Japonica*, vol. 33, no. 4, pp. 501–515, 1988. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. A. Assad, “A fixed point theorem in Banach space,”
*Institut Mathématique. Nouvelle Série*, vol. 47, no. 61, pp. 137–140, 1990. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. A. Assad, “A fixed point theorem for some non-self-mappings,”
*Tamkang Journal of Mathematics*, vol. 21, no. 4, pp. 387–393, 1990. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Alghamdi, V. Berinde, and N. Shahzad, “Fixed points of non-self almost contractions,” Carpathian Journal of Mathematics, 2014, In press. View at Google Scholar
- 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 - V. Berinde, “Stability of Picard iteration for contractive mappings satisfying an implicit relation,”
*Carpathian Journal of Mathematics*, vol. 27, no. 1, pp. 13–23, 2011. View at Google Scholar · View at MathSciNet - V. Berinde, “On the approximation of fixed points of weak contractive mappings,”
*Carpathian Journal of Mathematics*, vol. 19, no. 1, pp. 7–22, 2003. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Berinde, “Approximating fixed points of weak contractions using the Picard iteration,”
*Nonlinear Analysis Forum*, vol. 9, no. 1, pp. 43–53, 2004. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Berinde,
*Iterative Approximation of Fixed Points*, vol. 1912 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 2nd edition, 2007. View at MathSciNet - V. Berinde and M. Pacurar, “Fixed point theorems for nonself single-valued almost contractions,”
*Fixed Point Theory*. In press. View at Google Scholar - F. Bojor, “Fixed points of Bianchini mappings in metric spaces endowed with a graph,”
*Carpathian Journal of Mathematics*, vol. 28, no. 2, pp. 207–214, 2012. View at Google Scholar - M. Borcut, “Tripled fixed point theorems for monotone mappings in partially ordered metric spaces,”
*Carpathian Journal of Mathematics*, vol. 28, no. 2, pp. 215–222, 2012. View at Google Scholar - 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 - Lj. B. Ćirić, J. S. Ume, M. S. Khan, and H. K. Pathak, “On some nonself mappings,”
*Mathematische Nachrichten*, vol. 251, pp. 28–33, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Enjouji, M. Nakanishi, and T. Suzuki, “A generalization of Kannan's fixed point theorem,”
*Fixed Point Theory and Applications*, vol. 2009, Article ID 192872, 10 pages, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. H. Haghi, Sh. Rezapour, and N. Shahzad, “On fixed points of quasi-contraction type multifunctions,”
*Applied Mathematics Letters*, vol. 25, no. 5, pp. 843–846, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. S. Khan, M. Swaleh, and S. Sessa, “Fixed point theorems by altering distances between the points,”
*Bulletin of the Australian Mathematical Society*, vol. 30, no. 1, pp. 1–9, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Kikkawa and T. Suzuki, “Some similarity between contractions and Kannan mappings,”
*Fixed Point Theory and Applications*, vol. 2008, Article ID 649749, 8 pages, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. A. Lazăr, A. Petruşel, and N. Shahzad, “Fixed points for non-self operators and domain invariance theorems,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 70, no. 1, pp. 117–125, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Nakanishi and T. Suzuki, “An observation on Kannan mappings,”
*Central European Journal of Mathematics*, vol. 8, no. 1, pp. 170–178, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Păcurar, “Common fixed points for almost Presić type operators,”
*Carpathian Journal of Mathematics*, vol. 28, no. 1, pp. 117–126, 2012. View at Google Scholar · View at MathSciNet - H. K. Pathak and N. Shahzad, “Fixed point results for set-valued contractions by altering distances in complete metric spaces,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 70, no. 7, pp. 2634–2641, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Pathak and N. Shahzad, “Fixed points for generalized contractions and applications to control theory,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 68, no. 8, pp. 2181–2193, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Reich, “Kannan's fixed point theorem,”
*Bollettino della Unione Matematica Italiana*, vol. 4, pp. 1–11, 1971. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. E. Rhoades, “A fixed point theorem for some non-self-mappings,”
*Mathematica Japonica*, vol. 23, no. 4, pp. 457–459, 1978/79. View at Google Scholar · View at MathSciNet - I. A. Rus,
*Generalized Contractions and Applications*, Cluj University Press, Cluj-Napoca, Romania, 2001. View at MathSciNet - I. A. Rus, “Properties of the solutions of those equations for which the Krasnoselskii iteration converges,”
*Carpathian Journal of Mathematics*, vol. 28, no. 2, pp. 329–336, 2012. View at Google Scholar - N. Shioji, T. Suzuki, and W. Takahashi, “Contractive mappings, Kannan mappings and metric completeness,”
*Proceedings of the American Mathematical Society*, vol. 126, no. 10, pp. 3117–3124, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Włodarczyk and R. Plebaniak, “Kannan-type contractions and fixed points in uniform spaces,”
*Fixed Point Theory and Applications*, vol. 2011, article 90, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - K. Włodarczyk and R. Plebaniak, “Generalized uniform spaces, uniformly locally contractive set-valued dynamic systems and fixed points,”
*Fixed Point Theory and Applications*, vol. 2012, article 104, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - K. Włodarczyk and R. Plebaniak, “Leader type contractions, periodic and fixed points and new completivity in quasi-gauge spaces with generalized quasi-pseudodistances,”
*Topology and its Applications*, vol. 159, no. 16, pp. 3504–3512, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Włodarczyk and R. Plebaniak, “Contractivity of Leader type and fixed points in uniform spaces with generalized pseudodistances,”
*Journal of Mathematical Analysis and Applications*, vol. 387, no. 2, pp. 533–541, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Włodarczyk and R. Plebaniak, “Contractions of Banach, Tarafdar, Meir- Keller, Ciric-Jachymski-Matkowski and Suzuki types and fixed points in uniform spaces with generalized pseudodistances,”
*Journal of Mathematical Analysis and Applications*, vol. 404, no. 2, pp. 338–350, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - F. Khojasteh and V. Rakočević, “Some new common fixed point results for generalized contractive multi-valued non-self-mappings,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 287–293, 2012. View at Publisher · View at Google Scholar - B. E. Rhoades, “A comparison of various definitions of contractive mappings,”
*Transactions of the American Mathematical Society*, vol. 226, pp. 257–290, 1977. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Kannan, “Some results on fixed points,”
*Bulletin of the Calcutta Mathematical Society*, vol. 60, pp. 71–76, 1968. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. K. Chatterjea, “Fixed-point theorems,”
*Doklady Bolgarskoĭ Akademii Nauk. Comptes Rendus de l'Académie Bulgare des Sciences*, vol. 25, pp. 727–730, 1972. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Zamfirescu, “Fix point theorems in metric spaces,”
*Archiv der Mathematik*, vol. 23, pp. 292–298, 1972. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Turinici, “Weakly contractive maps in altering metric spaces,” http://arxiv.org/abs/1302.4013. View at Google Scholar