# Coupled point results in partially ordered metric spaces without compatibility

- Fawzia Shaddad
^{1}Email author, - Mohd Salmi Md Noorani
^{1}, - Saud M Alsulami
^{2}and - Habibulla Akhadkulov
^{1}

**2014**:204

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

© Shaddad et al.; licensee Springer. 2014

**Received: **2 June 2014

**Accepted: **3 September 2014

**Published: **3 October 2014

## Abstract

The existence of fixed points, coupled fixed points, and coupled coincidence points without the assumption of compatibility is established. The results presented in this paper extend, improve, and generalize some well-known results in the literature. Also, an example is given to show that our results are real generalizations of known ones in coupled coincidence fixed point theory.

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

## Keywords

## 1 Introduction

Fixed point theorems in metric spaces play a major role for solving problems in applied mathematics and science. The study of fixed points of self maps which satisfy certain contractive conditions have been researched extensively by many mathematicians in different directions and in different spaces, we refer the reader to [1–8], and the references therein.

The Banach contraction principle is an important tool in the theory of metric spaces, it guarantees the existence and uniqueness of fixed points of certain self maps of metric spaces.

Recently, Ran and Reurings [9] extended the Banach contraction principle in partially ordered sets with some applications to matrix equations. In [10] Bhaskar and Lakshmikantham introduced the concept of coupled fixed point of a function $F:X\times X\to X$ which has the mixed monotone property, where *X* is a partially ordered metric space. Furthermore, they established some interesting coupled fixed point theorems.

After that, Lakshmikantham and Ćirić [11], Choudhury and Kundu [12], Alsulami [13] and many other authors have continued to study the existence of coupled fixed points in partially ordered metric spaces.

Our main aim in this manuscript is to obtain more general fixed point results. This manuscript is split to three stages. First, the existence and uniqueness of fixed points for a complete partially ordered metric spaces have been proved. This result extends the main results of Harjani and Sadarangani [14], Ran and Reurings [9] and Nieto and Rodríguez-López [15]. Second, we establish the existence of coupled fixed point theorems. These results extend and generalize the results of Harjani *et al.* [16], Bhaskar and Lakshmikantham [10] and Luong and Thuan [17]. In the last section, we give coupled coincidence point theorems without using the compatibility. Some results of Alsulami [13], Alotaibi and Alsulami [18], Razani and Parvaneh [19] and Lakshmikantham and Ćirić [11] are extended and generalized in the last section. At the end, we illustrate our results by an example where the previous mentioned results cannot be applied.

## 2 Fixed point results

In this section we prove some fixed point results for a mapping $f:X\to X$ in a partial ordered set *X* with a metric defined on it.

Let us start with the definition of altering distance.

**Definition 2.1**An altering distance function is a function $\psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ which satisfied the following conditions:

- (1)
*ψ*is continuous and nondecreasing; - (2)
$\psi (t)=0$ if and only if $t=0$.

Here, the notion of comparability is defined in the following way.

**Definition 2.2** Let $(X,\u2aaf)$ be a partially ordered set. We say that $x,y\in X$ are comparable if $x\u2aafy$ or $y\u2aafx$ and we write $x\asymp y$.

In [14], Harjani and Sadarangani proved the following interesting results.

**Theorem 2.3**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space and let*$f:X\to X$

*be a continuous and nondecreasing mapping such that*

*where* *ψ* *and* *φ* *are altering distance functions*. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2aaff({x}_{0})$ *then* *f* *has a fixed point*. *Moreover*, *if for each* $x,y\in X$ *there exists* $z\in X$ *such that* $x\u2aafz$ *and* $y\u2aafz$ *then the fixed point is unique*.

They also showed that the above theorem is still valid for *f* not necessarily continuous.

**Theorem 2.4**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

*Assume that if*$\{{x}_{n}\}$

*is a nondecreasing sequence in*

*X*

*such that*${x}_{n}\to x$

*then*${x}_{n}\u2aafx$

*for all*$n\in \mathbb{N}$.

*Let*$f:X\to X$

*be a nondecreasing mapping such that*

*where* *ψ* *and* *φ* *are altering distance functions*. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2aaff({x}_{0})$ *then* *f* *has a fixed point*. *Moreover*, *if for each* $x,y\in X$ *there exists* $z\in X$ *such that* $x\u2aafz$ *and* $y\u2aafz$ *then the fixed point is unique*.

The following our result is essential for the remaining results. Moreover, this theorem is a generalization of Theorem 2.3 and Theorem 2.4.

**Theorem 2.5**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

*Let*$f:X\to X$

*be a mapping which obeys the following conditions*:

- (1)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that*$\psi \left(d(f(x),f(y))\right)\le \theta (d(x,y))-\phi (d(x,y))\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y,$*where*$\theta (0)=\phi (0)=0$*and*$\psi (t)-\theta (t)+\phi (t)>0$*for all*$t>0$; - (2)
*there exists*${x}_{0}\in X$*such that*${x}_{0}\asymp f({x}_{0})$; - (3)
*f**is nondecreasing*; - (4)(a)
*f**is continuous or* - (b)
*if*${x}_{n}\to x$*when*$n\to \mathrm{\infty}$*in**X*,*then*${x}_{n}\asymp x$*for all**n*.

*Then* *f* *has a fixed point*. *Moreover*, *if for each* $x,y\in X$ *there exists* $z\in X$ *which is comparable to* *x* *and* *y* *then the fixed point is unique*.

*Proof*By condition (2), there exists a point ${x}_{0}$ such that ${x}_{0}\asymp f({x}_{0})$. Take ${x}_{1}\in X$ such that ${x}_{1}=f({x}_{0})$. That is, ${x}_{0}\asymp {x}_{1}$. Take ${x}_{2}=f({x}_{1})$. From condition (3), we deduce that $f({x}_{0})\asymp f({x}_{1})$, that is, ${x}_{1}\asymp {x}_{2}$ again use condition (3) we have $f({x}_{1})\asymp f({x}_{2})$. Proceeding by induction, we obtain ${x}_{n+1}=f({x}_{n})$ such that ${x}_{n}\asymp {x}_{n+1}$ for each $n\in \mathbb{N}$,

*i.e.*,

*f*has a fixed point and the proof of the existence of the fixed point is complete. Assume that ${x}_{n}\ne {x}_{n+1}$ for all $n\in \mathbb{N}$. Now, by using condition (1), we get

*ψ*is an altering distance,

*ψ*,

*θ*, and

*φ*and taking $n\to \mathrm{\infty}$ in (2.2) we obtain

a contradiction. Therefore, $r=0$ and ${lim}_{n\to \mathrm{\infty}}d({x}_{n-1},{x}_{n})=0$.

*ψ*as altering distance and from (2.11) we deduce that

*X*is complete, $\{{x}_{n}\}$ converges. Thus there exists ${x}^{\ast}\in X$ such that

Now suppose that part (a) of condition (4) holds, *i.e.*, *f* is continuous. Then ${x}^{\ast}={lim}_{n\to \mathrm{\infty}}{x}_{n}={lim}_{n\to \mathrm{\infty}}f({x}_{n})=f({x}^{\ast})$. Therefore, ${x}^{\ast}$ is a fixed point of *f*.

Thus $\psi (d(f({x}^{\ast}),{x}^{\ast}))=0$, *i.e.*, $f({x}^{\ast})={x}^{\ast}$.

*f*has another fixed point ${y}^{\ast}$. From the assumption, there exists $z\in X$ such that ${x}^{\ast}\asymp z$ and ${y}^{\ast}\asymp z$. If $z={x}^{\ast}$ or $z={y}^{\ast}$, it is trivial. We suppose $z\ne {x}^{\ast}$ and $z\ne {y}^{\ast}$. Put ${z}_{0}=z$ and choose ${z}_{1}\in X$ such that ${z}_{1}=f({z}_{0})$. Then we have ${z}_{0}\asymp {x}^{\ast}$. By using condition (3) we deduce that $f({z}_{0})\asymp f({x}^{\ast})$, that is, ${z}_{1}\asymp {x}^{\ast}$; again use condition (3) and we have $f({z}_{1})\asymp f({x}^{\ast})$. Proceeding by induction, we obtain ${z}_{n}\asymp {x}^{\ast}$, for definiteness we assume ${x}^{\ast}\ne {z}_{n}$ for all $n\in \mathbb{N}$. Similarly, we have ${y}^{\ast}\asymp {z}_{n}$ and ${y}^{\ast}\ne {z}_{n}$ for all $n\in \mathbb{N}$. Now, by using condition (1) we deduce

*ψ*being an altering distance, we find that $\{d({x}^{\ast},{z}_{n})\}$ is a decreasing sequence. Consequently, there exists a positive number

*ℓ*such that $d({x}^{\ast},{z}_{n})\to \ell $. Let $n\to \mathrm{\infty}$ in (2.13), and we obtain

If $\ell \ne 0$, then $\psi (\ell )-\theta (\ell )+\phi (\ell )\le 0$, a contradiction. Thus $\ell =0$, *i.e.*, $d({x}^{\ast},{z}_{n})\to 0$. Similarly, we can deduce that $d({y}^{\ast},{z}_{n})\to 0$. In the other hand, we have $d({x}^{\ast},{y}^{\ast})\le d({x}^{\ast},{z}_{n})+d({z}_{n},{y}^{\ast})$. We get ${x}^{\ast}={y}^{\ast}$ when $n\to \mathrm{\infty}$. Hence, the fixed point of *f* is unique. □

Note that condition (1) in the above theorem is also used in [20].

If we take $\theta =\psi $ in Theorem 2.5, we obtain the following corollary.

**Corollary 2.6**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

*Let*$f:X\to X$

*be a mapping which obeys the following conditions*:

- (1)
*there exist an altering distance function**ψ**and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that*$\psi \left(d(f(x),f(y))\right)\le \psi (d(x,y))-\phi (d(x,y))\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y,$*where*$\phi (0)=0$; - (2)
*there exists*${x}_{0}\in X$*such that*${x}_{0}\asymp f({x}_{0})$; - (3)
*f**is nondecreasing*; - (4) (a)
*f**is continuous or* - (b)
*if*${x}_{n}\to x$*when*$n\to \mathrm{\infty}$*in**X*,*then*${x}_{n}\asymp x$*for all**n*.

*Then* *f* *has a fixed point*. *Moreover*, *if for each* $x,y\in X$ *there exists* $z\in X$ *which is comparable to* *x* *and* *y*, *then the fixed point is unique*.

If we consider the special functions $\psi (t)=t$ and $\phi (t)=(1-k)t$ where $k\in [0,1)$ and by using the above corollary, we can easily generalize the results of Ran and Reurings [9] and Nieto and Rodríguez-López [15] as follows.

**Corollary 2.7**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space and let*$f:X\to X$

*be a mapping which obeys the following conditions*:

- (1)
*there exists a constant*$k\in [0,1)$*such that*$d(f(x),f(y))\le kd(x,y)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y;$ - (2)
*there exist*${x}_{0}\in X$*such that*${x}_{0}\asymp f({x}_{0})$; - (3)
*f**is nondecreasing*; - (4) (a)
*f**is continuous or* - (b)
*if*${x}_{n}\to x$*when*$n\to \mathrm{\infty}$*in**X*,*then*${x}_{n}\asymp x$*for all**n*.

*Then* *f* *has a fixed point*. *Moreover*, *if for each* $x,y\in X$ *there exists* $z\in X$ *which is comparable to* *x* *and* *y*, *then the fixed point is unique*.

## 3 Coupled fixed point theorems

In this section, we obtain some coupled fixed point results. The notions of a coupled fixed point and the mixed monotone property in metric spaces endowed with a partial order were introduced by Bhaskar and Lakshmikantham in [10] as follows.

**Definition 3.1**Let

*X*be a nonempty set and $F:X\times X\to X$ be a mapping. An element $(x,y)\in X\times X$, is called a coupled fixed point of

*F*if

**Definition 3.2**Let $(X,\u2aaf)$ be a partially ordered set and let $F:X\times X\to X$ be a mapping. We say that the mapping

*F*has the mixed monotone property if

*F*is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument. That is, for any $x,y\in X$,

The following theorems are the main theoretical results of Bhaskar and Lakshmikantham [10].

**Theorem 3.3**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space and let*$F:X\times X\to X$

*be a continuous mapping having the mixed monotone property on*

*X*.

*Assume that there exists a constant*$k\in [0,1)$

*with*

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

*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$

*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$,

*then there exist*${x}^{\ast},{y}^{\ast}\in X$

*such that*

**Theorem 3.4**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

*Assume that*

*X*

*has the following properties*:

- (1)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$,*for all**n*; - (2)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$,*for all**n*.

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

*be a mapping having the mixed monotone property on*

*X*.

*Assume that there exists a constant*$k\in [0,1)$

*with*

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

*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$

*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$,

*then there exist*${x}^{\ast},{y}^{\ast}\in X$

*such that*

*et al.*defined the mappings $\eta ,\delta :Y\times Y\to [0,\mathrm{\infty})$, where $Y=X\times X$ and $(X,\u2aaf)$ is a partially ordered set endowed with a metric

*d*, by

for all $(x,y),(u,v)\in Y$.

Let $(X,\u2aaf)$ be a partially ordered set and $(x,y),(u,v)\in X\times X$. We say that $(x,y){\u2aaf}_{2}(u,v)$ if $x\u2aafu$ and $y\u2ab0v$.

Here we recall the following lemma.

**Lemma 3.5** [21]

*The following properties hold*:

- (a)
$(X,d)$

*is complete if and only if*$(Y,\eta )$*and*$(Y,\delta )$*are complete*; - (b)
*F**has the mixed monotone property if and only if**T**is monotone nondecreasing with respect to*⪯_{2}; - (c)
$(x,y)\in X\times X$

*is a coupled fixed point of**F**if and only if*$(x,y)$*is a fixed point of**T*.

Now, we are ready to formulate our next result.

**Theorem 3.6**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

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

*be a mapping which obeys the following conditions*:

- (1)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$(x,y),(u,v)\in X\times X$*with*$(x,y){\u2aaf}_{2}(u,v)$$\psi \left(d(F(x,y),F(u,v))\right)\le \theta (max\{d(x,u),d(y,v)\})-\phi (max\{d(x,u),d(y,v)\}),$*where*$\theta (0)=\phi (0)=0$*and*$\psi (t)-\theta (t)+\phi (t)>0$*for all*$t>0$; - (2)
*there exist*${x}_{0},{y}_{0}\in X$*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$; - (3)
*F**has the mixed monotone property*; - (4) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*; - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *F* *has a coupled fixed point* $({x}^{\ast},{y}^{\ast})$. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $({x}^{\ast},{x}^{\ast})$ *is the unique coupled fixed point of* *F*.

*Proof* We prove the theorem in three steps.

*T*which is defined in (3.1) satisfies condition (1) in Theorem 2.5. By using condition (1) we get

*ψ*is nondecreasing, we have $\psi (max(a,b))=max(\psi (a),\psi (b))$ for $a,b\in [0,\mathrm{\infty})$. Therefore,

*δ*we have

*T*we obtain

for all $(x,y),(u,v)\in Y$ with $(x,y){\u2aaf}_{2}(u,v)$.

*F*has a coupled fixed point. We have $(X,d)$ is complete. Then, by Lemma 3.5, $(Y,\delta )$ is also complete. By using condition (2) there exist ${x}_{0},{y}_{0}\in X$ such that ${x}_{0}\u2aafF({x}_{0},{y}_{0})$ and ${y}_{0}\u2ab0F({y}_{0},{x}_{0})$, so we deduce that

In condition (3) *F* has the mixed monotone property so by using Lemma 3.5 we find that *T* is monotone nondecreasing with respect to ⪯_{2}.

Now, from condition (4)(a) since *f* is continuous, *T* is continuous. Also, in case (b), if (i) and (ii) are satisfied, then we see that if a nondecreasing sequence $\{({x}_{n},{y}_{n})\}$ with respect to ⪯_{2} in *Y* converges to $(x,y)$, then $({x}_{n},{y}_{n}){\u2aaf}_{2}(x,y)$ for all *n*. Consequently, *T* satisfies all the conditions of Theorem 2.5. Hence, *T* has a fixed point, which leads to *F* having a coupled fixed point.

Step 3. Let us now show the uniqueness of coupled fixed point and it has the form $({x}^{\ast},{x}^{\ast})$. We suppose that $({x}^{\ast},{y}^{\ast})$ is a coupled fixed point of *F* and we take $(u,v)\in X\times X$ is another coupled fixed point of *F* then there exists $(w,z)\in X\times X$ such that $({x}^{\ast},{y}^{\ast}){\u2aaf}_{2}(w,z)$ and $(u,v){\u2aaf}_{2}(w,z)$. Therefore, $({x}^{\ast},{y}^{\ast})$ and $(u,v)$ are fixed points of *T* with $({x}^{\ast},{y}^{\ast}){\u2aaf}_{2}(w,z)$ and $(u,v){\u2aaf}_{2}(w,z)$. From the last part of Theorem 2.5 we find that *T* has a unique fixed point, which leads to the uniqueness of the coupled fixed point of *F*. Now, since $({x}^{\ast},{y}^{\ast})$ is the coupled fixed point of *F*, that is, ${x}^{\ast}=F({x}^{\ast},{y}^{\ast})$ and ${y}^{\ast}=F({y}^{\ast},{x}^{\ast})$, then $({y}^{\ast},{x}^{\ast})$ is also a coupled fixed point of *F*. By the uniqueness of the coupled fixed point we obtain $({x}^{\ast},{x}^{\ast})$ is the unique coupled fixed point of *F*. □

**Theorem 3.7**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

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

*be a mapping*.

*Suppose the following conditions hold*:

- (1)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$(x,y),(u,v)\in X\times X$*with*$(x,y){\u2aaf}_{2}(u,v)$$\psi \left(d(F(x,y),F(u,v))\right)\le \frac{1}{2}\theta (d(x,u)+d(y,v))-\phi \left(\frac{d(x,u)+d(y,v)}{2}\right),$*where*$\phi (0)=\theta (0)=0$*and*$\psi (t)-\theta (t)+\phi (t)>0$*for all*$t>0$; - (2)
$\psi (a+b)\le \psi (a)+\psi (b)$

*and*$\phi (c)\le 2\phi (c/2)$*for all*$a,b,c\in [0,\mathrm{\infty})$; - (3)
*F**has the mixed monotone property*; - (4)
*there exist*${x}_{0},{y}_{0}\in X$*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$; - (5) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*; - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *F* *has a coupled fixed point* $({x}^{\ast},{y}^{\ast})$. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $({x}^{\ast},{x}^{\ast})$ *is the unique coupled fixed point of* *F*.

*Proof*The main object in this proof is to show that the function

*T*which is defined in (3.1) satisfies condition (1) in Theorem 2.5. By using condition (1), we have

*η*,

*T*we obtain

for all $(x,y),(u,v)\in Y$ with $(x,y){\u2aaf}_{2}(u,v)$. The rest of the proof follows exactly the proof of Theorem 3.6. □

**Remark 3.8** The results of Harjani *et al.* [16] and Luong and Thuan [17] are extended and generalized by Theorem 3.6 and Theorem 3.7, respectively.

Note that the following theorem can be proved the exactly same manner as above and the motivation of this theorem will be known in the succeeding section.

**Theorem 3.9**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

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

*be a mapping*.

*Suppose the following conditions hold*:

- (1)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$(x,y),(u,v)\in X\times X$*with*$(x,y){\u2aaf}_{2}(u,v)$$\psi \left(d(F(x,y),F(u,v))\right)\le \theta \left(\frac{d(x,u)+d(y,v)}{2}\right)-\frac{1}{2}\phi (d(x,u)+d(y,v)),$*where*$\phi (0)=\theta (0)=0$*and*$\psi (t)-\theta (t)+\phi (t)>0$*for all*$t>0$; - (2)
$\psi (a+b)\le \psi (a)+\psi (b)$

*and*$2\theta (c/2)\le \theta (c)$*for all*$a,b,c\in [0,\mathrm{\infty})$; - (3)
*F**has the mixed monotone property*; - (4)
*there exist*${x}_{0},{y}_{0}\in X$*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$; - (5) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*; - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *F* *has a coupled fixed point* $({x}^{\ast},{y}^{\ast})$. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $({x}^{\ast},{x}^{\ast})$ *is the unique coupled fixed point of* *F*.

The following theorem was proved by Bhaskar and Lakshmikantham in [10]. Now we will prove it by a different way.

**Theorem 3.10**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space and let*$F:X\times X\to X$

*be a mapping which obeys the following conditions*:

- (1)
*there exists a constant*$k\in [0,1)$*such that for all*$(x,y),(u,v)\in X\times X$*with*$(x,y){\u2aaf}_{2}(u,v)$$d(F(x,y),F(u,v))\le \frac{k}{2}[d(x,u)+d(y,v)];$ - (2)
*there exist*${x}_{0},{y}_{0}\in X$*such that*${x}_{0}\u2aafF({x}_{0},{y}_{0})$*and*${y}_{0}\u2ab0F({y}_{0},{x}_{0})$; - (3)
*F**has the mixed monotone property*; - (4) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*; - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *F* *has a coupled fixed point* $({x}^{\ast},{y}^{\ast})$. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $({x}^{\ast},{x}^{\ast})$ *is the unique coupled fixed point of* *F*.

*Proof*Our major work in this proof is to show that the function

*T*which is defined in (3.1) satisfies condition (1) in Corollary 2.7. By using condition (1) we have

*η*, we have

*T*, we obtain

for all $(x,y),(u,v)\in Y$ with $(x,y){\u2aaf}_{2}(u,v)$. The rest of the proof follows the proof of Theorem 3.6 and then we apply Corollary 2.7. □

## 4 Coupled coincidence point without compatibility

In this section, we get new coupled coincidence point results. The notions of coupled coincidence point and mixed *g*-monotone property have been established recently in the work [11] by Lakshmikantham and Ćirić. These concepts are defined as follows.

**Definition 4.1** Let *X* be a nonempty set and let $F:X\times X\to X$ and $g:X\to X$ be mappings. We say that $(x,y)\in X\times X$ is a coupled coincidence point of *F* and *g* if $F(x,y)=g(x)$ and $F(y,x)=g(y)$ for $x,y\in X$.

**Definition 4.2**Let $(X,\u2aaf)$ be a partially ordered set and let $F:X\times X\to X$ and $g:X\to X$ be mappings. We say

*F*has the mixed

*g*-monotone property if

*F*is monotone

*g*-nondecreasing in its first argument and is monotone

*g*-nonincreasing in its second argument. That is, for any $x,y\in X$,

Recently, the notion of compatibility of *F* and *g* was defined by Choudhury and Kundu [12] as follows.

**Definition 4.3**Let $(X,d)$ be a metric space and let $g:X\to X$, $F:X\times X\to X$. The mappings

*g*and

*F*are compatible if

whenever $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are sequences in *X*, such that ${lim}_{n\to \mathrm{\infty}}F({x}_{n},{y}_{n})={lim}_{n\to \mathrm{\infty}}g({x}_{n})=x$ and ${lim}_{n\to \mathrm{\infty}}F({y}_{n},{x}_{n})={lim}_{n\to \mathrm{\infty}}g({y}_{n})=y$, for all $x,y\in X$ are satisfied.

Now, we are in the position to prove our result in coupled coincidence point which is a generalization of the main results of Razani and Parvaneh [19] and Alsulami [13].

**Theorem 4.4**

*Let*$(X,d,\u2aaf)$

*be a partially ordered metric space*.

*Let the mappings*$g:X\to X$

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

*have the following conditions*:

- (1)
$g(X)$

*is complete*,*g**is continuous and increasing*; - (2)
$F(X\times X)\subset g(X)$;

- (3)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$x,y,u,v\in X$*with*$(g(x),g(y)){\u2aaf}_{2}(g(u),g(v))$*we have*$\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \theta (max\{d(g(x),g(u)),d(g(y),g(v))\})\\ -\phi (max\{d(g(x),g(u)),d(g(y),g(v))\}),\end{array}$

*where*$\phi (0)=\theta (0)=0$

*and*$\psi (t)-\theta (t)+\phi (t)>0$

*for all*$t>0$;

- (4)
*there exist*${x}_{0},{y}_{0}\in X$*such that*$g({x}_{0})\u2aafF({x}_{0},{y}_{0})$*and*$g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$; - (5)
*F**has the mixed**g*-*monotone property*; - (6) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*, - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *g* *and* *F* *have a coupled coincidence point*. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $(s,s)$ *is the unique coupled coincidence point of* *F* *and* *g*.

*Proof*We define a map $G:g(X)\times g(X)\to g(X)$ by

*G*is well defined on $g(X)$ since

*g*is increasing. First, we show that the map $G:g(X)\times g(X)\to g(X)$ satisfies all the assumptions of Theorem 3.6. It is clear $(g(X),d,\u2aaf)$ is a partially ordered metric space. From condition (3) and (4.1), we have

for all $g(x),g(y),g(u),g(v)\in g(X)$. Thus, *G* has the mixed monotone property. By using part (a) of condition (6), *G* is continuous since *F* is continuous. Moreover, we suppose that the assumption (b) holds. Since *g* is continuous and increasing, $g(X)$ also has the following properties:

(i′) if a nondecreasing sequence $\{g({x}_{n})\}\to g(x)$, then $g({x}_{n})\u2aafg(x)$ for all *n*,

(ii″) if a nonincreasing sequence $\{g({y}_{n})\}\to g(y)$, then $g({y}_{n})\u2ab0g(y)$ for all *n*.

Moreover, due to *g* is increasing, we see that for any $(g(x),g(y)),(g(u),g(v))\in g(X)\times g(X)$ there exists $(g(w),g(z))\in g(X)\times g(X)$ such that $(g(x),g(y)){\u2aaf}_{2}(g(w),g(z))$ and $(g(u),g(v)){\u2aaf}_{2}(g(w),g(z))$. Therefore, all the assumptions of Theorem 3.6 are satisfied. Hence, *G* has a unique coupled fixed point $({x}^{\ast},{x}^{\ast})\in g(X)\times g(X)$.

Now, we prove that *F* and *g* have a unique coupled coincidence point. Let $({x}^{\ast},{x}^{\ast})$ be the coupled fixed point of *G*, that is, ${x}^{\ast}=G({x}^{\ast},{x}^{\ast})$. Since ${x}^{\ast}\in g(X)$ and *g* is increasing, there exists a unique $s\in X$ such that $g(s)={x}^{\ast}$. Thus, $g(s)=G(g(s),g(s))$, *i.e.*, $g(s)=F(s,s)$. Therefore, $(s,s)$ is a unique coupled coincidence point of *F* and *g*. □

If we take $\psi (t)=\theta (t)=t$ and $\phi (t)=(1-k)t$ with $k<1$ in Theorem 4.4, we have the following corollary.

**Corollary 4.5**

*Let*$(X,d,\u2aaf)$

*be a complete partially ordered metric space*.

*Let the mappings*$g:X\to X$

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

*obey the following conditions*:

- (1)
$g(X)$

*is complete*,*g**is continuous and increasing*; - (2)
$F(X\times X)\subset g(X)$;

- (3)
*there exists*$k\in [0,1)$*such that for all*$x,y,u,v\in X$*with*$(g(x),g(y)){\u2aaf}_{2}(g(u),g(v))$*we have*$d(F(x,y),F(u,v))\le kmax\{d(g(x),g(u)),d(g(y),g(v))\};$ - (4)
*there exist*${x}_{0},{y}_{0}\in X$*such that*$g({x}_{0})\u2aafF({x}_{0},{y}_{0})$*and*$g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$; - (5)
*F**has the mixed**g*-*monotone property*; - (6) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*, - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *g* *and* *F* *have a coupled coincidence point*. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $(s,s)$ *is the unique coupled coincidence point of* *F* *and* *g*.

The following result is an extension of the main result of Alotaibi and Alsulami [18] without using the compatibility.

**Theorem 4.6**

*Let*$(X,d,\u2aaf)$

*be a partially ordered metric space*.

*Let the mappings*$g:X\to X$

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

*obey the following conditions*:

- (1)
$g(X)$

*is complete*,*g**is continuous and increasing*; - (2)
$F(X\times X)\subset g(X)$;

- (3)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$x,y,u,v\in X$*with*$(g(x),g(y)){\u2aaf}_{2}(g(u),g(v))$$\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \frac{1}{2}\theta (d(g(x),g(u))+d(g(y),g(v)))\\ -\phi \left(\frac{d(g(x),g(u))+d(g(y),g(v))}{2}\right),\end{array}$

*where*$\phi (0)=\theta (0)=0$

*and*$\psi (t)-\theta (t)+\phi (t)>0$

*for all*$t>0$;

- (4)
$\psi (a+b)\le \psi (a)+\psi (b)$

*and*$\phi (c)\le 2\phi (c/2)$*for all*$a,b,c\in [0,\mathrm{\infty})$; - (5)
*there exist*${x}_{0},{y}_{0}\in X$*such that*$g({x}_{0})\u2aafF({x}_{0},{y}_{0})$*and*$g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$; - (6)
*F**has the mixed**g*-*monotone property*; - (7) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*, - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *g* *and* *F* *have a coupled coincidence point*. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $(s,s)$ *is the unique coupled coincidence point of* *F* *and* *g*.

*Proof*Let $G:g(X)\times g(X)\to g(X)$ be the map which is defined in (4.1). From condition (3), we have

for all $g(x),g(y),g(u),g(v)\in g(X)$ with $(g(x),g(y)){\u2aaf}_{2}(g(u),g(v))$. The rest of the proof is similar to the proof of Theorem 4.4 and by applying Theorem 3.7 we are done. □

Applying Theorem 3.9 and Theorem 4.6 the following theorem can be proved easily.

**Theorem 4.7**

*Let*$(X,d,\u2aaf)$

*be a partially ordered metric space*.

*Let the mappings*$g:X\to X$

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

*obey the following conditions*:

- (1)
$g(X)$

*is complete*,*g**is continuous and increasing*; - (2)
$F(X\times X)\subset g(X)$;

- (3)
*there exist an altering distance function**ψ*,*an upper semi*-*continuous function*$\theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$,*and a lower semi*-*continuous function*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$*such that for all*$x,y,u,v\in X$*with*$(g(x),g(y)){\u2aaf}_{2}(g(u),g(v))$$\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \theta \left(\frac{d(g(x),g(u))+d(g(y),g(v))}{2}\right)\\ -\frac{1}{2}\phi (d(g(x),g(u))+d(g(y),g(v))),\end{array}$

*where*$\phi (0)=\theta (0)=0$

*and*$\psi (t)-\theta (t)+\phi (t)>0$

*for all*$t>0$;

- (4)
$\psi (a+b)\le \psi (a)+\psi (b)$

*and*$2\theta (c/2)\le \theta (c)$*for all*$a,b,c\in [0,\mathrm{\infty})$; - (5)
*there exist*${x}_{0},{y}_{0}\in X$*such that*$g({x}_{0})\u2aafF({x}_{0},{y}_{0})$*and*$g({y}_{0})\u2ab0F({y}_{0},{x}_{0})$; - (6)
*F**has the mixed**g*-*monotone property*; - (7) (a)
*F**is continuous or* - (b)
*X**has the following properties*: - (i)
*if a nondecreasing sequence*$\{{x}_{n}\}\to x$,*then*${x}_{n}\u2aafx$*for all**n*, - (ii)
*if a nonincreasing sequence*$\{{y}_{n}\}\to y$,*then*${y}_{n}\u2ab0y$*for all**n*.

*Then* *g* *and* *F* *have a coupled coincidence point*. *Moreover*, *if for any* $(x,y),(u,v)\in X\times X$ *there exists* $(w,z)\in X\times X$ *such that* $(x,y){\u2aaf}_{2}(w,z)$ *and* $(u,v){\u2aaf}_{2}(w,z)$, *then* $(s,s)$ *is the unique coupled coincidence point of* *F* *and* *g*.

Note that, in particular if we take $\psi (t)=t$ and $\phi (t)\equiv 0$ in Theorem 4.7, then the function *θ* satisfies the basic assumption of the main theorem of Lakshmikantham and Ćirić [11] and other assumptions are similar. Therefore their main result implies from this theorem. Of course in our theorem we have required the monotonicity of *g*, but this condition ensures the uniqueness of coupled coincidence point.

Now, we present our example. This example illustrates Theorem 4.4. Moreover, the conditions of Theorem 4.4 are fulfilled, but Theorem 2.1 of Alsulami [13] cannot be applied.

**Example 4.8**Let $X=[0,2/3]$ be endowed with its Euclidian metric $d(x,y)=|x-y|$ and its usual order ≤. Take $F:X\times X\to X$ defined by

*F*has the mixed

*g*-monotone property. We show that

*F*and

*g*are not compatible. Let $\{{x}_{n}\}$ and $\{{y}_{n}\}$ be two sequences in

*X*such that

Hence, all the assumption of Theorem 4.4 are satisfied. So we see that *F* and *g* have the unique coupled coincidence point $(3/8,3/8)$.

## Declarations

### Acknowledgements

The authors would like to acknowledge the financial support received from Universiti Kebangsaan Malaysia under the research grants UKM-DIP-2012-31, AP-2013-009 and ‘Modal Insan Berpusat (NIC1)’.

## Authors’ Affiliations

## References

- Alsulami SM, Alotaibi A: Coupled coincidence point theorems for compatible in partially ordered metric spaces.
*Bull. Math. Anal. Appl.*2012, 4: 129–138.MathSciNetGoogle Scholar - Alsulami SM, Hussain N, Alotaibi A: Coupled fixed and coincidence points for monotone operators in partial metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 173 10.1186/1687-1812-2012-173Google Scholar - Alsulami SM, Kozlowski WM: On the set of common fixed points of semigroups of nonlinear mappings in modular function spaces.
*Fixed Point Theory Appl.*2014., 2014: Article ID 4 10.1186/1687-1812-2014-4Google Scholar - Ćirić L, Alsulami SM, Parvaneh V, Roshan JR:Some fixed point results in ordered ${G}_{p}$-metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 317 10.1186/1687-1812-2013-317Google Scholar - Hussain N, Nashine HK, Kadelburg Z, Alsulami SM: Weakly isotone increasing mappings and endpoints in partially ordered metric spaces.
*J. Inequal. Appl.*2012., 2012: Article ID 232 10.1186/1029-242X-2012-232Google Scholar - Shaddad, F, Salmi, M, Alsulami, SM: Fixed point theorems in cone metric spaces by using sequentially lower semicontinuous for multivalued maps. Bull. Malays. Math. Soc. (accepted, 2013)Google Scholar
- Shaddad F, Salmi M, Alsulami SM: Common fixed point results of Ciric-Suzuki-type inequality for multivalued maps in compact metric spaces.
*J. Inequal. Appl.*2014., 2014: Article ID 7 10.1186/1029-242X-2014-7Google Scholar - Wang S, Alsulami SM, Ćirić L: Common fixed point theorems for nonlinear contractive mappings in fuzzy metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 191 10.1186/1687-1812-2013-191Google 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-4View ArticleMathSciNetGoogle 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.017View ArticleMathSciNetGoogle Scholar - Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.
*Nonlinear Anal.*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleMathSciNetGoogle Scholar - Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings.
*Nonlinear Anal.*2010, 73: 2524–2531. 10.1016/j.na.2010.06.025View ArticleMathSciNetGoogle Scholar - Alsulami SM: Some coupled coincidence point theorems for a mixed monotone operator in a complete metric space endowed with a partial order by using altering distance functions.
*Fixed Point Theory Appl.*2013., 2013: Article ID 194Google Scholar - Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations.
*Nonlinear Anal.*2010, 72: 1188–1197. 10.1016/j.na.2009.08.003View ArticleMathSciNetGoogle Scholar - Nieto JJ, Rodríguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.
*Order*2005, 22: 223–239. 10.1007/s11083-005-9018-5View ArticleMathSciNetGoogle 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.047View ArticleMathSciNetGoogle 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.055View ArticleMathSciNetGoogle Scholar - Alotaibi A, Alsulami SM: Coupled coincidence points for monotone operators in partially ordered metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 44Google Scholar - Razani A, Parvaneh V:Coupled coincidence point results for $(\psi ,\alpha ,\beta )$-weak contractions in partially ordered metric spaces.
*J. Appl. Math.*2012., 2012: Article ID 496103Google Scholar - Choudhury BS, Kundu A:$(\psi ,\alpha ,\beta )$-Weak contractions in partially ordered metric spaces.
*Appl. Math. Lett.*2012, 25: 6–10. 10.1016/j.aml.2011.06.028View ArticleMathSciNetGoogle Scholar - Samet B, Karapınar E, Aydi H, Ćojbašić Rajić V: Discussion on some coupled fixed point theorems.
*Fixed Point Theory Appl.*2013., 2013: Article ID 50Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.