 Research
 Open Access
 Published:
Coupled common fixed point results involving a (\phi ,\psi )contractive condition for mixed gmonotone operators in partially ordered metric spaces
Journal of Inequalities and Applications volume 2012, Article number: 285 (2012)
Abstract
In the setting of partially ordered metric spaces, using the notion of compatible mappings, we establish the existence and uniqueness of coupled common fixed points involving a (\phi ,\psi )contractive condition for mixed gmonotone operators. Our results extend and generalize the wellknown results of Berinde (Nonlinear Anal. TMA 74:73477355, 2011; Nonlinear Anal. TMA 75:32183228, 2012) and weaken the contractive conditions involved in the results of Alotaibi et al. (Fixed Point Theory Appl. 2011:44, 2011), Bhaskar et al. (Nonlinear Anal. TMA 65:13791393, 2006), and Luong et al. (Nonlinear Anal. TMA 74:983992, 2011). The effectiveness of the presented work is validated with the help of suitable examples.
MSC:54H10, 54H25.
1 Introduction and preliminaries
Bhaskar and Lakshmikantham [1] introduced the notion of coupled fixed points and proved some coupled fixed point theorems for a mapping with the mixed monotone property in the setting of partially ordered metric spaces. These concepts are defined as follows.
Definition 1.1 [1]
Let (X,\le ) be a partially ordered set and F:X\times X\to X. The mapping F is said to have the mixed monotone property if F(x,y) is monotone nondecreasing in x and monotone nonincreasing in y; that is, for any x,y\in X,
and
Definition 1.2 [1]
An element (x,y)\in X\times X is called a coupled fixed point of the mapping F:X\times X\to X if F(x,y)=x and F(y,x)=y.
Bhaskar and Lakshmikantham [1] proved the following results.
Theorem 1.3 [1]
Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X be a continuous mapping having the mixed monotone property on X. Assume that there exists a k\in [0,1) with
for all x\ge u and y\le v.
If there exist two elements {x}_{0},{y}_{0}\in X with {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}), then there exist x,y\in X such that x=F(x,y) and y=F(y,x).
Theorem 1.4 [1]
Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Assume that X has the following property:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then y\le {y}_{n} for all n.
Let F:X\times X\to X be a mapping having the mixed monotone property on X. Assume that there exists a k\in [0,1) with the condition (1.1). If there exist two elements {x}_{0},{y}_{0}\in X with {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}), then there exist x,y\in X such that x=F(x,y) and y=F(y,x).
Lakshmikantham and Ćirić [2] extended the notion of mixed monotone property to mixed gmonotone property and generalized the results of Bhaskar and Lakshmikantham [1] by establishing the existence of coupled coincidence point results using a pair of commutative maps.
Definition 1.5 [2]
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 F(x,y) is monotone gnondecreasing in its first argument and is monotone gnonincreasing in its second argument; that is, for any x,y\in X,
and
Definition 1.6 [2]
An element (x,y)\in X\times X is called a coupled coincidence point of the mappings F:X\times X\to X and g:X\to X if F(x,y)=gx and F(y,x)=gy.
Definition 1.7 [2]
An element (x,y)\in X\times X is called a coupled common fixed point of the mappings F:X\times X\to X and g:X\to X if x=gx=F(x,y) and y=gy=F(y,x).
Definition 1.8 [2]
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 gF(x,y)=F(gx,gy) for all x,y\in X.
Later, Choudhury and Kundu [3] introduced the notion of compatibility in the context of coupled coincidence point problems and used the notion to improve the results of Lakshmikantham and Ćirić [2].
Definition 1.9 [3]
The mappings F:X\times X\to X and g:X\to X are said to be compatible if
whenever \{{x}_{n}\} and \{{y}_{n}\} are sequences in X such that {lim}_{n\to \mathrm{\infty}}F({x}_{n},{y}_{n})={lim}_{n\to \mathrm{\infty}}g{x}_{n}=x and {lim}_{n\to \mathrm{\infty}}F({y}_{n},{x}_{n})={lim}_{n\to \mathrm{\infty}}g{y}_{n}=y for some x,y\in X.
In recent years, following Bhaskar and Lakhsmikantham [1], the existence and uniqueness of coupled fixed points under more general contractive conditions were established by various authors. One can refer to [2, 4–15].
In order to generalize the results of Bhaskar and Lakshmikantham [1], Luong and Thuan [7] considered the following class of control functions.
Definition 1.10 [7]
Let Φ denote the class of functions \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) which satisfy
({\phi}_{1}) φ is continuous and nondecreasing;
({\phi}_{2}) \phi (t)=0 if and only if t=0;
({\phi}_{3}) \phi (t+s)\le \phi (t)+\phi (s), for all t,s\in [0,\mathrm{\infty}).
Definition 1.11 [7]
Let Ψ denote the class of functions \psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) which satisfy
(i_{ ψ }) {lim}_{t\to r}\psi (t)>0 for all r>0 and {lim}_{t\to 0+}\psi (t)=0.
The contractive condition considered by Luong and Thuan [7] is given below:
where \phi \in \mathrm{\Phi}, \psi \in \mathrm{\Psi} and x\ge u, y\le v.
On the other hand, Alotaibi and Alsulami [16] extended the results of Luong and Thuan [7] for a compatible pair (F,g), where F:X\times X\to X and g:X\to X are the maps satisfying the following contractive condition:
with \phi \in \mathrm{\Phi}, \psi \in \mathrm{\Psi} and gx\ge gu, gy\le gv.
We consider the class Φ redefined by Berinde [5] as follows.
Definition 1.12 [5]
Let Φ denote the class of functions \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) which satisfy
(i_{ φ }) φ is continuous and (strictly) increasing;
(ii_{ φ }) \phi (t)<t for all t>0;
(iii_{ φ }) \phi (t+s)\le \phi (t)+\phi (s) for all t,s\in [0,\mathrm{\infty}).
Note that by (i_{ φ }) and (ii_{ φ }), we have \phi (t)=0 if and only if t=0.
Berinde [5] weakened the contractive conditions (1.1) and (1.2) by considering the more general one
for a mixed monotone mapping F:X\times X\to X, x\ge u, y\le v, where \phi \in \mathrm{\Phi} and \psi \in \mathrm{\Psi}.
The present work extends and generalizes several results presented in the literature of fixed point theory. Our theorems directly derive the main results of Berinde [4, 5]. We give suitable examples to show how our results extend the wellknown results of Alotaibi et al. [16], Bhaskar et al. [1] and Luong et al. [7] by significantly weakening the involved contractive condition.
2 Main results
Theorem 2.1 Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X, g:X\to X be two maps with F having the mixed gmonotone property on X such that there exist two elements {x}_{0},{y}_{0}\in X with g{x}_{0}\le F({x}_{0},{y}_{0}) and g{y}_{0}\ge F({y}_{0},{x}_{0}). Suppose there exist \phi \in \mathrm{\Phi} and \psi \in \mathrm{\Psi} such that
for all x,y,u,v\in X with gx\ge gu and gy\le gv.
Suppose that F(X\times X)\subseteq g(X), g is continuous and the pair (F,g) is compatible.
Also suppose either

(a)
F is continuous, or

(b)
X has the following property:

(i)
if a nondecreasing sequence \{{x}_{n}\}\to x, then g{x}_{n}\le gx for all n;

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then gy\le g{y}_{n} for all n.
Then there exist x,y\in X such that gx=F(x,y) and gy=F(y,x); that is, F and g have a coupled coincidence point in X.
Proof Let {x}_{0},{y}_{0}\in X such that g{x}_{0}\le F({x}_{0},{y}_{0}) and g{y}_{0}\ge F({y}_{0},{x}_{0}). Since F(X\times X)\subseteq g(X), we can choose {x}_{1},{y}_{1}\in X such that g{x}_{1}=F({x}_{0},{y}_{0}), g{y}_{1}=F({y}_{0},{x}_{0}). Again, we can choose {x}_{2},{y}_{2}\in X such that g{x}_{2}=F({x}_{1},{y}_{1}), g{y}_{2}=F({y}_{1},{x}_{1}).
Continuing this process, we can construct sequences \{g{x}_{n}\} and \{g{y}_{n}\} in X such that
We shall prove, for all n\ge 0, that
Since g{x}_{0}\le F({x}_{0},{y}_{0}) and g{y}_{0}\ge F({y}_{0},{x}_{0}), g{x}_{1}=F({x}_{0},{y}_{0}), g{y}_{1}=F({y}_{0},{x}_{0}), we have g{x}_{0}\le g{x}_{1}, g{y}_{0}\ge g{y}_{1}; that is, (2.3) and (2.4) hold for n=0.
Suppose that (2.3) and (2.4) hold for some n>0, i.e., g{x}_{n}\le g{x}_{n+1}, g{y}_{n}\ge g{y}_{n+1}. As F has the mixed gmonotone property, by (2.2), we have
and
that is,
Then, by mathematical induction, it follows that (2.3) and (2.4) hold for all n\ge 0.
If, for some n\ge 0, we have (g{x}_{n+1},g{y}_{n+1})=(g{x}_{n},g{y}_{n}), then F({x}_{n},{y}_{n})=g{x}_{n} and F({y}_{n},{x}_{n})=g{y}_{n}; that is, F and g have a coincidence point. So, now onwards, we suppose (g{x}_{n+1},g{y}_{n+1})\ne (g{x}_{n},g{y}_{n}) for all n\ge 0; that is, we suppose that 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}_{n}.
Since g{x}_{n}\ge g{x}_{n1} and g{y}_{n}\le g{y}_{n1}, by (2.1) and (2.2), we have, for all n\ge 0, that
Since ψ is nonnegative, we have
By the monotonicity of φ, we have
Let {R}_{n}=\frac{d(g{x}_{n+1},g{x}_{n})+d(g{y}_{n+1},g{y}_{n})}{2}, then \{{R}_{n}\} is a monotone decreasing sequence of nonnegative real numbers. Therefore, there exists some R\ge 0 such that
We claim that R=0.
On the contrary, suppose that R>0.
Taking limit as n\to \mathrm{\infty} on both sides of (2.5) and using the properties of φ and ψ, we have
a contradiction.
Thus, R=0; that is,
Next, we shall show that \{g{x}_{n}\} and \{g{y}_{n}\} are Cauchy sequences.
If possible, suppose that at least one of \{g{x}_{n}\} and \{g{y}_{n}\} is not a Cauchy sequence. Then there exists an \epsilon >0 for which we can find subsequences \{g{x}_{n(k)}\}, \{g{x}_{m(k)}\} of \{g{x}_{n}\} and \{g{y}_{n(k)}\}, \{g{y}_{m(k)}\} of \{g{y}_{n}\} with n(k)>m(k)\ge k such that
Further, corresponding to m(k), we can choose n(k) in such a way that it is the smallest integer with n(k)>m(k)\ge k and satisfies (2.8). Then
By (2.8), (2.9) and the triangle inequality, we have
Letting k\to \mathrm{\infty} and using (2.7) in the last inequality, we have
Again, by the triangle inequality
By the monotonicity of φ and the property (iii_{ φ }), we have
Since n(k)>m(k), g{x}_{n(k)}\ge g{x}_{m(k)} and g{y}_{n(k)}\le g{y}_{m(k)}.
Then by (2.1) and (2.2), we have
By (2.11) and (2.12), we have
Letting k\to \mathrm{\infty}, using (2.7), (2.10) and the properties of φ and ψ in the last inequality, we have
a contradiction.
Therefore, both \{g{x}_{n}\} and \{g{y}_{n}\} are Cauchy sequences in X. By the completeness of X, there exist x,y\in X such that
Since F and g are compatible mappings, we have from (2.13)
Let the condition (a) hold.
For all n\ge 0, we have
Taking n\to \mathrm{\infty} in the last inequality, using the inequalities (2.13), (2.14) and the continuities of F and g, we have d(gx,F(x,y))=0; that is, gx=F(x,y). Again, for all n\ge 0,
Taking n\to \mathrm{\infty} in the last inequality, using the inequalities (2.13), (2.15) and the continuities of F and g, we have d(gy,F(y,x))=0; that is, gy=F(y,x). Hence, the element (x,y)\in X\times X is a coupled coincidence point of the mappings F:X\times X\to X and g:X\to X.
Next, we suppose that the condition (b) holds.
By (2.3), (2.4) and (2.13), we have \{g{x}_{n}\} is a nondecreasing sequence, g{x}_{n}\to x and \{g{y}_{n}\} is a nonincreasing sequence, g{y}_{n}\to y as n\to \mathrm{\infty}. Hence, by the assumption (b), we have for all n\ge 0,
Since F and g are compatible mappings and g is continuous, by inequalities (2.13)(2.15), we have
and
Now,
that is,
Taking n\to \mathrm{\infty} in the last inequality and using (2.17), we have
Similarly,
By (2.19), (2.20) and the property (i_{ φ }), we have
By (2.1) and (2.16), we have
Inserting (2.22) in (2.21), we have
By (2.17), (2.18), the continuity of φ and {lim}_{t\to 0+}\psi (t)=0, we get
Since φ is nonnegative and \phi (0)=0, we have
that is,
Hence, the element (x,y)\in X\times X is a coupled coincidence point of the mappings F:X\times X\to X and g:X\to X. □
Now, we give an example in support of Theorem 2.1.
Example 2.1 Let X=[0,1]. Then (X,\le ) is a partially ordered set with the natural ordering of real numbers.
Let d(x,y)=xy for x,y\in X.
Then (X,d) is a complete metric space.
Let : X\to X be defined as
Let F:X\times X\to X be defined as
Let \{{x}_{n}\} and \{{y}_{n}\} be two sequences in X such that
Now, for all n\ge 0,
and
Obviously, a=0 and b=0.
Then it follows that
and
Hence, the mappings F and g are compatible in X. Clearly, F obeys the mixed gmonotone property. Also, F(X\times X)\subseteq g(X).
Let φ, \psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) be defined as \phi (t)=\frac{t}{2}, \psi (t)=\frac{t}{4}, for t\in [0,\mathrm{\infty}).
Also, {x}_{0}=0 and {y}_{0}=c (>0) are two points in X such that g({x}_{0})=g(0)=0=F(0,c)=F({x}_{0},{y}_{0}) and g({y}_{0})=g(c)={c}^{2}\ge \frac{{c}^{2}}{4}=F(c,0)=F({y}_{0},{x}_{0}).
Next, we verify inequality (2.1) of Theorem 2.1. We take x,y,u,v\in X such that gx\ge gu and gy\le gv; that is, {x}^{2}\ge {u}^{2} and {y}^{2}\le \phantom{\rule{0.25em}{0ex}}{v}^{2}. We discuss the following cases.
Case 1: x\ge y, u\ge v.
Then
Case 2: x\ge y, u<v.
Then
Case 3: x<y, u\ge v.
Then
Case 4: x<y, u<v.
Then
Hence, the inequality (2.1) of Theorem 2.1 is satisfied.
Thus, all the conditions of Theorem 2.1 are satisfied, and it can be easily seen that (0,0) is the required coupled coincidence point of F and g in X.
Remark 2.1 If we choose the functions \phi (t)=t/2 and \psi (t)=t/4, for t\in [0,\mathrm{\infty}), then with this choice of functions, we can obtain the already existing contractive condition. Since φ and ψ are actually contractions, this will be cleared in Corollary 2.3. But if we choose \phi (t)=t/(t+1) and \psi (t)=t/3, for t\in [0,\mathrm{\infty}), then with this choice of φ and ψ, the contractive condition (2.1) does not turn to the existing contractive condition.
The next example shows that Theorem 2.1 is more general than Theorem 3.1 in [16] since the contractive condition (2.1) is more general than (1.3).
Example 2.2 Let X=\mathbb{R}. Then (X,\le ) is a partially ordered set with the natural ordering of real numbers. Let d:X\times X\to {R}^{+} be defined by
Then (X,d) is a complete metric space.
Define F:X\times X\to X by F(x,y)=\frac{x5y}{20}, (x,y)\in X\times X and g:X\to X by g(x)=\frac{x}{2}, x\in X.
Clearly, F(X\times X)\subseteq g(X), F is continuous and has the mixed gmonotone property, the pair (F,g) is compatible and satisfies the condition (2.1) but does not satisfy the condition (1.3). Assume, to the contrary, that there exist \phi \in \mathrm{\Phi} (in accordance with Definition 1.10) and \psi \in \mathrm{\Psi} such that (1.3) holds. Then we must have
for all x\ge u and y\le v. Take x=u, y\ne v in the last inequality and let \rho =\frac{yv}{4}, we obtain
But by ({\phi}_{3}) we have \frac{1}{2}\phi (2\rho )\le \phi (\rho ) and hence we deduce that, for all \rho >0, \psi (\rho )\le 0, that is, \psi (\rho )=0, which contradicts (i_{ ψ }). This shows that F does not satisfy (1.3).
Now, we prove that (2.1) holds. Indeed, for x\ge u and y\le v, we have
and
By summing up the last two inequalities, we get exactly (2.1) with \phi (t)=\frac{1}{2}t, \psi (t)=\frac{1}{5}t. Also, {x}_{0}=1, {y}_{0}=1 are the two points in X such that g{x}_{0}\le F({x}_{0},{y}_{0}) and g{y}_{0}\ge F({y}_{0},{x}_{0}). F, g, φ, ψ satisfy all the conditions of Theorem 2.1. So, by Theorem 2.1, we obtain that F and g have a coupled coincidence point (0,0), but Theorem 3.1 in [16] cannot be applied to F and g in this example.
The following Corollary 2.1 is Theorem 2 in [5].
Corollary 2.1 [5]
Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X be a mapping having the mixed monotone property on X such that there exist two elements {x}_{0},{y}_{0}\in X with {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}). Suppose there exist \phi \in \mathrm{\Phi} and \psi \in \mathrm{\Psi} such that
for all x,y,u,v\in X with x\ge u and y\le v. Suppose either

(a)
F is continuous, or

(b)
X has the following property:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then y\le {y}_{n} for all n.
Then there exist x,y\in X such that x=F(x,y) and y=F(y,x).
Proof Taking g to be an identity mapping in Theorem 2.1, we obtain Corollary 2.1. □
The following example shows that Corollary 2.1 is more general than Theorem 1.3 (i.e., Theorem 2.1 in [1]) and Theorem 2.1 in [7], since the contractive condition (2.23) is more general than (1.1) and (1.2).
Example 2.3 Let X=\mathbb{R}. Then (X,\le ) is a partially ordered set with the natural ordering of real numbers. Let d:X\times X\to {R}^{+} be defined by
Then (X,d) is a complete metric space.
Define F:X\times X\to X by F(x,y)=\frac{x3y}{6}, (x,y)\in X\times X.
Then F is continuous, has the mixed monotone property and satisfies the condition (2.23) but does not satisfy either the condition (1.1) or the condition (1.2). Indeed, assume there exists k\in [0,1) such that (1.1) holds. Then we must have
by which, for x=u, we get
which for y<v implies 1\le k, a contradiction, since k\in [0,1). Hence, F does not satisfy (1.1).
Further, (1.2) is also not satisfied. Assume, to the contrary, that there exist \phi \in \mathrm{\Phi} (in accordance with Definition 1.10) and \psi \in \mathrm{\Psi} such that (1.2) holds. Then we must have
for all x\ge u and y\le v. Take x=u, y\ne v in the last inequality and let \alpha =\frac{yv}{2}, we obtain
But by ({\phi}_{3}), we have \frac{1}{2}\phi (2\alpha )\le \phi (\alpha ) and hence we deduce that, for all \alpha >0, \psi (\alpha )\le 0, that is, \psi (\alpha )=0, which contradicts (i_{ ψ }). This shows that F does not satisfy (1.2).
Now, we prove that (2.23) holds. Indeed, for x\ge u and y\le v, we have
and
By summing up the last two inequalities, we get exactly (2.23) with \phi (t)=\frac{1}{2}t, \psi (t)=\frac{1}{6}t. Also, {x}_{0}=1, {y}_{0}=1 are the two points in X such that {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}).
So, by Corollary 2.1, we obtain that F has a coupled fixed point (0,0) but neither Theorem 2.1 in [1] nor Theorem 2.1 in [7] can be applied to F in this example.
The following Corollary 2.2 is Corollary 1 in [5].
Corollary 2.2 [5]
Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X be a mapping having the mixed monotone property on X such that there exist two elements {x}_{0},{y}_{0}\in X with {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}). Suppose there exists \psi \in \mathrm{\Psi} such that
for all x,y,u,v\in X with x\ge u and y\le v. Suppose either

(a)
F is continuous, or

(b)
X has the following property:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then y\le {y}_{n} for all n.
Then F has a coupled fixed point in X.
Proof Note that if \psi \in \mathrm{\Psi}, then for all r>0, r\psi \in \mathrm{\Psi}. Now divide (2.24) by 4 and take \phi (t)=\frac{1}{2}t, t\in [0,\mathrm{\infty}), then the condition (2.24) reduces to (2.1) with {\psi}_{1}=\frac{1}{2}\psi and g(x)=x; and hence by Theorem 2.1, we obtain Corollary 2.2. □
Corollary 2.3 Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X, g:X\to X be two maps with F having the mixed gmonotone property on X such that there exist two elements {x}_{0},{y}_{0}\in X with g{x}_{0}\le F({x}_{0},{y}_{0}) and g{y}_{0}\ge F({y}_{0},{x}_{0}). Suppose there exists a real number k\in [0,1) such that
for all x,y,u,v\in X with x\ge u, y\le v. Suppose either

(a)
F is continuous, or

(b)
X has the following property:

(i)
if a nondecreasing sequence \{{x}_{n}\}\to x, then g{x}_{n}\le gx for all n;

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then gy\le g{y}_{n} for all n.
Suppose that F(X\times X)\subseteq g(X), g is continuous and the pair (F,g) is compatible, then there exist x,y\inX such that gx=F(x,y) and gy=F(y,x).
Proof Taking \phi (t)=\frac{t}{2} and \psi (t)=(1k)\frac{t}{2}, 0\le k<1, in Theorem 2.1, we obtain Corollary 2.3. □
Remark 2.2 (i) Corollary 2.3 is an extension of the recent coupled fixed point result of Berinde (Theorem 3 in [4]) to a coupled coincidence point theorem for a pair of compatible mappings having the mixed gmonotone property.

(ii)
Again, the choice of functions F and g in Example 2.2 shows that Corollary 2.3 is more general than Theorem 3.1 in [16], since the contractive condition (2.23) is more general than (1.3). Indeed, the contractive condition (1.3) does not hold for the choice of functions F and g, but (2.25) holds exactly for k=\frac{3}{5} with {x}_{0}=1 and {y}_{0}=1 and yields (0,0) as the coupled coincidence point of F and g.
Corollary 2.4 Let (X,\le ) be a partially ordered set and suppose there exists a metric d on X such that (X,d) is a complete metric space. Let F:X\times X\to X, be a mapping having the mixed monotone property on X such that there exist two elements {x}_{0},{y}_{0}\in X with {x}_{0}\le F({x}_{0},{y}_{0}) and {y}_{0}\ge F({y}_{0},{x}_{0}). Suppose there exists a real number k\in [0,1) such that
for all x,y,u,v\in X with x\ge u, y\le v. Suppose either

(a)
F is continuous, or

(b)
X has the following property:

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

(ii)
If a nonincreasing sequence \{{y}_{n}\}\to y, then y\le {y}_{n} for all n.
Then F has a coupled fixed point in X.
Proof Taking g to be the identity mapping in Corollary 2.3, we obtain Corollary 2.4. □
Remark 2.3 (i) By considering the condition of continuity of F in Corollary 2.4, we obtain Theorem 3 in [4].

(ii)
Again, the choice of the function F in Example 2.3 shows that Corollary 2.4 is more general than Theorem 1.3 (i.e., Theorem 2.1 in [1]) and Theorem 2.1 in [7], since the contractive condition (2.26) is more general than (1.1) and (1.2). Indeed, the contractive conditions (1.1) and (1.2) do not hold for the choice of the function F, but (2.26) holds exactly for k=\frac{2}{3} with {x}_{0}=1 and {y}_{0}=1 and yields (0,0) as the coupled fixed point of F.
Now, in order to prove the existence and uniqueness of the coupled common fixed point for our main results, we need the following lemma.
Lemma 2.1 Let F:X\times X\to X and g:X\to X be compatible maps and let an element (x,y)\in X\times X such that gx=F(x,y) and gy=F(y,x) exist, then gF(x,y)=F(gx,gy) and gF(y,x)=F(gy,gx).
Proof Since the pair (F,g) is compatible, it follows that
whenever \{{x}_{n}\} and \{{y}_{n}\} are sequences in X such that {lim}_{n\to \mathrm{\infty}}F({x}_{n},{y}_{n})={lim}_{n\to \mathrm{\infty}}g({x}_{n})=a, {lim}_{n\to \mathrm{\infty}}F({y}_{n},{x}_{n})={lim}_{n\to \mathrm{\infty}}g({y}_{n})=b for some a,b\in X. Taking {x}_{n}=x, {y}_{n}=y and using gx=F(x,y), gy=F(y,x), it follows that
Hence, gF(x,y)=F(gx,gy) and gF(y,x)=F(gy,gx). □
Theorem 2.2 In addition to the hypothesis of Theorem 2.1, 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})). 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 By Theorem 2.1, the set of coupled coincidences is nonempty. In order to prove the theorem, we shall first show that if (x,y) and ({x}^{\ast},{y}^{\ast}) are coupled coincidence points, that is, if gx=F(x,y), gy=F(y,x) and g{x}^{\ast}=F({x}^{\ast},{y}^{\ast}), g{y}^{\ast}=F({y}^{\ast},{x}^{\ast}), then
By assumption, there is (u,v)\in X\times X such that (F(u,v),F(v,u)) is comparable with (F(x,y),F(y,x)) and (F({x}^{\ast},{y}^{\ast}),F({y}^{\ast},{x}^{\ast})). Put {u}_{0}=u, {v}_{0}=v and choose {u}_{1},{v}_{1}\in X so that g{u}_{1}=F({u}_{0},{v}_{0}), g{v}_{1}=F({v}_{0},{u}_{0}).
Then, similarly as in the proof of Theorem 2.1, we can inductively define sequences \{g{u}_{n}\} and \{g{v}_{n}\} such that g{u}_{n+1}=F({u}_{n},{v}_{n}) and g{v}_{n+1}=F({v}_{n},{u}_{n}).
Further, set {x}_{0}=x, {y}_{0}=y, {x}_{0}^{\ast}={x}^{\ast}, {y}_{0}^{\ast}={y}^{\ast} and, in the same way, define the sequences \{g{x}_{n}\}, \{g{y}_{n}\} and \{g{x}_{n}^{\ast}\}, \{g{y}_{n}^{\ast}\}. Then it is easy to show that
and
Since (F(u,v),F(v,u))=(g{u}_{1},g{v}_{1}) and (F(x,y),F(y,x))=(g{x}_{1},g{y}_{1})=(gx,gy) are comparable, then g{u}_{1}\ge gx and g{v}_{1}\le gy. It is easy to show that (g{u}_{n},g{v}_{n}) and (gx,gy) are comparable, that is, g{u}_{n}\ge gx and g{v}_{n}\le gy for all n\ge 1. Thus by (2.1),
Since ψ is nonnegative, we have
By the monotonicity of φ, we have
Thus, the sequence \{{d}_{n}\} defined by {d}_{n}=\frac{d(g{u}_{n},gx)+d(g{v}_{n},gy)}{2}, is a monotonically decreasing sequence of nonnegative real numbers, so there exists some d\ge 0 such that {lim}_{n\to \mathrm{\infty}}{d}_{n}=d.
We shall show that d=0. Suppose, to the contrary, that d>0. Then taking limit as n\to \mathrm{\infty}, in (2.28) and using the continuity of φ, we have
a contradiction. Thus, d=0; that is, {lim}_{n\to \mathrm{\infty}}{d}_{n}=0.
Hence, it follows that g{u}_{n}\to gx, g{v}_{n}\to gy.
Similarly, one can show that g{u}_{n}\to g{x}^{\ast}, g{v}_{n}\to g{y}^{\ast}.
By the uniqueness of the limit, it follows that gx=g{x}^{\ast} and gy=g{y}^{\ast}. Thus, we proved (2.27).
Since gx=F(x,y), gy=F(y,x) and the pair (F,g) is compatible, then by Lemma 2.1, it follows that
Denote gx=z, gy=w. Then by (2.30),
Thus, (z,w) is a coupled coincidence point.
Then by (2.27) with {x}^{\ast}=z and {y}^{\ast}=w, it follows that gz=gx and gw=gy; that is,
By (2.31) and (2.32),
Therefore, (z,w) is the coupled common fixed point of F and g.
To prove the uniqueness, assume that (p,q) is another coupled common fixed point of F and g. Then by (2.27), we have p=gp=gz=z and q=gq=gw=w. □
Corollary 2.5 In addition to the hypothesis of Corollary 2.3, 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})). 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 Taking \phi (t)=\frac{t}{2} and \psi (t)=(1k)\frac{t}{2}, 0\le k<1 in Theorem 2.2, we obtain Corollary 2.5. □
Remark 2.4 Indeed, (0,0) is the unique coupled common fixed point of the maps F and g in Example 2.1 in view of Theorem 2.2 and Corollary 2.5.
References
Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Lakshmikantham V, Ciric L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. TMA 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020
Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. TMA 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025
Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings partially ordered metric spaces. Nonlinear Anal. TMA 2011, 74: 7347–7355. 10.1016/j.na.2011.07.053
Berinde V: Coupled fixed point theorems for φ contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. TMA 2012, 75: 3218–3228. 10.1016/j.na.2011.12.021
Harjani J, Lopez B, Sadrangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. TMA 2011, 74: 1749–1760. 10.1016/j.na.2010.10.047
Luong NV, Thuan NX: Coupled fixed points in partially ordered metric spaces and application. Nonlinear Anal. TMA 2011, 74: 983–992. 10.1016/j.na.2010.09.055
Samet B: Coupled fixed point theorems for a generalized MeirKeeler contraction in partially ordered metric spaces. Nonlinear Anal. TMA 2010, 72: 4508–4517. 10.1016/j.na.2010.02.026
Jain M, Tas K, Kumar S, Gupta N: Coupled fixed point theorems for a pair of weakly compatible maps along with CLRg property in fuzzy metric spaces. J. Appl. Math. 2012., 2012: Article ID 961210. doi:10.1155/2012/961210
Sintunavarat W, Cho YJ, Kumam P: Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 81
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
Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mapping under F invariant set. Abstr. Appl. Anal. 2012., 2012: Article ID 324874
Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 93
Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for contraction mapping induced by cone ballmetric in partially ordered spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 128
Sintunavarat W, Petrusel A, Kumam P: Common coupled fixed point theorems for w ∗compatible mappings without mixed monotone property. Rend. Circ. Mat. Palermo 2012. doi:10.1007/s12215–012–0096–0
Alotaibi A, Alsulami SM: Coupled coincidence points for monotone operators in partially ordered metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 44
Acknowledgements
The authors are thankful to the referees for their appreciation and valuable suggestions regarding this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
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 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
Jain, M., Tas, K., Kumar, S. et al. Coupled common fixed point results involving a (\phi ,\psi )contractive condition for mixed gmonotone operators in partially ordered metric spaces. J Inequal Appl 2012, 285 (2012). https://doi.org/10.1186/1029242X2012285
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012285
Keywords
 partially ordered set
 compatible mappings
 gmixed monotone mappings
 coupled coincidence point
 coupled common fixed point