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

- Dragan Ðorić
^{1}Email author

**2014**:159

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

© Ðori¿; licensee Springer. 2014

**Received: **4 April 2014

**Accepted: **5 June 2014

**Published: **22 July 2014

## 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.

## Keywords

## 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 [2–4]). 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

(P_{1}) *P* is closed, nonempty, and $P\ne \{\theta \}$, where *θ* is the zero vector of *E*;

(P_{2}) $a,b\in R$, $a,b\ge 0$, $x,y\in P\Rightarrow ax+by\in P$;

(P_{3}) $P\cap (-P)=\{\theta \}$.

A cone *P* is called solid [5] if $intP\ne \mathrm{\varnothing}$, where int*P* is the interior of *P*.

Each cone *P* of *E* determines a partial order ⪯ on *E* by $x\u2aafy$ if and only if $y-x\in P$ for each $x,y\in X$. We write $x\prec y$ if $x\u2aafy$ but $x\ne y$, while $x\ll y$ will denote that $y-x\in intP$. 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,y\in E$,

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 $\parallel f\parallel ={\parallel f\parallel}_{\mathrm{\infty}}+{\parallel {f}^{\prime}\parallel}_{\mathrm{\infty}}$ and consider the cone $P=\{f\in E:f(t)\ge 0\}$. For each $n\ge 1$, put $f(x)=x$ and $g(x)={x}^{2n}$. Then $\theta \u2aafg\u2aaff$, $\parallel f\parallel =2$ and $\parallel g\parallel =2n+1$. Since for each $K>0$ there exists $n\in N$ such that $2n+1>2K$, we have $g\u2aaff$, but $\parallel g\parallel \nleqq K\parallel f\parallel $ for any $K>0$. Therefore, the cone *P* is non-normal.

Let *E* be a Banach space and *θ* be the zero vector of *E*. Let *P* be a cone in *E* with $int(P)\ne \mathrm{\varnothing}$ and let ⪯ be a partial ordering with respect to *P*. A mapping $d:X\times X\to E$ is called a cone metric on the nonempty set *X* if the following axioms are satisfied:

(d1) $\theta \u2aafd(x,y)$ for all $x,y\in X$ and $d(x,y)=\theta $ if and only if $x=y$;

(d2) $d(x,y)=d(y,x)$ for all $x,y\in X$;

(d3) $d(x,y)\u2aafd(x,z)+d(z,y)$ for all $x,y,z\in X$.

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)\in E:x,y\ge 0\}$, $X=R$ and $d:X\times X\to E$ defined by $d(x,y)=(|x-y|,c|x-y|)$, where $c\ge 0$ 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])

*X*is

- (i)
a convergent sequence if, for every

*c*in*E*with $\theta \ll c$, there is an*N*such that $d({x}_{n},x)\ll c$ for all $n>N$ and for some fixed*x*in*X*; - (ii)
a Cauchy sequence if, for every

*c*in*E*with $\theta \ll c$, there is an*N*such that $d({x}_{n},{x}_{m})\ll 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)\ne \mathrm{\varnothing}$, without the assumption of normality of cone *P*.

*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*).

(p_{1}) *If* $u\u2aafv$ *and* $v\ll w$, *then* $u\ll w$.

(p_{2}) *If* $\theta \u2aafu\ll c$ *for each* $c\in intP$, *then* $u=\theta $.

(p_{3}) *If* $a\u2aafb+c$ *for each* $c\in intP$, *then* $a\u2aafb$.

(p_{4}) *If* $\theta \u2aafx\u2aafy$ *and* $a\ge 0$, *then* $0\u2aafax\u2aafay$.

(p_{5}) *If* *E* *is a real Banach space with a cone* *P* *and if* $a\u2aaf\lambda a$, *where* $a\in P$ *and* $0<\lambda <1$, *then* $a=\theta $.

(p_{6}) *If* $c\in intP$, $\theta \u2aaf{a}_{n}$ *and* ${a}_{n}\to \theta $, *then there exists* ${n}_{0}$ *such that*, *for all* $n>{n}_{0}$, *we have* ${a}_{n}\ll c$.

From (p_{6}) it follows that the sequence $\{{x}_{n}\}$ converges to $x\in X$ if $d({x}_{n},x)\to \theta $ as $n\to \mathrm{\infty}$ and $\{{x}_{n}\}$ is a Cauchy sequence if $d({x}_{n},{x}_{m})\to \theta $ as $n,m\to \mathrm{\infty}$. 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}\to x$ and ${y}_{n}\to y$ it need not follow that $d({x}_{n},{y}_{n})\to d(x,y)$, as well as from ${x}_{n}\preccurlyeq {y}_{n}\preccurlyeq {z}_{n}$ and ${lim}_{n\to \mathrm{\infty}}{x}_{n}={lim}_{n\to \mathrm{\infty}}{z}_{n}=x$ it need not follow that ${lim}_{n\to \mathrm{\infty}}{y}_{n}=x$.

**Example 1.8**Let $E={C}_{R}^{1}([0,1])$, $P\subset E$ and the norm $\parallel \cdot \parallel $ be as in Example 1.3. Consider the sequences ${x}_{n}(t)={t}^{n}/n$ and ${y}_{n}(t)=2/n$. Then $0\u2aaf{x}_{n}\prec {y}_{n}$ and ${lim}_{n\to \mathrm{\infty}}{y}_{n}=0$, but

Therefore, $\{{x}_{n}\}$ does not converge to 0, although $0\le {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 [8–12]). An element $x\in X$ is said to be a fixed point of a multivalued map $T:X\to {2}^{X}$ if $x\in Tx$. 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 [13–20]). For a cone metric space $(X,d)$ let $\tilde{A}$ be a family of subsets of *X*. Wardowski [[19], Definition 3.1] introduced a new cone metric $H:\tilde{A}\times \tilde{A}\to 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 $\tilde{A}$ be a family of all nonempty, closed, bounded subsets of *X*. A map $H:\tilde{A}\times \tilde{A}\to E$ is called an *H*-cone metric on $\tilde{A}$ induced by *d* if the following conditions hold:

(H_{1}) $\theta \preccurlyeq H(A,B)$ for all $A,B\in \tilde{A}$ and $H(A,B)=\theta $ if and only if $A=B$;

(H_{2}) $H(A,B)=H(B,A)$ for all $A,B\in \tilde{A}$;

(H_{3}) $H(A,B)\preccurlyeq H(A,C)+H(C,B)$ for all $A,B,C\in \tilde{A}$;

(H_{4}) If $A,B\in \tilde{A}$, $\theta \prec \u03f5\in E$ with $H(A,B)\prec \u03f5$, then for each $a\in A$ there exists $b\in B$ such that $d(a,b)\prec \u03f5$.

**Example 1.10**Let $(X,d)$ be a metric space and let $\tilde{A}$ be a family of all nonempty, closed, bounded subsets of

*X*. Then the mapping $\mathcal{H}:\tilde{A}\times \tilde{A}\to {R}^{+}$ given by the formula

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*$\tilde{A}$

*be a collection of nonempty*,

*closed*,

*and bounded subsets of*

*X*

*and let*$H:\tilde{A}\times \tilde{A}\to E$

*be an*

*H*-

*cone metric induced by*

*d*.

*If for a map*$T:X\to \tilde{A}$

*there exists*$\lambda \in (0,1)$

*such that*,

*for all*$x,y\in X$,

*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])

*X*. A mapping $T:X\to \tilde{A}$ is said to be a generalized multivalued contraction if and only if there exists $\lambda \in [0,1)$ such that, for all $x,y\in X$,

where $H(A,B)$ for $A,B\in \tilde{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 $\tilde{A}$ be a family of nonempty, closed, and bounded subsets of *X* and let there exists an *H*-cone metric $H:\tilde{A}\times \tilde{A}\to E$ induced by *d*. A mapping $T:X\to \tilde{A}$ is said to be a cone generalized multivalued contraction if and only if there exists $\lambda \in [0,1)$ such that, for all $x,y\in X$, a mapping *T* satisfies one of the following contractive conditions:

(D1) $H(Tx,Ty)\preccurlyeq \lambda \cdot d(x,y)$;

(D2) $H(Tx,Ty)\preccurlyeq \lambda \cdot d(x,u)$ for each fixed $u\in Tx$;

(D3) $H(Tx,Ty)\preccurlyeq \lambda \cdot d(y,v)$ for each fixed $v\in Ty$;

(D4) $H(Tx,Ty)\preccurlyeq \lambda \cdot \frac{d(x,v)+d(y,u)}{2}$ for each fixed $v\in Ty$ and each fixed $u\in Tx$.

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 $\tilde{A}$ be a family of all nonempty, closed, bounded subsets of *X* and $H:\tilde{A}\times \tilde{A}\to E$ be a Hausdorff metric. Suppose that a mapping $T:X\to \tilde{A}$ is a generalized multivalued contraction defined in Definition 1.12. If we set $E=R$, $\theta =0$, $P=\{x\in E:x\ge 0\}={R}^{+}$ and for $x,y\in E$, we define $x\u2aafy$ if and only if $x\le y$, then $(X,d)$ is a cone metric space over cone *P* and $T:X\to \tilde{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* $\tilde{A}$ *be a family of nonempty*, *closed*, *and bounded subsets of* *X* *and let there exists an* *H*-*cone metric* $H:\tilde{A}\times \tilde{A}\to E$ *induced by* *d*. *Suppose that* $T,S:X\to \tilde{A}$ *are two cone multivalued mappings and suppose that there is* $\lambda \in (0,1)$ *such that*, *for all* $x,y\in X$, *at least one of the following conditions holds*:

(C1) $H(Tx,Sy)\preccurlyeq \lambda \cdot d(x,y)$;

(C2) $H(Tx,Sy)\preccurlyeq \lambda \cdot d(x,u)$ *for each fixed* $u\in Tx$;

(C3) $H(Tx,Sy)\preccurlyeq \lambda \cdot d(y,v)$ *for each fixed* $v\in Sy$;

(C4) $H(Tx,Sy)\preccurlyeq \lambda \cdot \frac{d(x,v)+d(y,u)}{2}$ *for each fixed* $v\in Sy$, $u\in Tx$.

*Then* *T* *and* *S* *have a common fixed point*.

*Proof* Let ${x}_{0}\in X$ and ${x}_{1}\in S{x}_{0}$ be arbitrary. Consider the element $H(T{x}_{1},S{x}_{0})\in 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})=\theta $ and hence from the property (d_{1}) of the metric *d* it follows ${x}_{1}={x}_{0}$. This and ${x}_{1}\in S{x}_{0}$ imply ${x}_{0}\in S{x}_{0}$. Further, $d({x}_{1},u)=d({x}_{0},u)=\theta $ for each fixed $u\in T{x}_{1}$ implies ${x}_{0}=u\in T{x}_{1}=T{x}_{0}$. Hence ${x}_{0}\in T{x}_{0}$. Therefore, in this case ${x}_{0}$ is a common fixed point of *S* and *T* and proof is done.

*θ*. Let $e\in P$ be a fixed element. Since $\lambda >0$, we have $\theta \prec \lambda e$. Thus we have $H(T{x}_{1},S{x}_{0})\prec \u03f5$, where $\u03f5=H(T{x}_{1},S{x}_{0})+\lambda e$. Then from $H(T{x}_{1},S{x}_{0})\prec \u03f5$ and from the property (H

_{4}) of the

*H*-cone metric in Definition 1.9 we find, as ${x}_{1}\in S{x}_{0}$, that there exists ${x}_{2}\in T{x}_{1}$ such that

_{4}) with $\u03f5=H(S{x}_{2},T{x}_{1})+{\lambda}^{2}e$, as ${x}_{2}\in T{x}_{1}$, there exists ${x}_{3}\in S{x}_{2}$ such that

*X*such that ${x}_{2n+1}\in S{x}_{2n}$, ${x}_{2n+2}\in T{x}_{2n+1}$ and

- (1)If $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot d({x}_{2n+1},{x}_{2n})$, then from (2.2) we have$d({x}_{2n+2},{x}_{2n+1})\prec \lambda \cdot d{(}_{2n+1},{x}_{2n})+{\lambda}^{2n+1}e.$(2.3)
- (2)If $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot d({x}_{2n+1},u)$ for any $u\in T{x}_{2n+1}$, then we can take $u={x}_{2n+2}\in T{x}_{2n+1}$. So, we obtain $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot d({x}_{2n+1},{x}_{2n+2})$ and from (2.2) we get$d({x}_{2n+2},{x}_{2n+1})\prec \lambda \cdot d({x}_{2n+1},{x}_{2n+2})+{\lambda}^{2n+1}e.$

- (3)
If $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot d({x}_{2n},v)$ for any $v\in S{x}_{2n}$, then we may take $v={x}_{2n+1}\in S{x}_{2n}$ and we obtain $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot d({x}_{2n},{x}_{2n+1})$. Then from (2.2) we again have (2.3).

- (4)If $H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot \frac{d({x}_{2n+1},v)+d({x}_{2n},u)}{2}$ for any $v\in S{x}_{2n}$ and $u\in T{x}_{2n+1}$, then we may take $v={x}_{2n+1}\in S{x}_{2n}$, $u={x}_{2n+2}\in T{x}_{2n+1}$. So we obtain$H(T{x}_{2n+1},S{x}_{2n})\u2aaf\lambda \cdot \frac{d({x}_{2n},{x}_{2n+2})}{2}.$

_{6}) in Lemma 1.7 it follows that we can choose a natural number ${n}_{1}$ such that

for all $n\ge {n}_{1}$. Thus, by (2.11), $d({x}_{n},{x}_{m})\preccurlyeq c$ for all $m>n\ge {n}_{1}$. Therefore, by (ii) in Definition 1.6, we conclude that $\{{x}_{n}\}$ is Cauchy sequence. Since *X* is complete, there exists $z\in X$ such that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},z)=\theta $.

*z*is a common fixed point of

*T*and

*S*. Since

_{4}) of the

*H*-cone metric in Definition 1.9 we see, as ${x}_{2n+2}\in T{x}_{2n+1}$, that there exists ${y}_{2n+1}\in Sz$ such that

- (1)If $H(T{x}_{2n+1},Sz)\u2aaf\lambda \cdot d({x}_{2n+1},z)$, then from (2.13) we have$d({x}_{2n+2},{y}_{2n+1})\prec \lambda \cdot d({x}_{2n+1},z)+{\lambda}^{2n+1}e.$(2.14)
- (2)If $H(T{x}_{2n+1},Sz)\u2aaf\lambda \cdot d({x}_{2n+1},u)$ for any fixed $u\in T{x}_{2n+1}$, then we can take $u={x}_{2n+2}\in T{x}_{2n+1}$. Thus from (2.13) we get$d({x}_{2n+2},{y}_{2n+1})\prec \lambda \cdot d({x}_{2n+1},{x}_{2n+2})+{\lambda}^{2n+1}e.$(2.15)
- (3)If $H(T{x}_{2n+1},Sz)\u2aaf\lambda \cdot d(z,v)$ for any fixed $v\in Sz$, then we can take $v={y}_{2n+1}\in Sz$. Thus from (2.13) and by the triangle inequality we get$d({x}_{2n+2},{y}_{2n+1})\prec \lambda \cdot d(z,{x}_{2n+2})+\lambda \cdot d({x}_{2n+2},{y}_{2n+1})+{\lambda}^{2n+1}e,$

- (4)If $H(T{x}_{2n+1},Sz)\u2aaf\lambda \cdot \frac{d({x}_{2n+1},v)+d(z,u)}{2}$ for any $v\in Sz$ and $u\in T{x}_{2n+1}$, then we can take $v={y}_{2n+1}\in Sz$ and $u={x}_{2n+2}\in T{x}_{2n+1}$. Thus from (2.13) and by the triangle inequality we get$d({x}_{2n+2},{y}_{2n+1})\prec \lambda \cdot \frac{d({x}_{2n+1},{x}_{2n+2})+d({x}_{2n+2},{y}_{2n+1})+d(z,{x}_{2n+2})}{2}+{\lambda}^{2n+1}e,$

Since $\{{x}_{n}\}$ converges to *z* and since ${\lambda}^{2n+1}\to 0$ and by (2.10) $d({x}_{2n+1},{x}_{2n+2})\to \theta $ as $n\to \mathrm{\infty}$, the right hand side of the inequality (2.19) converges to *θ* as $n\to \mathrm{\infty}$. Therefore, from (p_{6}) in Lemma 1.7 and (2.19) we can choose a natural number ${n}_{2}$ such that $d(z,{y}_{2n+1})\preccurlyeq c$ for all $n\ge {n}_{2}$, where $c\in E$ with $\theta \ll c$ is arbitrary. By (i) in Definition 1.6 we conclude that $\{{y}_{n}\}$ converges to *z*. Since ${y}_{2n+1}\in Sz$ and *Sz* is closed, we get $z\in Sz$.

Analogously, we can get $z\in Tz$. 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* $\tilde{A}$ *be a family of nonempty*, *closed*, *and bounded subsets of* *X*. *Suppose that there exists an* *H*-*cone metric* $H:\tilde{A}\times \tilde{A}\to E$ *induced by* *d* *and suppose that* $T:X\to \tilde{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])$, $P\subset E$ and the norm $\parallel \cdot \parallel $ be as in Example 1.3. Define $d:X\times X\to E$ by

*d*is a cone metric on

*X*. Let $\tilde{A}$ be a family of all nonempty, closed, bounded subsets of

*X*and let the mapping $T:X\to \tilde{A}$ be defined by

where ℋ is the usual Hausdorff metric on *X* induced by the metric $d(x,y)=|x-y|$.

*T*satisfies all conditions of Theorem 2.4 with $\lambda =\frac{1}{2}$.

- (1)If $0\le x,y<1$ and $x\ne y$, then we have$H(T(x),T(y))(t)=\mathcal{H}([0,\frac{x}{3}],[0,\frac{y}{3}])\cdot {e}^{t}=|\frac{x}{3}-\frac{y}{3}|\cdot {e}^{t}<\frac{1}{2}|x-y|\cdot {e}^{t}=\lambda d(x,y)(t).$
Thus

*T*satisfies the contractive condition (D1) in Definition 1.12 with $\lambda =1/2$. - (2)If $0\le x<1$ and $y=1$, then we have$H(T(x),T(1))(t)<|\frac{1}{3}-\frac{1}{8}|\cdot {e}^{t}=\frac{5}{24}\cdot {e}^{t}<\frac{1}{2}\cdot \frac{7}{8}{e}^{t}\le \lambda d(1,u)(t)$

for all $u\in [0,1/8]=T(1)$. Therefore, in this case *T* satisfies the contractive condition (D2) in Definition 1.12 with $\lambda =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$.

Clearly, there does not exist $\lambda <1$ such that $H(T(x),T(1))(t)\le \lambda \cdot 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,b\in P$ it does not need to follow that $(1/2)(a+b)\u2aafa$ nor $(1/2)(a+b)\u2aafb$. Thus in addition to the conditions (C1)-(C4) of Theorem 2.3 we can consider the condition

(C5) $H(Tx,Sy)\preccurlyeq \lambda \cdot \frac{d(x,u)+d(y,v)}{2}$ for each fixed $u\in Tx$ and $v\in Sy$.

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* $\tilde{A}$ *be a family of non*-*empty*, *closed*, *and bounded subsets of X and let there exists an* *H*-*cone metric* $H:\tilde{A}\times \tilde{A}\to E$ *induced by* *d*. *Suppose that* $T,S:X\to \tilde{A}$ *are two cone multivalued mappings and suppose that there is* $\lambda \in (0,1)$ *such that*, *for all* $x,y\in X$, *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*$\tilde{A}$

*be a family of non*-

*empty*,

*closed*,

*and bounded subsets of*

*X*

*and let there exists an*

*H*-

*cone metric*$H:\tilde{A}\times \tilde{A}\to E$

*induced by*

*d*.

*Suppose that*$T,S:X\to \tilde{A}$

*are two cone multivalued mappings and suppose that there is*$\gamma \in (0,1/2)$

*such that*,

*for all*$x,y\in X$,

*the mappings*

*T*

*and*

*S*

*satisfy the condition*

*for each* $u\in Tx$ *and for each* $v\in Sy$. *Then* *T* *and* *S* *have a common fixed point*.

## Declarations

### 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.

## Authors’ Affiliations

## References

- Huang G, Zhang X: Cone metric spaces and fixed point theorems of contractive maps.
*J. Math. Anal. Appl.*2007, 332: 1467–1475.View ArticleGoogle Scholar - Feng Y, Mao W: The equivalence of cone metric spaces and metric spaces.
*Fixed Point Theory*2010, 11(2):259–264.MathSciNetGoogle Scholar - 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.014View ArticleGoogle Scholar - 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.030View ArticleMathSciNetGoogle Scholar - Deimling K:
*Nonlinear Functional Analysis*. Springer, Berlin; 1985.View ArticleGoogle Scholar - 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.049View ArticleMathSciNetGoogle Scholar - Ć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 3Google Scholar - Abbas M, Ðorić D:A common end point theorem for set-valued generalized$(\psi ,\phi )$-weak contraction.
*Fixed Point Theory Appl.*2010., 2010: Article ID 509658Google Scholar - Ć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.062View ArticleMathSciNetGoogle Scholar - Damjanovic B, Ðorić D: Multivalued generalizations of the Kannan fixed point theorem.
*Filomat*2011, 25(1):125–131. 10.2298/FIL1101125DView ArticleMathSciNetGoogle Scholar - Ðorić D, Lazovic R: Some Suzuki-type fixed point theorems for generalized multivalued mappings and applications.
*Fixed Point Theory Appl.*2011., 2011: Article ID 40Google Scholar - Kutbi MA, Ahmad J, Azam A:On fixed points of$\alpha -\psi $-contractive multivalued mappings in cone metric spaces.
*Abstr. Appl. Anal.*2013., 2013: Article ID 313782Google Scholar - 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.015View ArticleMathSciNetGoogle Scholar - 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.001View ArticleMathSciNetGoogle Scholar - 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/941371Google Scholar - 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.012View ArticleGoogle Scholar - Rezapour S, Haghi RH: Fixed point of multifunctions on cone metric spaces.
*Numer. Funct. Anal. Optim.*2009, 30(7–8):1–8.View ArticleMathSciNetGoogle Scholar - 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.001View ArticleMathSciNetGoogle Scholar - 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.003View ArticleMathSciNetGoogle Scholar - 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.089View ArticleMathSciNetGoogle Scholar - Nadler SB Jr.: Multi-valued contraction mappings.
*Pac. J. Math.*1969, 30: 475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetGoogle Scholar - Arshad M, Ahmad J: On multivalued contractions in cone metric spaces without normality.
*Sci. World J.*2013., 2013: Article ID 481601Google Scholar - Ćirić LB: Fixed-points for generalized multi-valued mappings.
*Mat. Vesn.*1972, 9(24):265–272.Google Scholar - Ćirić LB: A generalization of Banach’s contraction principle.
*Proc. Am. Math. Soc.*1974, 45: 267–273.Google Scholar - Ćirić LB: Generalized contractions and fixed points theorems.
*Publ. Inst. Math. (Belgr.)*1971, 12(26):19–26.Google Scholar - Kannan R: Some results on fixed points.
*Bull. Calcutta Math. Soc.*1968, 60: 71–76.MathSciNetGoogle Scholar - Reich S: Fixed points of contractive functions.
*Boll. Unione Mat. Ital.*1972, 5: 26–42.Google Scholar - Chatterjea SK: Fixed-point theorems.
*C. R. Acad. Bulgare Sci.*1972, 25: 727–730.MathSciNetGoogle Scholar

## Copyright

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.