 Research
 Open access
 Published:
Generalized fixed point theorems for multivalued αψcontractive mappings
Journal of Inequalities and Applications volume 2014, Article number: 348 (2014)
Abstract
The aim of this paper is to establish certain new fixed point results for multivalued as well as singlevalued maps satisfying an αψcontractive conditions in complete metric space. As an application, we derive some new fixed point theorems for ψgraphic contractions defined on a metric space endowed with a graph as well as an ordered metric space. The presented results complement and extend some very recent results proved by Asl et al. (Fixed Point Theory Appl. 2012:212, 2012) and Samet et al. (Nonlinear Anal. 75:21542165, 2012) as well as other theorems given by Hussain et al. (Fixed Point Theory Appl. 2013:212, 2013). Some comparative examples are constructed which illustrate the superiority of our results to the existing ones in the literature.
MSC:46S40, 47H10, 54H25.
1 Introduction
In metric fixed point theory the contractive conditions on underlying functions play an important role for finding solutions of fixed point problems. The Banach contraction principle [1] is a fundamental result in metric fixed point theory. Over the years, it has been generalized in different directions by several mathematicians (see [1–25]). In particular, there has been a number of studies involving altering distance functions which alter the distance between two points in a metric space. In 2012, Samet et al. [25] introduced the concepts of αψcontractive and αadmissible mappings and established various fixed point theorems for such mappings in complete metric spaces.
Denote with Ψ the family of nondecreasing functions \psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) such that {\sum}_{n=1}^{\mathrm{\infty}}{\psi}^{n}(t)<+\mathrm{\infty} for all t>0, where {\psi}^{n} is the n th iterate of ψ.
The following lemma is well known.
Lemma 1 If \psi \in \mathrm{\Psi}, then the following hold:

(i)
{({\psi}^{n}(t))}_{n\in \mathbb{N}} converges to 0 as n\to \mathrm{\infty} for all t\in (0,+\mathrm{\infty});

(ii)
\psi (t)<t for all t>0;

(iii)
\psi (t)=0 iff t=0.
Samet et al. [25] defined the notion of αadmissible mappings as follows.
Definition 2 Let T be a selfmapping on X and \alpha :X\times X\to [0,+\mathrm{\infty}) be a function. We say that T is a αadmissible mapping if
Theorem 3 [25]
Let (X,d) be a complete metric space and T be αadmissible mapping. Assume that
for all x,y\in X, where \psi \in \mathrm{\Psi}. Also, suppose that

(i)
there exists {x}_{0}\in X such that \alpha ({x}_{0},T{x}_{0})\ge 1;

(ii)
either T is continuous or for any sequence \{{x}_{n}\} in X with \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N} and {x}_{n}\to x as n\to +\mathrm{\infty}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Afterwards, Asl et al. [21] generalized these notions by introducing the concepts of {\alpha}_{\ast}ψcontractive multifunctions, and of {\alpha}_{\ast}admissibility, and they obtained some fixed point results for these multifunctions.
Definition 4 [21]
Let (X,d) be a metric space, T:X\to {2}^{X} be a given closedvalued multifunction. We say that T is called {\alpha}_{\ast}ψcontractive multifunction if there exist two functions \alpha :X\times X\to [0,+\mathrm{\infty}) and \psi \in \mathrm{\Psi} such that
for all x,y\in X, where H is the Hausdorff generalized metric, {\alpha}_{\ast}(A,B)=inf\{\alpha (a,b):a\in A,b\in B\} and {2}^{X} denotes the family of all nonempty subsets of X.
Definition 5 [21]
Let (X,d) be a metric space, T:X\to {2}^{X} be a given closedvalued multifunction and \alpha :X\times X\to [0,+\mathrm{\infty}). We say that T is called {\alpha}_{\ast}admissible whenever \alpha (x,y)\ge 1 implies that {\alpha}_{\ast}(Tx,Ty)\ge 1.
Very recently Hussain et al. [12] modified the notions of {\alpha}_{\ast}admissible and {\alpha}_{\ast}ψcontractive mappings as follows:
Definition 6 Let T:X\to {2}^{X} be a multifunction, \alpha ,\eta :X\times X\to {\mathbb{R}}_{+} be two functions where η is bounded. We say that T is {\alpha}_{\ast}admissible mapping with respect to η if
where
If \eta (x,y)=1 for all x,y\in X, then this definition reduces to Definition 5. In the case \alpha (x,y)=1 for all x,y\in X, T is called {\eta}_{\ast}subadmissible mapping.
Hussain et al. [12] proved following generalization of the above mentioned results of [21].
Theorem 7 Let (X,d) be a complete metric space and T:X\to {2}^{X} be a {\alpha}_{\ast}admissible with respect to η and the closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi},
Also suppose that the following assertions hold:

(i)
there exist {x}_{0}\in X and {x}_{1}\in T{x}_{0} such that \alpha ({x}_{0},{x}_{1})\ge \eta ({x}_{0},{x}_{1});

(ii)
for a sequence \{{x}_{n}\}\subset X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge \eta ({x}_{n},{x}_{n+1}) for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge \eta ({x}_{n},x) for all n\in \mathbb{N}.
Then T has a fixed point.
For more details on αψcontractions and fixed point theory, we refer the reader to [3, 6, 10, 13, 14, 22, 23, 26–29].
The aim of this paper is to unify the concepts of αψcontractive type mappings and establish some new fixed point theorems in complete metric spaces for such mappings.
Let (X,d) be a complete metric space, {x}_{0}\in X and r>0. We denote by B({x}_{0},r)=\{x\in X:d({x}_{0},x)<r\} the open ball with center {x}_{0} and radius r and by \overline{B({x}_{0},r)}=\{x\in X:d({x}_{0},x)\le r\} the closed ball with center {x}_{0} and radius r.
The following lemmas of Nadler will be needed in the sequel.
Lemma 8 [19]
Let A and B be nonempty, closed and bounded subsets of a metric space (X,d) and 0<h\in \mathbb{R}. Then, for every b\in B, there exists a\in A such that d(a,b)\le H(A,B)+h.
Lemma 9 [4]
Let (X,d) be a metric space and B be nonempty, closed subsets of X and q>1. Then, for each x\in X with d(x,B)>0 and q>1, there exists b\in B such that d(x,b)<qd(x,B).
2 Main result
The following result, regarding the existence of the fixed point of the mapping satisfying an αψcontractive condition on the closed ball, is very useful in the sense that it requires the contractiveness of the mapping only on the closed ball instead of the whole space.
Theorem 10 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi},
for all x,y\in \overline{B({x}_{0},r)} and for {x}_{0}\in X, there exists {x}_{1}\in T{x}_{0} such that
for all n\in \mathbb{N} and r>0. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},{x}_{1})\ge 1 for {x}_{0}\in X and {x}_{1}\in T{x}_{0};

(ii)
for a sequence \{{x}_{n}\} in \overline{B({x}_{0},r)} converging to x\in \overline{B({x}_{0},r)} and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Proof Since \alpha ({x}_{0},{x}_{1})\ge 1 and T is {\alpha}_{\ast}admissible, so {\alpha}_{\ast}(T{x}_{0},T{x}_{1})\ge 1. From (2.2), we get
It follows that
If {x}_{0}={x}_{1}, then
implies that
and we have finished. Assume that {x}_{0}\ne {x}_{1}. By Lemmas 1 and 8, we take {x}_{2}\in T{x}_{1} and h>0 as h={\psi}^{2}(d({x}_{0},{x}_{1})). Then
Note that {x}_{2}\in \overline{B({x}_{0},r)}, since
By repeating this process, we can construct a sequence {x}_{n} of points in \overline{B({x}_{0},r)} such that {x}_{n+1}\in T{x}_{n}, {x}_{n}\ne {x}_{n1}, \alpha ({x}_{n},{x}_{n+1})\ge 1 with
Now, for each n,m\in N with m>n using the triangular inequality, we obtain
Thus we proved that \{{x}_{n}\} is a Cauchy sequence. Since \overline{B({x}_{0},r)} is closed. So there exists {x}^{\ast}\in \overline{B({x}_{0},r)} such that {x}_{n}\to {x}^{\ast} as n\to \mathrm{\infty}. Now we prove that {x}^{\ast}\in T{x}^{\ast}. Since \alpha ({x}_{n},{x}^{\ast})\ge 1 for all n and T is {\alpha}_{\ast}admissible with respect to η, so {\alpha}_{\ast}(T{x}_{n},T{x}^{\ast})\ge 1 for all n. Then
Taking the limit as n\to \mathrm{\infty} in (2.5), we get d({x}^{\ast},T{x}^{\ast})=0. Thus {x}^{\ast}\in T{x}^{\ast}. □
Example 11 Let X=[0,\mathrm{\infty}) and d(x,y)=xy. Define the multivalued mapping T:X\to {2}^{X} by
Considering, {x}_{0}=\frac{1}{2} and {x}_{1}=\frac{1}{4}, r=\frac{1}{2}, then \overline{B({x}_{0},r)}=[0,1] and
Clearly T is an αψcontractive mapping with \psi (t)=\frac{t}{2}. Now
We prove that all the conditions of our Theorem 10 are satisfied only for x,y\in \overline{B({x}_{0},r)}. Without loss of generality, we suppose that x\le y. The contractive condition of theorem is trivial for the case when x=y. So we suppose that x<y. Then
Put {x}_{0}=\frac{1}{2} and {x}_{1}=\frac{1}{4}. Then \alpha ({x}_{0},{x}_{1})\ge 1. Then T has a fixed point 0.
Now we prove that the contractive condition is not satisfied for x,y\notin \overline{B({x}_{0},r)}. We suppose x=\frac{3}{2} and y=2, then
Similarly we can deduce the following corollaries.
Corollary 12 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi}, we have
for all x,y\in \overline{B({x}_{0},r)} and for {x}_{0}\in X, there exists {x}_{1}\in T{x}_{0} such that
for all n\in \mathbb{N} and r>0. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},{x}_{1})\ge 1 for {x}_{0}\in X and {x}_{1}\in T{x}_{0};

(ii)
for a sequence \{{x}_{n}\} in \overline{B({x}_{0},r)} converging to x\in \overline{B({x}_{0},r)} and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Corollary 13 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi}, we have
for all x,y\in \overline{B({x}_{0},r)} and l>0 and for {x}_{0}\in X, there exists {x}_{1}\in T{x}_{0} such that
for all n\in \mathbb{N} and r>0. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},{x}_{1})\ge 1 for {x}_{0}\in X and {x}_{1}\in T{x}_{0};

(ii)
for a sequence \{{x}_{n}\} in \overline{B({x}_{0},r)} converging to x\in \overline{B({x}_{0},r)} and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Theorem 14 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi}, we have
for all x,y\in X. Also suppose that the following assertions hold:

(i)
there exist {x}_{0}\in X and {x}_{1}\in T{x}_{0} with \alpha ({x}_{0},{x}_{1})\ge 1;

(ii)
for a sequence \{{x}_{n}\} in X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Proof Since \alpha ({x}_{0},{x}_{1})\ge 1 and T is {\alpha}_{\ast}admissible, so {\alpha}_{\ast}(T{x}_{0},T{x}_{1})\ge 1. If {x}_{0}={x}_{1}, then we have nothing to prove. Let {x}_{0}\ne {x}_{1}. If {x}_{1}\in T{x}_{1}, then {x}_{1} is a fixed point of T. Assume that {x}_{1}\notin T{x}_{1}, then from (2.7), we get
If max\{d({x}_{1},T{x}_{1}),d({x}_{0},{x}_{1})\}=d({x}_{1},T{x}_{1}), then d({x}_{1},T{x}_{1})\le \psi (d({x}_{1},T{x}_{1})). Since \psi (t)<t for all t>0. Then we get a contradiction. Hence, we obtain max\{d({x}_{1},T{x}_{1}),d({x}_{0},{x}_{1})\}=d({x}_{0},{x}_{1}). So
Let q>1, then from Lemma 9 we take {x}_{2}\in T{x}_{1} such that
It is clear that {x}_{1}\ne {x}_{2}. Put {q}_{1}=\frac{\psi (q\psi (d({x}_{0},{x}_{1})))}{\psi (d({x}_{1},{x}_{2}))}. Then {q}_{1}>1 and \alpha ({x}_{1},{x}_{2})\ge 1. Since T is {\alpha}_{\ast}admissible, so {\alpha}_{\ast}(T{x}_{1},T{x}_{2})\ge 1. If {x}_{2}\in T{x}_{2}, then {x}_{2} is fixed point of T. Assume that {x}_{2}\notin T{x}_{2}. Then from (2.7), we get
If max\{d({x}_{2},T{x}_{2}),d({x}_{1},{x}_{2})\}=d({x}_{2},T{x}_{2}), we get contradiction to the fact d({x}_{2},T{x}_{2})<d({x}_{2},T{x}_{2}). Hence we obtain
So d({x}_{2},T{x}_{2})\le \psi (d({x}_{1},{x}_{2})). Since {q}_{1}>1, so by Lemma 9 we can find {x}_{3}\in T{x}_{2} such that
It is clear that {x}_{2}\ne {x}_{3}. Put {q}_{2}=\frac{{\psi}^{2}(q\psi (d({x}_{0},{x}_{1})))}{\psi (d({x}_{2},{x}_{3}))}. Then {q}_{2}>1 and \alpha ({x}_{2},{x}_{3})\ge 1. Since T is {\alpha}_{\ast}admissible, so {\alpha}_{\ast}(T{x}_{2},T{x}_{3})\ge 1. If {x}_{3}\in T{x}_{3}, then {x}_{3} is fixed point of T. Assume that {x}_{3}\notin T{x}_{3}. From (2.7), we have
If max\{d({x}_{3},T{x}_{3}),d({x}_{2},{x}_{3})\}=d({x}_{3},T{x}_{3}). Then we get a contradiction. So max\{d({x}_{3},T{x}_{3}),d({x}_{2},{x}_{3})\}=d({x}_{2},{x}_{3}). Thus
Since {q}_{2}>1, so by Lemma 9 we can find {x}_{4}\in T{x}_{3} such that
Continuing in this way, we can generate a sequence \{{x}_{n}\} in X such that {x}_{n}\in T{x}_{n1} and {x}_{n}\ne {x}_{n1}, and
for all n. Now, for each m>n, we have
This implies that \{{x}_{n}\} is a Cauchy sequence in X. Since X is complete, there exists {x}^{\ast}\in X such that {x}_{n}\u27f6{x}^{\ast} as n\u27f6\mathrm{\infty}. We now show that {x}^{\ast}\in T{x}^{\ast}. Since \alpha ({x}_{n},{x}^{\ast})\ge 1 for all n and T is {\alpha}_{\ast}admissible, so {\alpha}_{\ast}(T{x}_{n},T{x}^{\ast})\ge 1 for all n. Then
and taking the limit as n\to \mathrm{\infty}, we get d({x}^{\ast},T{x}^{\ast})=0. Thus {x}^{\ast}\in T{x}^{\ast}. □
Example 15 Let X=[0,1] and d(x,y)=xy. Define T:X\to {2}^{X} by Tx=[0,\frac{x}{10}] for all x\in X and
Then \alpha (x,y)\ge 1\u27f9{\alpha}^{\ast}(Tx,Ty)=inf\{\alpha (a,b):a\in Tx,b\in Ty\}\ge 1. Then clearly T is {\alpha}^{\ast}admissible. Now, for x, y and x\le y, it is easy to check that
where \psi (t)=\frac{t}{5}, for all t\ge 0. Put {x}_{0}=1 and {x}_{1}=\frac{1}{2}. Then \alpha ({x}_{0},{x}_{1})=2>1. Then T has fixed point 0.
Corollary 16 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi}, we have
where
for all x,y\in X. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},{x}_{1})\ge 1 for {x}_{0}\in X and {x}_{1}\in T{x}_{0};

(ii)
for a sequence \{{x}_{n}\} in X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Corollary 17 Let (X,d) be a complete metric space and T:X\to {2}^{X} be an {\alpha}_{\ast}admissible and closedvalued multifunction on X. Assume that for \psi \in \mathrm{\Psi}, we have
where
for all x,y\in X and l>0. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},{x}_{1})\ge 1 for {x}_{0}\in X and {x}_{1}\in T{x}_{0};

(ii)
for a sequence \{{x}_{n}\} in X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
If T is singlevalued in Theorem 14, we obtain the following fixed point results.
Theorem 18 Let (X,d) be a complete metric space and T:X\to X be an αadmissible mapping. Assume that for \psi \in \mathrm{\Psi}, we have
for all x,y\in X. Also suppose that the following assertions hold:

(i)
there exists {x}_{0}\in X with \alpha ({x}_{0},T{x}_{0})\ge 1;

(ii)
for a sequence \{{x}_{n}\} in X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Corollary 19 Let (X,d) be a complete metric space and T:X\to X be an αadmissible mapping. Assume that for \psi \in \mathrm{\Psi}, we have
where
for all x,y\in X. Also suppose that the following assertions hold:

(i)
\alpha ({x}_{0},T{x}_{0})\ge 1 for some {x}_{0}\in X;

(ii)
for a sequence \{{x}_{n}\} in X converging to x\in X and \alpha ({x}_{n},{x}_{n+1})\ge 1 for all n\in \mathbb{N}, we have \alpha ({x}_{n},x)\ge 1 for all n\in \mathbb{N}.
Then T has a fixed point.
Now, we give the following result about a fixed point of selfmaps on complete metric spaces.
Theorem 20 Let (X,d) be a complete metric space, \alpha :X\times X\to [0,+\mathrm{\infty}) be a mapping, \psi \in \mathrm{\Psi} and T be a selfmapping on X such that
for all x,y\in X. Suppose that T is αadmissible and there exist {x}_{0}\in X and {x}_{1}\in T{x}_{0} with \alpha ({x}_{0},T{x}_{0})\ge 1. If T is continuous. Then T has a unique fixed point.
Proof Take {x}_{0}\in X such that \alpha ({x}_{0},T{x}_{0})\ge 1, and define the sequence \{{x}_{n}\} in X by {x}_{n+1}=T{x}_{n} for all n\ge 0. If {x}_{n}={x}_{n+1} for some n, then {x}^{\ast}={x}_{n} is a fixed point of T. Assume that {x}_{n}\ne {x}_{n+1} for all n. Since T is αadmissible, so it is easy to check that \alpha ({x}_{n},{x}_{n+1})\ge 1 for all natural numbers n. Thus for each natural number n, we have
If max\{d({x}_{n},{x}_{n+1}),d({x}_{n},{x}_{n1})\}=d({x}_{n},{x}_{n+1}), then d({x}_{n+1},{x}_{n})\le \psi (d({x}_{n+1},{x}_{n})) a contradiction. So we get d({x}_{n+1},{x}_{n})\le \psi (d({x}_{n},{x}_{n1})). Since ψ is nondecreasing, so we have
for all n. It is easy to check that \{{x}_{n}\} is a Cauchy sequence. Since X is complete, so there exists {x}^{\ast}\in X such that {x}_{n}\to {x}^{\ast}. Further the continuity of T implies that
Therefore {x}^{\ast} is a fixed point of T in X. Now, if there exists another point u\ne {x}^{\ast} in X such that Tu=u, then
a contradiction. Hence {x}^{\ast} is a unique fixed point of T in X. □
Example 21 Let X=[0,\mathrm{\infty}) and d(x,y)=xy. Define T:X\to X by Tx=x+1 whenever x,y\in [0,1], Tx=\frac{4}{3} whenever x,y\in (1,2) and Tx={x}^{2}+3x+2 whenever x\in [2,\mathrm{\infty}). Also define the mappings \psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) by \psi (t)=\frac{t}{3} and
By a routine calculation one can easily show that
for all x,y\in X and \frac{4}{3} is unique fixed point of the mapping T.
3 Fixed point results for graphic contractions
Consistent with Jachymski [15], let (X,d) be a metric space and Δ denote the diagonal of the Cartesian product X\times X. Consider a directed graph G such that the set V(G) of its vertices coincides with X, and the set E(G) of its edges contains all loops, i.e., E(G)\supseteq \mathrm{\Delta}. We assume G has no parallel edges, so we can identify G with the pair (V(G),E(G)). Moreover, we may treat G as a weighted graph (see [15]) by assigning to each edge the distance between its vertices. If x and y are vertices in a graph G, then a path in G from x to y of length N (N\in \mathbb{N}) is a sequence {\{{x}_{i}\}}_{i=0}^{N} of N+1 vertices such that {x}_{0}=x, {x}_{N}=y and ({x}_{n1},{x}_{n})\in E(G) for i=1,\dots ,N. A graph G is connected if there is a path between any two vertices. G is weakly connected if \tilde{G} is connected (see for details [7, 9, 13, 15]).
Definition 22 [15]
We say that a mapping T:X\to X is a Banach Gcontraction or simply Gcontraction if T preserves edges of G, i.e.,
and T decreases weights of edges of G in the following way:
Definition 23 [15]
A mapping T:X\to X is called Gcontinuous, if given x\in X and the sequence \{{x}_{n}\}
Theorem 24 Let (X,d) be a complete metric space endowed with a graph G and T be a selfmapping on X. Suppose the following assertions hold:

(i)
\mathrm{\forall}x,y\in X, (x,y)\in E(G)\Rightarrow (T(x),T(y))\in E(G);

(ii)
there exists {x}_{0}\in X such that ({x}_{0},T{x}_{0})\in E(G);

(iii)
there exists \psi \in \mathrm{\Psi} such that
d(Tx,Ty)\le \psi (R(x,y))
for all (x,y)\in E(G) where

(iv)
if \{{x}_{n}\} is a sequence in X such that ({x}_{n},{x}_{n+1})\in E(G) for all n\in \mathbb{N} and {x}_{n}\to x as n\to +\mathrm{\infty}, then ({x}_{n},x)\in E(G) for all n\in \mathbb{N}.
Then T has a fixed point.
Proof Define, \alpha :{X}^{2}\to [0,+\mathrm{\infty}) by \alpha (x,y)=\{\begin{array}{ll}1,& \text{if}(x,y)\in E(G),\\ 0,& \text{otherwise}.\end{array} First we prove that T is an αadmissible mapping. Let, \alpha (x,y)\ge 1, then (x,y)\in E(G). From (i), we have (Tx,Ty)\in E(G). That is, \alpha (Tx,Ty)\ge 1. Thus T is an αadmissible mapping. From (ii) there exists {x}_{0}\in X such that ({x}_{0},T{x}_{0})\in E(G). That is, \alpha ({x}_{0},T{x}_{0})\ge 1. If (x,y)\in E(G), then (Tx,Ty)\in E(G) and hence \alpha (Tx,Ty)=1. Thus, from (iii) we have \alpha (Tx,Ty)d(Tx,Ty)=d(Tx,Ty)\le \psi (M(x,y)). Condition (iv) implies condition (ii) of Theorem 18. Hence, all conditions of Theorem 18 are satisfied and T has a fixed point. □
Corollary 25 Let (X,d) be a complete metric space endowed with a graph G and T be a selfmapping on X. Suppose the following assertions hold:

(i)
T is a Banach Gcontraction;

(ii)
there exists {x}_{0}\in X such that ({x}_{0},T{x}_{0})\in E(G);

(iii)
if \{{x}_{n}\} is a sequence in X such that ({x}_{n},{x}_{n+1})\in E(G) for all n\in \mathbb{N} and {x}_{n}\to x as n\to +\mathrm{\infty}, then ({x}_{n},x)\in E(G) for all n\in \mathbb{N}.
Then T has a fixed point.
As an application of Theorem 20, we obtain;
Theorem 26 Let (X,d) be a complete metric space endowed with a graph G and T be a selfmapping on X. Suppose the following assertions hold:

(i)
\mathrm{\forall}x,y\in X, (x,y)\in E(G)\Rightarrow (T(x),T(y))\in E(G);

(ii)
there exists {x}_{0}\in X such that ({x}_{0},T{x}_{0})\in E(G);

(iii)
there exists \psi \in \mathrm{\Psi} such that
d(Tx,Ty)\le \{\begin{array}{ll}\psi (max\{\frac{d(x,Tx)d(y,Ty)}{d(x,y)},d(x,y)\})& \mathit{\text{for all}}(x,y)\in E(G)\mathit{\text{with}}x\ne y,\\ 0& \mathit{\text{for}}x=y;\end{array} 
(iv)
T is Gcontinuous.
Then T has a fixed point.
Let (X,d,\u2aaf) be a partially ordered metric space. Define the graph G by
For this graph, condition (i) in Theorem 24 means T is nondecreasing with respect to this order [8]. From Theorems 2426 we derive the following important results in partially ordered metric spaces.
Theorem 27 Let (X,d,\u2aaf) be a complete partially ordered metric space and T be a selfmapping on X. Suppose the following assertions hold:

(i)
T is nondecreasing map;

(ii)
there exists {x}_{0}\in X such that {x}_{0}\u2aafT{x}_{0};

(iii)
there exists \psi \in \mathrm{\Psi} such that
d(Tx,Ty)\le \psi (R(x,y))
for all x\u2aafy where

(iv)
if \{{x}_{n}\} is a sequence in X such that {x}_{n}\u2aaf{x}_{n+1} for all n\in \mathbb{N} and {x}_{n}\to x as n\to +\mathrm{\infty}, then {x}_{n}\u2aafx for all n\in \mathbb{N}.
Then T has a fixed point.
Corollary 28 [20]
Let (X,d,\u2aaf) be a complete partially ordered metric space and T:X\to X be nondecreasing mapping such that
for all x,y\in X with x\u2aafy where 0\le r<1. Suppose that the following assertions hold:

(i)
there exists {x}_{0}\in X such that {x}_{0}\u2aafT{x}_{0};

(ii)
if \{{x}_{n}\} is a sequence in X such that {x}_{n}\u2aaf{x}_{n+1} for all n\in \mathbb{N} and {x}_{n}\to x as n\to +\mathrm{\infty}, then {x}_{n}\u2aafx for all n\in \mathbb{N}.
Then T has a fixed point.
Theorem 29 Let (X,d,\u2aaf) be a complete partially ordered metric space and T be a selfmapping on X. Suppose the following assertions hold:

(i)
T is nondecreasing map;

(ii)
there exists {x}_{0}\in X such that {x}_{0}\u2aafT{x}_{0};

(iii)
there exists \psi \in \mathrm{\Psi} such that
d(Tx,Ty)\le \{\begin{array}{ll}\psi (max\{\frac{d(x,Tx)d(y,Ty)}{d(x,y)},d(x,y)\})& \mathit{\text{for all}}x\u2aafy\mathit{\text{with}}x\ne y,\\ 0& \mathit{\text{for}}x=y;\end{array} 
(iv)
T is continuous.
Then T has a fixed point.
References
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 1922, 3: 133181.
Agarwal RP, Hussain N, Taoudi MA: Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012. Article ID 245872, 2012: Article ID 245872
Aghajani A, Radenović S, Roshan JR:Common fixed point results for four mappings satisfying almost generalized (S,T)contractive condition in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 56655670. 10.1016/j.amc.2011.11.061
Ali MU, Kamran T:On ({\alpha}^{\ast}\psi )contractive multivalued mappings. Fixed Point Theory Appl. 2013. Article ID 137, 2013: Article ID 137
Azam A, Arshad M: Fixed points of a sequence of locally contractive multivalued maps. Comput. Math. Appl. 2009, 57: 96100. 10.1016/j.camwa.2008.09.039
Azam A, Mehmood N, Ahmad J, Radenović S: Multivalued fixed point theorems in cone b metric spaces. J. Inequal. Appl. 2013. Article ID 582 , 2013: Article ID 582
Bojor F: Fixed point theorems for Reich type contraction on metric spaces with a graph. Nonlinear Anal. 2012, 75: 38953901. 10.1016/j.na.2012.02.009
Ćirić L, Abbas M, Saadati R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 217: 57845789. 10.1016/j.amc.2010.12.060
Espnola R, Kirk WA: Fixed point theorems in R trees with applications to graph theory. Topol. Appl. 2006, 153: 10461055. 10.1016/j.topol.2005.03.001
Hussain N, Karapınar E, Salimi P, Akbar F: α Admissible mappings and related fixed point theorems. J. Inequal. Appl. 2013. Article ID 114 , 2013: Article ID 114
Hussain N, Kutbi MA, Salimi P: Best proximity point results for modified α  ψ proximal rational contractions. Abstr. Appl. Anal. 2013. Article ID 927457 , 2013: Article ID 927457
Hussain N, Salimi P, Latif A: Fixed point results for single and setvalued α  η  ψ contractive mappings. Fixed Point Theory Appl. 2013. Article ID 212 , 2013: Article ID 212
Hussain N, AlMezel S, Salimi P: Fixed points for ψ graphic contractions with application to integral equations. Abstr. Appl. Anal. 2013. Article ID 575869 , 2013: Article ID 575869
Hussain N, Karapınar E, Salimi P, Vetro P: Fixed point results for {G}^{m} MeirKeeler contractive and G  (\alpha ,\psi ) MeirKeeler contractive mappings. Fixed Point Theory Appl. 2013. Article ID 34 , 2013: Article ID 34
Jachymski J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008,1(136):13591373.
Kutbi MA, Ahmad J, Azam A: On fixed points of α  ψ contractive multivalued mappings in cone metric spaces. Abstr. Appl. Anal. 2013. Article ID 313782 , 2013: Article ID 313782
Lakzian H, Aydi H, Rhoades BE: Fixed points for (\phi ,\psi ,p) weakly contractive mappings in metric spaces with w distance. Appl. Math. Comput. 2013,219(12):67776782. 10.1016/j.amc.2012.11.025
Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 1989, 141: 177188. 10.1016/0022247X(89)90214X
Nadler SB Jr: Multivalued contraction mappings. Pac. J. Math. 1969, 30: 475478. 10.2140/pjm.1969.30.475
Nieto JJ, RodríguezLópez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223229. 10.1007/s1108300590185
Hasanzade Asl J, Rezapour S, Shahzad N: On fixed points of α  ψ contractive multifunctions. Fixed Point Theory Appl. 2012. Article ID 212 , 2012: Article ID 212
Long W, Khaleghizadeh S, Selimi P, Radenović S, Shukla S: Some new fixed point results in partial ordered metric spaces via admissible mappings. Fixed Point Theory Appl. 2014. Article ID 117 , 2014: Article ID 117
Roshan JR, Parvaneh V, Sedghi S, Shobkolaei N, Shatanawi W: Common fixed points of almost generalized {(\psi ,\phi )}_{s} contractive mappings in ordered b metric spaces. Fixed Point Theory Appl. 2013. Article ID 159 , 2013: Article ID 159
Salimi P, Latif A, Hussain N: Modified α  ψ contractive mappings with applications. Fixed Point Theory Appl. 2013. Article ID 151 , 2013: Article ID 151
Samet B, Vetro C, Vetro P: Fixed point theorem for α  ψ contractive type mappings. Nonlinear Anal. 2012, 75: 21542165. 10.1016/j.na.2011.10.014
Shobkolaei N, Sedghi S, Roshan JR, Altun I:Common fixed point of mappings satisfying almost generalized (S,T)contractive condition in partially ordered partial metric spaces. Appl. Math. Comput. 2012, 219: 443452. 10.1016/j.amc.2012.06.063
Shukla S, Radojević S, Veljković Z, Radenović S: Some coincidence and common fixed point theorems for ordered PrešićReich type contractions. J. Inequal. Appl. 2013. Article ID 520 , 2013: Article ID 520
Shukla S, Radenović S, Vetro C: Setvalued HardyRogers type contraction in 0complete partial metric spaces. Int. J. Math. Math. Sci. 2014. Article ID 652925 , 2014: Article ID 652925
Shukla S, Sen R, Radenović S: Setvalued Presić type contraction in metric spaces. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 2014. 10.2478/aicu20140011
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. Therefore, the first author acknowledges with thanks DSR, KAU for financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Hussain, N., Ahmad, J. & Azam, A. Generalized fixed point theorems for multivalued αψcontractive mappings. J Inequal Appl 2014, 348 (2014). https://doi.org/10.1186/1029242X2014348
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014348