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

Received: 22 February 2014

Accepted: 26 June 2014

Published: 22 July 2014

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

α-admissible multi-valued operator cone metric space directed graph the generalized Hausdorff distance

1 Introduction

In 2007, Huang and Zhang [1] 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 [24] and references therein).

In 2011, Janković et al. [5] 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 [6] 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 [7], usually referred to as Nadler’s contraction principle. Many authors in [811] 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 [12] 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. [13] established fixed point results for multi-valued operator under the generalized contractive condition via the generalized Hausdorff distance operator of Cho and Bae [12].

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. [13] 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 , 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 [12], which will be required in the sequel.

Let ( E , E ) 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 { θ } ;

(C2) a x + b y P for all x , y P and a , b 0 ;

(C3) P ( P ) = { θ } .

For a given cone P E , we define a partial ordering with respect to P by x y if and only if y x P and x y stands for x y and x y , while x y stands for y x int ( P ) , where int ( P ) 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 E ,
θ x y x E K y E .

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

Definition 2.1 ([1])

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

(CM1) θ d ( x , y ) for all x , y X and d ( x , y ) = θ if and only if x = y ;

(CM2) d ( x , y ) = d ( y , x ) for all x , y X ;

(CM3) d ( x , z ) d ( x , y ) + d ( y , z ) for all x , y , z X ,

then d is called a cone metric on X and ( X , d ) is called a cone metric space.

Definition 2.2 ([1])

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

    If for every c E with θ c , there is N N such that d ( x n , x ) c for all n N , then { x n } is said to converge to x. This limit is denoted by lim n x n = x or x n x as n .

     
  2. 2.

    If for every c E with θ c , there is N N such that d ( x n , x m ) c for all n , m > N , then { x n } is called a Cauchy sequence in X.

     
  3. 3.

    If every Cauchy sequence in X is convergent in X, then ( X , d ) 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 x , y n y as n it need not follow that d ( x n , y n ) d ( x , y ) as n . However, if ( X , d ) is a cone metric space with a normal cone P, then the cone metric d is continuous (see Lemma 5 in [1]).

Definition 2.3 ([1])

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

Lemma 2.1 ([5])

Let ( X , d ) 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 w , then u w .

(PT2) If u v and v w , then u w .

(PT3) If u v and v w , then u w .

(PT4) If θ u c for each c int ( P ) , then u = θ .

(PT5) If a b + c , for each c int ( P ) , then a b .

(PT6) If c int ( P ) and { a n } is a sequence in such that θ a n for all n N and a n θ as n , then there exists N N such that for all n N , we have a n c .

For a cone metric space ( X , d ) , denote
N ( X ) : = { A : A  is non-empty subset of  X } , C B ( X ) : = { A N ( X ) : A  is closed and bounded } , s ( p ) : = { q E : p q } for  p E ,
and
s ( a , B ) : = b B s ( d ( a , b ) ) for  a X  and  B C B ( X ) .
For A , B C B ( X ) we denote the generalized Hausdorff distance induced by d (see [12]) by the following notation:
s ( A , B ) : = ( a A s ( a , B ) ) ( b B s ( b , A ) ) .

The following remarks are found in [12].

Remark 2.2 Let ( X , d ) be a cone metric space. The functional H : C B ( X ) × C B ( X ) [ 0 , ) defined by
H ( A , B ) = inf s ( A , B )

for all A , B C B ( X ) , is the Hausdorff distance induced by d.

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

Lemma 2.2 ([12])

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

(L1) Let p , q E . If p q , then s ( q ) s ( p ) .

(L2) Let x X and A N ( X ) . If θ s ( x , A ) , then x A .

(L3) Let q P and A , B C B ( X ) . If q s ( A , B ) , then q s ( a , B ) for all a A and q s ( A , b ) for all b B .

(L4) Let q P and let λ 0 , then λ s ( q ) s ( λ q ) .

In 2012, Samet et al. [15] 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. [16] introduced the concept of α -admissible operator, which is multi-valued version of the α-admissible mapping provided in [15].

Definition 2.4 ([16])

Let X be a non-empty set, F : X 2 X , where 2 X is a collection of non-empty subset of X and α : X × X [ 0 , ) be a mapping. We say that F is α -admissible if the following condition holds:
for  x , y X  for which  α ( x , y ) 1 α ( F x , F y ) 1 ,

where α ( F x , F y ) : = inf { α ( a , b ) | a F x , b F y } .

Recently, Mohammadi et al. [17] extended the concept of α -admissible operator to α-admissible operator as follows.

Definition 2.5 ([17])

Let X be a non-empty set, F : X 2 X , where 2 X is a collection of non-empty subset of X and α : X × X [ 0 , ) be a mapping. We say that F is α-admissible whenever for each x X and y F x with α ( x , y ) 1 , we have α ( y , z ) 1 for all z F y .

Remark 2.4 If F is α -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 ψ : P P such that
  1. (i)

    ψ ( θ ) = θ and θ ψ ( t ) t for t P { θ } ,

     
  2. (ii)

    ψ ( t ) t for all θ t ,

     
  3. (iii)

    lim n ψ n ( t ) = θ for every t P { θ } ,

     
  4. (iv)

    ψ is a strictly increasing function, i.e., ψ ( a ) ψ ( b ) whenever a b .

     

Remark 3.1 From (i), we obtain ψ ( t ) t for all t P .

Definition 3.1 Let ( X , d ) be a cone metric space with cone P in real Banach space , ψ : P P and α : X × X [ 0 , ) be two given mappings. The multi-valued operator F : X C B ( X ) is said to be an α-ψ-contraction if
ψ ( d ( x , y ) ) α ( x , y ) s ( F x , F y )
(3.1)

for all x , y X ,

Theorem 3.1 Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , α : X × X [ 0 , ) be a given mapping, ψ Ψ and F : X C B ( X ) be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
  1. (a)

    F is α-admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     
  3. (c)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then α ( x n , u ) 1 for all n N .

     

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

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

for all n N . Since ψ Ψ , we have ψ n ( d ( x 0 , x 1 ) ) θ as n .

Fix c E such that θ c . Using the property of ψ, we get θ c ψ ( c ) . By (PT6), there is N N such that ψ n ( d ( x 0 , x 1 ) ) c ψ ( c ) and ψ n ( d ( x 0 , x 1 ) ) c for n N . Therefore, d ( x n , x n + 1 ) c ψ ( c ) and d ( x n , x n + 1 ) c for n N . For fixed m > n N , we have
d ( x n , x n + 2 ) d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) c ψ ( c ) + ψ ( d ( x n , x n + 1 ) ) d ( x n , x n + 2 ) c ψ ( c ) + ψ ( c ) = c , d ( x n , x n + 3 ) d ( x n , x n + 1 ) + d ( x n + 1 , x n + 3 ) c ψ ( c ) + ψ ( d ( x n , x n + 2 ) ) d ( x n , x n + 3 ) c ψ ( c ) + ψ ( c ) = c , d ( x n , x m ) d ( x n , x n + 1 ) + d ( x n + 1 , x m ) c ψ ( c ) + ψ ( d ( x n , x m 1 ) ) d ( x n , x m ) c ψ ( c ) + ψ ( c ) = c .
This shows that { x n } is a Cauchy sequence. By the completeness of X, we get x n u for some u X . Using (3.4) and (c), we obtain α ( x n , u ) 1 for all n N . Now, we have
ψ ( d ( x n , u ) ) α ( x n , u ) s ( F x n , F u )
for all n N . By Lemma 2.2(L3), we have
ψ ( d ( x n , u ) ) α ( x n , u ) s ( x n + 1 , F u )
for all n N . Therefore, we can choose v n F u such that
ψ ( d ( x n , u ) ) α ( x n , u ) s ( d ( x n + 1 , v n ) )
for all n N . Using Lemma 2.2(L4), we get
ψ ( d ( x n , u ) ) α ( x n , u ) s ( d ( x n + 1 , v n ) ) s ( α ( x n , u ) d ( x n + 1 , v n ) )
and so
α ( x n , u ) d ( x n + 1 , v n ) ψ ( d ( x n , u ) )
for all n N . Therefore, we have
d ( x n + 1 , v n ) α ( x n , u ) d ( x n + 1 , v n ) ψ ( d ( x n , u ) ) d ( x n , u )
for all n N . Since x n u as n , for a given c E with θ c , there is N N such that
d ( u , x n ) c 2
for all n N . It follows that
d ( u , v n ) d ( u , x n + 1 ) + d ( x n + 1 , v n ) d ( u , x n + 1 ) + d ( x n , u ) c 2 + c 2 = c

for all n N . Hence, we have lim n v n = u . Since Fu is closed and v n F u for all n N , we obtain u F u . 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 E = C R 1 [ 0 , 1 ] : = { f : [ 0 , 1 ] R f  have a continuous first ordered derivative on  [ 0 , 1 ] } be a real Banach space with norm E defined by
f E = sup t [ 0 , 1 ] | f ( t ) | + sup t [ 0 , 1 ] | f ( t ) |
for each f E , where θ : = f 0 E which is defined by f 0 ( t ) = 0 for all t [ 0 , 1 ] . Define cone P in by
P : = { g E : g ( t ) 0  for all  t [ 0 , 1 ] } .

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

Let X = [ 0 , 10 ] and define cone metric d : X × X E for each x , y X as follows:
d ( x , y ) ( t ) = | x y | e t
for all t [ 0 , 1 ] . Define a mapping α : X × X [ 0 , ) and a multi-valued operator F : X C B ( X ) by
α ( x , y ) = { x 2 + y 2 + 1 , x , y [ 0 , 1 ] , 0 , otherwise ,
and
F x = { { x 6 } , x [ 0 , 1 ] , [ 10 x 10 9 , x ] , otherwise .
Now we show that F is an α-ψ-contraction multi-valued operator with ψ : P P define by ψ ( f ) = 1 2 f for all f P . For x , y [ 0 , 1 ] , we obtain
α ( x , y ) d ( x 6 , y 6 ) ( t ) = ( x 2 + y 2 + 1 ) | x y 6 | e t ( 1 + 1 + 1 ) | x y 6 | e t = 1 2 | x y | e t = ( ψ ( d ( x , y ) ) ) ( t ) ,

which implies that ψ ( d ( x , y ) ) α ( x , y ) s ( F x , F y ) . Otherwise, it is easy to see that ψ ( d ( x , y ) ) α ( x , y ) s ( F x , F y ) . 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 F x 0 such that α ( x 0 , x 1 ) = α ( 1 , 1 / 6 ) 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 ([13])

Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , α : X × X [ 0 , ) be a given mapping, ψ Ψ and F : X C B ( X ) be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
  1. (a)

    F is α -admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     
  3. (c)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then α ( x n , u ) 1 for all n N .

     

Then there exists a point x X such that x F x , 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 ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , α : X × X [ 0 , ) be a given mapping and F : X C B ( X ) be multi-valued operator such that
k d ( x , y ) α ( x , y ) s ( F x , F y )
(3.6)
for all x , y X , where k [ 0 , 1 ) . Suppose that the following conditions hold:
  1. (a)

    F is α-admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     
  3. (c)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then α ( x n , u ) 1 for all n N .

     

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Proof By taking ψ ( t ) = k t for all t P in Theorem 3.1, we get this result. □

Corollary 3.5 Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , ψ Ψ and F : X C B ( X ) be multi-valued operator such that
ψ ( d ( x , y ) ) s ( F x , F y )
(3.7)

for all x , y X . Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Proof By taking α ( x , y ) = 1 for all x , y X in Theorem 3.1, we get this result. □

Corollary 3.6 Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space and F : X C B ( X ) be multi-valued operator such that
k d ( x , y ) s ( F x , F y )
(3.8)

for all x , y X , where k [ 0 , 1 ) . Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Proof By taking ψ ( t ) = k t for all t P and α ( x , y ) = 1 for all x , y X in Theorem 3.1, we get this result. □

By Remark 2.2, we get the following results.

Corollary 3.7 Let ( X , d ) be a complete metric space, α : X × X [ 0 , ) be a given mapping and F : X C B ( X ) be multi-valued operator such that
α ( x , y ) H ( F x , F y ) k d ( x , y )
(3.9)
for all x , y X , where k [ 0 , 1 ) . Suppose that the following conditions hold:
  1. (a)

    F is α-admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     
  3. (c)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then α ( x n , u ) 1 for all n N .

     

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Corollary 3.8 ([7])

Let ( X , d ) be a complete metric space and F : X C B ( X ) be multi-valued operator such that
H ( F x , F y ) k d ( x , y )
(3.10)

for all x , y X , where k [ 0 , 1 ) . Then there exists a point x X such that x F x , 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 ( X , d ) be a cone metric space with cone P in real Banach space , α : X × X [ 0 , ) be a given mapping. If α has transitive property (i.e., if α ( x , y ) 1 and α ( y , z ) 1 , then α ( x , z ) 1 ), then the following conditions are equivalent:
  1. (c)

    if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then α ( x n , u ) 1 for all n N ;

     

(c′) if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then there is a subsequence { x k n } with α ( x k n , u ) 1 for all n N .

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

Using Lemma 3.9, we have the following result.

Corollary 3.10 Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in a real Banach space , α : X × X [ 0 , ) be a mapping satisfying transitive property, ψ Ψ and F : X C B ( X ) be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
  1. (a)

    F is α-admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     

(c′) if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then there is a subsequence { x k n } with α ( x k n , u ) 1 for all n N .

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Corollary 3.11 Let ( X , d ) be a complete cone metric space with solid (normal or non-normal) cone P in real Banach space , α : X × X [ 0 , ) be a mapping satisfying transitive property, ψ Ψ and F : X C B ( X ) be an α-ψ-contraction multi-valued operator. Suppose that the following conditions hold:
  1. (a)

    F is α -admissible operator;

     
  2. (b)

    there exist x 0 X and x 1 F x 0 such that α ( x 0 , x 1 ) 1 ;

     

(c′) if { x n } is a sequence in X such that α ( x n , x n + 1 ) 1 for all n N and x n u as n , then there is a subsequence { x k n } with α ( x k n , u ) 1 for all n N .

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

4 Fixed point analysis with graph

Throughout this section let ( X , d ) be a cone metric space. A set { ( x , x ) : x X } is called a diagonal of the Cartesian product X × X and is denoted by Δ. 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 ) . 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 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 N { 0 } ) is a sequence { x i } i = 0 N of N + 1 vertices such that x 0 = x , x N = y and ( x n 1 , x n ) E ( G ) for i = 1 , , N .

A graph G is connected if there is a path between any two vertices. Also, G is weakly connected if G ˜ is connected, where 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 [19].

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 ( X , d ) be a cone metric space (with cone P in real Banach space ) endowed with a graph G and F : X C B ( X ) be multi-valued operator. We say that F weakly preserves edges of G if for each x X and y F x with ( x , y ) E ( G ) it is implied that ( y , z ) E ( G ) for all z F y .

Definition 4.2 Let ( X , d ) be a cone metric space (with cone P in real Banach space ) endowed with a graph G and ψ Ψ . A multi-valued operator F : X C B ( X ) is said to be a ψ-G-contraction if
ψ ( d ( x , y ) ) s ( F x , F y )
(4.1)

for all x , y X with ( x , y ) E ( G ) . If ψ defined by ψ ( t ) = k t for all t P , where k [ 0 , 1 ) , 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 ( F x , F y ) k d ( x , y )

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

Example 4.1 Any mapping F : X C B ( X ) defined by F x = { a } , where a X , is a ψ-G-contraction for any graph G with V ( G ) = X and all ψ Ψ .

Example 4.2 Any mapping F : X C B ( X ) is trivially a ψ-G-contraction, where G = ( V ( G ) , E ( G ) ) = ( X , Δ ) .

Definition 4.3 Let ( X , d ) 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 X and sequence { x n } in X such that x n x as n and ( x n , x n + 1 ) E ( G ) for all n N , then ( x n , u ) E ( G ) for all n N .

Definition 4.4 Let ( X , d ) be a cone metric space (with cone P in real Banach space ) endowed with a graph G. We say that E ( G ) is quasi-ordered (or transitive) if ( x , y ) E ( G ) and ( y , z ) E ( G ) imply ( x , y ) E ( G ) for all x , y , z 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 ( X , d ) be a complete cone metric space (with cone P in real Banach space ) endowed with a graph G and F : X C B ( X ) be a ψ-G-contraction. Suppose that the following conditions hold:
  1. (A)

    F weakly preserves edges of G;

     
  2. (B)

    there exist x 0 X and x 1 F x 0 such that ( x 0 , x 1 ) E ( G ) ;

     
  3. (C)

    X has the G-regular property.

     

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Proof Consider the mapping α : X × X [ 0 , ) defined by
α ( x , y ) = { 1 , ( x , y ) E ( G ) ; 0 , otherwise .
(4.2)
Since F is a ψ-G-contraction, we have, for all x , y X ,
ψ ( d ( x , y ) ) α ( x , y ) s ( F x , F y ) .
(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 α ( x 0 , x 1 ) 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 ( X , d ) be a complete cone metric space (with cone P in real Banach space ) endowed with a graph G and F : X C B ( X ) 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 X and x 1 F x 0 such that ( x 0 , x 1 ) E ( G ) ;

     
  3. (C)

    X has the G-regular property.

     

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

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

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

    F weakly preserves edges of G;

     
  2. (B)

    there exist x 0 X and x 1 F x 0 such that ( x 0 , x 1 ) E ( G ) ;

     
  3. (C)

    X has the G-regular property.

     

Then there exists a point x X such that x F x , 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 ( X , d ) be a complete cone metric space (with cone P in real Banach space ) endowed with a connected graph G and F : X C B ( X ) be a ψ-G-contraction. Suppose that the following conditions hold:
  1. (A)

    F weakly preserves edges of G;

     
  2. (B)

    there exist x 0 X and x 1 F x 0 such that ( x 0 , x 1 ) E ( G ) ;

     

(C′) if u X and a sequence { x n } in X are given such that x n u as n and ( x n , x n + 1 ) E ( G ) for all n N , then there is a subsequence { x k n } with ( x k n , u ) E ( G ) for all n N .

Then there exists a point x X such that x F x , that is, F has a fixed point in X.

Proof Since G is a connected graph, E ( G ) is a quasi-ordered. Consider the mapping α : X × X [ 0 , ) defined as in the proof of Theorem 4.3. It follows from E ( G ) 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 ( X , d ) be a complete cone metric space (with cone P in real Banach space ) endowed with a connected graph G and F : X C B ( X ) 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 X and x 1 F x 0 such that ( x 0 , x 1 ) E ( G ) ;

     

(C′) if u X and a sequence { x n } in X are given such that x n u as n and ( x n , x n + 1 ) E ( G ) for all n N , then there is a subsequence { x k n } with ( x k n , u ) E ( G ) for all n N .

Then there exists a point x X such that x F x , 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
(2)
Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University Rangsit Center

References

  1. Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087View ArticleMathSciNetMATHGoogle Scholar
  2. Ilic D, Pavlovic V: Common fixed points for maps on cone metric space. J. Math. Anal. Appl. 2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065View ArticleMathSciNetMATHGoogle Scholar
  3. Sintunavarat W, Kumam P: Common fixed points of f -weak contractions in cone metric spaces. Bull. Iran. Math. Soc. 2012, 38(2):293–303.MathSciNetMATHGoogle Scholar
  4. Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c -distance in ordered cone metric spaces. Comput. Math. Appl. 2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040View ArticleMathSciNetMATHGoogle Scholar
  5. Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2011, 74: 2591–2601. 10.1016/j.na.2010.12.014View ArticleMathSciNetMATHGoogle Scholar
  6. von Neumann J: Zur theorie der gesellschaftsspiele. Math. Ann. 1928, 100(1):295–320. 10.1007/BF01448847View ArticleMathSciNetMATHGoogle Scholar
  7. Nadler SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetMATHGoogle Scholar
  8. Kadelburg Z, Radenovic S: Some results on set-valued contractions in abstract metric spaces. Comput. Math. Appl. 2011, 62: 342–350. 10.1016/j.camwa.2011.05.015View ArticleMathSciNetMATHGoogle Scholar
  9. Klim D, Wardowski D: Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces. Nonlinear Anal. 2009, 71: 5170–5175. 10.1016/j.na.2009.04.001View ArticleMathSciNetMATHGoogle Scholar
  10. Latif A, Shaddad FY: Fixed point results for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 941371Google Scholar
  11. Wardowski D: Endpoints and fixed points of set-valued contractions in cone metric spaces. Nonlinear Anal. 2009, 71: 512–516. 10.1016/j.na.2008.10.089View ArticleMathSciNetMATHGoogle Scholar
  12. Cho SH, Bae JS: Fixed point theorems for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 87Google Scholar
  13. Kutbi MA, Ahmad J, Azam A: On fixed points of α - ψ contractive multi-valued mappings in cone metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 313782Google Scholar
  14. Rezapour S, Hamlbarani R: Some notes on paper ‘Cone metric spaces and fixed point theorems of contractive mappings’. J. Math. Anal. Appl. 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049View ArticleMathSciNetMATHGoogle Scholar
  15. Samet B, Vetro C, Vetro P: Fixed point theorems for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014View ArticleMathSciNetMATHGoogle Scholar
  16. Asl JH, Rezapour S, Shahzad N: On fixed points of α - ψ -contractive multifunctions. Fixed Point Theory Appl. 2012., 2012: Article ID 212Google Scholar
  17. Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of α - ψ -Ciric generalized multifunctions. Fixed Point Theory Appl. 2013., 2013: Article ID 24Google Scholar
  18. Vandergraft JS: Newton’s method for convex operators in partially ordered spaces. SIAM J. Numer. Anal. 1967, 4: 406–432. 10.1137/0704037View ArticleMathSciNetMATHGoogle Scholar
  19. Jachymski J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 1(136):1359–1373.MathSciNetMATHGoogle Scholar

Copyright

© Kutbi and Sintunavarat; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.