A generalized weak contraction principle with applications to coupled coincidence point problems

Abstract

In this paper we establish some coincidence point results for generalized weak contractions with discontinuous control functions. The theorems are proved in metric spaces with a partial order. Our theorems extend several existing results in the current literature. We also discuss several corollaries and give illustrative examples. We apply our result to obtain some coupled coincidence point results which effectively generalize a number of established results.

MSC:54H10, 54H25.

1 Introduction

In this paper we prove certain coincidence point results in partially ordered metric spaces for functions which satisfy a certain inequality involving three control functions. Two of the control functions are discontinuous. Fixed point theory in partially ordered metric spaces is of relatively recent origin. An early result in this direction is due to Turinici [1], in which fixed point problems were studied in partially ordered uniform spaces. Later, this branch of fixed point theory has developed through a number of works, some of which are in [2â€“6].

Weak contraction was studied in partially ordered metric spaces by Harjani et al. [3]. In a recent result by Choudhury et al. [2], a generalization of the above result to a coincidence point theorem has been done using three control functions. Here we prove coincidence point results by assuming a weak contraction inequality with three control functions, two of which are not continuous. The results are obtained under two sets of additional conditions. A fixed point theorem is also established. There are several corollaries and two examples. One of the examples shows that the corollaries are properly contained in their respective theorem. The corollaries are generalizations of several existing works.

We apply our result to obtain some coupled coincidence point results. Coupled fixed theorems and coupled coincidence point theorems have appeared prominently in recent literature. Although the concept of coupled fixed points was introduced by Guo et al. [7], starting with the work of Gnana Bhaskar and Lakshmikantham [8], where they established a coupled contraction principle, this line of research has developed rapidly in partially ordered metric spaces. References [9â€“20] are some examples of these works. There is a viewpoint from which coupled fixed and coincidence point theorems can be considered as problems in product spaces [21]. We adopt this approach here. Specifically, we apply our theorem to a product of two metric spaces on which a metric is defined from the metric of the original spaces. We establish a generalization of several results. We also discuss an example which shows that our result is an actual improvement over the results it generalizes.

2 Mathematical preliminaries

Let $\left(X,âª¯\right)$ be a partially ordered set and $T:XâŸ¶X$. The mapping T is said to be nondecreasing if for all ${x}_{1},{x}_{2}âˆˆX$, ${x}_{1}âª¯{x}_{2}$ implies $T{x}_{1}âª¯T{x}_{2}$ and nonincreasing if for all ${x}_{1},{x}_{2}âˆˆX$, ${x}_{1}âª¯{x}_{2}$ implies $T{x}_{1}âª°T{x}_{2}$.

Definition 2.1 ([22])

Let $\left(X,âª¯\right)$ be a partially ordered set and $T:XâŸ¶X$ and $G:XâŸ¶X$. The mapping T is said to be G-nondecreasing if for all $x,yâˆˆX$, $Gxâª¯Gy$ implies $Txâª¯Ty$ and G-nonincreasing if for all $x,yâˆˆX$, $Gxâª¯Gy$ implies $Txâª°Ty$.

Definition 2.2 Two self-mappings G and T of a nonempty set X are said to be commutative if $GTx=TGx$ for all $xâˆˆX$.

Definition 2.3 ([23])

Two self-mappings G and T of a metric space $\left(X,d\right)$ are said to be compatible if the following relation holds:

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left(GT{x}_{n},TG{x}_{n}\right)=0,$

whenever $\left\{{x}_{n}\right\}$ is a sequence in X such that ${lim}_{nâ†’\mathrm{âˆž}}G{x}_{n}={lim}_{nâ†’\mathrm{âˆž}}T{x}_{n}=x$ for some $xâˆˆX$ is satisfied.

Definition 2.4 ([24])

Two self-mappings G and T of a nonempty set X are said to be weakly compatible if they commute at their coincidence points; that is, if $Gx=Tx$ for some $xâˆˆX$, then $GTx=TGx$.

Definition 2.5 ([8])

Let $\left(X,âª¯\right)$ be a partially ordered set and $F:XÃ—XâŸ¶X$. The mapping F is said to have the mixed monotone property if F is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument; that is, if

and

Definition 2.6 ([17])

Let $\left(X,âª¯\right)$ be a partially ordered set, $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$. We say that F has the mixed g-monotone property if

and

Definition 2.7 ([8])

An element $\left(x,y\right)âˆˆXÃ—X$ is called a coupled fixed point of the mapping $F:XÃ—XâŸ¶X$ if $F\left(x,y\right)=x$ and $F\left(y,x\right)=y$.

Definition 2.8 ([17])

An element $\left(x,y\right)âˆˆXÃ—X$ is called a coupled coincidence point of the mappings $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ if $F\left(x,y\right)=gx$ and $F\left(y,x\right)=gy$.

Definition 2.9 ([17])

Let X be a nonempty set. The mappings g and F, where $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$, are said to be commutative if $gF\left(x,y\right)=F\left(gx,gy\right)$ for all $x,yâˆˆX$.

Definition 2.10 ([12])

Let $\left(X,d\right)$ be a metric space. The mappings g and F, where $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$, are said to be compatible if the following relations hold:

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left(gF\left({x}_{n},{y}_{n}\right),F\left(g{x}_{n},g{y}_{n}\right)\right)=0,\phantom{\rule{2em}{0ex}}\underset{nâ†’\mathrm{âˆž}}{lim}d\left(gF\left({y}_{n},{x}_{n}\right),F\left(g{y}_{n},g{x}_{n}\right)\right)=0,$

whenever $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are sequences in X such that ${lim}_{nâ†’\mathrm{âˆž}}g{x}_{n}={lim}_{nâ†’\mathrm{âˆž}}F\left({x}_{n},{y}_{n}\right)=x$ and ${lim}_{nâ†’\mathrm{âˆž}}g{y}_{n}={lim}_{nâ†’\mathrm{âˆž}}F\left({y}_{n},{x}_{n}\right)=y$ for some $x,yâˆˆX$ are satisfied.

Definition 2.11 Let X be a nonempty set. The mappings g and F, where $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$, are said to be weakly compatible if they commute at their coupled coincidence points, that is, if $F\left(x,y\right)=gx$ and $F\left(y,x\right)=gy$ for some $\left(x,y\right)âˆˆXÃ—X$, then $gF\left(x,y\right)=F\left(gx,gy\right)$ and $gF\left(y,x\right)=F\left(gy,gx\right)$.

Definition 2.12 ([25])

A function $\mathrm{Ïˆ}:\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ is called an altering distance function if the following properties are satisfied:

1. (i)

Ïˆ is monotone increasing and continuous;

2. (ii)

$\mathrm{Ïˆ}\left(t\right)=0$ if and only if $t=0$.

In our results in the following sections, we use the following classes of functions.

We denote by Î¨ the set of all functions $\mathrm{Ïˆ}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ satisfying

(i Ïˆ ) Ïˆ is continuous and monotone non-decreasing,

(ii Ïˆ ) $\mathrm{Ïˆ}\left(t\right)=0$ if and only if $t=0$;

and by Î˜ we denote the set of all functions $\mathrm{Î±}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ such that

(i Î± ) Î± is bounded on any bounded interval in $\left[0,\mathrm{âˆž}\right)$,

(ii Î± ) Î± is continuous at 0 and $\mathrm{Î±}\left(0\right)=0$.

3 Main results

Let $\left(X,âª¯,d\right)$ be an ordered metric space. X is called regular if it has the following properties:

1. (i)

if a nondecreasing sequence $\left\{{x}_{n}\right\}âŸ¶x$ in $\left(X,d\right)$, then ${x}_{n}âª¯x$ for all $nâ‰¥0$;

2. (ii)

if a nonincreasing sequence $\left\{{y}_{n}\right\}âŸ¶y$ in $\left(X,d\right)$, then $yâª¯{y}_{n}$ for all $nâ‰¥0$.

Theorem 3.1 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that

$\mathrm{Ïˆ}\left(x\right)â‰¤\mathrm{Ï†}\left(y\right)\phantom{\rule{1em}{0ex}}âŸ¹\phantom{\rule{1em}{0ex}}xâ‰¤y,$
(3.1)

for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$,

(3.2)

and for all $x,yâˆˆX$ with $Gxâª°Gy$

$\mathrm{Ïˆ}\left(d\left(Tx,Ty\right)\right)â‰¤\mathrm{Ï†}\left(d\left(Gx,Gy\right)\right)âˆ’\mathrm{Î¸}\left(d\left(Gx,Gy\right)\right).$
(3.3)

Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Proof Let ${x}_{0}âˆˆX$ be such that $G{x}_{0}âª¯T{x}_{0}$. Since $T\left(X\right)âŠ†G\left(X\right)$, we can choose ${x}_{1}âˆˆX$ such that $G{x}_{1}=T{x}_{0}$. Again, we can choose ${x}_{2}âˆˆX$ such that $G{x}_{2}=T{x}_{1}$. Continuing this process, we construct a sequence $\left\{{x}_{n}\right\}$ in X such that

(3.4)

Since $G{x}_{0}âª¯T{x}_{0}$ and $G{x}_{1}=T{x}_{0}$, we have $G{x}_{0}âª¯G{x}_{1}$, which implies that $T{x}_{0}âª¯T{x}_{1}$. Now, $T{x}_{0}âª¯T{x}_{1}$, that is, $G{x}_{1}âª¯G{x}_{2}$ implies that $T{x}_{1}âª¯T{x}_{2}$. Again, $T{x}_{1}âª¯T{x}_{2}$, that is, $G{x}_{2}âª¯G{x}_{3}$ implies that $T{x}_{2}âª¯T{x}_{3}$. Continuing this process, we have

$G{x}_{0}âª¯G{x}_{1}âª¯G{x}_{2}âª¯G{x}_{3}âª¯â‹¯âª¯G{x}_{n}âª¯G{x}_{n+1}âª¯â‹¯,$
(3.5)

and

$T{x}_{0}âª¯T{x}_{1}âª¯T{x}_{2}âª¯T{x}_{3}âª¯â‹¯âª¯T{x}_{n}âª¯T{x}_{n+1}âª¯â‹¯.$
(3.6)

Let ${R}_{n}=d\left(G{x}_{n+1},G{x}_{n}\right)$ for all $nâ‰¥0$.

Since $G{x}_{n+1}âª°G{x}_{n}$, from (3.3) and (3.4), we have

$\mathrm{Ïˆ}\left(d\left(G{x}_{n+2},G{x}_{n+1}\right)\right)=\mathrm{Ïˆ}\left(d\left(T{x}_{n+1},T{x}_{n}\right)\right)â‰¤\mathrm{Ï†}\left(d\left(G{x}_{n+1},G{x}_{n}\right)\right)âˆ’\mathrm{Î¸}\left(d\left(G{x}_{n+1},G{x}_{n}\right)\right),$

that is,

$\mathrm{Ïˆ}\left({R}_{n+1}\right)â‰¤\mathrm{Ï†}\left({R}_{n}\right)âˆ’\mathrm{Î¸}\left({R}_{n}\right),$
(3.7)

which, in view of the fact that $\mathrm{Î¸}â‰¥0$, yields $\mathrm{Ïˆ}\left({R}_{n+1}\right)â‰¤\mathrm{Ï†}\left({R}_{n}\right)$, which by (3.1) implies that ${R}_{n+1}â‰¤{R}_{n}$ for all positive integer n, that is, $\left\{{R}_{n}\right\}$ is a monotone decreasing sequence. Hence there exists an $râ‰¥0$ such that

(3.8)

Taking limit supremum on both sides of (3.7), using (3.8), the property (i Î± ) of Ï† and Î¸, and the continuity of Ïˆ, we obtain

Since , it follows that

that is,

which by (3.2) is a contradiction unless $r=0$. Therefore,

(3.9)

Next we show that $\left\{G{x}_{n}\right\}$ is a Cauchy sequence.

Suppose that $\left\{G{x}_{n}\right\}$ is not a Cauchy sequence. Then there exists an $\mathrm{Ïµ}>0$ for which we can find two sequences of positive integers $\left\{m\left(k\right)\right\}$ and $\left\{n\left(k\right)\right\}$ such that for all positive integers k, $n\left(k\right)>m\left(k\right)>k$ and $d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)â‰¥\mathrm{Ïµ}$. Assuming that $n\left(k\right)$ is the smallest such positive integer, we get

$\begin{array}{c}n\left(k\right)>m\left(k\right)>k,\hfill \\ d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)â‰¥\mathrm{Ïµ}\phantom{\rule{1em}{0ex}}\text{and}\hfill \\ d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)âˆ’1}\right)<\mathrm{Ïµ}.\hfill \end{array}$

Now,

$\mathrm{Ïµ}â‰¤d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)â‰¤d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)âˆ’1}\right)+d\left(G{x}_{n\left(k\right)âˆ’1},G{x}_{n\left(k\right)}\right),$

that is,

$\mathrm{Ïµ}â‰¤d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)â‰¤\mathrm{Ïµ}+d\left(G{x}_{n\left(k\right)âˆ’1},G{x}_{n\left(k\right)}\right).$

Letting $kâŸ¶\mathrm{âˆž}$ in the above inequality and using (3.9), we have

$\underset{kâ†’\mathrm{âˆž}}{lim}d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)=\mathrm{Ïµ}.$
(3.10)

Again,

$d\left(G{x}_{m\left(k\right)+1},G{x}_{n\left(k\right)+1}\right)â‰¤d\left(G{x}_{m\left(k\right)+1},G{x}_{m\left(k\right)}\right)+d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)+d\left(G{x}_{n\left(k\right)+1},G{x}_{n\left(k\right)}\right)$

and

$d\left(G{x}_{m\left(k\right)},G{x}_{n\left(k\right)}\right)â‰¤d\left(G{x}_{m\left(k\right)+1},G{x}_{m\left(k\right)}\right)+d\left(G{x}_{m\left(k\right)+1},G{x}_{n\left(k\right)+1}\right)+d\left(G{x}_{n\left(k\right)+1},G{x}_{n\left(k\right)}\right).$

Letting $kâŸ¶\mathrm{âˆž}$ in the above inequalities, using (3.9) and (3.10), we have

$\underset{kâ†’\mathrm{âˆž}}{lim}d\left(G{x}_{m\left(k\right)+1},G{x}_{n\left(k\right)+1}\right)=\mathrm{Ïµ}.$
(3.11)

As $n\left(k\right)>m\left(k\right)$, $G{x}_{n\left(k\right)}âª°G{x}_{m\left(k\right)}$, from (3.3) and (3.4), we have

$\begin{array}{rl}\mathrm{Ïˆ}\left(d\left(G{x}_{n\left(k\right)+1},G{x}_{m\left(k\right)+1}\right)\right)& =\mathrm{Ïˆ}\left(d\left(T{x}_{n\left(k\right)},T{x}_{m\left(k\right)}\right)\right)\\ â‰¤\mathrm{Ï†}\left(d\left(G{x}_{n\left(k\right)},G{x}_{m\left(k\right)}\right)\right)âˆ’\mathrm{Î¸}\left(d\left(G{x}_{n\left(k\right)},G{x}_{m\left(k\right)}\right)\right).\end{array}$

Taking limit supremum on both sides of the above inequality, using (3.10), (3.11), the property (i Î± ) of Ï† and Î¸, and the continuity of Ïˆ, we obtain

Since , it follows that

that is,

which is a contradiction by (3.2). Therefore, $\left\{G{x}_{n}\right\}$ is a Cauchy sequence in X. From the completeness of X, there exists $xâˆˆX$ such that

$\underset{nâ†’\mathrm{âˆž}}{lim}T{x}_{n}=\underset{nâ†’\mathrm{âˆž}}{lim}G{x}_{n}=x.$
(3.12)

Since the pair $\left(G,T\right)$ is compatible, from (3.12), we have

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left(GT{x}_{n},TG{x}_{n}\right)=0.$
(3.13)

Let the condition (a) hold.

By the triangular inequality, we have

$d\left(Gx,TG{x}_{n}\right)â‰¤d\left(Gx,GT{x}_{n}\right)+d\left(GT{x}_{n},TG{x}_{n}\right).$

Taking $nâŸ¶\mathrm{âˆž}$ in the above inequality, using (3.12), (3.13) and the continuities of T and G, we have $d\left(Gx,Tx\right)=0$, that is, $Gx=Tx$, that is, x is a coincidence point of the mappings G and T.

Next we suppose that the condition (b) holds.

By (3.5) and (3.12), we have $G{x}_{n}âª¯x$ for all $nâ‰¥0$. Using the monotone property of G, we obtain

$GG{x}_{n}âª¯Gx.$
(3.14)

As G is continuous and the pair $\left(G,T\right)$ is compatible, by (3.12) and (3.13), we have

$\underset{nâ†’\mathrm{âˆž}}{lim}GG{x}_{n}=Gx=\underset{nâ†’\mathrm{âˆž}}{lim}GT{x}_{n}=\underset{nâ†’\mathrm{âˆž}}{lim}TG{x}_{n}.$
(3.15)

Then

$d\left(Tx,Gx\right)=\underset{nâ†’\mathrm{âˆž}}{lim}d\left(Tx,TG{x}_{n}\right).$

Since Ïˆ is continuous, from the above inequality, we obtain

$\mathrm{Ïˆ}\left(d\left(Tx,Gx\right)\right)=\mathrm{Ïˆ}\left(\underset{nâ†’\mathrm{âˆž}}{lim}d\left(Tx,TG{x}_{n}\right)\right)=\underset{nâ†’\mathrm{âˆž}}{lim}\mathrm{Ïˆ}\left(d\left(Tx,TG{x}_{n}\right)\right),$

which, by (3.3) and (3.14), implies that

$\mathrm{Ïˆ}\left(d\left(Tx,Gx\right)\right)â‰¤\underset{nâ†’\mathrm{âˆž}}{lim}\left[\mathrm{Ï†}\left(d\left(Gx,GG{x}_{n}\right)\right)âˆ’\mathrm{Î¸}\left(d\left(Gx,GG{x}_{n}\right)\right)\right].$

Using (3.15) and the property (ii Î± ) of Ï† and Î¸, we have

$\mathrm{Ïˆ}\left(d\left(Tx,Gx\right)\right)=0,$

which, by the property of Ïˆ, implies that $d\left(Tx,Gx\right)=0$, that is, $Gx=Tx$, that is, x is a coincidence point of the mappings G and T.â€ƒâ–¡

Next we discuss some corollaries of Theorem 3.1. By an example, we show that Theorem 3.1 properly contains all its corollaries.

Every commuting pair $\left(G,T\right)$ is also a compatible pair. Then considering $\left(G,T\right)$ to be the commuting pair in Theorem 3.1, we have the following corollary.

Corollary 3.1 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is commutative. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that (3.1), (3.2) and (3.3) are satisfied. Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Considering Ïˆ to be the identity mapping and $\mathrm{Î¸}\left(t\right)=0$ for all $tâˆˆ\left[0,\mathrm{âˆž}\right)$ in Theorem 3.1, we have the following corollary.

Corollary 3.2 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Suppose that there exists $\mathrm{Ï†}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$,

(3.16)

and for all $x,yâˆˆX$ with $Gxâª°Gy$,

$d\left(Tx,Ty\right)â‰¤\mathrm{Ï†}\left(d\left(Gx,Gy\right)\right).$
(3.17)

Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Considering $\mathrm{Î¸}\left(t\right)=0$ for all $tâˆˆ\left[0,\mathrm{âˆž}\right)$ and $\mathrm{Ï†}\left(t\right)=k\mathrm{Ïˆ}\left(t\right)$ with $kâˆˆ\left[0,1\right)$ in Theorem 3.1, we have the following corollary.

Corollary 3.3 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Suppose that there exists $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $kâˆˆ\left[0,1\right)$ such that for all $x,yâˆˆX$ with $Gxâª°Gy$,

$\mathrm{Ïˆ}\left(d\left(Tx,Ty\right)\right)â‰¤k\mathrm{Ïˆ}\left(d\left(Gx,Gy\right)\right).$
(3.18)

Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Considering Ï† to be the function Ïˆ in Theorem 3.1, we have the following corollary.

Corollary 3.4 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$,

(3.19)

and for all $x,yâˆˆX$ with $Gxâª°Gy$,

$\mathrm{Ïˆ}\left(d\left(Tx,Ty\right)\right)â‰¤\mathrm{Ïˆ}\left(d\left(Gx,Gy\right)\right)âˆ’\mathrm{Î¸}\left(d\left(Gx,Gy\right)\right).$
(3.20)

Also, suppose that

1. (a)

T is continuous or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

If Ïˆ and Ï† are the identity mappings in Theorem 3.1, we have the following corollary.

Corollary 3.5 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Suppose that there exists $\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$, and for all $x,yâˆˆX$ with $Gxâª°Gy$,

$d\left(Tx,Ty\right)â‰¤d\left(Gx,Gy\right)âˆ’\mathrm{Î¸}\left(d\left(Gx,Gy\right)\right).$
(3.21)

Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Considering Ïˆ and Ï† to be the identity mappings and $\mathrm{Î¸}\left(t\right)=\left(1âˆ’k\right)t$, where $0â‰¤k<1$ in Theorem 3.1, we have the following corollary.

Corollary 3.6 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that G is continuous and nondecreasing, $T\left(X\right)âŠ†G\left(X\right)$, T is G-nondecreasing with respect to âª¯ and the pair $\left(G,T\right)$ is compatible. Assume that there exists $kâˆˆ\left[0,1\right)$ such that for all $x,yâˆˆX$ with $Gxâª°Gy$,

$d\left(Tx,Ty\right)â‰¤kd\left(Gx,Gy\right).$
(3.22)

Also, suppose that

1. (a)

T is continuous, or

2. (b)

X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

The condition (i), the continuity and the monotone property of the function G, and (ii), the compatibility condition of the pairs $\left(G,T\right)$, which were considered in Theorem 3.1, are relaxed in our next theorem by taking $G\left(X\right)$ to be closed in $\left(X,d\right)$.

Theorem 3.2 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $T,G:XâŸ¶X$ be two mappings such that $T\left(X\right)âŠ†G\left(X\right)$ and T is G-nondecreasing with respect to âª¯ and $G\left(X\right)$ is closed in X. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that (3.1), (3.2) and (3.3) are satisfied. Also, suppose that X is regular.

If there exists ${x}_{0}âˆˆX$ such that $G{x}_{0}âª¯T{x}_{0}$, then G and T have a coincidence point in X.

Proof We take the same sequence $\left\{{x}_{n}\right\}$ as in the proof of Theorem 3.1. Then we have (3.12), that is,

$\underset{nâ†’\mathrm{âˆž}}{lim}T{x}_{n}=\underset{nâ†’\mathrm{âˆž}}{lim}G{x}_{n}=x.$

Since $\left\{G{x}_{n}\right\}$ is a sequence in $G\left(X\right)$ and $G\left(X\right)$ is closed in X, $xâˆˆG\left(X\right)$. As $xâˆˆG\left(X\right)$, there exists $zâˆˆX$ such that $x=Gz$. Then

$\underset{nâ†’\mathrm{âˆž}}{lim}T{x}_{n}=\underset{nâ†’\mathrm{âˆž}}{lim}G{x}_{n}=Gz.$
(3.23)

Now, $\left\{G{x}_{n}\right\}$ is nondecreasing and converges to Gz. So, by the order condition of the metric space X, we have

$G{x}_{n}âª¯Gz.$
(3.24)

Putting $x=z$ and $y={x}_{n}$ in (3.3), by the virtue of (3.24), we get

$\mathrm{Ïˆ}\left(d\left(Tz,T{x}_{n}\right)\right)â‰¤\mathrm{Ï†}\left(d\left(Gz,G{x}_{n}\right)\right)âˆ’\mathrm{Î¸}\left(d\left(Gz,G{x}_{n}\right)\right).$

Taking $nâ†’\mathrm{âˆž}$ in the above inequality, using (3.23), the property (ii Î± ) of Ï† and Î¸ and the continuity of Ïˆ, we have

$\mathrm{Ïˆ}\left(d\left(Tz,Gz\right)\right)=0,$

which, by the property of Ïˆ, implies that $d\left(Tz,Gz\right)=0$, that is, $Tz=Gz$, that is, z is a coincidence point of the mappings G and T.â€ƒâ–¡

In the following, our aim is to prove the existence and uniqueness of the common fixed point in Theorems 3.1 and 3.2.

Theorem 3.3 In addition to the hypotheses of Theorems  3.1 and 3.2, in both of the theorems, suppose that for every $x,yâˆˆX$ there exists $uâˆˆX$ such that Tu is comparable to Tx and Ty, and also the pair $\left(G,T\right)$ is weakly compatible. Then G and T have a unique common fixed point.

Proof From Theorem 3.1 or Theorem 3.2, the set of coincidence points of G and T is non-empty. Suppose x and y are coincidence points of G and T, that is, $Gx=Tx$ and $Gy=Ty$. Now, we show

$Gx=Gy.$
(3.25)

By the assumption, there exists $uâˆˆX$ such that Tu is comparable with Tx and Ty.

Put ${u}_{0}=u$ and choose ${u}_{1}âˆˆX$ so that $G{u}_{1}=T{u}_{0}$. Then, similarly to the proof of Theorem 3.1, we can inductively define sequences $\left\{G{u}_{n}\right\}$ where $G{u}_{n+1}=T{u}_{n}$ for all $nâ‰¥0$. Hence $Tx=Gx$ and $Tu=T{u}_{0}=G{u}_{1}$ are comparable.

Suppose that $G{u}_{1}âª¯Gx$ (the proof is similar to that in the other case).

We claim that $G{u}_{n}âª¯Gx$ for each $nâˆˆN$.

In fact, we will use mathematical induction. Since $G{u}_{1}âª¯Gx$, our claim is true for $n=1$. We presume that $G{u}_{n}âª¯Gx$ holds for some $n>1$. Since T is G-nondecreasing with respect to âª¯, we get

$G{u}_{n+1}=T{u}_{n}âª¯Tx=Gx;$

and this proves our claim.

Let ${R}_{n}=d\left(Gx,G{u}_{n}\right)$. Since $G{u}_{n}âª¯Gx$, using the contractive condition (3.3), for all $nâ‰¥1$, we have

$\mathrm{Ïˆ}\left(d\left(Gx,G{u}_{n+1}\right)\right)=\mathrm{Ïˆ}\left(d\left(Tx,T{u}_{n}\right)\right)â‰¤\mathrm{Ï†}\left(d\left(Gx,G{u}_{n}\right)\right)âˆ’\mathrm{Î¸}\left(d\left(Gx,G{u}_{n}\right)\right),$

that is, $\mathrm{Ïˆ}\left({R}_{n+1}\right)â‰¤\mathrm{Ï†}\left({R}_{n}\right)âˆ’\mathrm{Î¸}\left({R}_{n}\right)$, which, in view of the fact that $\mathrm{Î¸}â‰¥0$, yields $\mathrm{Ïˆ}\left({R}_{n+1}\right)â‰¤\mathrm{Ï†}\left({R}_{n}\right)$, which by (3.1) implies that ${R}_{n+1}â‰¤{R}_{n}$ for all positive integer n, that is, $\left\{{R}_{n}\right\}$ is a monotone decreasing sequence.

Then, as in the proof of Theorem 3.1, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}{R}_{n}=\underset{nâ†’\mathrm{âˆž}}{lim}d\left(Gx,G{u}_{n}\right)=0.$
(3.26)

Similarly, we show that

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left(Gy,G{u}_{n}\right)=0.$
(3.27)

By the triangle inequality, using (3.26) and (3.27), we have

Hence $Gx=Gy$. Thus (3.25) is proved.

Since $Gx=Tx$, by weak compatibility of G and T, we have

$GGx=GTx=TGx.$
(3.28)

Denote

$Gx=z.$
(3.29)

Then from (3.28) we have

$Gz=Tz.$

Thus z is a coincidence point of G and T. Then from (3.25) with $y=z$ it follows that

$Gx=Gz.$

By (3.29) it follows that

$z=Gz.$
(3.30)

From (3.29) and (3.30), we get $z=Gz=Tz$.

Therefore, z is a common fixed point of G and T.

To prove the uniqueness, assume that r is another common fixed point of G and T. Then by (3.25) we have $r=Gr=Gz=z$. Hence the common fixed point of G and T is unique.â€ƒâ–¡

Example 3.1 Let $X=\left[0,\mathrm{âˆž}\right)$. Then $\left(X,â‰¤\right)$ is a partially ordered set with the natural ordering of real numbers. Let $d\left(x,y\right)=|xâˆ’y|$ for $x,yâˆˆX$. Then $\left(X,d\right)$ is a complete metric space.

Let $T,G:Xâ†’X$ be given respectively by the formulas $Tx=\frac{1}{3}{x}^{2}$ and $Gx={x}^{2}$ for all $xâˆˆX$. Then T and G satisfy all the properties mentioned in Theorem 3.1.

Let $\mathrm{Ïˆ},\mathrm{Ï†},\mathrm{Î¸}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ be given respectively by the formulas

Then Ïˆ, Ï† and Î¸ have the properties mentioned in Theorem 3.1.

It can be verified that (3.3) is satisfied for all $x,yâˆˆX$ with $Gxâª°Gy$. Hence the required conditions of Theorem 3.1 are satisfied and it is seen that 0 is a coincidence point of G and T. Also, the conditions of Theorem 3.3 are satisfied and it is seen that 0 is the unique common fixed point of G and T.

Remark 3.1 In the above example, the pair $\left(G,T\right)$ is compatible but not commuting so that Corollary 3.1 is not applicable to this example and hence Theorem 3.1 properly contains its Corollary 3.1.

Remark 3.2 In the above example, Ïˆ is not the identity mapping and for all t in $\left[0,\mathrm{âˆž}\right)$. Let us consider the sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$, where ${x}_{n}=3$ for all n. Then $\mathrm{Ï†}\left({x}_{n}\right)=4$ for all n. Now ${x}_{n}âŸ¶t=3>0$, but . Therefore, Corollary 3.2 is not applicable to this example, and hence Theorem 3.1 properly contains its Corollary 3.2.

Remark 3.3 The above example for all $tâˆˆ\left[0,\mathrm{âˆž}\right)$, and hence Corollary 3.3 is not applicable to the example, and so Theorem 3.1 properly contains its Corollary 3.3.

Remark 3.4 In the above example, Ï† is not identical to the function Ïˆ, and also for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$. Therefore, Corollaries 3.4 and 3.5 are not applicable to this example, and hence Theorem 3.1 properly contains its Corollaries 3.4 and 3.5.

Remark 3.5 In the above example, Ïˆ and Ï† are not the identity functions and with $0â‰¤k<1$. Therefore, Corollary 3.6 is not applicable to the above example. Hence Theorem 3.1 properly contains its Corollary 3.6.

Remark 3.6 Theorem 3.1 generalizes the results in [2â€“4, 6, 25â€“29].

Example 3.2 Let $X=\left[0,1\right]$. Then $\left(X,â‰¤\right)$ is a partially ordered set with the natural ordering of real numbers. Let $d\left(x,y\right)=|xâˆ’y|$ for $x,yâˆˆX$. Then $\left(X,d\right)$ is a metric space with the required properties of Theorem 3.2.

Let $T,G:Xâ†’X$ be given respectively by the formulas

Then T and G have the properties mentioned in Theorem 3.2.

Let $\mathrm{Ïˆ},\mathrm{Ï†},\mathrm{Î¸}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ be given respectively by the formulas

Then Ïˆ, Ï† and Î¸ have the properties mentioned in Theorem 3.2.

All the required conditions of Theorem 3.2 are satisfied. It is seen that every rational number $xâˆˆX$ is a coincidence point of G and T. Also, the conditions of Theorem 3.3 are satisfied and it is seen that 1 is the unique common fixed point of G and T.

Remark 3.7 In the above example, the function g is not continuous. Therefore, Theorem 3.1 is not applicable to the above example.

4 Applications to coupled coincidence point results

In this section, we use the results of the previous section to establish new coupled coincidence point results in partially ordered metric spaces. Our results are extensions of some existing results.

Let $\left(X,âª¯\right)$ be a partially ordered set. Now, we endow the product space $XÃ—X$ with the following partial order:

Let $\left(X,d\right)$ be a metric space. Then ${d}_{1}$ given by the law

is a metric on $XÃ—X$.

Let $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$ be two mappings. Then we define two functions $G:XÃ—XâŸ¶XÃ—X$ and $T:XÃ—XâŸ¶XÃ—X$ respectively as follows:

Lemma 4.1 Let $\left(X,âª¯\right)$ be a partially ordered set, $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$. If F has the mixed g-monotone property, then T is G-nondecreasing.

Proof Let $\left({x}_{1},{y}_{1}\right),\left({x}_{2},{y}_{2}\right)âˆˆXÃ—X$ such that $G\left({x}_{1},{y}_{1}\right)âª¯G\left({x}_{2},{y}_{2}\right)$. Then, by the definition of G, it follows that $\left(g{x}_{1},g{y}_{1}\right)âª¯\left(g{x}_{2},g{y}_{2}\right)$, that is, $g{x}_{1}âª¯g{x}_{2}$ and $g{y}_{1}âª°g{y}_{2}$. Since F has the mixed g-monotone property, we have

$F\left({x}_{1},{y}_{1}\right)âª¯F\left({x}_{2},{y}_{1}\right)âª¯F\left({x}_{2},{y}_{2}\right),$

and

$F\left({y}_{1},{x}_{1}\right)âª°F\left({y}_{2},{x}_{1}\right)âª°F\left({y}_{2},{x}_{2}\right).$

It follows that $\left(F\left({x}_{1},{y}_{1}\right),F\left({y}_{1},{x}_{1}\right)\right)âª¯\left(F\left({x}_{2},{y}_{2}\right),F\left({y}_{2},{x}_{2}\right)\right)$, that is, $T\left({x}_{1},{y}_{1}\right)âª¯T\left({x}_{2},{y}_{2}\right)$. Therefore, T is G-nondecreasing.â€ƒâ–¡

Lemma 4.2 Let X be a nonempty set, $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$. If g and F are commutative, then the mappings G and T are also commutative.

Proof Let $\left(x,y\right)âˆˆXÃ—X$. Since g and F are commutative, by the definition of G and T, we have

$\begin{array}{rl}GT\left(x,y\right)& =G\left(F\left(x,y\right),F\left(y,x\right)\right)=\left(gF\left(x,y\right),gF\left(y,x\right)\right)=\left(F\left(gx,gy\right),F\left(gy,gx\right)\right)\\ =T\left(gx,gy\right)=TG\left(x,y\right),\end{array}$

which shows that G and T are commutative.â€ƒâ–¡

Lemma 4.3 Let $\left(X,d\right)$ be metric space and $g:XâŸ¶X$, $F:XÃ—XâŸ¶X$. If g and F are compatible, then the mappings G and T are also compatible.

Proof Let $\left\{\left({x}_{n},{y}_{n}\right)\right\}$ be a sequence in $XÃ—X$ such that ${lim}_{nâ†’\mathrm{âˆž}}G\left({x}_{n},{y}_{n}\right)={lim}_{nâ†’\mathrm{âˆž}}T\left({x}_{n},{y}_{n}\right)=\left(x,y\right)$ for some $\left(x,y\right)âˆˆXÃ—X$. By the definition of G and T, we have ${lim}_{nâ†’\mathrm{âˆž}}\left(g{x}_{n},g{y}_{n}\right)={lim}_{nâ†’\mathrm{âˆž}}\left(F\left({x}_{n},{y}_{n}\right),F\left({y}_{n},{y}_{n}\right)\right)=\left(x,y\right)$, which implies that

$\underset{nâ†’\mathrm{âˆž}}{lim}F\left({x}_{n},{y}_{n}\right)=\underset{nâ†’\mathrm{âˆž}}{lim}g{x}_{n}=x,\phantom{\rule{2em}{0ex}}\underset{nâ†’\mathrm{âˆž}}{lim}F\left({y}_{n},{x}_{n}\right)=\underset{nâ†’\mathrm{âˆž}}{lim}g{y}_{n}=y.$

Now

$\begin{array}{rl}{d}_{1}\left(GT\left({x}_{n},{y}_{n}\right),TG\left({x}_{n},{y}_{n}\right)\right)& ={d}_{1}\left(G\left(F\left({x}_{n},{y}_{n}\right),F\left({y}_{n},{x}_{n}\right)\right),T\left(g{x}_{n},g{y}_{n}\right)\right)\\ ={d}_{1}\left(\left(gF\left({x}_{n},{y}_{n}\right),gF\left({y}_{n},{x}_{n}\right)\right),\left(F\left(g{x}_{n},g{y}_{n}\right),F\left(g{y}_{n},g{x}_{n}\right)\right)\right)\\ =d\left(gF\left({x}_{n},{y}_{n}\right),F\left(g{x}_{n},g{y}_{n}\right)\right)+d\left(gF\left({y}_{n},{x}_{n}\right),F\left(g{y}_{n},g{x}_{n}\right)\right).\end{array}$

Since g and F are compatible, we have

$\underset{nâ†’\mathrm{âˆž}}{lim}{d}_{1}\left(GT\left({x}_{n},{y}_{n}\right),TG\left({x}_{n},{y}_{n}\right)\right)=0.$

It follows that G and T are compatible.â€ƒâ–¡

Lemma 4.4 Let X be a nonempty set, $g:XâŸ¶X$ and $F:XÃ—XâŸ¶X$. If g and F are weak compatible, then the mappings G and T are also weak compatible.

Proof Let $\left(x,y\right)âˆˆXÃ—X$ be a coincidence point G and T. Then $G\left(x,y\right)=T\left(x,y\right)$, that is, $\left(gx,gy\right)=\left(F\left(x,y\right),F\left(y,x\right)\right)$, that is, $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$. Since g and F are weak compatible, by the definition of G and T, we have

$\begin{array}{rl}GT\left(x,y\right)& =G\left(F\left(x,y\right),F\left(y,x\right)\right)=\left(gF\left(x,y\right),gF\left(y,x\right)\right)\\ =\left(F\left(gx,gy\right),F\left(gy,gx\right)\right)=T\left(gx,gy\right)=TG\left(x,y\right),\end{array}$

which shows that G and T commute at their coincidence point, that is, G and T are weak compatible.â€ƒâ–¡

Theorem 4.1 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that (3.1) and (3.2) are satisfied and for all $x,y,u,vâˆˆX$ with $gxâª°gu$ and $gyâª¯gv$,

$\begin{array}{r}\mathrm{Ïˆ}\left(d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\right)\\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Ï†}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right)âˆ’\mathrm{Î¸}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right).\end{array}$
(4.1)

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

Proof We consider the product space $\left(XÃ—X,âª¯\right)$, the metric ${d}_{1}$ on $XÃ—X$ and the functions $G:XÃ—XâŸ¶XÃ—X$ and $T:XÃ—XâŸ¶XÃ—X$ as mentioned above. Denote $S=XÃ—X$. Then $\left(S,{d}_{1}\right)$ is a complete metric space. By the definition of G and T, we have that

1. (i)

G is continuous and nondecreasing; and T is continuous,

2. (ii)

$T\left(S\right)âŠ†G\left(S\right)$,

3. (iii)

T is G-nondecreasing with respect to âª¯,

4. (iv)

the pair $\left(G,T\right)$ is compatible.

Let $p=\left(x,y\right),q=\left(u,v\right)âˆˆS=XÃ—X$ such that $gxâª°gu$ and $gyâª¯gv$, that is, $\left(gx,gy\right)âª°\left(gu,gv\right)$, that is, $Gpâª°Gq$. Then (4.1) reduces to

$\mathrm{Ïˆ}\left({d}_{1}\left(Tp,Tq\right)\right)â‰¤\mathrm{Ï†}\left({d}_{1}\left(Gp,Gq\right)\right)âˆ’\mathrm{Î¸}\left({d}_{1}\left(Gp,Gq\right)\right).$

Now, the existence of ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$ implies the existence of a point ${p}_{0}=\left({x}_{0},{y}_{0}\right)âˆˆS$ such that $\left(g{x}_{0},g{y}_{0}\right)âª¯\left(F\left({x}_{0},{y}_{0}\right),F\left({y}_{0},{x}_{0}\right)\right)$, that is, $G{p}_{0}âª¯T{p}_{0}$. Therefore, the theorem reduces to Theorem 3.1, and hence there exists $w=\left(x,y\right)âˆˆS=XÃ—X$ such that $Gw=Tw$, that is, $G\left(x,y\right)=T\left(x,y\right)$, that is, $\left(gx,gy\right)=\left(F\left(x,y\right),F\left(y,x\right)\right)$, that is, $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$, that is, $\left(x,y\right)$ is a coupled coincidence point of g and F.â€ƒâ–¡

The following corollary is a consequence of Corollary 3.1.

Corollary 4.1 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is commutative. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$, $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that (3.1), (3.2) and (4.1) are satisfied. Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following corollary is a consequence of Corollary 3.2.

Corollary 4.2 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Suppose that there exists $\mathrm{Ï†}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$,

and for all $x,y,u,vâˆˆX$ with $gxâª°gu$ and $gyâª¯gv$,

$d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)â‰¤\mathrm{Ï†}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right).$

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following corollary is a consequence of Corollary 3.3.

Corollary 4.3 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $kâˆˆ\left[0,1\right)$ such that for all $x,y,u,vâˆˆX$ with $gxâª°gu$ and $gyâª¯gv$,

$\mathrm{Ïˆ}\left(d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\right)â‰¤k\mathrm{Ïˆ}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right).$

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following corollary is a consequence of Corollary 3.4.

Corollary 4.4 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$, and for all $x,y,u,vâˆˆX$ with $gxâª°gu$ and $gyâª¯gv$,

$\begin{array}{r}\mathrm{Ïˆ}\left(d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\right)\\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Ïˆ}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right)âˆ’\mathrm{Î¸}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right).\end{array}$
(4.2)

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

Remark 4.1 The above result is also true if the arguments of Ïˆ and Î¸ in (4.2) are replaced by their half values, that is, when (4.2) is replaced by

$\begin{array}{r}\mathrm{Ïˆ}\left(\frac{d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)}{2}\right)\\ \phantom{\rule{1em}{0ex}}â‰¤\mathrm{Ïˆ}\left(\frac{d\left(gx,gu\right)+d\left(gy,gv\right)}{2}\right)âˆ’\mathrm{Î¸}\left(\frac{d\left(gx,gu\right)+d\left(gy,gv\right)}{2}\right).\end{array}$

In this case, we can write ${\mathrm{Ïˆ}}_{1}\left(t\right)=\mathrm{Ïˆ}\left(\frac{t}{2}\right)$ and ${\mathrm{Î¸}}_{1}\left(t\right)=\mathrm{Î¸}\left(\frac{t}{2}\right)$ and proceed with the same proof by replacing Ïˆ, Î¸ by ${\mathrm{Ïˆ}}_{1}$, ${\mathrm{Î¸}}_{1}$ respectively. Then we obtain a generalization of Theorem 2 of Berinde in [10].

The following corollary is a consequence of Corollary 3.5.

Corollary 4.5 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Suppose that there exists $\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that for any sequence $\left\{{x}_{n}\right\}$ in $\left[0,\mathrm{âˆž}\right)$ with ${x}_{n}âŸ¶t>0$, and for all $x,y,u,vâˆˆX$ with $gxâª°gu$ and $gyâª¯gv$,

$d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)â‰¤d\left(gx,gu\right)+d\left(gy,gv\right)âˆ’\mathrm{Î¸}\left(d\left(gx,gu\right)+d\left(gy,gv\right)\right).$

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following corollary is a consequence of Corollary 3.6.

Corollary 4.6 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Let $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ be two mappings such that g is continuous and nondecreasing, $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and the pair $\left(g,F\right)$ is compatible. Assume that there exists $kâˆˆ\left[0,1\right)$ such that for all $x,y,u,vâˆˆX$ with $gxâª°gu,gyâª¯gv$,

$d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)â‰¤k\left[d\left(gx,gu\right)+d\left(gy,gv\right)\right].$

Also, suppose that

1. (a)

F is continuous, or

2. (b)

X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following theorem is a consequence of Theorem 3.2.

Theorem 4.2 Let $\left(X,âª¯\right)$ be a partially ordered set and suppose that there is a metric d on X such that $\left(X,d\right)$ is a complete metric space. Consider the mappings $F:XÃ—XâŸ¶X$ and $g:XâŸ¶X$ such that $F\left(XÃ—X\right)âŠ†g\left(X\right)$, F has the mixed g-monotone property on X and $G\left(X\right)$ is closed in X. Suppose that there exist $\mathrm{Ïˆ}âˆˆ\mathrm{Î¨}$ and $\mathrm{Ï†},\mathrm{Î¸}âˆˆ\mathrm{Î˜}$ such that (3.1), (3.2) and (4.1) are satisfied. Also, suppose that X is regular.

If there exist ${x}_{0},{y}_{0}âˆˆX$ such that $g{x}_{0}âª¯F\left({x}_{0},{y}_{0}\right)$ and $g{y}_{0}âª°F\left({y}_{0},{x}_{0}\right)$, then there exist $x,yâˆˆX$ such that $gx=F\left(x,y\right)$ and $gy=F\left(y,x\right)$; that is, g and F have a coupled coincidence point in X.

The following theorem is a consequence of Theorem 3.3.

Theorem 4.3 In addition to the hypotheses of Theorems  4.1 and 4.2, in both of the theorems, suppose that for every $\left(x,y\right),\left({x}^{âˆ—},{y}^{âˆ—}\right)âˆˆXÃ—X$, there exists a $\left(u,v\right)âˆˆXÃ—X$ such that $\left(F\left(u,v\right),F\left(v,u\right)\right)$ is comparable to $\left(F\left(x,y\right),F\left(y,x\right)\right)$ and $\left(F\left({x}^{âˆ—},{y}^{âˆ—}\right),F\left({y}^{âˆ—},{x}^{âˆ—}\right)\right)$, and also the pair $\left(g,F\right)$ is weakly compatible. Then g and F have a unique coupled common fixed point; that is, there exists a unique $\left(x,y\right)âˆˆXÃ—X$ such that $x=gx=F\left(x,y\right)$ and $y=gy=F\left(y,x\right)$.

Example 4.1 Let $X=\left[0,\mathrm{âˆž}\right)$. Then $\left(X,â‰¤\right)$ is a partially ordered set with the natural ordering of real numbers. Let $d\left(x,y\right)=|xâˆ’y|$ for $x,yâˆˆX$. Then $\left(X,d\right)$ is a complete metric space.

Let $g:Xâ†’X$ be given by $gx={x}^{2}$ for all $xâˆˆX$. Also, consider

which obeys the mixed g-monotone property.

Let $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ be two sequences in X such that

$\underset{nâ†’\mathrm{âˆž}}{lim}F\left({x}_{n},{y}_{n}\right)=\underset{nâ†’\mathrm{âˆž}}{lim}g{x}_{n}=a,\underset{nâ†’\mathrm{âˆž}}{lim}F\left({y}_{n},{x}_{n}\right)=\underset{nâ†’\mathrm{âˆž}}{lim}g{y}_{n}=b.$

Then, obviously, $a=0$ and $b=0$.

Now, for all $nâ‰¥0$, $g{x}_{n}={x}_{n}^{2}$, $g{y}_{n}={y}_{n}^{2}$, while

Then it follows that

$\underset{nâ†’\mathrm{âˆž}}{lim}d\left(gF\left({x}_{n},{y}_{n}\right),F\left(g{x}_{n},g{y}_{n}\right)\right)=0,\phantom{\rule{2em}{0ex}}\underset{nâ†’\mathrm{âˆž}}{lim}d\left(gF\left({y}_{n},{x}_{n}\right),F\left(g{y}_{n},g{x}_{n}\right)\right)=0.$

Hence, the pair $\left(g,F\right)$ is compatible in X.

Let ${x}_{0}=0$ and ${y}_{0}=c\phantom{\rule{0.25em}{0ex}}\left(>0\right)$ be two points in X. Then

$g\left({x}_{0}\right)=g\left(0\right)=0=F\left(0,c\right)=F\left({x}_{0},{y}_{0}\right),\phantom{\rule{2em}{0ex}}g\left({y}_{0}\right)=g\left(c\right)={c}^{2}â‰¥\frac{{c}^{2}}{3}=F\left(c,0\right)=F\left({y}_{0},{x}_{0}\right).$

Let $\mathrm{Ïˆ},\mathrm{Ï†},\mathrm{Î¸}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ be given respectively by the formulas

Then Ïˆ, Ï† and Î¸ have the properties mentioned in Theorem 4.1.

We now verify inequality (4.1) of Theorem 4.1.

We take $x,y,u,vâˆˆX$ such that $gxâ‰¥gu$ and $gyâ‰¤gv$, that is, ${x}^{2}â‰¥{u}^{2}$ and ${y}^{2}â‰¤{v}^{2}$.

Let $M=d\left(gx,gu\right)+d\left(gy,gv\right)=|{x}^{2}âˆ’{u}^{2}|+|{y}^{2}âˆ’{v}^{2}|=\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)$.

The following are the four possible cases.

Case-1: $xâ‰¥y$ and $uâ‰¥v$. Then

$\begin{array}{r}d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\\ \phantom{\rule{1em}{0ex}}=d\left(\frac{{x}^{2}âˆ’{y}^{2}}{3},\frac{{u}^{2}âˆ’{v}^{2}}{3}\right)+d\left(0,0\right)=|\frac{\left({x}^{2}âˆ’{y}^{2}\right)âˆ’\left({u}^{2}âˆ’{v}^{2}\right)}{3}|\\ \phantom{\rule{1em}{0ex}}=|\frac{\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)}{3}|=\frac{\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)}{3}=\frac{1}{3}M.\end{array}$

Case-2: $x and $u. Then

$\begin{array}{r}d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\\ \phantom{\rule{1em}{0ex}}=d\left(0,0\right)+d\left(\frac{{y}^{2}âˆ’{x}^{2}}{3},\frac{{v}^{2}âˆ’{u}^{2}}{3}\right)=|\frac{\left({y}^{2}âˆ’{x}^{2}\right)âˆ’\left({v}^{2}âˆ’{u}^{2}\right)}{3}|\\ \phantom{\rule{1em}{0ex}}=|\frac{\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)}{3}|=\frac{\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)}{3}=\frac{1}{3}M.\end{array}$

Case-3: $xâ‰¥y$ and $uâ‰¤v$. Then

$\begin{array}{r}d\left(F\left(x,y\right),F\left(u,v\right)\right)+d\left(F\left(y,x\right),F\left(v,u\right)\right)\\ \phantom{\rule{1em}{0ex}}=d\left(\frac{{x}^{2}âˆ’{y}^{2}}{3},0\right)+d\left(0,\frac{{v}^{2}âˆ’{u}^{2}}{3}\right)\\ \phantom{\rule{1em}{0ex}}=\frac{{x}^{2}âˆ’{y}^{2}}{3}+\frac{{v}^{2}âˆ’{u}^{2}}{3}=\frac{\left({x}^{2}âˆ’{u}^{2}\right)+\left({v}^{2}âˆ’{y}^{2}\right)}{3}=\frac{1}{3}M.\end{array}$

Case-4: The case â€˜$x and $u>v$â€™ is not possible. Under this condition, ${x}^{2}<{y}^{2}$ and ${u}^{2}>{v}^{2}$. Then by the condition ${y}^{2}â‰¤{v}^{2}$, we have ${x}^{2}<{y}^{2}â‰¤{v}^{2}<{u}^{2}$, which contradicts that ${x}^{2}â‰¥{u}^{2}$.

In all the above cases, it can be verified that (4.1) is satisfied. Hence the required conditions of Theorem 4.1 are satisfied, and it is seen that $\left(0,0\right)$ is a coupled coincidence point of g and F in X. Also, the conditions of Theorem 4.3 are satisfied, and it is seen that $\left(0,0\right)$ is the unique coupled common fixed point of g and F in X.

Remark 4.2 In the above example, the pair $\left(g,F\right)$ is compatible but not commuting so that Corollary 4.1 is not applicable to this example, and hence Theorem 4.1 properly contains its Corollary 4.1.

Remark 4.3 As discussed in Remarks 3.2-3.5, Theorem 4.1 properly contains its Corollaries 4.2-4.6.

Remark 4.4 Theorem 4.1 properly contains its Corollary 4.6, which is an extension of Theorem 3 of Berinde [9], and Theorems 2.1 and 2.2 of Bhaskar and Lakshmikantham [8]. Therefore, Theorem 4.1 is an actual extension over Theorem 3 of Berinde [9] and Theorems 2.1 and 2.2 of Bhaskar and Lakshmikantham [8].

Example 4.2 Let $X=\left[0,1\right]$. Then $\left(X,â‰¤\right)$ is a partially ordered set with the natural ordering of real numbers. Let $d\left(x,y\right)=|xâˆ’y|$ for $x,yâˆˆX$. Then $\left(X,d\right)$ is a metric space with the required properties of Theorem 4.2.

Let $F:XÃ—Xâ†’X$, $F\left(x,y\right)=1$ for $\left(x,y\right)âˆˆXÃ—X$. Let $g:Xâ†’X$ be given by the formula

Then F and g have the properties mentioned in Theorems 4.2.

Let $\mathrm{Ïˆ},\mathrm{Ï†},\mathrm{Î¸}:\left[0,\mathrm{âˆž}\right)âŸ¶\left[0,\mathrm{âˆž}\right)$ be given respectively by the formulas

Then Ïˆ, Ï† and Î¸ have the properties mentioned in Theorem 4.2.

All the required conditions of Theorem 4.2 are satisfied. It is seen that every $\left(x,y\right)âˆˆXÃ—X$, where both x and y are rational, is a coupled coincidence point of g and F in X. Also, the conditions of Theorem 4.3 are satisfied and it is seen that $\left(1,1\right)$ is the unique coupled common fixed point of g and F in X.

Remark 4.5 In the above example, the function g is not continuous. Therefore, Theorem 4.1 is not applicable to the above example.

Remark 4.6 In some recent papers [30, 31] it has been proved that some of the contractive conditions involving continuous control functions are equivalent. Here two of our control functions are discontinuous. Therefore, the contraction we use here is not included in the class of contractions addressed by Aydi et al. [30] and Jachymski [31].

References

1. Turinici M: Abstract comparison principles and multivariable Gronwall-Bellman inequalities. J. Math. Anal. Appl. 1986, 117: 100â€“127. 10.1016/0022-247X(86)90251-9

2. Choudhury BS, Kundu A: $\left(\mathrm{Ïˆ},\mathrm{Î±},\mathrm{Î²}\right)$-weak contractions in partially ordered metric spaces. Appl. Math. Lett. 2012, 25(1):6â€“10. 10.1016/j.aml.2011.06.028

3. Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal. 2009, 71: 3403â€“3410. 10.1016/j.na.2009.01.240

4. 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

5. Nieto JJ, Lopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223â€“239. 10.1007/s11083-005-9018-5

6. 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/S0002-9939-03-07220-4

7. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11(5):623â€“632. 10.1016/0362-546X(87)90077-0

8. Gnana Bhaskar T, 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

9. Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74(18):7347â€“7355. 10.1016/j.na.2011.07.053

10. Berinde V: Coupled fixed point theorems for Ï• -contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 75: 3218â€“3228.

11. Berinde V: Coupled coincidence point theorems for mixed monotone nonlinear operators. Comput. Math. Appl. 2012, 64: 1770â€“1777. 10.1016/j.camwa.2012.02.012

12. 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

13. Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math. Comput. Model. 2011, 54: 73â€“79. 10.1016/j.mcm.2011.01.036

14. Choudhury BS, Metiya N, Kundu A: Coupled coincidence point theorems in ordered metric spaces. Ann. Univ. Ferrara 2011, 57: 1â€“16. 10.1007/s11565-011-0117-5

15. 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

16. KarapÄ±nar E, Luong NV, Thuan NX: Coupled coincidence points for mixed monotone operators in partially ordered metric spaces. Arab. J. Math. 2012, 1: 329â€“339. 10.1007/s40065-012-0027-0

17. Lakshmikantham V, Ä†iriÄ‡ Lj: 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

18. 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

19. Samet B: Coupled fixed point theorems for generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 2010, 72: 4508â€“4517. 10.1016/j.na.2010.02.026

20. Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 2012, 55(3â€“4):680â€“687. 10.1016/j.mcm.2011.08.042

21. Chen YZ: Existence theorems of coupled fixed points. J. Math. Anal. Appl. 1991, 154: 142â€“150. 10.1016/0022-247X(91)90076-C

22. Kadelburg Z, PavloviÄ‡ M, RadenoviÄ‡ S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput. Math. Appl. 2010, 59: 3148â€“3159. 10.1016/j.camwa.2010.02.039

23. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9: 771â€“779. 10.1155/S0161171286000935

24. Jungck G, Rhoades BE: Fixed point for set-valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227â€“238.

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

26. Banach S: Sur les opÃ©rations dans les ensembles abstraits et leur application aux Ã©quations intÃ©grales. Fundam. Math. 1922, 3: 133â€“181.

27. Dutta PN, Choudhury BS: A generalisation of contraction principle in metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 406368

28. Jungck G: Commuting maps and fixed points. Am. Math. Mon. 1976, 83: 261â€“263. 10.2307/2318216

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

30. Aydi H, KarapÄ±nar E, Samet B: Remarks on some recent fixed point theorems. Fixed Point Theory Appl. 2012., 76: Article ID 2012

31. Jachymski J: Equivalent conditions for generalized contractions on (ordered) metric spaces. Nonlinear Anal. 2011, 74: 768â€“774. 10.1016/j.na.2010.09.025

Acknowledgements

The work is partially supported by the Council of Scientific and Industrial Research, India (No. 25(0168)/09/EMR-II). Professor BS Choudhury gratefully acknowledges the support.

Author information

Authors

Corresponding author

Correspondence to Mihai Postolache.

Competing interests

The authors declare that they have no competing interests.

Authorsâ€™ contributions

The authors completed the paper together. All authors read and approved the final manuscript.

Rights and permissions

Reprints and permissions

Choudhury, B.S., Metiya, N. & Postolache, M. A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl 2013, 152 (2013). https://doi.org/10.1186/1687-1812-2013-152