# Fixed point theorems for a generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S in ordered metric spaces

## Abstract

In this paper, the existence theorems of fixed points and common fixed points for two weakly increasing mappings satisfying a new condition in ordered metric spaces are proved. Our results extend, generalize and unify most of the fundamental metrical fixed point theorems in the literature.

MSC:47H09, 47H10.

## 1 Introduction and preliminaries

The classical Banach contraction principle is one of the most useful results in nonlinear analysis. In a metric space, the full statement of the Banach contraction principle is given by the following theorem.

Theorem 1.1 Let$\left(X,d\right)$be a complete metric space and$T:X\to X$. If T satisfies

$d\left(Tx,Ty\right)\le kd\left(x,y\right)$
(1.1)

for all$x,y\in X$, where$k\in \left[0,1\right)$, then T has a unique fixed point.

Due to its simplicity and usefulness, it has become a very popular tool in solving existence problems in many branches of mathematical analysis and its has many applications in solving nonlinear equations. Then, several authors studied and extended it in many direction; for example, see [119] and the references therein.

Despite these important features, Theorem 1.1 suffers from one drawback: the contractive condition (1.1) forces T to be continuous on X. It was then natural to ask if there exist weaker contractive conditions which do not imply the continuity of T. In 1968, this question was answered in confirmation by Kannan [20], who extended Theorem 1.1 to mappings that need not be continuous on X (but are continuous at their fixed point, see [21]).

On the other hand, Sessa [22] introduced the notion of weakly commuting mappings, which are a generalization of commuting mappings, while Jungck [23] generalized the notion of weak commutativity by introducing compatible mappings and then weakly compatible mappings [24].

In 2004, Berinde [25] defined the notion of a weak contraction mapping which is more general than a contraction mapping. However, in [26] Berinde renamed it as an almost contraction mapping, which is more appropriate. Berinde [25] proved some fixed point theorems for almost contractions in complete metric spaces. Afterward, many authors have studied this problem and obtained significant results (see [2736]). Moreover, in [25] Berinde proved that any strict contraction, the Kannan [26] and Zamfirescu [37] mappings as well as a large class of quasi-contractions are all almost contractions.

Let T and S be two self mappings in a metric space $\left(X,d\right)$. The mapping T is said to be a S-contraction if there exists $k\in \left[0,1\right)$ such that $d\left(Tx,Ty\right)\le kd\left(Sx,Sy\right)$ for all $x,y\in X$.

In 2006, Al-Thagafi and Shahzad [38] proved the following theorem which is a generalization of many known results.

Theorem 1.2 ([[38], Theorem 2.1])

Let E be a subset of a metric space$\left(X,d\right)$and S, T be two selfmaps of E such that$T\left(E\right)\subseteq S\left(E\right)$. Suppose that S and T are weakly compatible, T is an S-contraction and$S\left(E\right)$is complete. Then S and T have a unique common fixed point in E.

Recently Babu et al.[39] defined the class of mappings satisfying condition (B) as follows.

Definition 1.3 Let $\left(X,d\right)$ be a metric space. A mapping $T:X\to X$ is said to satisfy condition (B) if there exist a constant $\delta \in \left(0,1\right)$ and some $L\ge 0$ such that

$d\left(Tx,Ty\right)\le \delta d\left(x,y\right)+Lmin\left\{d\left(x,Tx\right),d\left(y,Ty\right),d\left(x,Ty\right),d\left(y,Tx\right)\right\}$
(1.2)

for all $x,y\in X$.

They proved a fixed point theorem for such mappings in complete metric spaces. They also discussed quasi-contraction, almost contraction and the class of mappings that satisfy condition (B) in detail.

In recent year, Ćirić et al.[40] defined the following class of mappings satisfying an almost generalized contractive condition.

Definition 1.4 Let $\left(X,d\right)$ be a metric space, and let $S,T:X\to X$. A mapping T is called an almost generalized contraction if there exist $\delta \in \left[0,1\right)$ and $L\ge 0$ such that

$d\left(Tx,Sy\right)\le \delta M\left(x,y\right)+Lmin\left\{d\left(x,Tx\right),d\left(y,Sy\right),d\left(x,Sy\right),d\left(y,Tx\right)\right\}$
(1.3)

for all $x,y\in X$, where $M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Sy\right),\frac{d\left(x,Sy\right)+d\left(y,Tx\right)}{2}\right\}$.

Definition 1.5 Let $\left(X,\le \right)$ be a partial ordered set. We say that $x,y\in X$ are comparable if $x\le y$ or $y\le x$ holds.

Definition 1.6 Let $\left(X,\le \right)$ be a partial ordered set. A mapping $T:X\to X$ is said to be nondecreasing if $Tx\le Ty$, whenever $x,y\in X$ and $x\le y$.

Definition 1.7 Let $\left(X,\le \right)$ be a partial ordered set. Two mappings $S,T:X\to X$ are said to be strictly increasing if $Sx and $Tx for all $x\in X$.

In 2004, Ran and Reurings [41] proved the following result.

Theorem 1.8 Let$\left(X,\le \right)$be a partially ordered set such that every pair$\left\{x,y\right\}\subset X$has a lower and an upper bound. Suppose that d is a complete metric on X. Let$T:X\to X$be a continuous and monotone mapping. Suppose that there exists$\delta \in \left[0,1\right)$such that$d\left(Tx,Ty\right)\le \delta d\left(x,y\right)$for all comparable$x,y\in X$. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$, then T has a unique fixed point$p\in X$.

Ćirić et al. in [40] established fixed point and common fixed point theorems which are more general than Theorem 1.8 and several comparable results in the existing literature regarding the existence of a fixed point in ordered spaces.

In this paper, we introduce a new class which extends and unifies mappings satisfying the almost generalized contractive condition and establish the result on the existence of fixed points and common fixed points in a complete ordered space. This result substantially generalizes, extends and unifies the main results of Ćirić et al. [[40], Theorems 2.1, 2.2, 2.3, 2.6], Theorem 1.8, and several comparable results in the existing literature regarding the existence of a fixed and a common fixed point in ordered spaces.

## 2 Fixed point theorems for a generalized almost $\left(\varphi ,\phi \right)$-contraction

First we introduce the notion of generalized almost $\left(\varphi ,\phi \right)$-contraction mappings.

Definition 2.1 Let $\left(X,\le \right)$ be a partially ordered set, and let a metric d exist on X. A mapping $T:X\to X$ is called a generalized almost $\left(\varphi ,\phi \right)$-contraction if there exist two mappings $\varphi :X\to \left[0,1\right)$ which $\varphi \left(Tx\right)\le \varphi \left(x\right)$ and $\phi :X\to \left[0,\mathrm{\infty }\right)$ such that

$d\left(Tx,Ty\right)\le \varphi \left(x\right)M\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Ty\right),d\left(x,Ty\right),d\left(y,Tx\right)\right\}$
(2.1)

for all comparable $x,y\in X$, where $M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Ty\right),\frac{d\left(x,Ty\right)+d\left(y,Tx\right)}{2}\right\}$.

Theorem 2.2 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$T:X\to X$be a strictly increasing continuous mapping with respect toand a generalized almost$\left(\varphi ,\phi \right)$-contraction mapping. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$, then T has a unique fixed point in X.

Proof If $T{x}_{0}={x}_{0}$, then ${x}_{0}$ is fixed of T and we finish the proof. Now, we may assume that $T{x}_{0}\ne {x}_{0}$, that is, ${x}_{0}. We construct the sequence $\left\{{x}_{n}\right\}$ in X by

${x}_{n+1}={T}^{n+1}{x}_{0}=T{x}_{n}$
(2.2)

for all $n\ge 0$. Since T is strictly increasing, we have that $T{x}_{0}<{T}^{2}{x}_{0}<\cdots <{T}^{n}{x}_{0}<{T}^{n+1}{x}_{0}<\cdots$ . Thus, ${x}_{1}<{x}_{2}<\cdots <{x}_{n}<{x}_{n+1}<\cdots$ , which implies that the sequence $\left\{{x}_{n}\right\}$ is strictly increasing. Note that

(2.3)

Since ${x}_{n}$ and ${x}_{n+1}$ are comparable, we get

$\begin{array}{rcl}d\left({x}_{n+1},{x}_{n+2}\right)& =& d\left(T{x}_{n},T{x}_{n+1}\right)\\ \le & \varphi \left({x}_{n}\right)M\left({x}_{n},{x}_{n+1}\right)\\ +\phi \left({x}_{n}\right)min\left\{d\left({x}_{n},T{x}_{n}\right),d\left({x}_{n+1},T{x}_{n+1}\right),d\left({x}_{n},T{x}_{n+1}\right),d\left({x}_{n+1},T{x}_{n}\right)\right\}\\ =& \varphi \left({x}_{n}\right)max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right)\right\}\\ +\phi \left({x}_{n}\right)min\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right),d\left({x}_{n},{x}_{n+2}\right),d\left({x}_{n+1},{x}_{n+1}\right)\right\}\\ =& \varphi \left({x}_{n}\right)max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right)\right\}.\end{array}$
(2.4)

If for some $n\in \mathbb{N}$, $max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right)\right\}=d\left({x}_{n+1},{x}_{n+2}\right)$, then we get

$d\left({x}_{n+1},{x}_{n+2}\right)\le \varphi \left({x}_{n}\right)d\left({x}_{n+1},{x}_{n+2}\right)
(2.5)

which is a contradiction. Thus, we have

$max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right)\right\}=d\left({x}_{n},{x}_{n+1}\right)$
(2.6)

for all $n\in \mathbb{N}$. Therefore, from (2.4), we have

$d\left({x}_{n+1},{x}_{n+2}\right)\le \varphi \left({x}_{n}\right)d\left({x}_{n},{x}_{n+1}\right)$

for all $n\in \mathbb{N}$. Hence,

$\begin{array}{rcl}d\left({x}_{n+1},{x}_{n+2}\right)& \le & \varphi \left({x}_{n}\right)d\left({x}_{n},{x}_{n+1}\right)\\ \le & \varphi \left({x}_{n}\right)\varphi \left({x}_{n-1}\right)d\left({x}_{n-1},{x}_{n}\right)\\ ⋮\\ \le & \varphi \left({x}_{n}\right)\varphi \left({x}_{n-1}\right)\cdots \varphi \left({x}_{1}\right)\varphi \left({x}_{0}\right)d\left({x}_{0},{x}_{1}\right)\\ =& \varphi \left({T}^{n}{x}_{0}\right)\varphi \left({T}^{n-1}{x}_{0}\right)\cdots \varphi \left(T{x}_{0}\right)\varphi \left({x}_{0}\right)d\left({x}_{0},{x}_{1}\right)\\ \le & \varphi \left({T}^{n-1}{x}_{0}\right)\varphi \left({T}^{n-2}{x}_{0}\right)\cdots \varphi \left({x}_{0}\right)\varphi \left({x}_{0}\right)d\left({x}_{0},{x}_{1}\right)\\ ⋮\\ \le & \underset{\left(n+1\right)\text{-}\mathrm{term}}{\underset{\phantom{\rule{0.5em}{0ex}}}{\varphi \left({x}_{0}\right)\varphi \left({x}_{0}\right)\dots \varphi \left({x}_{0}\right)\varphi \left({x}_{0}\right)}}d\left({x}_{0},{x}_{1}\right)\\ =& {\left(\varphi \left({x}_{0}\right)\right)}^{n+1}d\left({x}_{0},{x}_{1}\right)\end{array}$
(2.7)

for all $n\ge 1$. Now, for positive integers m and n with $m>n$, we have

$\begin{array}{rcl}d\left({x}_{n},{x}_{m}\right)& \le & d\left({x}_{n},{x}_{n+1}\right)+d\left({x}_{n+1},{x}_{n+2}\right)+\cdots +d\left({x}_{m-1},{x}_{m}\right)\\ \le & {\left(\varphi \left({x}_{0}\right)\right)}^{n}d\left({x}_{0},{x}_{1}\right)+{\left(\varphi \left({x}_{0}\right)\right)}^{n+1}d\left({x}_{0},{x}_{1}\right)+\cdots +{\left(\varphi \left({x}_{0}\right)\right)}^{m-1}d\left({x}_{0},{x}_{1}\right)\\ =& \left({\left(\varphi \left({x}_{0}\right)\right)}^{n}+{\left(\varphi \left({x}_{0}\right)\right)}^{n+1}+\cdots +{\left(\varphi \left({x}_{0}\right)\right)}^{m-1}\right)d\left({x}_{0},{x}_{1}\right)\\ \le & \left(\frac{{\left(\varphi \left({x}_{0}\right)\right)}^{n}}{1-\varphi \left({x}_{0}\right)}\right)d\left({x}_{0},{x}_{1}\right).\end{array}$
(2.8)

Since $\varphi \left({x}_{0}\right)\in \left[0,1\right)$, if we take the limit as $m,n\to 0$, then $d\left({x}_{n},{x}_{m}\right)\to 0$, which implies that $\left\{{x}_{n}\right\}$ is a Cauchy sequence. Since X is complete, there exists a $z\in X$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty }$. It follows from the continuity of T that $T\left({T}^{n}{x}_{0}\right)={T}^{n+1}{x}_{0}\to z$ implies that $Tz=z$. Therefore, z is a fixed point of T. □

Example 2.3 Let $X=\left[0,1\right]$, the partial order ≤ be defined by $a\le b$ if and only if $b-a\in \left[0,\mathrm{\infty }\right)$ and d be the usual metric on X. Let $T:X\to X$ be defined by $Tx=\frac{{x}^{2}}{4}$ for all $x\in X$. It can be easily checked that T is a generalized almost $\left(\varphi ,\phi \right)$-contraction mapping with $\varphi \left(x\right)=\frac{x+1}{4}$ and $\phi \left(x\right)=lnx$. Moreover, T is strictly increasing on X, and there exists $0\in X$ such that $0\le T0$. Therefore, T satisfies the conditions of Theorem 2.2 and thus T has a fixed point 0.

The following corollaries follow immediately from the Theorem 2.2 with $\varphi \left(x\right)=\delta$ and $\phi \left(x\right)=L$.

Corollary 2.4 ([[40], Theorem 2.1])

Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$T:X\to X$be a strictly increasing continuous mapping with respect to ≤. Suppose that there exist$\delta \in \left[0,1\right)$and$L\ge 0$such that

$d\left(Tx,Ty\right)\le \delta M\left(x,y\right)+Lmin\left\{d\left(x,Tx\right),d\left(y,Ty\right),d\left(x,Ty\right),d\left(y,Tx\right)\right\}$
(2.9)

for all comparable$x,y\in X$, where$M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Ty\right),\frac{d\left(x,Ty\right)+d\left(y,Tx\right)}{2}\right\}$. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$, then T has a fixed point in X.

Corollary 2.5 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$T:X\to X$be a strictly increasing continuous mapping with respect to ≤. Assume that there exist two mappings$\varphi :X\to \left[0,1\right)$with$\varphi \left(Tx\right)\le \varphi \left(x\right)$and$\phi :X\to \left[0,\mathrm{\infty }\right)$such that

$d\left(Tx,Ty\right)\le \varphi \left(x\right)M\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Ty\right),d\left(x,Ty\right),d\left(y,Tx\right)\right\}$
(2.10)

for all comparable$x,y\in X$, where$M\left(x,y\right)=max\left\{d\left(x,y\right),\frac{d\left(x,Tx\right)+d\left(y,Ty\right)}{2},\frac{d\left(x,Ty\right)+d\left(y,Tx\right)}{2}\right\}$. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$, then T has a fixed point in X.

Proof Since (2.10) is a special case of the generalized almost $\left(\varphi ,\phi \right)$-contraction, the result follows from Theorem 2.2. □

Corollary 2.6 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$T:X\to X$be a strictly increasing continuous mapping with respect to ≤. Assume that there exist two mappings$\varphi :X\to \left[0,1\right)$with$\varphi \left(Tx\right)\le \varphi \left(x\right)$and$\phi :X\to \left[0,\mathrm{\infty }\right)$such that

$d\left(Tx,Ty\right)\le \varphi \left(x\right)d\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Ty\right),d\left(x,Ty\right),d\left(y,Tx\right)\right\}$
(2.11)

for all comparable$x,y\in X$. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$, then T has a fixed point in X.

Proof Since (2.11) is a special case of the generalized almost $\left(\varphi ,\phi \right)$-contraction, the result follows from Theorem 2.2. □

Theorem 2.7 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$T:X\to X$be a strictly increasing mapping with respect toand a generalized almost$\left(\varphi ,\phi \right)$-contraction mapping with a continuous mapping ϕ. If there exists${x}_{0}\in X$such that${x}_{0}\le T{x}_{0}$and for an increasing sequence$\left\{{x}_{n}\right\}$in X converging to$x\in X$we have$\underset{n\to \mathrm{\infty }}{lim}\phi \left({x}_{n}\right)<\mathrm{\infty }$and${x}_{n}\le x$for all$n\in \mathbb{N}$, then T has a fixed point in X.

Proof Suppose that $Tx\ne x$ for all $x\in X$. Following similar arguments to those given in Theorem 2.2, we obtain an increasing sequence $\left\{{x}_{n}\right\}$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty }$ for some $z\in X$. By the given hypothesis, we have ${x}_{n}\le z$ for all $n\in \mathbb{N}$. Therefore,

$\begin{array}{rcl}d\left({x}_{n+1},Tz\right)& =& d\left(T{x}_{n},Tz\right)\\ \le & \varphi \left({x}_{n}\right)max\left\{d\left({x}_{n},z\right),d\left({x}_{n},T{x}_{n}\right),d\left(z,Tz\right),\frac{d\left({x}_{n},Tz\right)+d\left(z,T{x}_{n}\right)}{2}\right\}\\ +\phi \left({x}_{n}\right)min\left\{d\left({x}_{n},T{x}_{n}\right),d\left(z,Tz\right),d\left({x}_{n},Tz\right),d\left(z,T{x}_{n}\right)\right\}\\ =& \varphi \left({x}_{n}\right)max\left\{d\left({x}_{n},z\right),d\left({x}_{n},{x}_{n+1}\right),d\left(z,Tz\right),\frac{d\left({x}_{n},Tz\right)+d\left(z,{x}_{n+1}\right)}{2}\right\}\\ +\phi \left({x}_{n}\right)min\left\{d\left({x}_{n},{x}_{n+1}\right),d\left(z,Tz\right),d\left({x}_{n},Tz\right),d\left(z,{x}_{n+1}\right)\right\}.\end{array}$
(2.12)

Taking the limit as $n\to \mathrm{\infty }$, we get that $d\left(z,Tz\right)\le \varphi \left(z\right)d\left(z,Tz\right)$. Since $\varphi \left(z\right)\in \left[0,1\right)$, we have $d\left(z,Tz\right)=0$, that is, $Tz=z$, which is a contradiction. Therefore, there exists ${z}_{1}\in X$ such that $T{z}_{1}={z}_{1}$ which implies that ${z}_{1}$ is a fixed point of T. □

## 3 Common fixed point theorems for a generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S

Definition 3.1 Let $\left(X,\le \right)$ be a partially ordered set, and let a metric d exist on X, and $S,T:X\to X$. A mapping T is called a generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S if there exist two mappings $\varphi :X\to \left[0,1\right)$ with $\varphi \left(Sx\right)\le \varphi \left(x\right)$ and $\varphi \left(Tx\right)\le \varphi \left(x\right)$ and $\phi :X\to \left[0,\mathrm{\infty }\right)$ such that

$d\left(Tx,Sy\right)\le \varphi \left(x\right)M\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Sy\right),d\left(x,Sy\right),d\left(y,Tx\right)\right\}$
(3.1)

for all comparable $x,y\in X$, where $M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(x,Tx\right),d\left(y,Sy\right),\frac{d\left(x,Sy\right)+d\left(y,Tx\right)}{2}\right\}$.

Remark 3.2 If we take $\varphi \left(x\right)=\delta$ where $\delta \in \left[0,1\right)$ and $\phi \left(x\right)=L$ where $L\in \left[0,\mathrm{\infty }\right)$, then the generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S reduces to an almost generalized contraction of Ćirić et al. in [40].

The following theorem deals with the existence of a common fixed point of two weakly increasing mappings which is more general and covers more than the result of Ćirić et al. in [40].

Theorem 3.3 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$S,T:X\to X$be two strictly weakly increasing mappings with respect toand T be a generalized almost$\left(\varphi ,\phi \right)$-contraction with respect to S. If either S or T is continuous, then there exists a common fixed point of S and T in X.

Proof Let ${x}_{0}$ be an arbitrary point in X. We construct the sequence $\left\{{x}_{n}\right\}$ in X such that

${x}_{2n+1}=T{x}_{2n}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{x}_{2n+2}=S{x}_{2n+1}$
(3.2)

for all $n\ge 0$. Since S and T are strictly weakly increasing, we get

${x}_{2n+1}=T{x}_{2n}
(3.3)

and

${x}_{2n+2}=S{x}_{2n+1}
(3.4)

for all $n\ge 0$. Therefore, ${x}_{1}<{x}_{2}<\cdots <{x}_{n}<{x}_{n+1}<\cdots$ , that is, the sequence $\left\{{x}_{n}\right\}$ is strictly increasing. Note that

(3.5)

for all $n\ge 0$. Since ${x}_{2n}$ and ${x}_{2n+1}$ are comparable, we get

(3.6)

If for some $n\in \mathbb{N}$, $max\left\{d\left({x}_{2n},{x}_{2n+1}\right),d\left({x}_{2n+1},{x}_{2n+2}\right)\right\}=d\left({x}_{2n+1},{x}_{2n+2}\right)$, then we get

$d\left({x}_{2n+1},{x}_{2n+2}\right)\le \varphi \left({x}_{2n}\right)d\left({x}_{2n+1},{x}_{2n+2}\right)
(3.7)

$max\left\{d\left({x}_{2n},{x}_{2n+1}\right),d\left({x}_{2n+1},{x}_{2n+2}\right)\right\}=d\left({x}_{2n},{x}_{2n+1}\right)$
(3.8)

for all $n\in \mathbb{N}$. Therefore, from (3.6), we have

$d\left({x}_{2n+1},{x}_{2n+2}\right)\le \varphi \left({x}_{2n}\right)d\left({x}_{2n},{x}_{2n+1}\right)$

for all $n\in \mathbb{N}$. Similarly, it can be proved that

$d\left({x}_{2n+3},{x}_{2n+2}\right)\le \varphi \left({x}_{2n+2}\right)d\left({x}_{2n+2},{x}_{2n+1}\right)$

for all $n\in \mathbb{N}$. It follows from the proof of Theorem 2.2 that

$d\left({x}_{n+1},{x}_{n+2}\right)\le {\left(\varphi \left({x}_{0}\right)\right)}^{n+1}d\left({x}_{0},{x}_{1}\right)$
(3.9)

for all $n\ge 1$. Similarly to the proof of Theorem 2.2, we get $\left\{{x}_{n}\right\}$ is a Cauchy sequence. It follows from the completeness of X that there exists a $z\in X$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty }$. Suppose that T is continuous, then $T\left({T}^{n}{x}_{0}\right)={T}^{n+1}{x}_{0}\to z$. This implies that $Tz=z$. Therefore, z is a fixed point of T. Suppose that $Sz\ne z$. Since $z\le z$. Therefore,

$\begin{array}{rcl}d\left(z,Sz\right)& =& d\left(Tz,Sz\right)\\ \le & \varphi \left(z\right)max\left\{d\left(z,z\right),d\left(z,Tz\right),d\left(z,Sz\right),\frac{d\left(z,Sz\right)+d\left(z,Tz\right)}{2}\right\}\\ +\phi \left(z\right)min\left\{d\left(z,Tz\right),d\left(z,Sz\right),d\left(z,Sz\right),d\left(z,Tz\right)\right\}\\ \le & \varphi \left(z\right)d\left(z,Sz\right),\end{array}$
(3.10)

which is a contradiction. Therefore, $Sz=z$ and then z is a common fixed point of S and T. Similarly, it can be proved that S and T have a common fixed point if S is continuous. □

The following corollaries are a generalization and extension of Corollaries 2.4 and 2.5 in Ćirić et al. in [40].

Corollary 3.4 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$S,T:X\to X$be two strictly weakly increasing mappings with respect to ≤. Assume that there exist two mappings$\varphi :X\to \left[0,1\right)$with$\varphi \left(Sx\right)\le \varphi \left(x\right)$and$\varphi \left(Tx\right)\le \varphi \left(x\right)$and$\phi :X\to \left[0,\mathrm{\infty }\right)$such that

$d\left(Tx,Sy\right)\le \varphi \left(x\right)M\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Sy\right),d\left(x,Sy\right),d\left(y,Tx\right)\right\}$
(3.11)

for all comparable$x,y\in X$, where$M\left(x,y\right)=max\left\{d\left(x,y\right),\frac{d\left(x,Tx\right)+d\left(y,Sy\right)}{2},\frac{d\left(x,Sy\right)+d\left(y,Tx\right)}{2}\right\}$. If either S or T is continuous, then there exists a common fixed point of S and T in X.

Proof Since (3.11) is a special case of the generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S, the result follows from Theorem 3.3. □

Corollary 3.5 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$S,T:X\to X$be two strictly increasing mappings with respect to ≤. Assume that there exist two mappings$\varphi :X\to \left[0,1\right)$with$\varphi \left(Sx\right)\le \varphi \left(x\right)$and$\varphi \left(Tx\right)\le \varphi \left(x\right)$and$\phi :X\to \left[0,\mathrm{\infty }\right)$such that

$d\left(Tx,Sy\right)\le \varphi \left(x\right)d\left(x,y\right)+\phi \left(x\right)min\left\{d\left(x,Tx\right),d\left(y,Sy\right),d\left(x,Sy\right),d\left(y,Tx\right)\right\}$
(3.12)

for all comparable$x,y\in X$. If either S or T is continuous, then there exists a common fixed point of S and T in X.

Proof Since (3.12) is a special case of the generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S, the result follows from Theorem 3.3. □

Now, we have the following result of the continuity on the set of common fixed points. Let $F\left(S,T\right)$ denote the set of all common fixed points of S and T.

Theorem 3.6 Let$\left(X,\le \right)$be a partially ordered set, and let a complete metric d exist on X. Let$S,T:X\to X$and T be a generalized almost$\left(\varphi ,\phi \right)$-contraction mapping with respect to S. If$F\left(S,T\right)\ne \mathrm{\varnothing }$and for any sequence$\left\{{x}_{n}\right\}$in X with${x}_{n}\to x$as$n\to \mathrm{\infty }$for some$x\in X$, we have${x}_{n}\le x$for all$n\in \mathbb{N}$, then S and T are continuous at$z\in F\left(S,T\right)$.

Proof Fix $z\in F\left(S,T\right)$. Let $\left\{{x}_{n}\right\}$ be any sequence in X converging to z and then ${x}_{n}\le z$ for all $n\in \mathbb{N}$. From the notion of a generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S, we get

$\begin{array}{rcl}d\left(Tz,S{x}_{n}\right)& \le & \varphi \left(z\right)max\left\{d\left(z,{x}_{n}\right),d\left(z,Tz\right),d\left({x}_{n},S{x}_{n}\right),\frac{d\left(z,S{x}_{n}\right)+d\left({x}_{n},Tz\right)}{2}\right\}\\ +\phi \left(z\right)min\left\{d\left(z,Tz\right),d\left({x}_{n},S{x}_{n}\right),d\left(z,S{x}_{n}\right),d\left({x}_{n},Tz\right)\right\}\\ =& \varphi \left(z\right)max\left\{d\left(z,{x}_{n}\right),0,d\left({x}_{n},S{x}_{n}\right),\frac{d\left(z,S{x}_{n}\right)+d\left({x}_{n},z\right)}{2}\right\}\\ +\phi \left(z\right)min\left\{0,d\left({x}_{n},S{x}_{n}\right),d\left(z,S{x}_{n}\right),d\left({x}_{n},Tz\right)\right\}\\ =& \varphi \left(z\right)max\left\{d\left(z,{x}_{n}\right),d\left({x}_{n},S{x}_{n}\right),\frac{d\left(z,S{x}_{n}\right)+d\left({x}_{n},z\right)}{2}\right\}\end{array}$
(3.13)

for all $n\ge 1$. Letting $n\to \mathrm{\infty }$, we have $S{x}_{n}\to z=Sz$. Therefore, S is continuous at $z\in F\left(S,T\right)$. Similarly, it can be shown that T is continuous at $z\in F\left(S,T\right)$. □

Remark 3.7 In fixed point theory, after the remarkable paper of Huang and Zhang [42], cone metric spaces have been considered by several authors. The results and theorems in this paper can be also generalized to cone metric spaces.

## References

1. Chis A: Fixed point theorems for multivalued generalized contractions on complete gauge spaces. Carpath. J. Math. 2006, 22(1–2):33–38.

2. Ćirić LB: On contraction type mappings. Math. Balk. 1971, 1: 52–57.

3. Guran L: Fixed points for multivalued operators with respect to a w -distance on metric spaces. Carpath. J. Math. 2007, 23(1–2):89–92.

4. Rhoades BE: A biased discussion of fixed point theory. Carpath. J. Math. 2007, 23(1–2):11–26.

5. Rakotch E: A note on contractive mappings. Proc. Am. Math. Soc. 1962, 13: 459–465. 10.1090/S0002-9939-1962-0148046-1

6. Reich S: Kannan’s fixed point theorem. Boll. Unione Mat. Ital. 1971, 4: 1–11.

7. Reich S: Some remarks concerning contraction mappings. Can. Math. Bull. 1971, 14: 121–124. 10.4153/CMB-1971-024-9

8. Reich S: Fixed point of contractive functions. Boll. Unione Mat. Ital. 1972, 5: 26–42.

9. Reich S, Zaslavski AJ: Approximating fixed points of contractive set-valued mappings. Commun. Math. Anal. 2010, 8: 70–78.

10. Reich S, Zaslavski AJ: The set of noncontractive mappings is σ -porous in the space of all nonexpansive mappings. C. R. Acad. Sci., Sér. I Math. 2001, 333: 539–544.

11. Reich S, Zaslavski AJ: A note on Rakotch contraction. Fixed Point Theory 2008, 9: 267–273.

12. Rus IA: Generalized contractions. Semin. Fixed Point Theory 1983, 3: 1–130.

13. Sintunavarat W, Kumam P:Weak condition for generalized multi-valued $\left(f,\alpha ,\beta \right)$-weak contraction mappings. Appl. Math. Lett. 2011, 24: 460–465. 10.1016/j.aml.2010.10.042

14. Sintunavarat W, Kumam P: Gregus type fixed points for a tangential multi-valued mappings satisfying contractive conditions of integral type. J. Inequal. Appl. 2011., 2011: Article ID 3

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

16. Sintunavarat W, Kumam P: Common fixed point theorems for hybrid generalized multi-valued contraction mappings. Appl. Math. Lett. 2012, 25: 52–57. 10.1016/j.aml.2011.05.047

17. Sintunavarat W, Kumam P:Common fixed point theorems for generalized $\mathcal{JH}$-operator classes and invariant approximations. J. Inequal. Appl. 2011., 2011: Article ID 67

18. Sintunavarat W, Kumam P: Fixed point theorems for a generalized intuitionistic fuzzy contraction in intuitionistic fuzzy metric spaces. Thai J. Math. 2012, 10(1):123–135.

19. Sintunavarat W, Kumam P: Generalized common fixed point theorems in complex valued metric spaces and applications. J. Inequal. Appl. 2012., 2012: Article ID 84

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

21. Rhoades BE: Contractive definitions and continuity. Contemp. Math. 1988, 72: 233–245.

22. Sessa S: On a weak commutativity condition of mappings in fixed point consideration. Publ. Inst. Math. 1982, 32: 149–153.

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

24. Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci. 1996, 4: 199–215.

25. Berinde V: Approximating fixed points of weak contractions using the Picard iteration. Nonlinear Anal. Forum 2004, 9(1):43–53.

26. Berinde V: General constructive fixed point theorems for Ćirić-type almost contractions in metric spaces. Carpath. J. Math. 2008, 24(2):10–19.

27. Beg I, Abbas M: Coincidence point and invariant approximation for mappings satisfying generalized weak contractive condition. Fixed Point Theory Appl. 2006., 2006: Article ID 74503

28. Berinde V: Some remarks on a fixed point theorem for Ćirić-type almost contractions. Carpath. J. Math. 2009, 25(2):157–162.

29. Berinde V: Common fixed points of noncommuting almost contractions in cone metric spaces. Math. Commun. 2010, 15(1):229–241.

30. Berinde V: Approximating common fixed points of noncommuting almost contractions in metric spaces. Fixed Point Theory 2010, 11(2):179–188.

31. Berinde V: Approximating common fixed points of noncommuting discontinuous weakly contractive mappings in metric spaces. Carpath. J. Math. 2009, 25(1):13–22.

32. Ćirić LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45: 267–273.

33. Ćirić L, Hussain N, Cakić N: Common fixed points for Ćirić type f -weak contraction with applications. Publ. Math. (Debr.) 2010, 76(1–2):31–49.

34. Ćirić L, Rakočević V, Radenović S, Rajović M, Lazović R: Common fixed point theorems for non-self mappings in metric spaces of hyperbolic type. J. Comput. Appl. Math. 2010, 233: 2966–2974. 10.1016/j.cam.2009.11.042

35. Pacurar M: Remark regarding two classes of almost contractions with unique fixed point. Creat. Math. Inform. 2010, 19(2):178–183.

36. Pacurar M: Iterative Methods for Fixed Point Approximation. Risoprint, Cluj-Napoca; 2009.

37. Zamfirescu T: Fixed point theorems in metric spaces. Arch. Math. 1972, 23: 292–298. 10.1007/BF01304884

38. Al-Thagafi MA, Shahzad N: Noncommuting selfmaps and invariant approximations. Nonlinear Anal. 2006, 64: 2777–2786.

39. Babu GVR, Sandhya ML, Kameswari MVR: A note on a fixed point theorem of Berinde on weak contractions. Carpath. J. Math. 2008, 24(1):8–12.

40. Ćirić L, Abbas M, Saada R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 217: 5784–5789. 10.1016/j.amc.2010.12.060

41. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4

42. Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087

## Acknowledgements

This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission. The first author would like to thank the Research Professional Development Project Under the Science Achievement Scholarship of Thailand (SAST) for financial support during the preparation of this manuscript. The second author was supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A2042138). This project was partially completed during the first and third authors’ last visit to Kyungnam University.

## Author information

Authors

### Corresponding author

Correspondence to Poom Kumam.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

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

## Rights and permissions

Reprints and permissions

Sintunavarat, W., Kim, J.K. & Kumam, P. Fixed point theorems for a generalized almost $\left(\varphi ,\phi \right)$-contraction with respect to S in ordered metric spaces. J Inequal Appl 2012, 263 (2012). https://doi.org/10.1186/1029-242X-2012-263

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2012-263