 Research
 Open Access
 Published:
Common fixed point theorems for Geraghty’s type contraction mappings using the monotone property with two metrics
Fixed Point Theory and Applications volume 2015, Article number: 174 (2015)
Abstract
The main aim of this paper is to obtain some new common fixed point theorems for Geraghty’s type contraction mappings using the monotone property with two metrics and to give some examples to illustrate the main results. Further, by using our main results, we prove some results about multidimensional common fixed points. Our results generalize and extend some recent results given by Kadelburg et al. (Fixed Point Theory Appl. 2015:27, 2015) and Choudhurya and Kundu (J. Nonlinear Sci. Appl. 5:259270, 2012).
Introduction and preliminaries
Let Θ denote the class of real functions \(\theta:[0,\infty)\to [0,1)\) satisfying the following condition:
An example of a function in Θ may be given by \(\theta (t)=e^{2t}\) for all \(t>0\) and \(\theta(0)\in[0,1)\). In 1973, Geraghty [1] proved the following theorem, which is a generalization of Banach’s contraction principle:
Theorem 1.1
([1])
Let \((X,d)\) be a complete metric space and \(f:X \to X\) be a selfmapping. Suppose that there exists \(\theta\in\Theta\) such that
for all \(x,y\in X\). Then f has a unique fixed point in X.
Recently, AminiHarandi and Emami [2] extended this result to the setting of partially ordered metric spaces as follows:
Theorem 1.2
([2])
Let \((X,d )\) be a complete partially ordered metric space and \(f:X \to X\) be an increasing selfmapping such that there exists \(x_{0}\in X\) such that \(x_{0}\preceq fx_{0}\). Suppose that there exists \(\theta\in\Theta\) such that
for all \(x,y\in X\) satisfying \(x\preceq y\) or \(x\succeq y\). Then, in each of the following two cases, the mapping f has at least one fixed point in X:

(1)
f is continuous or

(2)
for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all \(n\geq1\).
If, moreover, for all \(x,y\in X\), there exists \(z\in X\) comparable with x and y, then the fixed point of f is unique.
For more generalizations of Theorems 1.1 and 1.2, see [3–5].
On the other hand, several authors have studied fixed point theory in spaces equipped with two metrics (see [6–8]). Especially, Agarwal and O’Regan [6] proved the following:
Let \((X,d')\) be a metric space and d be another metric on X. For any \(x_{0}\in X\) and \(r>0\), let
and let ̅ denote the \(d'\)closure of \(B(x_{0},r)\).
Theorem 1.3
([6])
Let \((X,d')\) be a complete metric space, d be another metric on X, \(x_{0}\in X\), \(r>0\), and \(F:\overline{B(x_{0},r)^{d\prime}}\rightarrow X\) be a mapping. Suppose that there exists \(q\in(0,1)\) such that, for all \(x, y\in\overline{B(x_{0},r)^{d\prime}}\),
In addition, assume that the following three properties hold:

(1)
\(d(x_{0}, Fx_{0})<(1q)r\);

(2)
if \(d\ngeq d'\), assume that F is uniformly continuous from \((B(x_{0}, r),d)\) into \((X, d')\);

(3)
if \(d\neq d'\), assume that F is continuous from \((\overline {B(x_{0}, r)^{d'}}, d)\) into \((X, d')\).
Then F has a fixed point, that is, there exists \(x\in\overline{ B(x_{0}, r)^{d\prime}}\) with \(x=Fx\).
The aim of this paper is to study some new common fixed point theorems for Geraghty’s type contraction mappings using the monotone property with two metrics, which is an important advantage to compare with well known fixed point theorems in metric spaces. Further, we give some examples to illustrate the main results. The main results in this paper generalize, unify, and extend some recent results given by some authors.
Main results
In this section, we prove some fixed point results for generalized contractions on spaces with two metrics.
Throughout this paper, \((X,\preceq)\) denotes a partially ordered set. By \(x\succeq y\), we mean \(y\preceq x\). Let \(f,g:X\rightarrow X\) be two mappings. A mapping f is said to be gnondecreasing (resp., gnonincreasing) if, for all \(x,y\in X\), \(gx\preceq gy\) implies \(fx \preceq fy\) (resp., \(fy \preceq fx\)). If g is the identity mapping, then f is said to be nondecreasing (resp., nonincreasing). Let \(d'\), d be two metrics on X. By \(d < d'\) (resp., \(d\leq d'\)), we mean \(d(x,y) < d'(x,y)\) (resp., \(d(x,y) \leq d'(x,y)\)) for all \(x,y\in X\).
Also, we give some essential concepts which are useful for our main results:
Definition 2.1
([9])
Let \((X,d)\) be a metric space and \(f,g:X\to X\) be two mappings. The mappings g and f are said to be dcompatible if
whenever \(\{x_{n}\}\) is sequences in X such that \(\lim_{n\rightarrow\infty} fx_{n} = \lim_{n\rightarrow\infty} gx_{n}\).
Definition 2.2
([9])
Let \((X,d)\) and \((Y,d')\) be two metric spaces and \(f:X \rightarrow Y\) and \(g:X\rightarrow X\) be two mappings. A mapping f is said to be guniformly continuous on X if, for any real number \(\epsilon> 0\), there exists \(\delta> 0\) such that \(d'(fx,fy) < \epsilon\) whenever \(x, y \in X\) and \(d(gx, gy) < \delta\). If g is the identity mapping, then f is said to be uniformly continuous on X.
Now, we give the main result in this paper.
Theorem 2.3
Let \((X,d',\preceq)\) be a complete partially ordered metric space, d be another metric on X and \(g,f:X\to X\) be two mappings such that f has the gmonotone property. Suppose that the following conditions hold:

(1)
\(g:(X,d')\to(X,d')\) is continuous and \(g(X)\) is \(d'\)closed;

(2)
\(f(X)\subseteq g(X)\);

(3)
there exists \(x_{0}\in X\) such that \(gx_{0}\preceq fx_{0}\);

(4)
there exists \(\theta\in\Theta\) such that
$$ d(fx,fy)\leq\theta\bigl(d(gx,gy)\bigr)d(gx,gy) $$(2.1)for all \(x,y\in X\) with \(gx\preceq gy\) or \(gx\succeq gy\):

(5)
if \(d\ngeq d'\), assume that \(f:(X,d)\to(X,d')\) is guniformly continuous;

(6)
if \(d\neq d'\), assume that \(f:(X,d')\to(X,d')\) is continuous and g and f are \(d'\)compatible;

(7)
if \(d= d'\), assume that (a) f is continuous and g and f are compatible or (b) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all \(n\geq1\).
Then there exists \(u\in X\) such that \(gu=fu\), i.e., g and f have a coincidence point.
Proof
Starting from \(x_{0}\) (the condition (3)) and using \(f(X)\subseteq g(X)\) (the condition (2)), we can construct a sequence \(\{x_{n}\}\) in X such that
for all \(n\in\mathbb{N}\). If \(gx_{n_{0}}=gx_{n_{0}1}\) for some \(n_{0}\in\mathbb{N}\), then \(x_{n_{0}1}\) is a coincidence point of the mappings g and f. Therefore, we assume that, for each \(n\in\mathbb{N}\), \(gx_{n}\ne gx_{n1}\) holds.
By the condition (3), \(gx_{0}\preceq fx_{0}=gx_{1}\) and so the gmonotone property of F implies that \(gx_{1}=fx_{0}\preceq fx_{1}=gx_{2}\). Proceeding by induction, we have \(gx_{n1}\preceq gx_{n}\) for each \(n\in\mathbb{N}\). Hence it follows from the contractive condition (2.1) that
for all \(n\in\mathbb{N}\). Thus the sequence \(\{d_{n}\} := \{d(gx_{n1},gx_{n})\}\) is decreasing and so it follows that \(d_{n}\rightarrow\alpha\) as \(n\rightarrow \infty\) for some \(\alpha\geq0\).
Next, we claim that \(\alpha=0\). Assume on the contrary that \(\alpha >0\). Then it follows from (2.2) that
Letting \(n\rightarrow\infty\), we get \(\theta(d_{n}) \rightarrow1\) as \(n\rightarrow\infty\). Since \(\theta\in\Theta\), we have \(d_{n}\rightarrow0\) as \(n\rightarrow\infty\), which contradicts the assumption \(\alpha>0\). Therefore, we can conclude that \(d_{n}=d(gx_{n1},gx_{n})\rightarrow 0 \) as \(n\rightarrow\infty\).
Now, we show that \(\{gx_{n}\}\) is a Cauchy sequence with respect to d. Suppose that \(\{gx_{n}\}\) is not a Cauchy sequence with respect to d. Then there exists \(\epsilon>0\) for which we can find subsequences \(\{gx_{n_{k}}\}\), \(\{gx_{m_{k}}\}\) of \(\{gx_{n}\}\) such that \(n_{k}>m_{k}\geq k\) satisfying
Using (2.3) and the triangle inequality, we have
Letting \(k\rightarrow\infty\), we have
Again, by the triangle inequality and the contractive condition (2.1), we have
Now, we have
Letting \(k\rightarrow\infty\) and using (2.4), we have \(\theta(r_{k})\rightarrow1\) and so, using the properties of function θ, we obtain \(r_{k} \rightarrow0\) as \(k\rightarrow\infty\), which contradicts \(\epsilon>0\). Therefore, it follows that \(\{gx_{n}\}\) is a Cauchy sequence respect to d.
Also, we claim that \(\{gx_{n}\}\) is a Cauchy sequence with respect to \(d'\). If \(d\ge d'\), it is trivial. Thus, suppose \(d\ngeq d'\). Let \(\overline {\epsilon}>0\) be given. Now, the condition (5) guarantees that there exists δ such that
whenever \(x,y\in X\) and \(d(gx,gy)<\delta\). Since \(\{gx_{n}\}\) is a Cauchy sequence respect to d, there exists \(n_{0}\in\mathbb{N}\) with
whenever \(n,m\ge n_{0}\). Now, (2.5) and (2.6) imply that
whenever \(n,m\ge n_{0}\) and so \(\{gx_{n}\}\) is a Cauchy sequence respect to \(d'\). Since \(g(X)\) is a \(d'\)closed subset of the complete metric space \((X,d')\), there exists \(u=gx \in g(X)\) such that
Finally, we prove that u is a common fixed point of f and g. We consider two cases:
Case I: \(d \neq d'\).
By the \(d'\)compatibility of g and f, we have
Using the triangle inequality, we have
Letting \(n\to\infty\), from (2.7) and the continuity of g and f, it follows that \(d'(gu,fu)=0\), i.e., \(gu=fu\).
Case II: \(d= d'\).
In order to avoid the repetition, we can only consider (b) of the condition (7). In this case, there exists \(x\in X\) such that \(gx_{n}\preceq u=gx\) for each \(n\in\mathbb{N}\). Using (2.1), we have
as \(n\to\infty\). Hence \(gx=fx\). This completes the proof. □
Now, we give some examples to illustrate Theorem 2.3.
Example 2.4
Let \(X=[0,\infty)\subseteq\mathbb{R}\) and the metrics \(d,d':X \times X \rightarrow[0,\infty)\) be defined by
for all \(x,y \in X\), respectively, where L is a constant real number such that \(L\in(1,\infty)\). It is easy to see that \(d< d'\).
Now, we consider the partially order ⪯ in X given by
where ≤ is the usual order. Consider the mappings \(f:X\to X\) and \(g:X\to X\) defined by
for all \(x\in X\), respectively. By using the increasing property of the function logarithm, we see that f has the gmonotone property.
Next, we show that the conditions (1)(7) in Theorem 2.3 hold as follows:
(1) We can easily check that \(g:(X,d') \rightarrow(X,d')\) is continuous. Also, we can see that \(g(X)=[0,\infty)\) is \(d'\)closed.
(2) By the definition of f and g, we can see that \(f(X) = g(X)\).
(3) It is easy to see that there exists a point \(x_{0} \in X\) such that \(gx_{0} \preceq fx_{0}\).
(4) Let \(\theta\in\Theta\) be defined by
Let x, y be arbitrary points in X and suppose that \(gx \preceq gy\). If \(gx=gy\), we have \(x=y\) and hence the contractive condition (2.1) holds for this case. In another case, we have
Then we obtain \(gx=x^{2}\), \(gy=y^{2} \in[0,1] \), and \(x^{2} = gx \leq gy = y^{2}\). Also, we have
Similarly, we can also prove that the condition (2.1) holds for case of \(gx \succeq gy\). Therefore, the condition (4) holds with the function θ.
(5) Since \(d< d'\), we show that a mapping \(f:(X,d) \rightarrow(X,d')\) is guniformly continuous. Let \(\epsilon>0 \) be given and choose \(\delta:= \frac{\epsilon}{L}\). Assume that \(x,y\in X\) with \(d(gx,gy) < \delta= \frac{\epsilon}{L}\). Then we have
This implies that \(f:(X,d) \rightarrow(X,d')\) is guniformly continuous.
(6) Since \(d\neq d'\), we prove that \(f:(X,d') \rightarrow(X,d')\) is continuous and g and f are \(d'\)compatible. It is easy to see that \(f:(X,d') \rightarrow(X,d')\) is continuous. So we will only show that g and f are \(d'\)compatible. Let \(\{x_{n}\}\) be a sequence in X such that
Then we obtain \(\ln (1+\frac{a}{2} ) =a\) and so it follows that \(a=0\). Now, we have
as \(n\to\infty\).
(7) Since \(d\neq d'\), we have nothing to do to show this condition.
Consequently, all the conditions of Theorem 2.3 hold. Therefore, g and f have a coincidence point and, further, a point 0 is a coincidence point of the mappings g and f.
Example 2.5
Let \(X=[0,\infty)\subseteq\mathbb{R}\) and the metrics \(d,d':X \times X \rightarrow[0,\infty)\) be defined by
and
for all \(x,y \in X\), respectively. It is easy to see that \(d\geq d'\).
Now, we consider the partially order ⪯ in X given by
where ≤ is the usual order. Consider the mappings \(f:X\to X\) and \(g:X\to X\) defined by
for all \(x\in X\), respectively. It is easy to see that f has the gmonotone property.
Next, we show that the conditions (1)(7) in Theorem 2.3 hold as follows:
(1) We can easily check that \(g:(X,d') \rightarrow(X,d')\) is continuous. Also, we can see that \(g(X)=[0,\infty)\) is \(d'\)closed.
(2) By the definition of f and g, we can see that \(f(X) = g(X)\).
(3) It is easy to see that there exists a point \(x_{0} \in X\) such that \(gx_{0} \preceq fx_{0}\).
(4) Let \(\theta\in\Theta\) be defined by
Let x, y be arbitrary points in X and suppose that \(gx \preceq gy\). If \(gx=gy\), we have \(x=y\) and hence the contractive condition (2.1) holds for this case. In another case, we have
Then we obtain \(x,y \in[0,1/2] \) and \(x \leq y \). Also, we have
Similarly, we can also prove that the condition (2.1) holds for case of \(gx \succeq gy\). Therefore, the condition (4) holds with the function θ.
(5) It follows from \(d \geq d'\) that we have nothing to do to show this condition.
(6) Since \(d\neq d'\), we will prove that \(f:(X,d') \rightarrow(X,d')\) is continuous and g and f are \(d'\)compatible. It is easy to see that \(f:(X,d') \rightarrow(X,d')\) is continuous. So we will only show that g and f are \(d'\)compatible. Suppose that \(\{x_{n}\}\) is a sequence in X such that
for some \(a\in X\). Now, we have
for all \(n\in\mathbb{N}\). This implies that \(d'(gfx_{n},fgx_{n}) \rightarrow0\) as \(n\to\infty\).
(7) Since \(d\neq d'\), we have nothing to do to show this condition.
Consequently, all the conditions of Theorem 2.3 hold. Therefore, g and f have a coincidence point and, further, the points 0 and 1 are coincidence points of the mappings g and f.
Putting \(g=I_{X}\), where \(I_{X}\) is the identity mapping on X in Theorem 2.3, we obtain the following:
Corollary 2.6
Let \((X,d',\preceq)\) be a complete partially ordered metric space, d be another metric on X and \(f:X \to X\) be a monotone mapping. Suppose that the following hold:

(1)
there exists \(x_{0}\in X\) such that \(x_{0}\preceq fx_{0}\);

(2)
there exists \(\theta\in\Theta\) such that
$$ d(fx,fy)\leq\theta\bigl(d(x,y)\bigr)d(x,y) $$(2.8)for all \(x,y\in X\) with \(x\preceq y\) or \(x\succeq y\);

(3)
if \(d\ngeq d'\), assume that \(f:(X,d)\to(X,d')\) is uniformly continuous;

(4)
if \(d\neq d'\), assume that \(f:(X,d)\to(X,d)\) is continuous;

(5)
if \(d= d'\), then (a) f is continuous or (b) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all n.
Then there exists \(u\in X\) such that \(u=fu\), i.e., f has a fixed point.
Taking \(d=d'\) in Theorem 2.3, we have the following:
Theorem 2.7
Let \((X,d,\preceq)\) be a complete partially ordered metric space and \(g:X\to X\), \(f:X \to X\) be two mappings such that f has the gmonotone property. Suppose that the following hold:

(1)
g is continuous and \(g(X)\) is closed;

(2)
\(f(X)\subseteq g(X)\);

(3)
there exists \(x_{0}\in X\) such that \(gx_{0}\preceq fx_{0}\);

(4)
there exists \(\theta\in\Theta\) such that
$$ d(fx,fy)\leq\theta\bigl(d(gx,gy)\bigr)d(gx,gy) $$(2.9)for all \(x,y\in X\) with \(gx\preceq gy\) or \(gx\succeq gy\);

(5)
(a) f is continuous and g and f are compatible or (b) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all n.
Then there exists \(u\in X\) such that \(gu=fu\), i.e., g and f have a coincidence point.
Theorem 2.8
In addition to the hypotheses of Theorem 2.3, assume that

(8)
for any \(x,u\in X\), there exists \(y\in X\) such that fy is comparable to both fx and fu.
If f and g are \(d'\)compatible, then g and f have a common fixed point, i.e., there exists a point \(p\in X\) such that \(p=gp=fp\).
Proof
Theorem 2.3 implies that there exists a coincidence point \(x\in X\), that is, \(gx=fx\). Suppose that there exists another coincidence point \(u\in X\) and hence \(gu=fu\).
Now, we prove that \(gx=gu\). In fact, from the condition (8), it follows that there exists \(y\in X\) such that fy is comparable to both fx and fu. Put \(y_{0}=y\) and, analogously to the proof of Theorem 2.3, choose a sequence \(\{y_{n}\}\) in X satisfying
for all \(n\in\mathbb{N}\). Starting from \(x_{0}=x\) and \(u_{0}=u\), choose the sequences \(\{x_{n}\}\) and \(\{u_{n}\}\) satisfying \(gx_{n}=fx_{n1}\) and \(gu_{n}=fu_{n1}\) for each \(n\in\mathbb {N}\). Taking into account the properties of coincidence points, it is easy to see that it can be done so that \(x_{n}=x\) and \(u_{n}=u\), i.e.,
for all \(n\in\mathbb{N}\). Since \(fx=gx\) and \(fy=gy_{1}\) are comparable, then \(gx\preceq gy_{n}\) or \(gy_{n}\preceq gx\) for all \(n\in \mathbb{N}\). Thus we can apply the contractive condition (2.1) to obtain
for all \(n\in\mathbb{N}\). Therefore, we can show that the sequence \(\{d_{n}\}:=\{d(gx,gy_{n})\}\) is decreasing and hence \(d_{n}\rightarrow\alpha\) as \(n\rightarrow\infty\) for some \(\alpha \geq0\).
Now, we prove that \(\alpha=0\). Assume that \(\alpha>0\). Then it follows from (2.10) that
Letting \(n\rightarrow\infty\) in the above inequality, we have \(\theta( d_{n} ) \rightarrow1\) as \(n\rightarrow\infty\). By the property \((\theta_{2})\) of \(\theta\in\Theta\), we have \(d_{n}\rightarrow0\) as \(n\rightarrow\infty\), which contradicts the assumption \(\alpha>0\). Therefore, we can conclude that \(d(gx,gy_{n})\rightarrow 0 \) as \(n\rightarrow\infty\). Similarly, we can prove that \(d(gu,gy_{n})\rightarrow0 \) as \(n\rightarrow\infty\). By the triangle inequality, we have
for all \(n\in\mathbb{N}\). Letting \(n\rightarrow\infty\) in the above inequality, it follows that \(d(gx,gu)=0\). Therefore, we have \(gx=gu\).
Now, let \(p:=gx\). Hence we have \(gp=ggx=gfx\). By the definition of the sequence \(\{x_{n}\}\), we have \(gx_{n}=fx=fx_{n1}\) for all \(n\in\mathbb{N}\) and so
with respect to \(d'\). Since g and f are \(d'\)compatible, we have
that is, \(gfx=fgx\). Therefore, we have \(gp=gfx=fgx=fp\). This implies that p is another coincidence point of the mappings f and g. By the property we have just proved, it follows that \(fp=gp=gx=p\) and so p is a common fixed point of g and f. This completes the proof. □
Some particular cases
First, we give some definitions for the main results in this section.
Definition 3.1
Let \(({X},\preceq)\) be a partially ordered set and \(F:X\times X\to X\), \(g:X\to X\) be two mappings. The mapping F is said to have the gmonotone property if F is monotone gnondecreasing in both of its arguments, that is, for any \(x,y\in X\),
and
If, in the previous relations, g is the identity mapping, then F is said to have the monotone property.
Definition 3.2
Let X be a nonempty set and \(F:X\times X\rightarrow X\), \(g:X\rightarrow X\) be two mappings. An element \((x,y)\in X\times X\) is called:
 (C_{1}):

a coupled fixed point of F if \(x=F(x,y)\) and \(y=F(y,x)\);
 (C_{2}):

a coupled coincidence point of g and F if \(gx=F(x,y)\) and \(gy=F(y,x)\) and, in this case, a point \((gx,gy)\) is called a coupled point of coincidence;
 (C_{3}):

a common coupled fixed point of g and F if \(x=gx=F(x,y)\) and \(y=gy=F(y,x)\).
Definition 3.3
([12])
Let \((X,d)\) be a metric space. Two mappings \(g:X\to X\) and \(F:X\times X\to X\) are said to be dcompatible if
whenever \(\{x_{n}\}\) and \(\{y_{n}\}\) are the sequences in X such that \(\lim_{n\rightarrow\infty}F(x_{n},y_{n})= \lim_{n\rightarrow\infty}gx_{n}\) and \(\lim_{n\rightarrow\infty}F(y_{n},x_{n})=\lim_{n\rightarrow\infty}gy_{n}\).
Now, we prove some results to show how coupled notions (as the compatibility) can be reduced to the unidimensional case using the mappings defined as follows:
Let X be a nonempty set and \(F:X \times X\rightarrow X\), \(g:X\rightarrow X\) be two mappings. Define two mappings \(T_{F}^{2},G^{2}:X \times X\rightarrow X \times X\) by
and
for all \(x,y\in X\), respectively.
For instance, the following lemma guarantees that the 2dimensional notion of common fixed coincidence points can be interpreted in terms of two mappings \(T_{F}^{2}\) and \(G^{2}\).
Lemma 3.4
Let X be a nonempty set and \(F:X \times X \rightarrow X\) and \(g:X\rightarrow X\) be two mappings. Then s point \((x_{1},x_{2})\in X \times X\) is:

(1)
a coupled fixed point of F if and only if it is a fixed point of the mapping \(T_{F}^{2}\);

(2)
a coupled coincidence point of F and g if and only if it is a coincidence point of two mappings \(T_{F}^{2}\) and \(G^{2}\);

(3)
a coupled fixed point of F and g if and only if it is a common fixed point of two mappings \(T_{F}^{2}\) and \(G^{2}\).
Proof
In order to avoid the repetition, we will only show the proof in the case of coupled fixed point. For any \((x_{1},x_{2})\in X \times X\), we obtain
□
Now, we show how to use Theorem 2.3 in order to deduce coupled fixed point results.
Theorem 3.5
Let \((X,d',\preceq)\) be a complete partially ordered metric space, d be another metric on X and \(g:X\to X\), \(F:X\times X\to X\) be two mappings such that F has the gmonotone property. Suppose that the following conditions hold:

(1)
\(g:(X,d')\to(X,d')\) is continuous and \(g(X)\) is \(d'\)closed;

(2)
\(F(X\times X)\subseteq g(X)\);

(3)
there exist \(x_{0},y_{0}\in X\) such that \(gx_{0}\preceq F(x_{0},y_{0})\) and \(gy_{0}\preceq F(y_{0},x_{0})\);

(4)
there exists \(\theta\in\Theta\) such that
$$ d\bigl(F(x,y),F(u,v)\bigr)\leq\theta\bigl(\max\bigl\{ d(gx,gu),d(gy,gv)\bigr\} \bigr)\max\bigl\{ d(gx,gu),d(gy,gv)\bigr\} $$(3.3)for all \(x,y,u,v\in X\) with \(gx\preceq gu\) and \(gy\preceq gv\) or \(gx\succeq gu\) and \(gy\succeq gv\);

(5)
if \(d\ngeq d'\), assume that \(F:(X,d)\times(X,d)\to(X,d')\) is guniformly continuous;

(6)
if \(d\neq d'\), assume that \(F:(X,d')\times(X,d')\to (X,d')\) is continuous and g and F are \(d'\)compatible;

(7)
if \(d= d'\), assume that (a) F is continuous and g and F are compatible or (b) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all \(n\geq1\).
Then there exist \(u,v\in X\) such that \(gu=F(u,v)\) and \(gv=F(v,u)\), i.e., g and F have a coupled coincidence point.
Proof
It is only necessary to apply Theorem 2.3 to the mappings \(T_{F}^{2}\) and \(G^{2}\) in complete partially ordered metric space \((X\times X,D',\preceq)\) and metric space \((X\times X,D)\), where
and
for all \((x,y),(u,v) \in X \times X\). For example, the \(D'\)compatibility:
This completes the proof. □
Taking \(d=d'\) in Theorem 3.5, we get the following result in [13]:
Corollary 3.6
([13], Theorem 3.1)
Let \((X,d,\preceq)\) be a complete partially ordered metric space and \(g:X\to X\), \(F:X\times X\to X\) be two mappings such that F has the gmonotone property. Suppose that the following hold:

(1)
g is continuous and \(g(X)\) is closed;

(2)
\(F(X\times X)\subseteq g(X)\);

(3)
there exist \(x_{0},y_{0}\in X\) such that \(gx_{0}\preceq F(x_{0},y_{0})\) and \(gy_{0}\preceq F(y_{0},x_{0})\);

(4)
there exists \(\theta\in\Theta\) such that
$$ d\bigl(F(x,y),F(u,v)\bigr)\leq\theta\bigl(\max\bigl\{ d(gx,gu),d(gy,gv)\bigr\} \bigr)\max\bigl\{ d(gx,gu),d(gy,gv)\bigr\} $$(3.4)for all \(x,y,u,v\in X\) with \(gx\preceq gu\) and \(gy\preceq gv\) or \(gx\succeq gu\) and \(gy\succeq gv\);

(5)
(a) F is continuous and g and F are compatible or (b) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all \(n\geq1\).
Then there exist \(u,v\in X\) such that \(gu=F(u,v)\) and \(gv=F(v,u)\), i.e., g and F have a coupled coincidence point.
Definition 3.7
Let \(({X},\preceq)\) be a partially ordered set and \(F:X\times X\to X\), \(g:X\to X\) be two mappings. The mapping F is said to have the gmixed monotone if F is gnondecreasing in its first argument and gnonincreasing in its second one, that is, for any \(x,y\in X\),
and
If, in the previous relations, g is the identity mapping, then F is said to have the mixed monotone property.
Now, we show how to use Theorem 2.3 in order to deduce coupled fixed point results with the gmixed monotone properties.
Theorem 3.8
Let \((X,d',\preceq)\) be a complete partially ordered metric space, d be another metric on X and \(g:X\to X\), \(F:X\times X\to X\) be two mappings such that F has the gmixed monotone property. Suppose that the following hold:

(1)
\(g:(X,d')\to(X,d')\) is continuous and \(g(X)\) is \(d'\)closed;

(2)
\(F(X\times X)\subseteq g(X)\);

(3)
there exist \(x_{0},y_{0}\in X\) such that \(gx_{0}\preceq F(x_{0},y_{0})\) and \(gy_{0}\succeq F(y_{0},x_{0})\);

(4)
there exists \(\theta\in\Theta\) such that
$$ d\bigl(F(x,y),F(u,v)\bigr)\leq\theta \biggl(\frac{d(gx,gu)+d(gy,gv)}{2} \biggr) \frac {d(gx,gu)+d(gy,gv)}{2} $$(3.5)for all \(x,y,u,v\in X\) satisfying \(gx\preceq gu\) and \(gy\succeq gv\) or \(gx\succeq gu\) and \(gy\succeq gv\);

(5)
if \(d\ngeq d'\), assume that \(F:(X,d)\times(X,d)\to(X,d')\) is guniformly continuous;

(6)
if \(d\neq d'\), assume that \(F:(X,d')\times(X,d')\to (X,d')\) is continuous and g and F are \(d'\)compatible;

(7)
if \(d= d'\), assume that (a) F is continuous and g and F are compatible or (b1) for any nondecreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\preceq x\) for all \(n \in\mathbb{N}\) and (b2) for any nonincreasing sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\in X\) as \(n\to\infty\), then \(x_{n}\succeq x\) for all \(n \in\mathbb{N}\).
Then there exist \(u,v\in X\) such that \(gu=F(u,v)\) and \(gv=F(v,u)\), i.e., g and F have a coupled coincidence point.
Proof
It is only necessary to apply Theorem 2.3 to the mappings \(T_{F}^{2}\) and \(G^{2}\) in complete partially ordered metric space \((X\times X,D',\preceq)\) and metric space \((X\times X,D)\), where
and
for all \((x,y),(u,v) \in X \times X\). This completes the proof. □
Remark 3.9
In the above result, if g is the identity mapping and \(d=d'\), then we obtain Theorem 2.1 in [14].
References
 1.
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604608 (1973)
 2.
AminiHarandi, A, Emami, H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 72, 22382242 (2010)
 3.
Eshaghi Gordji, M, Ramezani, M, Cho, YJ, Pirbavafa, S: A generalization of Geraghty’s theorem in partially ordered metric spaces and application to ordinary differential equations. Fixed Point Theory Appl. 2012, 74 (2012)
 4.
La Rosa, V, Vetro, P: Fixed points for Geraghtycontractions in partial metric spaces. J. Nonlinear Sci. Appl. 7, 110 (2014)
 5.
Mongkolkeha, C, Cho, YJ, Kumam, P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013, 180 (2013)
 6.
Agarwal, RP, O’Regan, D: Fixed point theory for generalized contractions on spaces with two metrics. J. Math. Anal. Appl. 248, 402414 (2000)
 7.
Maia, MG: Un’obsservazione sulle contrazioni metriche. Rend. Semin. Mat. Univ. Padova 40, 139143 (1968)
 8.
Precup, R: Discrete continuation method for boundary value problems on bounded sets in Banach spaces. J. Comput. Appl. Math. 113, 267281 (2000)
 9.
Jungck, G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9, 771779 (1986)
 10.
Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 13791393 (2006)
 11.
Lakshmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 43414349 (2009)
 12.
Choudhury, BS, Kundu, A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 73, 25242531 (2010)
 13.
Kadelburg, Z, Kumam, P, Radenovic, S, Sintunavarat, W: Common coupled fixed point theorems for Geraghtytype contraction mappings using monotone property. Fixed Point Theory Appl. 2015, 27 (2015)
 14.
Choudhurya, BS, Kundu, A: On coupled generalized Banach and Kannan type contractions. J. Nonlinear Sci. Appl. 5, 259270 (2012)
Acknowledgements
The second author would like to thank the Thailand Research Fund and Thammasat University under Grant No. TRG5780013 for financial support during the preparation of this manuscript. Also, Yeol Je Cho was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT and future Planning (2014R1A2A2A01002100).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
MartínezMoreno, J., Sintunavarat, W. & Cho, Y.J. Common fixed point theorems for Geraghty’s type contraction mappings using the monotone property with two metrics. Fixed Point Theory Appl 2015, 174 (2015) doi:10.1186/s136630150426y
Received
Accepted
Published
DOI
Keywords
 coincidence point
 common fixed point
 Geraghty’s type contraction
 mixed monotone property
 partially ordered set