Skip to main content

Common fixed point theorems for generalized multivalued contractions on cone metric spaces over a non-normal solid cone

Abstract

In this paper we define a new class of multivalued generalized contractions on cone metric spaces. Then, by using a necessary new technique, we prove two common fixed point theorems for a pair of those mappings on complete cone metric spaces over solid, not necessarily normal cone. Our main theorems are generalizations of the theorem of Wardowski (Appl. Math. Lett. 24:275-278, 2011) and many existing theorems in the literature. By using our main theorems, we can obtained some important corollaries which are generalizations of the well-known metric fixed point theorems to setting of cone metric spaces over a solid non-normal cone.

MSC:47H10, 54H25.

1 Introduction and preliminaries

There exist many generalizations of the concept of metric spaces in the literature. Fixed point theory in abstract (cone) metric, or in K-metric spaces over a Banach space, was developed in the mid-1970s. Huang and Zhang [1] reintroduced cone metric spaces and defined the convergence via interior points of the cone which determines an order on E. Although they considered and proved several fixed point theorems only in cone metric spaces over a normal cone, their approach enables the investigation of cone metric spaces over a cone which is not necessarily normal. It is well known that many fixed point results in the setting of cone metric spaces can be obtained from the corresponding results in metric spaces (see [24]). The results in the setting of cone metric spaces are appropriate only if the underlying cone is not necessarily normal (see [3]).

Definition 1.1 Let E be a topological vector space and P be a subset of E. The set P is called a cone if

(P1) P is closed, nonempty, and P{θ}, where θ is the zero vector of E;

(P2) a,bR, a,b0, x,yPax+byP;

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

A cone P is called solid [5] if intP, where intP is the interior of P.

Each cone P of E determines a partial order on E by xy if and only if yxP for each x,yX. We write xy if xy but xy, while xy will denote that yxintP. This relation is compatible with the vector structure.

Definition 1.2 Let P be a cone in a real Banach space E. The cone P is called normal, if there exists a constant K>0 such that, for all x,yE,

θxyimpliesxKy,

or, equivalently, if

x n y n z n and lim n x n = lim n z n =x,then  lim n y n =x.
(1.1)

The least positive number K satisfying the above inequality is called the normal constant of P.

The following example shows that there are non-normal cones.

Example 1.3 Let E= C R 1 ([0,1]) with the norm f= f + f and consider the cone P={fE:f(t)0}. For each n1, put f(x)=x and g(x)= x 2 n . Then θgf, f=2 and g=2n+1. Since for each K>0 there exists nN such that 2n+1>2K, we have gf, but gKf for any K>0. Therefore, the cone P is non-normal.

Definition 1.4 ([1, 6])

Let E be a Banach space and θ be the zero vector of E. Let P be a cone in E with int(P) and let be a partial ordering with respect to P. A mapping d:X×XE is called a cone metric on the nonempty set X if the following axioms are satisfied:

(d1) θd(x,y) for all x,yX and d(x,y)=θ if and only if x=y;

(d2) d(x,y)=d(y,x) for all x,yX;

(d3) d(x,y)d(x,z)+d(z,y) for all x,y,zX.

The pair (X,d), where X is a nonempty set and d is a cone metric, is called a cone metric space.

Example 1.5 Let E= R 2 , P={(x,y)E:x,y0}, X=R and d:X×XE defined by d(x,y)=(|xy|,c|xy|), where c0 is a constant. Then (X,d) is a cone metric space with the normal cone P, where the normal constant K=1.

Definition 1.6 (Huang and Zhang [1])

Let (X,d) be a cone metric space. We say that a sequence { x n } in X is

  1. (i)

    a convergent sequence if, for every c in E with θc, there is an N such that d( x n ,x)c for all n>N and for some fixed x in X;

  2. (ii)

    a Cauchy sequence if, for every c in E with θc, there is an N such that d( x n , x m )c for all n,m>N.

A cone metric space X is said to be complete if every Cauchy sequence in X is convergent in X.

In the following lemma we suppose that E is a Banach space, P is a cone in E with int(P), without the assumption of normality of cone P.

Lemma 1.7 ([3, 7])

Let (X,d) be a cone metric space. Then the following properties are often used (particularly when dealing with cone metric spaces in which the cone need not be normal).

(p1) If uv and vw, then uw.

(p2) If θuc for each cintP, then u=θ.

(p3) If ab+c for each cintP, then ab.

(p4) If θxy and a0, then 0axay.

(p5) If E is a real Banach space with a cone P and if aλa, where aP and 0<λ<1, then a=θ.

(p6) If cintP, θ a n and a n θ, then there exists n 0 such that, for all n> n 0 , we have a n c.

From (p6) it follows that the sequence { x n } converges to xX if d( x n ,x)θ as n and { x n } is a Cauchy sequence if d( x n , x m )θ as n,m. In the situation with a non-normal cone we have only one part of Lemmas 1 and 4 from [1]. Also, in this case from x n x and y n y it need not follow that d( x n , y n )d(x,y), as well as from x n y n z n and lim n x n = lim n z n =x it need not follow that lim n y n =x.

Example 1.8 Let E= C R 1 ([0,1]), PE and the norm be as in Example 1.3. Consider the sequences x n (t)= t n /n and y n (t)=2/n. Then 0 x n y n and lim n y n =0, but

x n = max t [ 0 , 1 ] | t n n | + max t [ 0 , 1 ] | t n 1 | = 1 n +1>1.

Therefore, { x n } does not converge to 0, although 0 x n (t)<2/n. Thus it follows by (1.1) that P is a non-normal cone.

The study of fixed points of multivalued mappings satisfying certain contractive conditions has many applications and studied by many researchers (see [812]). An element xX is said to be a fixed point of a multivalued map T:X 2 X if xTx. Recently many authors proved fixed point theorems for multivalued mappings on complete cone metric spaces assuming that the corresponding cone is regular or normal (see [1320]). For a cone metric space (X,d) let A ˜ be a family of subsets of X. Wardowski [[19], Definition 3.1] introduced a new cone metric H: A ˜ × A ˜ E. Then he introduced the concept of set-valued contraction of Nadler type [21] and proved a fixed point theorem by assumption that a cone P of E is solid and normal. But, as noted in [3], most of the fixed points results in cone metric spaces over a normal cone can be obtained as a consequences from the corresponding results in metric spaces. Very recently Arshad and Ahmad [22] modified Wardowski’s [19] idea of H-cone metric. They introduced the following notion of H-cone metric.

Definition 1.9 (Arshad and Ahmad [22])

Let (X,d) be a cone metric space and let A ˜ be a family of all nonempty, closed, bounded subsets of X. A map H: A ˜ × A ˜ E is called an H-cone metric on A ˜ induced by d if the following conditions hold:

(H1) θH(A,B) for all A,B A ˜ and H(A,B)=θ if and only if A=B;

(H2) H(A,B)=H(B,A) for all A,B A ˜ ;

(H3) H(A,B)H(A,C)+H(C,B) for all A,B,C A ˜ ;

(H4) If A,B A ˜ , θϵE with H(A,B)ϵ, then for each aA there exists bB such that d(a,b)ϵ.

Example 1.10 Let (X,d) be a metric space and let A ˜ be a family of all nonempty, closed, bounded subsets of X. Then the mapping H: A ˜ × A ˜ R + given by the formula

H(A,B)=max { sup x A d ( x , B ) , sup y B d ( y , A ) } ,A,B A ˜ ,
(1.2)

which is called a Hausdorff metric induced by the metric d, is an H-cone metric induced by d.

Arshad and Ahmad [22] extended the theorem of Wardowski [19] to a complete cone metric space without the assumption that a cone P is normal. They proved the following theorem.

Theorem 1.11 (Arshad and Ahmad [22])

Let (X,d) be a complete cone metric space. Let A ˜ be a collection of nonempty, closed, and bounded subsets of X and let H: A ˜ × A ˜ E be an H-cone metric induced by d. If for a map T:X A ˜ there exists λ(0,1) such that, for all x,yX,

H(Tx,Ty)λd(x,y),
(1.3)

then T has a fixed point.

Clearly, Theorem 1.11 is a generalization of the classical theorem of multivalued contractive mappings (Nadler [21]). Recall that some of the initial generalizations of the theorem of Nadler are given in [23] and in [24]. In 1971 Ćirić in [25] introduced the concept of a generalized single-valued contraction, and then in 1972 in [23] he used the following concept of a generalized multivalued contraction.

Definition 1.12 (Ćirić [23])

Let (X,d) be a metric space and let A ˜ be a family of nonempty, closed, and bounded subsets of X. A mapping T:X A ˜ is said to be a generalized multivalued contraction if and only if there exists λ[0,1) such that, for all x,yX,

H(Tx,Ty)λmax { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , d ( x , T y ) + d ( y , T x ) 2 } ,
(1.4)

where H(A,B) for A,B A ˜ is the Hausdorff metric (1.2) induced by metric d.

In the present paper we will introduce the concept of a generalized multivalued contraction on cone metric spaces and then, using a new technique of proof, we prove two common fixed point theorems for a pair of those multivalued mappings on cone metric spaces over solid non-normal cones. As a consequence, we also obtain some important corollaries which are generalizations of the well-known metric fixed point theorems.

2 Main results

Inspired by Definition 1.12 of Ćirić we shall introduce the notion of the cone generalized multivalued contraction.

Definition 2.1 Let E be a Banach space and let (X,d) be a cone metric space over E. Let A ˜ be a family of nonempty, closed, and bounded subsets of X and let there exists an H-cone metric H: A ˜ × A ˜ E induced by d. A mapping T:X A ˜ is said to be a cone generalized multivalued contraction if and only if there exists λ[0,1) such that, for all x,yX, a mapping T satisfies one of the following contractive conditions:

(D1) H(Tx,Ty)λd(x,y);

(D2) H(Tx,Ty)λd(x,u) for each fixed uTx;

(D3) H(Tx,Ty)λd(y,v) for each fixed vTy;

(D4) H(Tx,Ty)λ d ( x , v ) + d ( y , u ) 2 for each fixed vTy and each fixed uTx.

It is easy to show that the generalized multivalued contraction defined in Definition 1.12 is an example of the cone generalized multivalued contraction defined in Definition 2.1.

Example 2.2 Let X=R and (X,d) be the usual metric space ordered by a usual ordering ≤. Let A ˜ be a family of all nonempty, closed, bounded subsets of X and H: A ˜ × A ˜ E be a Hausdorff metric. Suppose that a mapping T:X A ˜ is a generalized multivalued contraction defined in Definition 1.12. If we set E=R, θ=0, P={xE:x0}= R + and for x,yE, we define xy if and only if xy, then (X,d) is a cone metric space over cone P and T:X A ˜ is a cone generalized multivalued contraction.

Now we prove our main theorem.

Theorem 2.3 Let E be a Banach space, let P be a solid not necessarily normal cone of E and let (X,d) be a cone metric space over E. Let A ˜ be a family of nonempty, closed, and bounded subsets of X and let there exists an H-cone metric H: A ˜ × A ˜ E induced by d. Suppose that T,S:X A ˜ are two cone multivalued mappings and suppose that there is λ(0,1) such that, for all x,yX, at least one of the following conditions holds:

(C1) H(Tx,Sy)λd(x,y);

(C2) H(Tx,Sy)λd(x,u) for each fixed uTx;

(C3) H(Tx,Sy)λd(y,v) for each fixed vSy;

(C4) H(Tx,Sy)λ d ( x , v ) + d ( y , u ) 2 for each fixed vSy, uTx.

Then T and S have a common fixed point.

Proof Let x 0 X and x 1 S x 0 be arbitrary. Consider the element H(T x 1 ,S x 0 )E. If each right hand side of (C1), (C2), (C3), and (C4) with x= x 1 and y= x 0 is θ in E, then d( x 1 , x 0 )=θ and hence from the property (d1) of the metric d it follows x 1 = x 0 . This and x 1 S x 0 imply x 0 S x 0 . Further, d( x 1 ,u)=d( x 0 ,u)=θ for each fixed uT x 1 implies x 0 =uT x 1 =T x 0 . Hence x 0 T x 0 . Therefore, in this case x 0 is a common fixed point of S and T and proof is done.

Consider now the element H(T x 1 ,S x 0 )E in the case that, in the one of the inequalities (C1), (C2), (C3) or (C4) which holds, the right hand side is not θ. Let eP be a fixed element. Since λ>0, we have θλe. Thus we have H(T x 1 ,S x 0 )ϵ, where ϵ=H(T x 1 ,S x 0 )+λe. Then from H(T x 1 ,S x 0 )ϵ and from the property (H4) of the H-cone metric in Definition 1.9 we find, as x 1 S x 0 , that there exists x 2 T x 1 such that

d( x 2 , x 1 )ϵ=H(T x 1 ,S x 0 )+λe.

Consider now the element H(S x 2 ,T x 1 ). Clearly, H(S x 2 ,T x 1 )H(S x 2 ,T x 1 )+ λ 2 e. Again from (H4) with ϵ=H(S x 2 ,T x 1 )+ λ 2 e, as x 2 T x 1 , there exists x 3 S x 2 such that

d( x 3 , x 2 )H(S x 2 ,T x 1 )+ λ 2 e.

Continuing this process we can construct a sequence { x n } in X such that x 2 n + 1 S x 2 n , x 2 n + 2 T x 2 n + 1 and

d( x 2 n + 1 , x 2 n )H(S x 2 n ,T x 2 n 1 )+ λ 2 n e,
(2.1)
d( x 2 n + 2 , x 2 n + 1 )H(T x 2 n + 1 ,S x 2 n )+ λ 2 n + 1 e.
(2.2)

According to the inequality (2.2) and the inequalities (C1), (C2), (C3), and (C4) with x= x 2 n + 1 and y= x 2 n , we have to consider four cases.

  1. (1)

    If H(T x 2 n + 1 ,S x 2 n )λd( x 2 n + 1 , x 2 n ), then from (2.2) we have

    d( x 2 n + 2 , x 2 n + 1 )λd ( 2 n + 1 , x 2 n )+ λ 2 n + 1 e.
    (2.3)
  2. (2)

    If H(T x 2 n + 1 ,S x 2 n )λd( x 2 n + 1 ,u) for any uT x 2 n + 1 , then we can take u= x 2 n + 2 T x 2 n + 1 . So, we obtain H(T x 2 n + 1 ,S x 2 n )λd( x 2 n + 1 , x 2 n + 2 ) and from (2.2) we get

    d( x 2 n + 2 , x 2 n + 1 )λd( x 2 n + 1 , x 2 n + 2 )+ λ 2 n + 1 e.

Hence

d( x 2 n + 2 , x 2 n + 1 ) λ 2 n + 1 ( 1 λ ) 1 e.
(2.4)
  1. (3)

    If H(T x 2 n + 1 ,S x 2 n )λd( x 2 n ,v) for any vS x 2 n , then we may take v= x 2 n + 1 S x 2 n and we obtain H(T x 2 n + 1 ,S x 2 n )λd( x 2 n , x 2 n + 1 ). Then from (2.2) we again have (2.3).

  2. (4)

    If H(T x 2 n + 1 ,S x 2 n )λ d ( x 2 n + 1 , v ) + d ( x 2 n , u ) 2 for any vS x 2 n and uT x 2 n + 1 , then we may take v= x 2 n + 1 S x 2 n , u= x 2 n + 2 T x 2 n + 1 . So we obtain

    H(T x 2 n + 1 ,S x 2 n )λ d ( x 2 n , x 2 n + 2 ) 2 .

Then from (2.2) and by the triangle inequality we have

d( x 2 n + 2 , x 2 n + 1 )λ d ( x 2 n , x 2 n + 1 ) + d ( x 2 n + 1 , x 2 n + 2 ) 2 + λ 2 n + 1 e,

which implies that

d( x 2 n + 2 , x 2 n + 1 ) λ 2 λ d( x 2 n , x 2 n + 1 )+ λ 2 n + 1 2 λ 2e.
(2.5)

Since λ<1, we have 1/(2λ)<1, and from (2.5) we obtain

d( x 2 n + 2 , x 2 n + 1 )λd( x 2 n , x 2 n + 1 )+ λ 2 n + 1 2e.
(2.6)

It is easy see that from (2.3), (2.4), and (2.6) we get

d( x 2 n + 2 , x 2 n + 1 )λd( x 2 n + 1 , x 2 n )+ λ 2 n + 1 ( 1 λ ) 1 2e.
(2.7)

Using similar arguments to (2.1) we can prove that

d( x 2 n + 1 , x 2 n )λd( x 2 n , x 2 n 1 )+ λ 2 n 2 ( 1 λ ) 1 e.
(2.8)

From (2.7) and (2.8) we conclude that

d( x n + 1 , x n )λd( x n , x n 1 )+ λ n 2 ( 1 λ ) 1 e
(2.9)

for all n1. From (2.9) we get

d ( x n + 1 , x n ) λ [ λ d ( x n 1 , x n 2 ) + λ n 1 2 ( 1 λ ) 1 e ] + λ n 2 ( 1 λ ) 1 e = λ 2 d ( x n 1 , x n 2 ) + 2 λ n 2 ( 1 λ ) 1 e .

Using mathematical induction it is easy to prove that

d( x n + 1 , x n ) λ n d( x 1 , x 0 )+n λ n 2 ( 1 λ ) 1 e.
(2.10)

By the triangle inequality and (2.10) for any m>n we have

d ( x n , x m ) d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) + + d ( x m 1 , x m ) [ λ n d ( x 0 , x 1 ) + n λ n 2 ( 1 λ ) 1 e ] + [ λ n + 1 d ( x 0 , x 1 ) + ( n + 1 ) λ n + 1 2 ( 1 λ ) 1 e ] + + [ λ m 1 d ( x 0 , x 1 ) + ( m 1 ) λ m 1 2 ( 1 λ ) 1 e ] .

Hence we get

d ( x n , x m ) ( λ n + λ n + 1 + + λ m 1 ) d ( x 0 , x 1 ) + R n ( λ ) 2 ( 1 λ ) 1 e λ n 1 λ d ( x 0 , x 1 ) + R n ( λ ) 2 ( 1 λ ) 1 e ,
(2.11)

where R n (λ) is the remainder of the convergent series n = 1 n λ n . Since λ n 0 and R n (λ)0 as n, we get

λ n ( 1 λ ) 1 d( x 0 , x 1 )+ R n (λ)2 ( 1 λ ) 1 eθas n.
(2.12)

Let cE with θc be arbitrary. From (2.12) and (p6) in Lemma 1.7 it follows that we can choose a natural number n 1 such that

λ n ( 1 λ ) 1 d( x 0 , x 1 )+ R n (λ)2 ( 1 λ ) 1 ec

for all n n 1 . Thus, by (2.11), d( x n , x m )c for all m>n n 1 . Therefore, by (ii) in Definition 1.6, we conclude that { x n } is Cauchy sequence. Since X is complete, there exists zX such that lim n d( x n ,z)=θ.

Now we shall show that z is a common fixed point of T and S. Since

H(T x 2 n + 1 ,Sz)H(T x 2 n + 1 ,Sz)+ λ 2 n + 1 e,

from the property (H4) of the H-cone metric in Definition 1.9 we see, as x 2 n + 2 T x 2 n + 1 , that there exists y 2 n + 1 Sz such that

d( x 2 n + 2 , y 2 n + 1 )H(T x 2 n + 1 ,Sz)+ λ 2 n + 1 e.
(2.13)

According to (2.13) and the inequalities (C1), (C2), (C3), and (C4) with x= x 2 n + 1 and y=z we have to consider four cases.

  1. (1)

    If H(T x 2 n + 1 ,Sz)λd( x 2 n + 1 ,z), then from (2.13) we have

    d( x 2 n + 2 , y 2 n + 1 )λd( x 2 n + 1 ,z)+ λ 2 n + 1 e.
    (2.14)
  2. (2)

    If H(T x 2 n + 1 ,Sz)λd( x 2 n + 1 ,u) for any fixed uT x 2 n + 1 , then we can take u= x 2 n + 2 T x 2 n + 1 . Thus from (2.13) we get

    d( x 2 n + 2 , y 2 n + 1 )λd( x 2 n + 1 , x 2 n + 2 )+ λ 2 n + 1 e.
    (2.15)
  3. (3)

    If H(T x 2 n + 1 ,Sz)λd(z,v) for any fixed vSz, then we can take v= y 2 n + 1 Sz. Thus from (2.13) and by the triangle inequality we get

    d( x 2 n + 2 , y 2 n + 1 )λd(z, x 2 n + 2 )+λd( x 2 n + 2 , y 2 n + 1 )+ λ 2 n + 1 e,

which implies that

d( x 2 n + 2 , y 2 n + 1 ) λ 1 λ d(z, x 2 n + 2 )+ λ 2 n + 1 1 λ e.
(2.16)
  1. (4)

    If H(T x 2 n + 1 ,Sz)λ d ( x 2 n + 1 , v ) + d ( z , u ) 2 for any vSz and uT x 2 n + 1 , then we can take v= y 2 n + 1 Sz and u= x 2 n + 2 T x 2 n + 1 . Thus from (2.13) and by the triangle inequality we get

    d( x 2 n + 2 , y 2 n + 1 )λ d ( x 2 n + 1 , x 2 n + 2 ) + d ( x 2 n + 2 , y 2 n + 1 ) + d ( z , x 2 n + 2 ) 2 + λ 2 n + 1 e,

which implies that

d( x 2 n + 2 , y 2 n + 1 )λ d ( x 2 n + 1 , x 2 n + 2 ) + d ( z , x 2 n + 2 ) 2 λ + λ 2 n + 1 2 λ 2e.

Since 1/(2λ)<1 for λ(0,1), we have

d( x 2 n + 2 , y 2 n + 1 )λd( x 2 n + 1 , x 2 n + 2 )+λd(z, x 2 n + 2 )+ λ 2 n + 1 2e.
(2.17)

Thus, from (2.14), (2.15), (2.16), and (2.17) we have

d ( x 2 n + 2 , y 2 n + 1 ) λ [ d ( x 2 n + 1 , z ) + d ( x 2 n + 1 , x 2 n + 2 ) + d ( z , x 2 n + 2 ) ( 1 λ ) 1 ] + λ 2 n + 1 2 ( 1 λ ) 1 e .
(2.18)

By the triangle inequality and (2.18) we get

d ( z , y 2 n + 1 ) d ( z , x 2 n + 2 ) + d ( x 2 n + 2 , y 2 n + 1 ) d ( z , x 2 n + 2 ) + λ 2 n + 1 2 ( 1 λ ) 1 e + λ 1 λ [ d ( x 2 n + 1 , z ) + d ( z , x 2 n + 2 ) + d ( x 2 n + 1 , x 2 n + 2 ) ] .
(2.19)

Since { x n } converges to z and since λ 2 n + 1 0 and by (2.10) d( x 2 n + 1 , x 2 n + 2 )θ as n, the right hand side of the inequality (2.19) converges to θ as n. Therefore, from (p6) in Lemma 1.7 and (2.19) we can choose a natural number n 2 such that d(z, y 2 n + 1 )c for all n n 2 , where cE with θc is arbitrary. By (i) in Definition 1.6 we conclude that { y n } converges to z. Since y 2 n + 1 Sz and Sz is closed, we get zSz.

Analogously, we can get zTz. So, we proved that z is a common fixed point of T and S. □

If we take S=T in Theorem 2.3, then we obtain the following fixed point theorem in complete non-normal cone metric spaces.

Theorem 2.4 Let (X,d) be a complete cone metric space over a solid non-normal cone and let A ˜ be a family of nonempty, closed, and bounded subsets of X. Suppose that there exists an H-cone metric H: A ˜ × A ˜ E induced by d and suppose that T:X A ˜ is a cone generalized multivalued contraction. Then T has a fixed point.

From Theorem 2.4 we can obtain Theorem 3.1 of Arshad and Ahmad [22] and Theorem 3.1 of Wardowski [19].

Now we shall present an example where Theorem 2.4 can be applied, but the theorem of Arshad and Ahmad [22] (Theorem 1.11) and the theorem of Wardowski [19] cannot be applied.

Example 2.5 Let X=[0,1] and let E= C R 1 ([0,1]), PE and the norm be as in Example 1.3. Define d:X×XE by

d(x,y)(t)=|xy| e t ,

where 0t1. Then d is a cone metric on X. Let A ˜ be a family of all nonempty, closed, bounded subsets of X and let the mapping T:X A ˜ be defined by

T(x)={ [ 0 , x 3 ] for  0 x < 1 , [ 0 , 1 8 ] for  x = 1 .

Let H: A ˜ × A ˜ E be defined by

H(A,B)(t)=H(A,B) e t for A,B A ˜ ,

where is the usual Hausdorff metric on X induced by the metric d(x,y)=|xy|.

Now we can show that T satisfies all conditions of Theorem 2.4 with λ= 1 2 .

  1. (1)

    If 0x,y<1 and xy, then we have

    H ( T ( x ) , T ( y ) ) (t)=H ( [ 0 , x 3 ] , [ 0 , y 3 ] ) e t =| x 3 y 3 | e t < 1 2 |xy| e t =λd(x,y)(t).

    Thus T satisfies the contractive condition (D1) in Definition 1.12 with λ=1/2.

  2. (2)

    If 0x<1 and y=1, then we have

    H ( T ( x ) , T ( 1 ) ) (t)<| 1 3 1 8 | e t = 5 24 e t < 1 2 7 8 e t λd(1,u)(t)

for all u[0,1/8]=T(1). Therefore, in this case T satisfies the contractive condition (D2) in Definition 1.12 with λ=1/2.

From (1) and (2) we see that the mapping T satisfies all of the conditions of Theorem 2.4 and has a fixed point x=0.

Now we shall show that in this example the theorems of Arshad and Ahmad [22] and Wardowski [19], as well as other theorems known in the literature, cannot be applied. Let y=1 and 6 7 <x<1. Then

H ( T ( x ) , T ( 1 ) ) (t)=| x 3 1 8 | e t >| 2 7 1 8 | e t >|1 6 7 | e t >|1x| e t =d(x,1)(t).

Clearly, there does not exist λ<1 such that H(T(x),T(1))(t)λd(x,1)(t). Therefore, Theorem 3.1 of Arshad and Ahmad [22] (Theorem 1.11) and Theorem 3.1 of Wardowski [19] cannot be applied in this example.

In a cone P of an ordered Hausdorff topological vector space (E,P), from a,bP it does not need to follow that (1/2)(a+b)a nor (1/2)(a+b)b. Thus in addition to the conditions (C1)-(C4) of Theorem 2.3 we can consider the condition

(C5) H(Tx,Sy)λ d ( x , u ) + d ( y , v ) 2 for each fixed uTx and vSy.

The following theorem is a generalization of Theorem 2.3.

Theorem 2.6 Let (X,d) be a complete cone metric space over a solid non-normal cone, let A ˜ be a family of non-empty, closed, and bounded subsets of X and let there exists an H-cone metric H: A ˜ × A ˜ E induced by d. Suppose that T,S:X A ˜ are two cone multivalued mappings and suppose that there is λ(0,1) such that, for all x,yX, at least one of the conditions (C1)-(C5) holds. Then T and S have a common fixed point.

We shall omit the proof of this theorem since it is similar to the proof of Theorem 2.3.

By using Theorem 2.3 and Theorem 2.6 we can obtain corollaries which are generalizations of the well-known metric fixed point theorems of Kannan [26], Reich [27], Chatterjea [28] and Ćirić [25] to non-normal cone metric spaces. For example, the following corollary is a cone multivalued version of Kannan’s fixed point theorem, and it easily follows from Theorem 2.6.

Corollary 2.7 Let (X,d) be a complete cone metric space over a solid non-normal cone, let A ˜ be a family of non-empty, closed, and bounded subsets of X and let there exists an H-cone metric H: A ˜ × A ˜ E induced by d. Suppose that T,S:X A ˜ are two cone multivalued mappings and suppose that there is γ(0,1/2) such that, for all x,yX, the mappings T and S satisfy the condition

H(Tx,Sy)γ ( d ( x , u ) + d ( y , v ) )

for each uTx and for each vSy. Then T and S have a common fixed point.

References

  1. Huang G, Zhang X: Cone metric spaces and fixed point theorems of contractive maps. J. Math. Anal. Appl. 2007, 332: 1467–1475.

    Article  Google Scholar 

  2. Feng Y, Mao W: The equivalence of cone metric spaces and metric spaces. Fixed Point Theory 2010, 11(2):259–264.

    MathSciNet  Google Scholar 

  3. Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. TMA 2011, 74: 2591–2601. 10.1016/j.na.2010.12.014

    Article  Google Scholar 

  4. Kadelburg Z, Radenović S, Rakočević V: A note on the equivalence of some metric and cone metric fixed point results. Appl. Math. Lett. 2011, 24: 370–374. 10.1016/j.aml.2010.10.030

    Article  MathSciNet  Google Scholar 

  5. Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.

    Book  Google Scholar 

  6. Rezapour S, Haghi RH: Some notes on the 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.049

    Article  MathSciNet  Google Scholar 

  7. Ćirić L, Lakzian H, Rakočević V: Fixed point theorems for w -cone distance contraction mappings in tvs-cone metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 3

    Google Scholar 

  8. Abbas M, Ðorić D:A common end point theorem for set-valued generalized(ψ,φ)-weak contraction. Fixed Point Theory Appl. 2010., 2010: Article ID 509658

    Google Scholar 

  9. Ćirić LB: Fixed point theorems for multi-valued contractions in complete metric spaces. J. Math. Anal. Appl. 2008, 348: 499–507. 10.1016/j.jmaa.2008.07.062

    Article  MathSciNet  Google Scholar 

  10. Damjanovic B, Ðorić D: Multivalued generalizations of the Kannan fixed point theorem. Filomat 2011, 25(1):125–131. 10.2298/FIL1101125D

    Article  MathSciNet  Google Scholar 

  11. Ðorić D, Lazovic R: Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications. Fixed Point Theory Appl. 2011., 2011: Article ID 40

    Google Scholar 

  12. Kutbi MA, Ahmad J, Azam A:On fixed points ofαψ-contractive multivalued mappings in cone metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 313782

    Google Scholar 

  13. Kadelburg Z, Radenović S: Some results on set-valued contractions in abstract metric spaces. Comput. Math. Appl. 2011, 62(1):342–350. 10.1016/j.camwa.2011.05.015

    Article  MathSciNet  Google Scholar 

  14. Klim D, Wardowski D: Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces. Nonlinear Anal. TMA 2009, 71: 5170–5175. 10.1016/j.na.2009.04.001

    Article  MathSciNet  Google Scholar 

  15. Latif A, Shaddad FY: Fixed point results for multivalued maps in cone metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 941371 10.1155/2010/941371

    Google Scholar 

  16. Radenović S, Kadelburg Z: Some results on fixed points of multifunctions on abstract metric spaces. Math. Comput. Model. 2011, 53(5–6):746–754. 10.1016/j.mcm.2010.10.012

    Article  Google Scholar 

  17. Rezapour S, Haghi RH: Fixed point of multifunctions on cone metric spaces. Numer. Funct. Anal. Optim. 2009, 30(7–8):1–8.

    Article  MathSciNet  Google Scholar 

  18. Rezapour S, Hamlbarani R: Fixed points of multifunctions on regular cone metric spaces. Expo. Math. 2010, 28: 71–77. 10.1016/j.exmath.2009.04.001

    Article  MathSciNet  Google Scholar 

  19. Wardowski D: On set-valued contractions of Nadler type in cone metric spaces. Appl. Math. Lett. 2011, 24(3):275–278. 10.1016/j.aml.2010.10.003

    Article  MathSciNet  Google Scholar 

  20. Wardowski D: Endpoints and fixed points of set-valued contractions in cone metric spaces. Nonlinear Anal. TMA 2009, 71: 512–516. 10.1016/j.na.2008.10.089

    Article  MathSciNet  Google Scholar 

  21. Nadler SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475

    Article  MathSciNet  Google Scholar 

  22. Arshad M, Ahmad J: On multivalued contractions in cone metric spaces without normality. Sci. World J. 2013., 2013: Article ID 481601

    Google Scholar 

  23. Ćirić LB: Fixed-points for generalized multi-valued mappings. Mat. Vesn. 1972, 9(24):265–272.

    Google Scholar 

  24. Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.

    Google Scholar 

  25. Ćirić LB: Generalized contractions and fixed points theorems. Publ. Inst. Math. (Belgr.) 1971, 12(26):19–26.

    Google Scholar 

  26. Kannan R: Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60: 71–76.

    MathSciNet  Google Scholar 

  27. Reich S: Fixed points of contractive functions. Boll. Unione Mat. Ital. 1972, 5: 26–42.

    Google Scholar 

  28. Chatterjea SK: Fixed-point theorems. C. R. Acad. Bulgare Sci. 1972, 25: 727–730.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The author is thankful to the Ministry of Education, Science and Technological Development of the Republic of Serbia. The author thanks the editor and the referees for their valuable comments and suggestions that helped to improve the text.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dragan Ðorić.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access  This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ðorić, D. Common fixed point theorems for generalized multivalued contractions on cone metric spaces over a non-normal solid cone. Fixed Point Theory Appl 2014, 159 (2014). https://doi.org/10.1186/1687-1812-2014-159

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2014-159

Keywords