# Extensions of Banach contraction principle to partial cone metric spaces over a non-normal solid cone

- Shujun Jiang
^{1}and - Zhilong Li
^{2}Email author

**2013**:250

https://doi.org/10.1186/1687-1812-2013-250

© Jiang and Li; licensee Springer. 2013

**Received: **24 June 2013

**Accepted: **9 September 2013

**Published: **7 November 2013

## Abstract

In this paper, we present some extensions of Banach contraction principle to partial cone metric spaces over a non-normal solid cone, which improve many recent fixed point results in cone metric spaces and partial cone metric spaces. An example is given to support the usability of our results.

**MSC:**06A07, 47H10.

## Keywords

## 1 Introduction

The Banach contraction principle is the most celebrated fixed point theorem, which has been extended in various directions. In 2007, Huang and Zhang [1] introduced cone metric spaces and extended the Banach contraction principle to cone metric spaces over a normal solid cone, being unaware that cone metric spaces already existed under the name of *K*-metric spaces and *K*-normed spaces that were introduced and used in the middle of the 20th century in [2–9]. Furthermore, Huang and Zhang defined the convergence via interior points of the cone. Such an approach allows the investigation of the case that the cone is not necessarily normal, for example, the authors in [10–18] established many fixed point results and common fixed point results in cone metric spaces over a non-normal cone. In 2012, based on the definition of cone metric spaces and partial metric spaces, which were introduced by Matthews [19], Sonmez [20, 21] defined a partial cone metric space and considered the extensions of Banach contraction principle to partial cone metric spaces.

It is worth mentioning that in most of the preceding references concerned with fixed point results of contractions in cone metric spaces and partial cone metric spaces, the contractions are always assumed to be restricted with a constant. In [9], Agarwal considered a contraction restricted with a positive linear mapping and proved the following fixed point theorem in cone metric spaces.

**Theorem 1** (See [9])

*Let*$(X,d)$

*be a complete cone metric space over*${\mathbb{R}}_{+}^{n}$

*and*$T:X\to X$.

*If there exists a linear bounded mapping*$L:{\mathbb{R}}_{+}^{n}\to {\mathbb{R}}_{+}^{n}$

*with the spectral radius*$r(L)<1$

*such that*

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$.

It is clear that ${\mathbb{R}}_{+}^{n}$ is a normal solid cone of ${\mathbb{R}}^{n}$ endowed with the usual norm. Motivated by [10–18, 20, 21], we in this paper shall extend Theorem 1 to partial cone metric spaces over a non-normal solid cone of an abstract normed vector space.

## 2 Preliminaries

*E*be a topological vector space. A cone of

*E*is a nonempty closed subset

*P*of

*E*such that

- (i)
$ax+by\in P$ for each $x,y\in P$ and each $a,b\ge 0$, and

- (ii)
$P\cap (-P)=\{\theta \}$, where

*θ*is the zero element of*E*.

Each cone *P* of *E* determines a partial order ⪯ on *E* by $x\u2aafy\u27fay-x\in P$ for each $x,y\in X$.

A cone *P* of a topological vector space *E*, is solid [22] if $intP\ne \mathrm{\varnothing}$, where int*P* is the interior of *P*. For each $x,y\in E$ with $y-x\in intP$, we write $x\ll y$. A cone *P* of a normed vector space $(E,\parallel \cdot \parallel )$, is normal [22] if there exists $N>0$ such that $x\u2aafy$ implies that $\parallel x\parallel \le N\parallel y\parallel $ for each $x,y\in P$, and the minimal *N* is called a normal constant of *P*.

**Lemma 1** *Let* *P* *be a solid cone of a normed vector space* $(E,\parallel \cdot \parallel )$, *and let* $\{{u}_{n}\}$ *be a sequence in* *E*. *Then* ${u}_{n}\stackrel{\parallel \cdot \parallel}{\to}\theta $ *implies that for each* $\u03f5\in intP$, *there exists a positive integer* ${n}_{0}$ *such that* $\u03f5\pm {u}_{n}\in intP$, *i*.*e*., ${u}_{n}\ll \u03f5$ *for all* $n\ge {n}_{0}$.

*Proof* For each $\u03f5\in intP$, there exists some $\epsilon >0$ such that $\parallel x\parallel <\epsilon $ implies that $\u03f5\pm x\in intP$ for each $x\in E$. If ${u}_{n}\stackrel{\parallel \cdot \parallel}{\to}\theta $, then for this *ε*, there exists a positive integer ${n}_{0}$ such that $\parallel {u}_{n}\parallel <\epsilon $ for each $n\ge {n}_{0}$, and hence $\u03f5\pm {u}_{n}\in intP$ for each $n\ge {n}_{0}$, *i.e.*, $-\u03f5{u}_{n}\ll \u03f5$ for each $n\ge {n}_{0}$. The proof is complete. □

**Remark 1** The converse of Lemma 1 is true provided that *P* is normal. In fact, for each $\epsilon >0$, there exists some $\u03f5\in intP$ such that $\parallel \u03f5\parallel <\frac{\epsilon}{2N+1}$, where *N* denotes the normal constant of *P*. Note that for this *ϵ*, there exists a positive integer ${n}_{0}$ such that $-\u03f5\ll {u}_{n}\ll \u03f5$ for each $n\ge {n}_{0}$, and so $\theta \ll {u}_{n}+\u03f5\le 2\u03f5$. Then $\parallel {u}_{n}\parallel \le \parallel {u}_{n}+\u03f5\parallel +\parallel \u03f5\parallel \le (2N+1)\parallel \u03f5\parallel <\epsilon $ for each $n\ge {n}_{0}$ by the normality of *P*. This forces that ${u}_{n}\stackrel{\parallel \cdot \parallel}{\to}\theta $.

The following example shows that the converse of Lemma 1 may not be true if *P* is non-normal.

**Example 1** Let $E={C}_{\mathbb{R}}^{1}[0,1]$ with the norm $\parallel u\parallel ={\parallel u\parallel}_{\mathrm{\infty}}+{\parallel {u}^{\prime}\parallel}_{\mathrm{\infty}}$ and $P=\{u\in E:u(t)\ge 0,t\in [0,1]\}$, which is a non-normal solid cone [22]. Let ${u}_{n}(t)=\frac{sinnt}{n}$. Clearly, $\parallel {u}_{n}\parallel =1$, and so ${u}_{n}\stackrel{\parallel \cdot \parallel}{\nrightarrow}\theta $. On the other hand, let ${v}_{n}(t)\equiv \frac{1}{n}$, then ${v}_{n}\in P$, ${v}_{n}\stackrel{\parallel \cdot \parallel}{\to}\theta $ and $-{v}_{n}\u2aaf{u}_{n}\u2aaf{v}_{n}$. By Lemma 1, for each $\u03f5\in intP$, there exists a positive integer ${n}_{0}$ such that $\theta \u2aaf{v}_{n}\ll \u03f5$ for all $n\ge {n}_{0}$, and hence $-\u03f5\ll {u}_{n}\ll \u03f5$ for all $n\ge {n}_{0}$.

*X*be a nonempty set and

*P*be a cone of a topological vector space

*E*. A cone metric [1] on

*X*is a mapping $p:X\times X\to P$ such that for each $x,y,z\in X$,

- (d1)
$d(x,y)=\theta \u27fax=y$;

- (d2)
$d(x,y)=d(y,x)$;

- (d3)
$d(x,y)\u2aafd(x,z)+d(z,y)$.

*P*. A partial cone metric [20, 21] on

*X*is a mapping $p:X\times X\to P$ such that for each $x,y,z\in X$,

- (p1)
$p(x,y)=p(x,x)=p(y,y)\u27fax=y$;

- (p2)
$p(x,y)=p(y,x)$;

- (p3)
$p(x,x)\u2aafp(x,y)$;

- (p4)
$p(x,y)\u2aafp(x,z)+p(z,y)-p(z,z)$.

The pair $(X,p)$ is called a partial cone metric space over *P*.

Each cone metric is certainly a partial cone metric. The following example shows that there does exist some partial cone metric which is not a cone metric.

**Example 2**Let $E={C}_{\mathbb{R}}^{1}[0,1]$ with the norm $\parallel u\parallel ={\parallel u\parallel}_{\mathrm{\infty}}+{\parallel {u}^{\prime}\parallel}_{\mathrm{\infty}}$, and $X=P=\{u\in E:u(t)\ge 0,t\in [0,1]\}$. Define a mapping $p:X\times X\to P$ by

*i.e.*, (p2) and (p3) are satisfied. For each $x,y\in X$, $p(x,y)=p(x,x)=p(y,y)=x$ whenever $x=y$, and $x=y$ whenever $p(x,x)=p(y,y)$,

*i.e.*, (p1) is satisfied. For each $x,y,z\in X$,

*i.e.*, (p4) is satisfied for each $x,y,z\in X$. Hence *p* is partial cone metric, but not a cone metric, since $p(x,x)\ne \theta $ for each $x\in X$ with $x\ne \theta $.

Each partial cone metric *p* on *X* over a solid cone generates a topology ${\tau}_{p}$ on *X*, which has a base of the family of open *p*-balls $\{{B}_{p}(x,\u03f5):x\in X,\theta \ll \u03f5\}$, where ${B}_{p}(x,\u03f5)=\{y\in X:p(x,y)\ll p(x,x)+\u03f5\}$ for each $x\in X$ and each $\u03f5\in intP$.

**Definition 1**Let $(X,p)$ be a partial cone metric space over a solid cone

*P*of a topological vector space

*E*.

- (i)
A sequence $\{{x}_{n}\}$ in

*X*converges [20] to $x\in X$ (denote by ${x}_{n}\stackrel{{\tau}_{p}}{\to}x$), if for each $\u03f5\in intP$, there exists a positive integer ${n}_{0}$ such that $p({x}_{n},x)\ll p(x,x)+\u03f5$ for each $n\ge {n}_{0}$. A sequence $\{{x}_{n}\}$ in*X*strongly converges [21] to $x\in X$ (denote by ${x}_{n}\stackrel{\mathrm{s}\text{-}{\tau}_{p}}{\to}x$), if ${lim}_{n\to \mathrm{\infty}}p({x}_{n},x)={lim}_{n\to \mathrm{\infty}}p({x}_{n},{x}_{n})=p(x,x)$. - (ii)
A sequence $\{{x}_{n}\}$ in

*X*is*θ*-Cauchy, if for each $\u03f5\in intP$, there exists a positive integer ${n}_{0}$ such that $p({x}_{n},{x}_{m})\ll \u03f5$ for all $m,n\ge {n}_{0}$. The partial cone metric space $(X,p)$ is*θ*-complete, if each*θ*-Cauchy sequence $\{{x}_{n}\}$ of*X*converges to a point $x\in X$ such that $p(x,x)=\theta $.

It follows from Lemma 1 and Remark 1 that each strongly convergent sequence $\{{x}_{n}\}$ of a partial cone metric space *X* is convergent whenever *E* is a normed vector space, and the converse is true provided that *P* is a normal. The following example will show that there exists some sequence of a partial cone metric, which is convergent but not strongly convergent if *P* is non-normal.

**Example 3** Let $(X,p)$, *E* and *P* be the same ones as those in Example 2, and let ${u}_{n}(t)=\frac{1+sinnt}{n+2}$. Then ${u}_{n}\stackrel{{\tau}_{p}}{\to}\theta $, but ${u}_{n}\stackrel{\mathrm{s}\text{-}{\tau}_{p}}{\nrightarrow}\theta $. In fact, it is clear that ${u}_{n}\in P$, $p({u}_{n},\theta )={u}_{n}$, ${u}_{n}\u2aafv$ and ${v}_{n}\stackrel{\parallel \cdot \parallel}{\to}\theta $, where $v(t)\equiv \frac{2}{n+2}$. Then by Lemma 1, for each $\u03f5\in intP$, there exists a positive integer ${n}_{0}$ such that $\theta \u2aafp({u}_{n},\theta )\u2aaf{v}_{n}\ll \u03f5$ for all $n\ge {n}_{0}$, *i.e.*, ${u}_{n}\stackrel{{\tau}_{p}}{\to}\theta $. On the other hand, $\parallel p({u}_{n},\theta )-p(\theta ,\theta )\parallel =\parallel {u}_{n}\parallel =1$, and hence ${u}_{n}\stackrel{\mathrm{s}\text{-}{\tau}_{p}}{\nrightarrow}\theta $.

**Definition 2** Let $(X,p)$ be a partial cone metric space over a solid cone *P* of a normed vector space $(E,\parallel \cdot \parallel )$. A sequence $\{{x}_{n}\}$ in *X* is Cauchy [20, 21], if there exists $u\in P$ with $\parallel u\parallel <\mathrm{\infty}$ such that ${lim}_{m,n\to \mathrm{\infty}}p({x}_{n},{x}_{m})=u$. The partial cone metric space $(X,p)$ is complete [20, 21], if each Cauchy sequence $\{{x}_{n}\}$ of *X* strongly converges to a point $x\in X$ such that $p(x,x)=u$.

If *P* is a normal solid cone of a normed vector space $(E,\parallel \cdot \parallel )$, then each complete partial cone metric space is *θ*-complete by Lemma 1 and Remark 1. But the converse is not true, the following example shows that a partial cone metric space which is *θ*-complete, is not necessarily complete.

**Example 4**Let $X=\{({x}_{1},{x}_{2},\dots ,{x}_{k}):{x}_{i}\ge 0,{x}_{i}\in \mathbb{Q},i=1,2,\dots ,k\}$, $E={\mathbb{R}}^{k}$ with the norm $\parallel x\parallel =\sqrt{{\sum}_{i=1}^{k}{x}_{i}^{2}}$, $P={\mathbb{R}}_{+}^{k}$, where ℚ denotes the set of rational numbers. Define a mapping $p:X\times X\to P$ as follows:

Clearly, $(X,p)$ is a partial cone metric space, $p(x,x)=x$ for each $x\in X$, $p(x,\theta )=\theta \u27fax=\theta $, *P* is normal.

Let $\{{y}_{n}\}$ be a sequence in $(X,p)$, where ${y}_{n}=({y}_{n1},{y}_{n2},\dots ,{y}_{nk})$. If $\{{y}_{n}\}$ is *θ*-Cauchy, then by Remark 1 and the normality of *P*, ${lim}_{m,n\to \mathrm{\infty}}p({y}_{n},{y}_{m})=\theta $, and so for each $\epsilon >0$, there exists ${n}_{0}$ such that $\parallel p({y}_{n},{y}_{m})\parallel <\epsilon $ for each $m,n\ge {n}_{0}$. Thus, ${y}_{ni}\vee {y}_{mi}=p({y}_{ni},{y}_{mi})<\epsilon $ for each $m,n\ge {n}_{0}$ and each $1\le i\le k$. This means ${lim}_{n\to \mathrm{\infty}}{y}_{ni}=0$ for each $1\le i\le k$, *i.e.*, ${lim}_{n\to \mathrm{\infty}}{y}_{n}=\theta $. Therefore, ${lim}_{n\to \mathrm{\infty}}p({y}_{n},\theta )={lim}_{n\to \mathrm{\infty}}{y}_{n}=\theta =p(\theta ,\theta )$, *i.e.*, ${y}_{n}\stackrel{{\tau}_{p}}{\to}\theta $, and hence $(X,p)$ is *θ*-complete since $\theta \in X$.

Let ${y}_{ni}=i{(1+\frac{1}{n})}^{n}$ for each *n* and each $1\le i\le k$, and $\tilde{e}=(e,2e,\dots ,ke)$. It is clear that ${lim}_{m,n\to \mathrm{\infty}}p({y}_{n},{y}_{m})=\tilde{e}$, and hence $\{{y}_{n}\}$ is a Cauchy sequence in $(X,p)$. If there exists $x\in X$ such that $p(x,x)=\tilde{e}$, then $x=\tilde{e}$, which contradicts to the fact that $\tilde{e}\notin X$ since $e\notin \mathbb{Q}$. This means $p(x,x)\ne \tilde{e}$ for each $x\in X$, and so there does not exist $x\in X$ such that ${lim}_{m,n\to \mathrm{\infty}}p({y}_{n},{y}_{m})=p(x,x)$. Therefore, $(X,p)$ is not complete.

## 3 Extensions of Banach contraction principle

In this section, we present some extensions of Banach contraction principle in the setting of partial cone metric spaces over a non-normal solid cone of an abstract normed vector space.

**Theorem 2**

*Let*$(X,p)$

*be a*

*θ*-

*complete partial cone metric space over a solid cone*

*P*

*of a normed vector space*$(E,\parallel \cdot \parallel )$

*and*$T:X\to X$.

*If there exists a linear bounded mapping*$L:P\to P$

*with the spectral radius*$r(L)<1$

*such that*

*Then*

*T*

*has a unique fixed point*${x}^{\ast}\in X$.

*In addition*,

*for each*${x}_{0}\in X$,

*let*

*then there exists a positive integer* ${n}_{0}$ *such that* ${y}_{n}\stackrel{{\tau}_{p}}{\to}{x}^{\ast}$, *where* $\{{y}_{n}\}$ *is a subsequence of* $\{{x}_{n}\}$ *defined by* ${y}_{n}={T}^{n{n}_{0}}{x}_{0}$.

*Proof*By $r(L)<1$ and Gelfand’s formula, there exists $0<\beta <1$ such that

*θ*-Cauchy sequence in $(X,p)$. Moreover by the

*θ*-completeness of $(X,p)$, there exists some ${x}^{\ast}\in X$ such that ${y}_{n}\stackrel{{\tau}_{p}}{\to}{x}^{\ast}$ and $p({x}^{\ast},{x}^{\ast})=\theta $, and so there exists a positive integer ${n}_{2}\ge {n}_{1}$ such that

which together with the arbitrary property of *ϵ* implies that $p({T}^{{n}_{0}}{x}^{\ast},{x}^{\ast})=\theta $, and hence ${T}^{{n}_{0}}{x}^{\ast}={x}^{\ast}$ by (p1) and (p3), *i.e.*, ${x}^{\ast}$ is a fixed point of ${T}^{{n}_{0}}$. Let $x\in X$ be a fixed point of ${T}^{{n}_{0}}$, *i.e.*, ${T}^{{n}_{0}}x=x$. Note that $\parallel {L}^{{n}_{0}}\parallel <1$ by (4), then the inverse of $I-{L}^{{n}_{0}}$ exists, denote it by ${(I-{L}^{{n}_{0}})}^{-1}$. Moreover by Neumann’s formula, ${(I-{L}^{{n}_{0}})}^{-1}(P)\subset P$. By (2), we have $p(x,{x}^{\ast})=p({T}^{{n}_{0}}x,{T}^{{n}_{0}}{x}^{\ast})\u2aaf{L}^{{n}_{0}}p(x,{x}^{\ast})$, and hence $(I-{L}^{{n}_{0}})p(x,{x}^{\ast})\u2aaf\theta $. Act it with ${(I-{L}^{{n}_{0}})}^{-1}$, then $p(x,{x}^{\ast})\u2aaf\theta $. This implies that $p(x,{x}^{\ast})=\theta $, and hence $x={x}^{\ast}$ by (p1) and (p3). Hence ${x}^{\ast}$ is the unique fixed point of ${T}^{{n}_{0}}$.

Note that ${x}^{\ast}$ is a fixed point of ${T}^{{n}_{0}}$, then ${T}^{{n}_{0}}(T{x}^{\ast})=T({T}^{{n}_{0}}{x}^{\ast})=T{x}^{\ast}$, *i.e.*, $T{x}^{\ast}$ is also a fixed point of ${T}^{{n}_{0}}$. By the uniqueness of fixed point of ${T}^{{n}_{0}}$, we have $T{x}^{\ast}={x}^{\ast}$, *i.e.*, ${x}^{\ast}$ is also a fixed point of *T*. Let *y* be a fixed point of *T*. It is clear that *y* is also a fixed point of ${T}^{{n}_{0}}$, and so $y={x}^{\ast}$ by the uniqueness of fixed point of ${T}^{{n}_{0}}$. Hence ${x}^{\ast}$ is the unique fixed point of *T*. The proof is complete. □

**Remark 2** It is clear that Theorem 1 is exactly a special case of Theorem 2 with $E={\mathbb{R}}^{n}$ and $P={\mathbb{R}}_{+}^{n}$. Let $Lu=cu$ for some constant $c\in [0,1)$, then $r(L)=c<1$, and so Theorem 1 of [1], Theorem 6 of [20] and Theorem 7 of [21] directly follow from Theorem 2. In addition, the normality of *P* necessarily assumed in [1, 9, 20, 21] has been removed in Theorem 2. Therefore, Theorem 2 indeed improves the corresponding results in [1, 9, 20, 21].

The following example shows the usability of Theorem 2.

**Example 5** Let $(X,p)$, *E* and *P* be the same ones as those in Example 2. Let $(Tx)(t)=(Lx)(t){\int}_{0}^{t}x(s)\phantom{\rule{0.2em}{0ex}}ds$ for each $x\in X$, where $t\in [0,a]$, $a>0$. Clearly, *θ* is the unique fixed point of *T*.

*i.e.*, (2) is satisfied. It is clear that $({L}^{n}x)(t)\le \frac{{t}^{n}}{n!}{\parallel x\parallel}_{\mathrm{\infty}}$ for each $t\in [0,a]$, and hence ${\parallel {L}^{n}x\parallel}_{\mathrm{\infty}}\le \frac{{a}^{n}}{n!}{\parallel x\parallel}_{\mathrm{\infty}}$. Note that ${({L}^{n}x)}^{\prime}(t)=({L}^{n-1}x)(t)$, then

which implies that $\parallel {L}^{n}\parallel \le \frac{{a}^{n}}{n!}+\frac{{a}^{n}}{(n-1)!}$. Therefore by Gelfand’s formula, $r(L)={lim}_{n\to \mathrm{\infty}}\sqrt[n]{\parallel {L}^{n}\parallel}=0$ since ${lim}_{n\to \mathrm{\infty}}\frac{1}{\sqrt[n]{n!}}=0$, and hence *T* has a unique fixed point in *X* by Theorem 2.

However, the existence of fixed point of *T* cannot derive from the fixed point results in [1–21, 23], since *P* is non-normal, and *p* is not a cone metric by Example 1 and Example 2, and there does not exist a constant $c\in [0,1)$ such that $p(Tx,Ty)\u2aafcp(x,y)$.

**Theorem 3**

*Let*$(X,p)$

*be a*

*θ*-

*complete partial cone metric space over a solid cone*

*P*

*of a normed vector space*$(E,\parallel \cdot \parallel )$

*and*$T:X\to X$.

*If there exist four nonnegative constants*${c}_{1}$, ${c}_{2}$, ${c}_{3}$

*and*${c}_{4}$

*with*${c}_{1}+{c}_{2}+{c}_{3}+2{c}_{4}<1$

*such that*

*Then* *T* *has a unique fixed point* ${x}^{\ast}\in X$, *and for each* ${x}_{0}\in X$, ${x}_{n}\stackrel{{\tau}_{p}}{\to}{x}^{\ast}$, *where* ${x}_{n}$ *is defined by* (3).

*Proof*By (3), (8) and (p4),

*i.e.*, $\{{x}_{n}\}$ is a

*θ*-Cauchy sequence. Therefore, by the

*θ*-completeness of $(X,p)$, there exists ${x}^{\ast}\in X$ such that ${x}_{n}\stackrel{{\tau}_{p}}{\to}{x}^{\ast}$ and $p({x}^{\ast},{x}^{\ast})=\theta $, and so there exists a positive integer ${n}_{2}\ge {n}_{1}$ such that

*ϵ*implies that $p(T{x}^{\ast},{x}^{\ast})=\theta $, and so $T{x}^{\ast}={x}^{\ast}$ by (p1) and (p3). Let

*x*be a fixed point of

*T*. Then by (8) and (p3),

This forces that $p({x}^{\ast},x)=\theta $ since ${c}_{1}+{c}_{3}+2{c}_{4}<1$, and so $x={x}^{\ast}$ by (p1) and (p3). Hence ${x}^{\ast}$ is the unique fixed point of *T*. The proof is complete. □

**Remark 3** Theorem 3 and Theorem 4 of [1] are special cases of Theorem 3 in the setting of cone metric spaces with ${c}_{1}={c}_{4}=0$, ${c}_{2}={c}_{3}$ and ${c}_{1}={c}_{2}={c}_{3}=0$, respectively, and Theorem 7 of [20] and Theorem 8 of [21] are special cases of Theorem 3 with ${c}_{1}={c}_{4}=0$, ${c}_{2}={c}_{3}$. In addition, *P* is not necessarily normal in Theorem 3. Compared with the corresponding results of [20, 21], the partial cone metric space *X* is only assumed to be *θ*-complete, but not complete in Theorem 2 and Theorem 3.

## Declarations

### Acknowledgements

The work was supported by the Natural Science Foundation of China (11161022), the Natural Science Foundation of Jiangxi Province (20114BAB211006, 20122BAB201015), the Educational Department of Jiangxi Province (GJJ12280, GJJ13297) and Program for Excellent Youth Talents of JXUFE (201201).

## Authors’ Affiliations

## References

- 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.087MathSciNetView ArticleMATHGoogle Scholar - Kantorovich LV: The method of successive approximations for functional equations.
*Acta Math.*1939, 71: 63–77. 10.1007/BF02547750MathSciNetView ArticleGoogle Scholar - Kantorovich LV: The majorant principle and Newton’s method.
*Dokl. Akad. Nauk SSSR*1951, 76: 17–20.Google Scholar - Kantorovich LV: On some further applications of the Newton approximation method.
*Vestn. Leningr. Univ., Mat. Meh. Astron.*1957, 12: 68–103.MathSciNetMATHGoogle Scholar - Kirk WA, Kang BC: A fixed point theorem revisited.
*J. Korean Math. Soc.*1972, 34: 285–291.MathSciNetMATHGoogle Scholar - Chung KJ: Nonlinear contractions in abstract spaces.
*Kodai Math. J.*1981, 4: 288–292. 10.2996/kmj/1138036375MathSciNetView ArticleMATHGoogle Scholar - Krasnoseljski MA, Zabreiko PP:
*Geometrical Methods in Nonlinear Analysis*. Springer, Berlin; 1984.View ArticleGoogle Scholar - Rus IA, Petrusel A, Petrusel G:
*Fixed Point Theory*. Cluj University Press, Cluj-Napoca; 2008.MATHGoogle Scholar - Agarwal RP: Contraction and approximate contraction with an application to multi-point boundary value problems.
*J. Comput. Appl. Math.*1983, 9: 315–325. 10.1016/0377-0427(83)90003-1MathSciNetView ArticleMATHGoogle Scholar - Cakić N, Kadelburg Z, Radenović S, Razani A: Common fixed point results in cone metric spaces for family of weakly compatible maps.
*Adv. Appl. Math. Sci.*2009, 1: 183–207.MathSciNetMATHGoogle Scholar - Janković S, Kadelburg Z, Radenović S, Rhoades BE: Assad-Kirk-type fixed point theorems for a pair of nonself mappings on cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 761086 10.1155/2009/761086Google Scholar - Jungck G, Radenović S, Radojević S, Rakočević V: Common fixed point theorems for weakly compatible pairs on cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 643840 10.1155/2009/643840Google Scholar - Kadelburg Z, Radenović S, Rakoćević V: Remarks on ‘Quasi-contraction on a cone metric space’.
*Appl. Math. Lett.*2009, 22: 1674–1679. 10.1016/j.aml.2009.06.003MathSciNetView ArticleMATHGoogle Scholar - Kadelburg Z, Radenović S, Rosić B: Strict contractive conditions and common fixed point theorems in cone metric spaces.
*Fixed Point Theory Appl.*2009., 2009: Article ID 173838 10.1155/2009/173838Google Scholar - Radenović S, Rhoades BE: Fixed point theorem for two non-self mappings in cone metric spaces.
*Comput. Math. Appl.*2009, 57: 1701–1707. 10.1016/j.camwa.2009.03.058MathSciNetView ArticleMATHGoogle Scholar - Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey.
*Nonlinear Anal.*2011, 74: 2591–2601. 10.1016/j.na.2010.12.014MathSciNetView ArticleMATHGoogle Scholar - Du W: A note on cone metric fixed point theory and its equivalence.
*Nonlinear Anal.*2010, 72: 2259–2261. 10.1016/j.na.2009.10.026MathSciNetView ArticleMATHGoogle Scholar - Du W: Nonlinear contractive conditions for coupled cone fixed point theorems.
*Fixed Point Theory Appl.*2010., 2010: Article ID 190606 10.1155/2010/190606Google Scholar - Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728.
*Proc. 8th Summer Conference on General Topology and Applications*1994, 183–197.Google Scholar *Sonmez, A: Fixed point theorems in partial cone metric spaces (January 2011). arXiv:1101.2741v1*. e-printatarXiv.org*Sonmez, A: On partial cone metric space (July 2012). arXiv:1207.6766v1*. e-printatarXiv.org- Deimling K:
*Nonlinear Functional Analysis*. Springer, Berlin; 1985.View ArticleMATHGoogle Scholar - Durmaz G, Acar O, Altun I: Some fixed point results on weak partial metric spaces.
*Filomat*2013, 27(2):319–328.MathSciNetView ArticleMATHGoogle 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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.