- Research
- Open Access

# On fixed point theory in partial metric spaces

- Maryam A Alghamdi
^{1}, - Naseer Shahzad
^{2}Email author and - Oscar Valero
^{3}

**2012**:175

https://doi.org/10.1186/1687-1812-2012-175

© Alghamdi et al.; licensee Springer 2012

**Received:**28 March 2012**Accepted:**25 September 2012**Published:**11 October 2012

## Abstract

In this paper, we continue the study of contractive conditions for mappings in complete partial metric spaces. Concretely, we present fixed point results for weakly contractive and weakly Kannan mappings in such a way that the classical metric counterpart results are retrieved as a particular case. Special attention to the cyclical case is paid. Moreover, the well-posedness of the fixed point problem associated to weakly (cyclic) contractive and weakly (cyclic) Kannan mappings is discussed, and it is shown that these contractive mappings are both good Picard operators and special good Picard operators.

## 1 Introduction

Throughout this paper, the letters ℝ, ${\mathbb{R}}_{+}$, ℕ and ${\mathbb{Z}}_{+}$ will denote the set of real numbers, the set of nonnegative real numbers, the set of positive integer numbers and the set of nonnegative integer numbers, respectively.

The celebrated fixed point theorem of Banach asserts the following.

**Theorem 1**

*If*$(X,d)$

*is a complete metric space and*$f:X\to X$

*is a mapping such that*

*for all* $x,y\in X$ *and some* $\alpha \in [0,1[$, *then* *f* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

In [1], Kannan obtained the following extension of the aforementioned fixed point theorem of Banach to a larger class of mappings, now known as Kannan mappings.

**Theorem 2**

*Let*$(X,d)$

*be a complete metric space and let*$f:X\to X$

*be a mapping such that*

*for all* $x,y\in X$ *and some* $\alpha \in [0,1[$, *then* *f* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

Another extensions of Banach’s fixed point theorem were given by Kirk, Srinivasan and Veeramani in [2]. They obtained general fixed point theorems for mappings satisfying cyclical contractive conditions. Among other results, the following one was proven in [2].

**Theorem 3**

*Let*${A}_{1},\dots ,{A}_{m}$

*be a collection of nonempty closed subsets of a complete metric space*$(X,d)$ ($m\in \mathbb{N}$

*and*$m>1$).

*Suppose that there exists*$\alpha \in [0,1[$

*such that a mapping*$f:{\bigcup}_{i=1}^{m}{A}_{i}\to {\bigcup}_{i=1}^{m}{A}_{i}$

*satisfies the following conditions*:

- (1)
$f({A}_{i})\subseteq {A}_{i+1}$

*for all*$1\le i\le m$,*where*${A}_{m+1}={A}_{1}$; - (2)
$d(f(x),f(y))\le \alpha d(x,y)$

*for all*$x\in {A}_{i}$, $y\in {A}_{i+1}$*and*$1\le i\le m$.

*Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

Since Kirk, Srinivasan and Veeramani gave the aforementioned generalizations, intensive research on this topic has provided a wide number of works about mappings satisfying cyclical contractive conditions in metric spaces (see [3] for recent and complete bibliography). In particular, in [4] the following fixed point theorem, which generalizes the aforesaid Kannan fixed point theorem (Theorem 2), for Kannan cyclical contractive mappings was proved.

**Theorem 4**

*Let*${A}_{1},\dots ,{A}_{m}$

*be a collection of nonempty closed subsets of a complete metric space*$(X,d)$ ($m\in \mathbb{N}$

*and*$m>1$).

*Suppose that there exists*$\alpha \in [0,1[$

*such that a mapping*$f:{\bigcup}_{i=1}^{m}{A}_{i}\to {\bigcup}_{i=1}^{m}{A}_{i}$

*satisfies the following conditions*:

- (1)
$f({A}_{i})\subseteq {A}_{i+1}$

*for all*$1\le i\le m$,*where*${A}_{m+1}={A}_{1}$; - (2)
$d(f(x),f(y))\le \frac{\alpha}{2}[d(x,f(x))+d(y,f(y))]$

*for all*$x\in {A}_{i}$, $y\in {A}_{i+1}$*and*$1\le i\le m$.

*Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

Recently, a large number of fixed point results in the metric context, including Theorems 1, 2, 3 and 4, have been extended to the framework of partial metric spaces. Let us recall that the notion of partial metric space was introduced by Matthews in 1994 as a part of the study of denotational semantics of dataflow networks (see [5] and [6]) and that, thenceforth, partial metric spaces play an important role in constructing models in the theory of computation (for a fuller treatment we refer the reader to [7–12] and [13]).

Let us recall some pertinent definitions of partial metric spaces and some of their properties which can be found in [5].

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

(p_{1}) $x=y\iff p(x,x)=p(x,y)=p(y,y)$,

(p_{2}) $p(x,x)\le p(x,y)$,

(p_{3}) $p(x,y)=p(y,x)$,

(p_{4}) $p(x,y)\le p(x,z)+p(z,y)-p(z,z)$.

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

Note that from the preceding definition, concretely from statements (p_{1}) and (p_{2}), it follows that $p(x,y)=0$ implies that $x=y$. However, in general, the fact that $x=y$ does not necessarily imply that $p(x,y)=0$. A typical example of this situation is provided by the partial metric space $({\mathbb{R}}_{+},{p}_{max})$, where the function ${p}_{max}:{\mathbb{R}}_{+}\times {\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ is defined by ${p}_{max}(x,y)=max\{x,y\}$ 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 [14] and [5]. According to [5], 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 $\{{B}_{p}(x,\epsilon ):x\in X,\epsilon >0\}$, where ${B}_{p}(x,\epsilon )=\{y\in X:p(x,y)<p(x,x)+\epsilon \}$ for all $x\in X$ and $\epsilon >0$. From the preceding fact it immediately follows that a sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ in a partial metric space $(X,p)$ converges to a point $x\in X$ if and only if $p(x,x)={lim}_{n\to \mathrm{\infty}}p(x,{x}_{n})$.

Following [5], a sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ in a partial metric space $(X,p)$ is called a Cauchy sequence if ${lim}_{n,m\to \mathrm{\infty}}p({x}_{n},{x}_{m})$ exists and is finite. Moreover, a partial metric space $(X,p)$ is said to be complete if every Cauchy sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ in *X* converges, with respect to $\tau (p)$, to a point $x\in X$ such that $p(x,x)={lim}_{n,m\to \mathrm{\infty}}p({x}_{n},{x}_{m})$. An easy, but illustrative, example of complete partial metric space is given by the pair $({\mathbb{R}}_{+},{p}_{max})$.

*p*is a partial metric on

*X*, then the function ${p}^{s}:X\times X\to {\mathbb{R}}_{+}$ given for all $x,y\in X$ by

is a metric on *X*.

Taking into account the preceding interesting relationship between partial metrics and metrics, the following useful remarks were introduced in [5] (compare [15]).

If a sequence converges in a partial metric space $(X,p)$ with respect to $\tau ({p}^{s})$, then it converges with respect to $\tau (p)$. Of course, the converse is not true.

In [5], Matthews obtained a generalization of Banach’s fixed point theorem for partial metric spaces that can be stated as follows.

**Theorem 6**

*Let*$(X,p)$

*be a complete partial metric space and let*$f:X\to X$

*be a mapping such that there exists*$\alpha \in [0,1[$

*satisfying*

*for all* $x,y\in X$. *Then f has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in X$, *to* ${x}^{\ast}$.

As noted above, an intense research activity on fixed point results in partial metric spaces has been developed in the past years. Thus, a large number of fixed point results in the metric framework have been extended to the partial metric case in such references as [9, 16–40] and [41].

Inspired by the interest aroused by fixed point theory in partial metric spaces, in the present paper, we focus our study on the possibility of extending some metric fixed point theorems for the so-called weakly contractive mappings and weakly Kannan mappings to the context of partial metric spaces.

Let us recall, for the sake of completeness, the both aforementioned notions in the metric framework.

**Definition 7** [42]

Observe that the contractive condition in Definition 7, due to Dugundji and Granas, is mainly based on replacing the constant *α* in (1.1) (see Theorem 1) by the function $\overline{\alpha}$.

**Definition 8** [43]

Observe that the class of mappings, introduced by Ariza-Ruiz and Jimenez-Melando, in Definition 8 is larger than the class of Kannan mappings (*i.e.*, mappings satisfying inequality (1.2) in Theorem 2) such as Example 2.5 in [43] shows.

According to the exposed notions, the following fixed point theorems were proved in [42] and [43], respectively.

**Theorem 9** *Let* $(X,d)$ *be a complete metric space*. *If* $f:X\to X$ *is a weakly contractive mapping*, *then* *f* *has a unique fixed point* ${x}^{\ast}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

**Theorem 10** *Let* $(X,d)$ *be a complete metric space*. *If* $f:X\to X$ *is a weakly Kannan mapping*, *then* *f* *has a unique fixed point* ${x}^{\ast}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges*, *for every* $x\in X$, *to* ${x}^{\ast}$.

As we have mentioned before, we are interested in extending metric fixed point theorems for the so-called weakly contractive mappings and weakly Kannan mappings to the context of partial metric spaces. In particular, and in the light of the both previous results, our objective in this paper is threefold. We introduce the notions of a weakly contractive mapping and a weakly Kannan mapping in the partial metric framework, and we present a partial metric version of Theorems 9 and 10 in such a way that both aforesaid results are retrieved as a particular case when the partial metric is, in fact, a metric. Moreover, motivated in part by the fact that we have not come across a version of Theorems 9 and 10 for the cyclical case in the literature, we prove a cyclical version of both preceding results in the partial metric context providing, as a particular case of our new results, the not found cyclical version of Theorems 9 and 10 for the classical case when we consider again that the partial metric is a metric. Finally, we show the well-posedness of our new fixed point results in the sense of [39] (and also [44]) and, in addition, we prove that the new contractive mappings are good Picard operators and special Picard operators in the spirit of Rus ([45]).

## 2 Main results

### 2.1 Weakly contractive and weakly Kannan mappings in complete partial metric spaces: new fixed point results

In this subsection, we prove an extension of Theorems 9 and 10 in complete partial metric spaces. To do this, we first extend the notions of a weakly contractive mapping and a weakly Kannan mapping to our new context.

**Definition 11**Let $(X,p)$ be a partial metric space. A mapping $f:X\to X$ is said to be weakly contractive provided that there exists $\overline{\alpha}:X\times X\to [0,1[$ such that for every $0\le a\le b$,

Notice that if there exists $\alpha \in [0,1[$ such that the function $\overline{\alpha}$ given in Definition 11 holds $\overline{\alpha}(x,y)=\alpha $ for all $x,y\in X$, then we retrieve, as a particular case of our notion, the contractive one given by Matthews in [5].

**Definition 12**Let $(X,p)$ be a partial metric space. A mapping $f:X\to X$ is said to be weakly Kannan if there exists $\overline{\alpha}:X\times X\to [0,1[$ which satisfies for every $0\le a\le b$ and for all $x,y\in X$ that

Of course when the function $\overline{\alpha}$ satisfies that there exists $\alpha \in [0,1[$ such that $\overline{\alpha}(x,y)=\alpha $ for all $x,y\in X$, we say that the mapping *f* is a Kannan mapping.

Observe that when the partial metric is exactly a metric, we obtain as a particular case of our new notions those given in Definitions 7 and 8 and in Theorem 2.

The next example shows that there exist weakly contractive mappings in the sense of Definition 11 that are not weakly contractive mappings in the sense of Definition 7.

**Example 13** Let ${p}_{max}{|}_{[0,1]}$ represent the restriction of the partial metric ${p}_{max}$ on ${\mathbb{R}}_{+}$ (introduced in Section 1) to the set $[0,1]$. Consider the partial metric space $([0,1],{p}_{max}{|}_{[0,1]})$.

for all $x,y\in [0,1]$.

It is immediate to check that the function $\overline{\alpha}$ holds the requirements in Definition 11, that is, $\theta (a,b)<1$ for every $0\le a\le b$.

*f*is a weakly contractive function,

*i.e.*, that

for all $x,y\in [0,1]$. Observe that, in fact, the function *f* is contractive in the sense of Matthews (see Theorem 6) since $\overline{\alpha}(x,y)=\frac{1}{2}$ for all $x,y\in [0,1]$.

*f*is not a weakly contractive function with respect to the metric ${p}_{max}{|}_{[0,1]}^{s}$ (

*i.e.*, that

*f*is not weakly contractive with respect to the metric ${p}_{max}{|}_{[0,1]}^{s}$ for any choice of a function $\overline{\alpha}$ satisfying all the requirements in Definition 7). Indeed, assume for the purpose of contradiction that there exists $\overline{\alpha}:[0,1]\times [0,1]\to [0,1[$ satisfying the requirements in Definition 7 such that

for all $x,y\in [0,1]$. Whence we deduce that $1\le \overline{\alpha}(1,1)<1$, which provides a contradiction.

In the following example, we show that there exist mappings that are weakly Kannan mappings in the sense of Definition 12 that are not weakly Kannan mappings in the sense of Definition 8.

**Example 14**Consider the partial metric space $([0,1],{p}_{max}{|}_{[0,1]})$ and the function $f:[0,1]\to [0,1]$ given by

*i.e.*, $\theta (a,b)<1$ for every $0\le a\le b$. Moreover, it is a simple matter to show that

*f*is a weakly Kannan mapping,

*i.e.*,

*f*is not a weakly Kannan mapping in the sense of Definition 8 with respect to the metric ${p}_{max}{|}_{[0,1]}^{s}$ (

*i.e.*, that

*f*is not weakly Kannan with respect to the metric ${p}_{max}{|}_{[0,1]}^{s}$ for any choice of a function $\overline{\alpha}$ satisfying all the requirements in Definition 8). To see this, take $x=1$ and $y=0$. Assume for the purpose of contradiction that there exists $\overline{\alpha}:[0,1]\times [0,1]\to [0,1[$ which holds all the requirements in Definition 8. Then

It follows that $2\le \overline{\alpha}(1,0)$, which contradicts the fact that $\overline{\alpha}(x,y)\le 1$ for all $x,y\in [0,1]$.

In order to present the announced partial metric versions of Theorem 9 and Theorem 10, we prove the following fixed point result where we introduce a contractive condition which mixes the contractive conditions in Definitions 11 and 12.

**Theorem 15**

*Let*$(X,p)$

*be a complete partial metric space and let*$f:X\to X$

*be a mapping such that there exists*$\overline{\alpha}:X\times X\to [0,1]$

*with*

*for every*$0\le a\le b$,

*and such that*

*for all* $x,y\in X$. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in X$ *and the Picard sequence of iterates* ${\{{f}^{n}({x}_{0})\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* ${x}_{0}\in X$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

*Proof*Consider ${x}_{0}\in X$ and define the Picard sequence of iterates by

We consider the following two cases:

*i.e.*,

we obtain that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},{x}_{n})=0$.

where $\theta =\theta (0,p({x}_{0},{x}_{1}))$.

*i.e.*, ${lim}_{n\to \mathrm{\infty}}{p}^{s}({x}_{n},{x}^{\ast})=0$. It follows that

This shows that $\{{x}_{n}\}$ is a convergent sequence in $(X,p)$ with respect to $\tau ({p}^{s})$.

which is a contradiction. Whence $p({x}^{\ast},f({x}^{\ast}))=0$, and hence $p(f({x}^{\ast}),f({x}^{\ast}))=0$. So, we have, by statement (p_{1}) in Definition 5, that ${x}^{\ast}=f({x}^{\ast})$. Therefore, we have shown the existence of a fixed point such that $p({x}^{\ast},{x}^{\ast})=0$ and that the Picard sequence of iterates ${\{{f}^{n}({x}_{0})\}}_{n\in \mathbb{N}}$ converges to ${x}^{\ast}$ with respect to $\tau ({p}^{s})$.

*f*with $z\ne {x}^{\ast}$. Thus, $r=p({x}^{\ast},z)>0$, and we immediately obtain

which is a contradiction. Thus, ${x}^{\ast}=z$. □

As a consequence of the preceding theorem, we obtain the following one.

**Corollary 16**

*Let*$(X,p)$

*be a complete partial metric space and let*$f:X\to X$

*be a mapping such that there exists*$\overline{\alpha}:X\times X\to [0,1[$

*with*

*for every*$0\le a\le b$,

*and such that*

*for all* $x,y\in X$. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in X$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in X$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

As a consequence of Theorem 15, we obtain the announced partial metric versions of Theorems 9 and 10.

**Corollary 17** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly contractive mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in X$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in X$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

**Corollary 18** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly Kannan mapping*. *Then* *f* *has a unique fixed point* $x\in X$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in X$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

It is clear that Theorems 9 and 10 follow as special cases of Corollaries 17 and 18, respectively, when the partial metric is a metric.

We end this subsection by stressing, on the one hand, that in all above results, we have proved that the Picard sequences of iterates are convergent to the fixed point with respect to $\tau ({p}^{s})$, and thus we immediately conclude that such a convergence is also with respect to $\tau (p)$. On the other hand, it is clear that when, in the statements of the aforementioned results, we replace the partial metric by a metric, we retrieve the classical fixed points results for weakly contractive mappings, Theorem 9, and for weakly Kannan mappings, Theorem 10.

### 2.2 Weakly contractive and weakly Kannan mappings in complete partial metric spaces: the cyclical case

In this section, we present the extensions of Corollaries 17 and 18 to the cyclical case, *i.e.*, when we consider a cyclical representation of a complete partial metric space and either weakly cyclic contractive mappings or weakly cyclic Kannan mappings.

*X*and a mapping $f:X\to X$, a collection ${A}_{1},\dots ,{A}_{m}$ of nonempty subsets of

*X*($m\in \mathbb{N}$) is said to be a cyclic representation of

*X*with respect to

*f*provided that the following conditions are satisfied:

- (1)
$X={\bigcup}_{i=1}^{m}{A}_{i}$;

- (2)
$f({A}_{i})\subseteq {A}_{i+1}$ for all $1\le i\le m$, where ${A}_{m+1}={A}_{1}$.

*X*($m\in \mathbb{N}$) is a closed cyclic representation of

*Y*with respect to

*f*and

*τ*provided that the following conditions are satisfied:

- (1)
${A}_{1},\dots ,{A}_{m}$ is a cyclic representation of

*Y*with respect to*f*; - (2)
${A}_{i}$ is closed with respect to

*τ*for all $1\le i\le m$.

In the sequel, given a topological space $(X,\tau )$ and a nonempty subset $Y\subseteq X$ which is closed with respect to *τ*, we will say, for short, that *Y* is a *τ*-closed subset of *X*. Thus, a collection ${A}_{1},\dots ,{A}_{m}$ of nonempty subsets of *X* ($m\in \mathbb{N}$) will be called a *τ*-closed cyclic representation of *Y* with respect to *f* provided that ${A}_{1},\dots ,{A}_{m}$ is a closed cyclic representation of *Y* with respect to *f* and *τ*.

Notice that if $(X,p)$ is a partial metric space and $Y\subseteq X$ is $\tau (p)$-closed, then *Y* is $\tau ({p}^{s})$-closed. Hence, if $(X,p)$ is a complete partial metric space and $Y\subseteq X$, then $(Y,p)$ is a complete partial metric space provided that *Y* is $\tau (p)$-closed.

Next, we extend the notions of a weakly contractive mapping and a weakly Kannan mapping to the cyclical context in the spirit of Definition 1.3 in [47].

**Definition 19**Let $(X,p)$ be a complete partial metric space and ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) be a collection of nonempty subsets of

*X*. A mapping $f:Y\to Y$ is called a weakly cyclic contractive mapping if the following conditions are satisfied:

- (1)
${A}_{1},\dots ,{A}_{m}$ is a $\tau (p)$-cyclic representation of

*Y*with respect to*f*, - (2)there exists $\overline{\alpha}:Y\times Y\to [0,1[$ such that for every $0\le a\le b$$\theta (a,b)=sup\{\overline{\alpha}(x,y):a\le p(x,y)\le b\}<1,$

**Definition 20**Let $(X,p)$ be a complete partial metric space and ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) be a collection of nonempty subsets of

*X*. A mapping $f:Y\to Y$ is called a weakly cyclic Kannan mapping if the following conditions are satisfied:

- (1)
${A}_{1},\dots ,{A}_{m}$ is a $\tau (p)$-cyclic representation of

*Y*with respect to*f*, - (2)there exists $\overline{\alpha}:Y\times Y\to [0,1[$ such that for every $0\le a\le b$$\theta (a,b)=sup\{\overline{\alpha}(x,y):a\le p(x,y)\le b\}<1,$

When we consider the partial metric as a metric in Definition 20, we retrieve as a particular case the well-known notion of cyclic Kannan mappings in metric spaces, *i.e.*, the mapping satisfying the contractive condition in Theorem 4 in Section 1. In addition, notice that when the partial metric is in fact a metric, the preceding notion of a weakly Kannan mapping differs from the one for metric spaces given by Petric in [49].

We prove the following result with the aim of extending the aforesaid corollaries to the new context.

**Theorem 21**

*Let*$(X,p)$

*be a complete partial metric space and*${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$)

*be a collection of nonempty subsets of*

*X*

*and*$Y\subseteq X$.

*Let*$f:Y\to Y$

*be a mapping such that*:

- (1)
${A}_{1},\dots ,{A}_{m}$

*is a*$\tau (p)$-*cyclic representation of**Y**with respect to**f*, - (2)
*there exists*$\overline{\alpha}:Y\times Y\to [0,1[$*with*$\theta (a,b)=sup\{\overline{\alpha}(x,y):a\le p(x,y)\le b\}<1$

*such that for every*$0\le a\le b$,

*and such that*

*for any* $x\in {A}_{i}$, $y\in {A}_{i+1}$.

*Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in Y$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

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

- (1)For all $n\in \mathbb{N}$,$p({x}_{n},{x}_{n+1})\le \overline{\alpha}({x}_{n-1},{x}_{n})p({x}_{n-1},{x}_{n}),$

- (3)For all $k\in \mathbb{N}$,${p}^{s}({x}_{n},{x}_{n+k})\le 2\frac{{\theta}^{n}}{1-\theta}p({x}_{0},{x}_{1}),$

where $\theta =\theta (0,p({x}_{0},{x}_{1}))$.

*Y*is $\tau (p)$-closed, the subspace $(Y,{p}^{s})$ is complete. So, the sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ is convergent in $(Y,{p}^{s})$ to any ${y}^{\ast}\in Y$. Whence we have that

This shows that the Picard sequence of iterates ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ converges to a point ${y}^{\ast}\in Y$ with respect to $\tau ({p}^{s})$ such that $p({y}^{\ast},{y}^{\ast})=0$.

Next, we show that ${y}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$.

*f*to ${\bigcap}_{i=1}^{m}{A}_{i}$,

which satisfies the conditions of Theorem 15 as $({\bigcap}_{i=1}^{m}{A}_{i},p)$ is also complete because ${\bigcap}_{i=1}^{m}{A}_{i}$ is $\tau ({p}^{s})$-closed and $(Y,{p}^{s})$ is complete. According to the aforementioned result, $f{\mid}_{{\bigcap}_{i=1}^{m}{A}_{i}}$has a unique fixed point ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ such that $p({x}^{\ast},{x}^{\ast})=0$.

We consider the following two cases with this aim:

*i.e.*,

for all $n\in \mathbb{N}$. Whence we obtain a contradiction, since $0\le \theta <1$, and hence ${lim}_{n\to \mathrm{\infty}}{\theta}^{n}=0$. Therefore, $p=0$ and ${lim}_{n\to \mathrm{\infty}}p({f}^{n}({y}_{0}),{x}^{\ast})=0$.

Thus, the Picard iteration converges, with respect to $\tau ({p}^{s})$, to ${x}^{\ast}$ for any initial point ${y}_{0}\in Y$.

which is a contradiction. Thus, ${x}^{\ast}$ is the unique fixed point of *f*. This concludes the proof. □

Theorem 21 yields as a particular case the following result.

**Corollary 22**

*Let*$(X,p)$

*be a complete partial metric space and*${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$)

*be a collection of nonempty subsets of*

*X*

*and*$Y\subseteq X$.

*Let*$f:Y\to Y$

*be a mapping such that*:

- (1)
${A}_{1},\dots ,{A}_{m}$

*is a*$\tau (p)$-*cyclic representation of**Y**with respect to**f*, - (2)
*there exists*$\overline{\alpha}:Y\times Y\to [0,1[$*with*$\theta (a,b)=sup\{\overline{\alpha}(x,y):a\le p(x,y)\le b\}<1$

*such that for every*$0\le a\le b$,

*and such that*

*for any* $x\in {A}_{i}$, $y\in {A}_{i+1}$.

*Then* *f* *has a fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in Y$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

As a consequence of Theorem 21, we obtain the following fixed point results which extend Corollaries 17 and 18 to the cyclic case.

**Corollary 23** *Let* $(X,p)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in Y$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

**Corollary 24** *Let* $(X,p)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau ({p}^{s})$, *for every* $x\in Y$, *to* ${x}^{\ast}$. *Moreover*, $p({x}^{\ast},{x}^{\ast})=0$.

As in the case of the results given in Section 2.1, we want to remark that in all above results, we have obtained that the Picard sequences of iterates are convergent to the fixed point with respect to $\tau ({p}^{s})$, and thus the convergence is also with respect to $\tau (p)$.

Note that if we replace the partial metric by a metric in the statements of Corollaries 23 and 24, we obtain the following metric fixed point results, the publication of which in the literature so far we are not aware of.

**Corollary 25** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau (d)$, *for every* $x\in Y$, *to* ${x}^{\ast}$.

**Corollary 26** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau (d)$, *for every* $x\in Y$, *to* ${x}^{\ast}$.

Furthermore, from Corollary 26, we obtain exactly the fixed point for Kannan mappings given in [4], *i.e.*, Theorem 4 in Section 1.

**Corollary 27** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a cyclic Kannan mapping*. *Then* *f* *has a unique fixed point* ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and the Picard sequence of iterates* ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ *converges with respect to* $\tau (d)$, *for every* $x\in Y$, *to* ${x}^{\ast}$.

### 2.3 Weakly contractive and weakly Kannan mappings in complete partial metric spaces: a Picard operator perspective

According to [39], given a partial metric space $(X,p)$, a mapping $f:X\to X$ is a Picard operator provided that *f* has a unique fixed point and that the Picard sequence of iterates ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ is convergent, for every $x\in X$, to the fixed point with respect to $\tau ({p}^{s})$.

In the light of the theory exposed in Sections 2.1 and 2.2, in particular as a consequence of Theorem 15 and Theorem 21, every weakly contractive mapping and every weakly Kannan mapping defined in partial metric spaces are Picard operators in the sense of [39]. However, in partial metric spaces, we can relax the preceding notion as follows.

**Definition 28** Let $(X,p)$ be a partial metric. We will say that a mapping $f:X\to X$ is a Picard operator with respect to *p* (or *p*-Picard operator for short) provided that *f* has a unique fixed point and that the Picard sequence of iterates ${\{{f}^{n}(x)\}}_{n\in \mathbb{N}}$ is convergent, for every $x\in X$, to the fixed point with respect to $\tau (p)$.

Of course, Theorem 15 and Theorem 21 guarantee that every weakly contractive mapping and every weakly Kannan mapping defined in partial metric spaces are examples of *p*-Picard operators. It follows that every mapping satisfying the original contractive condition of Matthews given in Theorem 6 is also a *p*-Picard operator.

Following [39], given a partial metric space $(X,p)$ and a *p*-Picard operator $f:X\to X$ with fixed point ${x}^{\ast}\in X$, we will say that the fixed point problem for such a mapping is well posed with respect to *p* whenever the following property holds:

If ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ is a sequence in *X* such that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, then ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ converges to ${x}^{\ast}$ with respect to $\tau (p)$.

The next result yields the well-posedness of the fixed point problem for weakly (cyclic) contractive mappings and for weakly (cyclic) Kannan mappings in our sense.

**Theorem 29** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a mapping satisfying all the requirements in the statement of Theorem * 15, *then the fixed point problem for* *f* *is well posed with respect to* *p* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *X* *such that* ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

*Proof*First of all, we prove that the following inequality holds for all $x\in X$ with $x\ne {x}^{\ast}$:

where ${x}^{\ast}$ is the fixed point of *f* provided by Theorem 15.

for all $x\in X$.

Next, we distinguish two cases:

So, we have shown that inequality (2.8) holds for all $x\in X$ with $x\ne {x}^{\ast}$.

Now, we assume that the fixed point problem is well posed and consider a sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ in *X* such that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$. Then it is clear that there exists a subsequence ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ of ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ such that ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})=L$ with $0\le L\le 1$ (observe that the sequence ${\{\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})\}}_{k\in \mathbb{N}}\subseteq [0,1[$). Next, we prove that $L<1$. To this end, suppose that $L=1$.

for all $k\ge {k}_{0}$. It follows that $\theta (0,1)<\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})\le \theta (0,1)$ which is a contradiction. We conclude that ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$.

*X*with ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, we will show the well-posedness of the fixed point problem. To this end, consider, for the propose of contradiction, that the sequence ${\{p({x}_{n},{x}^{\ast})-p({x}^{\ast},{x}^{\ast})\}}_{n\in \mathbb{N}}$ does not converge to 0. Then there exists $M>0$ and a subsequence ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ of ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ such that

for all $k\in \mathbb{N}$.

for all $k\in \mathbb{N}$. Since ${lim}_{k\to \mathrm{\infty}}p({x}_{{n}_{k}},f({x}_{{n}_{k}}))=0$, we have guaranteed by the hypothesis the existence of a subsequence ${\{{x}_{{n}_{{k}_{m}}}\}}_{m\in \mathbb{N}}$ of ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ such that ${lim}_{m\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{{k}_{m}}},{x}^{\ast})<1$.

which is impossible. So, ${lim}_{n\to \mathrm{\infty}}p({x}_{n},{x}^{\ast})-p({x}^{\ast},{x}^{\ast})=0$, and thus the sequence ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ is convergent to ${x}^{\ast}$ with respect to $\tau (p)$. Therefore, the fixed point problem is well posed. □

for all $n\in \mathbb{N}$ and ${lim}_{n\to \mathrm{\infty}}p({x}_{n},{x}^{\ast})=0$.

**Corollary 30** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *p* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *X* *such that* ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

**Corollary 31** *Let* $(X,d)$ *be a complete metric space and let* $f:X\to X$ *be a weakly contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *d* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *X* *such that* ${lim}_{n\to \mathrm{\infty}}d({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

From Case 2 in the proof of Theorem 29, we obtain the following results.

**Corollary 32** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly Kannan contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *p*.

**Corollary 33** *Let* $(X,d)$ *be a complete metric space and let* $f:X\to X$ *be a weakly Kannan contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *d*.

The next result, whose proof we omit because it follows the same method as in Theorem 29, is an extension of the previous one to the cyclical case.

**Theorem 34** *Let* $(X,p)$ *be a complete partial metric space*, ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Let* $f:Y\to Y$ *be a mapping satisfying all the requirements in the statement of Theorem * 21, *then the fixed point problem for* *f* *is well posed with respect to* *p* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *Y* *such that* ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

**Corollary 35** *Let* $(X,p)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *p* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *Y* *such that* ${lim}_{n\to \mathrm{\infty}}p({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

**Corollary 36** *Let* $(X,p)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *p*.

**Corollary 37** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *d* *if and only if for every sequence* ${\{{x}_{n}\}}_{n\in \mathbb{N}}$ *in* *Y* *such that* ${lim}_{n\to \mathrm{\infty}}d({x}_{n},f({x}_{n}))=0$, *there exists a subsequence* ${\{{x}_{{n}_{k}}\}}_{k\in \mathbb{N}}$ *with* ${lim}_{k\to \mathrm{\infty}}\overline{\alpha}({x}_{{n}_{k}},{x}^{\ast})<1$, *where* ${x}^{\ast}$ *is the unique fixed point of* *f*.

**Corollary 38** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan mapping*. *Then the fixed point problem for* *f* *is well posed with respect to* *d*.

*f*is a Picard operator such that

*f*and

for any $x\in X$, then the mapping *f* is called a special good Picard operator. Notice that we are assuming that ${f}^{0}(x)=x$ for all $x\in X$.

*f*is a Picard operator such that

*f*and

for any $x\in X$, then the mapping *f* is called a special good Picard operator.

**Theorem 39** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a mapping satisfying all the requirements in the statement of Theorem * 15, *then* *f* *is a special good Picard operator*.

*Proof*We have to prove that

for any $x\in X$, where ${x}^{\ast}$ is the fixed point of *f*. Let $x\in X$. There is no loss of generality in assuming that $x\ne {x}^{\ast}$ and that ${f}^{n}(x)\ne {x}^{\ast}$ for all $n\in \mathbb{N}$.

We consider the following two cases with this aim:

*i.e.*,

with ${r}_{n}=p({f}^{n-1}(x),{x}^{\ast})$ for all $n\in \mathbb{N}$.

Therefore, *f* is a special Picard operator. □

**Corollary 40** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly contractive mapping*, *then* *f* *is a special good Picard operator*.

**Corollary 41** *Let* $(X,p)$ *be a complete partial metric space and let* $f:X\to X$ *be a weakly Kannan mapping*, *then* *f* *is a special good Picard operator*.

**Corollary 42** *Let* $(X,p)$ *be a complete metric space and let* $f:X\to X$ *be a weakly contractive mapping*, *then* *f* *is a special good Picard operator*.

**Corollary 43** *Let* $(X,p)$ *be a complete metric space and let* $f:X\to X$ *be a weakly Kannan mapping*, *then* *f* *is a special good Picard operator*.

The next result is an extension of Theorem 39 to the cyclical case. We omit its proof because it follows the same method as in the aforesaid theorem.

**Theorem 44** *Let* $(X,p)$ *be a complete partial metric space*, $Y\subseteq X$ *and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X*. *Let* $f:Y\to Y$ *be a mapping satisfying all the requirements in the statement of Theorem * 21, *then* *f* *is a special good Picard operator*.

**Corollary 45** *Let* $(X,d)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then* *f* *is a special good Picard operator*.

**Corollary 46** *Let* $(X,d)$ *be a complete partial metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan mapping*. *Then* *f* *is a special good Picard operator*.

**Corollary 47** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic contractive mapping*. *Then* *f* *is a special good Picard operator*.

**Corollary 48** *Let* $(X,d)$ *be a complete metric space and* ${A}_{1},\dots ,{A}_{m}$ ($m\in \mathbb{N}$) *be a collection of nonempty subsets of* *X* *and* $Y\subseteq X$. *Suppose that* $f:Y\to Y$ *is a weakly cyclic Kannan contractive mapping*. *Then* *f* *is a special good Picard operator*.

## Declarations

### Acknowledgements

The authors are in debt to the anonymous referees whose comments helped them to improve the final version of this paper. The third author thanks for the support from the Spanish Ministry of Science and Innovation and the Spanish Ministry of Economy and Competitiveness, under Grants MTM2009-12872-C02-0 and MTM2012-37894-C02-01, respectively.

## Authors’ Affiliations

## References

- Kannan R: Some results on fixed points.
*Bull. Calcutta Math. Soc.*1968, 60: 71–76.MathSciNetGoogle Scholar - Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions.
*Fixed Point Theory*2003, 4: 79–89.MathSciNetGoogle Scholar - Petric, MA: Fixed points and best proximity points theorems for cyclical contractive operators. PhD thesis, North University of Baia Mare, Baia Mare (2011)Google Scholar
- Petric MA, Zlatanov BG: Fixed points theorems of Kannan type for cyclical contractive conditions.
*Proc. of the Anniversary International Conference REMIA 2010*2010, 187–194.Google Scholar - Matthews SG: Partial metric topology.
*Ann. N.Y. Acad. Sci.*1994, 728: 183–197. 10.1111/j.1749-6632.1994.tb44144.xMathSciNetView ArticleGoogle Scholar - Matthews SG: An extensional treatment of lazy data flow deadlock.
*Theor. Comput. Sci.*1995, 151: 195–205. 10.1016/0304-3975(95)00051-WMathSciNetView ArticleGoogle Scholar - Romaguera S, Tirado P, Valero O: Complete partial metric spaces have partially metrizable computational models.
*Int. J. Comput. Math.*2012, 89: 284–290. 10.1080/00207160.2011.559229MathSciNetView ArticleGoogle Scholar - Romaguera S, Schellekens MP, Valero O: Complexity spaces as quantitative domains of computation.
*Topol. Appl.*2011, 158: 853–860. 10.1016/j.topol.2011.01.005MathSciNetView ArticleGoogle Scholar - Seda AK, Hitzler P: Generalized distance functions in the theory of computation.
*Comput. J.*2010, 53: 443–464. 10.1093/comjnl/bxm108View ArticleGoogle Scholar - Romaguera S, Valero O: Domain theoretic characterizations of quasi-metric completeness in terms of formal balls.
*Math. Struct. Comput. Sci.*2010, 20: 453–472. 10.1017/S0960129510000010MathSciNetView ArticleGoogle Scholar - Romaguera S, Valero O: A quantitative computational model for complete partial metric spaces via formal balls.
*Math. Struct. Comput. Sci.*2009, 19: 541–563. 10.1017/S0960129509007671MathSciNetView ArticleGoogle Scholar - Heckmann R: Approximation of metric spaces by partial metric spaces.
*Appl. Categ. Struct.*1999, 7: 71–83. 10.1023/A:1008684018933MathSciNetView ArticleGoogle Scholar - Romaguera S, Schellekens M: Partial metric monoids and semivaluation spaces.
*Topol. Appl.*2005, 153: 948–962. 10.1016/j.topol.2005.01.023MathSciNetView ArticleGoogle Scholar - Escardo MH: Pcf extended with real numbers.
*Theor. Comput. Sci.*1996, 162: 79–115. 10.1016/0304-3975(95)00250-2MathSciNetView ArticleGoogle Scholar - Oltra S, Romaguera S, Sánchez Pérez EA: Bicompleting weightable quasi-metric spaces and partial metric spaces.
*Rend. Circ. Mat. Palermo*2002, 50: 151–162.View ArticleGoogle Scholar - Di Bari, C, Vetro, P: Common fixed points for ψ-contractions on partial metric spaces. Hacet. J. Math. Stat. (to appear)Google Scholar
- Nashine HK, Samet B, Vetro C: Fixed point theorems in partially ordered metric spaces and existence results for integral equations.
*Numer. Funct. Anal. Optim.*2012, 33: 1304–1320. 10.1080/01630563.2012.675395MathSciNetView ArticleGoogle Scholar - Vetro F, Radenović S: Nonlinear
*ψ*-quasi-contractions of Ćirić-type in partial metric spaces.*Appl. Math. Comput.*2012, 219: 1594–1600. 10.1016/j.amc.2012.07.061MathSciNetView ArticleGoogle Scholar - Argarwal RP, Alghamdi MA, Shahzad N: Fixed point theory for cyclic generalized contractions in partial metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 40. doi:10.1186/1687–1812–2012–40Google Scholar - Ilić D, Pavlović V, Rakočević V: Extensions of Zamfirescu theorem to partial metric spaces.
*Math. Comput. Model.*2012, 55: 801–809. 10.1016/j.mcm.2011.09.005View ArticleGoogle Scholar - Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces.
*Topol. Appl.*2012, 159: 194–199. 10.1016/j.topol.2011.08.026MathSciNetView ArticleGoogle Scholar - Aydi H, Abbas M, Vetro C: Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces.
*Topol. Appl.*2012, 159: 3234–3242. 10.1016/j.topol.2012.06.012MathSciNetView ArticleGoogle Scholar - Aydi H, Vetro C, Sintunavarat W, Kumam P: Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 124Google Scholar - 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.008MathSciNetView ArticleGoogle Scholar - Di Bari C, Vetro P: Fixed points for weak
*φ*-contractions on partial metric spaces.*Int. J. Eng. Contemp. Math. Sci.*2011, 1: 5–13.Google Scholar - Karapinar E: Fixed point theory for cyclic weak
*ϕ*-contraction.*Appl. Math. Lett.*2011, 24: 822–825. 10.1016/j.aml.2010.12.016MathSciNetView ArticleGoogle Scholar - Romaguera S: Matkowski’s type theorems for generalized contractions on (ordered) partial metric spaces.
*Appl. Gen. Topol.*2011, 12: 213–220.MathSciNetGoogle Scholar - Abdeljawad, T, Alzabut, JO, Mukheimer, A, Zaidan, Y: Banach contraction principle for cyclical mappings on partial metric spaces (2011). arXiv:1112.5891v1 [math.GN]Google Scholar
- Abbas M, Nazir T, Romaguera S: Fixed point results for generalized cyclic contraction mappings in partial metric spaces.
*Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. a Mat.*2011. doi:10.1007/s13398–011–0051–5Google Scholar - Abdeljawad T, Karapinar E, Tas K: Existence and uniqueness of a common fixed point on partial metric spaces.
*Appl. Math. Lett.*2011, 24: 1900–1904. 10.1016/j.aml.2011.05.014MathSciNetView ArticleGoogle Scholar - Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 508730Google Scholar - Ćirić L, 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.005MathSciNetView ArticleGoogle Scholar - Karapinar E, Erhan IM: Fixed point theorems for operators on partial metric spaces.
*Appl. Math. Lett.*2011, 24: 1894–1899. 10.1016/j.aml.2011.05.013MathSciNetView ArticleGoogle Scholar - Karapinar E: Weak
*ϕ*-contraction on partial metric spaces and existence of fixed points in partially ordered sets.*Math. Aeterna*2011, 1: 237–244.MathSciNetGoogle Scholar - Ilić D, Pavlović V, Rakočević V: Some new extensions of Banach’s contraction principle to partial metric space.
*Appl. Math. Lett.*2011, 24: 1326–1330. 10.1016/j.aml.2011.02.025MathSciNetView ArticleGoogle Scholar - Altun I, Sadarangani K: Corrigendum to “Generalized contractions on partial metric spaces” [Topology Appl. 157 (2010) 2778–2785].
*Topol. Appl.*2011, 158: 1738–1740. 10.1016/j.topol.2011.05.023MathSciNetView ArticleGoogle Scholar - Altun I, Sola F, Simsek H: Generalized contractions on partial metric spaces.
*Topol. Appl.*2010, 157: 2778–2785. 10.1016/j.topol.2010.08.017MathSciNetView ArticleGoogle Scholar - Altun I, Simsek H: Some fixed points theorems on dualistic partial metric spaces.
*J. Adv. Math. Stud.*2008, 1: 1–8. 10.2991/978-94-91216-35-0_1MathSciNetGoogle Scholar - Rus IA: Fixed point theory in partial metric spaces.
*An. Univ. Vest Timis,. Ser. Mat.-Inform.*2008, XLVI: 149–160.MathSciNetGoogle Scholar - Valero O: On Banach fixed point theorems for partial metric spaces.
*Appl. Gen. Topol.*2005, 6: 229–240.MathSciNetView ArticleGoogle Scholar - Oltra S, Valero O: Banach’s fixed point theorem for partial metric spaces.
*Rend. Ist. Mat. Univ. Trieste*2004, 36: 17–26.MathSciNetGoogle Scholar - Dugundji J, Granas A: Weakly contractive mappings and elementary domain invariance theorem.
*Bull. Greek Math. Soc.*1978, 19: 141–151.MathSciNetGoogle Scholar - Ariza-Ruiz D, Jimenez-Melando A: A continuation method for weakly Kannan mappings.
*Fixed Point Theory Appl.*2010., 2010: Article ID 321594Google Scholar - Rus IA: Picard operators and well-posedness of fixed point problems.
*Stud. Univ. Babeş-Bolyai, Math.*2007, 52: 147–156.MathSciNetGoogle Scholar - Rus IA: The theory of a metrical fixed point theorem: theoretical and applicative relevances.
*Fixed Point Theory*2008, 9: 541–559.MathSciNetGoogle Scholar - Rus IA: Cyclic representations and fixed points.
*Ann. “Tiberiu Popoviciu” Sem. Funct. Equ. Approx. Convexity*2005, 3: 171–178.Google Scholar - Păcurar M, Rus IA: Fixed point theory for cyclic
*φ*-contractions.*Nonlinear Anal.*2010, 72: 1181–1187. 10.1016/j.na.2009.08.002MathSciNetView ArticleGoogle Scholar - Petruşel G: Cyclic representations and periodic points.
*Stud. Univ. Babeş-Bolyai, Math.*2005, 5: 107–122.Google Scholar - Petric MA: Best proximity points theorems for weak cyclic Kannan contractions.
*Filomat*2011, 25: 145–154.MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.