 Research
 Open Access
 Published:
On coupled coincidence point theorems on partially ordered Gmetric spaces without mixed gmonotone
Journal of Inequalities and Applications volume 2014, Article number: 150 (2014)
Abstract
In this work, we prove the existence of a coupled coincidence point theorem of nonlinear contraction mappings in Gmetric spaces without the mixed gmonotone property and give some examples of a nonlinear contraction mapping, which is not applied to the existence of coupled coincidence point by using the mixed monotone property. We also show the uniqueness of a coupled coincidence point of the given mapping. Further, we apply our results to the existence and uniqueness of a coupled coincidence point of the given mapping in partially ordered Gmetric spaces.
1 Introduction
The existence of a fixed point for the contraction type of mappings in partially ordered metric spaces has been studied by Ran and Reurings [1] and they established some new results for contractions in partially ordered metric spaces and presented applications to matrix equations. Later, Nieto and RodriguezLopez [2, 3] and Agarwal et al. [4] presented some new results for contractions in partially ordered metric spaces. Examples of extensions and applications of these works see in [5–9].
The concept of coupled fixed point was introduced by Guo and Lakshmikantham [10]. Later, Bhaskar and Lakshmikantham [11] introduced the concept of mixed monotone property for contractive operators in partially ordered metric spaces. They also gave some applications in the existence and uniqueness of the coupled fixed point theorems for mappings which satisfy the mixed monotone property. Lakshimikantham and Ćirić [12] extended the results in [11] by defining the mixed gmonotone and to study the existence and uniqueness of coupled coincidence point for such mapping which satisfy the mixed monotone property in partially ordered metric space. As a continuation of this work, many authors conducted research on the coupled fixed point theory and coupled coincidence point theory in partially ordered metric spaces and different spaces. For example see [13–47].
Recently, Sintunavarat et al. [45, 46] proved some coupled fixed point theorems for nonlinear contractions without mixed monotone property and extended some coupled fixed point theorems of Bhaskar and Lakshmikantham [11] by using the concept of Finvariant set due to Samet and Vetro [48]. Later, in 2013, Batra and Vashistha [19] introduced the concept of (F,g)invariant set which is a generalization of an Finvariant set introduced by Samet and Vetro [48] and proved theorems on the existence of coupled fixed points for nonlinear contractions under cdistance in cone metric spaces having an (F,g)invariant subset. Very recently, Charoensawan and Klanarong [25] proved theorems on the existence of coupled coincidence points in partially ordered metric spaces without mixed gmonotone property which extended some coupled fixed point theorems of Sintunavarat et al. [45]. They also proved uniqueness of coupled common fixed point theorems for nonlinear contractions.
In 2006, Mustafa and Sims [49] introduced the notion of a Gmetric spaces as a generalization of the concept of a metric space and proved the analog of the Banach contraction mapping principle in the context of Gmetric spaces. Following this initial research, many authors discussed research on the fixed point theory in partially ordered Gmetric space (see, e.g., [50–66]).
Recently, Jleli and Samet [54] showed the weakness of the fixed point theory in Gmetric by introducing the concept of a quasimetric space and showed that the result of Mustafa et al. [57] can be deduced by some wellknown results in the literature in the setting of a usual (quasi) metric space. Later, Samet et al. [63] established some propositions to show that many fixed point theorems on (nonsymmetric) Gmetric spaces given recently by many authors follow directly from wellknown theorems on metric spaces. However, Karapinar and Agarwal [55] noticed that the techniques used in [54, 63] are valid if the contraction condition in the statement of the theorem can be expressed in two variables and they proved some theorems on the existence and uniqueness of a common fixed point for which the techniques of the papers [54, 63] are not applicable.
In recent times, coupled fixed point and coupled coincidence point theory has been developed in partially ordered Gmetric space. Some authors have studied coupled fixed point theory. For example, Choudhury and Maity [27] proved the existence of a coupled fixed point theorem of nonlinear contraction mappings with mixed monotone property in partially ordered Gmetric space. Later, Abbas et al. [13] extended the results of a coupled fixed point theorem for a mixed monotone mapping obtained by Choudhury and Maity [27].
On the other hand, some authors have studied coupled coincidence point theory in partially ordered Gmetric space. In 2011, Aydi et al. [15] established coupled coincidence and coupled common fixed point results for a mixed gmonotone mapping satisfying nonlinear contractions in a partially ordered Gmetric space. They generalized the results obtained by Choudhury and Maity [27]. Later, Karapinar et al. [34] extended the results of coupled coincidence and coupled common fixed point theorem for a mixed gmonotone mapping obtained by Aydi et al. [15]. As a continuation of this trend, many authors have studied coupled coincidence point and coupled common fixed point results for a mixed gmonotone mapping satisfying nonlinear contractions in a partially ordered Gmetric space (see, for example, [16–18, 24, 26, 28, 34, 43, 44, 50, 66]). However, very recently, Agarwal and Karapinar [50] introduced the concept of gordered completeness and showed that the weaknesses of some of the coupled fixed point theorems and coupled coincidence point theorems in [13, 15, 26, 27, 43, 67] are in fact immediate consequences of wellknown fixed point theorems in the literature.
In this work, we generalize and extend the coupled coincidence point theorem of nonlinear contraction mappings in partially ordered Gmetric spaces without the mixed gmonotone property.
2 Preliminaries
In this section, we give some definitions, proposition, examples, and remarks which are useful for the main results in this paper. Throughout this paper, (X,\le ) denotes a partially ordered set with the partial order ≤. By x\le y, we mean y\ge x. A mapping f:X\to X is said to be nondecreasing (resp., nonincreasing) if, for all x,y\in X, x\le y implies f(x)\le f(y) (resp. f(y)\ge f(x)).
Definition 2.1 [49]
Let X be a nonempty set, and G:X\times X\times X\to {\mathbb{R}}^{+} be a function satisfying the following properties:
(G1) G(x,y,z)=0 if x=y=z.
(G2) 0<G(x,x,y) for all x,y\in X with x\ne y.
(G3) G(x,x,y)\le G(x,y,z) for all x,y,z\in X with y\ne z.
(G4) G(x,y,z)=G(x,z,y)=G(y,z,x)=\cdots (symmetry in all three variables).
(G5) G(x,y,z)\le G(x,a,a)+G(a,y,z) for all x,y,z,a\in X (rectangle inequality).
Then the function G is called a generalized metric, or, more specially, a Gmetric on X, and the pair (X,G) is called a Gmetric space.
Example 2.2 Let (X,d) be a metric space. The function G:X\times X\times X\to [0,+\mathrm{\infty}), defined by G(x,y,z)=d(x,y)+d(y,z)+d(z,x), for all x,y,z\in X, is a Gmetric space on X.
Definition 2.3 [49]
Let (X,G) be a Gmetric space, and let ({x}_{n}) be a sequence of points of X. We say that ({x}_{n}) is Gconvergent to x\in X if {lim}_{n,m\to \mathrm{\infty}}G(x,{x}_{n},{x}_{m})=0, that is, for any \epsilon >0, there exists N\in \mathbb{N} such that G(x,{x}_{n},{x}_{m})<\epsilon, for all n,m\ge N. We call x the limit of the sequence and write {x}_{n}\to x or {lim}_{n\to \mathrm{\infty}}{x}_{n}=x.
Proposition 2.4 [49]
Let (X,G) be a Gmetric space; the following are equivalent.

(1)
({x}_{n}) is Gconvergent to x.

(2)
G({x}_{n},{x}_{n},x)\to 0 as n\to +\mathrm{\infty}.

(3)
G({x}_{n},x,x)\to 0 as n\to +\mathrm{\infty}.

(4)
G({x}_{n},{x}_{m},x)\to 0 as n,m\to +\mathrm{\infty}.
Definition 2.5 [49]
Let (X,G) be a Gmetric space. A sequence ({x}_{n}) is called a GCauchy sequence if, for any \epsilon >0, there exists N\in \mathbb{N} such that G({x}_{n},{x}_{m},{x}_{l})<\epsilon, for all n,m,l\ge N. That is, G({x}_{n},{x}_{m},{x}_{l})\to 0 as n,m,l\to +\mathrm{\infty}.
Proposition 2.6 [49]
Let (X,G) be a Gmetric space, the following are equivalent:

(1)
the sequence ({x}_{n}) is GCauchy;

(2)
for any \epsilon >0, there exists N\in \mathbb{N} such that G({x}_{n},{x}_{m},{x}_{m})<\epsilon, for all n,m\ge N.
Proposition 2.7 [49]
Let (X,G) be a Gmetric space. A mapping f:X\to X is Gcontinuous at x\in X if and only if it is Gsequentially continuous at x, that is, whenever ({x}_{n}) is Gconvergent to x, (f({x}_{n})) is Gconvergent to f(x).
Definition 2.8 [49]
A Gmetric space (X,G) is called Gcomplete if every GCauchy sequence is Gconvergent in (X,G).
Definition 2.9 [27]
Let (X,G) be a Gmetric space. A mapping F:X\times X\to X is said to be continuous if for any two Gconvergent sequences ({x}_{n}) and ({y}_{n}) converging to x and y, respectively, (F({x}_{n},{y}_{n})) is Gconvergent to F(x,y).
The concept of a mixed monotone property and a coupled fixed point have been introduced by Bhaskar and Lakshmikantham in [11].
Definition 2.10 [11]
Let (X,\le ) be a partially ordered set and F:X\times X\to X. We say F has the mixed monotone property if for any x,y\in X
and
Definition 2.11 [11]
An element (x,y)\in X\times X is called a coupled fixed point of a mapping F:X\times X\to X if F(x,y)=x and F(y,x)=y.
Lakshmikantham and Ćirić in [12] introduced the concept of a mixed gmonotone mapping and a coupled coincidence point.
Definition 2.12 [12]
Let (X,\le ) be a partially ordered set and F:X\times X\to X and g:X\to X. We say F has the mixed gmonotone property if for any x,y\in X
and
Definition 2.13 [12]
An element (x,y)\in X\times X is called a coupled coincidence point of a mapping F:X\times X\to X and g:X\to X if F(x,y)=g(x) and F(y,x)=g(y).
Definition 2.14 [12]
Let X be a nonempty set and F:X\times X\to X and g:X\to X. We say F and g are commutative if g(F(x,y))=F(g(x),g(y)) for all x,y\in X.
Now, we give the notion of an {F}^{\ast}invariant set and an ({F}^{\ast},g)invariant set which is useful for our main results.
Definition 2.15 Let (X,d) be a metric space and F:X\times X\to X be mapping. Let M be a nonempty subset of {X}^{6}. We say that M is an {F}^{\ast}invariant subset of {X}^{6} if and only if, for all x,y,z,u,v,w\in X,

1.
(x,u,y,v,z,w)\in M\iff (w,z,v,y,u,x)\in M;

2.
(x,u,y,v,z,w)\in M\Rightarrow (F(x,u),F(u,x),F(y,v),F(v,y),F(z,w),F(w,z))\in M.
Definition 2.16 Let (X,d) be a metric space and F:X\times X\to X and g:X\to X are given mapping. Let M be a nonempty subset of {X}^{6}. We say that M is an ({F}^{\ast},g)invariant subset of {X}^{6} if and only if, for all x,y,z,u,v,w\in X,

1.
(x,u,y,v,z,w)\in M\iff (w,z,v,y,u,x)\in M;

2.
(g(x),g(u),g(y),g(v),g(z),g(w))\in M\Rightarrow (F(x,u),F(u,x),F(y,v),F(v,y),F(z,w),F(w,z))\in M.
Definition 2.17 Let (X,d) be a metric space and M be a subset of {X}^{6}. We say that M satisfies the transitive property if and only if, for all x,y,w,z,a,b,c,d,e,f\in X,
Remark

1.
The set M={X}^{6} is trivially ({F}^{\ast},g)invariant, which satisfies the transitive property.

2.
Every {F}^{\ast}invariant set is ({F}^{\ast},{I}_{X})invariant when {I}_{X} denote identity map on X.
Example 2.18 Let (X,\le ) be a partially ordered set and suppose there is a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X and g:X\to X be a mapping satisfying the mixed gmonotone property. Define a subset M\subseteq {X}^{6} by M=\{(a,b,c,d,e,f)\in {X}^{6},a\ge c\ge e,b\le d\le f\}. Then M is an ({F}^{\ast},g)invariant subset of {X}^{6}, which satisfies the transitive property.
Example 2.19 Let X=R and F:X\times X\to X be defined by F(x,y)=1{x}^{2}. Let g:X\to X be given by g(x)=x1. Then it is easy to show that M=\{(x,0,0,0,0,w)\in {X}^{6}:x=w\} is an ({F}^{\ast},g)invariant subset of {X}^{6} but not an {F}^{\ast}invariant subset of {X}^{6} as (1,0,0,0,0,1)\in M but (F(1,0),F(0,1),F(0,0),F(0,0),F(0,1),F(1,0))=(0,1,1,1,1,0)\notin M.
Let Φ denote the set of functions \varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) satisfying

1.
{\varphi}^{1}(\{0\})=\{0\},

2.
\varphi (t)<t for all t>0,

3.
{lim}_{r\to {t}^{+}}\varphi (r)<t for all t>0.
Lemma 2.20 [12]
Let \varphi \in \mathrm{\Phi}. For all t>0, we have {lim}_{n\to \mathrm{\infty}}{\varphi}^{n}(t)=0.
Karapinar et al. [34] proved the following theorem.
Theorem 2.21 [34]
Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G) is a complete Gmetric space. Suppose that there exist \varphi \in \mathrm{\Phi}, F:X\times X\to X, and g:X\to X such that
for all x,y,z,u,v,w\in X for which g(x)\ge g(y)\ge g(z) and g(u)\le g(v)\le g(w).
Suppose also that F is continuous and has the mixed gmonotone property, F(X\times X)\subseteq G(X) and g is continuous and commutes with F. If there exist {x}_{0},{y}_{0}\in X such that
then there exist (x,y)\in X\times X such that g(x)=F(x,y) and g(y)=F(y,x).
Definition 2.22 [34]
Let (X,\le ) be a partially ordered set and G be a Gmetric on X. We say that (X,G,\le ) is regular if the following conditions hold:

1.
if a nondecreasing sequence ({x}_{n})\to x, then {x}_{n}\le x for all n,

2.
if a nonincreasing sequence ({y}_{n})\to y, then y\le {y}_{n} for all n.
Theorem 2.23 [34]
Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G,\le ) is regular. Suppose that there exist \varphi \in \mathrm{\Phi}, F:X\times X\to X, and g:X\to X such that
for all x,y,z,u,v,w\in X for which g(x)\ge g(y)\ge g(z) and g(u)\le g(v)\le g(w).
Suppose also that (g(X),G) is complete, F has the mixed gmonotone property, F(X\times X)\subseteq G(X), and g is continuous and commutes with F. If there exist {x}_{0},{y}_{0}\in X such that
then there exist (x,y)\in X\times X such that g(x)=F(x,y) and g(y)=F(y,x).
The purpose of this paper is to present some coupled coincidence point theorems without a mixed gmonotone, using the concept of ({F}^{\ast},g)invariant set in complete metric space which are generalizations of the results of Karapinar et al. [34].
3 Main results
Theorem 3.1 Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G) is a complete Gmetric space and M be a nonempty subset of {X}^{6}. Assume that there exists \varphi \in \mathrm{\Phi} and, also, suppose that F:X\times X\to X and g:X\to X such that
for all (g(x),g(u),g(y),g(v),g(z),g(w))\in M.
Suppose also that F is continuous, F(X\times X)\subseteq G(X) and g is continuous and commutes with F. If there exist {x}_{0},{y}_{0}\in X\times X such that
and M is an ({F}^{\ast},g)invariant set which satisfies the transitive property. Then there exist x,y\in X such that g(x)=F(x,y) and g(y)=F(y,x).
Proof Let ({x}_{0},{y}_{0})\in X\times X. Since F(X\times X)\subseteq g(X), we can choose {x}_{1},{y}_{1}\in X such that
Again from F(X\times X)\subseteq g(X) we can choose {x}_{2},{y}_{2}\in X such that
Continuing this process we can construct sequences \{g({x}_{n})\} and \{g({y}_{n})\} in X such that
If there exists k\in N such that (g({x}_{k+1}),g({y}_{k+1}))=(g({x}_{k}),g({y}_{k})) then g({x}_{k})=g({x}_{k+1})=F({x}_{k},{y}_{k}) and g({y}_{k})=g({y}_{k+1})=F({y}_{k},{x}_{k}). Thus, ({x}_{k},{y}_{k}) is a coupled coincidence point of F. The proof is completed.
Now we assume that (g({x}_{k+1}),g({y}_{k+1}))\ne (g({x}_{k}),g({y}_{k})) for all n\ge 0. Thus, we have either g({x}_{n+1})=F({x}_{n},{y}_{n})\ne g({x}_{n}) or g({y}_{n+1})=F({y}_{n},{x}_{n})\ne g(y) for all n\ge 0. Since
and M is an ({F}^{\ast},g)invariant set, we have
Again, using the fact that M is an ({F}^{\ast},g)invariant set, we have
By repeating this argument, we get
From (1), (2), and (3), we have
Let
This implies that
Since \varphi (t)<t for all t>0, it follows that \{{t}_{n}\} is decreasing sequence. Therefore, there is some \delta \ge 0 such that {lim}_{n\to \mathrm{\infty}}{t}_{n}=\delta.
We shall prove that \delta =0. Assume, to the contrary, that \delta >0. Then by letting n\to \mathrm{\infty} in (6) and using the properties of the map ϕ, we get
This is a contradiction. Thus \delta =0 and hence
Next, we prove that \{g({x}_{n})\} and \{g({y}_{n})\} are Cauchy sequences in the Gmetric space (X,G). Suppose, to the contrary, that the least of \{g({x}_{n})\} and \{g({y}_{n})\} is not a Cauchy sequence in (X,G). Then there exists an \epsilon >0 for which we can find subsequences \{g({x}_{m(k)})\} and \{g({x}_{n(k)})\} of \{g({x}_{n})\}, \{g({y}_{m(k)})\} and \{g({y}_{n(k)})\} of \{g({y}_{n})\} with m(k)>n(k)\ge K such that
Further, corresponding to n(k), we can choose m(k) in such a way that it is the smallest integer with m(k)>n(k)\ge K and satisfying (8). Then
Using the rectangle inequality, we get
Letting k\to +\mathrm{\infty} and using (7), we get
Again, by the rectangle inequality, we have
Using the fact that G(x,x,y)\le 2G(x,y,y) for any x,y\in X, we obtain
Since m(k)>n(k),
and
From M being an ({F}^{\ast},g)invariant set which satisfies the transitive property, we have
Again from
we get
Now, using (1), we have
Letting k\to +\mathrm{\infty} in (12) and using (7) and (11) and {lim}_{r\to {t}^{+}}\varphi (r)<t for all t>0, we have
This is a contradiction. This shows that \{g({x}_{n})\} and \{g({y}_{n})\} are Cauchy sequences in the Gmetric space (X,G). Since (X,G) is complete, \{g({x}_{n})\} and \{g({y}_{n})\} are Gconvergent; there exist x,y\in X such that {lim}_{n\to \mathrm{\infty}}g({x}_{n})=x and {lim}_{n\to \mathrm{\infty}}g({y}_{n})=y. That is, from Proposition 2.4, we have
From (13), (14), continuity of g, and Proposition 2.7, we get
From (2) and commutativity of F and g,
We now show that F(x,y)=g(x) and F(y,x)=g(y).
Taking the limit as n\to +\mathrm{\infty} in (17) and (18), by (15), (16), continuity of F, and commutativity of F and g, we get
and
Thus we prove that F(x,y)=g(x) and F(y,x)=g(y). □
Theorem 3.2 Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G) is a complete Gmetric space and M be a nonempty subset of {X}^{6}. Assume that there exists \varphi \in \mathrm{\Phi} and, also, suppose that F:X\times X\to X and g:X\to X such that
for all (g(x),g(u),g(y),g(v),g(z),g(w))\in M.
Suppose also that (g(X),G) is complete F(X\times X)\subseteq G(X) and g is continuous and commutes with F and if any two sequences \{{x}_{n}\}, \{{y}_{n}\} with ({x}_{n+1},{y}_{n+1},{x}_{n+1},{y}_{n+1},{x}_{n},{y}_{n})\in M, \{{x}_{n}\}\to x and \{{y}_{n}\}\to y for all n\ge 1, then (x,y,{x}_{n},{y}_{n},{x}_{n},{y}_{n})\in M. If there exist ({x}_{0},{y}_{0})\in X\times X such that (F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),g({x}_{0}),g({y}_{0}))\in M and M is an ({F}^{\ast},g)invariant set which satisfies the transitive property. Then there exist x,y\in X such that g(x)=F(x,y) and g(y)=F(y,x).
Proof Consider a Cauchy sequences \{g({x}_{n})\}, \{g({y}_{n})\} as in the proof of Theorem 3.1. Since (g(X),G) is a complete metric space, there exists x,y\in X such that \{g({x}_{n})\}\to g(x) and \{g({y}_{n})\}\to g(y) by the assumption, and we have (g(x),g(y),g({x}_{n}),g({y}_{n}),g({x}_{n}),g({y}_{n}))\in M for all n\ge 1; by the rectangle inequality, (1), and \varphi (t)<t for all t>0, we get
Taking the limit as n\to \mathrm{\infty} in the above inequality, we obtain
This implies that g(x)=F(x,y) and g(y)=F(y,x). □
Example 3.3 Let X=\mathbb{R}. Define G:X\times X\times X\to [0,+\mathrm{\infty}) by G(x,y,z)=xy+xz+yz and let F:X\times X\to X be defined by
and g:X\to X by g(x)=\frac{3x}{2}. Let {y}_{1}=2 and {y}_{2}=4. Then we have g({y}_{1})\le g({y}_{2}), but F(x,{y}_{1})\le F(x,{y}_{2}), and so the mapping F does not satisfy the mixed gmonotone property.
Letting x,u,y,v,z,w\in X, we have
and we have
Put \varphi (t)=t/2, then
If we apply Theorem 3.1 with M={X}^{6} then F satisfy (1). So by our theorem we see that F has a coupled coincidence point (0,0).
Remark Although the mixed monotone property is an essential tool in the partially ordered Gmetric spaces to show the existence of coupled coincidence points, the mappings do not have the mixed gmonotone property in the general case as in the above example. Therefore, Theorem 3.1 and Theorem 3.2 are interesting, as a new auxiliary tool, in showing the existence of a coupled coincidence point.
Theorem 3.4 In addition to the hypotheses of Theorem 3.1, suppose that for every (x,y),({x}^{\ast},{y}^{\ast})\in X\times X there exist (u,v)\in X\times X such that
Suppose also that ϕ is a nondecreasing function. Then F and g have a unique coupled common fixed point, that is, there exist unique (x,y)\in X\times X such that x=g(x)=F(x,y) and y=g(y)=F(y,x).
Proof From Theorem 3.1 the set of coupled coincidence point is nonempty. Suppose (x,y) and ({x}^{\ast},{y}^{\ast}) are coupled coincidence point of F, that is,
We shall show that
By assumption there is (u,v)\in X\times X such that
Put {u}_{0}=u, {v}_{0}=v and choose {u}_{1},{v}_{1}\in X such that g({u}_{1})=F({u}_{0},{v}_{0}) and g({v}_{1})=F({v}_{0},{u}_{0}). Then similarly as in Theorem 3.1, we can inductively define sequences \{g({u}_{n})\} and \{g({v}_{n})\} such that
Since M is ({F}^{\ast},g)invariant and (g({u}_{0}),g({v}_{0}),g(x),g(y),g(x),g(y))\in M, we have
That is (g({u}_{1}),g({v}_{1}),g(x),g(y),g(x),g(y))\in M.
From (g({u}_{1}),g({v}_{1}),g(x),g(y),g(x),g(y))\in M, if we use again the property of ({F}^{\ast},g)invariance, then it follows that
and so (g({u}_{2}),g({v}_{2}),g(x),g(y),g(x),g(y))\in M.
By repeating this process, we get
Thus from (1) and (20), we have
Since ϕ is nondecreasing from (21), we get
This holds for each n\ge 1. Letting n\to +\mathrm{\infty} in (22), using Lemma 2.20 implies
Similarly, we obtain
Hence, from (23), (24), and Proposition 2.4, we get g({x}^{\ast})=g(x) and g({y}^{\ast})=g(y).
Since g(x)=F(x,y) and g(y)=F(y,x), by commutativity of F and g, we have
Denote g(x)=z and g(y)=w. Then from (25)
Therefore, (z,w) is a coupled coincidence fixed point of F and g. Then from (19) with {x}^{\ast}=z and {y}^{\ast}=w, it follows that g(z)=g(x) and g(w)=g(y), that is,
From (26) and (27), z=g(z)=F(z,w) and w=g(w)=F(w,z). Therefore, (z,w) is a coupled common fixed point of F and g.
To prove the uniqueness, assume that (p,q) is another coupled common fixed point. Then by (19) we have p=g(p)=g(z)=z and q=g(q)=g(w)=w. □
Next, we give a simple application of our results to coupled coincidence point theorems in partially ordered metric spaces.
Corollary 3.5 Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G) is a complete Gmetric space. Suppose that there exist \varphi \in \mathrm{\Phi}, F:X\times X\to X, and g:X\to X such that
for all x,y,z,u,v,w\in X for which g(x)\ge g(y)\ge g(z) and g(u)\le g(v)\le g(w).
Suppose also that F is continuous and has the mixed gmonotone property, F(X\times X)\subseteq G(X) and g is continuous and commutes with F. If there exist {x}_{0},{y}_{0}\in X such that
then there exist (x,y)\in X\times X such that g(x)=F(x,y) and g(y)=F(y,x).
Proof We define the subset M\subseteq {X}^{6} by
From Example 2.18, M is an ({F}^{\ast},g)invariant set which satisfies the transitive property. By (1), we have
Since {x}_{0},{y}_{0}\in X such that
We have (F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}),g({x}_{0}),g({y}_{0}))\in M because F is continuous. By Theorem 3.1, we have x=F(x,y) and y=F(y,x). □
Corollary 3.6 Let (X,\le ) be a partially ordered set and G be a Gmetric on X such that (X,G,\le ) is regular. Suppose that there exists \varphi \in \mathrm{\Phi}, F:X\times X\to X and g:X\to X such that
for all x,y,z,u,v,w\in X for which g(x)\ge g(y)\ge g(z) and g(u)\le g(v)\le g(w).
Suppose also that (g(X),G) is complete, F has the mixed gmonotone property, F(X\times X)\subseteq G(X), and g is continuous and commutes with F. If there exist {x}_{0},{y}_{0}\in X such that
then there exist (x,y)\in X\times X such that g(x)=F(x,y) and g(y)=F(y,x).
Proof As in Corollary 3.5, we get
For any two sequences \{g({x}_{n})\}, \{g({y}_{n})\} such that \{g({x}_{n})\} is nondecreasing sequence \{g({x}_{n})\}\to g(x) and \{g({y}_{n})\} is nonincreasing sequence \{g({y}_{n})\}\to g(y). We have
and
Therefore, we have (g(x),g(y),g({x}_{n}),g({y}_{n}),g({x}_{n}),g({y}_{n}))\in M for all n\ge 1. So the assumption of Theorem 3.2 holds and hence F has a coupled coincidence point. □
Corollary 3.7 In addition to the hypothesis of Corollary 3.5, suppose that for every (x,y),({x}^{\ast},{y}^{\ast})\in X\times X there exists a (u,v)\in X\times X such that (F(u,v),F(v,u)) is comparable to (F(x,y),F(y,x)) and (F({x}^{\ast},{y}^{\ast}),F({y}^{\ast},{x}^{\ast})). Suppose also that ϕ is a nondecreasing function. Then F and g have a unique coupled common fixed point, that is, there exists a unique (x,y)\in X\times X such that x=g(x)=F(x,y) and y=g(y)=F(y,x).
Proof We define the subset M\subseteq {X}^{6} by M=\{(x,u,y,v,z,w)\in {X}^{6}:x\ge y\ge z,u\le v\le w\}. From Example 2.18, M is an ({F}^{\ast},g)invariant set which satisfies the transitive property. Thus, the proof of the existence of a coupled fixed point is straightforward by following the same lines as in the proof of Corollary 3.5.
Next, we show the uniqueness of a coupled fixed point of F.
Since for all (x,y),({x}^{\ast},{y}^{\ast})\in X\times X, there exist (u,v)\in X\times X such that g(x)\le g(u), g(y)\ge g(v) and g({x}^{\ast})\le g(u), g({y}^{\ast})\ge g(v), we can conclude that
and
Therefore, since all the hypotheses of Theorem 3.4 hold F has a unique coupled fixed point. The proof is completed. □
References
Ran A, Reurings M: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132: 14351443. 10.1090/S0002993903072204
Nieto JJ, RodriguezLopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equation. Order 2005, 22: 223239. 10.1007/s1108300590185
Nieto JJ, RodriguezLopez R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equation. Acta Math. Sin. Engl. Ser. 2007,23(12):22052212. 10.1007/s1011400507690
Agarwal RP, ElGebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 18. 10.1080/00036810701714164
Alghamdi MA, Karapinar E: G  β  ψ Contractive type mappings and related fixed point theorems. J. Inequal. Appl. 2013., 2013: Article ID 70
Aydi H, Karapinar E, Kumam P: A note on ‘Modified proof of Caristi’s fixed point theorem on partial metric spaces, Journal of Inequalities and Applications 2013, 2013:210’. J. Inequal. Appl. 2013., 2013: Article ID 355 10.1186/1029242X2013355
Chaipunya P, Sintunavarat W, Kumam P:On contractions in ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 219 10.1186/168718122012219
Kumam P, Vetro C, Vetro F: Fixed points for weak α  ψ contractions in partial metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 986028
Sintunavarat W, Kumam P: Some fixed point results for weakly isotone mappings in ordered Banach spaces. Appl. Math. Comput. 2013,224(1):826834.
Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623632. 10.1016/0362546X(87)900770
Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65: 13791393. 10.1016/j.na.2005.10.017
Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. TMA 2009, 70: 43414349. 10.1016/j.na.2008.09.020
Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered G metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 31
AminiHarandi A: Coupled and tripled fixed point theory in partially ordered metric spaces with application to initial value problem. Math. Comput. Model. 2013,57(910):23432348. 10.1016/j.mcm.2011.12.006
Aydi H, Damjanović B, Samet B, Shatanawi W: Coupled fixed point theorems for nonlinear contractions in partially ordered G metric spaces. Math. Comput. Model. 2011, 54: 24432450. 10.1016/j.mcm.2011.05.059
Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for (\psi ,\phi ) weakly contractive mappings in ordered G metric spaces. Comput. Math. Appl. 2012,63(1):298309. 10.1016/j.camwa.2011.11.022
Aydi H, Karapinar E, Shatanawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012., 2012: Article ID 314279
Aydi H, Karapinar E, Shatanawi W: Tripled common fixed point results for generalized contractions in ordered generalized metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 101
Batra R, Vashistha S:Coupled coincidence point theorems for nonlinear contractions under (F,g)invariant set in cone metric spaces. J. Nonlinear Sci. Appl. 2013, 6: 8696.
Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 73477355. 10.1016/j.na.2011.07.053
Berinde V: Coupled coincidence point theorems for mixed monotone nonlinear operators. Comput. Math. Appl. 2012,64(6):17701777. 10.1016/j.camwa.2012.02.012
Berinde V: Coupled fixed point theorems for φ contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 2012,75(6):32183228. 10.1016/j.na.2011.12.021
Berzig M, Samet B: An extension of coupled fixed point’s concept in higher dimension and applications. Comput. Math. Appl. 2012, 63: 13191334. 10.1016/j.camwa.2012.01.018
Chandok S, Sintunavarat W, Kumam P: Some coupled common fixed points for a pair of mappings in partially ordered G metric spaces. Math. Sci. 2013., 7: Article ID 24 10.1186/22517456724
Charoensawan P, Klanarong C: Coupled coincidence point theorems for φ contractive under (f,g) invariant set in complete metric space. Int. J. Math. Anal. 2013,7(3336):16851701.
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
Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math. Comput. Model. 2011,54(12):7379. 10.1016/j.mcm.2011.01.036
Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 25242531. 10.1016/j.na.2010.06.025
Ding HS, Li L: Coupled fixed point theorems in partially ordered cone metric spaces. Filomat 2011,25(2):137149. 10.2298/FIL1102137D
Hussain N, Latif A, Shah MH: Coupled and tripled coincidence point results without compatibility. Fixed Point Theory Appl. 2012., 2012: Article ID 77
Karapinar E, Luong NV, Thuan NX, Hai TT: Coupled coincidence points for mixed monotone operators in partially ordered metric spaces. Arab. J. Math. 2012, 1: 329339. 10.1007/s4006501200270
Karapinar E: Coupled fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 36563668. 10.1016/j.camwa.2010.03.062
Karapinar E: Couple fixed point on cone metric spaces. Gazi Univ. J. Sci. 2011, 24: 5158.
Karapinar E, Kaymakcalan B, Tas K: On coupled fixed point theorems on partially ordered G metric spaces. J. Inequal. Appl. 2012., 2012: Article ID 200
Karapinar E, Kumam P, Erhan I: Coupled fixed points on partially ordered G metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 174 10.1186/168718122012174
Karapinar E, Roldan A, MartinezMoreno J, Roldan C: MeirKeeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 406026
Kaushik P, Kumar S, Kumam P: Coupled coincidence point theorems for α  ψ contractive type mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 325 10.1186/168718122013325
Luong NV, Thuan NX: Coupled fixed points in partially ordered metric spaces and application. Nonlinear Anal. 2011, 74: 983992. 10.1016/j.na.2010.09.055
Mursaleen M, Mohiuddine SA, Agarwal RP: Coupled fixed point theorems for α  ψ contractive type mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 228 (Corrigendum to Coupled fixed point theorems for αψcontractive type mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2013, 127 (2013))
Roldan A, MartinezMoreno J, Roldan C: Multidimensional fixed point theorems in partially ordered complete metric spaces. J. Math. Anal. Appl. 2012,396(2):536545. 10.1016/j.jmaa.2012.06.049
Roldan A, MartinezMoreno J, Roldan C, Karapinar E:Multidimensional fixed point theorems in partially ordered complete partial metric spaces under (\psi ,\phi )contractivity conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 634371
Roldan A, Karapinar E:Some multidimensional fixed point theorems on partially preordered {G}^{\ast}metric spaces under (\psi ,\phi )contractivity conditions. Fixed Point Theory Appl. 2013., 2013: Article ID 158
Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011,40(3):441447.
Shatanawi W, Abbas M, Nazir T: Common coupled coincidence and coupled fixed point results in two generalized metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 80
Sintunavarat W, Kumam P, Cho YJ: Coupled fixed point theorems for nonlinear contractions without mixed monotone property. Fixed Point Theory Appl. 2012., 2012: Article ID 170
Sintunavarat W, Radenović S, Golubović Z, Kuman P: Coupled fixed point theorems for F invariant set. Appl. Math. Inf. Sci. 2013,7(1):247255. 10.12785/amis/070131
Sintunavarat W, Kumam P: Coupled coincidence and coupled common fixed point theorems in partially ordered metric spaces. Thai J. Math. 2012,10(3):551563.
Samet B, Vetro C: Coupled fixed point F invariant set and fixed point of N order. Ann. Funct. Anal. 2010, 1: 4656.
Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006,7(2):289297.
Agarwal RP, Karapinar E: Remarks on some coupled fixed point theorems in G metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 2
Alghamdi MA, Karapinar E: G  β  ψ Contractive type mappings in G metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 123
Bilgili N, Karapinar E: Cyclic contractions via auxiliary functions on G metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 49
Ding HS, Karapinar E: MeirKeeler type contractions in partially ordered G metric space. Fixed Point Theory Appl. 2013., 2013: Article ID 35
Jleli M, Samet B: Remarks on G metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 210
Karapinar E, Agarwal RP: Further fixed point results on G metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 154
Mustafa Z, Aydi H, Karapinar E: On common fixed points in imagemetric spaces using (E.A) property. Comput. Math. Appl. 2012. 10.1016/j.camwa.2012.03.051
Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorem for mapping on complete G metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 189870
Mustafa Z, Khandaqji M, Shatanawi W: Fixed point results on complete G metric spaces. Studia Sci. Math. Hung. 2011, 48: 304319.
Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete G metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 917175
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
Mustafa Z, Aydi H, Karapinar E: Generalized MeirKeeler type contractions on G metric spaces. Appl. Math. Comput. 2013,219(21):1044110447. 10.1016/j.amc.2013.04.032
Roldan A, Karapinar E, Kumam P: G Metric spaces in any number of arguments and related fixed point theorems. Fixed Point Theory Appl. 2014., 2014: Article ID 13 10.1186/16871812201413
Samet B, Vetro C, Vetro F: Remarks on G metric spaces. Int. J. Anal. 2013., 2013: Article ID 917158
Shatanawi W: Fixed point theory for contractive mappings satisfying Φmaps in G metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 181650
Shatanawi W: Some fixed point theorems in ordered G metric spaces and applications. Abstr. Appl. Anal. 2011., 2011: Article ID 126205
Tahat N, Aydi H, Karapınar E, Shatanawi W: Common fixed points for singlevalued and multivalued maps satisfying a generalized contraction in G metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 48
Nashine HK: Coupled common fixed point results in ordered G metric spaces. J. Nonlinear Sci. Appl. 2012, 1: 113.
Acknowledgements
This research was supported by Chiang Mai University and the authors would like to express sincere gratitude to Prof. Suthep Suantai and the referees for being kind enough to give very helpful suggestions and make many comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Charoensawan, P., Thangthong, C. On coupled coincidence point theorems on partially ordered Gmetric spaces without mixed gmonotone. J Inequal Appl 2014, 150 (2014). https://doi.org/10.1186/1029242X2014150
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014150
Keywords
 coupled fixed point
 coupled coincidence point
 invariant set
 mixed gmonotone
 partially ordered set
 Gmetric