# Coincidence point theorems for G-isotone mappings in partially ordered metric spaces

## Abstract

We establish coincidence and common fixed-point theorems for G-isotone mappings in partially ordered metric spaces, which include the corresponding coupled, tripled and quadruple fixed-point theorems as special cases. Our proofs are simpler and essentially different from the ones devoted to coupled, tripled and quadruple fixed-point problems that appeared in the last years.

MSC:47H10, 54H25.

## 1 Introduction

The Banach contraction principle is the most celebrated fixed-point theorem. There are great number of generalizations of the Banach contraction principle. A very recent trend in metrical fixed-point theory, initiated by Ran and Reurings , and continued by Nieto and Lopez [2, 3], Bhaskar and Lakshmikantham  and many other authors, is to consider a partial order on the ambient metric space $\left(X,d\right)$ and to transfer a part of the contractive property of the nonlinear operators into its monotonicity properties. This approach turned out to be very productive; see, for example, , and the obtained results found important applications to the existence of solutions for matrix equations or ordinary differential equations and integral equations, see [14, 9] and reference therein.

In 2006, Bhaskar and Lakshmikantham  introduced the notion of coupled fixed point and proved some fixed-point theorems under certain conditions. Later, Lakshmikantham and Ćirić  extended these results by defining the mixed g-monotone property, coupled coincidence point and coupled common fixed point. On the other hand, Berinde and Borcut  introduced the concept of tripled fixed point and proved some related theorems. Later, Borcut and Berinde  extended these results by defining the mixed g-monotone property, tripled coincidence point and tripled common fixed point. These results were then extended and generalized by several authors in the last five years; see [5, 6, 1123] and reference therein. Recently, Karapınar  introduced the notion of quadruple fixed point and proved some related fixed-point theorems in partially ordered metric space (see also ). Berzig and Samet  extended and generalized the mentioned fixed-point results to higher dimensions. However, they used permutations of variables and distinguished between the first and the last variables. Very recently, Roldan et al.  extend the mentioned previous results for non-linear mappings of any number of arguments, not necessarily permuted or ordered, in the framework of partially ordered complete metric spaces. We remind the reader of the following fact: in order to guarantee the existence of coupled (tripled or quadruple) coincidence point, the authors constructed two (three or four) Cauchy sequences using the properties of mixed monotone mappings and contractive conditions. It is not easy to prove that two (three or four) sequences are simultaneous Cauchy sequences. Then we spontaneously wonder the following questions:

Question 1.1 Can we obtain more general fixed-point theorems including the corresponding coupled, tripled and quadruple fixed-point theorems as three special cases?

Question 1.2 Can we provide a new method for approximating coupled, tripled and quadruple fixed points?

In this work, motivated and inspired by the above results, we establish more general fixed-point theorems including the coupled, tripled and quadruple fixed-point theorems as three special cases. Furthermore, we provide affirmative answers to Questions 1.1 and 1.2. The main results extend and improve the recent corresponding results in the literature. Our works bring at least two new features to coupled, tripled and quadruple fixed-point theory. First, we provide a new method for approximating coupled, tripled and quadruple fixed points. Second, our proofs are simpler and essentially different from the ones devoted to coupled, tripled and quadruple fixed-point problems that appeared in the last years.

## 2 Preliminaries

For simplicity, we denote from now on $\underset{k}{\underset{⏟}{X×X\cdots X×X}}$ by ${X}^{k}$, where $k\in \mathbb{N}$ and X is a non-empty set. Let n be a positive integer, ${\phi }^{n}\left(t\right)$ will denote the function ${\phi }^{n}\left(t\right)=\underset{n}{\underset{⏟}{\phi \circ \phi \cdots \phi \circ \phi }}\left(t\right)$. If elements x, y of a partially ordered set $\left(X,\le \right)$ are comparable (i.e. $x\le y$ or $y\le x$ holds) we will write $x\asymp y$.

Let Φ denote the set of all functions $\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$, which satisfies

(i φ ) $\phi \left(t\right) for all $t\in \left(0,\mathrm{\infty }\right)$;

(ii φ ) ${lim}_{r\to {t}^{+}}\phi \left(r\right) for all $t\in \left(0,\mathrm{\infty }\right)$.

Definition 2.1 

Let $\left(R,\le \right)$ be a partially ordered set and d be a metric on R. We say that $\left(R,d,\le \right)$ is regular if the following conditions hold:

1. (i)

if a non-decreasing sequence $\left\{{x}_{n}\right\}$ is such that ${x}_{n}\to x$, then ${x}_{n}\le x$ for all n,

2. (ii)

if a non-increasing sequence $\left\{{y}_{n}\right\}$ is such that ${y}_{n}\to y$, then ${y}_{n}\ge y$ for all n.

Definition 2.2 

Let $\left(X,\le \right)$ be a partially ordered set and $F:{X}^{2}\to X$ and $g:X\to X$. We say F has the mixed g-monotone property if F is monotone g-non-decreasing in its first argument and is monotone g-non-increasing in its second argument, that is, for any $x,y\in X$,

${x}_{1},{x}_{2}\in X,\phantom{\rule{1em}{0ex}}g\left({x}_{1}\right)\le g\left({x}_{2}\right)\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}F\left({x}_{1},y\right)\le F\left({x}_{2},y\right)$

and

${y}_{1},{y}_{2}\in X,\phantom{\rule{1em}{0ex}}g\left({y}_{1}\right)\le g\left({y}_{2}\right)\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}F\left(x,{y}_{1}\right)\ge F\left(x,{y}_{2}\right).$

Definition 2.3 

Let $\left(X,\le \right)$ be a partially ordered set and two mappings $F:{X}^{3}\to X$, $g:X\to X$. We say that F has the mixed g-monotone property if $F\left(x,y,z\right)$ is g-monotone non-decreasing in x, it is g-monotone non-increasing in y and it is g-monotone non-decreasing in z, that is, for any $x,y,z\in X$, and

${z}_{1},{z}_{2}\in X,\phantom{\rule{1em}{0ex}}g\left({z}_{1}\right)\le g\left({z}_{2}\right)\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}F\left(x,y,{z}_{1}\right)\le F\left(x,y,{z}_{2}\right).$

Note that if g is the identity mapping, then Definitions 2.2 and 2.3 reduce to Definition 1.1 in  and Definition 4 in  of mixed monotone property, respectively.

Definition 2.4 

Let $F:{X}^{4}\to X$ be a mapping. We say that F has the mixed monotone property if $F\left(x,y,z,w\right)$ is monotone non-decreasing in x and z, and it is monotone non-increasing in y and w, that is, for any $x,y,z,w\in X$ Some authors introduced the concept of coincidence point in different ways and with different names. Let $F:{X}^{k}\to X$ and $g:X\to X$ be two mappings.

Definition 2.5 A point $\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right)\in {X}^{k}$ is:

1. (i)

a coupled coincidence point  if $k=2$, $F\left({x}_{1},{x}_{2}\right)=g\left({x}_{1}\right)$ and $F\left({x}_{2},{x}_{1}\right)=g\left({x}_{2}\right)$,

2. (ii)

a tripled coincidence point  if $k=3$, $F\left({x}_{1},{x}_{2},{x}_{3}\right)=g\left({x}_{1}\right)$, $F\left({x}_{2},{x}_{1},{x}_{2}\right)=g\left({x}_{2}\right)$ and $F\left({x}_{3},{x}_{2},{x}_{1}\right)=g\left({x}_{3}\right)$,

3. (iii)

a coupled common fixed point  if $k=2$, $F\left({x}_{1},{x}_{2}\right)=g\left({x}_{1}\right)={x}_{1}$ and $F\left({x}_{2},{x}_{1}\right)=g\left({x}_{2}\right)={x}_{2}$,

4. (iv)

a tripled common fixed point  if $k=3$, $F\left({x}_{1},{x}_{2},{x}_{3}\right)=g\left({x}_{1}\right)={x}_{1}$, $F\left({x}_{2},{x}_{1},{x}_{2}\right)=g\left({x}_{2}\right)={x}_{2}$ and $F\left({x}_{3},{x}_{2},{x}_{1}\right)=g\left({x}_{3}\right)={x}_{3}$,

5. (v)

a quadruple fixed point  if $k=4$, $F\left(x,y,z,w\right)=x$, $F\left(y,z,w,x\right)=y$, $F\left(z,w,x,y\right)=z$ and $F\left(w,x,y,z\right)=w$,

6. (vi)

a Φ-coincidence point  if $k=n$, $F\left({x}_{{\sigma }_{i}\left(1\right)},{x}_{{\sigma }_{i}\left(2\right)},\dots ,{x}_{{\sigma }_{i}\left(n\right)}\right)=g{x}_{{\tau }_{i}}$ for all i.

Similarly, note that if g is the identity mapping, then coupled coincidence point, tripled coincidence point and Φ-coincidence point reduce to coupled fixed point (Gnana-Bhaskar and Lakshmikantham ), tripled fixed point (Berinde and Borcut ) and Φ-fixed point , respectively.

Definition 2.6 We say that the mappings $F:{X}^{k}\to X$ and $g:X\to X$ are commutative

1. (i)

if $k=2$, $g\left(F\left({x}_{1},{x}_{2}\right)\right)=F\left(g\left({x}_{1}\right),g\left({x}_{2}\right)\right)$ for all ${x}_{1},{x}_{2}\in X$ ,

2. (ii)

if $k=3$, $g\left(F\left({x}_{1},{x}_{2},{x}_{3}\right)\right)=F\left(g\left({x}_{1}\right),g\left({x}_{2}\right),g\left({x}_{3}\right)\right)$ for all ${x}_{1},{x}_{2},{x}_{3}\in X$ .

Let $\left(X,\le \right)$ be a partially ordered set and d be a metric on X. We endow the product space ${X}^{k}$ with the following partial order: for $\left({y}^{1},{y}^{2},\dots ,{y}^{i},\dots ,{y}^{k}\right),\left({v}^{1},{v}^{2},\dots ,{v}^{i},\dots ,{v}^{k}\right)\in {X}^{k}$,

(2.1)

which will be denoted in the sequel, for convenience, by ≤, also. Obviously, $\left({X}^{k},\le \right)$ is a partially ordered set. The mapping ${\rho }_{k}:{X}^{k}×{X}^{k}\to \left[0,+\mathrm{\infty }\right)$, given by

${\rho }_{k}\left(Y,V\right)=\frac{1}{k}\left[d\left({y}^{1},{v}^{1}\right)+d\left({y}^{2},{v}^{2}\right)+\cdots +d\left({y}^{k},{v}^{k}\right)\right],$
(2.2)

where $Y=\left({y}^{1},{y}^{2},\dots ,{y}^{k}\right),V=\left({v}^{1},{v}^{2},\dots ,{v}^{k}\right)\in {X}^{k}$, defines a metric on ${X}^{k}$. It is easy to see that

${Y}_{n}\to Y\phantom{\rule{1em}{0ex}}\left(n\to \mathrm{\infty }\right)\phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}{y}_{n}^{i}\to {y}^{i}\phantom{\rule{1em}{0ex}}\left(n\to \mathrm{\infty }\right),i=1,2,\dots ,k,$
(2.3)

where ${Y}_{n}=\left({y}_{n}^{1},{y}_{n}^{2},\dots ,{y}_{n}^{k}\right),Y=\left({y}^{1},{y}^{2},\dots ,{y}^{k}\right)\in {X}^{k}$. Indeed, .

In order to prove our main results, we need the following lemma.

Lemma 2.7 Let $\left(X,\le \right)$ be a partially ordered set and d be a metric on X. If $\left(X,\le ,d\right)$ is regular, then $\left({X}^{k},\le ,{\rho }_{k}\right)$ is regular.

Proof Without loss of generality, we assume that the sequence $\left\{{Y}_{n}\right\}$ is non-decreasing with ${Y}_{n}\to Y$ ($n\to \mathrm{\infty }$), where ${Y}_{n}=\left({y}_{n}^{1},{y}_{n}^{2},\dots ,{y}_{n}^{k}\right),Y=\left({y}^{1},{y}^{2},\dots ,{y}^{k}\right)\in {X}^{k}$. From (2.3), we have

${y}_{n}^{i}\to {y}^{i}\phantom{\rule{1em}{0ex}}\left(n\to \mathrm{\infty }\right),i=1,2,\dots ,k.$
(2.4)

Now suppose that $i=1,3,5,\dots$ . As the sequence $\left\{{Y}_{n}\right\}$ is non-decreasing and (2.1), we have the sequences ${\left\{{y}_{n}^{i}\right\}}_{n=1}^{\mathrm{\infty }}$ are non-decreasing. From (2.4), the regularity of $\left(X,\le ,d\right)$ and using Definition 2.1, we have

${y}_{n}^{i}\le {y}^{i},\phantom{\rule{1em}{0ex}}i=1,3,5,\dots .$
(2.5)

Suppose that $i=2,4,6,\dots$ . Since the sequence $\left\{{Y}_{n}\right\}$ is non-decreasing and (2.1), we have the sequences ${\left\{{y}_{n}^{i}\right\}}_{n=1}^{\mathrm{\infty }}$ are non-increasing. From (2.4), the regularity of $\left(X,\le ,d\right)$ and using Definition 2.1, we have

${y}_{n}^{i}\ge {y}^{i},\phantom{\rule{1em}{0ex}}i=2,4,6,\dots .$
(2.6)

By (2.1), (2.5) and (2.6), we have ${Y}_{n}\le Y$ for all n. By analogy, we show that if a non-increasing sequence $\left\{{Y}_{n}\right\}$ is such that ${Y}_{n}\to Y$, then ${Y}_{n}\ge Y$ for all n. Therefore, $\left({X}^{k},\le ,{\rho }_{k}\right)$ is regular. □

## 3 Main results

We now state and prove the main results of this paper.

Definition 3.1 We say that the mappings $T:{X}^{k}\to {X}^{k}$ and $G:{X}^{k}\to {X}^{k}$ are commutative if $TG\left(Y\right)=GT\left(Y\right)$ for all $Y\in {X}^{k}$.

Definition 3.2 Let $\left({X}^{k},\le \right)$ be a partially ordered set and $T:{X}^{k}\to {X}^{k}$, $G:{X}^{k}\to {X}^{k}$. We say that T is a G-isotone mapping if, for any ${Y}_{1},{Y}_{2}\in {X}^{k}$

$G\left({Y}_{1}\right)\le G\left({Y}_{2}\right)\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}T\left({Y}_{1}\right)\le T\left({Y}_{2}\right).$

Definition 3.3 An element $Y\in {X}^{k}$ is called a coincidence point of the mappings $T:{X}^{k}\to {X}^{k}$ and $G:{X}^{k}\to {X}^{k}$ if $T\left(Y\right)=G\left(Y\right)$. Furthermore, if $T\left(Y\right)=G\left(Y\right)=Y$, then we say that Y is a common fixed point of T and G.

Theorem 3.4 Let $\left(X,\le \right)$ be a partially ordered set and suppose there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $G:{X}^{k}\to {X}^{k}$ and $T:{X}^{k}\to {X}^{k}$ be a G-isotone mapping for which there exists $\phi \in \mathrm{\Phi }$ such that for all $Y\in {X}^{k}$, $V\in {X}^{k}$ with $G\left(Y\right)\ge G\left(V\right)$,

${\rho }_{k}\left(T\left(Y\right),T\left(V\right)\right)\le \phi \left({\rho }_{k}\left(G\left(Y\right),G\left(V\right)\right)\right),$
(3.1)

where ${\rho }_{k}$ is defined via (2.2). Suppose $T\left({X}^{k}\right)\subset G\left({X}^{k}\right)$ and also suppose either

1. (a)

T is continuous, G is continuous and commutes with T or

2. (b)

$\left(X,d,\le \right)$ is regular and $G\left({X}^{k}\right)$ is closed.

If there exists ${Y}_{0}\in {X}^{k}$ such that $G\left({Y}_{0}\right)\asymp T\left({Y}_{0}\right)$, then T and G have a coincidence point.

Proof Since $T\left({X}^{k}\right)\subset G\left({X}^{k}\right)$, it follows that there exists ${Y}_{1}\in {X}^{k}$ such that $G\left({Y}_{1}\right)=T\left({Y}_{0}\right)$. In general, there exists ${Y}_{n}\in {X}^{k}$ such that $G\left({Y}_{n+1}\right)=T\left({Y}_{n}\right)$, $n\ge 0$. We denote ${Z}_{0}=G\left({Y}_{0}\right)$ and

${Z}_{n+1}=G\left({Y}_{n+1}\right)=T\left({Y}_{n}\right),\phantom{\rule{1em}{0ex}}n\ge 0.$
(3.2)

Obviously, if ${Z}_{n+1}={Z}_{n}$ for some $n\ge 0$, then there is nothing to prove. So, we may assume that ${Z}_{n+1}\ne {Z}_{n}$ for all $n\ge 0$. Since $G\left({Y}_{0}\right)\asymp T\left({Y}_{0}\right)$, without loss of generality, we assume that $G\left({Y}_{0}\right)\le T\left({Y}_{0}\right)$ (the case $G\left({Y}_{0}\right)\ge T\left({Y}_{0}\right)$ is similar), that is, ${Z}_{0}\le {Z}_{1}$. Assume that ${Z}_{n-1}\le {Z}_{n}$, that is, $G\left({Y}_{n-1}\right)\le G\left({Y}_{n}\right)$. Since T is a G-isotone mapping, we get

${Z}_{n}=T\left({Y}_{n-1}\right)\le T\left({Y}_{n}\right)={Z}_{n+1},$

which shows that ${Z}_{n}\le {Z}_{n+1}$ for all $n\ge 0$. This actually means that the sequence ${\left\{{Z}_{n}\right\}}_{n=0}^{\mathrm{\infty }}$ is non-decreasing. Since $G\left({Y}_{n}\right)={Z}_{n}\ge G\left({Y}_{n-1}\right)={Z}_{n-1}$, from (3.1) and (i φ ) we have

$\begin{array}{rcl}{\rho }_{k}\left({Z}_{n+1},{Z}_{n}\right)& =& {\rho }_{k}\left(T\left({Y}_{n}\right),T\left({Y}_{n-1}\right)\right)\\ \le & \phi \left({\rho }_{k}\left(G\left({Y}_{n}\right),G\left({Y}_{n-1}\right)\right)\right)\\ =& \phi \left({\rho }_{k}\left({Z}_{n},{Z}_{n-1}\right)\right)\\ <& {\rho }_{k}\left({Z}_{n},{Z}_{n-1}\right)\end{array}$
(3.3)

for all $n\ge 1$. Hence, the sequence ${\left\{{\delta }_{n}\right\}}_{n=0}^{\mathrm{\infty }}$ given by ${\delta }_{n}={\rho }_{k}\left({Z}_{n+1},{Z}_{n}\right)$ is monotone decreasing and bounded below. Therefore, there exists some $\delta \ge 0$ such that ${lim}_{n\to \mathrm{\infty }}{\delta }_{n}=\delta$. We shall prove that $\delta =0$. Assume that $\delta >0$. Then by letting $n\to \mathrm{\infty }$ in (3.3) and (ii φ ) we have

$\delta \le \underset{n\to \mathrm{\infty }}{lim}\phi \left({\delta }_{n-1}\right)=\underset{r\to {\delta }^{+}}{lim}\phi \left(r\right)<\delta ,$

$\underset{n\to \mathrm{\infty }}{lim}{\delta }_{n}=0.$
(3.4)

We claim that $\left\{{Z}_{n}\right\}$ is a Cauchy sequence. Indeed, if it is false, then there exist $ϵ>0$ and the sequences $\left\{{Z}_{m\left(t\right)}\right\}$ and $\left\{{Z}_{n\left(t\right)}\right\}$ of $\left\{{Z}_{n}\right\}$ such that $n\left(t\right)$ is the minimal in the sense that $n\left(t\right)>m\left(t\right)\ge t$ and ${\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)}\right)>ϵ$. Therefore, ${\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)-1}\right)\le ϵ$.

Using the triangle inequality, we obtain

$\begin{array}{rcl}ϵ& <& {\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)}\right)\le {\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)-1}\right)+{\rho }_{k}\left({Z}_{n\left(t\right)-1},{Z}_{n\left(t\right)}\right)\\ \le & ϵ+{\rho }_{k}\left({Z}_{n\left(t\right)-1},{Z}_{n\left(t\right)}\right).\end{array}$

Letting $t\to \mathrm{\infty }$ in the above inequality and using (3.4), we get

$\underset{t\to \mathrm{\infty }}{lim}{\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)}\right)={ϵ}^{+}.$
(3.5)

Since $n\left(t\right)>m\left(t\right)$, we have ${Z}_{m\left(t\right)}\le {Z}_{n\left(t\right),}$ and hence $G\left({Y}_{n\left(t\right)}\right)\ge G\left({Y}_{m\left(t\right)}\right)$. Now, by (3.1), we have

$\begin{array}{rcl}{\rho }_{k}\left({Z}_{n\left(t\right)+1},{Z}_{m\left(t\right)+1}\right)& =& {\rho }_{k}\left(T\left({Y}_{n\left(t\right)}\right),T\left({Y}_{m\left(t\right)}\right)\right)\\ \le & \phi \left({\rho }_{k}\left(G\left({Y}_{n\left(t\right)}\right),G\left({Y}_{m\left(t\right)}\right)\right)\right)=\phi \left({\rho }_{k}\left({Z}_{n\left(t\right)},{Z}_{m\left(t\right)}\right)\right).\end{array}$

Observe that

$\begin{array}{rcl}{\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{n\left(t\right)}\right)& \le & {\rho }_{k}\left({Z}_{m\left(t\right)},{Z}_{m\left(t\right)+1}\right)+{\rho }_{k}\left({Z}_{m\left(t\right)+1},{Z}_{n\left(t\right)+1}\right)+{\rho }_{k}\left({Z}_{n\left(t\right)+1},{Z}_{n\left(t\right)}\right)\\ \le & {\delta }_{m\left(t\right)}+{\delta }_{n\left(t\right)}+{\rho }_{k}\left({Z}_{m\left(t\right)+1},{Z}_{n\left(t\right)+1}\right)\\ \le & {\delta }_{m\left(t\right)}+{\delta }_{n\left(t\right)}+\phi \left({\rho }_{k}\left({Z}_{n\left(t\right)},{Z}_{m\left(t\right)}\right)\right).\end{array}$

Letting $t\to \mathrm{\infty }$ in the above inequality and using (3.4)-(3.5), we have

$ϵ\le \underset{t\to \mathrm{\infty }}{lim}\phi \left({r}_{t}\right)=\underset{r\to {ϵ}^{+}}{lim}\phi \left(r\right)<ϵ,$

where ${r}_{t}={\rho }_{k}\left({Z}_{n\left(t\right)},{Z}_{m\left(t\right)}\right)$, which is a contradiction. Hence, the sequence ${\left\{{Z}_{n}\right\}}_{n=0}^{\mathrm{\infty }}$ is a Cauchy sequence in the metric space $\left({X}^{k},{\rho }_{k}\right)$. On the other hand, since $\left(X,d\right)$ is a complete metric space, thus the metric space $\left({X}^{k},{\rho }_{k}\right)$ is complete. Therefore, there exists $\overline{Z}\in {X}^{k}$ such that ${lim}_{n\to \mathrm{\infty }}{Z}_{n}=\overline{Z}$, that is, ${lim}_{n\to \mathrm{\infty }}G\left({Y}_{n}\right)=\overline{Z}$.

Now suppose that the assumption (a) holds. By the continuity of G, we have ${lim}_{n\to \mathrm{\infty }}G\left(G\left({Y}_{n+1}\right)\right)=G\left(\overline{Z}\right)$. On the other hand, by the commutativity of T and G, we have

$G\left(G\left({Y}_{n+1}\right)\right)=G\left(T\left({Y}_{n}\right)\right)=T\left(G\left({Y}_{n}\right)\right).$
(3.6)

By (3.6) and the continuity of T, we have

$G\left(\overline{Z}\right)=\underset{n\to \mathrm{\infty }}{lim}G\left(G\left({Y}_{n+1}\right)\right)=\underset{n\to \mathrm{\infty }}{lim}T\left(G\left({Y}_{n}\right)\right)=T\left(\overline{Z}\right),$

which shows that $\overline{Z}$ is a coincidence point of T and G.

Suppose that the assumption (b) holds. Using Lemma 2.7, we have $\left({X}^{k},\le ,{\rho }_{k}\right)$ is regular. Since ${\left\{{Z}_{n}\right\}}_{n=0}^{\mathrm{\infty }}$ is non-decreasing sequence that converges to $\overline{Z}$, in view of Definition 2.1, we have ${Z}_{n}\le \overline{Z}$ for all n. Since $G\left({X}^{k}\right)$ is closed and by (3.2), we obtain that there exists $\overline{Y}\in {X}^{k}$ for which

$\underset{n\to \mathrm{\infty }}{lim}G\left({Y}_{n}\right)=\underset{n\to \mathrm{\infty }}{lim}T\left({Y}_{n}\right)=\overline{Z}=G\left(\overline{Y}\right).$

Then from (3.1), we have

${\rho }_{k}\left(T\left({Y}_{n}\right),T\left(\overline{Y}\right)\right)\le \phi \left({\rho }_{k}\left(G\left({Y}_{n}\right),G\left(\overline{Y}\right)\right)\right)$

for all $n\ge 0$. Letting $n\to \mathrm{\infty }$ in the above inequality, we have ${\rho }_{k}\left(G\left(\overline{Y}\right),T\left(\overline{Y}\right)\right)=0$, which implies that $G\left(\overline{Y}\right)=T\left(\overline{Y}\right)$. Therefore, $\overline{Y}$ is a coincidence point of T and G. □

Remark 3.5 Different kinds of contractive conditions are studied and we use a distinct methodology to prove Theorem 3.4. The authors proved that any number of sequences are simultaneous Cauchy sequence in . However, we only need to proof that one sequence is a Cauchy sequence.

Taking $k=1$ in Theorem 3.4, we can obtain the following result immediately.

Corollary 3.6 Let $\left(X,\le \right)$ be a partially ordered set and suppose there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $G:X\to X$ and $T:X\to X$ be a G-isotone mapping for which there exists $\phi \in \mathrm{\Phi }$ such that for all $Y\in X$, $V\in X$ with $G\left(Y\right)\ge G\left(V\right)$,

$d\left(T\left(Y\right),T\left(V\right)\right)\le \phi \left(d\left(G\left(Y\right),G\left(V\right)\right)\right).$

Suppose $T\left(X\right)\subset G\left(X\right)$ and also suppose either

1. (a)

T is continuous, G is continuous and commutes with T or

2. (b)

$\left(X,d,\le \right)$ is regular and $G\left(X\right)$ is closed.

If there exists ${Y}_{0}\in X$ such that $G\left({Y}_{0}\right)\asymp T\left({Y}_{0}\right)$, then T and G have a coincidence point.

Now, we will show that Theorem 3.4 allow us to derive coupled, tripled and quadruple fixed-point theorems for mixed monotone mappings in partially ordered metric space.

Taking $k=2$, $T\left(Y\right)=\left(F\left(x,y\right),F\left(y,x\right)\right)$ and $G\left(Y\right)=\left(g\left(x\right),g\left(y\right)\right)$ for $Y=\left(x,y\right)\in {X}^{2}$ in Theorem 3.4, we can obtain the following result.

Corollary 3.7 Let $\left(X,\le \right)$ be a partially ordered set and suppose there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $g:X\to X$ and $F:{X}^{2}\to X$ be a mixed g-monotone mapping for which there exists $\phi \in \mathrm{\Phi }$ such that for all $x,y,u,v\in X$ with $g\left(x\right)\ge g\left(u\right)$, $g\left(y\right)\le g\left(v\right)$,

$d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\le 2\phi \left(\frac{d\left(g\left(x\right),g\left(u\right)\right)+d\left(g\left(y\right),g\left(v\right)\right)}{2}\right).$
(3.7)

Suppose $F\left({X}^{2}\right)\subset g\left(X\right)$ and also suppose either

1. (a)

F is continuous, g is continuous and commutes with F or

2. (b)

$\left(X,d,\le \right)$ is regular and $g\left(X\right)$ is closed.

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

$g\left({x}_{0}\right)\le F\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}g\left({y}_{0}\right)\ge F\left({y}_{0},{x}_{0}\right),$
(3.8)

or

$g\left({x}_{0}\right)\ge F\left({x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}g\left({y}_{0}\right)\le F\left({y}_{0},{x}_{0}\right),$
(3.9)

then there exist $\overline{x},\overline{y}\in X$ such that $g\left(\overline{x}\right)=F\left(\overline{x},\overline{y}\right)$ and $g\left(\overline{y}\right)=F\left(\overline{y},\overline{x}\right)$, that is, F and g have a couple coincidence point.

Proof For simplicity, we denote $Y=\left(x,y\right)$, $V=\left(u,v\right)$ and ${Y}_{n}=\left({x}_{n},{y}_{n}\right)$ for all $n\ge 0$. We endow the product space ${X}^{2}$ with the following partial order:

(3.10)

Consider the function ${\rho }_{2}:{X}^{2}×{X}^{2}\to \left[0,+\mathrm{\infty }\right)$ defined by

${\rho }_{2}\left(Y,V\right)=\frac{1}{2}\left[d\left(x,u\right)+d\left(y,v\right)\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }Y,V\in {X}^{2}.$
(3.11)

Obviously, $\left({X}^{2},\le \right)$ and ${\rho }_{2}$ are two particular cases of $\left({X}^{k},\le \right)$ and ${\rho }_{k}$ defined by (2.1) and (2.2), respectively. Now consider the operators $T:{X}^{2}\to {X}^{2}$ and $G:{X}^{2}\to {X}^{2}$ defined by

$T\left(Y\right)=\left(F\left(x,y\right),F\left(y,x\right)\right)$
(3.12)

and

$G\left(Y\right)=\left(g\left(x\right),g\left(y\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }Y\in {X}^{2}.$
(3.13)

Since $F\left({X}^{2}\right)\subset g\left(X\right)$, we have $T\left({X}^{2}\right)\subset G\left({X}^{2}\right)$.

We claim that T is a G-isotone mapping. Indeed, suppose that $G\left({Y}_{1}\right)\le G\left({Y}_{2}\right)$, ${Y}_{1},{Y}_{2}\in {X}^{2}$. By (3.10) and (3.13), we have $g\left({x}_{1}\right)\le g\left({x}_{2}\right)$ and $g\left({y}_{1}\right)\ge g\left({y}_{2}\right)$. Since F is g-mixed monotone, we have

$F\left({x}_{1},{y}_{1}\right)\le F\left({x}_{2},{y}_{2}\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}F\left({y}_{1},{x}_{1}\right)\ge F\left({y}_{2},{x}_{2}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }G\left({Y}_{1}\right)\le G\left({Y}_{2}\right).$
(3.14)

From (3.10), (3.12) and (3.14), we have

$T\left({Y}_{1}\right)=\left(F\left({x}_{1},{y}_{1}\right),F\left({y}_{1},{x}_{1}\right)\right)\le \left(F\left({x}_{2},{y}_{2}\right),F\left({y}_{2},{x}_{2}\right)\right)=T\left({Y}_{2}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }G\left({Y}_{1}\right)\le G\left({Y}_{2}\right).$

Similarly, we can obtain that for any ${Y}_{1},{Y}_{2}\in {X}^{2}$, $G\left({Y}_{1}\right)\ge G\left({Y}_{2}\right)⇒T\left({Y}_{1}\right)\ge T\left({Y}_{2}\right)$. By (3.8)-(3.10), we have there exists ${Y}_{0}\in {X}^{2}$ such that $G\left({Y}_{0}\right)\asymp T\left({Y}_{0}\right)$.

From (3.11) and (3.12), we have

$\frac{d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)}{2}={\rho }_{2}\left(T\left(Y\right),T\left(V\right)\right)$

and

$\phi \left(\frac{d\left(g\left(x\right),g\left(u\right)\right)+d\left(g\left(y\right),g\left(v\right)\right)}{2}\right)=\phi \left({\rho }_{2}\left(G\left(Y\right),G\left(V\right)\right)\right)$

for any $Y\in {X}^{2}$, $V\in {X}^{2}$. It follows from (3.7) that

${\rho }_{2}\left(T\left(Y\right),T\left(V\right)\right)\le \phi \left({\rho }_{2}\left(G\left(Y\right),G\left(V\right)\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }G\left(Y\right)\ge G\left(V\right).$

Now suppose that the assumption (a) holds. By the continuity of g, we have G is continuous. From (3.12), (3.13) and using the commutativity of F and g, we have, for any $Y\in {X}^{2}$

$\begin{array}{rcl}TG\left(Y\right)& =& T\left(g\left(x\right),g\left(y\right)\right)=\left(F\left(g\left(x\right),g\left(y\right)\right),F\left(g\left(y\right),g\left(x\right)\right)\right)\\ =& \left(g\left(F\left(x,y\right)\right),g\left(F\left(y,x\right)\right)\right)=GT\left(Y\right),\end{array}$

which implies that G commutes with T. It is easy to see that T is continuous. Indeed, by (3.11), we obtain that ${Y}_{n}\to Y$ ($n\to \mathrm{\infty }$) if and only if ${x}_{n}\to x$ and ${y}_{n}\to y$ ($n\to \mathrm{\infty }$). Since F is continuous, we have $F\left({x}_{n},{y}_{n}\right)\to F\left(x,y\right)$ and $F\left({y}_{n},{x}_{n}\right)\to F\left(y,x\right)$ ($n\to \mathrm{\infty }$), for any ${Y}_{n}\to Y$ ($n\to \mathrm{\infty }$). Therefore, we have

$T\left({Y}_{n}\right)=\left(F\left({x}_{n},{y}_{n}\right),F\left({y}_{n},{x}_{n}\right)\right)\to \left(F\left(x,y\right),F\left(y,x\right)\right)=T\left(Y\right)\phantom{\rule{1em}{0ex}}\left(n\to \mathrm{\infty }\right)$

for any ${Y}_{n}\to Y$ ($n\to \mathrm{\infty }$).

Suppose that the assumption (b) holds. It is easy to see that $G\left({X}^{2}\right)$ is closed.

All the hypothesis of Theorem 3.4 ($k=2$) are satisfied, and so we deduce the existence of a coincidence point of T and G. From (3.12) and (3.13), there exists $\left(\overline{x},\overline{y}\right)$ such that $g\left(\overline{x}\right)=F\left(\overline{x},\overline{y}\right)$ and $g\left(\overline{y}\right)=F\left(\overline{y},\overline{x}\right)$, that is, $\left(\overline{x},\overline{y}\right)$ is a coupled coincidence point of F and g. □

Remark 3.8 Note that in the case of the condition (b) satisfied in Corollary 3.7, we omit the control conditions: g is continuous and commutes with F, which are needed in the proof of Theorem 2.1 in  and Theorem 3 in .

Taking $k=3$, $T\left(Y\right)=\left(F\left(x,y,z\right),F\left(y,x,y\right),F\left(z,y,x\right)\right)$ and $G\left(Y\right)=\left(g\left(x\right),g\left(y\right),g\left(z\right)\right)$ for $Y=\left(x,y,z\right)\in {X}^{3}$ in Theorem 3.4, we can obtain the following result by the similar argument as we did in the proof of Corollary 3.7.

Corollary 3.9 Let $\left(X,\le \right)$ be a partially ordered set and suppose there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:{X}^{3}\to X$ and $g:X\to X$ such that F has the mixed g-monotone property and $F\left({X}^{3}\right)\subset g\left(X\right)$. Assume there is a function $\phi \in \mathrm{\Phi }$ such that for any $x,y,z,u,v,w\in X$ for which $g\left(x\right)\ge g\left(u\right)$, $g\left(v\right)\ge g\left(y\right)$ and $g\left(z\right)\ge g\left(w\right)$. Suppose either

1. (a)

F is continuous, g is continuous and commutes with F or

2. (b)

$\left(X,\le ,d\right)$ is regular and $g\left(X\right)$ is closed.

If there exist ${x}_{0},{y}_{0},{z}_{0}\in X$ such that

$g\left({x}_{0}\right)\le F\left({x}_{0},{y}_{0},{z}_{0}\right),\phantom{\rule{2em}{0ex}}g\left({y}_{0}\right)\ge F\left({y}_{0},{x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}g\left({z}_{0}\right)\le F\left({z}_{0},{y}_{0},{x}_{0}\right),$

or

$g\left({x}_{0}\right)\ge F\left({x}_{0},{y}_{0},{z}_{0}\right),\phantom{\rule{2em}{0ex}}g\left({y}_{0}\right)\le F\left({y}_{0},{x}_{0},{y}_{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}g\left({z}_{0}\right)\ge F\left({z}_{0},{y}_{0},{x}_{0}\right),$

then there exist $x,y,z\in X$ such that

$F\left(x,y,z\right)=g\left(x\right),\phantom{\rule{2em}{0ex}}F\left(y,x,y\right)=g\left(y\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}F\left(z,y,x\right)=g\left(z\right),$

that is, F and g have a tripled coincidence point.

Similarly, taking $k=4$, $T\left(Y\right)=\left(F\left(x,y,z,w\right),F\left(y,z,w,x\right),F\left(z,w,x,y\right),F\left(w,x,y,z\right)\right)$ and G is the identity mapping on ${X}^{4}$ for $Y=\left(x,y,z,w\right)\in {X}^{4}$ in Theorem 3.4, we can obtain the following result.

Corollary 3.10 Let $\left(X,\le \right)$ be a partially ordered set and suppose there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:{X}^{4}\to X$ such that F has the mixed monotone property. Assume there is a function $\phi \in \mathrm{\Phi }$ such that for any $x,y,z,w,u,v,r,t\in X$ for which $x\ge u$, $y\le v$, $z\ge r$ and $w\le t$. Suppose either

1. (a)

F is continuous or

2. (b)

$\left(X,\le ,d\right)$ is regular.

If there exist ${x}_{0},{y}_{0},{z}_{0},{w}_{0}\in X$ such that or then there exist $x,y,z,w\in X$ such that

$F\left(x,y,z,w\right)=x,\phantom{\rule{2em}{0ex}}F\left(y,z,w,x\right)=y,\phantom{\rule{2em}{0ex}}F\left(z,w,x,y\right)=z\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}F\left(w,x,y,z\right)=w,$

that is, F have a quadruple fixed point.

Theorem 3.11 In addition to the hypothesis of Theorem  3.4, suppose that for every $\overline{Y},{Y}^{\ast }\in {X}^{k}$ there exists $V\in {X}^{k}$ such that $T\left(V\right)$ is comparable to $T\left(\overline{Y}\right)$ and to $T\left({Y}^{\ast }\right)$. Also, assume that φ is non-decreasing. Let G commute with T if the assumption (b) holds. Then T and G have a unique common fixed point, that is, there exists a unique point $\overline{Z}\in {X}^{k}$ such that $\overline{Z}=G\left(\overline{Z}\right)=T\left(\overline{Z}\right)$.

Proof From Theorem 3.4, the set of coincidence points of T and G is non-empty. Assume that $\overline{Y}$ and ${Y}^{\ast }\in {X}^{k}$ are two coincidence points of T and G. We shall prove that $G\left(\overline{Y}\right)=G\left({Y}^{\ast }\right)$. Put ${V}_{0}=V$ and choose ${V}_{1}\in {X}^{k}$ so that $G\left({V}_{1}\right)=T\left({V}_{0}\right)$. Then, similarly to the proof of Theorem 3.4, we obtain the sequence ${\left\{G\left({V}_{n}\right)\right\}}_{n=1}^{\mathrm{\infty }}$ defined as follows: $G\left({V}_{n+1}\right)=T\left({V}_{n}\right)$, $n\ge 0$. Since $T\left(\overline{Y}\right)=G\left(\overline{Y}\right)$ and $T\left(V\right)=G\left({V}_{1}\right)$ are comparable, without loss of generality, we assume that $G\left(\overline{Y}\right)\le G\left({V}_{1}\right)$. Since T is a G-isotone mapping, we have

$G\left(\overline{Y}\right)=T\left(\overline{Y}\right)\le T\left({V}_{1}\right)=G\left({V}_{2}\right).$

Recursively, we get that $G\left(\overline{Y}\right)\le G\left({V}_{n}\right)$, $\mathrm{\forall }n\ge 1$. Thus, by the contractive condition (3.1), one gets

${\rho }_{k}\left(G\left({V}_{n+1}\right),G\left(\overline{Y}\right)\right)={\rho }_{k}\left(T\left({V}_{n}\right),T\left(\overline{Y}\right)\right)\le \phi \left({\rho }_{k}\left(G\left({V}_{n}\right),G\left(\overline{Y}\right)\right)\right).$

Thus, by the above inequality, we get

${\mathrm{\Delta }}_{n+1}\le \phi \left({\mathrm{\Delta }}_{n}\right),\phantom{\rule{1em}{0ex}}n\ge 0,$

where ${\mathrm{\Delta }}_{n}={\rho }_{k}\left(G\left({V}_{n}\right),G\left(\overline{Y}\right)\right)$. Since φ is non-decreasing, it follows that

${\mathrm{\Delta }}_{n+1}\le {\phi }^{n}\left({\mathrm{\Delta }}_{1}\right).$

From the definition of Φ, we get ${lim}_{n\to \mathrm{\infty }}{\phi }^{n}\left(t\right)=0$, for each $t>0$. Then, we have ${lim}_{n\to \mathrm{\infty }}{\mathrm{\Delta }}_{n}=0$. Thus,

$\underset{n\to \mathrm{\infty }}{lim}{\rho }_{k}\left(G\left(\overline{Y}\right),G\left({V}_{n}\right)\right)=0.$
(3.15)

Similarly, we obtain that

$\underset{n\to \mathrm{\infty }}{lim}{\rho }_{k}\left(G\left({Y}^{\ast }\right),G\left({V}_{n}\right)\right)=0.$
(3.16)

Combining (3.15) and (3.16) yields that $G\left(\overline{Y}\right)=G\left({Y}^{\ast }\right)$. Since $G\left(\overline{Y}\right)=T\left(\overline{Y}\right)$, by the commutativity of T and G, we have

$G\left(G\left(\overline{Y}\right)\right)=G\left(T\left(\overline{Y}\right)\right)=T\left(G\left(\overline{Y}\right)\right).$
(3.17)

Denote $G\left(\overline{Y}\right)=\overline{Z}$. By (3.17), we have $G\left(\overline{Z}\right)=T\left(\overline{Z}\right)$, that is $\overline{Z}$ is a coincidence point of T and G. Thus, we have $G\left(\overline{Z}\right)=G\left(\overline{Y}\right)=\overline{Z}$. Therefore, $\overline{Z}$ is a common fixed point of T and G.

To prove the uniqueness, assume ${Z}^{\ast }$ is another common fixed point of T and G. Then we have

${Z}^{\ast }=G\left({Z}^{\ast }\right)=G\left(\overline{Z}\right)=\overline{Z}.$

□

Corollary 3.12 In addition to the hypothesis of Corollary  3.7, suppose that for every $\left(\overline{x},\overline{y}\right),\left({x}^{\ast },{y}^{\ast }\right)\in {X}^{2}$ there exists $\left(u,v\right)\in X×X$ such that $\left(F\left(u,v\right),F\left(v,u\right)\right)$ is comparable to $\left(F\left({x}^{\ast },{y}^{\ast }\right),F\left({y}^{\ast },{x}^{\ast }\right)\right)$ and to $\left(F\left(\overline{x},\overline{y}\right),F\left(\overline{y},\overline{x}\right)\right)$. Also, assume that φ is non-decreasing. Let g commute with F if the assumption (b) holds. Then F and g have a unique coupled common fixed point, that is, there exists a unique point $\left(\overline{z},\overline{w}\right)\in {X}^{2}$ such that

$\overline{z}=g\left(\overline{z}\right)=F\left(\overline{z},\overline{w}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\overline{w}=g\left(\overline{w}\right)=F\left(\overline{w},\overline{z}\right).$

Proof Similarly to the proof of Corollary 3.7, we can obtain all conditions of Theorem 3.4 ($k=2$) are satisfied. In addition, by the commutativity of g and F, we have G commutes with T. For simplicity, we denote $\overline{Y}=\left(\overline{x},\overline{y}\right)$, ${Y}^{\ast }=\left({x}^{\ast },{y}^{\ast }\right)$ and $V=\left(u,v\right)\in {X}^{2}$. By (3.12), we have By hypothesis, there exists $V\in {X}^{2}$ such that $T\left(V\right)$ is comparable to $T\left(\overline{Y}\right)$ and to $T\left({Y}^{\ast }\right)$. Hence, there is no doubt that all conditions of Theorem 3.11 are satisfied ($k=2$). Therefore, there exists a unique point $\overline{Z}=\left(\overline{z},\overline{w}\right)\in {X}^{2}$ such that $\overline{Z}=G\left(\overline{Z}\right)=T\left(\overline{Z}\right)$. That is, $\overline{z}=g\left(\overline{z}\right)=F\left(\overline{z},\overline{w}\right)$ and $\overline{w}=g\left(\overline{w}\right)=F\left(\overline{w},\overline{z}\right)$. □

By the similar argument as we did in the proof of Corollary 3.12, we deduce the following corollary from Theorem 3.11 ($k=3$).

Corollary 3.13 In addition to the hypothesis of Corollary  3.9, suppose that for all $\left(x,y,z\right)$ and $\left(u,v,r\right)$ in ${X}^{3}$, there exists $\left(a,b,c\right)$ in ${X}^{3}$ such that $\left(F\left(a,b,c\right),F\left(b,a,b\right),F\left(c,b,a\right)\right)$ is comparable to $\left(F\left(x,y,z\right),F\left(y,x,y\right),F\left(z,y,x\right)\right)$ and $\left(F\left(u,v,r\right),F\left(v,u,v\right),F\left(r,v,u\right)\right)$. Also, assume that φ is non-decreasing. Let g commute with F if the assumption (b) holds. Then F and g have a unique tripled common fixed point $\left(x,y,z\right)$, that is,

$x=g\left(x\right)=F\left(x,y,z\right),\phantom{\rule{2em}{0ex}}y=g\left(y\right)=F\left(y,x,y\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}z=g\left(z\right)=F\left(z,y,x\right).$

## Author’s contributions

SW completed the paper herself. The author read and approved the final manuscript.

## References

1. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132(5):1435–1443. 10.1090/S0002-9939-03-07220-4

2. Nieto JJ, Rodriguez-Lopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22(3):223–239. 10.1007/s11083-005-9018-5

3. Nieto JJ, Rodriguez-Lopez R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser. 2007, 23(12):2205–2212. 10.1007/s10114-005-0769-0

4. Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017

5. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 1–8. 10.1080/00036810701714164

6. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 4889–4897. 10.1016/j.na.2011.03.032

7. Berinde V: Coupled coincidence point theorems for mixed point monotone nonlinear operators. Comput. Math. Appl. 2012, 64: 1770–1777. 10.1016/j.camwa.2012.02.012

8. 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.020

9. 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.055

10. Borcut M, Berinde V: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218(10):5929–5936. 10.1016/j.amc.2011.11.049

11. Abbas M, Khan MA, Radenović S: Common coupled fixed point theorems in cone metric space for ω -compatible mappings. Appl. Math. Comput. 2010, 217: 195–203. 10.1016/j.amc.2010.05.042

12. Aydi H, Karapınar E, Postolache M: Tripled coincidence theorems for weak φ -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 44. doi:10.1186/1687–1812–2012–44

13. Aydi H, Karapınar E: Tripled fixed points in ordered metric spaces. Bull. Math. Anal. Appl. 2012, 4(1):197–207.

14. Aydi H, Karapınar E, Radenovic S: Tripled coincidence fixed point results for Boyd-Wong and Matkowski type contractions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2012. doi:10.1007/s13398–012–0077–3

15. Aydi H, Vetro C, Karapınar E: Meir-Keeler type contractions for tripled fixed points. Acta Math. Sci. 2012, 32(6):2119–2130.

16. Aydi H, Karapınar E: New Meir-Keeler type tripled fixed point theorems on ordered partial metric spaces. Math. Probl. Eng. 2012., 2012: Article ID 409872

17. Aydi H, Karapınar E, Shatnawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012., 2012: Article ID 314279

18. Borcut M: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 7339–7346. 10.1016/j.amc.2012.01.030

19. 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.025

20. Samet B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric space. Nonlinear Anal. 2010, 74(12):4508–4517.

21. Shatanawi W: Partially ordered cone metric spaces and couple fixed point results. Comput. Math. Appl. 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074

22. Roldan A, Martinez-Moreno J, Roldan C: Tripled fixed point theorem in fuzzy metric spaces and applications. Fixed Point Theory Appl. 2013., 2013: Article ID 29. doi:10.1186/1687–1812–2013–29

23. Karapınar E: Coupled fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59(12):3656–3668. 10.1016/j.camwa.2010.03.062

24. Karapınar, E: Quartet fixed point for nonlinear contraction. http://arxiv.org/abs/1106.5472

25. Karapınar E: Quadruple fixed point theorems for weak ϕ -contractions. ISRN Math. Anal. 2011., 2011: Article ID 989423

26. Karapınar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 2012, 6: 74–89.

27. Karapınar E: A new quartet fixed point theorem for nonlinear contractions. JP J. Fixed Point Theory Appl. 2011, 6: 119–135.

28. Berzig M, Samet B: An extension of coupled fixed point’s concept in higher dimension and applications. Comput. Math. Appl. 2012, 63(8):1319–1334. 10.1016/j.camwa.2012.01.018

29. Roldan A, Martinez-Moreno J, Roldan C: Multidimensional fixed point theorems in partially ordered metric spaces. J. Math. Anal. Appl. 2012, 396: 536–545. 10.1016/j.jmaa.2012.06.049

## Acknowledgements

The author thanks the editor and the referees for their useful comments and suggestions. This study was supported by the Natural Science Foundation of Yancheng Teachers University under Grant (12YCKL001) and UNSF of Jiangsu province, China (09KJD110005).

## Author information

Authors

### Corresponding author

Correspondence to Shuang Wang.

### Competing interests

The author declares that she has no competing interests.

## Rights and permissions

Reprints and Permissions

Wang, S. Coincidence point theorems for G-isotone mappings in partially ordered metric spaces. Fixed Point Theory Appl 2013, 96 (2013). https://doi.org/10.1186/1687-1812-2013-96

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2013-96

### Keywords

• G-isotone mapping
• coincidence point
• common fixed point
• partially ordered metric space 