- Research
- Open access
- Published:

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

*Fixed Point Theory and Applications*
**volume 2012**, Article number: 194 (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.

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

In 2006, Bhaskar and Lakshmikantham [20] introduced the concept of a mixed monotone property for the first time and gave their classical coupled fixed point theorems for mappings which satisfy the mixed monotone property. They also produced some applications in the existence and uniqueness of solutions for the periodic boundary value problem

where the function *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:

where \alpha \in \mathbb{R} such that 1<\alpha \le 2. Here {D}_{{0}^{+}}^{\alpha} is the standard Riemann-Liouville differentiation. The function f:(0,1]\times [0,\mathrm{\infty})\to [0,\mathrm{\infty}) has the property {lim}_{t\to {0}^{+}}f(t,\cdot )=\mathrm{\infty} for all t\in (0,1] (*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])

Let (X,\u2291) be a partially ordered set. A mapping F:X\times X\to X is said to have the *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,

and

**Definition 2.2** ([20])

Let *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 *λ*.

The cone *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, where \phi :[0,1]\to \mathbb{R} such that \phi (t)={e}^{t}. Then (X,d) is a cone metric space. Define a mapping q: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 (X,d) is a cone metric space. Define a mapping q: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])

Let (X,d) be a cone metric space endowed with a partial order ⊑. Let F:X\times X\to X be a mapping satisfying the mixed monotone property; that is, for all x,y\in X, we have

and

Define the subset M\subseteq {X}^{4} by

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

Let M={X}^{4} and so *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

for all x,y,{x}^{\ast},{y}^{\ast}\in X with

Take x=0, y=1, {x}^{\ast}=1 and {y}^{\ast}=0. Then

This implies

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

Moreover, for {y}_{1}=\frac{1}{3} and {y}_{2}=\frac{1}{2}, we have for x=1, we get {y}_{1}=\frac{1}{3}\u2291\frac{1}{2}={y}_{2} but

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

Since (F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),{x}_{0},{y}_{0})=({x}_{1},{y}_{1},{x}_{0},{y}_{0})\in M and *M* is an *F*-invariant set, we get

Again, using the fact that *M* is an *F*-invariant set, we have

By repeating the argument similar to the above, we get

for all n\in \mathbb{N}. From (3.1), we have

We repeat the above process for *n*-times, we get

From (3.4), we can conclude that

and

Let m,n\in \mathbb{N} with m>n. Since

and 0\le k<1, we have

and

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.

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

and

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

Finally, we assume that (u,v,u,v)\in M. By (3.1), we have

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

we have

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.

From the additional hypothesis, we have (u,v,v,u)\in M or (v,u,u,v)\in M. By (3.1), we get

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

Let {u}_{n}=\theta and {x}_{n}=u. Then

and

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

for all n\in \mathbb{N}. Moreover, we have that \{{x}_{n}\} converges to a point u\in X and \{{y}_{n}\} converges to v\in X,

and

for each m>n\ge 1. By (q3), we have

and

and so

By the assumption (ii), we have (u,v,{x}_{n},{y}_{n})\in M. From (3.7) and (3.10), we have

Therefore, we have

and

From (3.10), we get

and

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

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. From assumptions (a) and (b), we get two sequences \{{x}_{n}\}, \{{y}_{n}\}, with \{{x}_{n}\} being a non-decreasing sequence in *X* with {x}_{n}\to x and \{{y}_{n}\} being a non-increasing sequence in *X* with {y}_{n}\to y,

and

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

In this section, we apply our theorem to the existence theorem for a solution of the following integral equations:

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

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;

(b) for all t\in [0,T] and for all x,y,{x}^{\ast},{y}^{\ast}\in \mathbb{R} for which {x}^{\ast}\le x and y\le {y}^{\ast}, we have

where \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) is continuous non-decreasing and satisfies: there exists 0\le k<1 such that

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

We endow *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.

Define the self-mapping F:C([0,T],\mathbb{R})\times C([0,T],\mathbb{R})\to C([0,T],\mathbb{R}) by

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]\}.

Next, we prove that *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

and

From (4.2), we get

and so

This implies that

Similarly, from (4.3), we get

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

Now, let (x,y,{x}^{\ast},{y}^{\ast})\in M and so {x}^{\ast}(t)\le x(t) and y(t)\le {y}^{\ast}(t) for all t\in [0,T]. Using (b), for all t\in [0,T], we have

which implies that

Similarly, we can get

Adding up (4.6) and (4.7), we get

Thus,

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

## 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.Yantir A, Topal SG:

**Positive solutions of nonlinear m-point BVP on time scales.***Int. J. Difference Equ.*2008, 3(1):179–194.Border KC:

*Fixed Point Theorems with Applications to Economics and Game Theory*. Cambridge University Press, New York; 1985.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)

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.761722Noumsi 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. AprilAbbas 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 41Boyd DW, Wong JSW:

**On nonlinear contractions.***Proc. Am. Math. Soc.*1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9Mongkolkeha 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 705943Mongkolkeha 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.027Mongkolkeha 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)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.042Sintunavarat 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 3Sintunavarat 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.047Sintunavarat W, Kumam P: Common fixed point theorems for generalized \mathcal{JH}-operator classes and invariant approximations.

*J. Inequal. Appl.*2011., 2011: Article ID 67Sintunavarat 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.045Sintunavarat W, Kumam P:

**Generalized common fixed point theorems in complex valued metric spaces and applications.***J. Inequal. Appl.*2012., 2012: Article ID 84Ran 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-4Nieto 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.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.017Harjani 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.047Luong 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.055Luong 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.011Caballero 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.013Jleli M, Samet B:

**On positive solutions for a class of singular nonlinear fractional differential equations.***Bound. Value Probl.*2012., 2012: Article ID 73Abbas 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.006Abbas M, Sintunavarat W, Kumam P: Coupled fixed point in partially ordered

*G***-metric spaces.***Fixed Point Theory Appl.*2012., 2012: Article ID 31Ð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.022Golubović Z, Kadelburg Z, Radenović S:

**Coupled coincidence points of mappings in ordered partial metric spaces.***Abstr. Appl. Anal.*2012., 2012: Article ID 192581Gordji 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.014Kadelburg Z, Radenović S: Coupled fixed point results under tvs-cone metric and

*w***-cone-distance.***Advanced Fixed Point Theory*2012, 2: 29–46.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 81Sintunavarat W, Kumam P:

**Coupled best proximity point theorem in metric spaces.***Fixed Point Theory Appl.*2012., 2012: Article ID 93Huang 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.087Cho 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.004Kada O, Suzuki T, Takahashi W:

**Nonconvex minimization and fixed point theorems in complete metric spaces.***Math. Jpn.*1996, 44: 381–391.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.040Kaewkhao 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-00137Cho YJ, Kadelburg Z, Saadati R, Shatanawi W:

**Coupled fixed point theorems under weak contractions.***Discrete Dyn. Nat. Soc.*2012., 2012: Article ID 184534Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mapping under

*F***-invariant set.***Abstr. Appl. Anal.*2012., 2012: Article ID 324874

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

## Author information

### Authors and Affiliations

### Corresponding authors

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Karapinar, E., Kumam, P. & Sintunavarat, W. Coupled fixed point theorems in cone metric spaces with a *c*-distance and applications.
*Fixed Point Theory Appl* **2012**, 194 (2012). https://doi.org/10.1186/1687-1812-2012-194

Received:

Accepted:

Published:

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