# Some coincidence point results for generalized $\left(\psi ,\phi \right)$-weakly contractive mappings in ordered G-metric spaces

## Abstract

The aim of this paper is to present some coincidence point results for six mappings satisfying the generalized $\left(\psi ,\phi \right)$-weakly contractive condition in the framework of partially ordered G-metric spaces. To elucidate our results, we present two examples together with an application of a system of integral equations.

MSC:47H10, 54H25.

## 1 Introduction and mathematical preliminaries

Let $\left(X,d\right)$ be a metric space and f be a self-mapping on X. If $x=fx$ for some x in X, then x is called a fixed point of f. The set of all fixed points of f is denoted by $F\left(f\right)$. If $F\left(f\right)=\left\{z\right\}$, and for each ${x}_{0}$ in a complete metric space X, the sequence ${x}_{n+1}=f\left({x}_{n}\right)={f}^{n}\left({x}_{0}\right)$, $n=0,1,2,\dots$ , converges to z, then f is called a Picard operator.

The function $\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is called an altering distance function if φ is continuous and nondecreasing and $\phi \left(t\right)=0$ if and only if $t=0$ .

A self-mapping f on X is a weak contraction if the following contractive condition holds:

$d\left(fx,fy\right)\le d\left(x,y\right)-\phi \left(d\left(x,y\right)\right),$

for all $x,y\in X$, where φ is an altering distance function.

The concept of a weakly contractive mapping was introduced by Alber and Guerre-Delabrere  in the setup of Hilbert spaces. Rhoades  considered this class of mappings in the setup of metric spaces and proved that a weakly contractive mapping is a Picard operator.

Let f and g be two self-mappings on a nonempty set X. If $x=fx=gx$ for some x in X, then x is called a common fixed point of f and g. Sessa  defined the concept of weakly commutative maps to obtain common fixed point for a pair of maps. Jungck generalized this idea, first to compatible mappings  and then to weakly compatible mappings . There are examples which show that each of these generalizations of commutativity is a proper extension of the previous definition.

Zhang and Song  introduced the concept of a generalized φ-weak contractive mapping as follows.

Self-mappings f and g on a metric space X are called generalized φ-weak contractions if there exists a lower semicontinuous function $\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $\phi \left(0\right)=0$ and $\phi \left(t\right)>0$ for all $t>0$ such that for all $x,y\in X$,

$d\left(fx,gy\right)\le N\left(x,y\right)-\phi \left(N\left(x,y\right)\right),$

where

$N\left(x,y\right)=max\left\{d\left(x,y\right),d\left(x,fx\right),d\left(y,gy\right),\frac{1}{2}\left[d\left(x,gy\right)+d\left(y,fx\right)\right]\right\}.$

Based on the above definition, they proved the following common fixed point result.

Theorem 1.1 

Let $\left(X,d\right)$ be a complete metric space. If $f,g:X\to X$ are generalized φ-weak contractive mappings, then there exists a unique point $u\in X$ such that $u=fu=gu$.

For further works in this direction, we refer the reader to .

Recently, many researchers have focused on different contractive conditions in complete metric spaces endowed with a partial order and studied fixed point theory in the so-called bistructural spaces. For more details on fixed point results, its applications, comparison of different contractive conditions and related results in ordered metric spaces, we refer the reader to  and the references mentioned therein.

Mustafa and Sims  generalized the concept of a metric, in which to every triplet of points of an abstract set, a real number is assigned. Based on the notion of generalized metric spaces, Mustafa et al.  obtained some fixed point theorems for mappings satisfying different contractive conditions. Chugh et al.  obtained some fixed point results for maps satisfying property P in G-metric spaces. Saadati et al.  studied fixed point of contractive mappings in partially ordered G-metric spaces. Shatanawi  obtained fixed points of Φ-maps in G-metric spaces. For more details, we refer to [21, 5365].

Very recently, Jleli and Samet  and Samet et al.  noticed that some fixed point theorems in the context of a G-metric space can be concluded by some existing results in the setting of a (quasi-)metric space. In fact, if the contraction condition of the fixed point theorem on a G-metric space can be reduced to two variables instead of three variables, then one can construct an equivalent fixed point theorem in the setting of a usual metric space. More precisely, in [66, 67], the authors noticed that $d\left(x,y\right)=G\left(x,y,y\right)$ forms a quasi-metric. Therefore, if one can transform the contraction condition of existence results in a G-metric space in such terms, $G\left(x,y,y\right)$, then the related fixed point results become the known fixed point results in the context of a quasi-metric space.

The following definitions and results will be needed in the sequel.

Definition 1.2 

Let X be a nonempty set. Suppose that a mapping $G:X×X×X\to {R}^{+}$ satisfies:

1. (G1)

$G\left(x,y,z\right)=0$ if $x=y=z$;

2. (G2)

$0 for all $x,y,z\in X$, with $x\ne y$;

3. (G3)

$G\left(x,x,y\right)\le G\left(x,y,z\right)$ for all $x,y,z\in X$, with $y\ne z$;

4. (G4)

$G\left(x,y,z\right)=G\left(x,z,y\right)=G\left(y,z,x\right)=\cdots$ (symmetry in all three variables); and

5. (G5)

$G\left(x,y,z\right)\le G\left(x,a,a\right)+G\left(a,y,z\right)$ for all $x,y,z,a\in X$.

Then G is called a G-metric on X and $\left(X,G\right)$ is called a G-metric space.

Definition 1.3 

A sequence $\left\{{x}_{n}\right\}$ in a G-metric space X is:

1. (i)

a G-convergent sequence if there is $x\in X$ such that for any $\epsilon >0$, and ${n}_{0}\in \mathbb{N}$, for all $n,m\ge {n}_{0}$, $G\left({x}_{n},{x}_{m},x\right)<\epsilon$.

2. (ii)

a G-Cauchy sequence if, for every $\epsilon >0$, there is a natural number ${n}_{0}$ such that for all $n,m,l\ge {n}_{0}$, $G\left({x}_{n},{x}_{m},{x}_{l}\right)<\epsilon$.

A G-metric space on X is said to be G-complete if every G-Cauchy sequence in X is G-convergent in X. It is known that $\left\{{x}_{n}\right\}$ G-converges to $x\in X$ if and only if $G\left({x}_{m},{x}_{n},x\right)\to 0$ as $n,m\to \mathrm{\infty }$.

Lemma 1.4 

Let X be a G-metric space. Then the following are equivalent:

1. (1)

The sequence $\left\{{x}_{n}\right\}$ is G-convergent to x.

2. (2)

$G\left({x}_{n},{x}_{n},x\right)\to 0$ as $n\to \mathrm{\infty }$.

3. (3)

$G\left({x}_{n},x,x\right)\to 0$ as $n\to \mathrm{\infty }$.

Lemma 1.5 

Let X be a G-metric space. Then the following are equivalent:

The sequence $\left\{{x}_{n}\right\}$ is G-Cauchy.

For every $\epsilon >0$, there exists ${n}_{0}\in \mathbb{N}$ such that for all $n,m\ge {n}_{0}$, $G\left({x}_{n},{x}_{m},{x}_{m}\right)<\epsilon$; that is, if $G\left({x}_{n},{x}_{m},{x}_{m}\right)\to 0$ as $n,m\to \mathrm{\infty }$.

Definition 1.6 

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

Definition 1.7 A G-metric on X is said to be symmetric if $G\left(x,y,y\right)=G\left(y,x,x\right)$ for all $x,y\in X$.

Proposition 1.8 Every G-metric on X defines a metric ${d}_{G}$ on X by

${d}_{G}\left(x,y\right)=G\left(x,y,y\right)+G\left(y,x,x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
(1.1)

For a symmetric G-metric space, one obtains

${d}_{G}\left(x,y\right)=2G\left(x,y,y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
(1.2)

However, if G is not symmetric, then the following inequality holds:

$\frac{3}{2}G\left(x,y,y\right)\le {d}_{G}\left(x,y\right)\le 3G\left(x,y,y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$
(1.3)

Definition 1.9 A partially ordered G-metric space $\left(X,⪯,G\right)$ is said to have the sequential limit comparison property if for every nondecreasing sequence (nonincreasing sequence) $\left\{{x}_{n}\right\}$ in X, ${x}_{n}\to x$ implies that ${x}_{n}⪯x$ ($x⪯{x}_{n}$).

Definition 1.10 Let f and g be two self-maps on a partially ordered set X. A pair $\left(f,g\right)$ is said to be

1. (i)

weakly increasing if $fx⪯gfx$ and $gx⪯fgx$ for all $x\in X$ ,

2. (ii)

partially weakly increasing if $fx⪯gfx$ for all $x\in X$ .

Let X be a nonempty set and $f:X\to X$ be a given mapping. For every $x\in X$, let ${f}^{-1}\left(x\right)=\left\{u\in X:fu=x\right\}$.

Definition 1.11 Let $\left(X,⪯\right)$ be a partially ordered set, and let $f,g,h:X\to X$ be mappings such that $fX\subseteq hX$ and $gX\subseteq hX$. The ordered pair $\left(f,g\right)$ is said to be: (a) weakly increasing with respect to h if and only if for all $x\in X$, $fx⪯gy$ for all $y\in {h}^{-1}\left(fx\right)$, and $gx⪯fy$ for all $y\in {h}^{-1}\left(gx\right)$ , (b) partially weakly increasing with respect to h if $fx⪯gy$ for all $y\in {h}^{-1}\left(fx\right)$ .

Remark 1.12 In the above definition: (i) if $f=g$, we say that f is weakly increasing (partially weakly increasing) with respect to h, (ii) if $h=I$ (the identity mapping on X), then the above definition reduces to a weakly increasing (partially weakly increasing) mapping (see [34, 40]).

The following is an example of mappings f, g, h, R, S and T for which all ordered pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to R, S and T but not weakly increasing with respect to them.

Example 1.13 Let $X=\left[0,\mathrm{\infty }\right)$. We define functions $f,g,h,R,S,T:X\to X$ by

$\begin{array}{c}f\left(x\right)=\left\{\begin{array}{ll}x,& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty },\end{array}\phantom{\rule{2em}{0ex}}g\left(x\right)=\left\{\begin{array}{ll}\sqrt{x},& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty },\end{array}\hfill \\ h\left(x\right)=\left\{\begin{array}{ll}{x}^{2},& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty },\end{array}\hfill \end{array}$

and

$\begin{array}{c}R\left(x\right)=\left\{\begin{array}{ll}{x}^{3},& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty },\end{array}\phantom{\rule{2em}{0ex}}S\left(x\right)=\left\{\begin{array}{ll}\sqrt{x},& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty },\end{array}\hfill \\ T\left(x\right)=\left\{\begin{array}{ll}\sqrt{x},& 0\le x\le 1,\\ 1,& 1\le x\le \mathrm{\infty }.\end{array}\hfill \end{array}$

Definition 1.14 [60, 62]

Let X be a G-metric space and $f,g:X\to X$. The pair $\left(f,g\right)$ is said to be compatible if and only if ${lim}_{n\to \mathrm{\infty }}G\left(fg{x}_{n},fg{x}_{n},gf{x}_{n}\right)=0$, whenever $\left\{{x}_{n}\right\}$ is a sequence in X such that ${lim}_{n\to \mathrm{\infty }}f{x}_{n}={lim}_{n\to \mathrm{\infty }}g{x}_{n}=t$ for some $t\in X$.

Definition 1.15 (see, e.g., )

A quasi-metric on a nonempty set X is a mapping $p:X×X\to \left[0,\mathrm{\infty }\right)$ such that (p1) $x=y$ if and only if $p\left(x,y\right)=0$, (p2) $p\left(x,y\right)\le p\left(x,z\right)+p\left(z,y\right)$ for all $x,y,z\in X$. A pair $\left(X,p\right)$ is said to be a quasi-metric space.

The study of unique common fixed points of mappings satisfying strict contractive conditions has been at the center of vigorous research activity. The study of common fixed point theorems in generalized metric spaces was initiated by Abbas and Rhoades  (see also [21, 53, 54]). Motivated by the work in [8, 13, 16, 17, 22, 32] and , we prove some coincidence point results for nonlinear generalized $\left(\psi ,\phi \right)$-weakly contractive mappings in partially ordered G-metric spaces.

## 2 Main results

Let $\left(X,⪯,G\right)$ be an ordered G-metric space, and let $f,g,h,R,S,T:X\to X$ be six self-mappings. Throughout this paper, unless otherwise stated, for all $x,y,z\in X$, let

$\begin{array}{rl}M\left(x,y,z\right)=& max\left\{G\left(Tx,Ry,Sz\right),\\ G\left(Tx,fx,fx\right),G\left(Ry,gy,gy\right),G\left(Sz,hz,hz\right),\\ \frac{G\left(Tx,Tx,fx\right)+G\left(Ry,Ry,gy\right)+G\left(Sz,Sz,hz\right)}{3}\right\}.\end{array}$

Let X be any nonempty set and $f,g,h,R,S,T:X\to X$ be six mappings such that $f\left(X\right)\subseteq R\left(X\right)$, $g\left(X\right)\subseteq S\left(X\right)$ and $h\left(X\right)\subseteq T\left(X\right)$. Let ${x}_{0}$ be an arbitrary point of X. Choose ${x}_{1}\in X$ such that $f{x}_{0}=R{x}_{1}$, ${x}_{2}\in X$ such that $g{x}_{1}=S{x}_{2}$ and ${x}_{3}\in X$ such that $h{x}_{2}=T{x}_{3}$. This can be done as $f\left(X\right)\subseteq R\left(X\right)$, $g\left(X\right)\subseteq S\left(X\right)$ and $h\left(X\right)\subseteq T\left(X\right)$.

Continuing in this way, we construct a sequence $\left\{{z}_{n}\right\}$ defined by: ${z}_{3n+1}=R{x}_{3n+1}=f{x}_{3n}$, ${z}_{3n+2}=S{x}_{3n+2}=g{x}_{3n+1}$, and ${z}_{3n+3}=T{x}_{3n+3}=h{x}_{3n+2}$ for all $n\ge 0$. The sequence $\left\{{z}_{n}\right\}$ in X is said to be a Jungck-type iterative sequence with initial guess ${x}_{0}$.

Theorem 2.1 Let $\left(X,⪯,G\right)$ be a partially ordered G-complete G-metric space. Let $f,g,h,R,S,T:X\to X$ be six mappings such that $f\left(X\right)\subseteq R\left(X\right)$, $g\left(X\right)\subseteq S\left(X\right)$ and $h\left(X\right)\subseteq T\left(X\right)$. Suppose that for every three comparable elements $Tx,Ry,Sz\in X$, we have

$\psi \left(2G\left(fx,gy,hz\right)\right)\le \psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right),$
(2.1)

where $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Let f, g, h, R, S and T be continuous, the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ be compatible and the pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ be partially weakly increasing with respect to R, S and T, respectively. Then the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ have a coincidence point ${z}^{\ast }$ in X. Moreover, if $R{z}^{\ast }$, $S{z}^{\ast }$ and $T{z}^{\ast }$ are comparable, then ${z}^{\ast }$ is a coincidence point of f, g, h, R, S and T.

Proof Let $\left\{{z}_{n}\right\}$ be a Jungck-type iterative sequence with initial guess ${x}_{0}$ in X; that is, ${z}_{3n+1}=R{x}_{3n+1}=f{x}_{3n}$, ${z}_{3n+2}=S{x}_{3n+2}=g{x}_{3n+1}$ and ${z}_{3n+3}=T{x}_{3n+3}=h{x}_{3n+2}$ for all $n\ge 0$.

As ${x}_{1}\in {R}^{-1}\left(f{x}_{0}\right)$, ${x}_{2}\in {S}^{-1}\left(g{x}_{1}\right)$ and ${x}_{3}\in {T}^{-1}\left(h{x}_{2}\right)$, and the pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to R, S and T, so we have

$R{x}_{1}=f{x}_{0}⪯g{x}_{1}=S{x}_{2}⪯h{x}_{2}=T{x}_{3}⪯f{x}_{3}=R{x}_{4}.$

Continuing this process, we obtain $R{x}_{3n+1}⪯S{x}_{3n+2}⪯T{x}_{3n+3}$ for $n\ge 0$.

We will complete the proof in three steps.

Step I. We will prove that ${lim}_{k\to \mathrm{\infty }}G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)=0$.

Define ${G}_{k}=G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)$. Suppose ${G}_{{k}_{0}}=0$ for some ${k}_{0}$. Then ${z}_{{k}_{0}}={z}_{{k}_{0}+1}={z}_{{k}_{0}+2}$. If ${k}_{0}=3n$, then ${z}_{3n}={z}_{3n+1}={z}_{3n+2}$ gives ${z}_{3n+1}={z}_{3n+2}={z}_{3n+3}$. Indeed,

$\begin{array}{rl}\psi \left(2G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)& =\psi \left(2G\left(f{x}_{3n},g{x}_{3n+1},h{x}_{3n+2}\right)\right)\\ \le \psi \left(M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\right)-\phi \left(M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\right),\end{array}$

where

$\begin{array}{r}M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left(T{x}_{3n},R{x}_{3n+1},S{x}_{3n+2}\right),G\left(T{x}_{3n},f{x}_{3n},f{x}_{3n}\right),\\ \phantom{\rule{2em}{0ex}}G\left(R{x}_{3n+1},g{x}_{3n+1},g{x}_{3n+1}\right),G\left(S{x}_{3n+2},h{x}_{3n+2},h{x}_{3n+2}\right),\\ \phantom{\rule{2em}{0ex}}\frac{G\left(T{x}_{3n},T{x}_{3n},f{x}_{3n}\right)+G\left(R{x}_{3n+1},R{x}_{3n+1},g{x}_{3n+1}\right)+G\left(S{x}_{3n+2},S{x}_{3n+2},h{x}_{3n+2}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right),G\left({z}_{3n},{z}_{3n+1},{z}_{3n+1}\right),\\ \phantom{\rule{2em}{0ex}}G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+2}\right),G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right),\\ \phantom{\rule{2em}{0ex}}\frac{G\left({z}_{3n},{z}_{3n},{z}_{3n+1}\right)+G\left({z}_{3n+1},{z}_{3n+1},{z}_{3n+2}\right)+G\left({z}_{3n+2},{z}_{3n+2},{z}_{3n+3}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=max\left\{0,0,0,G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right),\frac{0+0+G\left({z}_{3n+2},{z}_{3n+2},{z}_{3n+3}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right)\\ \phantom{\rule{1em}{0ex}}\le 2G\left({z}_{3n+2},{z}_{3n+2},{z}_{3n+3}\right)\\ \phantom{\rule{1em}{0ex}}=2G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right).\end{array}$

Thus,

$\psi \left(2G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)\le \psi \left(2G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)-\phi \left(G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right)\right),$

which implies that $\phi \left(G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right)\right)=0$; that is$,{z}_{3n+1}={z}_{3n+2}={z}_{3n+3}$. Similarly, if ${k}_{0}=3n+1$, then ${z}_{3n+1}={z}_{3n+2}={z}_{3n+3}$ gives ${z}_{3n+2}={z}_{3n+3}={z}_{3n+4}$. Also, if ${k}_{0}=3n+2$, then ${z}_{3n+2}={z}_{3n+3}={z}_{3n+4}$ implies that ${z}_{3n+3}={z}_{3n+4}={z}_{3n+5}$. Consequently, the sequence $\left\{{z}_{k}\right\}$ becomes constant for $k\ge {k}_{0}$.

Suppose that

${G}_{k}=G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)>0$
(2.2)

for each k. We now claim that the following inequality holds:

$G\left({z}_{k+1},{z}_{k+2},{z}_{k+3}\right)\le G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)=M\left({x}_{k},{x}_{k+1},{x}_{k+2}\right)$
(2.3)

for each $k=1,2,3,\dots$ .

Let $k=3n$ and for $n\ge 0$, $G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\ge G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right)>0$. Then, as $T{x}_{3n}⪯R{x}_{3n+1}⪯S{x}_{3n+2}$, using (2.1), we obtain that

$\begin{array}{rl}\psi \left(G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)& \le \psi \left(2G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)\\ =\psi \left(2G\left(f{x}_{3n},g{x}_{3n+1},h{x}_{3n+2}\right)\right)\\ \le \psi \left(M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\right)-\phi \left(M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\right),\end{array}$
(2.4)

where

$\begin{array}{r}M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left(T{x}_{3n},R{x}_{3n+1},S{x}_{3n+2}\right),\\ \phantom{\rule{2em}{0ex}}G\left(T{x}_{3n},f{x}_{3n},f{x}_{3n}\right),G\left(R{x}_{3n+1},g{x}_{3n+1},g{x}_{3n+1}\right),G\left(S{x}_{3n+2},h{x}_{3n+2},h{x}_{3n+2}\right),\\ \phantom{\rule{2em}{0ex}}\frac{G\left(T{x}_{3n},T{x}_{3n},f{x}_{3n}\right)+G\left(R{x}_{3n+1},R{x}_{3n+1},g{x}_{3n+1}\right)+G\left(S{x}_{3n+2},S{x}_{3n+2},h{x}_{3n+2}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right),\\ \phantom{\rule{2em}{0ex}}G\left({z}_{3n},{z}_{3n+1},{z}_{3n+1}\right),G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+2}\right),G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+3}\right),\\ \phantom{\rule{2em}{0ex}}\frac{G\left({z}_{3n},{z}_{3n},{z}_{3n+1}\right)+G\left({z}_{3n+1},{z}_{3n+1},{z}_{3n+2}\right)+G\left({z}_{3n+2},{z}_{3n+2},{z}_{3n+3}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}\le max\left\{G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right),G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right),\\ \phantom{\rule{2em}{0ex}}\frac{2G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right)+G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right).\end{array}$

Hence, (2.4) implies that

$\psi \left(G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)\le \psi \left(G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\right)-\phi \left(M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)\right),$

which is possible only if $M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)=0$; that is, $G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right)=0$, a contradiction to (2.2). Hence, $G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)\le G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right)$ and

$M\left({x}_{3n},{x}_{3n+1},{x}_{3n+2}\right)=G\left({z}_{3n},{z}_{3n+1},{z}_{3n+2}\right).$

Therefore, (2.3) is proved for $k=3n$.

Similarly, it can be shown that

$G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+4}\right)\le G\left({z}_{3n+1},{z}_{3n+2},{z}_{3n+3}\right)=M\left({x}_{3n+1},{x}_{3n+2},{x}_{3n+3}\right),$
(2.5)

and

$G\left({z}_{3n+3},{z}_{3n+4},{z}_{3n+5}\right)\le G\left({z}_{3n+2},{z}_{3n+3},{z}_{3n+4}\right)=M\left({x}_{3n+2},{x}_{3n+3},{x}_{3n+4}\right).$
(2.6)

Hence, $\left\{G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)\right\}$ is a nondecreasing sequence of nonnegative real numbers. Therefore, there is $r\ge 0$ such that

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)=r.$
(2.7)

Since

$G\left({z}_{k+1},{z}_{k+2},{z}_{k+3}\right)\le M\left({x}_{k},{x}_{k+1},{x}_{k+2}\right)\le G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right),$
(2.8)

taking limit as $k\to \mathrm{\infty }$ in (2.8), we obtain

$\underset{k\to \mathrm{\infty }}{lim}M\left({x}_{k},{x}_{k+1},{x}_{k+2}\right)=r.$
(2.9)

Taking limit as $n\to \mathrm{\infty }$ in (2.4), using (2.7), (2.9) and the continuity of ψ and φ, we have $\psi \left(r\right)\le \psi \left(r\right)-\phi \left(r\right)\le \psi \left(r\right)$. Therefore $\phi \left(r\right)=0$. Hence,

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{k},{z}_{k+1},{z}_{k+2}\right)=0,$
(2.10)

from our assumptions about φ. Also, from Definition 1.2, part (G3), we have

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{k},{z}_{k+1},{z}_{k+1}\right)=0,$
(2.11)

and, since $G\left(x,y,y\right)\le 2G\left(x,x,y\right)$ for all $x,y\in X$, we have

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{k},{z}_{k},{z}_{k+1}\right)=0.$
(2.12)

Step II. We now show that $\left\{{z}_{n}\right\}$ is a G-Cauchy sequence in X. Because of (2.10), it is sufficient to show that $\left\{{z}_{3n}\right\}$ is G-Cauchy.

We assume on contrary that there exists $\epsilon >0$ for which we can find subsequences $\left\{{z}_{3m\left(k\right)}\right\}$ and $\left\{{z}_{3n\left(k\right)}\right\}$ of $\left\{{z}_{3n}\right\}$ such that $n\left(k\right)>m\left(k\right)\ge k$ and

$G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\ge \epsilon ,$
(2.13)

and $n\left(k\right)$ is the smallest number such that the above statement holds; i.e.,

$G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)-3},{z}_{3n\left(k\right)-3}\right)<\epsilon .$
(2.14)

From the rectangle inequality and (2.14), we have

$\begin{array}{r}G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)-3},{z}_{3n\left(k\right)-3}\right)+G\left({z}_{3n\left(k\right)-3},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\\ \phantom{\rule{1em}{0ex}}<\epsilon +G\left({z}_{3n\left(k\right)-3},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\\ \phantom{\rule{1em}{0ex}}<\epsilon +G\left({z}_{3n\left(k\right)-3},{z}_{3n\left(k\right)-2},{z}_{3n\left(k\right)-2}\right)+G\left({z}_{3n\left(k\right)-2},{z}_{3n\left(k\right)-1},{z}_{3n\left(k\right)-1}\right)\\ \phantom{\rule{2em}{0ex}}+G\left({z}_{3n\left(k\right)-1},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right).\end{array}$
(2.15)

Taking limit as $k\to \mathrm{\infty }$ in (2.15), from (2.11) and (2.13) we obtain that

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)=\epsilon .$
(2.16)

Using the rectangle inequality, we have

$\begin{array}{r}G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)+G\left({z}_{3n\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+1}\right)+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)+G\left({z}_{3n\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+2}\right)+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\\ \phantom{\rule{2em}{0ex}}+G\left({z}_{3n\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right).\end{array}$
(2.17)

Taking limit as $k\to \mathrm{\infty }$ in (2.17), from (2.16), (2.10), (2.11) and (2.12) we have

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)=\epsilon .$
(2.18)

Finally,

$\begin{array}{r}G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)},{z}_{3m\left(k\right)}\right)+G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)},{z}_{3m\left(k\right)}\right)+G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)+G\left({z}_{3n\left(k\right)},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)},{z}_{3m\left(k\right)}\right)+G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)},{z}_{3n\left(k\right)}\right)\\ \phantom{\rule{2em}{0ex}}+G\left({z}_{3n\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+1}\right)+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right).\end{array}$
(2.19)

Taking limit as $k\to \mathrm{\infty }$ in (2.19) and using (2.16), (2.10), (2.11) and (2.12), we have

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\le \epsilon .$

Consider

$\begin{array}{r}G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)+1}\right)+G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)+1}\right)+G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+3},{z}_{3n\left(k\right)+3}\right)\\ \phantom{\rule{2em}{0ex}}+G\left({z}_{3n\left(k\right)+3},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}\le G\left({z}_{3m\left(k\right)},{z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)+1}\right)+G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\\ \phantom{\rule{2em}{0ex}}+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right).\end{array}$
(2.20)

Taking limit as $k\to \mathrm{\infty }$ and using (2.10), (2.11) and (2.12), we have

$\epsilon \le \underset{k\to \mathrm{\infty }}{lim}G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right).$

Therefore,

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)=\epsilon .$
(2.21)

As $T{x}_{3m\left(k\right)}⪯R{x}_{3n\left(k\right)+1}⪯S{x}_{3n\left(k\right)+2}$, so from (2.1) we have

$\begin{array}{r}\psi \left(G\left({z}_{3m\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\right)\\ \phantom{\rule{1em}{0ex}}=\psi \left(G\left(f{x}_{3m\left(k\right)},g{x}_{3n\left(k\right)+1},h{x}_{3n\left(k\right)+2}\right)\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(M\left({x}_{3m\left(k\right)},{x}_{3n\left(k\right)+1},{x}_{3n\left(k\right)+2}\right)\right)-\phi \left(M\left({x}_{3m\left(k\right)},{x}_{3n\left(k\right)+1},{x}_{3n\left(k\right)+2}\right)\right),\end{array}$
(2.22)

where

$\begin{array}{r}M\left({x}_{3m\left(k\right)},{x}_{3n\left(k\right)+1},{x}_{3n\left(k\right)+2}\right)\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left(T{x}_{3m\left(k\right)},R{x}_{3n\left(k\right)+1},S{x}_{3n\left(k\right)+2}\right),G\left(T{x}_{3m\left(k\right)},f{x}_{3m\left(k\right)},f{x}_{3m\left(k\right)}\right),\\ \phantom{\rule{2em}{0ex}}G\left(R{x}_{3n\left(k\right)+1},g{x}_{3n\left(k\right)+1},g{x}_{3n\left(k\right)+1}\right),G\left(S{x}_{3n\left(k\right)+2},h{x}_{3n\left(k\right)+2},h{x}_{3n\left(k\right)+2}\right),\\ \phantom{\rule{2em}{0ex}}\frac{\begin{array}{c}G\left(T{x}_{3m\left(k\right)},T{x}_{3m\left(k\right)},f{x}_{3m\left(k\right)}\right)+G\left(R{x}_{3n\left(k\right)+1},R{x}_{3n\left(k\right)+1},g{x}_{3n\left(k\right)+1}\right)\\ +G\left(S{x}_{3n\left(k\right)+2},S{x}_{3n\left(k\right)+2},h{x}_{3n\left(k\right)+2}\right)\end{array}}{3}\right\}\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left({z}_{3m\left(k\right)},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right),G\left({z}_{3m\left(k\right)},{z}_{3m\left(k\right)+1},{z}_{3m\left(k\right)+1}\right),\\ \phantom{\rule{2em}{0ex}}G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+2}\right),G\left({z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3},{z}_{3n\left(k\right)+3}\right),\\ \phantom{\rule{2em}{0ex}}\frac{\begin{array}{c}G\left({z}_{3m\left(k\right)},{z}_{3m\left(k\right)},{z}_{3m\left(k\right)+1}\right)+G\left({z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+1},{z}_{3n\left(k\right)+2}\right)\\ +G\left({z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+2},{z}_{3n\left(k\right)+3}\right)\end{array}}{3}\right\}.\end{array}$

Taking limit as $k\to \mathrm{\infty }$ and using (2.11), (2.12), (2.18) and (2.21) in (2.22), we have

$\psi \left(\epsilon \right)\le \psi \left(\epsilon \right)-\phi \left(\epsilon \right)<\psi \left(\epsilon \right),$

a contradiction. Hence, $\left\{{z}_{n}\right\}$ is a G-Cauchy sequence.

Step III. We will show that f, g, h, R, S and T have a coincidence point.

Since $\left\{{z}_{n}\right\}$ is a G-Cauchy sequence in the G-complete G-metric space X, there exists ${z}^{\ast }\in X$ such that

$\begin{array}{rl}\underset{n\to \mathrm{\infty }}{lim}G\left({z}_{3n+1},{z}_{3n+1},{z}^{\ast }\right)& =\underset{n\to \mathrm{\infty }}{lim}G\left(R{x}_{3n+1},R{x}_{3n+1},{z}^{\ast }\right)\\ =\underset{n\to \mathrm{\infty }}{lim}G\left(f{x}_{3n},f{x}_{3n},{z}^{\ast }\right)=0,\end{array}$
(2.23)
$\begin{array}{rl}\underset{n\to \mathrm{\infty }}{lim}G\left({z}_{3n+2},{z}_{3n+2},{z}^{\ast }\right)& =\underset{n\to \mathrm{\infty }}{lim}G\left(S{x}_{3n+2},S{x}_{3n+2},{z}^{\ast }\right)\\ =\underset{n\to \mathrm{\infty }}{lim}G\left(g{x}_{3n+1},g{x}_{3n+1},{z}^{\ast }\right)=0,\end{array}$
(2.24)

and

$\begin{array}{rl}\underset{n\to \mathrm{\infty }}{lim}G\left({z}_{3n+3},{z}_{3n+3},{z}^{\ast }\right)& =\underset{n\to \mathrm{\infty }}{lim}G\left(T{x}_{3n+3},T{x}_{3n+3},{z}^{\ast }\right)\\ =\underset{n\to \mathrm{\infty }}{lim}G\left(h{x}_{3n+2},h{x}_{3n+2},{z}^{\ast }\right)=0.\end{array}$
(2.25)

Hence,

(2.26)

As $\left(f,T\right)$ is compatible, so

$\underset{n\to \mathrm{\infty }}{lim}G\left(Tf{x}_{3n},fT{x}_{3n},fT{x}_{3n}\right)=0.$
(2.27)

Moreover, from ${lim}_{n\to \mathrm{\infty }}G\left(f{x}_{3n},f{x}_{3n},{z}^{\ast }\right)=0$, ${lim}_{n\to \mathrm{\infty }}G\left(T{x}_{3n},{z}^{\ast },{z}^{\ast }\right)=0$, and the continuity of T and f, we obtain

$\underset{n\to \mathrm{\infty }}{lim}G\left(Tf{x}_{3n},Tf{x}_{3n},T{z}^{\ast }\right)=0=\underset{n\to \mathrm{\infty }}{lim}G\left(fT{x}_{3n},f{z}^{\ast },f{z}^{\ast }\right).$
(2.28)

By the rectangle inequality, we have

$\begin{array}{r}G\left(T{z}^{\ast },f{z}^{\ast },f{z}^{\ast }\right)\\ \phantom{\rule{1em}{0ex}}\le G\left(T{z}^{\ast },Tf{x}_{3n},Tf{x}_{3n}\right)+G\left(Tf{x}_{3n},f{z}^{\ast },f{z}^{\ast }\right)\\ \phantom{\rule{1em}{0ex}}\le G\left(T{z}^{\ast },Tf{x}_{3n},Tf{x}_{3n}\right)+G\left(Tf{x}_{3n},fT{x}_{3n},fT{x}_{3n}\right)+G\left(fT{x}_{3n},f{z}^{\ast },f{z}^{\ast }\right).\end{array}$
(2.29)

Taking limit as $n\to \mathrm{\infty }$ in (2.29), we obtain

$G\left(T{z}^{\ast },f{z}^{\ast },f{z}^{\ast }\right)\le 0,$

which implies that $f{z}^{\ast }=T{z}^{\ast }$, that is, ${z}^{\ast }$ is a coincidence point of f and T.

Similarly, $g{z}^{\ast }=R{z}^{\ast }$ and $h{z}^{\ast }=S{z}^{\ast }$. Now, let $R{z}^{\ast }$, $S{z}^{\ast }$ and $T{z}^{\ast }$ be comparable. By (2.1) we have

$\begin{array}{r}\psi \left(G\left(f{z}^{\ast },g{z}^{\ast },h{z}^{\ast }\right)\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(M\left({z}^{\ast },{z}^{\ast },{z}^{\ast }\right)\right)-\phi \left(M\left({z}^{\ast },{z}^{\ast },{z}^{\ast }\right)\right),\end{array}$
(2.30)

where

$\begin{array}{rl}M\left({z}^{\ast },{z}^{\ast },{z}^{\ast }\right)=& max\left\{G\left(T{z}^{\ast },R{z}^{\ast },S{z}^{\ast }\right),\\ G\left(T{z}^{\ast },f{z}^{\ast },f{z}^{\ast }\right),G\left(R{z}^{\ast },g{z}^{\ast },g{z}^{\ast }\right),G\left(S{z}^{\ast },h{z}^{\ast },h{z}^{\ast }\right),\\ \frac{G\left(T{z}^{\ast },T{z}^{\ast },f{z}^{\ast }\right)+G\left(R{z}^{\ast },R{z}^{\ast },g{z}^{\ast }\right)+G\left(S{z}^{\ast },S{z}^{\ast },h{z}^{\ast }\right)}{3}\right\}\\ =& G\left(T{z}^{\ast },R{z}^{\ast },S{z}^{\ast }\right)=G\left(f{z}^{\ast },g{z}^{\ast },h{z}^{\ast }\right).\end{array}$

Hence (2.30) gives

$\psi \left(G\left(f{z}^{\ast },g{z}^{\ast },h{z}^{\ast }\right)\right)\le \psi \left(G\left(f{z}^{\ast },g{z}^{\ast },h{z}^{\ast }\right)\right)-\phi \left(G\left(f{z}^{\ast },g{z}^{\ast },h{z}^{\ast }\right)\right).$

Therefore, $f{z}^{\ast }=g{z}^{\ast }=h{z}^{\ast }=T{z}^{\ast }=R{z}^{\ast }=S{z}^{\ast }$. □

In the following theorem, the continuity assumption on the mappings f, g, h, R, S and T is in fact replaced by the sequential limit comparison property of the space, and the compatibility of the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ is in fact replaced by weak compatibility of the pairs.

Theorem 2.2 Let $\left(X,⪯,G\right)$ be a partially ordered G-complete G-metric space with the sequential limit comparison property, let $f,g,h,R,S,T:X\to X$ be six mappings such that $f\left(X\right)\subseteq R\left(X\right)$, $g\left(X\right)\subseteq S\left(X\right)$, and let $h\left(X\right)\subseteq T\left(X\right)$, RX, SX and TX be G-complete subsets of X. Suppose that for comparable elements $Tx,Ry,Sz\in X$, we have

$\psi \left(2G\left(fx,gy,hz\right)\right)\le \psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right),$
(2.31)

where $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Then the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ have a coincidence point ${z}^{\ast }$ in X provided that the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ are weakly compatible and the pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to R, S and T, respectively. Moreover, if $R{z}^{\ast }$, $S{z}^{\ast }$ and $T{z}^{\ast }$ are comparable, then ${z}^{\ast }\in X$ is a coincidence point of f, g, h, R, S and T.

Proof Following the proof of Theorem 2.1, there exists ${z}^{\ast }\in X$ such that

$\underset{k\to \mathrm{\infty }}{lim}G\left({z}_{k},{z}_{k},{z}^{\ast }\right)=0.$
(2.32)

Since $R\left(X\right)$ is G-complete and $\left\{{z}_{3n+1}\right\}\subseteq R\left(X\right)$, therefore ${z}^{\ast }\in R\left(X\right)$. Hence, there exists $u\in X$ such that ${z}^{\ast }=Ru$ and

$\underset{n\to \mathrm{\infty }}{lim}G\left({z}_{3n+1},{z}_{3n+1},Ru\right)=\underset{n\to \mathrm{\infty }}{lim}G\left(R{x}_{3n+1},R{x}_{3n+1},Ru\right)=0.$
(2.33)

Similarly, there exists $v,w\in X$ such that ${z}^{\ast }=Sv=Tw$ and

$\underset{n\to \mathrm{\infty }}{lim}G\left(S{x}_{3n+2},S{x}_{3n+2},Sv\right)=\underset{n\to \mathrm{\infty }}{lim}G\left(T{x}_{3n},T{x}_{3n},Tw\right)=0.$
(2.34)

Now, we prove that w is a coincidence point of f and T. For this purpose, we show that $fw=gu$. Suppose opposite $fw\ne gu$. Since $S{x}_{3n+2}\to {z}^{\ast }=Tw=Ru$ as $n\to \mathrm{\infty }$, so $S{x}_{3n+2}⪯Tw=Ru$.

Therefore, from (2.31), we have

$\psi \left(2G\left(fw,gu,h{x}_{3n+2}\right)\right)\le \psi \left(M\left(w,u,{x}_{3n+2}\right)\right)-\phi \left(M\left(w,u,{x}_{3n+2}\right)\right),$
(2.35)

where

$\begin{array}{r}M\left(w,u,{x}_{3n+2}\right)\\ \phantom{\rule{1em}{0ex}}=max\left\{G\left(Tw,Ru,S{x}_{3n+2}\right),G\left(Tw,fw,fw\right),\\ \phantom{\rule{2em}{0ex}}G\left(Ru,gu,gu\right),G\left(S{x}_{3n+2},h{x}_{3n+2},h{x}_{3n+2}\right),\\ \phantom{\rule{2em}{0ex}}\frac{G\left(Tw,Tw,fw\right)+G\left(Ru,Ru,gu\right)+G\left(S{x}_{3n+2},S{x}_{3n+2},h{x}_{3n+2}\right)}{3}\right\}.\end{array}$

Taking limit as $n\to \mathrm{\infty }$ in (2.35), as $G\left({z}^{\ast },{z}^{\ast },{z}^{\ast }\right)=0$ and from (G2) and the fact that $G\left(x,x,y\right)\le 2G\left(x,y,y\right)$ , we obtain that

$\begin{array}{r}\psi \left(2G\left(fw,gu,{z}^{\ast }\right)\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(max\left\{G\left({z}^{\ast },fw,fw\right),G\left({z}^{\ast },gu,gu\right),\frac{G\left({z}^{\ast },{z}^{\ast },fw\right)+G\left({z}^{\ast },{z}^{\ast },gu\right)}{3}\right\}\right)\\ \phantom{\rule{2em}{0ex}}-\phi \left(max\left\{G\left({z}^{\ast },fw,fw\right),G\left({z}^{\ast },gu,gu\right),\frac{G\left({z}^{\ast },{z}^{\ast },fw\right)+G\left({z}^{\ast },{z}^{\ast },gu\right)}{3}\right\}\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(2G\left(fw,gu,{z}^{\ast }\right)\right)\\ \phantom{\rule{2em}{0ex}}-\phi \left(max\left\{G\left({z}^{\ast },fw,fw\right),G\left({z}^{\ast },gu,gu\right),\frac{G\left({z}^{\ast },{z}^{\ast },fw\right)+G\left({z}^{\ast },{z}^{\ast },gu\right)}{3}\right\}\right),\end{array}$

which implies that $fw={z}^{\ast }=gu$, a contradiction, so $fw=gu$. Again from the above inequality it is easy to see that $fw={z}^{\ast }$. So, we have $fw={z}^{\ast }=Tw$.

As f and T are weakly compatible, we have $f{z}^{\ast }=fTw=Tfw=T{z}^{\ast }$. Thus ${z}^{\ast }$ is a coincidence point of f and T.

Similarly it can be shown that ${z}^{\ast }$ is a coincidence point of the pairs $\left(g,R\right)$ and $\left(h,S\right)$.

The rest of the proof can be obtained from the same arguments as those in the proof of Theorem 2.1. □

Remark 2.3 Let $\left(X,G\right)$ be a G-metric space. Let $f,R,S,T:X\to X$ be mappings. If we define functions $p,q:X×X\to \left[0,\mathrm{\infty }\right)$ in the following way:

$p\left(x,y\right)=G\left(Tx,Ry,Sy\right)$

and

$q\left(x,y\right)=G\left(Tx,fy,fy\right)$

for all $x,y\in X$, it is easy to see that both mappings p and q do not satisfy the conditions of Definition 1.15. Hence, Theorem 2.1 and Theorem 2.2 cannot be characterized in the context of quasi-metric as it is suggested in [66, 67].

Taking $T=R=S$ in Theorem 2.1, we obtain the following result.

Corollary 2.4 Let $\left(X,⪯,G\right)$ be a partially ordered G-complete G-metric space, and let $f,g,h,R:X\to X$ be four mappings such that $f\left(X\right)\cup g\left(X\right)\cup h\left(X\right)\subseteq R\left(X\right)$. Suppose that for every three comparable elements $Rx,Ry,Rz\in X$, we have

$\psi \left(2G\left(fx,gy,hz\right)\right)\le \psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right),$
(2.36)

where

$\begin{array}{rl}M\left(x,y,z\right)=& max\left\{G\left(Rx,Ry,Rz\right),\\ G\left(Rx,fx,fx\right),G\left(Ry,gy,gy\right),G\left(Rz,hz,hz\right),\\ \frac{G\left(Rx,Rx,fx\right)+G\left(Ry,Ry,gy\right)+G\left(Rz,Rz,hz\right)}{3}\right\}\end{array}$

and $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Then f, g, h and R have a coincidence point in X provided that the pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to R and either

1. a.

f is continuous and the pair $\left(f,R\right)$ is compatible, or

2. b.

g is continuous and the pair $\left(g,R\right)$ is compatible, or

3. c.

h is continuous and the pair $\left(h,R\right)$ is compatible.

Taking $R=S=T$ and $f=g=h$ in Theorem 2.1, we obtain the following coincidence point result.

Corollary 2.5 Let $\left(X,⪯,G\right)$ be a partially ordered G-complete G-metric space, and let $f,R:X\to X$ be two mappings such that $f\left(X\right)\subseteq R\left(X\right)$. Suppose that for every three comparable elements $Rx,Ry,Rz\in X$, we have

$\psi \left(2G\left(fx,fy,fz\right)\right)\le \psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right),$
(2.37)

where

$\begin{array}{rl}M\left(x,y,z\right)=& max\left\{G\left(Rx,Ry,Rz\right),\\ G\left(Rx,fx,fx\right),G\left(Ry,fy,fy\right),G\left(Rz,fz,fz\right),\\ \frac{G\left(Rx,Rx,fx\right)+G\left(Ry,Ry,fy\right)+G\left(Rz,Rz,fz\right)}{3}\right\}\end{array}$

and $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Then the pair $\left(f,R\right)$ has a coincidence point in X provided that f and R are continuous, the pair $\left(f,R\right)$ is compatible and f is weakly increasing with respect to R.

Example 2.6 Let $X=\left[0,\mathrm{\infty }\right)$ and G on X be given by $G\left(x,y,z\right)=|x-y|+|y-z|+|x-z|$ for all $x,y,z\in X$. We define an ordering ‘’ on X as follows:

$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}y\le x,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x,y\in X.$

Define self-maps f, g, h, S, T and R on X by

$\begin{array}{c}fx=ln\left(\sqrt{{x}^{2}+1}+x\right)={sinh}^{-1}x,\phantom{\rule{2em}{0ex}}Rx=sinh\left(3x\right),\hfill \\ gx={sinh}^{-1}\left(\frac{x}{2}\right),\phantom{\rule{2em}{0ex}}Sx=sinh\left(2x\right),\hfill \\ hx={sinh}^{-1}\left(\frac{x}{3}\right),\phantom{\rule{2em}{0ex}}Tx=sinh\left(6x\right).\hfill \end{array}$

To prove that $\left(f,g\right)$ are partially weakly increasing with respect to R, let $x,y\in X$ be such that $y\in {R}^{-1}fx$; that is, $Ry=fx$. By the definition of f and R, we have ${sinh}^{-1}x=sinh3y$ and $y=\frac{{sinh}^{-1}\left({sinh}^{-1}x\right)}{3}$. As $sinhx\ge \left({sinh}^{-1}x\right)$ for all $x\ge 0$, therefore $6x\ge {sinh}^{-1}\left({sinh}^{-1}x\right)$, or

$fx={sinh}^{-1}x\ge {sinh}^{-1}\left(\frac{1}{6}{sinh}^{-1}\left({sinh}^{-1}x\right)\right)={sinh}^{-1}\left(\frac{1}{2}y\right)=gy.$

Therefore, $fx⪯gy$. Hence $\left(f,g\right)$ is partially weakly increasing with respect to R. Similarly, one can show that $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to S and T, respectively.

Furthermore, $fX=TX=gX=SX=hX=RX=\left[0,\mathrm{\infty }\right)$ and the pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ are compatible. Indeed, if $\left\{{x}_{n}\right\}$ is a sequence in X such that for some $t\in X$, ${lim}_{n\to \mathrm{\infty }}G\left(t,f{x}_{n},f{x}_{n}\right)={lim}_{n\to \mathrm{\infty }}G\left(t,T{x}_{n},T{x}_{n}\right)=0$. Therefore, we have

$\underset{n\to \mathrm{\infty }}{lim}|{sinh}^{-1}{x}_{n}-t|=\underset{n\to \mathrm{\infty }}{lim}|sinh6{x}_{n}-t|=0.$

Continuity of sinh−1 and sinh implies that

$\underset{n\to \mathrm{\infty }}{lim}|{x}_{n}-sinht|=\underset{n\to \mathrm{\infty }}{lim}|{x}_{n}-\frac{{sinh}^{-1}t}{6}|=0,$

and the uniqueness of the limit gives that $sinht=\frac{{sinh}^{-1}t}{6}$. But

$sinht=\frac{{sinh}^{-1}t}{6}\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}t=0.$

So, we have $t=0$. Since f and T are continuous, we have

$\underset{n\to \mathrm{\infty }}{lim}G\left(fT{x}_{n},fT{x}_{n},Tf{x}_{n}\right)=2\underset{n\to \mathrm{\infty }}{lim}|fT{x}_{n}-Tf{x}_{n}|=0.$

Define $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ as $\psi \left(t\right)=bt$ and $\phi \left(t\right)=\left(b-1\right)t$ for all $t\in \left[0,\mathrm{\infty }\right)$, where $1.

Using the mean value theorem simultaneously for the functions sinh−1 and sinh, we have

$\begin{array}{rcl}\psi \left(2G\left(fx,gy,hz\right)\right)& =& 2b\left(|fx-gy|+|fx-hz|+|gy-hz|\right)\\ =& 2b\left(|{sinh}^{-1}x-{sinh}^{-1}\left(\frac{y}{2}\right)|+|{sinh}^{-1}\left(x\right)-{sinh}^{-1}\left(\frac{z}{3}\right)|\\ +|{sinh}^{-1}\left(\frac{y}{2}\right)-{sinh}^{-1}\left(\frac{z}{3}\right)|\right)\\ \le & 2b\left(\frac{1}{2}|2x-y|+\frac{1}{3}|3x-z|+\frac{1}{6}|3y-2z|\right)\\ =& b\frac{\left(|6x-3y|+|6x-2z|+|3y-2z|\right)}{3}\\ \le & \frac{b}{3}\left(|sinh6x-sinh3y|+|sinh3y-sinh2z|+|sinh2z-sinh6x|\right)\\ \le & |Tx-Ry|+|Ry-Sz|+|Sz-Tx|\\ =& G\left(Tx,Ry,Sz\right)\le M\left(x,y,z\right)\\ =& \psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right).\end{array}$

Thus, (2.1) is satisfied for all $x,y,z\in X$. Therefore, all the conditions of Theorem 2.1 are satisfied. Moreover, 0 is a coincidence point of f, g, h, R, S and T.

The following example supports the usability of our results for non-symmetric G-metric spaces.

Example 2.7 Let $X=\left\{0,1,2,3\right\}$ be endowed with the usual order. Let

$A=\left\{\left(2,0,0\right),\left(0,2,0\right),\left(0,0,2\right)\right\}$

and

$B=\left\{\left(2,2,0\right),\left(2,0,2\right),\left(0,2,2\right)\right\}.$

Define $G:{X}^{3}\to {\mathbb{R}}^{+}$ by

It is easy to see that $\left(X,G\right)$ is a non-symmetric G-metric space.

Also, $\left(X,G\right)$ has the sequential limit comparison property. Indeed, for each $\left\{{x}_{n}\right\}$ in X such that $G\left({x}_{n},x,x\right)\to 0$ for an $x\in X$, there is $k\in \mathbb{N}$ such that for each $n\ge k$, ${x}_{n}=x$.

Define the self-maps f, g, h, R, S and T by

$\begin{array}{c}f=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 2& 0& 2\end{array}\right),\phantom{\rule{2em}{0ex}}R=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 1& 3& 2\end{array}\right),\hfill \\ g=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 2& 2& 2\end{array}\right),\phantom{\rule{2em}{0ex}}S=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 2& 1& 3\end{array}\right),\hfill \\ h=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 2& 0& 0\end{array}\right),\phantom{\rule{2em}{0ex}}T=\left(\begin{array}{cccc}0& 1& 2& 3\\ 0& 2& 3& 1\end{array}\right).\hfill \end{array}$

We see that

$\begin{array}{r}fX\subseteq RX=X,\\ gX\subseteq SX=X,\end{array}$

and

$hX\subseteq TX=X.$

Also, RX, SX and TX are G-complete. The pairs $\left(f,T\right)$, $\left(g,R\right)$ and $\left(h,S\right)$ are weakly compatible.

On the other hand, one can easily check that the pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing with respect to R, S and T, respectively.

Define $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ by $\psi \left(t\right)=\frac{3}{2}t$ and $\phi \left(t\right)=\frac{t}{2}$.

According to the definition of f, g, h and G for each three elements $x,y,z\in X$, we see that

$G\left(fx,gy,hz\right)\in \left\{0,1,2\right\}.$

But

$G\left(Tx,Ry,Sz\right),G\left(Tx,fx,fx\right),G\left(Ry,gy,gy\right),G\left(Sz,hz,hz\right)\in \left\{0,1,2,6\right\}$

and

$G\left(Tx,Tx,fx\right),G\left(Ry,Ry,gy\right),G\left(Sz,Sz,hz\right)\in \left\{0,1,2,6\right\}.$

Hence, we have

$\psi \left(2G\left(fx,gy,hz\right)\right)\le 6=M\left(x,y,z\right)=\psi \left(M\left(x,y,z\right)\right)-\phi \left(M\left(x,y,z\right)\right).$

Therefore, all the conditions of Theorem 2.2 are satisfied. Moreover, 0 is a coincidence point of f, g, h, R, S and T.

Let Λ be the set of all functions $\mu :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ satisfying the following conditions:

1. (I)

μ is a positive Lebesgue integrable mapping on each compact subset of $\left[0,+\mathrm{\infty }\right)$.

2. (II)

For all $\epsilon >0$, ${\int }_{0}^{\epsilon }\mu \left(t\right)\phantom{\rule{0.2em}{0ex}}dt>0$.

Remark 2.8 Suppose that there exists $\mu \in \mathrm{\Lambda }$ such that mappings f, g, h, R, S and T satisfy the following condition:

${\int }_{0}^{\psi \left(2G\left(fx,gy,hz\right)\right)}\mu \left(t\right)\phantom{\rule{0.2em}{0ex}}dt\le {\int }_{0}^{\psi \left(M\left(x,y,z\right)\right)}\mu \left(t\right)\phantom{\rule{0.2em}{0ex}}dt-{\int }_{0}^{\phi \left(M\left(x,y,z\right)\right)}\mu \left(t\right)\phantom{\rule{0.2em}{0ex}}dt.$
(2.38)

Then f, g, h, R, S and T have a coincidence point if the other conditions of Theorem 2.1 are satisfied.

For this, define the function $\mathrm{\Gamma }\left(x\right)={\int }_{0}^{x}\mu \left(t\right)\phantom{\rule{0.2em}{0ex}}dt$. Then (2.38) becomes

$\mathrm{\Gamma }\left(\psi \left(2G\left(fx,gy,hz\right)\right)\right)\le \mathrm{\Gamma }\left(\psi \left(M\left(x,y,z\right)\right)\right)-\mathrm{\Gamma }\left(\phi \left(M\left(x,y,z\right)\right)\right).$

Take ${\psi }_{1}=\mathrm{\Gamma }o\psi$ and ${\phi }_{1}=\mathrm{\Gamma }o\phi$. It is easy to verify that ${\psi }_{1}$ and ${\phi }_{1}$ are altering distance functions.

Taking $g=h$, $T=R=S={I}_{X}$ and $y=z$ in Theorems 2.1 and 2.2, we obtain the following common fixed point result.

Theorem 2.9 Let $\left(X,⪯,G\right)$ be a partially ordered G-complete G-metric space, and let f and g be two self-mappings on X. Suppose that for every comparable elements $x,y\in X$,

$\psi \left(2G\left(fx,gy,gy\right)\right)\le \psi \left(M\left(x,y,y\right)\right)-\phi \left(M\left(x,y,y\right)\right),$
(2.39)

where

$\begin{array}{rl}M\left(x,y,y\right)=& max\left\{G\left(x,y,y\right),G\left(x,fx,fx\right),G\left(y,gy,gy\right),\\ \frac{G\left(x,x,fx\right)+2G\left(y,y,gy\right)}{3}\right\},\end{array}$

and $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Then the pair $\left(f,g\right)$ has a common fixed point z in X provided that the pair $\left(f,g\right)$ is weakly increasing and either

1. a.

f or g is continuous, or

2. b.

X has the sequential limit comparison property.

Taking $f=g$ in the above, we obtain the following common fixed point result.

Theorem 2.10 Let $\left(X,⪯,G\right)$ be a partially ordered complete G-metric space, and let f be a self-mapping on X. Suppose that for every comparable elements $x,y\in X$,

$\psi \left(2G\left(fx,fy,fy\right)\right)\le \psi \left(M\left(x,y,y\right)\right)-\phi \left(M\left(x,y,y\right)\right),$
(2.40)

where

$\begin{array}{rl}M\left(x,y,y\right)=& max\left\{G\left(x,y,y\right),G\left(x,fx,fx\right),G\left(y,fy,fy\right),\\ \frac{G\left(x,x,fx\right)+2G\left(y,y,fy\right)}{3}\right\}\end{array}$

and $\psi ,\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ are altering distance functions. Then f has a fixed point z in X provided that f is weakly increasing and either

1. a.

f is continuous, or

2. b.

X has the sequential limit comparison property.

## 3 Existence of a common solution for a system of integral equations

Motivated by the work in  and , we consider the following system of integral equations:

$\begin{array}{r}x\left(t\right)={\int }_{a}^{b}{K}_{1}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right),\\ x\left(t\right)={\int }_{a}^{b}{K}_{2}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right),\\ x\left(t\right)={\int }_{a}^{b}{K}_{3}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right),\end{array}$
(3.1)

where $b>a\ge 0$. The aim of this section is to prove the existence of a solution for (3.1) which belongs to $X=C\left[a,b\right]$ (the set of all continuous real-valued functions defined on $\left[a,b\right]$) as an application of Corollary 2.4.

The considered problem can be reformulated as follows.

Let $f,g,h:X\to X$ be defined by

$\begin{array}{c}fx\left(t\right)={\int }_{a}^{b}{K}_{1}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ gx\left(t\right)={\int }_{a}^{b}{K}_{2}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \end{array}$

and

$hx\left(t\right)={\int }_{a}^{b}{K}_{3}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds$

for all $x\in X$ and for all $t\in \left[a,b\right]$. Obviously, the existence of a solution for (3.1) is equivalent to the existence of a common fixed point of f, g and h.

Let

$d\left(u,v\right)=\underset{t\in \left[a,b\right]}{max}|u\left(t\right)-v\left(t\right)|.$

Equip X with the G-metric given by

$G\left(u,v,w\right)=max\left\{d\left(u,v\right),d\left(v,w\right),d\left(w,u\right)\right\}$

for all $u,v,w\in X$. Evidently, $\left(X,G\right)$ is a complete G-metric space. We endow X with the partial ordered given by

$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}x\left(t\right)\le y\left(t\right)$

for all $t\in \left[a,b\right]$. It is known that $\left(X,⪯\right)$ has the sequential limit comparison property .

Now, we will prove the following result.

Theorem 3.1 Suppose that the following hypotheses hold:

1. (i)

${K}_{1},{K}_{2},{K}_{3}:\left[a,b\right]×\left[a,b\right]×R\to R$ and $k:\left[a,b\right]\to R$ are continuous;

2. (ii)

For all $t,s\in \left[a,b\right]$ and for all $x\in X$, we have

$\begin{array}{c}{K}_{1}\left(t,s,x\left(s\right)\right)\le {K}_{2}\left(t,s,{\int }_{a}^{b}{K}_{1}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right)\right),\hfill \\ {K}_{2}\left(t,s,x\left(s\right)\right)\le {K}_{3}\left(t,s,{\int }_{a}^{b}{K}_{2}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right)\right),\hfill \end{array}$

and

${K}_{3}\left(t,s,x\left(s\right)\right)\le {K}_{1}\left(t,s,{\int }_{a}^{b}{K}_{3}\left(t,s,x\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds+k\left(t\right)\right).$
1. (iii)

For all $s,t\in \left[a,b\right]$ and for all $x,y\in X$ with $x⪯y$, we have

$|{K}_{i}\left(t,s,x\left(s\right)\right)-{K}_{j}\left(t,s,y\left(s\right)\right)|\le \sqrt{p\left(t,s\right)ln\left(1+|x\left(s\right)-y\left(s\right){|}^{2}\right)},$

where $p:\left[a,b\right]×\left[a,b\right]\to \left[0,\mathrm{\infty }\right)$ is a continuous function satisfying

$sup{\int }_{a}^{b}p\left(s,t\right)\phantom{\rule{0.2em}{0ex}}ds<\frac{1}{4\left(b-a\right)}.$

Then system (3.1) has a solution $x\in X$.

Proof From condition (ii), the ordered pairs $\left(f,g\right)$, $\left(g,h\right)$ and $\left(h,f\right)$ are partially weakly increasing.

Now, let $x,y\in X$ be such that $x⪰y$. From condition (iii), for all $t\in \left[a,b\right]$, we have

$\begin{array}{rl}4|fx\left(t\right)-gy\left(t\right){|}^{2}& \le 4{\left({\int }_{a}^{b}|{K}_{1}\left(t,s,x\left(s\right)\right)-{K}_{2}\left(t,s,x\left(s\right)\right)|\phantom{\rule{0.2em}{0ex}}ds\right)}^{2}\\ \le 4\left({\int }_{a}^{b}{1}^{2}\phantom{\rule{0.2em}{0ex}}ds\right)\left({\int }_{a}^{b}|{K}_{1}\left(t,s,x\left(s\right)\right)-{K}_{2}\left(t,s,x\left(s\right)\right){|}^{2}\phantom{\rule{0.2em}{0ex}}ds\right)\\ \le 4\left(b-a\right)\left({\int }_{a}^{b}p\left(t,s\right)ln\left(1+|x\left(s\right)-y\left(s\right){|}^{2}\right)\phantom{\rule{0.2em}{0ex}}ds\right)\\ \le 4\left(b-a\right)\left({\int }_{a}^{b}p\left(t,s\right)ln\left(1+d{\left(x,y\right)}^{2}\right)\phantom{\rule{0.2em}{0ex}}ds\right)\\ \le 4\left(b-a\right)\left({\int }_{a}^{b}p\left(t,s\right)ln\left(1+G{\left(x,y,z\right)}^{2}\right)\phantom{\rule{0.2em}{0ex}}ds\right)\\ =4\left(b-a\right)\left({\int }_{a}^{b}p\left(t,s\right)\phantom{\rule{0.2em}{0ex}}ds\right)ln\left(1+G{\left(x,y,z\right)}^{2}\right)\\ =4\left(b-a\right)\left({\int }_{a}^{b}p\left(t,s\right)\phantom{\rule{0.2em}{0ex}}ds\right)ln\left(1+M{\left(x,y,z\right)}^{2}\right)\\

Hence,

$\begin{array}{rl}{\left(2d\left(fx,gy\right)\right)}^{2}& ={\left(2\underset{t\in \left[a,b\right]}{sup}|fx\left(t\right)-gy\left(t\right)|\right)}^{2}\\ \le M{\left(x,y,z\right)}^{2}-\left(M{\left(x,y,z\right)}^{2}-ln\left(1+M{\left(x,y,z\right)}^{2}\right)\right).\end{array}$
(3.2)

Similarly, we can show that

$\begin{array}{rl}{\left(2d\left(gy,hz\right)\right)}^{2}& ={\left(2\underset{t\in \left[a,b\right]}{sup}|gy\left(t\right)-hz\left(t\right)|\right)}^{2}\\ \le M{\left(x,y,z\right)}^{2}-\left(M{\left(x,y,z\right)}^{2}-ln\left(1+M{\left(x,y,z\right)}^{2}\right)\right),\end{array}$
(3.3)

and

$\begin{array}{rl}{\left(2d\left(hz,fx\right)\right)}^{2}& ={\left(2\underset{t\in \left[a,b\right]}{sup}|hz\left(t\right)-fx\left(t\right)|\right)}^{2}\\ \le M{\left(x,y,z\right)}^{2}-\left(M{\left(x,y,z\right)}^{2}-ln\left(1+M{\left(x,y,z\right)}^{2}\right)\right).\end{array}$
(3.4)

Therefore, from (3.2), (3.3) and (3.4), we have

$\begin{array}{rl}{\left(2G\left(fx,gy,hz\right)\right)}^{2}& ={\left(2max\left\{d\left(fx,gy\right),d\left(gy,hz\right),d\left(hz,fx\right)\right\}\right)}^{2}\\ =max\left\{{\left(2d\left(fx,gy\right)\right)}^{2},{\left(2d\left(gy,hz\right)\right)}^{2},{\left(2d\left(hz,fx\right)\right)}^{2}\right\}\\ \le M{\left(x,y,z\right)}^{2}-\left(M{\left(x,y,z\right)}^{2}-ln\left(1+M{\left(x,y,z\right)}^{2}\right)\right).\end{array}$

Putting, $\psi \left(t\right)={t}^{2}$, $\phi \left(t\right)={t}^{2}-ln\left(1+{t}^{2}\right)$ and $R={I}_{X}$ in Corollary 2.4, there exists $x\in X$, a common fixed point of f and g and h, which is a solution of (3.1). □

## References

1. Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30: 1–9. 10.1017/S0004972700001659

2. Alber YI, Guerre-Delabriere S: Principle of weakly contractive maps in Hilbert spaces. Advances and Appl. 98. In New Results in Operator Theory. Edited by: Gohberg I, Lyubich Y. Birkhäuser, Basel; 1997:7–22.

3. Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal. 2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1

4. Sessa S: On a weak commutativity condition of mappings in fixed point consideration. Publ. Inst. Math. 1982, 32: 149–153.

5. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9: 771–779. 10.1155/S0161171286000935

6. Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci. 1996, 4: 199–215.

7. Zhang Q, Song Y: Fixed point theory for generalized φ -weak contractions. Appl. Math. Lett. 2009, 22: 75–78. 10.1016/j.aml.2008.02.007

8. Abbas M, Dorić D: Common fixed point theorem for four mappings satisfying generalized weak contractive condition. Filomat 2010, 24(2):1–10. 10.2298/FIL1002001A

9. Aydi H, Karapınar E, Postolache M: Tripled coincidence point theorems for weak φ -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 44

10. Aydi H, Shatanawi W, Postolache M, Mustafa Z, Nazir T: Theorems for Boyd-Wong type contractions in ordered metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 359054

11. Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for $\left(\psi ,\varphi \right)$ -weakly contractive mappings in ordered G -metric spaces. Comput. Math. Appl. 2012, 63(1):298–309. 10.1016/j.camwa.2011.11.022

12. Choudhury BS, Metiya N, Postolache M: A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl. 2013., 2013: Article ID 152

13. Dorić D:Common fixed point for generalized $\left(\psi ,\phi \right)$-weak contractions. Appl. Math. Lett. 2009, 22: 1896–1900. 10.1016/j.aml.2009.08.001

14. Haghi RH, Postolache M, Rezapour S: On T -stability of the Picard iteration for generalized φ -contraction mappings. Abstr. Appl. Anal. 2012., 2012: Article ID 658971

15. Olatinwo MO, Postolache M: Stability results for Jungck-type iterative processes in convex metric spaces. Appl. Math. Comput. 2012, 218(12):6727–6732. 10.1016/j.amc.2011.12.038

16. Moradi S, Fathi Z, Analouee E:Common fixed point of single valued generalized ${\phi }_{f}$-weak contractive mappings. Appl. Math. Lett. 2011, 24(5):771–776. 10.1016/j.aml.2010.12.036

17. Razani A, Parvaneh V, Abbas M:A common fixed point for generalized ${\left(\psi ,\phi \right)}_{f,g}$-weak contractions. Ukr. Math. J. 2012., 63: Article ID 11

18. Shatanawi W, Postolache M: Common fixed point results of mappings for nonlinear contractions of cyclic form in ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 60

19. Shatanawi W, Postolache M: Coincidence and fixed point results for generalized weak contractions in the sense of Berinde on partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 54

20. Shatanawi W, Pitea A: Some coupled fixed point theorems in quasi-partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 153

21. 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 41

22. Abbas M, Nazir T, Radenović S: Common fixed points of four maps in partially ordered metric spaces. Appl. Math. Lett. 2011, 24: 1520–1526. 10.1016/j.aml.2011.03.038

23. Abbas M, Parvaneh V, Razani A: Periodic points of T -Ćirić generalized contraction mappings in ordered metric spaces. Georgian Math. J. 2012, 19(4):597–610.

24. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87(1):109–116. 10.1080/00036810701556151

25. Aghajani A, Radenović S, Roshan JR:Common fixed point results for four mappings satisfying almost generalized $\left(S,T\right)$-contractive condition in partially ordered metric spaces. Appl. Math. Comput. 2012, 218: 5665–5670. 10.1016/j.amc.2011.11.061

26. Ćirić L, Abbas M, Saadati R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 217: 5784–5789. 10.1016/j.amc.2010.12.060

27. Ćirić L, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 131294

28. Ćirić L, Hussain N, Cakić N: Common fixed points for Ćirić type f -weak contraction with applications. Publ. Math. (Debr.) 2010, 76(1–2):31–49.

29. Ćirić Lj, Razani A, Radenović S, Ume JS: Common fixed point theorems for families of weakly compatible maps. Comput. Math. Appl. 2008, 55(11):2533–2543. 10.1016/j.camwa.2007.10.009

30. Ćirić L, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218(6):2398–2406. 10.1016/j.amc.2011.07.005

31. Ćirić L, Samet B, Cakić N, Damjanović B: Coincidence and fixed point theorems for generalized $\left(\psi ,\phi \right)$-weak nonlinear contraction in ordered K -metric spaces. Comput. Math. Appl. 2011, 62: 3305–3316. 10.1016/j.camwa.2011.07.061

32. Esmaily J, Vaezpour SM, Rhoades BE: Coincidence point theorem for generalized weakly contractions in ordered metric spaces. Appl. Math. Comput. 2012, 219: 1536–1548. 10.1016/j.amc.2012.07.054

33. 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.003

34. Nashine HK, Samet B:Fixed point results for mappings satisfying $\left(\psi ,\phi \right)$-weakly contractive condition in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024

35. Nieto JJ, López RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5

36. Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract sets. Proc. Am. Math. Soc. 2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1

37. Nieto JJ, Rodríguez-López R: Existence and uniqueness of fixed points in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 2007, 23: 2205–2212. (Engl. Ser.) 10.1007/s10114-005-0769-0

38. Radenović S, Kadelburg Z: Generalized weak contractions in partially ordered metric spaces. Comput. Math. Appl. 2010, 60: 1776–1783. 10.1016/j.camwa.2010.07.008

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

40. Shatanawi W, Samet B:On $\left(\psi ,\varphi \right)$-weakly contractive condition in partially ordered metric spaces. Comput. Math. Appl. 2011, 62: 3204–3214. 10.1016/j.camwa.2011.08.033

41. Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7(2):289–297.

42. Mustafa Z: Common fixed points of weakly compatible mappings in G -metric spaces. Appl. Math. Sci. 2012, 6(92):4589–4600.

43. Mustafa Z, Awawdeh F, Shatanawi W: Fixed point theorem for expansive mappings in G -metric spaces. Int. J. Contemp. Math. Sci. 2010, 5: 2463–2472.

44. Mustafa Z, Aydi H, Karapınar E: On common fixed points in G -metric spaces using (E.A) property. Comput. Math. Appl. 2012, 64: 1944–1956. 10.1016/j.camwa.2012.03.051

45. Mustafa Z, Khandagjy M, Shatanawi W: Fixed point results on complete G -metric spaces. Studia Sci. Math. Hung. 2011, 48(3):304–319. 10.1556/SScMath.48.2011.3.1170

46. Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorems for mappings on complete G -metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 189870

47. Mustafa Z, Sims B: Fixed point theorems for contractive mapping in complete G -metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 917175

48. Mustafa Z, Sims B: Some remarks concerning D -metric spaces. Proc. Int. Conf. on Fixed Point Theory Appl. 2003, 189–198.

49. Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point results in G -metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 283028

50. Chugh R, Kadian T, Rani A, Rhoades BE: Property P in G -metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 401684

51. 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–801. 10.1016/j.mcm.2010.05.009

52. Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in G -metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 181650

53. Abbas M, Khan AR, Nazir T: Coupled common fixed point results in two generalized metric spaces. Appl. Math. Comput. 2011, 217: 6328–6336. 10.1016/j.amc.2011.01.006

54. Abbas M, 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.026

55. 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: 9383–9395. 10.1016/j.amc.2012.03.022

56. Abbas M, Rhoades BE: Common fixed point results for non-commuting mappings without continuity in generalized metric spaces. Appl. Math. Comput. 2009, 215: 262–269. 10.1016/j.amc.2009.04.085

57. 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. 10.1016/j.mcm.2011.05.059

58. 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.007

59. 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 10.1186/1687-1812-2012-8

60. Kumar M: Compatible maps in G -metric spaces. Int. J. Math. Anal. 2012, 6(29):1415–1421.

61. Obiedat H, Mustafa Z: Fixed point results on a nonsymmetric G -metric spaces. Jordan J. Math. Stat. 2010, 3(2):65–79.

62. Razani A, Parvaneh V: On generalized weakly G -contractive mappings in partially ordered G -metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 701910 10.1155/2012/701910

63. Shatanawi W: Some fixed point theorems in ordered G -metric spaces and applications. Abstr. Appl. Anal. 2011., 2011: Article ID 126205 10.1155/2011/126205

64. Shatanawi W, Postolache M: Some fixed point results for a G -weak contraction in G -metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 815870

65. Shatanawi W, Pitea A: Ω-Distance and coupled fixed point in G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 208

66. Jleli M, Samet B: Remarks on G -metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 210 10.1186/1687-1812-2012-210

67. Samet B, Vetro C, Vetro F: Remarks on G -metric spaces. Int. J. Anal. 2013., 2013: Article ID 917158

68. Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math. Comput. Model. 2011. 10.1016/j.mcm.2011.01.036

69. Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application. Fixed Point Theory Appl. 2010., 2010: Article ID 621492

## Author information

Authors

### Corresponding author

Correspondence to Vahid Parvaneh.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

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

## Rights and permissions

Reprints and Permissions

Mustafa, Z., Parvaneh, V., Abbas, M. et al. Some coincidence point results for generalized $\left(\psi ,\phi \right)$-weakly contractive mappings in ordered G-metric spaces. Fixed Point Theory Appl 2013, 326 (2013). https://doi.org/10.1186/1687-1812-2013-326

• Accepted:

• Published:

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

### Keywords

• coincidence point
• common fixed point
• generalized weak contraction
• generalized metric space
• partially weakly increasing mapping
• altering distance function 