Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces

Abstract

We prove some coincidence and common fixed point results for three mappings satisfying a generalized weak contractive condition in ordered partial metric spaces. As application of the presented results, we give a unique fixed point result for a mapping satisfying a weak cyclical contractive condition. We also provide some illustrative examples.

MSC:47H10, 54H25.

1 Introduction and preliminaries

In the last decades, several authors have worked on domain theory in order to equip semantics domain with a notion of distance. In 1994, Matthews [29] introduced the notion of a partial metric space as a part of the study of denotational semantics of dataflow networks and showed that the Banach contraction principle [16] can be generalized to the partial metric context for applications in program verification. Later on, many researchers studied fixed point theorems in partial metric spaces as well as ordered partial metric spaces. For more details, see [5, 6, 915, 19, 20, 33, 34, 36].

Recently, there have been so many exciting developments in the field of existence of fixed points in partially ordered sets. For instance, Ran and Reurings [38] extended the Banach contraction principle in partially ordered sets with some applications to matrix equations. For more details on fixed point theory in partially ordered sets, we refer the reader to [14, 7, 8, 17, 18, 24, 28, 3032, 39, 41] and the references cited therein.

In this paper, we establish some coincidence and common fixed point results for three self-mappings on an ordered partial metric space satisfying a generalized weak contractive condition. The presented theorems extend some recent results in the literature. Moreover, as application, we give a unique fixed point theorem for a mapping satisfying a weak cyclical contractive condition.

Throughout this paper, ${\mathbb{R}}_{+}$ will denote the set of all non-negative real numbers. First, we start by recalling some known definitions and properties of partial metric spaces.

Definition 1.1 ([29])

A partial metric on a nonempty set X is a function $p:X×X\to {\mathbb{R}}_{+}$ such that for all $x,y,z\in X$:

(p1) $x=y⟺p\left(x,x\right)=p\left(x,y\right)=p\left(y,y\right)$,

(p2) $p\left(x,x\right)\le p\left(x,y\right)$,

(p3) $p\left(x,y\right)=p\left(y,x\right)$,

(p4) $p\left(x,y\right)\le p\left(x,z\right)+p\left(z,y\right)-p\left(z,z\right)$.

A partial metric space is a pair $\left(X,p\right)$ such that X is a nonempty set and p is a partial metric on X.

It is clear that, if $p\left(x,y\right)=0$, then from (p1) and (p2), $x=y$; but if $x=y$, $p\left(x,y\right)$ may not be 0. A basic example of a partial metric space is the pair $\left({\mathbb{R}}_{+},p\right)$, where $p\left(x,y\right)=max\left\{x,y\right\}$ for all $x,y\in {\mathbb{R}}_{+}$.

Other examples of partial metric spaces which are interesting from a computational point of view may be found in [22, 29].

Each partial metric p on X generates a ${T}_{0}$ topology ${\tau }_{p}$ on X which has as a base the family of open p-balls $\left\{{B}_{p}\left(x,\epsilon \right),x\in X,\epsilon >0\right\}$, where ${B}_{p}\left(x,\epsilon \right)=\left\{y\in X:p\left(x,y\right) for all $x\in X$ and $\epsilon >0$.

If p is a partial metric on X, then the function ${p}^{s}:X×X\to {\mathbb{R}}_{+}$ given by

${p}^{s}\left(x,y\right)=2p\left(x,y\right)-p\left(x,x\right)-p\left(y,y\right)$
(1.1)

is a metric on X.

Definition 1.2 ([29])

Let $\left\{{x}_{n}\right\}$ be a sequence in X. Then

1. (i)

$\left\{{x}_{n}\right\}$ converges to a point $x\in X$ if and only if $p\left(x,x\right)={lim}_{n\to +\mathrm{\infty }}p\left(x,{x}_{n}\right)$. We may write this as ${x}_{n}\to x$.

2. (ii)

$\left\{{x}_{n}\right\}$ is called a Cauchy sequence if ${lim}_{n,m\to +\mathrm{\infty }}p\left({x}_{n},{x}_{m}\right)$ exists and is finite.

3. (iii)

$\left(X,p\right)$ is said to be complete if every Cauchy sequence $\left\{{x}_{n}\right\}$ in X converges, with respect to ${\tau }_{p}$, to a point $x\in X$, such that $p\left(x,x\right)={lim}_{n,m\to +\mathrm{\infty }}p\left({x}_{n},{x}_{m}\right)$.

Lemma 1.3 ([29])

Let $\left(X,p\right)$ be a partial metric space. Then

1. (a)

$\left\{{x}_{n}\right\}$ is a Cauchy sequence in $\left(X,p\right)$ if and only if it is a Cauchy sequence in the metric space $\left(X,{p}^{s}\right)$.

2. (b)

A partial metric space $\left(X,p\right)$ is complete if and only if the metric space $\left(X,{p}^{s}\right)$ is complete. Furthermore, ${lim}_{n\to +\mathrm{\infty }}{p}^{s}\left({x}_{n},x\right)=0$ if and only if

$p\left(x,x\right)=\underset{n\to +\mathrm{\infty }}{lim}p\left({x}_{n},x\right)=\underset{n,m\to +\mathrm{\infty }}{lim}p\left({x}_{n},{x}_{m}\right).$

Definition 1.4 ([5])

Let $\left(X,p\right)$ be a partial metric space and $T:X\to X$ be a given mapping. We say that T is continuous at ${x}_{0}\in X$, if for every $\epsilon >0$, there exists $\eta >0$ such that $T\left({B}_{p}\left({x}_{0},\eta \right)\right)\subseteq {B}_{p}\left(T{x}_{0},\epsilon \right)$.

Lemma 1.5 (Sequential characterization of continuity)

Let $\left(X,p\right)$ be a partial metric space and $T:X\to X$ be a given mapping. $T:X\to X$ is continuous at ${x}_{0}\in X$ if it is sequentially continuous at ${x}_{0}$, that is, if and only if

$\mathrm{\forall }\left\{{x}_{n}\right\}\subset X:\underset{n\to +\mathrm{\infty }}{lim}{x}_{n}={x}_{0}\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}\underset{n\to +\mathrm{\infty }}{lim}T{x}_{n}=T{x}_{0}.$

Let X be a nonempty set and $R:X\to X$ be a given mapping. For every $x\in X$, we denote by ${R}^{-1}\left(x\right)$ the subset of X defined by

${R}^{-1}\left(x\right):=\left\{u\in X|Ru=x\right\}.$

Definition 1.6 Let X be a nonempty set. Then $\left(X,⪯,p\right)$ is called an ordered partial metric space if and only if

1. (i)

$\left(X,p\right)$ is a partial metric space,

2. (ii)

$\left(X,⪯\right)$ is a partially ordered set.

Definition 1.7 Let $\left(X,⪯\right)$ be a partially ordered set. Then $x,y\in X$ are called comparable if $x⪯y$ or $y⪯x$ holds.

Definition 1.8 ([30])

Let $\left(X,⪯\right)$ be a partially ordered set and $T,S,R:X\to X$ be given mappings such that $TX\subseteq RX$ and $SX\subseteq RX$. We say that S and T are weakly increasing with respect to R if and only if, for all $x\in X$, we have

$Tx⪯Sy,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in {R}^{-1}\left(Tx\right)$

and

$Sx⪯Ty,\phantom{\rule{1em}{0ex}}\mathrm{\forall }y\in {R}^{-1}\left(Sx\right).$

Remark 1.9 If $R:X\to X$ is the identity mapping ($Rx=x$ for all $x\in X$, shortly $R={I}_{X}$), then the fact that S and T are weakly increasing with respect to R implies that S and T are weakly increasing mappings, that is, $Sx⪯TSx$ and $Tx⪯STx$ for all $x\in X$. Finally, a mapping $T:X\to X$ is weakly increasing if and only if $Tx⪯TTx$ for all $x\in X$.

Example 1.10 Consider $X={\mathbb{R}}_{+}$ endowed with the usual ordering of real numbers and define $T,S,R:X\to X$ by

Now, ${R}^{-1}\left(Tx\right)=\left\{3\right\}$ and ${R}^{-1}\left(Sx\right)=Sx$, then S and T are weakly increasing with respect to R.

Definition 1.11 Let $\left(X,⪯,p\right)$ be an ordered partial metric space. We say that X is regular if and only if the following hypothesis holds: $\left\{{z}_{n}\right\}$ is a non-decreasing sequence in X with respect to such that ${z}_{n}\to z$ as $n\to +\mathrm{\infty }$, then ${z}_{n}⪯z$ for all $n\in \mathbb{N}$.

Finally, we recall the following definition of partial-compatibility introduced by Samet et al. [40].

Definition 1.12 Let $\left(X,p\right)$ be a partial metric space and $T,R:X\to X$ be given mappings. We say that the pair $\left\{T,R\right\}$ is partial-compatible if the following conditions hold:

(b1) $p\left(x,x\right)=0$ implies that $p\left(Rx,Rx\right)=0$.

(b2) ${lim}_{n\to +\mathrm{\infty }}p\left(TR{x}_{n},RT{x}_{n}\right)=0$, whenever $\left\{{x}_{n}\right\}$ is a sequence in X such that $T{x}_{n}\to t$ and $R{x}_{n}\to t$ for some $t\in X$.

Note that Definition 1.12 extends and generalizes the notion of compatibility introduced by Jungck [25].

2 Main results

Lemma 2.1 Let $\left(X,d\right)$ be a metric space and let $\left\{{x}_{n}\right\}$ be a sequence in X such that $\left\{d\left({x}_{n+1},{x}_{n}\right)\right\}$ is non-increasing and

$\underset{n\to +\mathrm{\infty }}{lim}d\left({x}_{n+1},{x}_{n}\right)=0.$

If $\left\{{x}_{2n}\right\}$ is not a Cauchy sequence, then there exist $\epsilon >0$ and two sequences $\left\{{m}_{k}\right\}$ and $\left\{{n}_{k}\right\}$ of positive integers such that ${m}_{k}>{n}_{k}>k$ and the following four sequences tend to ε when $k\to +\mathrm{\infty }$:

$\left\{d\left({x}_{2{m}_{k}},{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{d\left({x}_{2{m}_{k}},{x}_{2{n}_{k}+1}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{d\left({x}_{2{m}_{k}-1},{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{d\left({x}_{2{m}_{k}-1},{x}_{2{n}_{k}+1}\right)\right\}.$

As a corollary, applying Lemma 2.1 to the associated metric ${p}^{s}$ of a partial metric p, and using Lemma 1.3, we obtain the following lemma (see also [21]).

Lemma 2.2 Let $\left(X,p\right)$ be a partial metric space and let $\left\{{x}_{n}\right\}$ be a sequence in X such that $\left\{p\left({x}_{n+1},{x}_{n}\right)\right\}$ is non-increasing and

$\underset{n\to +\mathrm{\infty }}{lim}p\left({x}_{n+1},{x}_{n}\right)=0.$

If $\left\{{x}_{2n}\right\}$ is not a Cauchy sequence, then there exist $\epsilon >0$ and two sequences $\left\{{m}_{k}\right\}$ and $\left\{{n}_{k}\right\}$ of positive integers such that ${m}_{k}>{n}_{k}>k$ and the following four sequences tend to ε when $k\to +\mathrm{\infty }$:

$\left\{p\left({x}_{2{m}_{k}},{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{p\left({x}_{2{m}_{k}},{x}_{2{n}_{k}+1}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{p\left({x}_{2{m}_{k}-1},{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{p\left({x}_{2{m}_{k}-1},{x}_{2{n}_{k}+1}\right)\right\}.$

In the sequel, let Ψ be the set of functions $\psi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that ψ is continuous, strictly increasing and $\psi \left(t\right)=0$ if and only if $t=0$. Also, let Φ be the set of functions $\phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ such that φ is lower semi-continuous and $\phi \left(t\right)=0$ if and only if $t=0$. Such ψ and φ are called control functions.

Our first main result is the following.

Theorem 2.3 Let $\left(X,⪯\right)$ be a partially ordered set. Suppose that there exists a partial metric p on X such that the partial metric space $\left(X,p\right)$ is complete. Let $T,S,R:X\to X$ be given mappings satisfying

1. (a)

T, S and R are continuous,

2. (b)

the pairs $\left\{R,T\right\}$ and $\left\{S,R\right\}$ are partial-compatible,

3. (c)

T and S are weakly increasing with respect to R.

Suppose that for every $\left(x,y\right)\in X×X$ such that Rx and Ry are comparable, we have

$\psi \left(p\left(Tx,Sy\right)\right)\le \psi \left(\frac{p\left(Tx,Rx\right)+p\left(Sy,Ry\right)}{2}\right)-\phi \left(p\left(Rx,Ry\right)\right),$
(2.1)

where $\psi \in \mathrm{\Psi }$ and $\phi \in \mathrm{\Phi }$. Then T, S and R have a coincidence point $u\in X$, that is, $Tu=Su=Ru$.

Proof By Definition 1.8, it follows that $TX\cup SX\subseteq RX$. Let ${x}_{0}$ be an arbitrary point in X. Since $TX\subseteq RX$, there exists ${x}_{1}\in X$ such that $R{x}_{1}=T{x}_{0}$. Since $SX\subseteq RX$, there exists ${x}_{2}\in X$ such that $R{x}_{2}=S{x}_{1}$. Continuing this process, we can construct a sequence $\left\{{x}_{n}\right\}$ in X defined by

$R{x}_{2n+1}=T{x}_{2n},\phantom{\rule{2em}{0ex}}R{x}_{2n+2}=S{x}_{2n+1},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(2.2)

By construction, we have ${x}_{1}\in {R}^{-1}\left(T{x}_{0}\right)$ and ${x}_{2}\in {R}^{-1}\left(S{x}_{1}\right)$. Then using the fact that S and T are weakly increasing with respect to R, we obtain

$R{x}_{1}=T{x}_{0}⪯S{x}_{1}=R{x}_{2}⪯T{x}_{2}=R{x}_{3}.$

We continue this process to get

$R{x}_{1}⪯R{x}_{2}⪯\cdots ⪯R{x}_{2n+1}⪯R{x}_{2n+2}⪯\cdots .$
(2.3)

We claim that $\left\{R{x}_{n}\right\}$ is a Cauchy sequence in the partial metric space $\left(X,p\right)$. To this aim, we distinguish the following two cases.

Case 1. We suppose that there exists $k\in \mathbb{N}$ such that $p\left(R{x}_{2k},R{x}_{2k+1}\right)=0$, so that $R{x}_{2k}=R{x}_{2k+1}$. By (2.3), applying (2.1) with $x={x}_{2k}$ and $y={x}_{2k+1}$, we get

$\begin{array}{rcl}\psi \left(p\left(R{x}_{2k+2},R{x}_{2k+1}\right)\right)& =& \psi \left(p\left(T{x}_{2k},S{x}_{2k+1}\right)\right)\\ \le & \psi \left(\frac{p\left(T{x}_{2k},R{x}_{2k}\right)+p\left(S{x}_{2k+1},R{x}_{2k+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2k},R{x}_{2k+1}\right)\right)\\ =& \psi \left(\frac{p\left(R{x}_{2k+1},R{x}_{2k}\right)+p\left(R{x}_{2k+2},R{x}_{2k+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2k},R{x}_{2k+1}\right)\right)\\ =& \psi \left(\frac{p\left(R{x}_{2k+2},R{x}_{2k+1}\right)}{2}\right).\end{array}$

Since ψ is strictly increasing, we have

$p\left(R{x}_{2k+2},R{x}_{2k+1}\right)\le \frac{1}{2}p\left(R{x}_{2k+2},R{x}_{2k+1}\right).$

This implies that $p\left(R{x}_{2k+2},R{x}_{2k+1}\right)=0$. Continuing this process, we obtain $p\left(R{x}_{n},R{x}_{2k}\right)=0$ for all $n\ge 2k$. This implies that $R{x}_{n}=R{x}_{2k}$, therefore $\left\{R{x}_{n}\right\}$ is Cauchy in $\left(X,p\right)$. The same conclusion holds if $R{x}_{2k+1}=R{x}_{2k+2}$ for some $k\in \mathbb{N}$.

Case 2. Now, we suppose that

$R{x}_{n}\ne R{x}_{n+1},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(2.4)

Here, we have $p\left(R{x}_{n},R{x}_{n+1}\right)\ne 0$ for all $n\ge 0$. Thanks to (2.3), $R{x}_{2n}$ and $R{x}_{2n+1}$ are comparable, then using (2.2) and taking $x={x}_{2n+2}$ and $y={x}_{2n+1}$ in (2.1), we get

$\begin{array}{c}\psi \left(p\left(R{x}_{2n+3},R{x}_{2n+2}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(p\left(T{x}_{2n+2},S{x}_{2n+1}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(T{x}_{2n+2},R{x}_{2n+2}\right)+p\left(S{x}_{2n+1},R{x}_{2n+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2n+2},R{x}_{2n+1}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(\frac{p\left(R{x}_{2n+3},R{x}_{2n+2}\right)+p\left(R{x}_{2n+2},R{x}_{2n+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2n+2},R{x}_{2n+1}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(R{x}_{2n+3},R{x}_{2n+2}\right)+p\left(R{x}_{2n+2},R{x}_{2n+1}\right)}{2}\right).\hfill \end{array}$

Since ψ is strictly increasing, the above inequality implies that

$p\left(R{x}_{2n+3},R{x}_{2n+2}\right)\le p\left(R{x}_{2n+2},R{x}_{2n+1}\right).$
(2.5)

Now, taking $x={x}_{2n}$ and $y={x}_{2n+1}$ in (2.1), we have

$\begin{array}{r}\psi \left(p\left(R{x}_{2n+1},R{x}_{2n+2}\right)\right)\\ \phantom{\rule{1em}{0ex}}=\psi \left(p\left(T{x}_{2n},S{x}_{2n+1}\right)\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(T{x}_{2n},R{x}_{2n}\right)+p\left(S{x}_{2n+1},R{x}_{2n+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2n},R{x}_{2n+1}\right)\right)\\ \phantom{\rule{1em}{0ex}}=\psi \left(\frac{p\left(R{x}_{2n+1},R{x}_{2n}\right)+p\left(R{x}_{2n+2},R{x}_{2n+1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2n},R{x}_{2n+1}\right)\right)\\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(R{x}_{2n+1},R{x}_{2n}\right)+p\left(R{x}_{2n+2},R{x}_{2n+1}\right)}{2}\right),\end{array}$
(2.6)

which implies that

$p\left(R{x}_{2n+2},R{x}_{2n+1}\right)\le p\left(R{x}_{2n+1},R{x}_{2n}\right).$
(2.7)

Combining (2.5) and (2.7), we get

(2.8)

It follows that the sequence $\left\{p\left(R{x}_{n},R{x}_{n+1}\right)\right\}$ is non-increasing and bounded below by 0. Hence, there exists $r\ge 0$ such that

We claim that $r=0$. Suppose that $r>0$. Taking the lim sup as $n\to +\mathrm{\infty }$ in (2.6) and using the properties of the functions ψ and φ, we have

$\psi \left(r\right)\le \psi \left(r\right)-\phi \left(r\right).$

This implies that $\phi \left(r\right)=0$, and by a property of the function φ, we have $r=0$, that is a contradiction. We deduce that $r=0$, i.e.,

(2.9)

We shall show that $\left\{R{x}_{n}\right\}$ is a Cauchy sequence in the partial metric space $\left(X,p\right)$. For this, it is sufficient to prove that $\left\{R{x}_{2n}\right\}$ is Cauchy in $\left(X,p\right)$. Suppose to the contrary that $\left\{R{x}_{2n}\right\}$ is not a Cauchy sequence. Then, having in mind that $\left\{p\left(R{x}_{n},R{x}_{n+1}\right)\right\}$ is non-increasing and (2.9), it follows by Lemma 2.2 that there exist $\epsilon >0$ and two sequences $\left\{{m}_{k}\right\}$ and $\left\{{n}_{k}\right\}$ of positive integers such that ${m}_{k}>{n}_{k}>k$ and the following four sequences tend to ε when $k\to +\mathrm{\infty }$:

$\begin{array}{c}\left\{p\left(R{x}_{2{m}_{k}},R{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{p\left(R{x}_{2{m}_{k}},R{x}_{2{n}_{k}+1}\right)\right\},\hfill \\ \left\{p\left(R{x}_{2{m}_{k}-1},R{x}_{2{n}_{k}}\right)\right\},\phantom{\rule{2em}{0ex}}\left\{p\left(R{x}_{2{m}_{k}-1},R{x}_{2{n}_{k}+1}\right)\right\}.\hfill \end{array}$

Applying (2.1) with $x={x}_{2{n}_{k}}$ and $y={x}_{2{m}_{k}-1}$, we get

$\begin{array}{c}\psi \left(p\left(R{x}_{2{n}_{k}+1},R{x}_{2{m}_{k}}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(p\left(T{x}_{2{n}_{k}},S{x}_{2{m}_{k}-1}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(T{x}_{2{n}_{k}},R{x}_{2{n}_{k}}\right)+p\left(S{x}_{2{m}_{k}-1},R{x}_{2{m}_{k}-1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2{n}_{k}},R{x}_{2{m}_{k}-1}\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(\frac{p\left(R{x}_{2{n}_{k}+1},R{x}_{2n\left(k\right)}\right)+p\left(R{x}_{2m\left(k\right)},R{x}_{2{m}_{k}-1}\right)}{2}\right)-\phi \left(p\left(R{x}_{2{n}_{k}},R{x}_{2{m}_{k}-1}\right)\right).\hfill \end{array}$

Taking ${lim sup}_{k\to +\mathrm{\infty }}$ in the above inequality and using the continuity of ψ and the lower semi-continuity of φ, we obtain

$\psi \left(\epsilon \right)\le \psi \left(\frac{0+0}{2}\right)-\phi \left(\epsilon \right)=-\phi \left(\epsilon \right),$
(2.10)

from which a contradiction follows since $\epsilon >0$. Then, we deduce that $\left\{R{x}_{n}\right\}$ is a Cauchy sequence in the partial metric space $\left(X,p\right)$, which is complete, so $\left\{R{x}_{n}\right\}$ converges to some $u\in X$, that is, from (p3) and Definition 1.2,

$p\left(u,u\right)=\underset{n\to +\mathrm{\infty }}{lim}p\left(R{x}_{n},u\right)=\underset{n\to +\mathrm{\infty }}{lim}p\left(R{x}_{n},R{x}_{n}\right).$

But from (2.9) and condition (p2), we have

$\underset{n\to +\mathrm{\infty }}{lim}p\left(R{x}_{n},R{x}_{n}\right)=0,$

therefore, it follows that

$p\left(u,u\right)=\underset{n\to +\mathrm{\infty }}{lim}p\left(R{x}_{n},u\right)=\underset{n\to +\mathrm{\infty }}{lim}p\left(R{x}_{n},R{x}_{n}\right)=0.$
(2.11)

From (2.11) and the continuity of R, we get

$\underset{n\to +\mathrm{\infty }}{lim}p\left(R\left(R{x}_{n}\right),Ru\right)=p\left(Ru,Ru\right).$
(2.12)

The triangular inequality yields

$p\left(Ru,Tu\right)\le p\left(Ru,R\left(R{x}_{2n+1}\right)\right)+p\left(R\left(T{x}_{2n}\right),T\left(R{x}_{2n}\right)\right)+p\left(T\left(R{x}_{2n}\right),Tu\right).$
(2.13)

By (2.2) and (2.11), we have

(2.14)

Having in mind that the pair $\left\{R,T\right\}$ is partial-compatible, then

(2.15)

Also, since $p\left(u,u\right)=0$, then we have $p\left(Tu,Tu\right)=0$. The continuity of T together with (2.11) give us

$p\left(T\left(R{x}_{2n}\right),Tu\right)\to p\left(Tu,Tu\right)=0.$
(2.16)

Combining (2.12) and (2.15) together with (2.16) and letting $n\to +\mathrm{\infty }$ in (2.13), we obtain

$p\left(Ru,Tu\right)\le p\left(Ru,Ru\right).$
(2.17)

By condition (p2) and (2.17), one can write

$p\left(Ru,Ru\right)=p\left(Ru,Tu\right).$
(2.18)

Similarly, by triangular inequality, we get

$p\left(Ru,Su\right)\le p\left(Ru,R\left(R{x}_{2n+2}\right)\right)+p\left(R\left(S{x}_{2n+1}\right),S\left(R{x}_{2n+1}\right)\right)+p\left(S\left(R{x}_{2n+1}\right),Su\right).$
(2.19)

By (2.2) and (2.11), we have

(2.20)

Since the pair $\left\{S,R\right\}$ is partial-compatible, then

(2.21)

Also, since $p\left(u,u\right)=0$, it follows $p\left(Ru,Ru\right)=0$. Thus, from (2.18), $p\left(Ru,Tu\right)=p\left(Ru,Ru\right)=0$ and so $Ru=Tu$.

The continuity of S and (2.20) give us

(2.22)

Combining (2.12) and (2.21) together with (2.22) and letting $n\to +\mathrm{\infty }$ in (2.19), we obtain

$p\left(Ru,Su\right)\le p\left(Ru,Ru\right)+p\left(Su,Su\right)=p\left(Su,Su\right).$
(2.23)

By condition (p2) and (2.23), we get

$p\left(Ru,Su\right)=p\left(Su,Su\right).$
(2.24)

Applying (2.1) with $x=y=u$, we get

$\begin{array}{rcl}\psi \left(p\left(Tu,Su\right)\right)& \le & \psi \left(\frac{p\left(Tu,Ru\right)+p\left(Su,Ru\right)}{2}\right)-\phi \left(p\left(Ru,Ru\right)\right)\\ =& \psi \left(\frac{p\left(Su,Tu\right)}{2}\right)-\phi \left(0\right)\\ =& \psi \left(\frac{p\left(Tu,Su\right)}{2}\right).\end{array}$

This implies that

$p\left(Tu,Su\right)\le \frac{1}{2}p\left(Tu,Su\right),$

and so it follows $p\left(Tu,Su\right)=0$, that is $Tu=Su$. Thus, we have obtained

$Ru=Tu=Su,$

that is, u is a coincidence point of T, S and R. □

Remark 2.4 We point out that the order in which the mappings in condition (b) of Theorem 2.3 are considered is crucial. Trivially, Theorem 2.3 remains true if we assume that the partial-compatible pairs are $\left\{T,R\right\}$ and $\left\{R,S\right\}$.

Example 2.5 Let $X=\left[0,\frac{1}{2}\right]$ be endowed with the partial metric $p\left(x,y\right)=max\left\{x,y\right\}$ and the order given as follows:

$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}x\ge y.$

Consider the mappings $T,S,R:X\to X$ defined by $Tx=Sx={x}^{4}$ and $Rx=x$ for all $x\in X$. Also, define the functions $\psi ,\phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ by $\psi \left(t\right)=t$ and $\phi \left(t\right)=\frac{t}{4}$, for all $t\ge 0$. Clearly, condition (2.1) is satisfied. In fact, for every $\left(x,y\right)\in X×X$ with $x\ge y$, we get

$\begin{array}{rcl}\psi \left(p\left(Tx,Sy\right)\right)& =& {x}^{4}\le \frac{x}{4}\le \frac{x+y}{2}-\frac{x}{4}\\ =& \psi \left(\frac{p\left(Tx,Rx\right)+p\left(Sy,Ry\right)}{2}\right)-\phi \left(p\left(Rx,Ry\right)\right).\end{array}$

All the other hypotheses of Theorem 2.3 are satisfied and T, S and R have a coincidence point $u=0$. (Moreover, $u=0$ is the unique common fixed point of T, S and R.)

Note that Theorem 2.3 is not applicable in respect of the usual order of real numbers because T is not weakly increasing. It follows that the partial order may be fundamental.

Under different hypotheses, the conclusion of Theorem 2.3 remains true without assuming the continuity of T, S and R, and the partial-compatibility of the pairs $\left\{T,R\right\}$ and $\left\{R,S\right\}$. This is the purpose of the next theorem.

Theorem 2.6 Let $\left(X,⪯\right)$ be a partially ordered set. Suppose that there exists a partial metric p on X such that $\left(X,p\right)$ is complete. Let $T,S,R:X\to X$ be given mappings satisfying

1. (a)

RX is a closed subspace of $\left(X,p\right)$,

2. (b)

T and S are weakly increasing with respect to R,

3. (c)

X is regular.

Suppose that for every $\left(x,y\right)\in X×X$ such that Rx and Ry are comparable, we have

$\psi \left(p\left(Tx,Sy\right)\right)\le \psi \left(\frac{p\left(Tx,Rx\right)+p\left(Sy,Ry\right)}{2}\right)-\phi \left(p\left(Rx,Ry\right)\right),$
(2.25)

where $\psi \in \mathrm{\Psi }$ and $\phi \in \mathrm{\Phi }$. Then, T, S and R have a coincidence point $u\in X$, that is, $Tu=Su=Ru$.

Proof Following the proof of Theorem 2.3, we have that $\left\{R{x}_{n}\right\}$ is a Cauchy sequence in the closed subspace RX, then there exists $v=Ru$, with $u\in X$, such that

(2.26)

Thanks to (2.3), $\left\{R{x}_{n}\right\}$ is a non-decreasing sequence, and so, since it converges to $v=Ru$, from the regularity of X, we get

$R{x}_{n}⪯Ru,\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$

Therefore, $R{x}_{n}$ and Ru are comparable. Putting $x={x}_{2n}$ and $y=u$ in (2.25) and using (2.2), we get

$\begin{array}{c}\psi \left(p\left(R{x}_{2n+1},Su\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(p\left(T{x}_{2n},Su\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \psi \left(\frac{p\left(T{x}_{2n},R{x}_{2n}\right)+p\left(Su,Ru\right)}{2}\right)-\phi \left(p\left(R{x}_{2n},Ru\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\psi \left(\frac{p\left(R{x}_{2n+1},R{x}_{2n}\right)+p\left(Su,Ru\right)}{2}\right)-\phi \left(p\left(R{x}_{2n},Ru\right)\right).\hfill \end{array}$

Taking ${lim sup}_{n\to +\mathrm{\infty }}$ in the above inequality, using (2.26) and the properties of φ and ψ, we obtain

$\begin{array}{rcl}\psi \left(p\left(Ru,Su\right)\right)& \le & \psi \left(\frac{p\left(Su,Ru\right)}{2}\right)-\phi \left(p\left(Ru,Ru\right)\right)\\ \le & \psi \left(\frac{p\left(Su,Ru\right)}{2}\right).\end{array}$

This implies that

$p\left(Ru,Su\right)\le \frac{1}{2}p\left(Su,Ru\right),$

which is true if $p\left(Su,Ru\right)=0$. This means that $Su=Ru$.

Analogously, putting $x=u$ and $y={x}_{2n+1}$ in (2.25), we have

$\begin{array}{rcl}\psi \left(p\left(Tu,R{x}_{2n+2}\right)& =& \psi \left(p\left(Tu,S{x}_{2n+1}\right)\right)\\ \le & \psi \left(\frac{p\left(Tu,Ru\right)+p\left(S{x}_{2n+1},R{x}_{2n+1}\right)}{2}\right)-\phi \left(p\left(Ru,R{x}_{2n+1}\right)\right)\\ =& \psi \left(\frac{p\left(R{x}_{2n+2},R{x}_{2n+1}\right)+p\left(Tu,Ru\right)}{2}\right)-\phi \left(p\left(Ru,R{x}_{2n+1}\right)\right).\end{array}$

Taking ${lim sup}_{n\to +\mathrm{\infty }}$ in the above inequality, using (2.26) and the properties of φ and ψ, we obtain

$p\left(Tu,Ru\right)\le \frac{1}{2}p\left(Tu,Ru\right),$

which yields that

$Tu=Ru.$

We conclude that u is a coincidence point of T, S and R. □

If $R:X\to X$ is the identity mapping ${I}_{X}$, by Theorem 2.6, we obtain the following common fixed point result involving two mappings.

Corollary 2.7 Let $\left(X,⪯\right)$ be a partially ordered set. Suppose that there exists a partial metric p on X such that the partial metric space $\left(X,p\right)$ is complete. Let X be regular and $T,S:X\to X$ be given mappings such that T and S are weakly increasing. Suppose that for every $\left(x,y\right)\in X×X$ such that x and y are comparable, we have

$\psi \left(p\left(Tx,Sy\right)\right)\le \psi \left(\frac{p\left(Tx,x\right)+p\left(Sy,y\right)}{2}\right)-\phi \left(p\left(x,y\right)\right),$
(2.27)

where $\psi \in \mathrm{\Psi }$ and $\phi \in \mathrm{\Phi }$. Then, T and S have a common fixed point $u\in X$, that is, $Tu=Su=u$.

The following example shows that the hypothesis ‘T and S are weakly increasing (with respect to R)’ has a key role for the validity of our results.

Example 2.8 Let $X=\left[0,1\right]$ be endowed with the partial metric $p\left(x,y\right)=max\left\{x,y\right\}$ and the order given as follows:

$x⪯y\phantom{\rule{1em}{0ex}}⟺\phantom{\rule{1em}{0ex}}x\ge y.$

Consider the mappings $T,S:X\to X$ defined by $Tx=\frac{x}{4}$ and $Sx=\frac{x}{3}$, for all $x\in X$. Also, define the functions $\psi ,\phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ by $\psi \left(t\right)=t$ and $\phi \left(t\right)=\frac{t}{7}$, for all $t\ge 0$. It is easy to show that $Sx⪯TSx$ and $Tx⪯STx$, for all $x\in X$, that is, T and S are weakly increasing. Now, take x and y comparable and, without loss of generality, assume $y⪯x$, so that $x\le y$. It is easy to show that (2.27) holds and all the other hypotheses of Corollary 2.7 are satisfied. Then, T and S have a unique common fixed point $u=0$.

Note that Corollary 2.7 is not applicable in respect of the usual order of real numbers because T and S are not weakly increasing.

Now, we shall prove the existence and uniqueness of a common fixed point for three mappings.

Theorem 2.9 In addition to the hypotheses of Theorem 2.3, suppose that for any $\left(x,y\right)\in X×X$, there exists $z\in X$ such that $Tx⪯Tz$ and $Ty⪯Tz$. Then, T, S and R have a unique common fixed point, that is, there exists a unique $u\in X$ such that $u=Ru=Tu=Su$.

Proof Referring to Theorem 2.3, the set of coincidence points of T, S and R is nonempty. Now, we shall show that if ${x}^{\ast }$ and ${y}^{\ast }$ are coincidence points of T, S and R, that is, $R{x}^{\ast }=T{x}^{\ast }=S{x}^{\ast }$ and $R{y}^{\ast }=T{y}^{\ast }=S{y}^{\ast }$, then

$p\left(R{x}^{\ast },R{y}^{\ast }\right)=0.$
(2.28)

For the coincidence points ${x}^{\ast }$ and ${y}^{\ast }$, Theorem 2.3 gives us that

$p\left(R{x}^{\ast },T{x}^{\ast }\right)=p\left(T{x}^{\ast },S{x}^{\ast }\right)=0=p\left(R{y}^{\ast },T{y}^{\ast }\right)=p\left(T{y}^{\ast },S{y}^{\ast }\right).$

By assumption, there exists ${z}_{0}\in X$ such that

$T{x}^{\ast }⪯T{z}_{0},\phantom{\rule{2em}{0ex}}T{y}^{\ast }⪯T{z}_{0}.$
(2.29)

Now, proceeding similarly to the proof of Theorem 2.3, we can immediately define a sequence $\left\{R{z}_{n}\right\}$ as follows:

$R{z}_{2n+1}=T{z}_{2n},\phantom{\rule{2em}{0ex}}R{z}_{2n+2}=S{z}_{2n+1},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(2.30)

Since T and S are weakly increasing with respect to R, we have

$T{x}^{\ast }=R{x}^{\ast }⪯R{z}_{n},\phantom{\rule{2em}{0ex}}T{y}^{\ast }=R{y}^{\ast }⪯R{z}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(2.31)

Putting $x={z}_{2n}$ and $y={x}^{\ast }$ in (2.1) and using (2.31), we get

$\begin{array}{rcl}\psi \left(p\left(R{z}_{2n+1},R{x}^{\ast }\right)\right)& =& \psi \left(p\left(T{z}_{2n},S{x}^{\ast }\right)\right)\\ \le & \psi \left(\frac{p\left(T{z}_{2n},R{z}_{2n}\right)+p\left(S{x}^{\ast },R{x}^{\ast }\right)}{2}\right)-\phi \left(p\left(R{z}_{2n},R{x}^{\ast }\right)\right)\\ =& \psi \left(\frac{p\left(R{z}_{2n+1},R{z}_{2n}\right)}{2}\right)-\phi \left(p\left(R{z}_{2n},R{x}^{\ast }\right)\right)\\ \le & \psi \left(\frac{p\left(R{z}_{2n+1},R{z}_{2n}\right)}{2}\right).\end{array}$

Since ψ is strictly increasing, we have

$p\left(R{z}_{2n+1},R{x}^{\ast }\right)\le \frac{1}{2}p\left(R{z}_{2n+1},R{z}_{2n}\right)\le \frac{1}{2}p\left(R{z}_{2n+1},R{x}^{\ast }\right)+\frac{1}{2}p\left(R{x}^{\ast },R{z}_{2n}\right).$

This gives us

$p\left(R{z}_{2n+1},R{x}^{\ast }\right)\le p\left(R{z}_{2n},R{x}^{\ast }\right).$
(2.32)

Putting $x={x}^{\ast }$ and $y={z}_{2n}$ in (2.1), then similarly to the above, one can find

$p\left(R{z}_{2n+2},R{x}^{\ast }\right)\le p\left(R{z}_{2n+1},R{x}^{\ast }\right).$
(2.33)

We combine (2.32) and (2.33) to remark that

$p\left(R{z}_{n+1},R{x}^{\ast }\right)\le p\left(R{z}_{n},R{x}^{\ast }\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(2.34)

Then, the sequence $\left\{p\left(R{z}_{n},R{x}^{\ast }\right)\right\}$ is non-increasing and bounded below, so there exists $r\ge 0$ such that

Adopting the strategy used in the proof of Theorem 2.3, one can show that $r=0$, i.e.,

(2.35)

The same idea yields

(2.36)

Now, $p\left(R{x}^{\ast },R{y}^{\ast }\right)\le p\left(R{x}^{\ast },R{z}_{n}\right)+p\left(R{z}_{n},R{y}^{\ast }\right)$ and from (2.35), (2.36), we obtain $p\left(R{x}^{\ast },R{y}^{\ast }\right)=0$, and so (2.28) holds.

Thanks to (2.30) and (2.35), one can write

(2.37)

From partial-compatibility of the pairs $\left\{R,T\right\}$ and $\left\{S,R\right\}$, using (2.35) and (2.37), we obtain

(2.38)

Denote

$u=R{x}^{\ast }.$

Since $p\left(u,u\right)=p\left(R{x}^{\ast },R{y}^{\ast }\right)=0$, so again by partial-compatibility of the pairs $\left\{R,T\right\}$ and $\left\{S,R\right\}$, we get

$p\left(Tu,Tu\right)=p\left(Ru,Ru\right)=0.$
(2.39)

By triangular inequality, we have

$p\left(Ru,Tu\right)\le p\left(Ru,R\left(T{z}_{2n}\right)\right)+p\left(R\left(T{z}_{2n}\right),T\left(R{z}_{2n}\right)\right)+p\left(T\left(R{z}_{2n}\right),Tu\right).$

Using (2.37), (2.38), (2.39), the continuity of T and letting $n\to +\mathrm{\infty }$ in the above inequality, we get

$p\left(Ru,Tu\right)\le p\left(Ru,Ru\right)+p\left(Tu,Tu\right)=0,$

that is, $Ru=Tu$ and u is a coincidence point of T and R.

Analogously, the triangular inequality gives us

$p\left(Ru,Su\right)\le p\left(Ru,R\left(S{z}_{2n+1}\right)\right)+p\left(R\left(S{z}_{2n+1}\right),S\left(R{z}_{2n+1}\right)\right)+p\left(S\left(R{z}_{2n+1}\right),Su\right).$

Using (2.37), (2.38), (2.39), the continuity of S and letting $n\to +\mathrm{\infty }$ in the above inequality, we get

$p\left(Ru,Su\right)\le p\left(Ru,Ru\right)+p\left(Su,Su\right)=p\left(Su,Su\right).$

By condition (p2), it follows immediately

$p\left(Ru,Su\right)=p\left(Su,Su\right).$

Now, applying (2.1) with $x=y=u$, we have

$\begin{array}{rcl}\psi \left(p\left(Tu,Su\right)\right)& \le & \psi \left(\frac{p\left(Tu,Ru\right)+p\left(Su,Ru\right)}{2}\right)-\phi \left(p\left(Ru,Ru\right)\right)\\ =& \psi \left(\frac{p\left(Su,Tu\right)}{2}\right)-\phi \left(0\right)\\ =& \psi \left(\frac{p\left(Tu,Su\right)}{2}\right).\end{array}$

This implies that

$p\left(Tu,Su\right)\le \frac{1}{2}p\left(Tu,Su\right),$

then we deduce that $p\left(Tu,Su\right)=0$, and so $Tu=Su$. Until now, we have obtained

$Ru=Tu=Su.$

With ${y}^{\ast }=u$ and from (2.28), we have

$u=R{x}^{\ast }=Ru=Tu=Su.$

This proves that u is a common fixed point of the mappings T, S and R.

Now our purpose is to check that such a point is unique. Suppose to the contrary that there is another common fixed point of T, S and R, say q. Then, applying (2.1) with $x=y=q$, we obtain easily that $p\left(q,Tq\right)=p\left(q,Sq\right)=p\left(q,Rq\right)=0$. It is immediate that q is a coincidence point of T, S and R. From (2.28), this implies that

$Rq=Ru.$

Hence, we get

$q=Rq=Ru=u,$

which yields the uniqueness of the common fixed point of T, S and R. This completes the proof. □

Remark 2.10 We leave, as exercise for the reader, to verify that our results hold even if we replace condition (2.1) by the following

$\psi \left(p\left(Tx,Sy\right)\right)\le \psi \left(\frac{p\left(Tx,Ry\right)+p\left(Sy,Rx\right)}{2}\right)-\phi \left(p\left(Rx,Ry\right)\right)$

for all $x,y\in X$ such that Rx and Ry are comparable.

3 Application to cyclical contractions

In this section we use the previous results to prove a fixed point theorem for a mapping satisfying a weak cyclical contractive condition. In 2003, Kirk et al. [27] studied existence and uniqueness of a fixed point for mappings satisfying cyclical contractive conditions in complete metric spaces.

Definition 3.1 Let $\left(X,d\right)$ be a metric space, m a positive integer and ${Y}_{1},\dots ,{Y}_{m}$ nonempty subsets of X. A mapping T on ${\bigcup }_{i=1}^{m}{Y}_{i}$ is called a m-cyclic mapping if $T\left({Y}_{i}\right)\subset {Y}_{i+1}$, $i=1,\dots ,m$, where ${Y}_{m+1}={Y}_{1}$.

Later on, Pacurar and Rus [35] introduced the following notion, suggested by the considerations in [27].

Definition 3.2 Let Y be a nonempty set, m a positive integer and $T:Y\to Y$ an operator. By definition, $Y={\bigcup }_{i=1}^{m}{Y}_{i}$ is a cyclic representation of Y with respect to T if T is a m-cyclic mapping and ${Y}_{i}$ are nonempty sets.

Example 3.3 Let $X=\mathbb{R}$. Assume ${Y}_{1}={Y}_{3}=\left[-2,0\right]$ and ${Y}_{2}={Y}_{4}=\left[0,2\right]$, so that $Y={\bigcup }_{i=1}^{4}{Y}_{i}=\left[-2,2\right]$. Define $T:Y\to Y$ such that $Tx=-\frac{x}{2}$, for all $x\in Y$. It is clear that $Y={\bigcup }_{i=1}^{4}{Y}_{i}$ is a cyclic representation of Y.

Inspired by Karapinar [26] and Gopal et al. [23], we present the notion of a cyclic weak $\left(\psi ,\phi \right)$-contraction in partial metric spaces.

Definition 3.4 Let $\left(X,⪯,p\right)$ be an ordered partial metric space, ${Y}_{1},{Y}_{2},\dots ,{Y}_{m}$ be closed subsets of X and $Y={\bigcup }_{i=1}^{m}{Y}_{i}$. An operator $T:Y\to Y$ is called a cyclic weak $\left(\psi ,\phi \right)$-contraction if the following conditions hold:

1. (i)

$Y={\bigcup }_{i=1}^{m}{Y}_{i}$ is a cyclic representation of Y with respect to T,

2. (ii)

there exist $\psi \in \mathrm{\Psi }$ and $\phi \in \mathrm{\Phi }$ such that

$\psi \left(p\left(Tx,Ty\right)\right)\le \psi \left(\frac{p\left(Tx,x\right)+p\left(Ty,y\right)}{2}\right)-\phi \left(p\left(x,y\right)\right),$
(3.1)

for every comparable $x\in {Y}_{i}$, $y\in {Y}_{i+1}$ ($i=1,2,\dots ,m$).

Now, we state and prove the following result.

Theorem 3.5 Let $\left(X,⪯\right)$ be a partially ordered set. Suppose that there exists a partial metric p on X such that the partial metric space $\left(X,p\right)$ is complete. Let $T:{\bigcup }_{i=1}^{m}{Y}_{i}\to {\bigcup }_{i=1}^{m}{Y}_{i}$ be a given mapping satisfying

1. (a)

T is a cyclic weak $\left(\psi ,\phi \right)$-contraction,

2. (b)

T is weakly increasing and continuous,

3. (c)

the pair $\left\{{I}_{x},T\right\}$ is partial-compatible,

4. (d)

for any $\left(x,y\right)\in X×X$, there exists $z\in X$ such that $Tx⪯Tz$ and $Ty⪯Tz$.

Then, T has a unique fixed point $u\in {\bigcap }_{i=1}^{m}{Y}_{i}$, that is, $Tu=u$.

Proof Let ${x}_{0}\in Y={\bigcup }_{i=1}^{m}{Y}_{i}$ and set

${x}_{n+1}=T{x}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$
(3.2)

For any $n\in \mathbb{N}$, there is ${i}_{n}\in \left\{1,\dots ,m\right\}$ such that ${x}_{n}\in {Y}_{{i}_{n}}$ and ${x}_{n+1}\in {Y}_{{i}_{n}+1}$. Then, following the lines of the proof of Theorem 2.3, it is easy to show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence in the partial metric space $\left(Y,p\right)$, which is complete, so $\left\{{x}_{n}\right\}$ converges to some $y\in Y$. On the other hand, by condition (i) of Definition 3.4, it follows that the iterative sequence $\left\{{x}_{n}\right\}$ has an infinite number of terms in ${Y}_{i}$ for each $i=1,2,\dots ,m$. Since $\left(Y,p\right)$ is complete, from each ${Y}_{i}$, $i=1,2,\dots ,m$, one can extract a subsequence of $\left\{{x}_{n}\right\}$ that converges to y. In virtue of the fact that each ${Y}_{i}$, $i=1,2,\dots ,m$, is closed, we conclude that $y\in {\bigcap }_{i=1}^{m}{Y}_{i}$ and thus ${\bigcap }_{i=1}^{m}{Y}_{i}\ne \mathrm{\varnothing }$. Obviously, ${\bigcap }_{i=1}^{m}{Y}_{i}$ is closed and complete. Now, consider the restriction of T on ${\bigcap }_{i=1}^{m}{Y}_{i}$, that is $T|{\bigcap }_{i=1}^{m}{Y}_{i}:{\bigcap }_{i=1}^{m}{Y}_{i}\to {\bigcap }_{i=1}^{m}{Y}_{i}$ which satisfies the assumptions of Theorem 2.3 and thus, $T|{\bigcap }_{i=1}^{m}{Y}_{i}$ has a unique fixed point in ${\bigcap }_{i=1}^{m}{Y}_{i}$, say u, which is obtained by iteration from the starting point ${x}_{0}\in Y$. To conclude, we have to show that, for any initial value $x\in Y$, we get the same limit point $u\in {\bigcap }_{i=1}^{m}{Y}_{i}$. Due to condition (c) and using the analogous ideas of the proof of Theorem 2.9, it can be obtained that, for any initial value $x\in Y$, ${x}_{n}\to u$ as $n\to +\mathrm{\infty }$. This completes the proof. □

References

1. Abbas M, Nazir T, Radenović S: Common fixed points of four maps in partially ordered metric spaces. Appl. Math. Lett. 2011, 24: 1520–1526. 10.1016/j.aml.2011.03.038

2. Abbas, M, Sintunavarat, W, Kumam, P: Coupled fixed point in partially ordered G-metric spaces. Fixed Point Theory Appl. (to appear)

3. Agarwal RP, El-Gebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151

4. Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application. Fixed Point Theory Appl. 2010., 2010: Article ID 621469

5. Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 508730

6. Altun I, Sola F, Simsek H: Generalized contractions on partial metric spaces. Topol. Appl. 2010, 157(18):2778–2785. 10.1016/j.topol.2010.08.017

7. Aydi H: Coincidence and common fixed point results for contraction type maps in partially ordered metric spaces. Int. J. Math. Anal. 2011, 5(3):631–642.

8. Aydi H, Nashine HK, Samet B, Yazidi H: Coincidence and common fixed point results in partially ordered cone metric spaces and applications to integral equations. Nonlinear Anal. 2011, 74(17):6814–6825. 10.1016/j.na.2011.07.006

9. Aydi H: Some coupled fixed point results on partial metric spaces. Int. J. Math. Math. Sci. 2011., 2011: Article ID 647091

10. Aydi H: Some fixed point results in ordered partial metric. J. Nonlinear Sci. Appl. 2011, 4(3):210–217.

11. Aydi H: Fixed point results for weakly contractive mappings in ordered partial metric spaces. J. Adv. Math. Stud. 2011, 4(2):1–12.

12. Aydi H: Fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces. J. Nonlinear Analysis Optim. 2011, 2(2):33–48.

13. Aydi H:Common fixed point results for mappings satisfying $\left(\psi ,\varphi \right)$-weak contractions in ordered partial metric spaces. Int. J. Math. Stat. 2012, 12(2):53–64.

14. Aydi, H: A common fixed point result by altering distances involving a contractive condition of integral type in partial metric spaces. Demonstr. Math. 46(1/2) (2013) (in press)

15. Aydi H, Karapınar E, Shatanawi W:Coupled fixed point results for $\left(\psi ,\phi \right)$-weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 2011, 62: 4449–4460. 10.1016/j.camwa.2011.10.021

16. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intgérales. Fundam. Math. 1922, 3: 133–181.

17. Bhashkar TG, Lakshmikantham V: Fixed point theorems in partially ordered cone metric spaces and applications. Nonlinear Anal. 2006, 65(7):825–832.

18. Ćirić LB, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 131294

19. Ćirić LB, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218: 2398–2406. 10.1016/j.amc.2011.07.005

20. Di Bari C, Vetro P: Fixed points for φ -weak contractions on partial metric spaces. Int. J. Eng., Contemp. Math. Sci. 2011, 1: 5–13.

21. Dukić D, Kadelburg Z, Radenović S: Fixed points of Geraghty-type mappings in various generalized metric spaces. Abstr. Appl. Anal. 2011., 2011: Article ID 561245

22. Escardo MH: PCF extended with real numbers. Theor. Comput. Sci. 1996, 162: 79–115. 10.1016/0304-3975(95)00250-2

23. Gopal D, Imdad M, Vetro C, Hasan M: Fixed point theory for cyclic weak ϕ -contraction in fuzzy metric spaces. J. Nonlinear Analysis Appl. 2011., 2011: Article ID jnaa-00110

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

25. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9: 771–779. 10.1155/S0161171286000935

26. Karapinar E: Fixed point theory for cyclic weak ϕ -contraction. Appl. Math. Lett. 2011, 24: 822–825. 10.1016/j.aml.2010.12.016

27. Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 2003, 4: 79–89.

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

29. Matthews SG: Partial metric topology. Annals of the New York Academy of Sciences 728. Proceedings of the 8th Summer Conference on General Topology and Applications 1994, 183–197.

30. Nashine HK, Samet B:Fixed point results for mappings satisfying $\left(\psi ,\phi \right)$-weakly contractive condition in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 2201–2209. 10.1016/j.na.2010.11.024

31. Nieto JJ, Rodríguez-López 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

32. Nieto JJ, López RR: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser. 2007, 23(12):2205–2212. 10.1007/s10114-005-0769-0

33. Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 2004, 36(1–2):17–26.

34. O’Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces. J. Math. Anal. Appl. 2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026

35. Pacurar M, Rus IA: Fixed point theory for ϕ -contractions. Nonlinear Anal. 2010, 72: 1181–1187. 10.1016/j.na.2009.08.002

36. Paesano D, Vetro P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 2012, 159: 911–920. 10.1016/j.topol.2011.12.008

37. Radenović, S, Kadelburg, Z, Jandrlić, D, Jandrlić, A: Some results on weak contraction maps. Bull. Iranian Math. Soc. (to appear)

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

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

40. Samet B, Rajović M, Lazović R, Stoiljković R: Common fixed point results for nonlinear contractions in ordered partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 71

41. Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c -distance in ordered cone metric spaces. Comput. Math. Appl. 2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040

Acknowledgements

The authors are really thankful to the anonymous referee for his/her precious suggestions useful to improve the quality of the paper. The third author would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST) and the forth author would like to thank the Commission on Higher Education and the Thailand Research Fund under Grant MRG no. 5380044 for financial support during the preparation of this manuscript.

Author information

Authors

Corresponding author

Correspondence to Poom Kumam.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly to writing this paper. All authors read and approved the final manuscript.

Rights and permissions

Reprints and Permissions

Aydi, H., Vetro, C., Sintunavarat, W. et al. Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces. Fixed Point Theory Appl 2012, 124 (2012). https://doi.org/10.1186/1687-1812-2012-124

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2012-124

Keywords

• coincidence point
• common fixed point
• compatible mappings
• cyclic weak $\left(\psi ,\phi \right)$-contraction
• partial metric space
• weakly increasing mappings