Common fixed point results for mappings under nonlinear contraction of cyclic form in ordered metric spaces
 Wasfi Shatanawi^{1} and
 Mihai Postolache^{2}Email author
https://doi.org/10.1186/16871812201360
© Shatanawi and Postolache; licensee Springer 2013
Received: 21 November 2012
Accepted: 26 February 2013
Published: 18 March 2013
Abstract
In this paper, we introduce the notion of a cyclic $(\psi ,A,B)$contraction for the pair $(f,T)$ of selfmappings on the set X. We utilize our definition to introduce some common fixed point theorems for the two mappings f and T under a set of conditions. Also, we introduce an example to support the validity of our results. As application of our results, we derive some common fixed point theorems of integral type.
MSC:54H25, 47H10.
Keywords
1 Introduction
In recent years many authors established interesting results in fixed point theory in (ordered) metric spaces. One of the popular topics in the fixed point theory is the cyclic contraction. Kirk et al. [1] established the first result in this interesting area. Meantime, other authors obtained important results in this area (see [1–12]).
We begin with the definition of a cyclic map.
Definition 1.1 Let A and B be nonempty subsets of a metric space $(X,d)$ and $T:A\cup B\to A\cup B$. Then T is called a cyclic map if $T(A)\subseteq B$ and $T(B)\subseteq A$.
In 2003, Kirk et al. [1] gave the following interesting theorem in fixed point theory for a cyclic map.
Theorem 1.1 ([1])
If $k\in [0,1)$, then T has a unique fixed point in $A\cap B$.
Recently, several authors proved many results in fixed point theory for cyclic mappings, satisfying various (nonlinear) contractive conditions (see [1–12]). Some of contractive conditions are based on functions called control functions which alter the distance between two points in a metric space. Such functions were introduced by Khan et al. [13].
Definition 1.2 (altering distance function, [13])
 (1)
ϕ is continuous and nondecreasing;
 (2)
$\varphi (t)=0$ if and only if $t=0$.
For some fixed point theorems based on an altering distance function, we refer the reader to [14–20].
Let X be a nonempty set. Then $(X,d,\u2aaf)$ is called an ordered metric space if and only if $(X,d)$ is a metric space and $(X,\u2aaf)$ is a partially ordered set. Two elements $x,y\in X$ are called comparable if $x\u2aafy$ or $y\u2aafx$.
Altun et al. [21, 22] introduced the notion of weakly increasing mappings and proved some existing theorems. For some works in the theory of weakly increasing mappings, we refer the reader to [23, 24].
Definition 1.3 ([21])
Let $(X,\u2aaf)$ be a partially ordered set. Two mappings $F,G:X\to X$ are said to be weakly increasing if $Fx\u2aafGFx$ and $Gx\u2aafFGx$ for all $x\in X$.
The purpose of this paper is to obtain common fixed point results for mappings satisfying nonlinear contractive conditions of a cyclic form based on the notion of an altering distance function.
2 Main result
We start with the following definition.
 (1)
ψ is an altering distance function;
 (2)
$A\cup B$ has a cyclic representation w.r.t. the pair $(f,T)$; that is, $fA\subseteq B$, $TB\subseteq A$ and $X=A\cup B$;
 (3)
Definition 2.2 Let $(X,\u2aaf)$ be a partially ordered set and A, B be closed subsets of X with $X=A\cup B$. Let $f,T:X\to X$ be two mappings. The pair $(f,T)$ is said to be $(A,B)$weakly increasing if $fx\u2aafTfx$ for all $x\in A$ and $Tx\u2aaffTx$ for all $x\in B$.
From now on, by ψ we mean altering distance functions unless otherwise stated.
In the rest of this paper, ℕ stands for the set of nonnegative integer numbers.
 (1)
The pair $(f,T)$ is a cyclic $(\psi ,A,B)$contraction;
 (2)
f or T is continuous.
Then f and T have a common fixed point.
Proof Choose ${x}_{0}\in A$. Let ${x}_{1}=f{x}_{0}$. Since $fA\subseteq B$, we have ${x}_{1}\in B$. Also, let ${x}_{2}=T{x}_{1}$. Since $TB\subseteq A$, we have ${x}_{2}\in A$. Continuing this process, we can construct a sequence $\{{x}_{n}\}$ in X such ${x}_{2n+1}=f{x}_{2n}$, ${x}_{2n+2}=T{x}_{2n+1}$, ${x}_{2n}\in A$ and ${x}_{2n+1}\in B$.
We divide our proof into the following steps.
Step 1: We will show that $\{{x}_{n}\}$ is a Cauchy sequence in $(X,d)$.
Since $\delta <1$, we have $\psi (d({x}_{2n+1},{x}_{2n+2}))=0$ and hence ${x}_{2n+2}={x}_{2n+1}$. Similarly, we may show that ${x}_{2n+3}={x}_{2n+2}$. Hence $\{{x}_{n}\}$ is a constant sequence in X, so it is a Cauchy sequence in $(X,d)$.
Since $\delta <1$, we have $\psi (\u03f5)=0$ and hence $\u03f5=0$, a contradiction. Thus $\{{x}_{n}\}$ is a Cauchy sequence in $(X,d)$.
Step 2: Existence of a common fixed point.
Since $\delta <1$, we get that $d(u,Tu)=0$ and hence $u=Tu$. □
 (P)
If $({x}_{n})$ is a nondecreasing sequence in X with ${x}_{n}\to x$, then ${x}_{n}\u2aafx$.
Now, we state and prove the following result.
 (1)
The pair $(f,T)$ is a cyclic $(\psi ,A,B)$contraction;
 (2)
X satisfies property (P).
Then f and T have a common fixed point.
Letting $n\to +\mathrm{\infty}$ in the above inequality, we get $\psi (d(u,Tu))\le \delta \psi (d(u,Tu))$. Since $\delta <1$, we get $d(u,Tu)=0$, hence $u=Tu$. Similarly, we may show that $u=fu$. Thus u is a common fixed point of f and T. □
Taking $\psi ={I}_{[0,+\mathrm{\infty})}$ (the identity function) in Theorem 2.1, we have the following result.
If f or T is continuous, then f and T have a common fixed point.
The continuity of f or T in Corollary 2.1 can be dropped.
If X satisfies property (P), then f and T have a common fixed point.
By taking $f=T$ in Theorem 2.1, we have the following result.
 (1)
f is a cyclic map;
 (2)
f is continuous.
Then f has a fixed point.
The continuity of f in Corollary 2.3 can be dropped.
 (1)
f is a cyclic map;
 (2)
X satisfies property (P).
Then f has a fixed point.
Taking $A=B=X$ in Theorem 2.1, we have the following result.
If f or T is continuous, then f and T have a common fixed point.
The continuity of f or T in Corollary 2.5 can be dropped.
If X satisfies property (P), then f and T have a common fixed point.
To support the validity of our results, we introduce the following nontrivial example.
 (1)
$(X,d,\u2aaf)$ is a complete ordered metric space;
 (2)
$A\cup B$ has a cyclic representation with respect to the pair $(f,T)$;
 (3)
The pair $(f,T)$ is weakly $(A,B)$increasing;
 (4)
X satisfies property (P);
 (5)For every two comparable elements $x,y\in X$ with $x\in A$ and $y\in B$, we have$\psi (d(fx,Ty))\le {e}^{1}\psi (max\{d(x,y),d(x,fx),d(y,Ty),\frac{1}{2}(d(x,Ty)+d(fx,y))\}).$
Proof The proof of part (1) is clear. Since $fA=\{0,1,3,5\dots \}\subseteq B$ and $TB=\{0,2,4,\dots \}\subseteq A$, we conclude that $A\cup B$ has a cyclic representation with respect to the pair $(f,T)$. To prove part (3), given $x\in A$. If $x\in \{0,1,2,3,4\}$, then $T(fx)=0$. Thus $Tfx\le fx$ and hence $fx\u2aafT(fx)$. If $x\ge 5$, then $fx=x1$ and $T(fx)=T(x1)=x4$. Thus $T(fx)\le fx$ and hence $fx\u2aafT(fx)$. Therefore $fx\u2aafT(fx)$ for all $x\in A$. Similarly, we may show that $Tx\u2aaff(Tx)$ for all $x\in B$. So, the pair $(f,T)$ is weakly $(A,B)$increasing. To prove part (4), let $\{{x}_{n}\}$ be a nondecreasing sequence such that ${x}_{n}\to x\in X$. Then $d({x}_{n},x)\to d(x,x)=0$. So, ${x}_{n}=x$ for all n except for finitely many. Since $({x}_{n})$ is a nondecreasing with respect to ⪯, we have ${x}_{1}\ge {x}_{2}\ge {x}_{3}\cdots $ . Since ${x}_{n}=x$ for all but finitely many, then there exists $k\in \mathbb{N}$ such that ${x}_{1}\ge \cdots \ge {x}_{k1}\ge {x}_{n}=x$ for all $n\ge k$. So, ${x}_{n}\ge x$ for all $n\in \mathbb{N}$ and hence ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}$. Thus X satisfies property (P). To prove part (5), given two comparable elements $x,y\in X$ with $x\in A$ and $y\in B$. We divide the proof into the following cases:

Case one: $x=0$ and $y\in \{0,1,3\}$. Here, we have $fx=Ty=0$ and hence $\psi (d(fx,Ty))=0$. Thus$\psi (d(fx,Ty))\le {e}^{1}\psi (max\{d(x,y),d(x,fx),d(y,Ty),\frac{1}{2}(d(x,Ty)+d(fx,y))\}).$

Case two: $x\ge 2$ and $y\ge 5$. Here $fx=x1$ and $Ty=y3$. Since $x\in A$ and $y\in B$, then $x=2t$ and $y=2n+1$ for some $t,n\in \mathbb{N}$.
If $fx=Ty$, then $x1=y3$ and hence $2t1=2n2$. Thus $2t=2n1$, which is impossible.

Case three: $x=0$ and $y\ge 5$. Here $fx=0$ and $Ty=y3$. Thus$\begin{array}{rcl}\psi (d(fx,Ty))& =& \psi (y3)\\ =& (y3){e}^{y3}\\ \le & {e}^{1}y{e}^{y}\\ =& {e}^{1}\psi (y)\\ =& {e}^{1}\psi (d(y,Ty))\\ \le & {e}^{1}\psi (max\{d(x,y),d(x,fx),d(y,Ty),\frac{1}{2}(d(x,Ty)+d(fx,y))\}).\end{array}$

Case four: $x\ge 2$ and $y\in \{0,1,3\}$. Here $fx=x1$ and $Ty=0$.$\begin{array}{rcl}\psi (d(fx,Ty))& =& \psi (d(x1,0))=\psi (x1)\\ =& (x1){e}^{x1}\\ \le & {e}^{1}x{e}^{x}\\ =& {e}^{1}\psi (x)\\ =& {e}^{1}\psi (d(x,fx))\\ \le & {e}^{1}\psi (max\{d(x,y),d(x,fx),d(y,Ty),\frac{1}{2}(d(x,Ty)+d(fx,y))\}).\end{array}$
Note that f and T satisfy all the hypotheses of Theorem 2.1. Hence f and T have a fixed point. Here 0 is the fixed point of f and T. □
3 Applications
 (h1)
μ is a Lebesgueintegrable mapping on each compact of $[0,+\mathrm{\infty})$;
 (h2)For every $\u03f5>0$, we have${\int}_{0}^{\u03f5}\mu (t)\phantom{\rule{0.2em}{0ex}}dt>0.$
If f or T is continuous, then f and T have a common fixed point.
Proof Follows from Theorem 2.1 by defining $\psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ via $\psi (t)={\int}_{0}^{t}\mu (s)\phantom{\rule{0.2em}{0ex}}ds$ and noting that ψ is an altering distance function. □
The continuity of f or T in Theorem 3.1 can be dropped.
If X satisfies property (P), then f and T have a common fixed point.
By taking $A=B=X$ in Theorems 3.1 and 3.2, we have the following results.
If f or T is continuous, then f and T have a common fixed point.
If X satisfies property (P), then f and T have a common fixed point.
Declarations
Acknowledgements
The authors thank the editor and the referees for their valuable comments and suggestions regarding the initial version of our article.
Authors’ Affiliations
References
 Kirk WA, Srinavasan PS, Veeramani P: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory Appl. 2003, 4: 79–89.Google Scholar
 AlThafai MA, Shahzad N: Convergence and existence for best proximity points. Nonlinear Anal. 2009, 70: 3665–3671. 10.1016/j.na.2008.07.022MathSciNetView ArticleGoogle Scholar
 Eldered AA, Veeramani P: Proximal pointwise contraction. Topol. Appl. 2009, 156: 2942–2948. 10.1016/j.topol.2009.01.017View ArticleGoogle Scholar
 Eldered AA, Veeramani P: Convergence and existence for best proximity points. J. Math. Anal. Appl. 2006, 323: 1001–1006. 10.1016/j.jmaa.2005.10.081MathSciNetView ArticleGoogle Scholar
 Agarwal RP, Alghamdi MA, Shahzad N: Fixed point theory for cyclic generalized contractions in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 40Google Scholar
 Karapinar E, Erhan IM: Best proximity point on different type contractions. Appl. Math. Inf. Sci. 2011, 5: 342–353.MathSciNetGoogle Scholar
 Karpagam S, Agrawal S: Best proximity points for cyclic MeirKeeler contraction maps. Nonlinear Anal. 2011, 74: 1040–1046. 10.1016/j.na.2010.07.026MathSciNetView ArticleGoogle Scholar
 Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30: 1–9. 10.1017/S0004972700001659MathSciNetView ArticleGoogle Scholar
 Petruşel G: Cyclic representations and periodic points. Stud. Univ. BabeşBolyai, Math. 2005, 50: 107–112.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
 Rezapour S, Derafshpour M, Shahzad N: Best proximity point of cyclic ϕ contractions in ordered metric spaces. Topol. Methods Nonlinear Anal. 2011, 37: 193–202.MathSciNetGoogle Scholar
 Shatanawi W, Manro S: Fixed point results for cyclic $(\psi ,\varphi ,A,B)$contraction in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 165Google Scholar
 Khan MS, Swaleh M, Sessa S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 1984, 30: 1–9. 10.1017/S0004972700001659MathSciNetView ArticleGoogle Scholar
 Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for $(\psi ,\varphi )$ weakly contractive mappings in ordered G metric spaces. Comput. Math. Appl. 2012, 63: 298–309. 10.1016/j.camwa.2011.11.022MathSciNetView ArticleGoogle Scholar
 Aydi H, Karapinar E, Shatanawi W: Coupled fixed point results for $(\psi ,\phi )$weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 2011, 62: 4449–4460. 10.1016/j.camwa.2011.10.021MathSciNetView ArticleGoogle Scholar
 Cho YJ, Rhoades BE, Saadati R, Samet B, Shatanawi W: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type. Fixed Point Theory Appl. 2012., 2012: Article ID 8Google Scholar
 Lakzian H, Samet B: Fixed points for $(\psi ,\varphi )$weakly contractive mappings in generalized metric spaces. Appl. Math. Lett. 2012, 25: 902–906. 10.1016/j.aml.2011.10.047MathSciNetView ArticleGoogle Scholar
 Shatanawi W, AlRawashdeh A: Common fixed points of almost generalized $(\psi ,\varphi )$contractive mappings in ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 80Google Scholar
 Shatanawi W: Some fixed point results for a generalized ψ weak contraction mappings in orbitally metric spaces. Chaos Solitons Fractals 2012, 45: 520–526. 10.1016/j.chaos.2012.01.015MathSciNetView ArticleGoogle Scholar
 Shatanawi W, Samet B: On $(\psi ,\varphi )$weakly contractive condition in partially ordered metric spaces. Comput. Math. Appl. 2011, 62: 3204–3214. 10.1016/j.camwa.2011.08.033MathSciNetView ArticleGoogle Scholar
 Altun I, Damjanović B, Djorić D: Fixed point and common fixed point theorems on ordered cone metric spaces. Appl. Math. Lett. 2010, 23: 310–316. 10.1016/j.aml.2009.09.016MathSciNetView ArticleGoogle Scholar
 Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application. Fixed Point Theory Appl. 2010., 2010: Article ID 6214469Google Scholar
 Shatanawi W: Some coincidence point results in cone metric spaces. Math. Comput. Model. 2012, 55: 2023–2028. 10.1016/j.mcm.2011.11.061MathSciNetView ArticleGoogle Scholar
 Shatanawi W: Some fixed point theorems in ordered G metric spaces and applications. Abstr. Appl. Anal. 2011., 2011: Article ID 126205Google 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.