# Coupled common fixed point theorems for a pair of commuting mappings in partially ordered *G*-metric spaces

- Feng Gu
^{1}Email author and - Shuhang Zhou
^{1}

**2013**:64

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

© Gu and Zhou; licensee Springer 2013

**Received: **7 November 2012

**Accepted: **26 February 2013

**Published: **20 March 2013

## Abstract

In this paper, we introduce a new contractive condition for a pair of commuting mappings in partially ordered *G*-metric spaces. Some new coupled coincidence point and coupled common fixed point theorems are obtained. An example is given to support the usability of our results. The results presented in this paper generalize and improve the corresponding results of Nashine and Shatanawi from partially ordered metric spaces to partially ordered *G*-metric spaces.

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

### Keywords

*G*-metric space mixed

*g*-monotone property coupled coincidence point coupled common fixed point partial order

## 1 Introduction and preliminaries

In 2004, Ran and Reurings [1] showed the existence of fixed points of nonlinear contraction mappings in metric spaces endowed with a partial ordering and presented applications of their results to matrix equations. Subsequently, Nieto and Rodríguez-López [2, 3] extended the corresponding results in [1]. They proved the existence theorems of a unique fixed point for mappings in partially ordered sets and gave some applications to the existence of a unique solution for a first-order ordinary differential equation with periodic boundary conditions.

In 2005, the well-known Tarski theorem [4] was used in [5] to study the existence of solutions for fuzzy equations and to prove existence theorems for fuzzy differential equations.

It is well known that fixed point theory in partially ordered metric spaces as one of the most important tools of nonlinear analysis has been widely applied to matrix equations (for more details, see [1] and the references therein), ordinary differential equations (for more details, see [2, 3, 6] and [7] and the references therein), fuzzy differential equations (for more details, see [5] and the references therein), integral equations (for more details, see [8] and [9] and the references therein) and intermediate value theorems (for more details, see [10] and the references therein). For more results on partially ordered metric spaces, one refers to the results in [11–21].

In 2006, Bhaskar and Lakshmikantham [22] introduced the notion of a coupled fixed point and proved some interesting coupled fixed point theorems for the mappings satisfying a mixed monotone property; while Lakshmikantham and Ćirić [23] introduced the concept of a mixed *g*-monotone mapping and proved coupled coincidence and coupled common fixed point theorems that extended the theorems due to Bhaskar and Lakshmikantham [22]. Subsequently, many authors obtained many coupled coincidence and coupled fixed point theorems in ordered metric spaces; see [24–29] and the references therein.

In 2006, Mustafa and Sims [30] introduced the notion of generalized metric spaces or simply *G*-metric spaces as a generalization of the concept of a metric space. Based on the concept of a *G*-metric space, many authors obtained many fixed point and common fixed point theorems for the mappings satisfying different contractive conditions; see [31–42] for more details. Fixed point problems also have been considered in partially ordered *G*-metric spaces; see [43–55] and the references therein for more details.

Inspired and motivated by the facts said above, in this paper we establish coupled coincidence point and coupled common fixed point theorems for a pair of commuting mappings in partially ordered *G*-metric spaces. An example is given to support the usability of our results. The results presented in this paper generalize and improve the corresponding results of Nashine and Shatanawi [29] from partially ordered metric spaces to partially ordered *G*-metric spaces.

First, we present some known definitions and propositions.

**Definition 1.1** [30]

*X*be a nonempty set, and let $G:X\times X\times X\u27f6{R}^{+}$ be a function satisfying the following axioms:

- (G1)
$G(x,y,z)=0$ if $x=y=z$;

- (G2)
$0<G(x,x,y)$ for all $x,y\in X$ with $x\ne y$;

- (G3)
$G(x,x,y)\le G(x,y,z)$ for all $x,y,z\in X$ with

*z*≠ y; - (G4)
$G(x,y,z)=G(x,z,y)=G(y,z,x)=\cdots $ (symmetry in all three variables);

- (G5)
$G(x,y,z)\le G(x,a,a)+G(a,y,z)$ for all $x,y,z,a\in X$ (rectangle inequality).

Then the function *G* is called a generalized metric or, more specifically, a *G*-metric on *X* and the pair $(X,G)$ is called a *G*-metric space.

It is known that the function $G(x,y,z)$ on a *G*-metric space *X* is jointly continuous in all three of its variables, and $G(x,y,z)=0$ if and only if $x=y=z$; see [30] and the references therein for more details.

**Definition 1.2** [30]

Let $(X,G)$ be a *G*-metric space, and let $\{{x}_{n}\}$ be a sequence of points in *X*. A point *x* in *X* is said to be the limit of the sequence $\{{x}_{n}\}$ if ${lim}_{m,n\to \mathrm{\infty}}G(x,{x}_{n},{x}_{m})=0$, and one says that the sequence $\{{x}_{n}\}$ is *G*-convergent to *x*.

Thus, if ${x}_{n}\to x$ in a *G*-metric space $(X,G)$, then for any $\u03f5>0$, there exists $N\in \mathbb{N}$ such that $G(x,{x}_{n},{x}_{m})<\u03f5$ for all $n,m\ge N$.

**Proposition 1.1** [30]

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
$\{{x}_{n}\}$

*is**G*-*convergent to**x*; - (2)
$G({x}_{n},{x}_{n},x)\to 0$

*as*$n\to \mathrm{\infty}$; - (3)
$G({x}_{n},x,x)\to 0$

*as*$n\to \mathrm{\infty}$; - (4)
$G({x}_{n},{x}_{m},x)\to 0$

*as*$n,m\to \mathrm{\infty}$.

**Definition 1.3** [30]

Let $(X,G)$ be a *G*-metric space. A sequence $\{{x}_{n}\}$ is called a *G*-Cauchy sequence if, for each $\u03f5>0$, there exists a positive integer $N\in \mathbb{N}$ such that $G({x}_{n},{x}_{m},{x}_{l})<\u03f5$ for all $n,m,l\ge N$; that is, $G({x}_{n},{x}_{m},{x}_{l})\to 0$ as $n,m,l\to \mathrm{\infty}$.

**Definition 1.4** [30]

A *G*-metric space $(X,G)$ is said to be *G*-complete if every *G*-Cauchy sequence in $(X,G)$ is *G*-convergent in *X*.

**Proposition 1.2** [30]

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
*The sequence*$\{{x}_{n}\}$*is**G*-*Cauchy*; - (2)
*For every*$\u03f5>0$,*there exists*$k\in \mathbb{N}$*such that*$G({x}_{n},{x}_{m},{x}_{m})<\u03f5$*for all*$n,m\ge k$.

**Definition 1.5** [30]

Let $(X,G)$ and $({X}^{\mathrm{\prime}},{G}^{\mathrm{\prime}})$ be two *G*-metric spaces. Then $f:X\to {X}^{\mathrm{\prime}}$ is *G*-continuous at $x\in X$ if and only if it is *G*-sequentially continuous at *x*; that is, whenever $\{{x}_{n}\}$ is *G*-convergent to *x*, $\{f({x}_{n})\}$ is *G*-convergent to $f(x)$.

**Proposition 1.3** [30]

*Let* $(X,G)$ *be a* *G*-*metric space*. *Then*, *for any* $x,y\in X$, *we have* $G(x,y,y)\le 2G(y,x,x)$.

**Definition 1.6** [43]

Let $(X,G)$ be a *G*-metric space. A mapping $F:X\times X\to X$ is said to be continuous if for any two *G*-convergent sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ converging to *x* and *y* respectively, $\{F({x}_{n},{y}_{n})\}$ is *G*-convergent to $F(x,y)$.

**Definition 1.7** [22]

An element $(x,y)\in X\times X$ is called a coupled fixed point of the mapping $F:X\times X\to X$ if $F(x,y)=x$ and $F(y,x)=y$.

**Definition 1.8** [23]

An element $(x,y)\in X\times X$ is called a coupled coincidence point of the mappings $F:X\times X\to X$ and $g:X\to X$ if $F(x,y)=gx$ and $F(y,x)=gy$.

**Definition 1.9** [23]

Let *X* be a nonempty set. Then we say that the mappings $F:X\times X\to X$ and $g:X\to X$ are commutative if $gF(x,y)=F(gx,gy)$.

**Definition 1.10** [22]

*F*is said to have the mixed monotone property if $F(x,y)$ is monotone non-decreasing in

*x*and is monotone non-increasing in

*y*; that is, for any $x,y\in X$, we have

**Definition 1.11** [23]

*F*is said to have 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$, we have

## 2 Main results

**Theorem 2.1**

*Let*$(X,\u2aaf)$

*be a partially ordered set and*$(X,G)$

*be a*

*G*-

*metric space*.

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

*and*$g:X\to X$

*be mappings such that*

*F*

*has the mixed*

*g*-

*monotone property on*

*X*.

*Suppose there exist non*-

*negative real numbers*

*α*,

*β*,

*γ*

*and*

*L*

*with*$\beta +\gamma <1$

*such that*

*for all*$(x,y),(u,v),(w,z)\in X\times X$

*with*$g(x)\u2aafg(u)\u2aafg(w)$

*and*$g(y)\u2ab0g(v)\u2ab0g(z)$.

*Further suppose*$F(X\times X)\subset g(X)$

*and*$g(X)$

*is a complete subspace of*

*X*.

*Also suppose that*

*X*

*satisfies the following properties*:

- (i)
*if a non*-*decreasing sequence*$\{{x}_{n}\}$*in**X**converges to*$x\in X$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$; - (ii)
*if a non*-*increasing sequence*$\{{y}_{n}\}$*in**X**converges to*$y\in X$,*then*${y}_{n}\u2ab0y$*for all*$n\in \mathbb{N}$.

*If there exist two elements* ${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})$, *then* *F* *and* *g* *have a coupled coincidence point*. *That is*, *there exists* $(x,y)\in X\times X$ *such that* $F(x,y)=g(x)$ *and* $F(y,x)=g(y)$.

*Proof*In view of the condition of the theorem, we see that 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})$. Since $F(X\times X)\subset g(X)$, we can choose ${x}_{1},{y}_{1}\in X$ such that $g({x}_{1})=F({x}_{0},{y}_{0})$ and $g({y}_{1})=F({y}_{0},{x}_{0})$. Again since $F(X\times X)\subset g(X)$, we can choose ${x}_{2},{y}_{2}\in X$ such that $g({x}_{2})=F({x}_{1},{y}_{1})$ and $g({y}_{2})=F({y}_{1},{x}_{1})$. Continuing in this way, we construct two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

*F*has the mixed

*g*-monotone property, $g({x}_{n})\u2aafg({x}_{n+1})$ and $g({y}_{n})\u2ab0g({y}_{n+1})$, from (2.2) we get that

By combining (2.4) and (2.5), we obtain $g({x}_{n+1})\u2aafg({x}_{n+2})$ and $g({y}_{n+1})\u2ab0g({y}_{n+2})$. Thus, by the mathematical induction, we conclude that (2.3) hold for all $n\ge 0$.

Next, we will prove that $\{g{x}_{n}\}$ and $\{g{y}_{n}\}$ are *G*-Cauchy sequences in $g(X)$.

This implies that $\{g{x}_{n}\}$ and $\{g{y}_{n}\}$ are *G*-Cauchy sequences in $g(X)$. Since $g(X)$ is a complete subspace of *X*, there exist $x,y\in X$ such that $g{x}_{n}\to gx$ and $g{y}_{n}\to gy$ as $n\to \mathrm{\infty}$. Since $\{g{x}_{n}\}$ is a non-decreasing sequence and $\{g{y}_{n}\}$ is a non-increasing sequence, by the assumption conditions (i) and (ii), we have $g{x}_{n}\u2aafgx$ and $g{y}_{n}\u2ab0gy$ for all $n\ge 0$.

Taking the limit as $n\to \mathrm{\infty}$ in the above inequality, we obtain $G(gx,F(x,y),F(x,y))\le 0$. Hence $G(gx,F(x,y),F(x,y))=0$, and so $gx=F(x,y)$.

Similarly, one can show that $gy=F(y,x)$. Thus we proved that *F* and *g* have a coupled coincidence point. This concludes the proof. □

**Theorem 2.2**

*Let*$(X,\u2aaf)$

*be a partially ordered set and*$(X,G)$

*be a complete*

*G*-

*metric space*.

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

*and*$g:X\to X$

*be mappings such that*

*F*

*has the mixed*

*g*-

*monotone property on*

*X*.

*Suppose there exist non*-

*negative real numbers*

*α*,

*β*,

*γ*

*and*

*L*

*with*$\beta +\gamma <1$

*such that*

*for all*$(x,y),(u,v),(w,z)\in X\times X$

*with*$g(x)\u2aafg(u)\u2aafg(w)$

*and*$g(y)\u2ab0g(v)\u2ab0g(z)$.

*Further suppose*$F(X\times X)\subset g(X)$

*and*

*g*

*is continuous non*-

*decreasing and commutes with*

*F*,

*and also suppose either*

- (a)
*F**is continuous or* - (b)
*X**has the following property*:- (i)
*if a non*-*decreasing sequence*$\{{x}_{n}\}$*in**X**converges to*$x\in X$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$; - (ii)
*if a non*-*increasing sequence*$\{{y}_{n}\}$*in**X**converges to*$y\in X$,*then*${y}_{n}\u2ab0y$*for all*$n\in \mathbb{N}$.

- (i)

*If there exist two elements* ${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})$, *then* *F* *and* *g* *have a coupled coincidence point*. *That is*, *there exists* $(x,y)\in X\times X$ *such that* $F(x,y)=g(x)$ *and* $F(y,x)=g(y)$.

*Proof* Following the proof of Theorem 2.1, we will get two *G*-Cauchy sequences $\{g{x}_{n}\}$ and $\{g{y}_{n}\}$ in *X* such that $\{g{x}_{n}\}$ is a non-decreasing sequence and $\{g{y}_{n}\}$ is a non-increasing sequence in *X*. Since $(X,G)$ is a complete *G*-metric space, there is $(x,y)\in X\times X$ such that $g{x}_{n}\to x$ and $g{y}_{n}\to y$.

Since *g* is continuous, we have $gg{x}_{n}\to gx$ and $gg{y}_{n}\to gy$ as $n\to \mathrm{\infty}$.

*F*is continuous. Then

*g*commutes with

*F*, we have

Therefore, by the uniqueness of limit, we get $gx=F(x,y)$ and $gy=F(y,x)$.

Second, suppose that (b) holds. Since $\{g{x}_{n}\}$ is a non-decreasing sequence such that $g{x}_{n}\to x$, $\{g{y}_{n}\}$ is a non-increasing sequence such that $g{y}_{n}\to y$ and *g* is a non-decreasing function, by (i) and (ii) we get that $g(g{x}_{n})\u2aafg(x)$ and $g(g{y}_{n})\ge g(y)$ hold for all $n\in \mathbb{N}$.

Letting $n\to \mathrm{\infty}$, we get $G(gx,F(x,y),F(x,y))\le 0$, which implies that $G(gx,F(x,y),F(x,y))=0$, so that $gx=F(x,y)$.

Similarly, we can show that $gy=F(y,x)$. Thus we proved that *F* and *g* have a coupled coincidence point. □

**Remark 2.1** Theorems 2.1 and 2.2 generalize and extend the corresponding results in [[29], Theorems 2.1 and 2.2] from partially ordered metric spaces to partially ordered *G*-metric spaces.

In Theorem 2.2, if we take $g=I$ (*I* is an identity mapping), then we have the following corollary.

**Corollary 2.1**

*Let*$(X,\u2aaf)$

*be a partially ordered set and*$(X,G)$

*be a complete*

*G*-

*metric space*.

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

*be a mapping such that*

*F*

*has the mixed monotone property on*

*X*.

*Suppose there exist non*-

*negative real numbers*

*α*,

*β*,

*γ*

*and*

*L*

*with*$\beta +\gamma <1$

*such that*

*for all*$(x,y),(u,v),(w,z)\in X\times X$

*with*$x\u2aafu\u2aafw$

*and*$y\u2ab0v\u2ab0z$,

*and also suppose either*

- (a)
*F**is continuous or* - (b)
*X**has the following property*:- (i)
*if a non*-*decreasing sequence*$\{{x}_{n}\}$*in**X**converges to*$x\in X$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$; - (ii)
*if a non*-*increasing sequence*$\{{y}_{n}\}$*in**X**converges to*$y\in X$,*then*${y}_{n}\u2ab0y$*for all*$n\in \mathbb{N}$.

- (i)

*If there exist two elements* ${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})$, *then* *F* *and* *g* *have a coupled fixed point*. *That is*, *there exists* $(x,y)\in X\times X$ *such that* $F(x,y)=x$ *and* $F(y,x)=y$.

Also, if we take $\alpha =\beta =\gamma =0$ in Theorem 2.2, then we get the following.

**Corollary 2.2**

*Let*$(X,\u2aaf)$

*be a partially ordered set and*$(X,G)$

*be a complete*

*G*-

*metric space*.

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

*and*$g:X\to X$

*be mappings such that*

*F*

*has the mixed*

*g*-

*monotone property on*

*X*.

*Suppose there exists a non*-

*negative real number*

*L*

*such that*

*for all*$(x,y),(u,v),(w,z)\in X\times X$

*with*$g(x)\u2aafg(u)\u2aafg(w)$

*and*$g(y)\u2ab0g(v)\u2ab0g(z)$.

*Further suppose*$F(X\times X)\subset g(X)$

*and*

*g*

*is continuous non*-

*decreasing and commutes with*

*F*,

*and also suppose either*

- (a)
*F**is continuous or* - (b)
*X**has the following property*:- (i)
*if a non*-*decreasing sequence*$\{{x}_{n}\}$*in**X**converges to*$x\in X$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$; - (ii)
*if a non*-*increasing sequence*$\{{y}_{n}\}$*in**X**converges to*$y\in X$,*then*${y}_{n}\u2ab0y$*for all*$n\in \mathbb{N}$.

- (i)

*If there exist two elements* ${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})$, *then* *F* *and* *g* *have a coupled coincidence point*. *That is*, *there exists* $(x,y)\in X\times X$ *such that* $F(x,y)=g(x)$ *and* $F(y,x)=g(y)$.

**Corollary 2.3**

*Let*$(X,\u2aaf)$

*be a partially ordered set and*$(X,G)$

*be a complete*

*G*-

*metric space*.

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

*and*$g:X\to X$

*be mappings such that*

*F*

*has the mixed*

*g*-

*monotone property on*

*X*.

*Suppose there exist non*-

*negative real numbers*

*α*,

*β*,

*γ*

*and*

*L*

*with*$\beta +\gamma <1$

*such that*

*for all*$(x,y),(u,v),(w,z)\in X\times X$

*with*$g(x)\u2aafg(u)\u2aafg(w)$

*and*$g(y)\u2ab0g(v)\u2ab0g(z)$.

*Further suppose*$F(X\times X)\subset g(X)$

*and*

*g*

*is continuous non*-

*decreasing and commutes with*

*F*,

*and also suppose either*

- (a)
*F**is continuous or* - (b)
*X**has the following property*:- (i)
*if a non*-*decreasing sequence*$\{{x}_{n}\}$*in**X**converges to*$x\in X$,*then*${x}_{n}\u2aafx$*for all*$n\in \mathbb{N}$; - (ii)
*if a non*-*increasing sequence*$\{{y}_{n}\}$*in**X**converges to*$y\in X$,*then*${y}_{n}\u2ab0y$*for all*$n\in \mathbb{N}$.

- (i)

*If there exist two elements* ${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})$, *then* *F* *and* *g* *have a coupled coincidence point*. *That is*, *there exists* $(x,y)\in X\times X$ *such that* $F(x,y)=g(x)$ *and* $F(y,x)=g(y)$.

From Theorem 2.2, we see that *F* and *g* have a coupled coincidence point $(x,y)\in X\times X$; that is, $F(x,y)=gx$ and $F(y,x)=gy$. □

**Remark 2.2** Corollaries 2.1, 2.2 and 2.3 generalize and extend the corresponding results in [[29], Corollaries 2.1, 2.2 and 2.3] from partially ordered metric spaces to partially ordered *G*-metric spaces.

**Theorem 2.3** *In addition to the hypotheses of Theorem * 2.1, *suppose that* $L=0$ *and for every* $(x,y),({y}^{\ast},{x}^{\ast})\in X\times X$, *there exists a* $(u,v)\in X\times X$ *such that* $(F(u,v),F(v,u))$ *is comparable to* $(F(x,y),F(y,x))$ *and* $(F({x}^{\ast},{y}^{\ast}),F({y}^{\ast},{x}^{\ast}))$. *Then* *F* *and* *g* *have a unique coupled common fixed point*; *that is*, *there exists a unique* $(x,y)\in X\times X$ *such that* $x=gx=F(x,y)$ *and* $y=gy=F(y,x)$.

*Proof*From Theorem 2.1, the set of coupled coincidence points of

*F*and

*g*is nonempty. Suppose $(x,y)$ and $({x}^{\ast},{y}^{\ast})$ are coupled coincidence points of

*F*and

*g*, that is, $gx=F(x,y)$, $gy=F(y,x)$, $g{x}^{\ast}=F({x}^{\ast},{y}^{\ast})$ and $g{y}^{\ast}=F({y}^{\ast},{x}^{\ast})$, then

It implies that $g(x)=g({x}^{\ast})$ and $g(y)=g({y}^{\ast})$. Thus we have (2.20) holds. This implies that $(g(x),g(y))=(g({x}^{\ast}),g({y}^{\ast}))$.

*F*and

*g*, we have

*F*and

*g*. Then from (2.25) with ${x}^{\ast}=z$ and ${y}^{\ast}=w$ it follows $g(z)=g(x)$ and $g(w)=g(y)$, that is,

Therefore, $(z,w)$ is a coupled common fixed point of *F* and *g*. To prove the uniqueness, assume that $(p,q)$ is another coupled common fixed point, then by (2.25) we have $p=g(p)=g(z)=z$ and $q=g(q)=g(w)=w$. This completes the proof of Theorem 2.3. □

In Theorem 2.3, if we take $g=I$ (*I* is an identity mapping), then we have the following corollary.

**Corollary 2.4** *In addition to the hypotheses of Corollary * 2.1, *suppose that* $L=0$, *and for every* $(x,y),({y}^{\ast},{x}^{\ast})\in X\times X$, *there exists a* $(u,v)\in X\times X$ *such that* $(F(u,v),F(v,u))$ *is comparable to* $(F(x,y),F(y,x))$ *and* $(F({x}^{\ast},{y}^{\ast}),F({y}^{\ast},{x}^{\ast}))$. *Then* *F* *has a unique coupled fixed point*; *that is*, *there exists a unique* $(x,y)\in X\times X$ *such that* $x=F(x,y)$ *and* $y=F(y,x)$.

**Theorem 2.4** *In addition to the hypotheses of Theorem * 2.1, *if* $g{x}_{0}$ *and* $g{y}_{0}$ *are comparable and* $L=0$, *then* *F* *and* *g* *have a coupled coincidence point* $(x,y)$ *such that* $gx=F(x,y)=F(y,x)=gy$.

*Proof*By Theorem 2.1 we construct two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that $g{x}_{n}\to gx$ and $g{y}_{n}\to gy$, where $(x,y)$ is a coincidence point of

*F*and

*g*. Suppose $g{x}_{0}\u2aafg{y}_{0}$, then it is an easy matter to show that $g{x}_{n}\u2aafg{y}_{n}$ for all $n\in \mathbb{N}$. Thus, by (2.1) we have

By taking the limit as $n\to \mathrm{\infty}$, we get $G(gx,gy,gy)=0$. Hence $F(x,y)=gx=gy=F(y,x)$.

A similar argument can be used if $g{y}_{0}\u2aafg{x}_{0}$. This completes the proof of Theorem 2.4. □

In Theorem 2.4, if we take $g=I$ (*I* is an identity mapping), then we have the following corollary.

**Corollary 2.5** *In addition to the hypotheses of Theorem * 2.1, *if* ${x}_{0}$ *and* ${y}_{0}$ *are comparable and* $L=0$, *then* *F* *has a coupled coincidence point of the form* $(x,x)$.

**Remark 2.3** Theorems 2.3 and 2.4 generalize and extend the corresponding results in [[29], Theorems 2.3 and 2.4] from partially ordered metric spaces to partially ordered *G*-metric spaces.

**Remark 2.4** Corollaries 2.4 and 2.5 generalize and extend the corresponding results in [[29], Corollaries 2.4 and 2.5] from partially ordered metric spaces to partially ordered *G*-metric spaces.

Now, we introduce an example to support Theorem 2.1.

**Example 2.1**Let $X=[0,1]$, then $(X,\le )$ is a partially ordered set with a natural ordering of real numbers. Let $G(x,y,z)=|x-y|+|y-z|+|z-x|$ for all $x,y,z\in X$. Set

*F*and

*g*as

- (1)
$(X,G)$ is a complete

*G*-metric space; - (2)
$g(X)=X$ is complete;

- (3)
$F(X\times X)\subset g(X)=X$;

- (4)
*X*satisfies (i) and (ii) of Theorem 2.1; - (5)
*F*has the mixed*g*-monotone property; - (6)

for all $(x,y),(u,v),(w,z)\in X\times X$ with $gx\le gu\le gw$ and $gy\ge gv\ge gz$. Thus by Theorem 2.1, *F* and *g* have a coupled coincidence point. Moreover, $(0,0)$ is a coupled fixed point of *F*.

*Proof* The proofs of (1)-(5) are clear. The proof of (6) is divided into the following cases.

Case 2. $x<y$. We divide the study in two sub-cases:

In all the above cases, inequality (2.1) of Theorem 2.1 is satisfied for $\alpha =\beta =\gamma =\frac{1}{8}$ and any $L\ge 0$. All the required hypotheses of Theorem 2.1 are satisfied. Clearly, *F* and *g* have a coupled coincidence point. Moreover, $(0,0)$ is a coupled fixed point of *F*. □

## Declarations

### Acknowledgements

The authors are grateful to the editor and the reviewer for suggestions which improved the contents of the article. This work is supported by the National Natural Science Foundation of China (11071169, 11271105) and the Natural Science Foundation of Zhejiang Province (Y6110287, LY12A01030).

## Authors’ Affiliations

## References

- 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-4MathSciNetView ArticleMATHGoogle 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. doi:10.1007/s11083–005–90185–5 10.1007/s11083-005-9018-5MathSciNetView ArticleMATHGoogle Scholar - Nieto JJ, Rodríguez-López 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-0MathSciNetView ArticleMATHGoogle Scholar - Tarski A: A lattice-theoretical fixpoint theorem and its applications.
*Pac. J. Math.*1955, 5(2):285–309. 10.2140/pjm.1955.5.285MathSciNetView ArticleMATHGoogle Scholar - Nieto JJ, Rodríguez-López R: Existence of extremal solutions for quadratic fuzzy equations.
*Fixed Point Theory Appl.*2005, 2005(3):321–342.View ArticleMathSciNetMATHGoogle Scholar - Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations.
*Nonlinear Anal.*2010, 72(5):2238–2242. 10.1016/j.na.2009.10.023MathSciNetView ArticleMATHGoogle Scholar - Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations.
*Nonlinear Anal.*2010, 72(3–4):1188–1197. 10.1016/j.na.2009.08.003MathSciNetView ArticleMATHGoogle Scholar - Nashine HK, Samet B, Vetro C: Fixed point theorems in partially ordered metric spaces and existence results for integral equations.
*Numer. Funct. Anal. Optim.*2012, 33(11):1304–1320. doi:10.1080/01630563.2012.675395 10.1080/01630563.2012.675395MathSciNetView ArticleMATHGoogle Scholar - Harjani J, Sadarangani K: Fixed point theorems for monotone generalized contractions in partially ordered metric spaces and applications to integral equations.
*J. Convex Anal.*2012, 19(3):853–864.MathSciNetMATHGoogle Scholar - Kostrykin V, Oleynik A: An intermediate value theorem for monotone operators in ordered Banach spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 211. doi:10.1186/1687–1812–2012–211Google Scholar - Chifu C, Petruşel G: Generalized contractions in metric spaces endowed with a graph.
*Fixed Point Theory Appl.*2012., 2012: Article ID 161. doi:10.1186/1687–1812–2012–161Google Scholar - Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces.
*Proc. Am. Math. Soc.*2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1View ArticleMathSciNetMATHGoogle Scholar - Amini-Harandi A: Metric-like spaces, partial metric spaces and fixed points.
*Fixed Point Theory Appl.*2012., 2012: Article ID 204. doi:10.1186/1687–1812–2012–204Google Scholar - Ali B, Abbas M: Suzuki type fixed point theorem for fuzzy mappings in ordered metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 9. doi:10.1186/1687–1812–2013–9Google Scholar - Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces.
*Appl. Anal.*2008, 87(1):109–116. 10.1080/00036810701556151MathSciNetView ArticleMATHGoogle Scholar - Ćirić LB, Cakic N, Rajovic M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces.
*Fixed Point Theory Appl.*2008., 2008: Article ID 131294Google Scholar - O’Regan D, Petrutel A: Fixed point theorems for generalized contractions in ordered metric spaces.
*J. Math. Anal. Appl.*2008, 341(2):1241–1252. 10.1016/j.jmaa.2007.11.026MathSciNetView ArticleMATHGoogle Scholar - Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application.
*Fixed Point Theory Appl.*2010., 2010: Article ID 621492Google Scholar - Nashine HK, Altun I: Fixed point theorems for generalized weakly contractive condition in ordered metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 132367Google Scholar - Nashine HK, Samet B: Fixed point results for mappings satisfying $(\psi ,\varphi )$-weakly contractive condition in partially ordered metric spaces.
*Nonlinear Anal.*2011, 74: 2201–2209. 10.1016/j.na.2010.11.024MathSciNetView ArticleMATHGoogle Scholar - Nashine HK, Samet B, Vetro C: Monotone generalized nonlinear contractions and fixed point theorems in ordered metric spaces.
*Math. Comput. Model.*2011, 54: 712–720. 10.1016/j.mcm.2011.03.014MathSciNetView ArticleMATHGoogle Scholar - Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications.
*Nonlinear Anal.*2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleMATHGoogle Scholar - Lakshmikanthama V, Ćirić LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.
*Nonlinear Anal.*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleMATHGoogle Scholar - Samet B, Vetro C: Coupled fixed point,
*F*-invariant set and fixed point of*N*-order.*Ann. Funct. Anal.*2010, 1(2):46–56.MathSciNetView ArticleMATHGoogle Scholar - Samet B, Vetro C: Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces.
*Nonlinear Anal.*2011, 74(12):4260–4268. 10.1016/j.na.2011.04.007MathSciNetView ArticleMATHGoogle Scholar - Aydi H, Samet B, Vetro C: Coupled fixed point results in cone metric spaces for compatible mappings.
*Fixed Point Theory Appl.*2011., 2011: Article ID 15. doi:10.1186/1687–1812–2011–27Google Scholar - Nashine HK, Samet B, Vetro C: Coupled coincidence points for compatible mappings satisfying mixed monotone property.
*J. Nonlinear Sci. Appl.*2012, 5(2):104–114.MathSciNetMATHGoogle Scholar - Samet B: Coupled fixed point theorems for s generalized Meir-Keeler contraction in partially ordered metric spaces.
*Nonlinear Anal.*2010, 72: 4508–4517. 10.1016/j.na.2010.02.026MathSciNetView ArticleMATHGoogle Scholar - Nashine HK, Shatanawi W: Coupled common fixed point theorems for a pair commuting mappings in partially ordered complete metric spaces.
*Comput. Math. Appl.*2011, 62: 1984–1993. 10.1016/j.camwa.2011.06.042MathSciNetView ArticleMATHGoogle Scholar - Mustafa Z, Sims B: A new approach to a generalized metric space.
*J. Nonlinear Convex Anal.*2006, 7(2):289–297.MathSciNetMATHGoogle Scholar - Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorems for mappings on complete
*G*-metric space.*Fixed Point Theory Appl.*2008., 2008: Article ID 189870Google Scholar - Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete
*G*-metric spaces.*Fixed Point Theory Appl.*2009., 2009: Article ID 917175Google Scholar - Abbas M, Rhoades BE: Common fixed point results for noncommuting mappings without continuity in generalized metric spaces.
*Appl. Math. Comput.*2009, 215: 262–269. 10.1016/j.amc.2009.04.085MathSciNetView ArticleMATHGoogle Scholar - Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in
*G*-metric spaces.*Fixed Point Theory Appl.*2010., 2010: Article ID 181650Google Scholar - Abbas N, Nazir T, Radenović S: Some periodic point results in generalized metric spaces.
*Appl. Math. Comput.*2010, 217: 4094–4099. 10.1016/j.amc.2010.10.026MathSciNetView ArticleMATHGoogle Scholar - Chugh R, Kadian T, Rani A, Rhoades BE: Property
*P*in*G*-metric spaces.*Fixed Point Theory Appl.*2010., 2010: Article ID 401684Google Scholar - Abbas M, Nazir T, Saadati R: Common fixed point results for three maps in generalized metric space.
*Adv. Differ. Equ.*2011, 49: 1–20.MathSciNetMATHGoogle Scholar - Aydi H, Shatanawi W, Vetro C: On generalized weakly
*G*-contraction mapping in*G*-metric spaces.*Comput. Math. Appl.*2011, 62: 4222–4229. 10.1016/j.camwa.2011.10.007MathSciNetView ArticleMATHGoogle Scholar - Abbas M, Khan SH, Nazir T: Common fixed points of
*R*-weakly commuting maps in generalized metric spaces.*Fixed Point Theory Appl.*2011., 2011: Article ID 784595Google Scholar - Ye H, Gu F: Common fixed point theorems for a class of twice power type contraction maps in
*G*-metric spaces.*Abstr. Appl. Anal.*2012., 2012: Article ID 736214Google Scholar - Gu F: Common fixed point theorems for six mappings in generalized metric spaces.
*Abstr. Appl. Anal.*2012., 2012: Article ID 379212Google Scholar - Gu F, Ye H: Common fixed point theorems of Altman integral type mappings in
*G*-metric spaces.*Abstr. Appl. Anal.*2012., 2012: Article ID 630457Google Scholar - Saadati R, Vaezpour SM, Vetro P, Rhoades BE: Fixed point theorems in generalized partially ordered
*G*-metric spaces.*Math. Comput. Model.*2010, 52(5–6):797–810. 10.1016/j.mcm.2010.05.009MathSciNetView ArticleMATHGoogle Scholar - Choudhury BS, Maity P: Coupled fixed point results in generalized partially ordered
*G*-metric spaces.*Math. Comput. Model.*2011, 54: 73–79. 10.1016/j.mcm.2011.01.036MathSciNetView ArticleMATHGoogle Scholar - Aydi H, Damjanović B, Samet B, Shatanawi W: Coupled fixed point theorems for nonlinear contractions in partially ordered
*G*-metric spaces.*Math. Comput. Model.*2011, 54(9–10):2443–2450. 10.1016/j.mcm.2011.05.059View ArticleMathSciNetMATHGoogle Scholar - Shatanawi W: Some fixed point theorems in ordered
*G*-metric spaces and applications.*Abstr. Appl. Anal.*2011., 2011: Article ID 126205. doi:10.1155/2011/126205Google Scholar - Luong NV, Thuan NX: Coupled fixed point theorems in partially ordered
*G*-metric spaces.*Math. Comput. Model.*2012, 55(3–4):1601–1609. 10.1016/j.mcm.2011.10.058MathSciNetView ArticleMATHGoogle Scholar - Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for $(\psi ,\phi )$ -weakly contractive mappings in ordered
*G*-metric spaces.*Comput. Math. Appl.*2012, 63(1):298–309. 10.1016/j.camwa.2011.11.022MathSciNetView ArticleMATHGoogle Scholar - Abbas M, Nazir T, Radenović S: Common fixed point of generalized weakly contractive maps in partially ordered
*G*-metric spaces.*Appl. Math. Comput.*2012, 218(18):9383–9395. 10.1016/j.amc.2012.03.022MathSciNetView ArticleMATHGoogle Scholar - Cho YJ, Rhoades BE, Saadati R, Samet B, Shatanawi W: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type.
*Fixed Point Theory Appl.*2012., 2012: Article ID 8. doi:10.1186/1687–1812–2012–8Google Scholar - Aydi H, Karapinar E, Shatanawi W: Tripled common fixed point results for generalized contractions in ordered generalized metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 101. doi:10.1186/1687–1812–2012–101Google Scholar - Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered
*G*-metric spaces.*Fixed Point Theory Appl.*2012., 2012: Article ID 31. doi:10.1186/1687–1812–2012–31Google Scholar - Nashine HK: Coupled common fixed point results in ordered
*G*-metric spaces.*J. Nonlinear Sci. Appl.*2012, 1: 1–13.MathSciNetView ArticleMATHGoogle Scholar - Mustafa Z, Aydi H, Karapmar E: Mixed
*g*-monotone property and quadruple fixed point theorems in partially ordered metric space.*Fixed Point Theory Appl.*2012., 2012: Article ID 71. doi:10.1186/1687–1812–2012–71Google Scholar - Shatanawi W, Abbas M, Aydi H, Tahat N: Common coupled coincidence and coupled fixed points in
*G*-metric spaces.*Nonlinear Anal. Appl.*2012., 2012: Article ID jnaa-00162. doi:10.5899/2012/jnaa-00162Google Scholar

## Copyright

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