- Research
- Open Access

# Coupled fixed point theorems in cone metric spaces with a *c*-distance and applications

- Erdal Karapinar
^{1}, - Poom Kumam
^{2}Email author and - Wutiphol Sintunavarat
^{2}Email author

**2012**:194

https://doi.org/10.1186/1687-1812-2012-194

© Karapinar et al.; licensee Springer 2012

**Received:**19 July 2012**Accepted:**15 October 2012**Published:**29 October 2012

## Abstract

In this paper, we extend the very recent result of Sintunavarat *et al.* in the paper ‘Coupled fixed point theorems for weak contraction mapping under *F*-invariant set’ (Abstr. Appl. Anal. 2012:324874, 2012). In particular, we give an example of a nonlinear contraction mapping for which our result successfully detects a coupled fixed point in contrast to the result of Sintunavarat *et al.*, which is not applied to show the existence of a coupled fixed point. As a consequence, the main results in this paper extend and unify many results in the topic of coupled fixed points including the results of Sintunavarat *et al.* Also, some applications of the main results are given.

**MSC:** 54H25, 47H10.

## Keywords

- coupled fixed point
*F*-invariant set- partially ordered cone metric space
*c*-distance

## 1 Introduction

Let *X* be an arbitrary nonempty set and $f:X\to X$ be a mapping. A fixed point for *f* is a point $x\in X$ such that $fx=x$. Many useful mathematical facts can be expressed by assertions that say that certain mappings have fixed points. Fixed point theory, one of the very active research areas in mathematics as well as quantitative sciences, focuses on maps and abstract spaces for which one can assure the existence and/or uniqueness of fixed points when they are put together. For example, fixed point theorems are vital for the existence and uniqueness of differential equations, matrix equations, and integral equations (see, *e.g.*, [1, 2]). Moreover, it has applications in many fields such as chemistry, biology, statistics, economics, computer science and engineering (see, *e.g.*, [3–6]). For example, fixed point results are incredibly useful when it comes to proving the existence of various types of Nash equilibria (see, *e.g.*, [3]) in economics.

The classical contraction mapping principle of Banach is one of the most powerful theorems in fixed point theory because of its simplicity and usefulness. So, it has become a very popular tool for solving many problems in many branches of mathematical analysis and also in many other fields. Refer to [7–17] and references mentioned therein for certain extensions of this principle. In 2004, the Banach contraction principle was extended to metric spaces endowed with a partial ordering by Ran and Reurings [18]. They also gave some applications of their results to matrix equations. Afterwards, Nieto and Rodríguez-López [19] extended the results of Ran and Reurings for nondecreasing mappings and studied the existence and uniqueness of solutions for a first-order ordinary differential equation with periodic boundary conditions.

*f*satisfies certain conditions. Afterwards, Harjani

*et al.*[21] and Luong and Thuan [22, 23] studied the existence and uniqueness of solutions of nonlinear integral equations as an application of coupled fixed points. Recently, Caballero

*et al.*[24] have investigated the existence and uniqueness of positive solutions for the following singular fractional boundary value problem:

*i.e.*,

*f*is singular at $t=0$). Very recently, motivated by the work of Caballero

*et al.*[24], Jleli and Samet [25] discussed the existence and uniqueness of a positive solution for the singular nonlinear fractional differential equation boundary value problem

where $\alpha \in \mathbb{R}$ such that $3<\alpha \le 4$. Above ${D}_{{0}^{+}}^{\alpha}$ is also the Riemann-Liouville fractional derivative. The function $f:(0,1]\times [0,\mathrm{\infty})\times [0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is continuous, ${lim}_{t\to {0}^{+}}f(t,\cdot ,\cdot )=\mathrm{\infty}$ for all $t\in (0,1]$, and nondecreasing with respect to the first component, decreasing with respect to its second and third components.

Because of their important roles in the study of the existence and uniqueness of solutions of the periodic boundary value problems, nonlinear integral equations and the existence and uniqueness of positive solutions for the singular nonlinear fractional differential equations with boundary value, discussions on coupled fixed point theorems are of interest to many scientists. A considerable number of articles have been dedicated to the improvement and generalization of this topic (see [26–33] and references therein).

On the other hand, Huang and Zhang [34] reintroduced the notion of cone metric spaces and established fixed point theorems for mappings in such spaces. In 2011, Cho *et al.* [35] introduced a new concept of a *c*-distance, a cone version of a *w*-distance of Kada *et al.* [36], in cone metric spaces and proved some fixed point theorems in partially ordered cone metric spaces using the notion of a *c*-distance. Afterwards, Sintunavarat *et al.* [37] (see also [38]) established fixed point theorems for some type of generalization of contraction mappings by using this concept.

Recently, Cho *et al.* [39] established new coupled fixed point theorems under contraction mappings by using the concept of the mixed monotone property and *c*-distance in partially ordered cone metric spaces as follows.

**Theorem 1.1** ([39])

*Let*$(X,\u2291)$

*be a partially ordered set and suppose that*$(X,d)$

*is a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*

*and*$F:X\times X\to X$

*be a continuous function having the mixed monotone property such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*If there exist*${x}_{0},{y}_{0}\in X$

*such that*

*then* *F* *has a coupled fixed point* $(u,v)$. *Moreover*, *we have* $q(v,v)=\theta $ *and* $q(u,u)=\theta $.

**Theorem 1.2** ([39])

*In addition to the hypotheses of Theorem* 1.1, *suppose that any two elements* *x* *and* *y* *in* *X* *are comparable*. *Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

**Theorem 1.3** ([39])

*Let*$(X,\u2291)$

*be a partially ordered set and suppose that*$(X,d)$

*is a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*

*and*$F:X\times X\to X$

*be a function having the mixed monotone property such that*

*for some*$k\in (0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*Also*, *suppose that* *X* *has the following properties*:

(a) *if* $({x}_{n})$ *is a non*-*decreasing sequence in* *X* *with* ${x}_{n}\to x$, *then* ${x}_{n}\u2291x$ *for all* $n\in \mathbb{N}$;

(b) *if* $({x}_{n})$ *is a non*-*increasing sequence in* *X* *with* ${x}_{n}\to x$, *then* $x\u2291{x}_{n}$ *for all* $n\in \mathbb{N}$.

*Assume there exist*${x}_{0},{y}_{0}\in X$

*such that*

*If* ${y}_{0}\u2291{x}_{0}$, *then* *F* *has a coupled fixed point*.

Very recently, Sintunavarat *et al.* [40] have weakened the condition of the mixed monotone property in results of Cho *et al.* [39] by using the concept of an *F*-invariant set (see the notion of an *F*-invariant set in Section 2).

**Theorem 1.4** ([40])

*Let*$(X,d)$

*be a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*,

*M*

*be a nonempty subset of*${X}^{4}$

*and*$F:X\times X\to X$

*be a continuous function such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*If*

*M*

*is*

*F*-

*invariant and there exist*${x}_{0},{y}_{0}\in X$

*such that*

*then* *F* *has a coupled fixed point* $(u,v)$. *Moreover*, *if* $(u,v,u,v)\in M$, *then* $q(v,v)=\theta $ *and* $q(u,u)=\theta $.

**Theorem 1.5** ([40])

*In addition to the hypotheses of Theorem*1.4,

*suppose that for any two elements*

*x*

*and*

*y*

*in*

*X*,

*we have*

*Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

**Theorem 1.6** ([40])

*Let*$(X,d)$

*be a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*,

*M*

*be a subset of*${X}^{4}$

*and*$F:X\times X\to X$

*be a function such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*Also*, *suppose that*

(i) *there exist* ${x}_{0},{y}_{0}\in X$ *such that* $(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),{x}_{0},{y}_{0})\in M$,

(ii) *two sequences* $\{{x}_{n}\}$, $\{{y}_{n}\}$ *with* $({x}_{n+1},{y}_{n+1},{x}_{n},{y}_{n})\in M$ *for all* $n\in \mathbb{N}$ *and* $\{{x}_{n}\}\to x$, $\{{y}_{n}\}\to y$, *then* $(x,y,{y}_{n},{x}_{n})\in M$ *and* $({y}_{n},{x}_{n},y,x)\in M$ *for all* $n\in \mathbb{N}$.

*If* *M* *is an* *F*-*invariant set*, *then* *F* *has a coupled fixed point*.

Inspired by the results of Sintunavarat *et al.* [40], we prove some coupled fixed point theorems in cone metric spaces by using the concept of an *F*-invariant set and give some example which is not applied to the existence of a coupled fixed point by the results of Sintunavarat *et al.* [40], but can be applied to our results. Moreover, we show that our results can be applied to the result in partially ordered cone metric spaces. We also consider an application to illustrate our result is useful (see Section 4).

## 2 Preliminaries

Throughout this paper $(X,\u2291)$ denotes a partially ordered set. By $x\u228fy$, we mean $x\u2291y$ but $x\ne y$. A mapping $f:X\to X$ is said to be non-decreasing (non-increasing) if for all $x,y\in X$, $x\u2291y$ implies $f(x)\u2291f(y)$ ($f(y)\u2291f(x)$ respectively).

**Definition 2.1** ([20])

*mixed monotone property*if

*F*is monotone non-decreasing in its first argument and is monotone non-increasing in its second argument; that is, for any $x,y\in X$,

**Definition 2.2** ([20])

*X*be a nonempty set. An element $(x,y)\in X\times X$ is called a

*coupled fixed point*of mapping $F:X\times X\to X$ if

Next, we give some terminology of cone metric spaces and the concept of a *c*-distance in cone metric spaces due to Cho *et al.* [35] which is a generalization of a *w*-distance of Kada *et al.* [36].

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

(1) *P* is closed and $P\ne \{\theta \}$;

(2) $a,b\in {\mathbb{R}}^{+}$, $x,y\in P$ implies $ax+by\in P$;

(3) $x\in P\cap (-P)$ implies $x=\theta $.

We shall always assume that the cone *P* has a nonempty interior (such cones are called solid). For the cone *P*, define the *partial ordering* ⪯ with respect to *P* by $x\u2aafy$ if and only if $y-x\in P$. We write $x\prec y$ to indicate that $x\u2aafy$ but $x\ne y$, while $x\ll y$ stand for $y-x\in int(P)$, where $int(P)$ is an interior of *P*.

It can be easily shown that $\lambda int(P)\subseteq int(P)$ for all positive scalars *λ*.

*P*is called

*normal*if there is a number $K>0$ such that for all $x,y\in E$,

The least positive number satisfying the above is called the *normal constant* of *P*. It is clear that $K\ge 1$.

In what follows, we always suppose that *E* is a real Banach space with the cone *P*.

**Definition 2.3** ([34])

Let *X* be a nonempty set. Suppose that the mapping $d:X\times X\to E$ satisfies the following conditions:

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

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

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

Then *d* is called a *cone metric* on *X* and $(X,d)$ is called a *cone metric space*.

**Definition 2.4** ([34])

Let $(X,d)$ be a cone metric space. Let $\{{x}_{n}\}$ be a sequence in *X* and $x\in X$.

(1) If for any $c\in X$ with $\theta \ll c$, there exists $N\in \mathbb{N}$ such that $d({x}_{n},x)\ll c$ for all $n\ge N$, then $\{{x}_{n}\}$ is said to be *convergent* to a point $x\in X$ and *x* is the *limit* of $\{{x}_{n}\}$. We denote this by ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ or ${x}_{n}\to x$ as $n\to \mathrm{\infty}$.

(2) If for any $c\in E$ with $\theta \ll c$, there exists $N\in \mathbb{N}$ such that $d({x}_{n},{x}_{m})\ll c$ for all $n,m\ge N$, then $\{{x}_{n}\}$ is called a *Cauchy sequence* in *X*.

(3) The space $(X,d)$ is called a *complete cone metric space* if every Cauchy sequence is convergent.

**Definition 2.5** ([35])

Let $(X,d)$ be a cone metric space. Then a function $q:X\times X\to E$ is called a *c-distance* on *X* if the following are satisfied:

(q1) $\theta \u2aafq(x,y)$ for all $x,y\in X$;

(q2) $q(x,y)\u2aafq(x,z)+q(z,y)$ for all $x,y,z\in X$;

(q3) for any $x\in X$, if there exists $u={u}_{x}\in P$ such that $q(x,{y}_{n})\u2aafu$ for each $n\in \mathbb{N}$, then $q(x,y)\u2aafu$ whenever $\{{y}_{n}\}$ is a sequence in *X* converging to a point $y\in X$;

(q4) for any $c\in E$ with $\theta \ll c$, there exists $e\in E$ with $\theta \ll e$ such that $q(z,x)\ll e$ and $q(z,y)\ll c$ imply $d(x,y)\ll c$.

**Remark 2.6** The *c*-distance *q* is a *w*-distance on *X* if we take $(X,d)$ is a metric space, $E={\mathbb{R}}^{+}$, $P=[0,\mathrm{\infty})$ and (q3) is replaced by the following condition:

For any $x\in X$, $q(x,\cdot ):X\to {\mathbb{R}}^{+}$ is lower semi-continuous.

Therefore, every *w*-distance is a *c*-distance. But the converse is not true in a general case. Therefore, the *c*-distance is a generalization of the *w*-distance.

**Example 2.7** Let $(X,d)$ be a cone metric space and *P* be a normal cone. Define a mapping $q:X\times X\to E$ by $q(x,y)=d(x,y)$ for all $x,y\in X$. Then *q* is a *c*-distance.

**Example 2.8**Let $E={C}_{\mathbb{R}}^{1}[0,1]$ with ${\parallel x\parallel}_{E}={\parallel x\parallel}_{\mathrm{\infty}}+{\parallel {x}^{\prime}\parallel}_{\mathrm{\infty}}$ and $P=\{x\in E:x(t)\ge 0\text{on}[0,1]\}$ (this cone is not normal). Let $X=[0,\mathrm{\infty})$ and define a mapping $d:X\times X\to E$ by

for all $x,y\in X$. Then *q* is a *c*-distance.

**Example 2.9**Let $(X,d)$ be a cone metric space and

*P*be a normal cone. Define a mapping $q:X\times X\to E$ by

for all $x,y\in X$, where *u* is a fixed point in *X*. Then *q* is a *c*-distance.

**Example 2.10**Let $E=\mathbb{R}$ and $P=\{x\in E:x\ge 0\}$. Let $X=[0,\mathrm{\infty})$ and define a mapping $d:X\times X\to E$ by

for all $x,y\in X$. Then *q* is a *c*-distance.

**Remark 2.11** From Examples 2.9 and 2.10, we have the following important results for a *c*-distance *q*:

• $q(x,y)=q(y,x)$ does not necessarily hold.

• $q(x,y)=\theta $ is not necessarily equivalent to $x=y$ for all $x,y\in X$.

The following lemma is crucial in proving main results.

**Lemma 2.12** ([35])

*Let* $(X,d)$ *be a cone metric space and* *q* *be a* *c*-*distance on* *X*. *Let* $\{{x}_{n}\}$ *and* $\{{y}_{n}\}$ *be sequences in* *X* *and* $x,y,z\in X$. *Suppose that* $\{{u}_{n}\}$ *is a sequence in* *P* *converging to* *θ*. *Then the following hold*:

(1) *If* $q({x}_{n},y)\u2aaf{u}_{n}$ *and* $q({x}_{n},z)\u2aaf{u}_{n}$, *then* $y=z$.

(2) *If* $q({x}_{n},{y}_{n})\u2aaf{u}_{n}$ *and* $q({x}_{n},z)\u2aaf{u}_{n}$, *then* $\{{y}_{n}\}$ *converges to a point* $z\in X$.

(3) *If* $q({x}_{n},{x}_{m})\u2aaf{u}_{n}$ *for each* $m>n$, *then* $\{{x}_{n}\}$ *is a Cauchy sequence in* *X*.

(4) *If* $q(y,{x}_{n})\u2aaf{u}_{n}$, *then* $\{{x}_{n}\}$ *is a Cauchy sequence in* *X*.

Next, we give the concept of an *F*-invariant set in a cone version due to Sintunavarat *et al.* [40].

**Definition 2.13** ([40])

Let $(X,d)$ be a cone metric space and $F:X\times X\to X$ be a given mapping. Let *M* be a nonempty subset of ${X}^{4}$. We say that *M* is an *F-invariant* subset of ${X}^{4}$ if and only if for all $x,y,z,w\in X$, we have

(${F}_{1}$) $(x,y,z,w)\in M\u27fa(w,z,y,x)\in M$;

(${F}_{2}$) $(x,y,z,w)\in M\u27f9(F(x,y),F(y,x),F(z,w),F(w,z))\in M$.

We obtain that the set $M={X}^{4}$ is trivially *F*-invariant.

Next example plays a key role in the proof of our main results in a partially ordered set.

**Example 2.14** ([40])

Then, *M* is *F*-invariant of ${X}^{4}$.

## 3 Main results

First, we show the weakness of Theorem 1.4 with the following example.

**Example 3.1**Let $E={C}_{\mathbb{R}}^{1}[0,1]$ with ${\parallel x\parallel}_{E}={\parallel x\parallel}_{\mathrm{\infty}}+{\parallel {x}^{\prime}\parallel}_{\mathrm{\infty}}$ and $P=\{x\in E,x(t)\ge 0,t\in [0,1]\}$. Let $X=[0,\mathrm{\infty})$ (with usual order ⊑), and let $d:X\times X\to E$ be defined by $d(x,y)(t)=|x-y|{2}^{t}$. Then $(X,d)$ is a complete cone metric space. Let, further, $q:X\times X\to E$ be defined by $q(x,y)(t)=y{2}^{t}$. It is easy to check that

*q*is a

*c*-distance. Consider the mapping $F:X\times X\to X$ by

*M*is an

*F*-invariant subset of

*X*. Now, we show that there is no $k\in [0,1)$ for which (1.4) holds. To prove this, suppose the contrary; that is, there is $k\in [0,1)$ such that

Hence, $k\ge \frac{6}{5}$ is a contradiction. Therefore, there is no *k* for which (1.4) holds.

So, the mapping *F* does not satisfy the mixed monotone property. Therefore, main theorems of Cho *et al.* [39] cannot be used to reach this conclusion.

The following theorem is the extension of Theorem 1.4

**Theorem 3.2**

*Let*$(X,d)$

*be a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*,

*M*

*be a nonempty subset of*${X}^{4}$

*and*$F:X\times X\to X$

*be a continuous function such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*If*

*M*

*is*

*F*-

*invariant and there exist*${x}_{0},{y}_{0}\in X$

*such that*

*then* *F* *has a coupled fixed point* $(u,v)$. *Moreover*, *if* $(u,v,u,v)\in M$, *then* $q(u,u)=\theta $ *and* $q(v,v)=\theta $.

*Proof*Since $F(X\times X)\subseteq X$, we can construct two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

*M*is an

*F*-invariant set, we get

*M*is an

*F*-invariant set, we have

*n*-times, we get

Using Lemma 2.12(3), we have $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are Cauchy sequences in $(X,d)$. By completeness of *X*, we get ${x}_{n}\to u$ and ${y}_{n}\to v$ as $n\to \mathrm{\infty}$ for some $u,v\in X$.

*F*is continuous, taking $n\to \mathrm{\infty}$ in (3.2), we get

By the uniqueness of the limits, we get $u=F(u,v)$ and $v=F(v,u)$. Therefore, $(u,v)$ is a coupled fixed point of *F*.

Since $0\le k<1$, we conclude that $q(u,u)+q(v,v)=\theta $ and hence $q(u,u)=\theta $ and $q(v,v)=\theta $. This completes the proof. □

**Remark 3.3**We obtain that the mapping

*F*in Example 3.1 has a coupled fixed point. Indeed, for all $x,y,{x}^{\ast},{y}^{\ast}\in X$ with

Also, we note that there exists points $0,1\in X$ such that $(F(0,1),F(1,0),0,1)\in M$. Thus, by Theorem 3.2, we have *F* has a coupled fixed point that is a point $(0,0)$.

**Theorem 3.4**

*In addition to the hypotheses of Theorem*3.2,

*suppose that for any two elements*

*x*

*and*

*y*

*in*

*X*,

*we have*

*Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

*Proof*As in the proof of Theorem 3.2, there exists a coupled fixed point $(u,v)\in X\times X$. Hence,

Moreover, $q(u,u)=\theta $ and $q(v,v)=\theta $ if $(u,v,u,v)\in M$.

Since $0\le k<1$, we get $q(u,v)+q(v,u)=\theta $. Therefore, $q(u,v)=\theta $ and $q(v,u)=\theta $.

From Lemma 2.12(1), we have $u=v$. Therefore, the coupled fixed point of *F* has the form $(u,u)$. This completes the proof. □

**Theorem 3.5**

*Let*$(X,d)$

*be a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*,

*M*

*be a subset of*${X}^{4}$

*and*$F:X\times X\to X$

*be a function such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*Also*, *suppose that*

(i) *there exist* ${x}_{0},{y}_{0}\in X$ *such that* $(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),{x}_{0},{y}_{0})\in M$,

(ii) *two sequences* $\{{x}_{n}\}$, $\{{y}_{n}\}$ *with* $({x}_{n+1},{y}_{n+1},{x}_{n},{y}_{n})\in M$ *for all* $n\in \mathbb{N}$ *and* $\{{x}_{n}\}\to x$, $\{{y}_{n}\}\to y$, *then* $(x,y,{x}_{n},{y}_{n})\in M$ *for all* $n\in \mathbb{N}$.

*If* *M* *is an* *F*-*invariant set*, *then* *F* *has a coupled fixed point*. *Moreover*, *if* $(u,v,u,v)\in M$, *then* $q(u,u)=\theta $ *and* $q(v,v)=\theta $.

*Proof*As in the proof of Theorem 3.2, we can construct two Cauchy sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

Since (3.11), (3.12), (3.13) and (3.14) hold, by using Lemma 2.12(1), we get $u=F(u,v)$ and $v=F(v,u)$. Therefore, $(u,v)$ is a coupled fixed point of *F*. The proof of $q(u,u)=\theta $ and $q(v,v)=\theta $ is the same as the proof in Theorem 3.2. This completes the proof. □

The following theorem can be proved in the same way as Theorem 3.4.

**Theorem 3.6**

*In addition to the hypotheses of Theorem*3.5,

*suppose that for any two elements*

*x*

*and*

*y*

*in*

*X*,

*we have*

*Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

**Remark 3.7** Since the relations (1.4) and (1.5) imply (3.1), we can apply Theorems 3.2, 3.4 and 3.5 to the main result of Sintunavarat *et al.* [40].

Next, we apply Theorems 3.2, 3.4, 3.5 and 3.6 to the results in a partially ordered cone metric spaces.

**Corollary 3.8**

*Let*$(X,\u2291)$

*be a partially ordered set and suppose that*$(X,d)$

*is a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*

*and*$F:X\times X\to X$

*be a continuous function having the mixed monotone property such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*If there exist*${x}_{0},{y}_{0}\in X$

*such that*

*then* *F* *has a coupled fixed point* $(u,v)$. *Moreover*, *we have* $q(v,v)=\theta $ *and* $q(u,u)=\theta $.

*Proof*Let $M=\{(a,b,c,d):c\u2291a,b\u2291d\}\subseteq {X}^{4}$. We obtain that

*M*is an

*F*-invariant set. By (3.15), we have

for some $k\in [0,1)$ and all $x,y,{x}^{\ast},{y}^{\ast}\in X$ with $(x,y,{x}^{\ast},{y}^{\ast})\in M$ or $({x}^{\ast},{y}^{\ast},x,y)\in M$. Now, all the hypotheses of Theorem 3.2 hold. Thus, *F* has a coupled fixed point. □

**Corollary 3.9** *In addition to the hypotheses of Corollary* 3.8, *suppose that for any two elements* *x* *and* *y* *in* *X*, *we have* *x* *and* *y* *are comparable*. *Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

*Proof* This result is obtained by Theorem 3.4. □

**Corollary 3.10**

*Let*$(X,\u2291)$

*be a partially ordered set and suppose that*$(X,d)$

*is a complete cone metric space*.

*Let*

*q*

*be a*

*c*-

*distance on*

*X*

*and*$F:X\times X\to X$

*be a function having the mixed monotone property such that*

*for some*$k\in [0,1)$

*and all*$x,y,{x}^{\ast},{y}^{\ast}\in X$

*with*

*Also*, *suppose that* *X* *has the following properties*:

(a) *if* $\{{x}_{n}\}$ *is a non*-*decreasing sequence in* *X* *with* ${x}_{n}\to x$, *then* ${x}_{n}\u2291x$ *for all* $n\in \mathbb{N}$;

(b) *if* $\{{y}_{n}\}$ *is a non*-*increasing sequence in* *X* *with* ${y}_{n}\to y$, *then* $y\u2291{y}_{n}$ *for all* $n\in \mathbb{N}$.

*If there exist*${x}_{0},{y}_{0}\in X$

*such that*

*then* *F* *has a coupled fixed point* $(u,v)$. *Moreover*, *we have* $q(v,v)=\theta $ *and* $q(u,u)=\theta $.

*Proof*Let $M=\{(a,b,c,d):c\u2291a,b\u2291d\}\subseteq {X}^{4}$. We obtain that

*M*is an

*F*-invariant set. By (3.16), we have

*X*with ${x}_{n}\to x$ and $\{{y}_{n}\}$ being a non-increasing sequence in

*X*with ${y}_{n}\to y$,

for all $n\in \mathbb{N}$. Therefore, we get the condition (ii) in Theorem 3.5 holds. Now, all the hypotheses of Theorem 3.5 hold. Thus, *F* has a coupled fixed point. □

**Corollary 3.11** *In addition to the hypotheses of Corollary* 3.10, *suppose that for any two elements* *x* *and* *y* *in* *X*, *we have* *x* *and* *y* *are comparable*. *Then the coupled fixed point has the form* $(u,u)$, *where* $u\in X$.

## 4 Applications

where $T>0$ and $f:[0,T]\times \mathbb{R}\times \mathbb{R}\to \mathbb{R}$.

In what follows, we always let $C([0,T],\mathbb{R})$ denote the class of ℝ-valued continuous functions on the interval $[0,T]$, where *T* is a real number such that $T>0$.

**Definition 4.1**An element $\alpha ,\beta \in C([0,T],\mathbb{R})\times C([0,T],\mathbb{R})$ is called a coupled lower and upper solution of the integral equation (4.1) if $\alpha (t)\le \beta (t)$ and

for all $t\in [0,T]$.

Now, we consider the following assumptions:

(a) $f:[0,T]\times \mathbb{R}\times \mathbb{R}\to \mathbb{R}$ is continuous;

Next, we give the existence theorem for a solution of the integral equations (4.1).

**Theorem 4.2** *Suppose that assumptions* (a) *and* (b) *hold*. *Then the existence of a coupled lower and upper solution for* (4.1) *provides the existence of a solution* $(u,v)\in C([0,T],\mathbb{R})\times C([0,T],\mathbb{R})$ *for the integral equations* (4.1).

*Proof*Let $E={\mathbb{R}}^{2}$ and $P\subseteq E$ be the cone defined by

*X*with the cone metric $d:X\times X\to E$ defined by

It is clear that $(X,d)$ is a complete cone metric space. Let $q(x,y)=d(x,y)$ for all $x,y\in X$. Then, *q* is a *c*-distance.

Let $M=\{(x,y,{x}^{\ast},{y}^{\ast})\in {X}^{4}:{x}^{\ast}(t)\le x(t)\text{and}y(t)\le {y}^{\ast}(t)\text{for all}t\in [0,T]\}$.

*M*is an

*F*-invariant subset of ${X}^{4}$. It obvious that

*M*satisfies (${F}_{1}$). Now, we show that (${F}_{2}$) holds. Let $(x,y,{x}^{\ast},{y}^{\ast})\in M$ and then ${x}^{\ast}(t)\le x(t)$ and $y(t)\le {y}^{\ast}(t)$ for all $t\in [0,T]$. By (b), for all $t\in [0,T]$, we have

From (4.4) and (4.5), we get $(F(x,y),F(y,x),F({x}^{\ast},{y}^{\ast}),F({y}^{\ast},{x}^{\ast}))\in M$, and thus *M* satisfies (${F}_{2}$). Therefore, *M* is an *F*-invariant subset of ${X}^{4}$.

for all $(x,y,{x}^{\ast},{y}^{\ast})\in M$. This implies that the condition (3.7) of Theorem 3.5 is satisfied.

Now, let $(\alpha ,\beta )$ be a coupled lower and upper solution of the integral equations (4.1), then we have $\alpha (t)\le F(\alpha ,\beta )(t)$ and $\beta (t)\le F(\beta ,\alpha )(t)$ for all $t\in [0,T]$, that is, $\alpha \le F(\alpha ,\beta )$ and $\beta \ge F(\beta ,\alpha )$. Therefore, $(F(\alpha ,\beta ),F(\beta ,\alpha ),\alpha ,\beta )\in M$, and then the condition (i) in Theorem 3.5 is satisfied. Moreover, it is easy to see that the condition (ii) in Theorem 3.5 is also satisfied.

Finally, applying our Theorem 3.5, we get the desired result. □

## Declarations

### Acknowledgements

This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission. The third author would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST).

## Authors’ Affiliations

## References

- Guo Y:
**A generalization of Banach’s contraction principle for some non-obviously contractive operators in a cone metric space.***Turkish J. Math.*2012, 36: 297–304.MathSciNetGoogle Scholar - Yantir A, Topal SG:
**Positive solutions of nonlinear m-point BVP on time scales.***Int. J. Difference Equ.*2008, 3(1):179–194.MathSciNetGoogle Scholar - Border KC:
*Fixed Point Theorems with Applications to Economics and Game Theory*. Cambridge University Press, New York; 1985.View ArticleGoogle Scholar - Cataldo, A, Lee, EA, Liu, X, Matsikoudis, ED, Zheng, H: A constructive fixed point theorem and the feedback semantics of timed systems. Tech. Report UCB/EECS-2006–4, EECS Dept., University of California, Berkeley (2006)View ArticleGoogle Scholar
- Hyvärinen A:
**Fast and robust fixed-point algorithms for independent component analysis.***IEEE Trans. Neural Netw.*1999, 10(3):626–634. 10.1109/72.761722View ArticleGoogle Scholar - Noumsi A, Derrien S, Quinton P:
**Acceleration of a content based image retrieval application on the RDISK cluster.***IEEE International Parallel and Distributed Processing Symposium*2006. AprilGoogle Scholar - Abbas M, Khan SH, Nazir T: Common fixed points of
*R***-weakly commuting maps in generalized metric spaces.***Fixed Point Theory Appl.*2011., 2011: Article ID 41Google Scholar - Boyd DW, Wong JSW:
**On nonlinear contractions.***Proc. Am. Math. Soc.*1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9MathSciNetView ArticleGoogle Scholar - Mongkolkeha C, Kumam P:
**Fixed point and common fixed point theorems for generalized weak contraction mappings of integral type in modular spaces.***Int. J. Math. Math. Sci.*2011., 2011: Article ID 705943Google Scholar - Mongkolkeha C, Kumam P: Fixed point theorems for generalized asymptotic pointwise
*ρ***-contraction mappings involving orbits in modular function spaces.***Appl. Math. Lett.*2012, 25: 1285–1290. 10.1016/j.aml.2011.11.027MathSciNetView ArticleGoogle Scholar - Mongkolkeha C, Sintunavarat W, Kumam P:
**Fixed point theorems for contraction mappings in modular metric spaces.***Fixed Point Theory Appl.*2011., 2011: Article ID 93. Fixed Point Theory Appl. 2012, 103 (2012)Google Scholar - Sintunavarat W, Kumam P: Weak condition for generalized multivalued $(f,\alpha ,\beta )$-weak contraction mappings.
*Appl. Math. Lett.*2011, 24: 460–465. 10.1016/j.aml.2010.10.042MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P:
**Gregus type fixed points for a tangential multi-valued mappings satisfying contractive conditions of integral type.***J. Inequal. Appl.*2011., 2011: Article ID 3Google Scholar - Sintunavarat W, Kumam P:
**Common fixed point theorems for hybrid generalized multi-valued contraction mappings.***Appl. Math. Lett.*2012, 25: 52–57. 10.1016/j.aml.2011.05.047MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Common fixed point theorems for generalized $\mathcal{JH}$-operator classes and invariant approximations.
*J. Inequal. Appl.*2011., 2011: Article ID 67Google Scholar - Sintunavarat W, Kumam P:
**Common fixed point theorem for cyclic generalized multi-valued contraction mappings.***Appl. Math. Lett.*2012, 25(11):1849–1855. 10.1016/j.aml.2012.02.045MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P:
**Generalized common fixed point theorems in complex valued metric spaces and applications.***J. Inequal. Appl.*2012., 2012: Article ID 84Google Scholar - Ran ACM, Reurings MCB:
**A fixed point theorem in partially ordered sets and some applications to matrix equations.***Proc. Am. Math. Soc.*2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4MathSciNetView ArticleGoogle Scholar - Nieto JJ, Lopez RR:
**Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations.***Acta Math. Sin. Engl. Ser.*2007, 12: 2205–2212.View ArticleGoogle Scholar - Bhaskar TG, Lakshmikantham V:
**Fixed point theorems in partially ordered metric spaces and applications.***Nonlinear Anal.*2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar - Harjani J, López B, Sadarangani K:
**Fixed point theorems for mixed monotone operators and applications to integral equations.***Nonlinear Anal.*2011, 74: 1749–1760. 10.1016/j.na.2010.10.047MathSciNetView ArticleGoogle Scholar - Luong NV, Thuan NX:
**Coupled fixed points in partially ordered metric spaces and application.***Nonlinear Anal.*2011, 74: 983–992. 10.1016/j.na.2010.09.055MathSciNetView ArticleGoogle Scholar - Luong NV, Thuan NX:
**Coupled fixed point theorems for mixed monotone mappings and an application to integral equations.***Comput. Math. Appl.*2011. doi:10.1016/j.camwa.2011.10.011Google Scholar - Caballero J, Harjani J, Sadarangani K:
**Positive solutions for a class of singular fractional boundary value problems.***Comput. Math. Appl.*2011, 62(3):1325–1332. 10.1016/j.camwa.2011.04.013MathSciNetView ArticleGoogle Scholar - Jleli M, Samet B:
**On positive solutions for a class of singular nonlinear fractional differential equations.***Bound. Value Probl.*2012., 2012: Article ID 73Google Scholar - Abbas M, Khan AR, Nazir T:
**Coupled common fixed point results in two generalized metric spaces.***Appl. Math. Comput.*2011, 217: 6328–6336. 10.1016/j.amc.2011.01.006MathSciNetView ArticleGoogle Scholar - Abbas M, Sintunavarat W, Kumam P: Coupled fixed point in partially ordered
*G***-metric spaces.***Fixed Point Theory Appl.*2012., 2012: Article ID 31Google Scholar - Ðorić D, Kadelburg Z, Radenović S:
**Coupled fixed point results for mappings without mixed monotone property.***Appl. Math. Lett.*2012. doi:10.1016/j.aml.2012.02.022Google Scholar - Golubović Z, Kadelburg Z, Radenović S:
**Coupled coincidence points of mappings in ordered partial metric spaces.***Abstr. Appl. Anal.*2012., 2012: Article ID 192581Google Scholar - Gordji ME, Cho YJ, Baghani H:
**Coupled fixed point theorems for contractions in intuitionistic fuzzy normed spaces.***Math. Comput. Model.*2011, 54: 1897–1906. 10.1016/j.mcm.2011.04.014View ArticleGoogle Scholar - Kadelburg Z, Radenović S: Coupled fixed point results under tvs-cone metric and
*w***-cone-distance.***Advanced Fixed Point Theory*2012, 2: 29–46.Google Scholar - Sintunavarat W, Cho YJ, Kumam P:
**Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces.***Fixed Point Theory Appl.*2011., 2011: Article ID 81Google Scholar - Sintunavarat W, Kumam P:
**Coupled best proximity point theorem in metric spaces.***Fixed Point Theory Appl.*2012., 2012: Article ID 93Google Scholar - 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 ArticleGoogle Scholar - Cho YJ, Saadati R, Wang S:
**Common fixed point theorems on generalized distance in ordered cone metric spaces.***Comput. Math. Appl.*2011, 61: 1254–1260. 10.1016/j.camwa.2011.01.004MathSciNetView ArticleGoogle Scholar - Kada O, Suzuki T, Takahashi W:
**Nonconvex minimization and fixed point theorems in complete metric spaces.***Math. Jpn.*1996, 44: 381–391.MathSciNetGoogle Scholar - 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.040MathSciNetView ArticleGoogle Scholar - Kaewkhao A, Sintunavarat W, Kumam P: Common fixed point theorems of
*c***-distance on cone metric spaces.***J. Nonlinear Anal. Appl.*2012., 2012: Article ID jnaa-00137Google Scholar - Cho YJ, Kadelburg Z, Saadati R, Shatanawi W:
**Coupled fixed point theorems under weak contractions.***Discrete Dyn. Nat. Soc.*2012., 2012: Article ID 184534Google Scholar - Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mapping under
*F***-invariant set.***Abstr. Appl. Anal.*2012., 2012: Article ID 324874Google 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.