 Research
 Open access
 Published:
Coupled point results in partially ordered metric spaces without compatibility
Fixed Point Theory and Applications volume 2014, Article number: 204 (2014)
Abstract
The existence of fixed points, coupled fixed points, and coupled coincidence points without the assumption of compatibility is established. The results presented in this paper extend, improve, and generalize some wellknown results in the literature. Also, an example is given to show that our results are real generalizations of known ones in coupled coincidence fixed point theory.
MSC:54H25, 47H10.
1 Introduction
Fixed point theorems in metric spaces play a major role for solving problems in applied mathematics and science. The study of fixed points of self maps which satisfy certain contractive conditions have been researched extensively by many mathematicians in different directions and in different spaces, we refer the reader to [1–8], and the references therein.
The Banach contraction principle is an important tool in the theory of metric spaces, it guarantees the existence and uniqueness of fixed points of certain self maps of metric spaces.
Recently, Ran and Reurings [9] extended the Banach contraction principle in partially ordered sets with some applications to matrix equations. In [10] Bhaskar and Lakshmikantham introduced the concept of coupled fixed point of a function F:X\times X\to X which has the mixed monotone property, where X is a partially ordered metric space. Furthermore, they established some interesting coupled fixed point theorems.
After that, Lakshmikantham and Ćirić [11], Choudhury and Kundu [12], Alsulami [13] and many other authors have continued to study the existence of coupled fixed points in partially ordered metric spaces.
Our main aim in this manuscript is to obtain more general fixed point results. This manuscript is split to three stages. First, the existence and uniqueness of fixed points for a complete partially ordered metric spaces have been proved. This result extends the main results of Harjani and Sadarangani [14], Ran and Reurings [9] and Nieto and RodríguezLópez [15]. Second, we establish the existence of coupled fixed point theorems. These results extend and generalize the results of Harjani et al. [16], Bhaskar and Lakshmikantham [10] and Luong and Thuan [17]. In the last section, we give coupled coincidence point theorems without using the compatibility. Some results of Alsulami [13], Alotaibi and Alsulami [18], Razani and Parvaneh [19] and Lakshmikantham and Ćirić [11] are extended and generalized in the last section. At the end, we illustrate our results by an example where the previous mentioned results cannot be applied.
2 Fixed point results
In this section we prove some fixed point results for a mapping f:X\to X in a partial ordered set X with a metric defined on it.
Let us start with the definition of altering distance.
Definition 2.1 An altering distance function is a function \psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) which satisfied the following conditions:

(1)
ψ is continuous and nondecreasing;

(2)
\psi (t)=0 if and only if t=0.
Here, the notion of comparability is defined in the following way.
Definition 2.2 Let (X,\u2aaf) be a partially ordered set. We say that x,y\in X are comparable if x\u2aafy or y\u2aafx and we write x\asymp y.
In [14], Harjani and Sadarangani proved the following interesting results.
Theorem 2.3 Let (X,d,\u2aaf) be a complete partially ordered metric space and let f:X\to X be a continuous and nondecreasing mapping such that
where ψ and φ are altering distance functions. If there exists {x}_{0}\in X with {x}_{0}\u2aaff({x}_{0}) then f has a fixed point. Moreover, if for each x,y\in X there exists z\in X such that x\u2aafz and y\u2aafz then the fixed point is unique.
They also showed that the above theorem is still valid for f not necessarily continuous.
Theorem 2.4 Let (X,d,\u2aaf) be a complete partially ordered metric space. Assume that if \{{x}_{n}\} is a nondecreasing sequence in X such that {x}_{n}\to x then {x}_{n}\u2aafx for all n\in \mathbb{N}. Let f:X\to X be a nondecreasing mapping such that
where ψ and φ are altering distance functions. If there exists {x}_{0}\in X with {x}_{0}\u2aaff({x}_{0}) then f has a fixed point. Moreover, if for each x,y\in X there exists z\in X such that x\u2aafz and y\u2aafz then the fixed point is unique.
The following our result is essential for the remaining results. Moreover, this theorem is a generalization of Theorem 2.3 and Theorem 2.4.
Theorem 2.5 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let f:X\to X be a mapping which obeys the following conditions:

(1)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that
\psi \left(d(f(x),f(y))\right)\le \theta (d(x,y))\phi (d(x,y))\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y,where \theta (0)=\phi (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(2)
there exists {x}_{0}\in X such that {x}_{0}\asymp f({x}_{0});

(3)
f is nondecreasing;

(4)(a)
f is continuous or

(b)
if {x}_{n}\to x when n\to \mathrm{\infty} in X, then {x}_{n}\asymp x for all n.
Then f has a fixed point. Moreover, if for each x,y\in X there exists z\in X which is comparable to x and y then the fixed point is unique.
Proof By condition (2), there exists a point {x}_{0} such that {x}_{0}\asymp f({x}_{0}). Take {x}_{1}\in X such that {x}_{1}=f({x}_{0}). That is, {x}_{0}\asymp {x}_{1}. Take {x}_{2}=f({x}_{1}). From condition (3), we deduce that f({x}_{0})\asymp f({x}_{1}), that is, {x}_{1}\asymp {x}_{2} again use condition (3) we have f({x}_{1})\asymp f({x}_{2}). Proceeding by induction, we obtain {x}_{n+1}=f({x}_{n}) such that {x}_{n}\asymp {x}_{n+1} for each n\in \mathbb{N}, i.e.,
That is,
If {x}_{n}={x}_{n+1} for some n\in \mathbb{N} then f has a fixed point and the proof of the existence of the fixed point is complete. Assume that {x}_{n}\ne {x}_{n+1} for all n\in \mathbb{N}. Now, by using condition (1), we get
but we have \psi (d({x}_{n1},{x}_{n}))\theta (d({x}_{n1},{x}_{n}))+\phi (d({x}_{n1},{x}_{n}))>0. Then
Thus
Since ψ is an altering distance,
That is, \{d({x}_{n1},{x}_{n})\} is decreasing and so
To show that r=0, we suppose that r\ne 0. By using the property of ψ, θ, and φ and taking n\to \mathrm{\infty} in (2.2) we obtain
so
a contradiction. Therefore, r=0 and {lim}_{n\to \mathrm{\infty}}d({x}_{n1},{x}_{n})=0.
Now, we want to show that \{{x}_{n}\} is a Cauchy sequence. Suppose \{{x}_{n}\} is not Cauchy. Then there exists \epsilon >0 and we can find subsequences \{{x}_{{n}_{(i)}}\} and \{{x}_{{m}_{(i)}}\} of \{{x}_{n}\} with {n}_{(i)}>{m}_{(i)}>i, such that
Suppose that {n}_{(i)} is the smallest index with {n}_{(i)}>{m}_{(i)}>i and satisfying (2.5). This means
By using triangular inequality, we have
By combining (2.5), (2.6), and (2.7) we obtain
taking i\to \mathrm{\infty}, we get
Also, we have
By taking i\to \mathrm{\infty} in (2.7) and (2.9), we obtain
Therefore,
Similarly we can show that
From (2.1) and condition (1), since {x}_{{m}_{(i)}}\asymp {x}_{{n}_{(i)}1} we have
By using the properties of ψ as altering distance and from (2.11) we deduce that
Now take i\to \mathrm{\infty} in (2.12); we get
Thus \psi (\epsilon )\theta (\epsilon )+\phi (\epsilon )\le 0, this is a contradiction due to \epsilon >0. Therefore, \{{x}_{n}\} is a Cauchy sequence. Since X is complete, \{{x}_{n}\} converges. Thus there exists {x}^{\ast}\in X such that
Now suppose that part (a) of condition (4) holds, i.e., f is continuous. Then {x}^{\ast}={lim}_{n\to \mathrm{\infty}}{x}_{n}={lim}_{n\to \mathrm{\infty}}f({x}_{n})=f({x}^{\ast}). Therefore, {x}^{\ast} is a fixed point of f.
We suppose that (b) holds. Since {x}_{n}\to {x}^{\ast}, {x}_{n}\asymp {x}^{\ast}. By using condition (1) we obtain
Let n\to \mathrm{\infty}. We have
Thus \psi (d(f({x}^{\ast}),{x}^{\ast}))=0, i.e., f({x}^{\ast})={x}^{\ast}.
Finally, we prove the uniqueness of the fixed point. Suppose f has another fixed point {y}^{\ast}. From the assumption, there exists z\in X such that {x}^{\ast}\asymp z and {y}^{\ast}\asymp z. If z={x}^{\ast} or z={y}^{\ast}, it is trivial. We suppose z\ne {x}^{\ast} and z\ne {y}^{\ast}. Put {z}_{0}=z and choose {z}_{1}\in X such that {z}_{1}=f({z}_{0}). Then we have {z}_{0}\asymp {x}^{\ast}. By using condition (3) we deduce that f({z}_{0})\asymp f({x}^{\ast}), that is, {z}_{1}\asymp {x}^{\ast}; again use condition (3) and we have f({z}_{1})\asymp f({x}^{\ast}). Proceeding by induction, we obtain {z}_{n}\asymp {x}^{\ast}, for definiteness we assume {x}^{\ast}\ne {z}_{n} for all n\in \mathbb{N}. Similarly, we have {y}^{\ast}\asymp {z}_{n} and {y}^{\ast}\ne {z}_{n} for all n\in \mathbb{N}. Now, by using condition (1) we deduce
Since
we have
Due to ψ being an altering distance, we find that \{d({x}^{\ast},{z}_{n})\} is a decreasing sequence. Consequently, there exists a positive number ℓ such that d({x}^{\ast},{z}_{n})\to \ell. Let n\to \mathrm{\infty} in (2.13), and we obtain
If \ell \ne 0, then \psi (\ell )\theta (\ell )+\phi (\ell )\le 0, a contradiction. Thus \ell =0, i.e., d({x}^{\ast},{z}_{n})\to 0. Similarly, we can deduce that d({y}^{\ast},{z}_{n})\to 0. In the other hand, we have d({x}^{\ast},{y}^{\ast})\le d({x}^{\ast},{z}_{n})+d({z}_{n},{y}^{\ast}). We get {x}^{\ast}={y}^{\ast} when n\to \mathrm{\infty}. Hence, the fixed point of f is unique. □
Note that condition (1) in the above theorem is also used in [20].
If we take \theta =\psi in Theorem 2.5, we obtain the following corollary.
Corollary 2.6 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let f:X\to X be a mapping which obeys the following conditions:

(1)
there exist an altering distance function ψ and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that
\psi \left(d(f(x),f(y))\right)\le \psi (d(x,y))\phi (d(x,y))\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y,where \phi (0)=0;

(2)
there exists {x}_{0}\in X such that {x}_{0}\asymp f({x}_{0});

(3)
f is nondecreasing;

(4) (a)
f is continuous or

(b)
if {x}_{n}\to x when n\to \mathrm{\infty} in X, then {x}_{n}\asymp x for all n.
Then f has a fixed point. Moreover, if for each x,y\in X there exists z\in X which is comparable to x and y, then the fixed point is unique.
If we consider the special functions \psi (t)=t and \phi (t)=(1k)t where k\in [0,1) and by using the above corollary, we can easily generalize the results of Ran and Reurings [9] and Nieto and RodríguezLópez [15] as follows.
Corollary 2.7 Let (X,d,\u2aaf) be a complete partially ordered metric space and let f:X\to X be a mapping which obeys the following conditions:

(1)
there exists a constant k\in [0,1) such that
d(f(x),f(y))\le kd(x,y)\phantom{\rule{1em}{0ex}}\mathit{\text{for}}x\u2ab0y; 
(2)
there exist {x}_{0}\in X such that {x}_{0}\asymp f({x}_{0});

(3)
f is nondecreasing;

(4) (a)
f is continuous or

(b)
if {x}_{n}\to x when n\to \mathrm{\infty} in X, then {x}_{n}\asymp x for all n.
Then f has a fixed point. Moreover, if for each x,y\in X there exists z\in X which is comparable to x and y, then the fixed point is unique.
3 Coupled fixed point theorems
In this section, we obtain some coupled fixed point results. The notions of a coupled fixed point and the mixed monotone property in metric spaces endowed with a partial order were introduced by Bhaskar and Lakshmikantham in [10] as follows.
Definition 3.1 Let X be a nonempty set and F:X\times X\to X be a mapping. An element (x,y)\in X\times X, is called a coupled fixed point of F if
Definition 3.2 Let (X,\u2aaf) be a partially ordered set and let F:X\times X\to X be a mapping. We say that the mapping F has the mixed monotone property if F is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument. That is, for any x,y\in X,
and
The following theorems are the main theoretical results of Bhaskar and Lakshmikantham [10].
Theorem 3.3 Let (X,d,\u2aaf) be a complete partially ordered metric space and let F:X\times X\to X be a continuous mapping having the mixed monotone property on X. Assume that there exists a constant k\in [0,1) with
If there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0}), then there exist {x}^{\ast},{y}^{\ast}\in X such that
Theorem 3.4 Let (X,d,\u2aaf) be a complete partially ordered metric space. Assume that X has the following properties:

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

(2)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y, 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 constant k\in [0,1) with
If there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0}), then there exist {x}^{\ast},{y}^{\ast}\in X such that
In [21], Samet et al. defined the mappings \eta ,\delta :Y\times Y\to [0,\mathrm{\infty}), where Y=X\times X and (X,\u2aaf) is a partially ordered set endowed with a metric d, by
for all (x,y),(u,v)\in Y.
It is easy to show that (Y,\eta ) and (Y,\delta ) are metric spaces. Let F:Y\to X be a mapping and define T:Y\to Y by
Let (X,\u2aaf) be a partially ordered set and (x,y),(u,v)\in X\times X. We say that (x,y){\u2aaf}_{2}(u,v) if x\u2aafu and y\u2ab0v.
Here we recall the following lemma.
Lemma 3.5 [21]
The following properties hold:

(a)
(X,d) is complete if and only if (Y,\eta ) and (Y,\delta ) are complete;

(b)
F has the mixed monotone property if and only if T is monotone nondecreasing with respect to ⪯_{2};

(c)
(x,y)\in X\times X is a coupled fixed point of F if and only if (x,y) is a fixed point of T.
Now, we are ready to formulate our next result.
Theorem 3.6 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let F:X\times X\to X be a mapping which obeys the following conditions:

(1)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all (x,y),(u,v)\in X\times X with (x,y){\u2aaf}_{2}(u,v)
\psi \left(d(F(x,y),F(u,v))\right)\le \theta (max\{d(x,u),d(y,v)\})\phi (max\{d(x,u),d(y,v)\}),where \theta (0)=\phi (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(2)
there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0});

(3)
F has the mixed monotone property;

(4) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then F has a coupled fixed point ({x}^{\ast},{y}^{\ast}). Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then ({x}^{\ast},{x}^{\ast}) is the unique coupled fixed point of F.
Proof We prove the theorem in three steps.
Step 1. We show that the function T which is defined in (3.1) satisfies condition (1) in Theorem 2.5. By using condition (1) we get
and
for each (x,y),(u,v)\in X\times X with (x,y){\u2aaf}_{2}(u,v). Thus
Since ψ is nondecreasing, we have \psi (max(a,b))=max(\psi (a),\psi (b)) for a,b\in [0,\mathrm{\infty}). Therefore,
By using the definition of δ we have
and by using the definition of T we obtain
for all (x,y),(u,v)\in Y with (x,y){\u2aaf}_{2}(u,v).
Step 2. Let us prove that F has a coupled fixed point. We have (X,d) is complete. Then, by Lemma 3.5, (Y,\delta ) is also complete. By using condition (2) there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0}), so we deduce that
thus,
In condition (3) F has the mixed monotone property so by using Lemma 3.5 we find that T is monotone nondecreasing with respect to ⪯_{2}.
Now, from condition (4)(a) since f is continuous, T is continuous. Also, in case (b), if (i) and (ii) are satisfied, then we see that if a nondecreasing sequence \{({x}_{n},{y}_{n})\} with respect to ⪯_{2} in Y converges to (x,y), then ({x}_{n},{y}_{n}){\u2aaf}_{2}(x,y) for all n. Consequently, T satisfies all the conditions of Theorem 2.5. Hence, T has a fixed point, which leads to F having a coupled fixed point.
Step 3. Let us now show the uniqueness of coupled fixed point and it has the form ({x}^{\ast},{x}^{\ast}). We suppose that ({x}^{\ast},{y}^{\ast}) is a coupled fixed point of F and we take (u,v)\in X\times X is another coupled fixed point of F then there exists (w,z)\in X\times X such that ({x}^{\ast},{y}^{\ast}){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z). Therefore, ({x}^{\ast},{y}^{\ast}) and (u,v) are fixed points of T with ({x}^{\ast},{y}^{\ast}){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z). From the last part of Theorem 2.5 we find that T has a unique fixed point, which leads to the uniqueness of the coupled fixed point of F. Now, since ({x}^{\ast},{y}^{\ast}) is the coupled fixed point of F, that is, {x}^{\ast}=F({x}^{\ast},{y}^{\ast}) and {y}^{\ast}=F({y}^{\ast},{x}^{\ast}), then ({y}^{\ast},{x}^{\ast}) is also a coupled fixed point of F. By the uniqueness of the coupled fixed point we obtain ({x}^{\ast},{x}^{\ast}) is the unique coupled fixed point of F. □
Theorem 3.7 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let F:X\times X\to X be a mapping. Suppose the following conditions hold:

(1)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all (x,y),(u,v)\in X\times X with (x,y){\u2aaf}_{2}(u,v)
\psi \left(d(F(x,y),F(u,v))\right)\le \frac{1}{2}\theta (d(x,u)+d(y,v))\phi \left(\frac{d(x,u)+d(y,v)}{2}\right),where \phi (0)=\theta (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(2)
\psi (a+b)\le \psi (a)+\psi (b) and \phi (c)\le 2\phi (c/2) for all a,b,c\in [0,\mathrm{\infty});

(3)
F has the mixed monotone property;

(4)
there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0});

(5) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then F has a coupled fixed point ({x}^{\ast},{y}^{\ast}). Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then ({x}^{\ast},{x}^{\ast}) is the unique coupled fixed point of F.
Proof The main object in this proof is to show that the function T which is defined in (3.1) satisfies condition (1) in Theorem 2.5. By using condition (1), we have
and
for (x,y){\u2aaf}_{2}(u,v). By summing the above inequalities, we obtain
When we utilize condition (2), we get
Now, we use the definition of η,
and by using the definition of T we obtain
for all (x,y),(u,v)\in Y with (x,y){\u2aaf}_{2}(u,v). The rest of the proof follows exactly the proof of Theorem 3.6. □
Remark 3.8 The results of Harjani et al. [16] and Luong and Thuan [17] are extended and generalized by Theorem 3.6 and Theorem 3.7, respectively.
Note that the following theorem can be proved the exactly same manner as above and the motivation of this theorem will be known in the succeeding section.
Theorem 3.9 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let F:X\times X\to X be a mapping. Suppose the following conditions hold:

(1)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all (x,y),(u,v)\in X\times X with (x,y){\u2aaf}_{2}(u,v)
\psi \left(d(F(x,y),F(u,v))\right)\le \theta \left(\frac{d(x,u)+d(y,v)}{2}\right)\frac{1}{2}\phi (d(x,u)+d(y,v)),where \phi (0)=\theta (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(2)
\psi (a+b)\le \psi (a)+\psi (b) and 2\theta (c/2)\le \theta (c) for all a,b,c\in [0,\mathrm{\infty});

(3)
F has the mixed monotone property;

(4)
there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0});

(5) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then F has a coupled fixed point ({x}^{\ast},{y}^{\ast}). Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then ({x}^{\ast},{x}^{\ast}) is the unique coupled fixed point of F.
The following theorem was proved by Bhaskar and Lakshmikantham in [10]. Now we will prove it by a different way.
Theorem 3.10 Let (X,d,\u2aaf) be a complete partially ordered metric space and let F:X\times X\to X be a mapping which obeys the following conditions:

(1)
there exists a constant k\in [0,1) such that for all (x,y),(u,v)\in X\times X with (x,y){\u2aaf}_{2}(u,v)
d(F(x,y),F(u,v))\le \frac{k}{2}[d(x,u)+d(y,v)]; 
(2)
there exist {x}_{0},{y}_{0}\in X such that {x}_{0}\u2aafF({x}_{0},{y}_{0}) and {y}_{0}\u2ab0F({y}_{0},{x}_{0});

(3)
F has the mixed monotone property;

(4) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then F has a coupled fixed point ({x}^{\ast},{y}^{\ast}). Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then ({x}^{\ast},{x}^{\ast}) is the unique coupled fixed point of F.
Proof Our major work in this proof is to show that the function T which is defined in (3.1) satisfies condition (1) in Corollary 2.7. By using condition (1) we have
and
for (x,y){\u2aaf}_{2}(u,v). Hence
By using the definition of η, we have
and by utilizing the definition of T, we obtain
for all (x,y),(u,v)\in Y with (x,y){\u2aaf}_{2}(u,v). The rest of the proof follows the proof of Theorem 3.6 and then we apply Corollary 2.7. □
4 Coupled coincidence point without compatibility
In this section, we get new coupled coincidence point results. The notions of coupled coincidence point and mixed gmonotone property have been established recently in the work [11] by Lakshmikantham and Ćirić. These concepts are defined as follows.
Definition 4.1 Let X be a nonempty set and let F:X\times X\to X and g:X\to X be mappings. We say that (x,y)\in X\times X is a coupled coincidence point of F and g if F(x,y)=g(x) and F(y,x)=g(y) for x,y\in X.
Definition 4.2 Let (X,\u2aaf) be a partially ordered set and let F:X\times X\to X and g:X\to X be mappings. We say F has the mixed gmonotone property if F is monotone gnondecreasing in its first argument and is monotone gnonincreasing in its second argument. That is, for any x,y\in X,
and
Recently, the notion of compatibility of F and g was defined by Choudhury and Kundu [12] as follows.
Definition 4.3 Let (X,d) be a metric space and let g:X\to X, F:X\times X\to X. The mappings g and F are compatible if
and
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 all x,y\in X are satisfied.
Now, we are in the position to prove our result in coupled coincidence point which is a generalization of the main results of Razani and Parvaneh [19] and Alsulami [13].
Theorem 4.4 Let (X,d,\u2aaf) be a partially ordered metric space. Let the mappings g:X\to X and F:X\times X\to X have the following conditions:

(1)
g(X) is complete, g is continuous and increasing;

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

(3)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all x,y,u,v\in X with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v)) we have
\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \theta (max\{d(g(x),g(u)),d(g(y),g(v))\})\\ \phi (max\{d(g(x),g(u)),d(g(y),g(v))\}),\end{array}
where \phi (0)=\theta (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(4)
there exist {x}_{0},{y}_{0}\in X such that g({x}_{0})\u2aafF({x}_{0},{y}_{0}) and g({y}_{0})\u2ab0F({y}_{0},{x}_{0});

(5)
F has the mixed gmonotone property;

(6) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then g and F have a coupled coincidence point. Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then (s,s) is the unique coupled coincidence point of F and g.
Proof We define a map G:g(X)\times g(X)\to g(X) by
for all g(x),g(y)\in g(X). G is well defined on g(X) since g is increasing. First, we show that the map G:g(X)\times g(X)\to g(X) satisfies all the assumptions of Theorem 3.6. It is clear (g(X),d,\u2aaf) is a partially ordered metric space. From condition (3) and (4.1), we have
for all g(x),g(y),g(u),g(v)\in g(X) with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v)). From condition (4), there exist g({x}_{0}),g({y}_{0})\in g(X) such that
From condition (5),
for all g(x),g(y),g(u),g(v)\in g(X). Thus, G has the mixed monotone property. By using part (a) of condition (6), G is continuous since F is continuous. Moreover, we suppose that the assumption (b) holds. Since g is continuous and increasing, g(X) also has the following properties:
(i′) if a nondecreasing sequence \{g({x}_{n})\}\to g(x), then g({x}_{n})\u2aafg(x) for all n,
(ii″) if a nonincreasing sequence \{g({y}_{n})\}\to g(y), then g({y}_{n})\u2ab0g(y) for all n.
Moreover, due to g is increasing, we see that for any (g(x),g(y)),(g(u),g(v))\in g(X)\times g(X) there exists (g(w),g(z))\in g(X)\times g(X) such that (g(x),g(y)){\u2aaf}_{2}(g(w),g(z)) and (g(u),g(v)){\u2aaf}_{2}(g(w),g(z)). Therefore, all the assumptions of Theorem 3.6 are satisfied. Hence, G has a unique coupled fixed point ({x}^{\ast},{x}^{\ast})\in g(X)\times g(X).
Now, we prove that F and g have a unique coupled coincidence point. Let ({x}^{\ast},{x}^{\ast}) be the coupled fixed point of G, that is, {x}^{\ast}=G({x}^{\ast},{x}^{\ast}). Since {x}^{\ast}\in g(X) and g is increasing, there exists a unique s\in X such that g(s)={x}^{\ast}. Thus, g(s)=G(g(s),g(s)), i.e., g(s)=F(s,s). Therefore, (s,s) is a unique coupled coincidence point of F and g. □
If we take \psi (t)=\theta (t)=t and \phi (t)=(1k)t with k<1 in Theorem 4.4, we have the following corollary.
Corollary 4.5 Let (X,d,\u2aaf) be a complete partially ordered metric space. Let the mappings g:X\to X and F:X\times X\to X obey the following conditions:

(1)
g(X) is complete, g is continuous and increasing;

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

(3)
there exists k\in [0,1) such that for all x,y,u,v\in X with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v)) we have
d(F(x,y),F(u,v))\le kmax\{d(g(x),g(u)),d(g(y),g(v))\}; 
(4)
there exist {x}_{0},{y}_{0}\in X such that g({x}_{0})\u2aafF({x}_{0},{y}_{0}) and g({y}_{0})\u2ab0F({y}_{0},{x}_{0});

(5)
F has the mixed gmonotone property;

(6) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then g and F have a coupled coincidence point. Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then (s,s) is the unique coupled coincidence point of F and g.
The following result is an extension of the main result of Alotaibi and Alsulami [18] without using the compatibility.
Theorem 4.6 Let (X,d,\u2aaf) be a partially ordered metric space. Let the mappings g:X\to X and F:X\times X\to X obey the following conditions:

(1)
g(X) is complete, g is continuous and increasing;

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

(3)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all x,y,u,v\in X with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v))
\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \frac{1}{2}\theta (d(g(x),g(u))+d(g(y),g(v)))\\ \phi \left(\frac{d(g(x),g(u))+d(g(y),g(v))}{2}\right),\end{array}
where \phi (0)=\theta (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(4)
\psi (a+b)\le \psi (a)+\psi (b) and \phi (c)\le 2\phi (c/2) for all a,b,c\in [0,\mathrm{\infty});

(5)
there exist {x}_{0},{y}_{0}\in X such that g({x}_{0})\u2aafF({x}_{0},{y}_{0}) and g({y}_{0})\u2ab0F({y}_{0},{x}_{0});

(6)
F has the mixed gmonotone property;

(7) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then g and F have a coupled coincidence point. Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then (s,s) is the unique coupled coincidence point of F and g.
Proof Let G:g(X)\times g(X)\to g(X) be the map which is defined in (4.1). From condition (3), we have
for all g(x),g(y),g(u),g(v)\in g(X) with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v)). The rest of the proof is similar to the proof of Theorem 4.4 and by applying Theorem 3.7 we are done. □
Applying Theorem 3.9 and Theorem 4.6 the following theorem can be proved easily.
Theorem 4.7 Let (X,d,\u2aaf) be a partially ordered metric space. Let the mappings g:X\to X and F:X\times X\to X obey the following conditions:

(1)
g(X) is complete, g is continuous and increasing;

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

(3)
there exist an altering distance function ψ, an upper semicontinuous function \theta :[0,\mathrm{\infty})\to [0,\mathrm{\infty}), and a lower semicontinuous function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) such that for all x,y,u,v\in X with (g(x),g(y)){\u2aaf}_{2}(g(u),g(v))
\begin{array}{rcl}\psi \left(d(F(x,y),F(u,v))\right)& \le & \theta \left(\frac{d(g(x),g(u))+d(g(y),g(v))}{2}\right)\\ \frac{1}{2}\phi (d(g(x),g(u))+d(g(y),g(v))),\end{array}
where \phi (0)=\theta (0)=0 and \psi (t)\theta (t)+\phi (t)>0 for all t>0;

(4)
\psi (a+b)\le \psi (a)+\psi (b) and 2\theta (c/2)\le \theta (c) for all a,b,c\in [0,\mathrm{\infty});

(5)
there exist {x}_{0},{y}_{0}\in X such that g({x}_{0})\u2aafF({x}_{0},{y}_{0}) and g({y}_{0})\u2ab0F({y}_{0},{x}_{0});

(6)
F has the mixed gmonotone property;

(7) (a)
F is continuous or

(b)
X has the following properties:

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

(ii)
if a nonincreasing sequence \{{y}_{n}\}\to y, then {y}_{n}\u2ab0y for all n.
Then g and F have a coupled coincidence point. Moreover, if for any (x,y),(u,v)\in X\times X there exists (w,z)\in X\times X such that (x,y){\u2aaf}_{2}(w,z) and (u,v){\u2aaf}_{2}(w,z), then (s,s) is the unique coupled coincidence point of F and g.
Note that, in particular if we take \psi (t)=t and \phi (t)\equiv 0 in Theorem 4.7, then the function θ satisfies the basic assumption of the main theorem of Lakshmikantham and Ćirić [11] and other assumptions are similar. Therefore their main result implies from this theorem. Of course in our theorem we have required the monotonicity of g, but this condition ensures the uniqueness of coupled coincidence point.
Now, we present our example. This example illustrates Theorem 4.4. Moreover, the conditions of Theorem 4.4 are fulfilled, but Theorem 2.1 of Alsulami [13] cannot be applied.
Example 4.8 Let X=[0,2/3] be endowed with its Euclidian metric d(x,y)=xy and its usual order ≤. Take F:X\times X\to X defined by
and g:X\to X defined by
F has the mixed gmonotone property. We show that F and g are not compatible. Let \{{x}_{n}\} and \{{y}_{n}\} be two sequences in X such that
so a=b=3/16 and then {lim}_{n\to \mathrm{\infty}}{x}_{n}={lim}_{n\to \mathrm{\infty}}{y}_{n}=3/8;
Let \psi (t)=\theta (t)=t and \phi (t)=t/3 for t\ge 0. Then
Hence, all the assumption of Theorem 4.4 are satisfied. So we see that F and g have the unique coupled coincidence point (3/8,3/8).
References
Alsulami SM, Alotaibi A: Coupled coincidence point theorems for compatible in partially ordered metric spaces. Bull. Math. Anal. Appl. 2012, 4: 129–138.
Alsulami SM, Hussain N, Alotaibi A: Coupled fixed and coincidence points for monotone operators in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 173 10.1186/168718122012173
Alsulami SM, Kozlowski WM: On the set of common fixed points of semigroups of nonlinear mappings in modular function spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 4 10.1186/1687181220144
Ćirić L, Alsulami SM, Parvaneh V, Roshan JR:Some fixed point results in ordered {G}_{p}metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 317 10.1186/168718122013317
Hussain N, Nashine HK, Kadelburg Z, Alsulami SM: Weakly isotone increasing mappings and endpoints in partially ordered metric spaces. J. Inequal. Appl. 2012., 2012: Article ID 232 10.1186/1029242X2012232
Shaddad, F, Salmi, M, Alsulami, SM: Fixed point theorems in cone metric spaces by using sequentially lower semicontinuous for multivalued maps. Bull. Malays. Math. Soc. (accepted, 2013)
Shaddad F, Salmi M, Alsulami SM: Common fixed point results of CiricSuzukitype inequality for multivalued maps in compact metric spaces. J. Inequal. Appl. 2014., 2014: Article ID 7 10.1186/1029242X20147
Wang S, Alsulami SM, Ćirić L: Common fixed point theorems for nonlinear contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 191 10.1186/168718122013191
Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132: 1435–1443. 10.1090/S0002993903072204
Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 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. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025
Alsulami SM: Some coupled coincidence point theorems for a mixed monotone operator in a complete metric space endowed with a partial order by using altering distance functions. Fixed Point Theory Appl. 2013., 2013: Article ID 194
Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 1188–1197. 10.1016/j.na.2009.08.003
Nieto JJ, RodríguezLópez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s1108300590185
Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 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. 2011, 74: 983–992. 10.1016/j.na.2010.09.055
Alotaibi A, Alsulami SM: Coupled coincidence points for monotone operators in partially ordered metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 44
Razani A, Parvaneh V:Coupled coincidence point results for (\psi ,\alpha ,\beta )weak contractions in partially ordered metric spaces. J. Appl. Math. 2012., 2012: Article ID 496103
Choudhury BS, Kundu A:(\psi ,\alpha ,\beta )Weak contractions in partially ordered metric spaces.Appl. Math. Lett. 2012, 25: 6–10. 10.1016/j.aml.2011.06.028
Samet B, Karapınar E, Aydi H, Ćojbašić Rajić V: Discussion on some coupled fixed point theorems. Fixed Point Theory Appl. 2013., 2013: Article ID 50
Acknowledgements
The authors would like to acknowledge the financial support received from Universiti Kebangsaan Malaysia under the research grants UKMDIP201231, AP2013009 and ‘Modal Insan Berpusat (NIC1)’.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of 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 (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Shaddad, F., Md Noorani, M.S., Alsulami, S.M. et al. Coupled point results in partially ordered metric spaces without compatibility. Fixed Point Theory Appl 2014, 204 (2014). https://doi.org/10.1186/168718122014204
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122014204