# Fixed point theory for cyclic generalized contractions in partial metric spaces

## Abstract

In this article, we give some fixed point theorems for mappings satisfying cyclical generalized contractive conditions in complete partial metric spaces.

## 1 Introduction

The well known Banach's fixed point theorem asserts that: If (X, d) is a complete metric space and f : XX is a mapping such that

$d\left(f\left(x\right),f\left(y\right)\right)\le \lambda d\left(x,y\right)$

for all x, y X and some λ [0,1), then f has a unique fixed point in X. Kannan [1] extended Banach's fixed point theorem to the class of maps f : XX satisfying the following contractive condition:

$d\left(f\left(x\right),f\left(y\right)\right)\le \lambda \left[d\left(x,f\left(x\right)\right)+d\left(y,f\left(y\right)\right)\right]$

for all x, y X and some λ (0,1/ 2). Reich [2] generalized both results using the contractive condition:

$d\left(f\left(x\right),f\left(y\right)\right)\le \alpha d\left(x,y\right)+\beta d\left(x,f\left(x\right)\right)+\gamma d\left(y,f\left(y\right)\right)$

for each x, y X, where α, β, γ are nonnegative real numbers statisfying α + β + γ < 1.

Matkowski [3] used the following contractive condition:

$d\left(f\left(x\right),f\left(y\right)\right)\le \phi \left(d\left(x,y\right)\right)$

for all x, y X, where φ : ++ is a nondecreasing function such that $\underset{n\to \infty }{\text{lim}}{\phi }^{n}\left(t\right)=0$ for all t > 0.

In 1994, Matthews [4] introduced the notion of a partial metric space and obtained a generalization of Banach's fixed point theorem for partial metric spaces. Recently, Altun et al. [5] (see also Altun and Sadarangani [6]) gave some generalized versions of the fixed point theorem of Matthews [4]. Di Bari and Vetro [7] obtained some results concerning cyclic mappings in the framework of partial metric spaces. We recall below the definition of partial metric space and some of its properties (see [4, 5, 8, 9]).

Definition 1 A partial metric on a nonempty set X is a function p : X × X+ such that for all x, y, z, X:

p1 x = y p (x, x) = p (x, y) = p (y, y),

p2 p (x, x) ≤ p(x, y),

p3 p(x, y) = p(y, x),

p4 p(x, y) ≤ p(x, z) + p(z, y) - p(z, z).

A partial metric space is a pair (X, p) where X is a nonempty set and p is a partial metric on X. The function p (x, y) = max{x, y} for all x, y + defines a partial metric on +. Other interesting examples of partial metric spaces can be found in [4, 10, 11]. It is known [8] that each partial metric p on X generates a T0 topology τ p on X which has as a base the family of open p-balls {B p (x, ε) : x X, ε > 0}, where B p (x, ε) = {y X : p (x, y) < p (x, x) + ε} for all x X and ε > 0.

If p is a partial metric on X, then the function ps: X × X+ given by

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

defines a metric on X (see [12]).

Let (X, p) be a partial metric space.

A sequence {x n } in a partial metric space (X, p) converges to a point x X [4, 5, 8] if and only if $p\left(x,x\right)=\underset{n\to \infty }{\text{lim}}p\left(x,{x}_{n}\right)$.

A sequence {x n } in a partial metric space (X, p) is called a Cauchy sequence [4, 5, 8] if there exists (and is finite) $\underset{n,m\to \infty }{\text{lim}}p\left({x}_{n},{x}_{m}\right)$.

A partial metric space (X, p) is said to be complete [4, 5, 8] if every Cauchy sequence {x n } in X converges, with respect to τ p , to a point x X such that $p\left(x,x\right)=\underset{n,m\to \infty }{\text{lim}}p\left({x}_{n},{x}_{m}\right)$.

It is evident that every closed subset of a complete partial metric space is complete.

Lemma 2 [4, 5, 8] Let (X, p) be a partial metric space.

1. (1)

{x n } is a Cauchy sequence in (X, p) if and only if it is a Cauchy sequence in the metric space (X,ps).

2. (2)

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

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

Definition 3 [13] Let X be a nonempty set, m a positive integer and f : XX an operator. By definition, $X=\bigcup _{i=1}^{m}{X}_{i}$ is a cyclic representation of X with respect to f if

(i) X i , i = 1,..., m are nonempty sets;

(ii) f (X1) X2,..., f (Xm- 1) X m , f (X m ) X1.

Definition 4 [13] A function φ : ++ is called a comparison function if it satisfies:

(i) φ is monotone increasing, i.e., t1t2 implies φ (t1) ≤ φ(t2), for any t1,t2 +;

(ii) (φn(t))n converges to 0 as n → ∞ for all t +.

Definition 5 [13] A function φ : ++ is called a (c)-comparison function if it satisfies:

(i) φ is monotone increasing;

(ii) there exist k0 , a (0,1) and a convergent series of nonnegative terms ${\sum }_{k=1}^{\infty }{v}_{k}$ such that

${\phi }^{k+1}\left(t\right)\le \alpha {\phi }^{k}\left(t\right)+{v}_{k},$

for kk0 and any t +.

Lemma 6 [13] If φ : ++ is a (c)-comparison function, then the following hold:

(i) φ is a comparison function;

(ii) φ(t) < t, for any t +;

(iii) φ is continuous at 0;

(iv) the series ${\sum }_{k=0}^{\infty }{\phi }^{k}\left(t\right)$ converges for any t +.

In [13], Păcurar and Rus discussed fixed point theorey for cyclic φ- contractions in metric spaces and in [14], Karapinar obtained a fixed point theorem for cyclic weak φ- contraction mappings still in metric spaces.

In this article, we prove some fixed point theorems for generalized contractions defined on cyclic representation in the setting of partial metric spaces.

## 2 Main results

Definition 7 Let (X,p) be a partial metric space. A mapping f : XX is called a φ-contraction if there exists a comparison function φ : ++ such that

$p\left(f\left(x\right),f\left(y\right)\right)\le \phi \left(p\left(x,y\right)\right)$

for all x, y X.

Definition 8 Let (X, p) be a partial metric space, m a positive integer, A1,..., A m nonempty closed subsets of X and $Y=\bigcup _{i=1}^{m}{A}_{i}$. An operator f : YY is called a cyclic φ-contraction if

(i) $\bigcup _{i=1}^{m}{A}_{i}$ is a cyclic representation of Y w.r.t f;

(ii) There exists a (c)-comparison function φ : ++ such that

$p\left(f\left(x\right),f\left(y\right)\right)\le \phi \left(p\left(x,y\right)\right)$
(2.1)

for any x A i , y Ai+1, where Am+1= A1.

Theorem 9 Let (X, p) be a complete partial metric space, m a positive integer, A1,..., A m closed nonempty subsets of $X,Y=\bigcup _{i=1}^{m}{A}_{i},\phi :{ℝ}_{+}\to {ℝ}_{+}$ a (c)-comparison function and f :YY an operator. Assume that

(i) $\bigcup _{i=1}^{m}{A}_{i}$ is a cyclic representation of Y w.r.t f ;

(ii) f is a cyclic φ-contraction.

Then f has a unique fixed point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$ and the Picard iteration {x n } converges to x* for any initial point x0 Y.

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

${x}_{n}=f\left({x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n\ge 1.$

For any n ≥ 0 there is i n {i, ..., m} such that ${x}_{n}\in {A}_{{i}_{n}}$ and ${x}_{n+1}\in {A}_{{i}_{n+1}}$. Then by (2.1) we have

$p\left({x}_{n},{x}_{n+1}\right)=p\left(f\left({x}_{n-1}\right),f\left({x}_{n}\right)\right)\le \phi \left(p\left({x}_{n-1},{x}_{n}\right)\right).$

Since φ is monotone increasing, we get by induction that

$p\left({x}_{n},{x}_{n+1}\right)\le {\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right).$
(2.2)

By definition of φ, thus letting n → ∞ in (2.2), we obtain that

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

On the other hand, since

$p\left({x}_{n},{x}_{n}\right)\le p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}p\left({x}_{n+1},{x}_{n+1}\right)\le p\left({x}_{n},{x}_{n+1}\right),$

then from (2.2) we have

$p\left({x}_{n},{x}_{n}\right)\le {\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}p\left({x}_{n+1},{x}_{n+1}\right)\le {\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right).$
(2.3)

Thus, we have

${p}^{s}\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{1em}{0ex}}\le \phantom{\rule{1em}{0ex}}4{\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right).$

Since φ is a (c)-comparison function, from Lemma 6, it follows that

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

So for k ≥ 1, we have

$\begin{array}{ll}\hfill {p}^{s}\left({x}_{n},{x}_{n+k}\right)& \le {p}^{s}\left({x}_{n},{x}_{n+1}\right)+\cdots +{p}^{s}\left({x}_{n+k-1},{x}_{n+k}\right)\phantom{\rule{2em}{0ex}}\\ \le 4\sum _{m=n}^{n+k-1}{\phi }^{m}\left(p\left({x}_{0},{x}_{1}\right)\right).\phantom{\rule{2em}{0ex}}\end{array}$

Again since φ is a (c)-comparison function, by Lemma 6, it follows that

$\sum _{m=0}^{\infty }{\phi }^{m}\left(p\left({x}_{0},{x}_{1}\right)\right)<\infty .$

This implies that {x n } is a Cauchy sequence in the metric subspace (Y, ps). Since Y is closed, the subspace (Y, p) is complete. Then from Lemma 2, we have that (Y, ps) is complete. Let

$\underset{n\to \infty }{\text{lim}}{p}^{s}\left({x}_{n},y\right)=0.$

Now Lemma 2 further implies that

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

Therefore, since {x n } is a Cauchy sequence in the metric space (Y, ps), it implies that $\underset{n,m\to \infty }{\text{lim}}{p}^{s}\left({x}_{n},{x}_{m}\right)=0$. Also from (2.3) we have $\underset{n\to \infty }{\text{lim}}p\left({x}_{n},{x}_{n}\right)=0$, and using the definition of pswe obtain $\underset{n,m\to \infty }{\text{lim}}p\left({x}_{n},{x}_{m}\right)=0$. Consequently, from (2.4) we have

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

As a result, {x n } is a Cauchy sequence in the complete partial metric subspace (Y, p), and it is convergent to a point y Y.

On the other hand, the sequence {x n } has an infinite number of terms in each A i , i = 1,...,m. Since (Y, p) is complete, in each A i , i = 1,..., m, we can construct a subsequence of {x n } which converges to y. Since A i , i = 1,..., m are closed, we see that

$y\in \bigcap _{i=1}^{m}{A}_{i};i.e.,$

$\bigcap _{i=1}^{m}{A}_{i}\ne \varnothing$. Now we can consider the restriction

$f{|}_{\bigcap _{i=1}^{m}{A}_{i}}:\phantom{\rule{1em}{0ex}}\bigcap _{i=1}^{m}{A}_{i}\to \bigcap _{i=1}^{m}{A}_{i},$

which satisfies the conditions of Theorem 1 in [5, 6], since $\bigcap _{i=1}^{m}{A}_{i}$ is also closed and complete. Thus $f{|}_{\bigcap _{i=1}^{m}{A}_{i}}$ has a unique fixed point, say ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$. We claim that for any initial value x Y, we get the same limit point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$. Indeed, for $x\in Y=\bigcup _{i=1}^{m}{A}_{i}$, by repeating the above process, the corresponding iterative sequence yields that $f{|}_{\bigcap _{i=1}^{m}{A}_{i}}$ has a unique fixed point, say $z\in \bigcap _{i=1}^{m}{A}_{i}$. Regarding that ${x}^{*},z\in \bigcap _{i=1}^{m}{A}_{i}$, we have x* z A i for all i, hence p (x*, z) and p (f (x*), f (z)) are well defined. Due to (2.1), we have

$p\left({x}^{*},z\right)=p\left(f\left({x}^{*}\right),f\left(z\right)\right)\le \phi \left(p\left({x}^{*},z\right)\right),$

which is a contradiction. Thus, x* is a unique fixed point of f for any initial value x Y.

To prove that the Picard iteration converges to x* for any initial point x Y. Let $x\in Y=\bigcup _{i=1}^{m}{A}_{i}$. There exists i0 {1,..., m} such that $x\in {A}_{{i}_{0}}$. As ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$ it follows that ${x}^{*}\in {A}_{{i}_{0}+1}$ as well. Then we obtain:

$p\left(f\left(x\right),f\left({x}^{*}\right)\right)\le \phi \left(p\left(x,{x}^{*}\right)\right).$

By induction, it follows that:

$p\left({f}^{n}\left(x\right),{x}^{*}\right)\le {\phi }^{n}\left(p\left(x,{x}^{*}\right)\right),\phantom{\rule{1em}{0ex}}n\ge 0.$

Since

$p\left({x}^{*},{x}^{*}\right)\le p\left({f}^{n}\left(x\right),{x}^{*}\right),$

we have

$p\left({x}^{*},{x}^{*}\right)\le {\phi }^{n}\left(p\left(x,{x}^{*}\right)\right).$

Now letting n → ∞, and supposing xx*, we have

$p\left({x}^{*},{x}^{*}\right)=\underset{n\to \infty }{\text{lim}}p\left({f}^{n}\left(x\right),{x}^{*}\right)=0,$

i.e., the Picard iteration converges to the unique fixed point of f for any initial point x Y.

Theorem 10 Let f :YY as in Theorem 9. Then

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{f}^{n+1}\left(x\right)\right)<\infty ,$

for any x Y, i.e., f is a good Picard operator.

Proof. Let x = x 0 Y. Then

$p\left({f}^{n}\left({x}_{0}\right),{f}^{n+1}\left({x}_{0}\right)\right)=p\left({x}_{n},{x}_{n+1}\right)\le {\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right).$

for all n Thus, by Lemma 6, we have

$\sum _{n=0}^{\infty }p\left({f}^{n}\left({x}_{0}\right),{f}^{n+1}\left({x}_{0}\right)\right)\le \sum _{n=0}^{\infty }{\phi }^{n}\left(p\left({x}_{0},{x}_{1}\right)\right)<\infty ,$

since p(x0, x1) > 0. So, f is a good Picard operator.

Theorem 11 Let f :YY as in Theorem 9. Then

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{x}^{*}\right)<\infty ,$

for any x Y, i.e., f is a special Picard operator.

Proof. Since

$p\left({f}^{n}\left(x\right),{x}^{*}\right)\le {\phi }^{n}\left(p\left(x,{x}^{*}\right)\right),\phantom{\rule{1em}{0ex}}n\ge 0$

holds for any x Y, by Lemma 6, we have

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{x}^{*}\right)\le \sum _{n=0}^{\infty }{\phi }^{n}\left(p\left(x,{x}^{*}\right)\right)<\infty .$

This shows that f is a special Picard operator.

Theorem 12 (Reich type). Let (X, p) be a complete partial metric space, m a positive integer, A1,...,A m closed nonempty subsets of $X,Y=\bigcup _{i=1}^{m}{A}_{i}$, and f : YY an operator. Assume that

(i) $\bigcup _{i=1}^{m}{A}_{i}$ is a cyclic representation of Y w.r.t f ;

(ii) for any x A i , y Ai+1, where Am+1= A1, we have

$p\left(f\left(x\right),f\left(y\right)\right)\le \alpha p\left(x,y\right)+\beta p\left(x,f\left(x\right)\right)+\gamma p\left(y,f\left(y\right)\right),$
(2.5)

where α, β, γ ≥ 0 with α + β + γ < 1.

Then f has a unique fixed point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$ and the Picard iteration {x n } converges to x* for any initial point x0 Y if α + 2β + 2γ < 1.

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

${x}_{n}=f\left({x}_{n-1}\right),\phantom{\rule{1em}{0ex}}n\ge 1.$

For any n ≥ 0 there is i n {i,..., m} such that ${x}_{n}\in {A}_{{i}_{n}}$ and ${x}_{n+1}\in {A}_{{i}_{n+1}}$. Then by (2.5) we have

$\begin{array}{ll}\hfill p\left({x}_{n},{x}_{n+1}\right)& =p\left(f\left({x}_{n-1}\right),f\left({x}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le \alpha p\left({x}_{n-1},{x}_{n}\right)+\beta p\left({x}_{n-1},f\left({x}_{n-1}\right)\right)+\gamma p\left({x}_{n},f\left({x}_{n}\right)\right)\phantom{\rule{2em}{0ex}}\\ =\alpha p\left({x}_{n-1},{x}_{n}\right)+\beta p\left({x}_{n-1},{x}_{n}\right)+\gamma p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2em}{0ex}}\\ =\left(\alpha +\beta \right)p\left({x}_{n-1},{x}_{n}\right)+\gamma p\left({x}_{n},{x}_{n+1}\right),\phantom{\rule{2em}{0ex}}\end{array}$

which implies

$p\left({x}_{n},{x}_{n+1}\right)\le \frac{\alpha +\beta }{1-\gamma }p\left({x}_{n-1},{x}_{n}\right).$

Therefore,

$p\left({x}_{n},{x}_{n+1}\right)\le {\lambda }^{n}p\left({x}_{0},{x}_{1}\right),$
(2.6)

where

$\lambda =\frac{\alpha +\beta }{1-\gamma }.$

It is clear that λ [0,1), thus letting n → ∞ in (2.6), we obtain that

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

On the other hand, since

$p\left({x}_{n},{x}_{n}\right)\le p\left({x}_{n},{x}_{n+1}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}p\left({x}_{n+1},{x}_{n+1}\right)\le p\left({x}_{n},{x}_{n+1}\right),$

from (2.6) we have

$p\left({x}_{n},{x}_{n}\right)\le {\lambda }^{n}p\left({x}_{0},{x}_{1}\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}p\left({x}_{n+1},{x}_{n+1}\right)\le {\lambda }^{n}p\left({x}_{0},{x}_{1}\right).$
(2.7)

Hence,

${p}^{s}\left({x}_{n},{x}_{n+1}\right)\le 4{\lambda }^{n}p\left({x}_{0},{x}_{1}\right).$

This implies that

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

Now, for k ≥ 1, we have

$\begin{array}{ll}\hfill {p}^{s}\left({x}_{n},{x}_{n+k}\right)& \le {p}^{s}\left({x}_{n},{x}_{n+1}\right)+\cdots +{p}^{s}\left({x}_{n+k-1},{x}_{n+k}\right)\phantom{\rule{2em}{0ex}}\\ \le 4{\lambda }^{n}p\left({x}_{0},{x}_{1}\right)+\cdots +4{\lambda }^{n+k-1}p\left({x}_{0},{x}_{1}\right)\phantom{\rule{2em}{0ex}}\\ \le 4\frac{{\lambda }^{n}}{1-\lambda }p\left({x}_{0},{x}_{1}\right).\phantom{\rule{2em}{0ex}}\end{array}$

Thus {x n } is a Cauchy sequence in the metric subspace (Y, ps). Since Y is closed, the subspace (Y, p) is complete and so from Lemma 2, we have that (Y, ps) is complete. So the sequence {x n } is convergent in the metric subspace (Y, ps). Let

$\underset{n\to \infty }{\text{lim}}{p}^{s}\left({x}_{n},y\right)=0.$

Again from Lemma 2, we get

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

As in the proof of Theorem 9, from (2.8) we have

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

This shows that {x n } is a Cauchy sequence in the complete partial metric subspace (Y, p), and it is convergent to a point y Y.

On the other hand, the sequence {x n } has an infinite number of terms in each A i , i = 1,...,m. Since (Y, p) is complete, in each A i , i = 1,..., m, we can construct a subsequence of {x n } which converges to y. Since each A i , i = 1,..., m is closed, it follows that

$y\in \bigcap _{i=1}^{m}{A}_{i};i.e.,$

$\bigcap _{i=1}^{m}{A}_{i}\ne \varnothing$. Now we can consider the restriction

$f{|}_{\bigcap _{i=1}^{m}{A}_{i}}:\phantom{\rule{1em}{0ex}}\bigcap _{i=1}^{m}{A}_{i}\to \bigcap _{i=1}^{m}{A}_{i},$

which satisfies the conditions of Corollary 4 in [5], as $\bigcap _{i=1}^{m}{A}_{i}$ is also closed and complete. Thus, $f{|}_{\bigcap _{i=1}^{m}{A}_{i}}$ has a unique fixed point, say ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$. We claim that for any initial value x Y, we get the same limit point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$. In fact, for $x\in Y=\bigcup _{i=1}^{m}{A}_{i}$, by repeating the above process, the corresponding iterative sequence yields that $f{|}_{\bigcap _{i=1}^{m}{A}_{i}}$ has a unique fixed point, say $z\in \bigcap _{i=1}^{m}{A}_{i}$. Since ${x}^{*},z\in \bigcap _{i=1}^{m}{A}_{i}$, we have x*, z A i for all i, hence p(x*,z), and p (f (x*), f (z)) are well defined. Due to (2.5),

$\begin{array}{ll}\hfill p\left({x}^{*},z\right)& =p\left(f\left({x}^{*}\right),f\left(z\right)\right)\phantom{\rule{2em}{0ex}}\\ \le \alpha p\left({x}^{*},z\right)+\beta p\left({x}^{*},f\left({x}^{*}\right)\right)+\gamma p\left(z,f\left(z\right)\right)\phantom{\rule{2em}{0ex}}\\ \le \alpha p\left({x}^{*},z\right)+\beta p\left({x}^{*},z\right)+\gamma p\left({x}^{*},z\right),\phantom{\rule{2em}{0ex}}\end{array}$

which is a contradiction. Thus, x* is the unique fixed point of f for any initial value x Y.

To prove that the Picard iteration converges to x* for any initial point x Y. Let $x\in Y=\bigcup _{i=1}^{m}{A}_{i}$. There exists i0 {1,..., m} such that $x\in {A}_{{i}_{0}}$. As ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$ it follows that ${x}^{*}\in {A}_{{i}_{0}+1}$ as well. Then we obtain:

$\begin{array}{ll}\hfill p\left(f\left(x\right),f\left({x}^{*}\right)\right)& \le \alpha p\left(x,{x}^{*}\right)+\beta p\left(x,f\left(x\right)\right)+\gamma p\left({x}^{*},f\left({x}^{*}\right)\right)\phantom{\rule{2em}{0ex}}\\ \le \alpha p\left(x,{x}^{*}\right)+\beta \left[p\left(x,{x}^{*}\right)+p\left({x}^{*},f\left(x\right)\right)-p\left({x}^{*},{x}^{*}\right)\right]\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}+\gamma \left[p\left({x}^{*},f\left(x\right)\right)+p\left(f\left(x\right),f\left({x}^{*}\right)\right)-p\left(f\left(x\right),f\left(x\right)\right)\right]\phantom{\rule{2em}{0ex}}\\ \le \alpha p\left(x,{x}^{*}\right)+\beta \left[p\left(x,{x}^{*}\right)+p\left({x}^{*},f\left(x\right)\right)\right]\phantom{\rule{2em}{0ex}}\\ \phantom{\rule{1em}{0ex}}+\gamma \left[p\left({x}^{*},f\left(x\right)\right)+p\left(f\left(x\right),f\left({x}^{*}\right)\right)\right],\phantom{\rule{2em}{0ex}}\end{array}$

which implies

$p\left(f\left(x\right),f\left({x}^{*}\right)\right)\le \frac{\alpha +\beta }{1-\beta -2\gamma }p\left(x,{x}^{*}\right).$

Let

${\lambda }_{1}=\frac{\alpha +\beta }{1-\beta -2\gamma },$

and suppose that α + 2β + 2γ < 1. Then, by induction, it follows that:

$p\left({f}^{n}\left(x\right),{x}^{*}\right)\le {\lambda }_{1}^{n}p\left(x,{x}^{*}\right).$

Since

$p\left({x}^{*},{x}^{*}\right)\le p\left({f}^{n}\left(x\right),{x}^{*}\right),$

we have

$p\left({x}^{*},{x}^{*}\right)\le {\lambda }_{1}^{n}p\left(x,{x}^{*}\right).$

Now letting n → ∞, and supposing xx*, we have

$p\left({x}^{*},{x}^{*}\right)=\underset{n\to \infty }{\text{lim}}p\left({f}^{n}\left(x\right),{x}^{*}\right)=0$

i.e., the Picard iteration converges to the unique fixed point of f for any initial point x Y provided α + 2β + 2γ < 1.

Corollary 13 (Banach type). Let (X, p) be a complete partial metric space, m a positive integer, A1,..., A m closed nonempty subsets of $X,Y=\bigcup _{i=1}^{m}{A}_{i}$, and f :YY an operator. Assume that

(i) $\bigcup _{i=1}^{m}{A}_{i}$ is a cyclic representation of Y w.r.t f ;

(ii) for any x A i , y Ai+1, where Am+1= A1, we have

$p\left(f\left(x\right),f\left(y\right)\right)\le \alpha p\left(x,y\right),\phantom{\rule{1em}{0ex}}0\le \alpha <1.$

Then f has a unique fixed point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$.

Corollary 14 (Kannan type). Let (X, p) be a complete partial metric space, m a positive integer, A1,..., A m closed nonempty subsets of $X,Y=\bigcup _{i=1}^{m}{A}_{i}$, and f : YY an operator. Assume that

(i) $\bigcup _{i=1}^{m}{A}_{i}$ is a cyclic representation of Y w.r.t f ;

(ii) for any x A i , y Ai+1, where Am+1= A1, we have

$p\left(f\left(x\right),f\left(y\right)\right)\le \beta p\left(x,f\left(x\right)\right)+\gamma p\left(y,f\left(y\right)\right),$

where β, γ ≥ 0 with $\beta +\gamma <\frac{1}{2}$.

Then f has a unique fixed point ${x}^{*}\in \bigcap _{i=1}^{m}{A}_{i}$.

Theorem 15 Let f : YY as in Theorem 12. Then

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{f}^{n+1}\left(x\right)\right)<\infty ,$

for any x Y, i.e., f is a good Picard operator.

Proof. Let x = x 0 Y. Then, as in the proof of Theorem 12,

$p\left({f}^{n}\left({x}_{0}\right),{f}^{n+1}\left({x}_{0}\right)\right)=p\left({x}_{n},{x}_{n+1}\right)\le {\lambda }^{n}p\left({x}_{0},{x}_{1}\right)$

for all n . So, we have

$\sum _{n=0}^{\infty }p\left({f}^{n}\left({x}_{0}\right),{f}^{n+1}\left({x}_{0}\right)\right)\le \sum _{n=0}^{\infty }{\lambda }^{n}p\left({x}_{0},{x}_{1}\right)<\infty ,$

since λ [0,1). Thus, f is a good Picard operator.

Theorem 16 Let f : YY as in Theorem 12. If α + 2β + 2γ < 1, then

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{x}^{*}\right)<\infty ,$

for any x Y, i.e., f is a special Picard operator.

Proof. As in the proof of Theorem 12, we have

$p\left({f}^{n}\left(x\right),{x}^{*}\right)\le {\lambda }_{1}^{n}p\left(x,{x}^{*}\right)$

holds for any x Y, where ${\lambda }_{1}=\frac{\alpha +\beta }{1-\beta -2\gamma }$. Hence, if α + 2β + 2γ < 1, we have

$\sum _{n=0}^{\infty }p\left({f}^{n}\left(x\right),{x}^{*}\right)\le \sum _{n=0}^{\infty }{\lambda }_{1}^{n}p\left(x,{x}^{*}\right)<\infty .$

This shows that f is a special Picard operator.

## References

1. Kannan R: Some results on fixed points. Bull Calcutta Math Soc 1968, 60: 71–76.

2. Reich S: Kannan's fixed point theorem. Boll Unione Mat Ital 1971, 4(4):1–11.

3. Matkowski J: Fixed point theorems for mappings with a contractive iterate at a point. Proc Amer Math Soc 1977, 62(2):344–348. 10.1090/S0002-9939-1977-0436113-5

4. Matthews SG: Partial metric topology. Papers on General Topology and Applications (Flushing, NY, 1992). Ann New York Acad Sci 1994, 728: 183–197. 10.1111/j.1749-6632.1994.tb44144.x

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

6. Altun I, Sadarangani K: Corrigendum to generalized contractions on partial metric spaces. Topol Appl 2011, 158: 1738–1740. [Topol. Appl. 157, 2778–2785 (2010)] 10.1016/j.topol.2011.05.023

7. Di Bari C, Vetro P: Fixed points results for weak φ contractions on partial metric spaces. Int J Eng Contemp Math Sci 2011. (to appear)

8. Valero O: On Banach fixed point theorems for partial metric spaces. Appl Gen Topol 2005, 6(2):229–240.

9. Ciric Lj, 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

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

11. Schellekens M: The smyth completion: a common foundation for denonational semantics and complexity analysis. Proc Mathematical foundations of programming semantics (New Orleans, LA 1995), Electronic Notes in Theoretical Computer Science 1995, 1: 211–232.

12. Oltra S, Valero O: Banach's fixed point theorem for partial metric spaces. Rend Istit Mat Univ Trieste 2004, 36: 17–26.

13. Păcurar M, Rus IA: Fixed point theory for cyclic φ -contractions. Nonlinear Anal 2010, 72(4–3):1181–1187.

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

## Acknowledgements

The second and third authors would like to thank the Deanship of Scientific Research (DSR) at the King Abdulaziz University, Jeddah for supporting this work through research project No. 1432/363/31.

## Author information

Authors

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

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

## Rights and permissions

Reprints and Permissions

Agarwal, R.P., Alghamdi, M.A. & Shahzad, N. Fixed point theory for cyclic generalized contractions in partial metric spaces. Fixed Point Theory Appl 2012, 40 (2012). https://doi.org/10.1186/1687-1812-2012-40

• Accepted:

• Published:

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

### Keywords

• Initial Point
• Fixed Point Theorem
• Contractive Condition
• Nonempty Subset
• Cauchy Sequence