• Research
• Open Access

# Fixed point theorem for weakly Chatterjea-type cyclic contractions

Fixed Point Theory and Applications20132013:28

https://doi.org/10.1186/1687-1812-2013-28

• Accepted: 27 January 2013
• Published:

## Abstract

In this article, we introduce the notion of a Chatterjea-type cyclic weakly contraction and derive the existence of a fixed point for such mappings in the setup of complete metric spaces. Our result extends and improves some fixed point theorems in the literature. Example is given to support the usability of the result.

MSC:41A50, 47H10, 54H25.

## Keywords

• fixed point
• cyclic contraction mapping

## 1 Introduction and preliminaries

It is well known that the fixed point theorem of Banach, for contraction mappings, is one of the pivotal results in analysis. It has been used in many different fields of mathematics but suffers from one major drawback. More accurately, in order to use the contractive condition, a self-mapping T must be Lipschitz continuous, with the Lipschitz constant $L<1$. In particular, T must be continuous at all points of its domain.

A natural question arises:

Could we find contractive conditions which will imply the existence of a fixed point in a complete metric space but will not imply continuity?

Kannan [1, 2] proved the following result giving an affirmative answer to the above question.

Theorem 1.1 If $\left(X,d\right)$ is a complete metric space and the mapping $T:X\to X$ satisfies
$d\left(Tx,Ty\right)\le k\left[d\left(x,Tx\right)+d\left(y,Ty\right)\right],$
(1.1)

where $0 and $x,y\in X$, then T has a unique fixed point.

The mappings satisfying (1.1) are called Kannan-type mappings.

A similar type of contractive condition has been studied by Chatterjea [3]. He proved the following result.

Theorem 1.2 If $\left(X,d\right)$ is a complete metric space and $T:X\to X$ satisfies
$d\left(Tx,Ty\right)\le k\left[d\left(x,Ty\right)+d\left(y,Tx\right)\right],$
(1.2)

where $0 and $x,y\in X$, then T has a unique fixed point.

In Theorems 1.1 and 1.2, there is no the requirement for the continuity of T.

Alber and Guerre-Delabriere [4] introduced the concept of weakly contractive mappings and proved the existence of fixed points for single-valued weakly contractive mappings in Hilbert spaces. Thereafter, in 2001, Rhoades [5] proved the fixed point theorem which is one of the generalizations of Banach’s contraction mapping principle because the weakly contractions contain contractions as a special case, and he also showed that some results of [4] are true for any Banach space. In fact, weakly contractive mappings are closely related to the mappings of Boyd and Wong [6] and of Reich types [7].

Fixed point problems involving different types of contractive type inequalities have been studied by many authors (see [124] and the references cited therein).

In [22], Kirk et al. introduced the following notion of a cyclic representation and characterized the Banach contraction principle in the context of a cyclic mapping.

Definition 1.1 [22]

Let X be a non-empty set and $T:X\to X$ be an operator. By definition, $X={\bigcup }_{i=1}^{m}{X}_{i}$ is a cyclic representation of X with respect to T if
1. (a)

${X}_{i}$; $i=1,\dots ,m$ are non-empty sets;

2. (b)

$T\left({X}_{1}\right)\subset {X}_{2},\dots ,T\left({X}_{m-1}\right)\subset {X}_{m},T\left({X}_{m}\right)\subset {X}_{1}$.

It is the aim of this paper to introduce the notion of a cyclic weakly Chatterjea-type contraction and then derive a fixed point theorem for such cyclic contractions in the framework of complete metric spaces.

## 2 Main results

To state and prove our main results, we will introduce our notion of a Chatterjea-type cyclic weakly contraction in a metric space. In this respect, let Φ denote the set of all monotone increasing continuous functions $\mu :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$, with $\mu \left(t\right)=0$, if and only if $t=0$, and let Ψ denote the set of all lower semi-continuous functions ${\psi :\left[0,\mathrm{\infty }\right)}^{2}\to \left[0,\mathrm{\infty }\right)$, with $\psi \left({t}_{1},{t}_{2}\right)>0$, for ${t}_{1},{t}_{2}\in \left(0,\mathrm{\infty }\right)$ and $\psi \left(0,0\right)=0$.

Definition 2.1 Let $\left(X,d\right)$ be a metric space, m be a natural number, ${A}_{1},{A}_{2},\dots ,{A}_{m}$ be non-empty subsets of X and $Y={\bigcup }_{i=1}^{m}{A}_{i}$. An operator $T:Y\to Y$ is called a Chatterjea-type cyclic weakly contraction if
1. (1)

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

2. (2)

$\mu \left(d\left(Tx,Ty\right)\right)\le \mu \left(\frac{1}{2}\left[d\left(x,Ty\right)+d\left(y,Tx\right)\right]\right)-\psi \left(d\left(x,Ty\right),d\left(y,Tx\right)\right)$

for any $x\in {A}_{i}$, $y\in {A}_{i+1}$, $i=1,2,\dots ,m$, where ${A}_{m+1}={A}_{1}$, $\mu \in \mathrm{\Phi }$ and $\psi \in \mathrm{\Psi }$.

Theorem 2.1 Let $\left(X,d\right)$ be a complete metric space, $m\in \mathbb{N}$, ${A}_{1},{A}_{2},\dots ,{A}_{m}$ be non-empty closed subsets of X and $Y={\bigcup }_{i=1}^{m}{A}_{i}$. Suppose that T is a Chatterjea-type cyclic weakly contraction. Then T has a fixed point $z\in {\bigcap }_{i=1}^{n}{A}_{i}$.

Proof Let ${x}_{0}\in X$. We can construct a sequence ${x}_{n+1}=T{x}_{n}$, $n=0,1,2,\dots$ .

If there exists ${n}_{0}\in \mathbb{N}$ such that ${x}_{{n}_{0}+1}={x}_{{n}_{0}}$, hence the result. Indeed, we can see that $T{x}_{{n}_{0}}={x}_{{n}_{0}+1}={x}_{{n}_{0}}$.

Now, we assume that ${x}_{n+1}\ne {x}_{n}$ for any $n=0,1,2,\dots$ . As $X={\bigcup }_{i=1}^{m}{A}_{i}$, for any $n>0$, there exists ${i}_{n}\in \left\{1,2,\dots ,m\right\}$ such that ${x}_{n-1}\in {A}_{{i}_{n}}$ and ${x}_{n}\in {A}_{{i}_{n+1}}$. Since T is a Chatterjea-type cyclic weakly contraction, we have
$\begin{array}{rcl}\mu \left(d\left({x}_{n+1},{x}_{n}\right)\right)& =& \mu \left(d\left(T{x}_{n},T{x}_{n-1}\right)\right)\\ \le & \mu \left(\frac{1}{2}\left[d\left({x}_{n},T{x}_{n-1}\right)+d\left({x}_{n-1},T{x}_{n}\right)\right]\right)\\ -\psi \left(d\left({x}_{n},T{x}_{n-1}\right),d\left({x}_{n-1},T{x}_{n}\right)\right)\\ =& \mu \left(\frac{1}{2}d\left({x}_{n-1},{x}_{n+1}\right)\right)-\psi \left(0,d\left({x}_{n-1},{x}_{n+1}\right)\right)\\ \le & \mu \left(\frac{1}{2}d\left({x}_{n-1},{x}_{n+1}\right)\right).\end{array}$
(2.1)
Since μ is a non-decreasing function, for all $n=1,2,\dots$ , we have
$d\left({x}_{n+1},{x}_{n}\right)\le \frac{1}{2}d\left({x}_{n-1},{x}_{n+1}\right)\le \frac{1}{2}\left[d\left({x}_{n-1},{x}_{n}\right)+d\left({x}_{n},{x}_{n+1}\right)\right].$
(2.2)

This implies that $d\left({x}_{n+1},{x}_{n}\right)\le d\left({x}_{n},{x}_{n-1}\right)$. Thus $\left\{d\left({x}_{n+1},{x}_{n}\right)\right\}$ is a monotone decreasing sequence of non-negative real numbers and hence is convergent. Therefore, there exists $r\ge 0$ such that $d\left({x}_{n+1},{x}_{n}\right)\to r$. Letting $n\to \mathrm{\infty }$ in (2.2), we obtain that $limd\left({x}_{n-1},{x}_{n+1}\right)=2r$.

Letting $n\to \mathrm{\infty }$ in (2.1) and using the continuity of μ and lower semi-continuity of ψ, we obtain that $\mu \left(r\right)\le \mu \left(r\right)-\psi \left(0,2r\right)$. This implies that $\psi \left(2r,0\right)=0$, hence $r=0$. Thus we have proved that
$d\left({x}_{n+1},{x}_{n}\right)\to 0.$

Now, we show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence. For this purpose, we prove the following result first.

Lemma 2.1 For every positive ϵ, there exists a natural number n such that if $r,q\ge n$ with $r-q\equiv 1\left(modm\right)$, then $d\left({x}_{r},{x}_{q}\right)<ϵ$.

Proof Assume the contrary. Thus there exists $ϵ>0$ such that for any $n\in \mathbb{N}$, we can find ${r}_{n}>{q}_{n}\ge n$ with ${r}_{n}-{q}_{n}\equiv 1\left(modm\right)$ satisfying $d\left({x}_{{r}_{n}},{x}_{{q}_{n}}\right)\ge ϵ$.

Now, we take $n>2m$. Then, corresponding to ${q}_{n}\ge n$, we can choose ${r}_{n}$ such that it is the smallest integer with ${r}_{n}>{q}_{n}$ satisfying ${r}_{n}-{q}_{n}\equiv 1\left(modm\right)$ and $d\left({x}_{{r}_{n}},{x}_{{q}_{n}}\right)\ge ϵ$. Therefore, $d\left({x}_{{r}_{n-m}},{x}_{{q}_{n}}\right)<ϵ$. By using the triangular inequality, we have
$\begin{array}{rcl}ϵ& \le & d\left({x}_{{q}_{n}},{x}_{{r}_{n}}\right)\\ \le & d\left({x}_{{q}_{n}},{x}_{{r}_{n-m}}\right)+\sum _{i=1}^{m}d\left({x}_{{r}_{n-i}},{x}_{{r}_{n-i+1}}\right)\\ <& ϵ+\sum _{i=1}^{m}d\left({x}_{{r}_{n-i}},{x}_{{r}_{n-i+1}}\right).\end{array}$
Letting $n\to \mathrm{\infty }$ and using $d\left({x}_{n+1},{x}_{n}\right)\to 0$, we obtain
$limd\left({x}_{{q}_{n}},{x}_{{r}_{n}}\right)=ϵ.$
(2.3)
Again, by the triangular inequality,
$\begin{array}{rcl}ϵ& \le & d\left({x}_{{q}_{n}},{x}_{{r}_{n}\right)}\\ \le & d\left({x}_{{q}_{n}},{x}_{{q}_{n+1}}\right)+d\left({x}_{{q}_{n+1}},{x}_{{r}_{n+1}}\right)+d\left({x}_{{r}_{n+1}},{x}_{{r}_{n}}\right)\\ \le & d\left({x}_{{q}_{n}},{x}_{{q}_{n+1}}\right)+d\left({x}_{{q}_{n+1}},{x}_{{q}_{n}}\right)+d\left({x}_{{q}_{n}},{x}_{{r}_{n}}\right)+d\left({x}_{{r}_{n}},{x}_{{r}_{n+1}}\right)+d\left({x}_{{r}_{n+1}},{x}_{{r}_{n}}\right).\end{array}$
Letting $n\to \mathrm{\infty }$ and using $d\left({x}_{n+1},{x}_{n}\right)\to 0$, we get
$limd\left({x}_{{q}_{n+1}},{x}_{{r}_{n+1}}\right)=ϵ.$
(2.4)
Consider
$\begin{array}{rcl}d\left({x}_{{q}_{n}},T{x}_{{r}_{n}}\right)& =& d\left({x}_{{q}_{n}},{x}_{{r}_{n+1}}\right)\\ \le & d\left({x}_{{q}_{n}},{x}_{{r}_{n}}\right)+d\left({x}_{{r}_{n}},{x}_{{r}_{n+1}}\right),\end{array}$
(2.5)
and
$\begin{array}{rcl}d\left({x}_{{r}_{n}},T{x}_{{q}_{n}}\right)& =& d\left({x}_{{r}_{n}},{x}_{{q}_{n+1}}\right)\\ \le & d\left({x}_{{r}_{n}},{x}_{{q}_{n}}\right)+d\left({x}_{{q}_{n}},{x}_{{q}_{n+1}}\right).\end{array}$
(2.6)
On taking $n\to \mathrm{\infty }$ in inequalities (2.5) and (2.6), we have
$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{{q}_{n}},T{x}_{{r}_{n}}\right)=ϵ,$
(2.7)
and
$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{{r}_{n}},T{x}_{{q}_{n}}\right)=ϵ.$
(2.8)
As ${x}_{{q}_{n}}$ and ${x}_{{r}_{n}}$ lie in different adjacently labeled sets ${A}_{i}$ and ${A}_{i+1}$ for certain $1\le i\le m$, using the fact that T is a Chatterjea-type cyclic weakly contraction, we obtain
$\begin{array}{rcl}\mu \left(ϵ\right)& \le & \mu \left(d\left({x}_{{q}_{n+1}},{x}_{{r}_{n+1}}\right)\right)\\ =& \mu \left(d\left(T{x}_{{q}_{n}},T{x}_{{r}_{n}}\right)\right)\\ \le & \mu \left(\frac{1}{2}\left[d\left({x}_{{q}_{n}},T{x}_{{r}_{n}}\right)+d\left({x}_{{r}_{n}},T{x}_{{q}_{n}}\right)\right]\right)\\ -\psi \left(d\left({x}_{{q}_{n}},T{x}_{{r}_{n}}\right),d\left({x}_{{r}_{n}},T{x}_{{q}_{n}}\right)\right)\\ =& \mu \left(\frac{1}{2}\left[d\left({x}_{{q}_{n}},{x}_{{r}_{n+1}}\right)+d\left({x}_{{r}_{n}},{x}_{{q}_{n+1}}\right)\right]\right)\\ -\psi \left(d\left({x}_{{q}_{n}},{x}_{{r}_{n+1}}\right),d\left({x}_{{r}_{n}},{x}_{{q}_{n+1}}\right)\right).\end{array}$
(2.9)
On taking $n\to \mathrm{\infty }$ in (2.9), using (2.7) and (2.8), the continuity of μ and lower semi-continuity of ψ, we get that
$\mu \left(\epsilon \right)\le \mu \left(\frac{1}{2}\left[\epsilon +\epsilon \right]\right)-\psi \left(\epsilon ,\epsilon \right).$

Consequently, $\psi \left(\epsilon ,\epsilon \right)\le 0$, which is contradiction with $\epsilon >0$. Hence the result is proved. □

Now, using Lemma 2.1, we will show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence in Y. Fix $ϵ>0$. By Lemma 2.1, we can find ${n}_{0}\in \mathbb{N}$ such that $r,q\ge {n}_{0}$ with $r-q\equiv 1\left(modm\right)$
$d\left({x}_{r},{x}_{q}\right)\le \frac{ϵ}{2}.$
(2.10)
Since $limd\left({x}_{n},{x}_{n+1}\right)=0$, we can also find ${n}_{1}\in \mathbb{N}$ such that
$d\left({x}_{n},{x}_{n+1}\right)\le \frac{ϵ}{2m}$
(2.11)

for any $n\ge {n}_{1}$.

Assume that $r,s\ge max\left\{{n}_{0},{n}_{1}\right\}$ and $s>r$. Then there exists $k\in \left\{1,2,\dots ,m\right\}$ such that $s-r\equiv k\left(modm\right)$. Hence $s-r+t=1\left(modm\right)$ for $t=m-k+1$. So, we have
$d\left({x}_{r},{x}_{s}\right)\le d\left({x}_{r},{x}_{s+j}\right)+d\left({x}_{s+j},{x}_{s+j-1}\right)+\cdots +d\left({x}_{s+1},{x}_{s}\right).$
(2.12)
Using (2.10), (2.11) and (2.12), we obtain
$d\left({x}_{r},{x}_{s}\right)\le \frac{ϵ}{2}+j×\frac{ϵ}{2m}\le \frac{ϵ}{2}+m×\frac{ϵ}{2m}=ϵ.$
(2.13)

Hence $\left\{{x}_{n}\right\}$ is a Cauchy sequence in Y. Since Y is closed in X, then Y is also complete and there exists $x\in Y$ such that $lim{x}_{n}=x$.

Now, we will prove that x is a fixed point of T.

As $Y={\bigcup }_{i=1}^{m}{A}_{i}$ is a cyclic representation of Y with respect to T, the sequence $\left\{{x}_{n}\right\}$ has infinite terms in each ${A}_{i}$ for $i=\left\{1,2,\dots ,m\right\}$. Suppose that $x\in {A}_{i}$, $Tx\in {A}_{i+1}$ and we take a subsequence $\left\{{x}_{{n}_{k}}\right\}$ of $\left\{{x}_{n}\right\}$ with ${x}_{{n}_{k}}\in {A}_{i}$. By using the contractive condition, we can obtain
$\begin{array}{rcl}\mu \left(d\left({x}_{{n}_{k}+1},Tx\right)\right)& =& \mu \left(d\left(T{x}_{{n}_{k}},Tx\right)\right)\\ \le & \mu \left(\frac{1}{2}\left[d\left({x}_{{n}_{k}},Tx\right)+d\left(x,T{x}_{{n}_{k}}\right)\right]\right)\\ -\psi \left(d\left({x}_{{n}_{k}},Tx\right),d\left(x,T{x}_{{n}_{k}}\right)\right)\\ =& \mu \left(\frac{1}{2}\left[d\left({x}_{{n}_{k}},Tx\right)+d\left(x,{x}_{{n}_{k}+1}\right)\right]\right)\\ -\psi \left(d\left({x}_{{n}_{k}},Tx\right),d\left(x,{x}_{{n}_{k}+1}\right)\right).\end{array}$
Letting $n\to \mathrm{\infty }$ and using the continuity of μ and lower semi-continuity of ψ, we have
$\mu \left(d\left(x,Tx\right)\right)\le \mu \left(\frac{1}{2}d\left(x,Tx\right)\right)-\psi \left(d\left(x,Tx\right),0\right),$

which is a contradiction unless $d\left(x,Tx\right)=0$. Hence x is a fixed point of T.

Now, we will prove the uniqueness of the fixed point.

Suppose that ${x}_{1}$ and ${x}_{2}$ (${x}_{1}\ne {x}_{2}$) are two fixed points of T. Using the contractive condition and the continuity of μ and lower semi continuity of ψ, we have
$\begin{array}{rcl}\mu \left(d\left({x}_{1},{x}_{2}\right)\right)& =& \mu \left(d\left(T{x}_{1},T{x}_{2}\right)\right)\\ \le & \mu \left(\frac{1}{2}\left[d\left({x}_{1},T{x}_{2}\right)+d\left({x}_{2},T{x}_{1}\right)\right]\right)-\psi \left(d\left({x}_{1},T{x}_{2}\right),d\left({x}_{2},T{x}_{1}\right)\right)\\ =& \mu \left(\frac{1}{2}\left[d\left({x}_{1},{x}_{2}\right)+d\left({x}_{2},{x}_{1}\right)\right]\right)-\psi \left(d\left({x}_{1},{x}_{2}\right),d\left({x}_{2},{x}_{1}\right)\right)\\ =& \mu \left(d\left({x}_{1},{x}_{2}\right)\right)-\psi \left(d\left({x}_{1},{x}_{2}\right),d\left({x}_{2},{x}_{1}\right)\right)\\ \le & \mu \left(d\left({x}_{1},{x}_{2}\right)\right),\end{array}$

which is a contradiction unless ${x}_{1}={x}_{2}$. Hence the main result is proved. □

If $\mu \left(a\right)=a$, then we have the following result.

Corrollary 2.1 Let $\left(X,d\right)$ be a complete metric space, $m\in \mathbb{N}$, ${A}_{1},{A}_{2},\dots ,{A}_{m}$ be non-empty closed subsets of X and $Y={\bigcup }_{i=1}^{m}{A}_{i}$. Suppose that $T:Y\to Y$ is an operator such that
1. (1)

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

2. (2)

$d\left(Tx,Ty\right)\le \frac{1}{2}\left[d\left(x,Ty\right)+d\left(y,Tx\right)\right]-\psi \left(d\left(x,Ty\right),d\left(y,Tx\right)\right)$

for any $x\in {A}_{i}$, $y\in {A}_{i+1}$, $i=1,2,\dots ,m$, where ${A}_{m+1}={A}_{1}$ and $\psi \in \mathrm{\Psi }$. Then T has a fixed point $z\in {\bigcap }_{i=1}^{n}{A}_{i}$.

If $\psi \left(a,b\right)=\left(\frac{1}{2}-k\right)\left(a+b\right)$, where $k\in \left[0,\frac{1}{2}\right)$, we have the following result.

Corrollary 2.2 Let $\left(X,d\right)$ be a complete metric space, $m\in \mathbb{N}$, ${A}_{1},{A}_{2},\dots ,{A}_{m}$ be non-empty closed subsets of X and $Y={\bigcup }_{i=1}^{m}{A}_{i}$. Suppose that $T:Y\to Y$ is an operator such that
1. (1)

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

2. (2)

there exists $k\in \left[0,\frac{1}{2}\right)$ such that $d\left(Tx,Ty\right)\le k\left[d\left(x,Ty\right)+d\left(y,Tx\right)\right]$

for any $x\in {A}_{i}$, $y\in {A}_{i+1}$, $i=1,2,\dots ,m$, where ${A}_{m+1}={A}_{1}$. Then T has a fixed point $z\in {\bigcap }_{i=1}^{n}{A}_{i}$.

## 3 Applications

Other consequences of our results, for mappings involving contractions of integral type, are given in the following. In this respect, denote by Λ the set of functions $\mu :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ satisfying the following hypotheses:
1. (h1)

μ is a Lebesgue-integrable mapping on each compact of $\left[0,\mathrm{\infty }\right)$;

2. (h2)

for any $ϵ>0$, we have ${\int }_{0}^{ϵ}\mu \left(t\right)>0$.

Corrollary 3.1 Let $\left(X,d\right)$ be a complete metric space, $m\in \mathbb{N}$, ${A}_{1},{A}_{2},\dots ,{A}_{m}$ be non-empty closed subsets of X and $Y={\bigcup }_{i=1}^{m}{A}_{i}$. Suppose that $T:Y\to Y$ is an operator such that
1. (1)

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

2. (2)
there exists $k\in \left[0,\frac{1}{2}\right)$ such that
${\int }_{0}^{d\left(Tx,Ty\right)}\alpha \left(s\right)\phantom{\rule{0.2em}{0ex}}ds\le k{\int }_{0}^{d\left(x,Ty\right)+d\left(y,Tx\right)}\alpha \left(s\right)\phantom{\rule{0.2em}{0ex}}ds$

for any $x\in {A}_{i}$, $y\in {A}_{i+1}$, $i=1,2,\dots ,m$, where ${A}_{m+1}={A}_{1}$ and $\alpha \in \mathrm{\Lambda }$. Then T has a fixed point $z\in {\bigcap }_{i=1}^{n}{A}_{i}$.

If we take ${A}_{i}=X$, $i=1,2,\dots ,m$, we obtain the following result.

Corrollary 3.2 Let $\left(X,d\right)$ be a complete metric space and $T:X\to X$ be a mapping such that
${\int }_{0}^{d\left(Tx,Ty\right)}\alpha \left(s\right)\phantom{\rule{0.2em}{0ex}}ds\le k{\int }_{0}^{d\left(x,Ty\right)+d\left(y,Tx\right)}\alpha \left(s\right)\phantom{\rule{0.2em}{0ex}}ds,$

for any $xy\in X$, $k\in \left[0,\frac{1}{2}\right)$ and $\alpha \in \mathrm{\Lambda }$. Then T has a fixed point $z\in {\bigcap }_{i=1}^{n}{A}_{i}$.

Example 3.1 Let X be a subset in endowed with the usual metric. Suppose ${A}_{1}=\left[0,1\right]$, ${A}_{2}=\left[0,\frac{1}{2}\right]$ and $Y={\bigcup }_{i=1}^{2}{A}_{i}$. Define $T:Y\to Y$ such that $Tx=\frac{x}{5}$ for all $x\in Y$. It is clear that ${\bigcup }_{i=1}^{2}{A}_{i}$ is a cyclic representation of Y with respect to T. Furthermore, if $\mu :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ is given as $\mu \left(t\right)=t$ and ${\psi :\left[0,\mathrm{\infty }\right)}^{2}\to \left[0,\mathrm{\infty }\right)$ is given by $\psi \left(x,y\right)=\frac{1}{7}\left(x+y\right)$, then $\psi \in \mathrm{\Psi }$.

Now, we prove that T satisfies the inequality of Chatterjea-type cyclic weakly contraction, i.e., $\mu \left(d\left(Tx,Ty\right)\right)\le \mu \left(\frac{1}{2}\left[d\left(x,Ty\right)+d\left(y,Tx\right)\right]\right)-\psi \left(d\left(x,Ty\right),d\left(y,Tx\right)\right)$. To see this fact, we examine three cases.

Case 1. Suppose that $x\ge y$. Then
$\mu \left(d\left(Tx,Ty\right)\right)=\mu \left(|\frac{x}{5}-\frac{y}{5}|\right)=\frac{x-y}{5}$
(3.1)
and
(3.2)
If $y<\frac{x}{5}$, then
$\begin{array}{rcl}\frac{x-y}{5}& \le & \frac{5}{14}\left[x-\frac{y}{5}+\frac{x}{5}-y\right]\\ =& \frac{3}{7}\left(x-y\right).\end{array}$

Hence, the given inequality is satisfied.

If $y\ge \frac{x}{5}$, then
$\begin{array}{rcl}\frac{x-y}{5}& \le & \frac{5}{14}\left[x-\frac{y}{5}+y-\frac{x}{5}\right]\\ =& \frac{2}{7}\left(x+y\right).\end{array}$

Hence the given inequality is satisfied.

Case 2. Suppose that $\frac{y}{5}\le x\le y$. Then from (3.1) and (3.2), we have
$\begin{array}{rcl}\frac{x-y}{5}& \le & \frac{5}{14}\left[x-\frac{y}{5}+y-\frac{x}{5}\right]\\ =& \frac{2}{7}\left(x+y\right).\end{array}$

Hence the given inequality is satisfied.

Case 3. Finally, suppose that $\frac{y}{5}\ge x$. Then from (3.1) and (3.2), we have
$\mu \left(d\left(Tx,Ty\right)\right)=\mu \left(|\frac{x}{5}-\frac{y}{5}|\right)=\frac{y-x}{5}$
and
$\begin{array}{rcl}\frac{x-y}{5}& \le & \frac{5}{14}\left[x-\frac{y}{5}+y-\frac{x}{5}\right]\\ =& \frac{2}{7}\left(x+y\right).\end{array}$

Hence the given inequality is satisfied.

Therefore, all the conditions of Theorem 2.1 are satisfied, and so T has a fixed point (which is $z=0\in {\bigcap }_{i=1}^{2}{A}_{i}$).

## Declarations

### Acknowledgements

The authors are thankful to learned referee(s) for suggestions.

## Authors’ Affiliations

(1)
Department of Mathematics, Khalsa College of Engineering & Technology (Punjab Technical University), Ranjit Avenue, Amritsar, 143001, India
(2)
Faculty of Applied Sciences, University Politehnica of Bucharest, 313 Splaiul Independenţei, Bucharest, 060042, Romania

## References

1. Kannan R: Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60: 71–76.
2. Kannan R: Some results on fixed points-II. Am. Math. Mon. 1969, 76: 405–408. 10.2307/2316437
3. Chatterjea SK: Fixed point theorem. C. R. Acad. Bulgare Sci. 1972, 25: 727–730.
4. Alber Y, Guerre-Delabriere S: Principles of Weakly Contractive Maps in Hilbert Spaces. Oper. Theory Adv. Appl. 8. In New Results in Operator Theory and Its Applications. Edited by: Gohberg I, Lyubich Y. Birkhäuser, Basel; 1997:7–22.
5. Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal. 2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1
6. Boyd DW, Wong TSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9
7. Reich S: Some fixed point problems. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 1975, 57: 194–198.Google Scholar
8. Aydi H, Karapınar E, Postolache M: Tripled coincidence point theorems for weak φ -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 44Google Scholar
9. Aydi H, Shatanawi W, Postolache M, Mustafa Z, Tahat N: Theorems for Boyd-Wong type contractions in ordered metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 359054Google Scholar
10. Chandok S: Some common fixed point theorems for generalized f -weakly contractive mappings. J. Appl. Math. Inform. 2011, 29: 257–265.
11. Chandok S: Some common fixed point theorems for generalized nonlinear contractive mappings. Comput. Math. Appl. 2011, 62: 3692–3699. 10.1016/j.camwa.2011.09.009
12. Chandok S: Common fixed points, invariant approximation and generalized weak contractions. Int. J. Math. Math. Sci. 2012., 2012: Article ID 102980Google Scholar
13. Chandok S, Kim JK: Fixed point theorem in ordered metric spaces for generalized contractions mappings satisfying rational type expressions. J. Nonlinear Funct. Anal. Appl. 2012, 17: 301–306.Google Scholar
14. Chandok S: Common fixed points for generalized nonlinear contractive mappings in metric spaces. Mat. Vesn. 2013, 65: 29–34.
15. Chandok S: A fixed point result for weakly Kannan type cyclic contractions. Int. J. Pure Appl. Math. 2013, 82(2):253–260.Google Scholar
16. Chandok, S: Some common fixed point results for generalized weak contractive mappings in partially ordered metric spaces. J. Nonlinear Anal. Optim. (2013, in press)Google Scholar
17. Chandok, S, Karapinar, E: Some common fixed point results for generalized rational type weak contraction mappings in partially ordered metric spaces. Thai J. Math. (2013, in press)Google Scholar
18. Chandok S, Khan MS, Rao KPR: Some coupled common fixed point theorems for a pair of mappings satisfying a contractive condition of rational type without monotonicity. Int. J. Math. Anal. 2013, 7(9):433–440.
19. Haghi RH, Postolache M, Rezapour S: On T-stability of the Picard iteration for generalized φ -contraction mappings. Abstr. Appl. Anal. 2012., 2012: Article ID 658971Google Scholar
20. Karapinar E, Sadarangani K: Fixed point theory for cyclic $\left(\varphi \text{-}\psi \right)$-contractions. Fixed Point Theory Appl. 2011., 2011: Article ID 69Google Scholar
21. Karapinar E, Erhan IM: Best proximity on different type contractions. Appl. Math. Inf. Sci. 2011, 5: 342–353.
22. Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory Appl. 2003, 4(1):79–89.
23. Olatinwo MO, Postolache M: Stability results for Jungck-type iterative processes in convex metric spaces. Appl. Math. Comput. 2012, 218(12):6727–6732. 10.1016/j.amc.2011.12.038
24. Zhou X, Wu W, Ma H: A contraction fixed point theorem in partially ordered metric spaces and application to fractional differential equations. Abstr. Appl. Anal. 2012., 2012: Article ID 856302Google Scholar