• Research
• Open Access

Fixed point analysis for multi-valued operators with graph approach by the generalized Hausdorff distance

Fixed Point Theory and Applications20142014:142

https://doi.org/10.1186/1687-1812-2014-142

• Accepted: 26 June 2014
• Published:

Abstract

In this paper, we establish new fixed point results for multi-valued operator on a cone metric space with respect to a solid cone by using the idea of the generalized Hausdorff distance due to Cho and Bae (Fixed Point Theory Appl. 2011:87, 2011). We also furnish some interesting examples which support our main theorems and give many results as corollaries of our result. As applications of our results, we obtain fixed point results for the multi-valued contraction operators in cone metric spaces endowed with graph.

MSC:47H10, 54H25.

Keywords

• cone metric space
• directed graph
• the generalized Hausdorff distance

1 Introduction

In 2007, Huang and Zhang  re-introduced the concept of cone metric space which is replacing the set of real numbers (as the co-domain of a metric) by an ordered Banach space. They described the convergence sequence in this space via interior points of the cone and also introduced the concept of completeness. By using these concepts, they proved some fixed point theorem for contractive type mappings which is a generalization of Banach’s contraction principle. Afterward, many authors studied and extended fixed point theorems in cone metric spaces (see  and references therein).

In 2011, Janković et al.  showed that most of the fixed point results for mappings satisfying a contractive type condition in cone metric spaces with normal cone can be reduced to the corresponding results from metric space theory. They also give some examples and showed that fixed point theorems from ordinary metric spaces cannot be applied in the setting of cone metric spaces whenever the cone is non-normal. In fact, the fixed point problem in the setting of cone metric spaces is appropriate only in the case when the underlying cone is non-normal with non-empty interior (such cones are called solid) because the results concerning fixed points and other results in this case cannot be proved by reducing to metric spaces. So fixed point results in this trend are still of interest and importance in some ways.

On the other hand, a study of fixed point for multi-valued (set-valued) operators was originally initiated by von Neumann  in the study of game theory. In 1969, the development of geometric fixed point theory for a multi-valued operator via the concept of Hausdorff distance was initiated with the work of Nadler , usually referred to as Nadler’s contraction principle. Many authors in  proved fixed point theorems for multi-valued operators in cone metric spaces which are generalizations of classical Nadler’s contraction principle.

Recently, Cho and Bae  first introduced the concept of the generalized Hausdorff distance operator in cone metric spaces and initially studied fixed point results for a multi-valued operator via such a concept in cone metric spaces. Most recently, Kutbi et al.  established fixed point results for multi-valued operator under the generalized contractive condition via the generalized Hausdorff distance operator of Cho and Bae .

In this paper, we establish new fixed point results for multi-valued operator by using the idea of generalized Hausdorff distance in the context of cone metric spaces with respect to a solid cone. Our results unify, generalize, and complement results of Kutbi et al.  and many results from the literature. Also, we furnish some interesting examples which support our main theorems. As an application, we analyze the fixed points for the multi-valued contraction operators in cone metric spaces endowed with a graph.

2 Preliminaries

Throughout this paper, we denote by , ${\mathbb{R}}_{+}$ and the sets of positive integers, non-negative real numbers and real numbers, respectively.

Now, we recall some definitions and lemmas in cone metric spaces and the notion of the generalized Hausdorff distance operator of Cho and Bae , which will be required in the sequel.

Let $\left(\mathbb{E},{\parallel \cdot \parallel }_{\mathbb{E}}\right)$ be a real Banach space and θ be a zero element in . A subset P of is called a cone if the following conditions are satisfied:

(C1) P is non-empty closed and $P\ne \left\{\theta \right\}$;

(C2) $ax+by\in P$ for all $x,y\in P$ and $a,b\ge 0$;

(C3) $P\cap \left(-P\right)=\left\{\theta \right\}$.

For a given cone $P\subseteq \mathbb{E}$, we define a partial ordering with respect to P by $x⪯y$ if and only if $y-x\in P$ and $x\prec y$ stands for $x⪯y$ and $x\ne y$, while $x\ll y$ stands for $y-x\in int\left(P\right)$, where $int\left(P\right)$ denotes the interior of P.

The cone P is said to be normal if there exists a real number $K>0$ such that for all $x,y\in E$,
$\theta ⪯x⪯y\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}{\parallel x\parallel }_{E}\le K{\parallel y\parallel }_{E}.$

The least positive number K satisfying the above statement is called the normal constant of P. In 2008, Rezapour and Hamlbarani  showed that there are no normal cones with normal constant $K<1$.

Definition 2.1 ()

Let X be a non-empty set and P be a cone in real Banach space . If a function $d:X×X\to \mathbb{E}$ satisfies the following conditions:

(CM1) $\theta ⪯d\left(x,y\right)$ for all $x,y\in X$ and $d\left(x,y\right)=\theta$ if and only if $x=y$;

(CM2) $d\left(x,y\right)=d\left(y,x\right)$ for all $x,y\in X$;

(CM3) $d\left(x,z\right)⪯d\left(x,y\right)+d\left(y,z\right)$ for all $x,y,z\in X$,

then d is called a cone metric on X and $\left(X,d\right)$ is called a cone metric space.

Definition 2.2 ()

Let $\left(X,d\right)$ be a cone metric space with cone P in real Banach space , $\left\{{x}_{n}\right\}$ be a sequence in X and $x\in X$.
1. 1.

If for every $c\in \mathbb{E}$ with $\theta \ll c$, there is $N\in \mathbb{N}$ such that $d\left({x}_{n},x\right)\ll c$ for all $n\ge N$, then $\left\{{x}_{n}\right\}$ is said to converge to x. This limit is denoted by ${lim}_{n\to \mathrm{\infty }}{x}_{n}=x$ or ${x}_{n}\to x$ as $n\to \mathrm{\infty }$.

2. 2.

If for every $c\in \mathbb{E}$ with $\theta \ll c$, there is $N\in \mathbb{N}$ such that $d\left({x}_{n},{x}_{m}\right)\ll c$ for all $n,m>N$, then $\left\{{x}_{n}\right\}$ is called a Cauchy sequence in X.

3. 3.

If every Cauchy sequence in X is convergent in X, then $\left(X,d\right)$ is called a complete cone metric space.

Remark 2.1 The cone metric is not continuous in the general case, i.e., from ${x}_{n}\to x$, ${y}_{n}\to y$ as $n\to \mathrm{\infty }$ it need not follow that $d\left({x}_{n},{y}_{n}\right)\to d\left(x,y\right)$ as $n\to \mathrm{\infty }$. However, if $\left(X,d\right)$ is a cone metric space with a normal cone P, then the cone metric d is continuous (see Lemma 5 in ).

Definition 2.3 ()

Let $\left(X,d\right)$ be a cone metric space. A subset $A\subseteq X$ is called closed if for any sequence $\left\{{x}_{n}\right\}$ in A convergent to x, we have $x\in A$.

Lemma 2.1 ()

Let $\left(X,d\right)$ be a cone metric space (particularly when dealing with cone metric spaces in which the cone need not be normal). Then the following properties hold:

(PT1) If $u⪯v$ and $v\ll w$, then $u\ll w$.

(PT2) If $u\ll v$ and $v⪯w$, then $u\ll w$.

(PT3) If $u\ll v$ and $v\ll w$, then $u\ll w$.

(PT4) If $\theta ⪯u\ll c$ for each $c\in int\left(P\right)$, then $u=\theta$.

(PT5) If $a⪯b+c$, for each $c\in int\left(P\right)$, then $a⪯b$.

(PT6) If $c\in int\left(P\right)$ and $\left\{{a}_{n}\right\}$ is a sequence in such that $\theta ⪯{a}_{n}$ for all $n\in \mathbb{N}$ and ${a}_{n}\to \theta$ as $n\to \mathrm{\infty }$, then there exists $N\in \mathbb{N}$ such that for all $n\ge N$, we have ${a}_{n}\ll c$.

For a cone metric space $\left(X,d\right)$, denote
and
For $A,B\in CB\left(X\right)$ we denote the generalized Hausdorff distance induced by d (see ) by the following notation:
$s\left(A,B\right):=\left(\bigcap _{a\in A}s\left(a,B\right)\right)\cap \left(\bigcap _{b\in B}s\left(b,A\right)\right).$

The following remarks are found in .

Remark 2.2 Let $\left(X,d\right)$ be a cone metric space. The functional $H:CB\left(X\right)×CB\left(X\right)\to \left[0,\mathrm{\infty }\right)$ defined by
$H\left(A,B\right)=infs\left(A,B\right)$

for all $A,B\in CB\left(X\right)$, is the Hausdorff distance induced by d.

Remark 2.3 Let $\left(X,d\right)$ be a cone metric space. Then $s\left(\left\{a\right\},\left\{b\right\}\right)=s\left(d\left(a,b\right)\right)$ for all $a,b\in X$.

Lemma 2.2 ()

Let $\left(X,d\right)$ be a cone metric space with cone P in real Banach space .

(L1) Let $p,q\in \mathbb{E}$. If $p⪯q$, then $s\left(q\right)\subseteq s\left(p\right)$.

(L2) Let $x\in X$ and $A\in N\left(X\right)$. If $\theta \in s\left(x,A\right)$, then $x\in A$.

(L3) Let $q\in P$ and $A,B\in CB\left(X\right)$. If $q\in s\left(A,B\right)$, then $q\in s\left(a,B\right)$ for all $a\in A$ and $q\in s\left(A,b\right)$ for all $b\in B$.

(L4) Let $q\in P$ and let $\lambda \ge 0$, then $\lambda s\left(q\right)\subseteq s\left(\lambda q\right)$.

In 2012, Samet et al.  introduced the idea of an α-admissible mapping and proved a fixed point theorem for a single valued mapping by using this concept. They showed that these results can be utilized to derive fixed point theorems in partially ordered spaces and also applied the main results to ordinary differential equations. Afterward, Asl et al.  introduced the concept of ${\alpha }_{\ast }$-admissible operator, which is multi-valued version of the α-admissible mapping provided in .

Definition 2.4 ()

Let X be a non-empty set, $F:X\to {2}^{X}$, where ${2}^{X}$ is a collection of non-empty subset of X and $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a mapping. We say that F is ${\alpha }_{\ast }$-admissible if the following condition holds:

where ${\alpha }_{\ast }\left(Fx,Fy\right):=inf\left\{\alpha \left(a,b\right)|a\in Fx,b\in Fy\right\}$.

Recently, Mohammadi et al.  extended the concept of ${\alpha }_{\ast }$-admissible operator to α-admissible operator as follows.

Definition 2.5 ()

Let X be a non-empty set, $F:X\to {2}^{X}$, where ${2}^{X}$ is a collection of non-empty subset of X and $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a mapping. We say that F is α-admissible whenever for each $x\in X$ and $y\in Fx$ with $\alpha \left(x,y\right)\ge 1$, we have $\alpha \left(y,z\right)\ge 1$ for all $z\in Fy$.

Remark 2.4 If F is ${\alpha }_{\ast }$-admissible, then F is also α-admissible.

3 Fixed point results for multi-valued operators

In the following, we always suppose that Ψ be a family of functions $\psi :P\to P$ such that
1. (i)

$\psi \left(\theta \right)=\theta$ and $\theta \prec \psi \left(t\right)\prec t$ for $t\in P-\left\{\theta \right\}$,

2. (ii)

$\psi \left(t\right)\ll t$ for all $\theta \ll t$,

3. (iii)

${lim}_{n\to \mathrm{\infty }}{\psi }^{n}\left(t\right)=\theta$ for every $t\in P-\left\{\theta \right\}$,

4. (iv)

ψ is a strictly increasing function, i.e., $\psi \left(a\right)\prec \psi \left(b\right)$ whenever $a\prec b$.

Remark 3.1 From (i), we obtain $\psi \left(t\right)⪯t$ for all $t\in P$.

Definition 3.1 Let $\left(X,d\right)$ be a cone metric space with cone P in real Banach space , $\psi :P\to P$ and $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be two given mappings. The multi-valued operator $F:X\to CB\left(X\right)$ is said to be an α-ψ-contraction if
$\psi \left(d\left(x,y\right)\right)\in \alpha \left(x,y\right)s\left(Fx,Fy\right)$
(3.1)

for all $x,y\in X$,

Theorem 3.1 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a given mapping, $\psi \in \mathrm{\Psi }$ and $F:X\to CB\left(X\right)$ be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
1. (a)

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

3. (c)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof We start from ${x}_{0}$ and ${x}_{1}\in F{x}_{0}$ in (b). Since F is an α-ψ-contraction multi-valued operator, we have
$\psi \left(d\left({x}_{0},{x}_{1}\right)\right)\in \alpha \left({x}_{0},{x}_{1}\right)s\left(F{x}_{0},F{x}_{1}\right).$
Using Lemma 2.2(L3), we get
$\psi \left(d\left({x}_{0},{x}_{1}\right)\right)\in \alpha \left({x}_{0},{x}_{1}\right)s\left({x}_{1},F{x}_{1}\right).$
By definition of $s\left({x}_{1},F{x}_{1}\right)$, we can take ${x}_{2}\in F{x}_{1}$ such that
$\psi \left(d\left({x}_{0},{x}_{1}\right)\right)\in \alpha \left({x}_{0},{x}_{1}\right)s\left(d\left({x}_{1},{x}_{2}\right)\right).$
By Lemma 2.2(L4), we have
$\psi \left(d\left({x}_{0},{x}_{1}\right)\right)\in \alpha \left({x}_{0},{x}_{1}\right)s\left(d\left({x}_{1},{x}_{2}\right)\right)\subseteq s\left(\alpha \left({x}_{0},{x}_{1}\right)d\left({x}_{1},{x}_{2}\right)\right).$
This implies that
$\alpha \left({x}_{0},{x}_{1}\right)d\left({x}_{1},{x}_{2}\right)⪯\psi \left(d\left({x}_{0},{x}_{1}\right)\right).$
Now, we have
$d\left({x}_{1},{x}_{2}\right)⪯\alpha \left({x}_{0},{x}_{1}\right)d\left({x}_{1},{x}_{2}\right)⪯\psi \left(d\left({x}_{0},{x}_{1}\right)\right).$
It follows from F being an α-ψ-contraction multi-valued operator that
$\psi \left(d\left({x}_{1},{x}_{2}\right)\right)\in \alpha \left({x}_{1},{x}_{2}\right)s\left(F{x}_{1},F{x}_{2}\right).$
From Lemma 2.2(L3), we obtain
$\psi \left(d\left({x}_{1},{x}_{2}\right)\right)\in \alpha \left({x}_{1},{x}_{2}\right)s\left({x}_{2},F{x}_{2}\right).$
By definition of $s\left({x}_{2},F{x}_{2}\right)$, we can choose ${x}_{3}\in F{x}_{2}$ such that
$\psi \left(d\left({x}_{1},{x}_{2}\right)\right)\in \alpha \left({x}_{1},{x}_{2}\right)s\left(d\left({x}_{2},{x}_{3}\right)\right).$
From Lemma 2.2(L4), we obtain
$\psi \left(d\left({x}_{1},{x}_{2}\right)\right)\in \alpha \left({x}_{1},{x}_{2}\right)s\left(d\left({x}_{2},{x}_{3}\right)\right)\subseteq s\left(\alpha \left({x}_{1},{x}_{2}\right)d\left({x}_{2},{x}_{3}\right)\right)$
and hence
$\alpha \left({x}_{1},{x}_{2}\right)d\left({x}_{2},{x}_{3}\right)⪯\psi \left(d\left({x}_{1},{x}_{2}\right)\right).$
Since ${x}_{1}\in F{x}_{0}$, ${x}_{2}\in F{x}_{1}$, $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$ and F is α-admissible operator, we have $\alpha \left({x}_{1},{x}_{2}\right)\ge 1$. Therefore,
$d\left({x}_{2},{x}_{3}\right)⪯\alpha \left({x}_{1},{x}_{2}\right)d\left({x}_{2},{x}_{3}\right)⪯\psi \left(d\left({x}_{1},{x}_{2}\right)\right).$
Inductively, we can construct a sequence $\left\{{x}_{n}\right\}$ in X such that
${x}_{n}\in F{x}_{n-1},$
(3.2)
$d\left({x}_{n},{x}_{n+1}\right)⪯\psi \left(d\left({x}_{n-1},{x}_{n}\right)\right)$
(3.3)
and
$\alpha \left({x}_{n-1},{x}_{n}\right)\ge 1$
(3.4)
for all $n\in \mathbb{N}$. If there exists ${n}^{\ast }\in \mathbb{N}$ such that ${x}_{{n}^{\ast }-1}={x}_{{n}^{\ast }}$, then ${x}_{{n}^{\ast }-1}$ is a fixed point of F. This finishes the proof. Therefore, we may assume that ${x}_{n-1}\ne {x}_{n}$ for all $n\in \mathbb{N}$. From (3.3), we obtain
$d\left({x}_{n},{x}_{n+1}\right)⪯\psi \left(d\left({x}_{n-1},{x}_{n}\right)\right)⪯\cdots ⪯{\psi }^{n}\left(d\left({x}_{0},{x}_{1}\right)\right)$
(3.5)

for all $n\in \mathbb{N}$. Since $\psi \in \mathrm{\Psi }$, we have ${\psi }^{n}\left(d\left({x}_{0},{x}_{1}\right)\right)\to \theta$ as $n\to \mathrm{\infty }$.

Fix $c\in \mathbb{E}$ such that $\theta \ll c$. Using the property of ψ, we get $\theta \ll c-\psi \left(c\right)$. By (PT6), there is $N\in \mathbb{N}$ such that ${\psi }^{n}\left(d\left({x}_{0},{x}_{1}\right)\right)\ll c-\psi \left(c\right)$ and ${\psi }^{n}\left(d\left({x}_{0},{x}_{1}\right)\right)\ll c$ for $n\ge N$. Therefore, $d\left({x}_{n},{x}_{n+1}\right)\ll c-\psi \left(c\right)$ and $d\left({x}_{n},{x}_{n+1}\right)\ll c$ for $n\ge N$. For fixed $m>n\ge N$, we have
$\begin{array}{c}d\left({x}_{n},{x}_{n+2}\right)⪯d\left({x}_{n},{x}_{n+1}\right)+d\left({x}_{n+1},{x}_{n+2}\right)\ll c-\psi \left(c\right)+\psi \left(d\left({x}_{n},{x}_{n+1}\right)\right)\hfill \\ \phantom{d\left({x}_{n},{x}_{n+2}\right)}\ll c-\psi \left(c\right)+\psi \left(c\right)=c,\hfill \\ d\left({x}_{n},{x}_{n+3}\right)⪯d\left({x}_{n},{x}_{n+1}\right)+d\left({x}_{n+1},{x}_{n+3}\right)\ll c-\psi \left(c\right)+\psi \left(d\left({x}_{n},{x}_{n+2}\right)\right)\hfill \\ \phantom{d\left({x}_{n},{x}_{n+3}\right)}\ll c-\psi \left(c\right)+\psi \left(c\right)=c,\hfill \\ ⋮\hfill \\ d\left({x}_{n},{x}_{m}\right)⪯d\left({x}_{n},{x}_{n+1}\right)+d\left({x}_{n+1},{x}_{m}\right)\ll c-\psi \left(c\right)+\psi \left(d\left({x}_{n},{x}_{m-1}\right)\right)\hfill \\ \phantom{d\left({x}_{n},{x}_{m}\right)}\ll c-\psi \left(c\right)+\psi \left(c\right)=c.\hfill \end{array}$
This shows that $\left\{{x}_{n}\right\}$ is a Cauchy sequence. By the completeness of X, we get ${x}_{n}\to u$ for some $u\in X$. Using (3.4) and (c), we obtain $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$. Now, we have
$\psi \left(d\left({x}_{n},u\right)\right)\in \alpha \left({x}_{n},u\right)s\left(F{x}_{n},Fu\right)$
for all $n\in \mathbb{N}$. By Lemma 2.2(L3), we have
$\psi \left(d\left({x}_{n},u\right)\right)\in \alpha \left({x}_{n},u\right)s\left({x}_{n+1},Fu\right)$
for all $n\in \mathbb{N}$. Therefore, we can choose ${v}_{n}\in Fu$ such that
$\psi \left(d\left({x}_{n},u\right)\right)\in \alpha \left({x}_{n},u\right)s\left(d\left({x}_{n+1},{v}_{n}\right)\right)$
for all $n\in \mathbb{N}$. Using Lemma 2.2(L4), we get
$\psi \left(d\left({x}_{n},u\right)\right)\in \alpha \left({x}_{n},u\right)s\left(d\left({x}_{n+1},{v}_{n}\right)\right)\subseteq s\left(\alpha \left({x}_{n},u\right)d\left({x}_{n+1},{v}_{n}\right)\right)$
and so
$\alpha \left({x}_{n},u\right)d\left({x}_{n+1},{v}_{n}\right)⪯\psi \left(d\left({x}_{n},u\right)\right)$
for all $n\in \mathbb{N}$. Therefore, we have
$d\left({x}_{n+1},{v}_{n}\right)⪯\alpha \left({x}_{n},u\right)d\left({x}_{n+1},{v}_{n}\right)⪯\psi \left(d\left({x}_{n},u\right)\right)⪯d\left({x}_{n},u\right)$
for all $n\in \mathbb{N}$. Since ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, for a given $c\in \mathbb{E}$ with $\theta \ll c$, there is ${N}^{\prime }\in \mathbb{N}$ such that
$d\left(u,{x}_{n}\right)\ll \frac{c}{2}$
for all $n\ge {N}^{\prime }$. It follows that
$\begin{array}{rcl}d\left(u,{v}_{n}\right)& ⪯& d\left(u,{x}_{n+1}\right)+d\left({x}_{n+1},{v}_{n}\right)\\ ⪯& d\left(u,{x}_{n+1}\right)+d\left({x}_{n},u\right)\\ \ll & \frac{c}{2}+\frac{c}{2}\\ =& c\end{array}$

for all $n\ge {N}^{\prime }$. Hence, we have ${lim}_{n\to \mathrm{\infty }}{v}_{n}=u$. Since Fu is closed and ${v}_{n}\in Fu$ for all $n\in \mathbb{N}$, we obtain $u\in Fu$. This implies that u is a fixed point of F. This completes the proof. □

Now we give an example to support Theorem 3.1.

Example 3.2 Let be a real Banach space with norm ${\parallel \cdot \parallel }_{\mathbb{E}}$ defined by
${\parallel f\parallel }_{\mathbb{E}}=\underset{t\in \left[0,1\right]}{sup}|f\left(t\right)|+\underset{t\in \left[0,1\right]}{sup}|{f}^{\prime }\left(t\right)|$
for each $f\in \mathbb{E}$, where $\theta :={f}_{0}\in \mathbb{E}$ which is defined by ${f}_{0}\left(t\right)=0$ for all $t\in \left[0,1\right]$. Define cone P in by

This cone is solid but non-normal (see ).

Let $X=\left[0,10\right]$ and define cone metric $d:X×X\to \mathbb{E}$ for each $x,y\in X$ as follows:
$d\left(x,y\right)\left(t\right)=|x-y|{e}^{t}$
for all $t\in \left[0,1\right]$. Define a mapping $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ and a multi-valued operator $F:X\to CB\left(X\right)$ by
$\alpha \left(x,y\right)=\left\{\begin{array}{cc}{x}^{2}+{y}^{2}+1,\hfill & x,y\in \left[0,1\right],\hfill \\ 0,\hfill & \text{otherwise},\hfill \end{array}$
and
$Fx=\left\{\begin{array}{cc}\left\{\frac{x}{6}\right\},\hfill & x\in \left[0,1\right],\hfill \\ \left[\frac{10x-10}{9},x\right],\hfill & \text{otherwise}.\hfill \end{array}$
Now we show that F is an α-ψ-contraction multi-valued operator with $\psi :P\to P$ define by $\psi \left(f\right)=\frac{1}{2}f$ for all $f\in P$. For $x,y\in \left[0,1\right]$, we obtain
$\begin{array}{rcl}\alpha \left(x,y\right)d\left(\frac{x}{6},\frac{y}{6}\right)\left(t\right)& =& \left({x}^{2}+{y}^{2}+1\right)|\frac{x-y}{6}|{e}^{t}\\ \le & \left(1+1+1\right)|\frac{x-y}{6}|{e}^{t}\\ =& \frac{1}{2}|x-y|{e}^{t}\\ =& \left(\psi \left(d\left(x,y\right)\right)\right)\left(t\right),\end{array}$

which implies that $\psi \left(d\left(x,y\right)\right)\in \alpha \left(x,y\right)s\left(Fx,Fy\right)$. Otherwise, it is easy to see that $\psi \left(d\left(x,y\right)\right)\in \alpha \left(x,y\right)s\left(Fx,Fy\right)$. Therefore, F is an α-ψ-contraction multi-valued operator.

Next, we show that our results in this paper can be used for this case. It is easy to see that F is an α-admissible operator and there exist ${x}_{0}=1$ and ${x}_{1}=1/6\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)=\alpha \left(1,1/6\right)\ge 1$. Also, we see that condition (c) in Theorem 3.1 holds. Therefore, all the conditions of Theorem 3.1 are satisfied and so F has a fixed point.

Corollary 3.3 ()

Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a given mapping, $\psi \in \mathrm{\Psi }$ and $F:X\to CB\left(X\right)$ be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
1. (a)

F is ${\alpha }_{\ast }$-admissible operator;

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

3. (c)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof We can prove this result by using Theorem 3.1 and Remark 2.4. □

Corollary 3.4 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a given mapping and $F:X\to CB\left(X\right)$ be multi-valued operator such that
$kd\left(x,y\right)\in \alpha \left(x,y\right)s\left(Fx,Fy\right)$
(3.6)
for all $x,y\in X$, where $k\in \left[0,1\right)$. Suppose that the following conditions hold:
1. (a)

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

3. (c)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof By taking $\psi \left(t\right)=kt$ for all $t\in P$ in Theorem 3.1, we get this result. □

Corollary 3.5 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , $\psi \in \mathrm{\Psi }$ and $F:X\to CB\left(X\right)$ be multi-valued operator such that
$\psi \left(d\left(x,y\right)\right)\in s\left(Fx,Fy\right)$
(3.7)

for all $x,y\in X$. Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof By taking $\alpha \left(x,y\right)=1$ for all $x,y\in X$ in Theorem 3.1, we get this result. □

Corollary 3.6 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space and $F:X\to CB\left(X\right)$ be multi-valued operator such that
$kd\left(x,y\right)\in s\left(Fx,Fy\right)$
(3.8)

for all $x,y\in X$, where $k\in \left[0,1\right)$. Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof By taking $\psi \left(t\right)=kt$ for all $t\in P$ and $\alpha \left(x,y\right)=1$ for all $x,y\in X$ in Theorem 3.1, we get this result. □

By Remark 2.2, we get the following results.

Corollary 3.7 Let $\left(X,d\right)$ be a complete metric space, $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a given mapping and $F:X\to CB\left(X\right)$ be multi-valued operator such that
$\alpha \left(x,y\right)H\left(Fx,Fy\right)\le kd\left(x,y\right)$
(3.9)
for all $x,y\in X$, where $k\in \left[0,1\right)$. Suppose that the following conditions hold:
1. (a)

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

3. (c)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Corollary 3.8 ()

Let $\left(X,d\right)$ be a complete metric space and $F:X\to CB\left(X\right)$ be multi-valued operator such that
$H\left(Fx,Fy\right)\le kd\left(x,y\right)$
(3.10)

for all $x,y\in X$, where $k\in \left[0,1\right)$. Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Next, we give a lemma which is useful to prove the second main result. Moreover, this lemma is also a tool for analyzing fixed point results in a directed graph in Section 4.

Lemma 3.9 Let $\left(X,d\right)$ be a cone metric space with cone P in real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a given mapping. If α has transitive property (i.e., if $\alpha \left(x,y\right)\ge 1$ and $\alpha \left(y,z\right)\ge 1$, then $\alpha \left(x,z\right)\ge 1$), then the following conditions are equivalent:
1. (c)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then $\alpha \left({x}_{n},u\right)\ge 1$ for all $n\in \mathbb{N}$;

(c′) if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ with $\alpha \left({x}_{{k}_{n}},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Proof It easy to see that (c) (c′). Now assume (c′) holds and $\left\{{x}_{n}\right\}$ is as in (c). By transitivity, $\alpha \left({x}_{n},{x}_{m}\right)\ge 1$ if $n\le m$. From (c′), there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ such that $\alpha \left({x}_{{k}_{n}},u\right)\ge 1$ for $n\in \mathbb{N}$. Since $n\le {k}_{n}$, we have $\alpha \left({x}_{n},{x}_{{k}_{n}}\right)\ge 1$. By transitivity, we have $\alpha \left({x}_{n},u\right)\ge 1$. □

Using Lemma 3.9, we have the following result.

Corollary 3.10 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in a real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a mapping satisfying transitive property, $\psi \in \mathrm{\Psi }$ and $F:X\to CB\left(X\right)$ be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
1. (a)

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

(c′) if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ with $\alpha \left({x}_{{k}_{n}},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Corollary 3.11 Let $\left(X,d\right)$ be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ be a mapping satisfying transitive property, $\psi \in \mathrm{\Psi }$ and $F:X\to CB\left(X\right)$ be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
1. (a)

F is ${\alpha }_{\ast }$-admissible operator;

2. (b)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$;

(c′) if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to u$ as $n\to \mathrm{\infty }$, then there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ with $\alpha \left({x}_{{k}_{n}},u\right)\ge 1$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

4 Fixed point analysis with graph

Throughout this section let $\left(X,d\right)$ be a cone metric space. A set $\left\{\left(x,x\right):x\in X\right\}$ is called a diagonal of the Cartesian product $X×X$ and is denoted by Δ. Consider a directed graph G such that the set $V\left(G\right)$ of its vertices coincides with X and the set $E\left(G\right)$ of its edges contains all loops, i.e., $\mathrm{\Delta }\subseteq E\left(G\right)$. We assume G has no parallel edges, so we can identify G with the pair $\left(V\left(G\right),E\left(G\right)\right)$. Moreover, we may treat G as a weighted graph 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}\cup \left\{0\right\}$) is a sequence ${\left\{{x}_{i}\right\}}_{i=0}^{N}$ of $N+1$ vertices such that ${x}_{0}=x$, ${x}_{N}=y$ and $\left({x}_{n-1},{x}_{n}\right)\in E\left(G\right)$ for $i=1,\dots ,N$.

A graph G is connected if there is a path between any two vertices. Also, G is weakly connected if $\stackrel{˜}{G}$ is connected, where $\stackrel{˜}{G}$ is the undirected graph obtained from G by ignoring the direction of the edges.

Recently, some results have appeared providing sufficient conditions for a single valued mapping and a multi-valued operator on some space which is endowed with a graph to be a Picard operator. The first result in this direction was given by Jachymski .

In this section, we give the existence of fixed point theorems for multi-valued operator in a cone metric space endowed with a graph under the generalized Hausdorff distance. Before presenting our results, we will introduce new definitions in a cone metric space endowed with a graph.

Definition 4.1 Let $\left(X,d\right)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G and $F:X\to CB\left(X\right)$ be multi-valued operator. We say that F weakly preserves edges of G if for each $x\in X$ and $y\in Fx$ with $\left(x,y\right)\in E\left(G\right)$ it is implied that $\left(y,z\right)\in E\left(G\right)$ for all $z\in Fy$.

Definition 4.2 Let $\left(X,d\right)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G and $\psi \in \mathrm{\Psi }$. A multi-valued operator $F:X\to CB\left(X\right)$ is said to be a ψ-G-contraction if
$\psi \left(d\left(x,y\right)\right)\in s\left(Fx,Fy\right)$
(4.1)

for all $x,y\in X$ with $\left(x,y\right)\in E\left(G\right)$. If ψ defined by $\psi \left(t\right)=kt$ for all $t\in P$, where $k\in \left[0,1\right)$, then F is said to be a generalized Banach G-contraction.

Remark 4.1 Note that a Banach G-contraction in the sense of being multi-valued, i.e.,
$H\left(Fx,Fy\right)⪯kd\left(x,y\right)$

for all $x,y\in X$ for which $\left(x,y\right)\in E\left(G\right)$, where $k\in \left[0,1\right)$, is a ψ-G-contraction by using Remark 2.2.

Example 4.1 Any mapping $F:X\to CB\left(X\right)$ defined by $Fx=\left\{a\right\}$, where $a\in X$, is a ψ-G-contraction for any graph G with $V\left(G\right)=X$ and all $\psi \in \mathrm{\Psi }$.

Example 4.2 Any mapping $F:X\to CB\left(X\right)$ is trivially a ψ-G-contraction, where $G=\left(V\left(G\right),E\left(G\right)\right)=\left(X,\mathrm{\Delta }\right)$.

Definition 4.3 Let $\left(X,d\right)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G. We say that X has the G-regular property if given $x\in X$ and sequence $\left\{{x}_{n}\right\}$ in X such that ${x}_{n}\to x$ as $n\to \mathrm{\infty }$ and $\left({x}_{n},{x}_{n+1}\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$, then $\left({x}_{n},u\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$.

Definition 4.4 Let $\left(X,d\right)$ be a cone metric space (with cone P in real Banach space ) endowed with a graph G. We say that $E\left(G\right)$ is quasi-ordered (or transitive) if $\left(x,y\right)\in E\left(G\right)$ and $\left(y,z\right)\in E\left(G\right)$ imply $\left(x,y\right)\in E\left(G\right)$ for all $x,y,z\in X$.

Here, we give two fixed point results for multi-valued operator in a cone metric space endowed with a graph.

Theorem 4.3 Let $\left(X,d\right)$ be a complete cone metric space (with cone P in real Banach space ) endowed with a graph G and $F:X\to CB\left(X\right)$ be a ψ-G-contraction. Suppose that the following conditions hold:
1. (A)

F weakly preserves edges of G;

2. (B)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\left({x}_{0},{x}_{1}\right)\in E\left(G\right)$;

3. (C)

X has the G-regular property.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof Consider the mapping $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ defined by
$\alpha \left(x,y\right)=\left\{\begin{array}{cc}1,\hfill & \left(x,y\right)\in E\left(G\right);\hfill \\ 0,\hfill & \text{otherwise}.\hfill \end{array}$
(4.2)
Since F is a ψ-G-contraction, we have, for all $x,y\in X$,
$\psi \left(d\left(x,y\right)\right)\in \alpha \left(x,y\right)s\left(Fx,Fy\right).$
(4.3)

This implies that F satisfies (3.1). By construction of α and hypothesis (A), we see that F is an α-admissible operator. From condition (B) and the definition of α, we get $\alpha \left({x}_{0},{x}_{1}\right)\ge 1$. Using the G-regular property of X, we find that condition (c) in Theorem 3.1 holds. Now all the hypotheses of Theorem 3.1 are satisfied and so the existence of the fixed point of F follows from Theorem 3.1. □

Corollary 4.4 Let $\left(X,d\right)$ be a complete cone metric space (with cone P in real Banach space ) endowed with a graph G and $F:X\to CB\left(X\right)$ be a generalized Banach G-contraction. Suppose that the following conditions hold:
1. (A)

F weakly preserves edges of G;

2. (B)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\left({x}_{0},{x}_{1}\right)\in E\left(G\right)$;

3. (C)

X has the G-regular property.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

By Remark 2.2, we get the multi-valued version of Jachymski’s result in .

Corollary 4.5 Let $\left(X,d\right)$ be a complete cone metric space (with cone P in real Banach space ) endowed with a graph G and $F:X\to CB\left(X\right)$ be a multi-valued operator such that
$H\left(Fx,Fy\right)⪯kd\left(x,y\right)$
(4.4)
for all $x,y\in X$ with $\left(x,y\right)\in E\left(G\right)$, where $k\in \left[0,1\right)$. Suppose that the following conditions hold:
1. (A)

F weakly preserves edges of G;

2. (B)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\left({x}_{0},{x}_{1}\right)\in E\left(G\right)$;

3. (C)

X has the G-regular property.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Next, we give the fixed point result for a multi-valued operator in a connected graph.

Theorem 4.6 Let $\left(X,d\right)$ be a complete cone metric space (with cone P in real Banach space ) endowed with a connected graph G and $F:X\to CB\left(X\right)$ be a ψ-G-contraction. Suppose that the following conditions hold:
1. (A)

F weakly preserves edges of G;

2. (B)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\left({x}_{0},{x}_{1}\right)\in E\left(G\right)$;

(C′) if $u\in X$ and a sequence $\left\{{x}_{n}\right\}$ in X are given such that ${x}_{n}\to u$ as $n\to \mathrm{\infty }$ and $\left({x}_{n},{x}_{n+1}\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$, then there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ with $\left({x}_{{k}_{n}},u\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Proof Since G is a connected graph, $E\left(G\right)$ is a quasi-ordered. Consider the mapping $\alpha :X×X\to \left[0,\mathrm{\infty }\right)$ defined as in the proof of Theorem 4.3. It follows from $E\left(G\right)$ being quasi-ordered that α has the transitive property. By Lemma 3.9, we note that condition (C′) is in equivalence to condition (C) in Theorem 4.3. Thus we can prove this theorem similarly to the proof of Theorem 4.3 and consequently F has a fixed point in X. □

Corollary 4.7 Let $\left(X,d\right)$ be a complete cone metric space (with cone P in real Banach space ) endowed with a connected graph G and $F:X\to CB\left(X\right)$ be a generalized Banach G-contraction. Suppose that the following conditions hold:
1. (A)

F weakly preserves edges of G;

2. (B)

there exist ${x}_{0}\in X$ and ${x}_{1}\in F{x}_{0}$ such that $\left({x}_{0},{x}_{1}\right)\in E\left(G\right)$;

(C′) if $u\in X$ and a sequence $\left\{{x}_{n}\right\}$ in X are given such that ${x}_{n}\to u$ as $n\to \mathrm{\infty }$ and $\left({x}_{n},{x}_{n+1}\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$, then there is a subsequence $\left\{{x}_{{k}_{n}}\right\}$ with $\left({x}_{{k}_{n}},u\right)\in E\left(G\right)$ for all $n\in \mathbb{N}$.

Then there exists a point ${x}^{\ast }\in X$ such that ${x}^{\ast }\in F{x}^{\ast }$, that is, F has a fixed point in X.

Declarations

Acknowledgements

The authors thank the editor and the referees for their valuable and insightful comments and suggestions which improved greatly the quality of this paper. The first author gratefully acknowledges the support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) during this research. The second author would like to thank the Thailand Research Fund and Thammasat University under Grant No. TRG5780013 for financial support during the preparation of this manuscript.

Authors’ Affiliations

(1)
Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia
(2)
Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University Rangsit Center, Pathumthani, 12121, Thailand

References 