## Journal of Inequalities and Applications

Impact Factor 0.630

Open Access

# Some coincidence and common fixed point theorems for ordered Prešić-Reich type contractions

Journal of Inequalities and Applications20132013:520

DOI: 10.1186/1029-242X-2013-520

Accepted: 24 September 2013

Published: 9 November 2013

## Abstract

The purpose of this paper is to prove some coincidence and common fixed point theorems for ordered Prešić-Reich type contractions in ordered metric spaces. Results of this paper generalize and extend several known results from metric spaces into product spaces when the underlying space is an ordered metric space. An example illustrates the case when new results can be applied while old ones cannot.

### Keywords

Prešić type mapping coincidence point common fixed point ordered space

## 1 Introduction and preliminaries

The well-known Banach contraction mapping principle states that if $\left(X,d\right)$ is a complete metric space and $f:X\to X$ is a self-mapping such that
$d\left(fx,fy\right)\le \lambda d\left(x,y\right)$
(1)
for all $x,y\in X$, where $0\le \lambda <1$, then there exists a unique $x\in X$ such that $fx=x$. This point x is called the fixed point of the mapping f. On the other hand, for mappings $f:X\to X$, Kannan [1] introduced the contractive condition
$d\left(fx,fy\right)\le \lambda \left[d\left(x,fx\right)+d\left(y,fy\right)\right]$
(2)

for all $x,y\in X$, where $\lambda \in \left[0,\frac{1}{2}\right)$ is a constant and proved a fixed point theorem using (2) instead of (1). Conditions (1) and (2) are independent, as it was shown by two examples in [2].

Reich [3], for mappings $f:X\to X$, generalized Banach and Kannan fixed point theorems using the contractive condition
$d\left(fx,fy\right)\le \alpha d\left(x,y\right)+\beta d\left(x,fx\right)+\gamma d\left(y,fy\right)$
(3)

for all $x,y\in X$, where α, β, γ are nonnegative constants with $\alpha +\beta +\gamma <1$. An example in [3] shows that condition (3) is a proper generalization of (1) and (2).

In 1965, Prešić [4, 5] extended the Banach contraction mapping principle to mappings defined on product spaces and proved the following theorem.

Theorem 1.1 Let $\left(X,d\right)$ be a complete metric space, k be a positive integer and $f:{X}^{k}\to X$ be a mapping satisfying the following contractive type condition:
$d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)\le \sum _{i=1}^{k}{q}_{i}d\left({x}_{i},{x}_{i+1}\right)$
(4)

for every ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$, where ${q}_{1},{q}_{2},\dots ,{q}_{k}$ are nonnegative constants such that ${q}_{1}+{q}_{2}+\cdots +{q}_{k}<1$. Then there exists a unique point $x\in X$ such that $f\left(x,x,\dots ,x\right)=x$. Moreover, if ${x}_{1},{x}_{2},\dots ,{x}_{k}$ are arbitrary points in X and for $n\in \mathbb{N}$, ${x}_{n+k}=f\left({x}_{n},{x}_{n+1},\dots ,{x}_{n+k-1}\right)$, then the sequence $\left\{{x}_{n}\right\}$ is convergent and $lim{x}_{n}=f\left(lim{x}_{n},lim{x}_{n},\dots ,lim{x}_{n}\right)$.

Note that condition (4) in the case $k=1$ reduces to the well-known Banach contraction mapping principle. So, Theorem 1.1 is a generalization of the Banach fixed point theorem. Some generalizations and applications of the Prešić theorem can be seen in [419].

The existence of a fixed point in partially ordered sets was investigated by Ran and Reurings [20] and then by Nieto and Lopez [21, 22]. Fixed point results in ordered metric spaces were obtained by several authors (see, e.g., [6, 18, 2332]). The following version of the fixed point theorem was proved, among others, in these papers.

Theorem 1.2 (see [22] and references therein)

Let $\left(X,⪯\right)$ be a partially ordered set, and let d be a metric on X such that $\left(X,d\right)$ is a complete metric space. Let $f:X\to X$ be a nondecreasing map with respect to . Suppose that the following conditions hold:
1. (i)

there exists $k\in \left(0,1\right)$ such that $d\left(fx,fy\right)\le kd\left(x,y\right)$ for all $x,y\in X$ with $y⪯x$;

2. (ii)

there exists ${x}_{0}\in X$ such that ${x}_{0}⪯f{x}_{0}$;

3. (iii)

f is continuous.

Then f has a fixed point ${x}^{\ast }\in X$.

Pǎcurar [10] introduced the Prešić-Kannan type contraction and proved some common fixed point theorems for such contractions. Very recently, in [18] (see also [33]) authors introduced the ordered Prešić type contraction and generalized the result of Prešić and proved some fixed point theorems for such mappings. In this paper, we introduce the ordered Prešić-Reich type contraction and prove some common fixed point theorems for such type of mappings in ordered metric spaces. Our results generalize and extend the results of Prešić [4, 5], Pǎcurar [10], Malhotra et al. [18], Luong and Thuan [33], Nieto and López [21] and several known results of metric spaces. An example, which illustrates the case when new results can be applied while old ones cannot, is included.

The following definitions will be needed in the sequel.

Definition 1.3 Let X be a nonempty set, k be a positive integer and $f:{X}^{k}\to X$ be a mapping. If $f\left(x,x,\dots ,x\right)=x$, then $x\in X$ is called a fixed point of f.

Definition 1.4 (see [13])

Let X be a nonempty set, k be a positive integer, $f:{X}^{k}\to X$ and $g:X\to X$ be mappings.
1. (a)

An element $x\in X$ is said to be a coincidence point of f and g if $gx=f\left(x,\dots ,x\right)$.

2. (b)

If $w=gx=f\left(x,\dots ,x\right)$, then w is called a point of coincidence of f and g.

3. (c)

If $x=gx=f\left(x,\dots ,x\right)$, then x is called a common fixed point of f and g.

4. (d)

Mappings f and g are said to be commuting if $g\left(f\left(x,\dots ,x\right)\right)=f\left(gx,\dots ,gx\right)$ for all $x\in X$.

5. (e)

Mappings f and g are said to be weakly compatible if they commute at their coincidence points.

Remark that the above definition in the case $k=1$ reduces to the usual definitions of commuting and weakly compatible mappings in the sense of [34] (for details, see the Introduction from [34]).

Definition 1.5 (see [18])

Let a nonempty set X be equipped with a partial order ‘’ such that $\left(X,d\right)$ is a metric space, then $\left(X,⪯,d\right)$ is called an ordered metric space. A sequence $\left\{{x}_{n}\right\}$ in X is said to be nondecreasing with respect to ‘’ if ${x}_{1}⪯{x}_{2}⪯\cdots ⪯{x}_{n}⪯\cdots$ . Let k be a positive integer and $f:{X}^{k}\to X$ be a mapping, then f is said to be nondecreasing with respect to ‘’ if for any finite nondecreasing sequence ${\left\{{x}_{n}\right\}}_{n=1}^{k+1}$ we have $f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right)⪯f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)$. Let $g:X\to X$ be a mapping. f is said to be g-nondecreasing with respect to ‘’ if for any finite nondecreasing sequence ${\left\{g{x}_{n}\right\}}_{n=1}^{k+1}$ we have $f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right)⪯f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)$.

Remark 1.6 For $k=1$, the above definitions reduce to usual definitions of fixed point and nondecreasing mapping in a metric space.

Definition 1.7 Let X be a nonempty set equipped with partial order ‘,’ and let $g:X\to X$ be a mapping. A nonempty subset $\mathcal{A}$ of X is said to be well ordered if every two elements of $\mathcal{A}$ are comparable. Elements $a,b\in \mathcal{A}$ are called g-comparable if ga and gb are comparable. $\mathcal{A}$ is called g-well ordered if for all $a,b\in \mathcal{A}$, a and b are g-comparable, i.e., ga and gb are comparable.

Example 1.8 Let $X=\left\{0,1,2,3\right\}$, ‘’ be a partial order relation on X defined by $⪯\phantom{\rule{0.2em}{0ex}}=\left\{\left(0,0\right),\left(1,1\right),\left(2,2\right),\left(3,3\right),\left(1,2\right),\left(2,3\right),\left(1,3\right)\right\}$. Let $\mathcal{A}=\left\{0,1,3\right\}$ and $g:X\to X$ be defined by $g0=1$, $g1=2$, $g2=3$, $g3=3$. Then it is clear that $\mathcal{A}$ is not well ordered but it is g-well ordered.

Let $\left(X,⪯,d\right)$ be an ordered metric space. Let k be a positive integer and $f:{X}^{k}\to X$ be a mapping. f is said to be an ordered Prešić type contraction if
$d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)\le \sum _{i=1}^{k}{\alpha }_{i}d\left({x}_{i},{x}_{i+1}\right)$
(5)

for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with ${x}_{1}⪯{x}_{2}⪯\cdots ⪯{x}_{k+1}$, where ${\alpha }_{i}$ are nonnegative constants such that ${\sum }_{i=1}^{k}{\alpha }_{i}<1$. If (5) is satisfied for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$, then f is called a Prešić type contraction.

f is said to be an ordered Prešić-Kannan type contraction (see [10] for details) if f satisfies following condition:
$d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)\le \beta \sum _{i=1}^{k+1}d\left({x}_{i},f\left({x}_{i},{x}_{i},\dots ,{x}_{i}\right)\right)$
(6)

for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with ${x}_{1}⪯{x}_{2}⪯\cdots ⪯{x}_{k+1}$, where $0\le \beta k\left(k+1\right)<1$. If (6) is satisfied for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$, then f is called a Prešić-Kannan type contraction.

f is said to be an ordered Prešić-Reich type contraction (see also [16]) if f satisfies the following condition:
$\begin{array}{rcl}d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)& \le & \sum _{i=1}^{k}{\alpha }_{i}d\left({x}_{i},{x}_{i+1}\right)\\ +\sum _{i=1}^{k+1}{\beta }_{i}d\left({x}_{i},f\left({x}_{i},{x}_{i},\dots ,{x}_{i}\right)\right)\end{array}$
(7)

for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with ${x}_{1}⪯{x}_{2}⪯\cdots ⪯{x}_{k+1}$, where ${\alpha }_{i}$, ${\beta }_{i}$ are nonnegative constants such that ${\sum }_{i=1}^{k}{\alpha }_{i}+k{\sum }_{i=1}^{k+1}{\beta }_{i}<1$. If (7) is satisfied for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$, then f is called a Prešić-Reich type contraction.

Note that the Prešić-Reich type contraction is a generalization of Prešić type and Prešić-Kannan type contractions. Indeed, for ${\beta }_{i}=0$, $1\le i\le k+1$, a Prešić-Reich type contraction reduces into a Prešić type contraction and for ${\alpha }_{i}=0$, $1\le i\le k$, and ${\beta }_{i}=\beta$, $1\le i\le k+1$, a Prešić-Reich type contraction reduces into a Prešić-Kannan type contraction. Also, for $k=1$, a Prešić-Reich type contraction reduces into a Reich contraction, so it generalizes the Banach and Kannan contractions.

Now we can state our main results.

## 2 Main results

Theorem 2.1 Let $\left(X,⪯,d\right)$ be an ordered complete metric space. Let k be a positive integer, $f:{X}^{k}\to X$ and $g:X\to X$ be two mappings such that $f\left({X}^{k}\right)\subset g\left(X\right)$, $g\left(X\right)$ is a closed subset of X and
$\begin{array}{rcl}d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)& \le & \sum _{i=1}^{k}{\alpha }_{i}d\left(g{x}_{i},g{x}_{i+1}\right)\\ +\sum _{i=1}^{k+1}{\beta }_{i}d\left(g{x}_{i},f\left({x}_{i},{x}_{i},\dots ,{x}_{i}\right)\right)\end{array}$
(8)
for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with $g{x}_{1}⪯g{x}_{2}⪯\cdots ⪯g{x}_{k+1}$, where ${\alpha }_{i}$, ${\beta }_{i}$ are nonnegative constants such that
$\sum _{i=1}^{k}{\alpha }_{i}+k\sum _{i=1}^{k+1}{\beta }_{i}<1.$
(9)
Suppose that the following conditions hold:
1. (I)

there exists ${x}_{0}\in X$ such that $g{x}_{0}⪯f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$;

2. (II)

f is g-nondecreasing;

3. (III)

if a nondecreasing sequence $\left\{g{x}_{n}\right\}$ converges to $gu\in X$, then $g{x}_{n}⪯gu$ for all $n\in \mathbb{N}$ and $gu⪯ggu$.

Then f and g have a point of coincidence. If, in addition, f and g are weakly compatible, then f and g have a common fixed point $v\in X$. Moreover, the set of common fixed points of f and g is g-well ordered if and only if f and g have a unique common fixed point.

Proof Starting with given ${x}_{0}\in X$, we define a sequence $\left\{{y}_{n}\right\}$ as follows: let ${y}_{0}=g{x}_{0}$, ${y}_{1}=f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$. As $f\left({X}^{k}\right)\subset g\left(X\right)$, there exists ${x}_{1}\in X$ such that $f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)=g{x}_{1}$. Therefore ${y}_{1}=g{x}_{1}=f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$ as $g{x}_{0}⪯f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$, we have $g{x}_{0}⪯g{x}_{1}$, that is, ${y}_{0}⪯{y}_{1}$. Again, as f is g-nondecreasing and $g{x}_{0}⪯g{x}_{1}$, we have $f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)⪯f\left({x}_{0},\dots ,{x}_{0},{x}_{1}\right)⪯f\left({x}_{0},\dots ,{x}_{0},{x}_{1},{x}_{1}\right)⪯\cdots ⪯f\left({x}_{1},{x}_{1},\dots ,{x}_{1}\right)$. Choose ${x}_{2}\in X$ such that ${y}_{2}=g{x}_{2}=f\left({x}_{1},{x}_{1},\dots ,{x}_{1}\right)$ (which is possible since $f\left({X}^{k}\right)\subset g\left(X\right)$). So, $g{x}_{0}⪯g{x}_{1}⪯g{x}_{2}$, that is, ${y}_{0}⪯{y}_{1}⪯{y}_{2}$. Continuing this process, we obtain
$g{x}_{0}⪯g{x}_{1}⪯\cdots ⪯g{x}_{n}⪯g{x}_{n+1}⪯\cdots ,$
that is,
${y}_{0}⪯{y}_{1}⪯{y}_{2}⪯\cdots ⪯{y}_{n}⪯{y}_{n+1}⪯\cdots$
and ${y}_{n}=g{x}_{n}=f\left({x}_{n-1},{x}_{n-1},\dots ,{x}_{n-1}\right)$ for $n=1,2,\dots$ . Thus, $\left\{{y}_{n}\right\}=\left\{g{x}_{n}\right\}$ is nondecreasing with respect to ‘,’ that is, $\left\{{x}_{n}\right\}$ is g-nondecreasing with respect to ‘.’ We shall show that $\left\{{y}_{n}\right\}=\left\{g{x}_{n}\right\}$ is a Cauchy sequence in $g\left(X\right)$. If ${y}_{n}={y}_{n+1}$ for any n, then
$\begin{array}{rcl}d\left({y}_{n+1},{y}_{n+2}\right)& =& d\left(f\left({x}_{n},\dots ,{x}_{n}\right),f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right)\\ \le & d\left(f\left({x}_{n},\dots ,{x}_{n}\right),f\left({x}_{n},\dots ,{x}_{n},{x}_{n+1}\right)\right)\\ +d\left(f\left({x}_{n},\dots ,{x}_{n},{x}_{n+1}\right),f\left({x}_{n},\dots ,{x}_{n},{x}_{n+1},{x}_{n+1}\right)\right)+\cdots \\ +d\left(f\left({x}_{n},{x}_{n+1},\dots ,{x}_{n+1}\right),f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right).\end{array}$
As $g{x}_{n}⪯g{x}_{n+1}$, using (8), the above inequality implies that
$\begin{array}{rcl}d\left({y}_{n+1},{y}_{n+2}\right)& \le & {\alpha }_{k}d\left(g{x}_{n},g{x}_{n+1}\right)+{\beta }_{1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)+\cdots \\ +{\beta }_{k}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ +{\beta }_{k+1}d\left(g{x}_{n+1},f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right)\\ +{\alpha }_{k-1}d\left(g{x}_{n},g{x}_{n+1}\right)+{\beta }_{1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)+\cdots \\ +{\beta }_{k-1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ +{\beta }_{k}d\left(g{x}_{n+1},f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right)\\ +{\beta }_{k+1}d\left(g{x}_{n+1},f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right)+\cdots \\ +{\alpha }_{1}d\left(g{x}_{n},g{x}_{n+1}\right)+{\beta }_{1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ +{\beta }_{2}d\left(g{x}_{n+1},f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right)+\cdots \\ +{\beta }_{k+1}d\left(g{x}_{n+1},f\left({x}_{n+1},\dots ,{x}_{n+1}\right)\right),\end{array}$
that is,
$\begin{array}{rcl}d\left({y}_{n+1},{y}_{n+2}\right)& \le & \left[\sum _{i=1}^{k}{\alpha }_{i}\right]d\left({y}_{n},{y}_{n+1}\right)+{\beta }_{1}d\left({y}_{n},{y}_{n+1}\right)+\cdots +{\beta }_{k}d\left({y}_{n},{y}_{n+1}\right)\\ +{\beta }_{k+1}d\left({y}_{n+1},{y}_{n+2}\right)+{\beta }_{1}d\left({y}_{n},{y}_{n+1}\right)+\cdots +{\beta }_{k-1}d\left({y}_{n},{y}_{n+1}\right)\\ +{\beta }_{k}d\left({y}_{n+1},{y}_{n+2}\right)+{\beta }_{k+1}d\left({y}_{n+1},{y}_{n+2}\right)+\cdots +{\beta }_{1}d\left({y}_{n},{y}_{n+1}\right)\\ +{\beta }_{2}d\left({y}_{n+1},{y}_{n+2}\right)+\cdots +{\beta }_{k+1}d\left({y}_{n+1},{y}_{n+2}\right)\\ \le & \left[k{\beta }_{k+1}+\left(k-1\right){\beta }_{k}+\cdots +{\beta }_{2}\right]d\left({y}_{n+1},{y}_{n+2}\right)\end{array}$
since ${y}_{n}={y}_{n+1}$. In view of (9), we have $k{\beta }_{k+1}+\left(k-1\right){\beta }_{k}+\cdots +{\beta }_{2}={\sum }_{i=2}^{k+1}\left(i-1\right){\beta }_{i}\le k{\sum }_{i=2}^{k+1}{\beta }_{i}<1$, therefore it follows from the above inequality that $d\left({y}_{n+1},{y}_{n+2}\right)=0$, that is, ${y}_{n+1}={y}_{n+2}$. Similarly, it can be shown that
${y}_{n}={y}_{n+1}={y}_{n+2}={y}_{n+3}=\cdots .$
Therefore $\left\{{y}_{n}\right\}$ is a Cauchy sequence. If ${y}_{n}\ne {y}_{n+1}$ for all n, then for any $n\ge 0$, we have
$\begin{array}{rcl}d\left({y}_{n},{y}_{n+1}\right)& =& d\left(g{x}_{n},g{x}_{n+1}\right)\\ =& d\left(f\left({x}_{n-1},\dots ,{x}_{n-1}\right),f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ \le & d\left(f\left({x}_{n-1},\dots ,{x}_{n-1}\right),f\left({x}_{n-1},\dots ,{x}_{n-1},{x}_{n}\right)\right)\\ +d\left(f\left({x}_{n-1},\dots ,{x}_{n-1},{x}_{n}\right),f\left({x}_{n-1},\dots ,{x}_{n-1},{x}_{n},{x}_{n}\right)\right)+\cdots \\ +d\left(f\left({x}_{n-1},{x}_{n},\dots ,{x}_{n}\right),f\left({x}_{n},\dots ,{x}_{n}\right)\right).\end{array}$
As $\left\{{x}_{n}\right\}$ is g-nondecreasing, using (8), the above inequality implies that
$\begin{array}{rcl}d\left({y}_{n},{y}_{n+1}\right)& \le & {\alpha }_{k}d\left(g{x}_{n-1},g{x}_{n}\right)+{\beta }_{1}d\left(g{x}_{n-1},f\left({x}_{n-1},\dots ,{x}_{n-1}\right)\right)+\cdots \\ +{\beta }_{k}d\left(g{x}_{n-1},f\left({x}_{n-1},\dots ,{x}_{n-1}\right)\right)\\ +{\beta }_{k+1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ +{\alpha }_{k-1}d\left(g{x}_{n-1},g{x}_{n}\right)+{\beta }_{1}d\left(g{x}_{n-1},f\left({x}_{n-1},\dots ,{x}_{n-1}\right)\right)+\cdots \\ +{\beta }_{k-1}d\left(g{x}_{n-1},f\left({x}_{n-1},\dots ,{x}_{n-1}\right)\right)\\ +{\beta }_{k}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)\\ +{\beta }_{k+1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)+\cdots \\ +{\alpha }_{1}d\left(g{x}_{n-1},g{x}_{n}\right)+{\beta }_{1}d\left(g{x}_{n-1},f\left({x}_{n-1},\dots ,{x}_{n-1}\right)\right)\\ +{\beta }_{2}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right)+\cdots \\ +{\beta }_{k+1}d\left(g{x}_{n},f\left({x}_{n},\dots ,{x}_{n}\right)\right),\end{array}$
that is,
$\begin{array}{rl}d\left({y}_{n},{y}_{n+1}\right)\le & \left[\sum _{i=1}^{k}{\alpha }_{i}\right]d\left({y}_{n-1},{y}_{n}\right)\\ +{\beta }_{1}d\left({y}_{n-1},{y}_{n}\right)+\cdots +{\beta }_{k}d\left({y}_{n-1},{y}_{n}\right)+{\beta }_{k+1}d\left({y}_{n},{y}_{n+1}\right)\\ +{\beta }_{1}d\left({y}_{n-1},{y}_{n}\right)+\cdots +{\beta }_{k-1}d\left({y}_{n-1},{y}_{n}\right)+{\beta }_{k}d\left({y}_{n},{y}_{n+1}\right)\\ +{\beta }_{k+1}d\left({y}_{n},{y}_{n+1}\right)+\cdots \\ +{\beta }_{1}d\left({y}_{n-1},{y}_{n}\right)+{\beta }_{2}d\left({y}_{n},{y}_{n+1}\right)+\cdots +{\beta }_{k+1}d\left({y}_{n},{y}_{n+1}\right).\end{array}$
Setting ${d}_{n}=d\left({y}_{n},{y}_{n+1}\right)$, we obtain
$\begin{array}{c}{d}_{n}\le \left[\sum _{i=1}^{k}{\alpha }_{i}\right]{d}_{n-1}+\left[k{\beta }_{1}+\left(k-1\right){\beta }_{2}+\cdots +2{\beta }_{k-1}+{\beta }_{k}\right]{d}_{n-1}\hfill \\ \phantom{{d}_{n}\le }+\left[k{\beta }_{k+1}+\left(k-1\right){\beta }_{k}+\cdots +2{\beta }_{3}+{\beta }_{2}\right]{d}_{n},\hfill \\ {d}_{n}\le \left[\sum _{i=1}^{k}{\alpha }_{i}+\sum _{i=1}^{k}\left(k+1-i\right){\beta }_{i}\right]{d}_{n-1}+\left[\sum _{i=2}^{k+1}\left(i-1\right){\beta }_{i}\right]{d}_{n},\hfill \\ {d}_{n}\le \frac{{\sum }_{i=1}^{k}{\alpha }_{i}+{\sum }_{i=1}^{k+1}\left(k+1-i\right){\beta }_{i}}{1-{\sum }_{i=1}^{k+1}\left(i-1\right){\beta }_{i}}{d}_{n-1},\hfill \\ {d}_{n}\le \lambda {d}_{n-1}\phantom{\rule{1em}{0ex}}\left(\text{say}\right).\hfill \end{array}$
Let $A={\sum }_{i=1}^{k}{\alpha }_{i}$, $B=k{\sum }_{i=1}^{k+1}{\beta }_{i}$, $C={\sum }_{i=1}^{k+1}\left(i-1\right){\beta }_{i}$, then in view of (9) we have $A+B<1$. Therefore
$\lambda =\frac{{\sum }_{i=1}^{k}{\alpha }_{i}+{\sum }_{i=1}^{k+1}\left(k+1-i\right){\beta }_{i}}{1-{\sum }_{i=1}^{k+1}\left(i-1\right){\beta }_{i}}=\frac{A+B-C}{1-C}<1.$
By repeating this process, we obtain
${d}_{n}\le {\lambda }^{n}{d}_{0}.$
(10)
Let $m,n\in \mathbb{N}$ and $m>n$, then it follows from (10) that
$\begin{array}{c}d\left({y}_{n},{y}_{m}\right)\le d\left({y}_{n},{y}_{n+1}\right)+d\left({y}_{n+1},{y}_{n+2}\right)+d\left({y}_{n+2},{y}_{n+3}\right)+\cdots +d\left({y}_{m-1},{y}_{m}\right)\hfill \\ \phantom{d\left({y}_{n},{y}_{m}\right)}\le {d}_{n}+{d}_{n+1}+{d}_{n+2}+\cdots \hfill \\ \phantom{d\left({y}_{n},{y}_{m}\right)}\le {\lambda }^{n}{d}_{0}+{\lambda }^{n+1}{d}_{0}+{\lambda }^{n+2}{d}_{0}+\cdots \hfill \\ \phantom{d\left({y}_{n},{y}_{m}\right)}=\left[1+\lambda +{\lambda }^{2}+\cdots \right]{\lambda }^{n}{d}_{0},\hfill \\ d\left({y}_{n},{y}_{m}\right)\le \frac{{\lambda }^{n}}{1-\lambda }{d}_{0}.\hfill \end{array}$
As $\lambda <1$, we have $\frac{{\lambda }^{n}}{1-\lambda }{d}_{0}\to 0$ as $n\to \mathrm{\infty }$. Therefore, it follows from the above inequality that ${lim}_{n,m\to \mathrm{\infty }}d\left({y}_{n},{y}_{m}\right)=0$. Therefore $\left\{{y}_{n}\right\}=\left\{g{x}_{n}\right\}$ is a Cauchy sequence. As $g\left(X\right)$ is closed, there exist $v\in g\left(X\right)$, $u\in X$ such that
$\underset{n\to \mathrm{\infty }}{lim}{y}_{n}=\underset{n\to \mathrm{\infty }}{lim}g{x}_{n}=gu=v.$
We shall show that v is a point of coincidence of f and g. For any $n\in \mathbb{N}$, we obtain
$\begin{array}{rl}d\left(gu,f\left(u,\dots ,u\right)\right)\le & d\left(gu,{y}_{n+1}\right)+d\left({y}_{n+1},f\left(u,\dots ,u\right)\right)\\ \le & d\left(gu,{y}_{n+1}\right)+d\left(f\left({x}_{n},\dots ,{x}_{n}\right),f\left(u,\dots ,u\right)\right)\\ \le & d\left(gu,{y}_{n+1}\right)+d\left(f\left({x}_{n},\dots ,{x}_{n}\right),f\left({x}_{n},\dots ,{x}_{n},u\right)\right)\\ +d\left(f\left({x}_{n},\dots ,{x}_{n},u\right),f\left({x}_{n},\dots ,{x}_{n},u,u\right)\right)+\cdots \\ +d\left(f\left({x}_{n},u,\dots ,u\right),f\left(u,\dots ,u\right)\right).\end{array}$
By (III) we have $g{x}_{n}⪯gu$ for all $n\in \mathbb{N}$, also, as ${y}_{n}=g{x}_{n}=f\left({x}_{n},\dots ,{x}_{n}\right)$, ${d}_{n}=d\left(g{x}_{n},g{x}_{n+1}\right)$ and $gu=v$. Therefore, using (8) in the above inequality, we obtain
$\begin{array}{rcl}d\left(v,f\left(u,\dots ,u\right)\right)& \le & {\alpha }_{k}d\left({y}_{n},v\right)+{\beta }_{1}{d}_{n}+{\beta }_{2}{d}_{n}+\cdots +{\beta }_{k}{d}_{n}\\ +{\beta }_{k+1}d\left(v,f\left(u,\dots ,u\right)\right)\\ +{\alpha }_{k-1}d\left({y}_{n},v\right)+{\beta }_{1}{d}_{n}+{\beta }_{2}{d}_{n}+\cdots \\ +{\beta }_{k-1}{d}_{n}+{\beta }_{k}d\left(v,f\left(u,\dots ,u\right)\right)+{\beta }_{k+1}d\left(v,f\left(u,\dots ,u\right)\right)\\ +\cdots \\ +{\alpha }_{1}d\left({y}_{n},v\right)+{\beta }_{1}{d}_{n}+{\beta }_{2}d\left(v,f\left(u,\dots ,u\right)\right)+\cdots \\ +{\beta }_{k+1}d\left(v,f\left(u,\dots ,u\right)\right)+d\left(v,{y}_{n+1}\right)\\ =& \left[\sum _{i=1}^{k}{\alpha }_{i}\right]d\left({y}_{n},v\right)+\left[\sum _{i=1}^{k}\left(k+1-i\right){\beta }_{i}\right]{d}_{n}\\ +\left[\sum _{i=2}^{k+1}\left(i-1\right){\beta }_{i}\right]d\left(v,f\left(u,\dots ,u\right)\right)+d\left(v,{y}_{n+1}\right),\end{array}$
that is,
$\begin{array}{c}\left(1-C\right)d\left(v,f\left(u,\dots ,u\right)\right)\le Ad\left({y}_{n},v\right)+\left(B-C\right)d\left({y}_{n},{y}_{n+1}\right)+d\left(v,{y}_{n+1}\right),\hfill \\ \left(1-C\right)d\left(v,f\left(u,\dots ,u\right)\right)\le \left(A+B-C\right)d\left({y}_{n},v\right)+\left(1+B-C\right)d\left({y}_{n+1},v\right).\hfill \end{array}$
As ${lim}_{n\to \mathrm{\infty }}d\left({y}_{n},v\right)=0$ and $1-C=1-{\sum }_{i=1}^{k+1}\left(i-1\right){\beta }_{i}>0$, therefore it follows from the above inequality that
$d\left(v,f\left(u,\dots ,u\right)\right)=0,\phantom{\rule{1em}{0ex}}\text{that is},\phantom{\rule{1em}{0ex}}f\left(u,\dots ,u\right)=v=gu.$
(11)
Thus, u is a coincidence point and v is a corresponding point of coincidence of f and g. Suppose, f and g are weakly compatible, then by (11) we have
$f\left(v,\dots ,v\right)=f\left(gu,\dots ,gu\right)=g\left(f\left(u,\dots ,u\right)\right)=gv.$
Again, by (III), $gu⪯ggu=gv$; therefore using (8) and a similar process as several times before, we obtain
$\begin{array}{rcl}d\left(v,f\left(v,\dots ,v\right)\right)& =& d\left(f\left(u,\dots ,u\right),f\left(v,\dots ,v\right)\right)\\ \le & d\left(f\left(u,\dots ,u\right),f\left(u,\dots ,u,v\right)\right)\\ +d\left(f\left(u,\dots ,u,v\right),f\left(u,\dots ,u,v,v\right)\right)+\cdots \\ +d\left(f\left(u,v,\dots ,v\right),f\left(v,\dots ,v\right)\right)\\ \le & Ad\left(gu,gv\right)+\left(B-C\right)d\left(gu,f\left(u,\dots ,u\right)\right)\\ +Cd\left(gv,f\left(v,\dots ,v\right)\right)\\ =& Ad\left(v,f\left(v,\dots ,v\right)\right).\end{array}$
As $A={\sum }_{i=1}^{k}{\alpha }_{i}<1$, we obtain
$d\left(v,f\left(v,\dots ,v\right)\right)=0,\phantom{\rule{1em}{0ex}}\text{that is},\phantom{\rule{1em}{0ex}}f\left(v,\dots ,v\right)=v=gv.$
Thus v is a common fixed point of f and g. Suppose that the set of common fixed points is g-well ordered. We shall show that the common fixed point is unique. Assume on the contrary that ${v}_{0}$ is another common fixed point of f and g, that is, ${v}_{0}=f\left({v}_{0},\dots ,{v}_{0}\right)=g{v}_{0}$ and $v\ne {v}_{0}$. As v and ${v}_{0}$ are g-comparable, let for example $gv⪯g{v}_{0}$. From (8), it follows that
$\begin{array}{rcl}d\left(v,{v}_{0}\right)& =& d\left(f\left(v,\dots ,v\right),f\left({v}_{0},\dots ,{v}_{0}\right)\right)\\ \le & d\left(f\left(v,\dots ,v\right),f\left(v,\dots ,v,{v}_{0}\right)\right)\\ +d\left(f\left(v,\dots ,v,{v}_{0}\right),f\left(v,\dots ,v,{v}_{0},{v}_{0}\right)\right)+\cdots \\ +d\left(f\left(v,{v}_{0},\dots ,{v}_{0}\right),f\left({v}_{0},\dots ,{v}_{0}\right)\right)\\ \le & Ad\left(gv,g{v}_{0}\right)+\left(B-C\right)d\left(gv,f\left(v,\dots ,v\right)\right)+Cd\left(g{v}_{0},f\left({v}_{0},\dots ,{v}_{0}\right)\right)\\ =& Ad\left(v,{v}_{0}\right).\end{array}$

As $A={\sum }_{i=1}^{k}{\alpha }_{i}<1$, we obtain $d\left(v,{v}_{0}\right)=0$, that is, $v={v}_{0}$, a contradiction. Therefore the common fixed point is unique. For converse, if a common fixed point of f and g is unique, then the set of common fixed points of f and g is singleton, and thus g-well ordered. □

Remark 2.2 Let $\left(X,⪯,d\right)$ be an ordered metric space, and let $f,g:X\to X$ be two mappings. Then f is called an ordered g-weak contraction if
$d\left(fx,fy\right)\le {\alpha }_{1}d\left(gx,gy\right)+{\alpha }_{2}d\left(fx,gx\right)+{\alpha }_{3}d\left(fy,gy\right)$

for all $x,y\in X$ with $x⪯y$, where ${\alpha }_{1}$, ${\alpha }_{2}$, ${\alpha }_{3}$ are nonnegative constants such that ${\alpha }_{1}+{\alpha }_{2}+{\alpha }_{3}<1$. If the above inequality is satisfied for all $x,y\in X$, then f is called a g-weak contraction (see [35]). For $k=1$ in Theorem 2.1, we get a fixed point result for an ordered g-weak contraction in metric spaces.

The following is a fixed point result for ordered Prešić-Reich type mappings in metric spaces and can be obtained by taking $g={I}_{X}$ (that is, the identity mapping of X) in Theorem 2.1.

Corollary 2.3 Let $\left(X,⪯,d\right)$ be an ordered complete metric space. Let k be a positive integer, $f:{X}^{k}\to X$ be a mapping such that the following conditions hold:
1. (I)

f is an ordered Prešić-Reich type contraction;

2. (II)

there exists ${x}_{0}\in X$ such that ${x}_{0}⪯f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$;

3. (III)

f is nondecreasing (with respect to ‘);

4. (IV)

if a nondecreasing sequence $\left\{{x}_{n}\right\}$ converges to $u\in X$, then ${x}_{n}⪯u$ for all $n\in \mathbb{N}$.

Then f has a fixed point. Moreover, the set of fixed points of f is well ordered if and only if f has a unique fixed point.

The following corollary is a generalization of the result of Prešić in an ordered metric space and can be obtained by taking ${\beta }_{i}=0$ for $1\le i\le k+1$ in Theorem 2.1.

Corollary 2.4 Let $\left(X,⪯,d\right)$ be an ordered complete metric space. Let k be a positive integer, $f:{X}^{k}\to X$ and $g:X\to X$ be two mappings such that $f\left({X}^{k}\right)\subset g\left(x\right)$, $g\left(X\right)$ is a closed subset of X and
$d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)\le \sum _{i=1}^{k}{\alpha }_{i}d\left(g{x}_{i},g{x}_{i+1}\right)$
(12)
for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with $g{x}_{1}⪯g{x}_{2}⪯\cdots ⪯g{x}_{k+1}$, where ${\alpha }_{i}$ are nonnegative constants such that ${\sum }_{i=1}^{k}{\alpha }_{i}<1$. Suppose that the following conditions hold:
1. (I)

there exists ${x}_{0}\in X$ such that $g{x}_{0}⪯f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$;

2. (II)

f is g-nondecreasing;

3. (III)

if a nondecreasing sequence $\left\{g{x}_{n}\right\}$ converges to $gu\in X$, then $g{x}_{n}⪯gu$ for all $n\in \mathbb{N}$ and $gu⪯ggu$.

Then f and g have a point of coincidence. If, in addition, f and g are weakly compatible, then f and g have a common fixed point $v\in X$. Moreover, the set of common fixed points of f and g is g-well ordered if and only if f and g have a unique common fixed point.

The following corollary generalizes the result of Pǎcurar [10] in ordered metric spaces and can be obtained by taking ${\alpha }_{i}=0$ for $1\le i\le k$ in Theorem 2.1.

Corollary 2.5 Let $\left(X,⪯,d\right)$ be an ordered complete metric space. Let k be a positive integer, $f:{X}^{k}\to X$ and $g:X\to X$ be two mappings such that $f\left({X}^{k}\right)\subset g\left(X\right)$, $g\left(X\right)$ is a closed subset of X and
$d\left(f\left({x}_{1},{x}_{2},\dots ,{x}_{k}\right),f\left({x}_{2},{x}_{3},\dots ,{x}_{k+1}\right)\right)\le \sum _{i=1}^{k+1}{\beta }_{i}d\left(g{x}_{i},f\left({x}_{i},{x}_{i},\dots ,{x}_{i}\right)\right)$
(13)
for all ${x}_{1},{x}_{2},\dots ,{x}_{k+1}\in X$ with $g{x}_{1}⪯g{x}_{2}⪯\cdots ⪯g{x}_{k+1}$, where ${\beta }_{i}$ are nonnegative constants such that $k{\sum }_{i=1}^{k+1}{\beta }_{i}<1$. Suppose that the following conditions hold:
1. (I)

there exists ${x}_{0}\in X$ such that $g{x}_{0}⪯f\left({x}_{0},{x}_{0},\dots ,{x}_{0}\right)$;

2. (II)

f is g-nondecreasing;

3. (III)

if a nondecreasing sequence $\left\{g{x}_{n}\right\}$ converges to $gu\in X$, then $g{x}_{n}⪯gu$ for all $n\in \mathbb{N}$ and $gu⪯ggu$.

Then f and g have a point of coincidence. If, in addition, f and g are weakly compatible, then f and g have a common fixed point $v\in X$. Moreover, the set of common fixed points of f and g is g-well ordered if and only if f and g have a unique common fixed point.

The following example illustrates that an ordered Prešić-Reich type contraction may not be an ordered Prešić type or ordered Prešić-Kannan type or Prešić-Reich type contraction; moreover, that the fixed point of an ordered Prešić-Reich type contraction may not be unique (when the set of fixed points of f is not well-ordered).

Example 2.6 Let $X=\left[0,2\right]$ and order relation ‘’ be defined by
and let d be the usual metric on X. Then $\left(X,⪯,d\right)$ is an ordered complete metric space. For $k=2$, define $f:{X}^{2}\to X$ by
Then:
1. (a)

f is not an ordered Prešić type contraction;

2. (b)

f is not an ordered Prešić-Kannan type contraction;

3. (c)

f is not a Prešić-Reich type contraction;

4. (d)

f is an ordered Prešić-Reich type contraction with ${\alpha }_{1}={\alpha }_{2}=\frac{1}{6}$, ${\beta }_{1}={\beta }_{2}={\beta }_{3}=\frac{1}{10}$.

Proof (a) For $k=2$, (5) becomes
$d\left(f\left({x}_{1},{x}_{2}\right),f\left({x}_{2},{x}_{3}\right)\right)\le {\alpha }_{1}d\left({x}_{1},{x}_{2}\right)+{\alpha }_{2}d\left({x}_{2},{x}_{3}\right)$
(14)
for all ${x}_{1},{x}_{2},{x}_{3}\in X$ with ${x}_{1}⪯{x}_{2}⪯{x}_{3}$, where ${\alpha }_{1}$, ${\alpha }_{2}$ are nonnegative constants such that ${\alpha }_{1}+{\alpha }_{2}<1$. Note that $1⪯1⪯\frac{9}{10}$, therefore for ${x}_{1}={x}_{2}=1$, ${x}_{3}=\frac{9}{10}$, (14) becomes
$\begin{array}{c}d\left(f\left(1,1\right),f\left(1,\frac{9}{10}\right)\right)\le {\alpha }_{1}d\left(1,1\right)+{\alpha }_{2}d\left(1,\frac{9}{10}\right),\hfill \\ d\left(\frac{1}{12},\frac{19}{60}\right)\le {\alpha }_{2}\frac{1}{10},\hfill \\ \frac{7}{3}\le {\alpha }_{2}.\hfill \end{array}$

But ${\alpha }_{1}+{\alpha }_{2}<1$ and therefore the above inequality will never hold. Thus f is not an ordered Prešić type contraction.

(b) For $k=2$, (6) becomes
$\begin{array}{rcl}d\left(f\left({x}_{1},{x}_{2}\right),f\left({x}_{2},{x}_{3}\right)\right)& \le & \beta \left[d\left({x}_{1},f\left({x}_{1},{x}_{1}\right)\right)+d\left({x}_{2},f\left({x}_{2},{x}_{2}\right)\right)\\ +d\left({x}_{3},f\left({x}_{3},{x}_{3}\right)\right)\right]\end{array}$
(15)
for all ${x}_{1},{x}_{2},{x}_{3}\in X$ with ${x}_{1}⪯{x}_{2}⪯{x}_{3}$, where β is a nonnegative constant such that $\beta <\frac{1}{6}$. Note that $x⪯0⪯0$ for all $x\in \left(0,1\right)$ and therefore for ${x}_{2}={x}_{3}=0$, ${x}_{1}=x\in \left(0,1\right)$, (15) becomes
$\begin{array}{c}d\left(f\left(x,0\right),f\left(0,0\right)\right)\le {\beta }_{1}d\left(x,f\left(x,x\right)\right)+{\beta }_{2}d\left(0,f\left(0,0\right)\right)+{\beta }_{3}d\left(0,f\left(0,0\right)\right),\hfill \\ d\left(\frac{x}{6},0\right)\le {\beta }_{1}d\left(x,\frac{x}{3}\right)+{\beta }_{2}d\left(0,0\right)+{\beta }_{3}d\left(0,0\right),\hfill \\ \frac{x}{6}\le {\beta }_{1}\frac{2x}{3}.\hfill \end{array}$
But $\beta <\frac{1}{6}$, and therefore the above inequality will never hold. Thus f is not an ordered Prešić-Kannan type contraction.
1. (c)
For $k=2$, (7) becomes
$\begin{array}{rcl}d\left(f\left({x}_{1},{x}_{2}\right),f\left({x}_{2},{x}_{3}\right)\right)& \le & {\alpha }_{1}d\left({x}_{1},{x}_{2}\right)+{\alpha }_{2}d\left({x}_{2},{x}_{3}\right)\\ +{\beta }_{1}d\left({x}_{1},f\left({x}_{1},{x}_{1}\right)\right)\\ +{\beta }_{2}d\left({x}_{2},f\left({x}_{2},{x}_{2}\right)\right)+{\beta }_{3}d\left({x}_{3},f\left({x}_{3},{x}_{3}\right)\right),\end{array}$
(16)

where ${\alpha }_{1}$, ${\alpha }_{2}$, ${\beta }_{1}$, ${\beta }_{2}$, ${\beta }_{3}$ are nonnegative constants such that ${\sum }_{i=1}^{2}{\alpha }_{i}+2{\sum }_{i=1}^{3}{\beta }_{i}<1$. If f is a Prešić-Reich type contraction, then inequality (16) must be satisfied for all ${x}_{1},{x}_{2},{x}_{3}\in X$. Note that for ${x}_{1}={x}_{2}=2$, ${x}_{3}=0$, (16) becomes
$\begin{array}{c}d\left(f\left(2,2\right),f\left(2,0\right)\right)\le {\alpha }_{1}d\left(2,2\right)+{\alpha }_{2}d\left(2,0\right)\hfill \\ \phantom{d\left(f\left(2,2\right),f\left(2,0\right)\right)\le }+{\beta }_{1}d\left(2,f\left(2,2\right)\right)+{\beta }_{2}d\left(2,f\left(2,2\right)\right)+{\beta }_{3}d\left(0,f\left(0,0\right)\right),\hfill \\ d\left(2,0\right)\le {\alpha }_{2}d\left(2,0\right)+{\beta }_{1}d\left(2,2\right)+{\beta }_{2}d\left(2,2\right)+{\beta }_{3}d\left(0,0\right),\hfill \\ 2\le 2{\alpha }_{2}.\hfill \end{array}$

But ${\sum }_{i=1}^{2}{\alpha }_{i}+2{\sum }_{i=1}^{3}{\beta }_{i}<1$, and therefore the above inequality will never hold. Thus f is not a Prešić-Reich type contraction.

(d) If f is an ordered Prešić-Reich type contraction, then inequality (16) must be satisfied for all ${x}_{1},{x}_{2},{x}_{3}\in X$ with ${x}_{1}⪯{x}_{2}⪯{x}_{3}$. Indeed, we have to check the validity of (16) only for ${x}_{1},{x}_{2},{x}_{3}\in \left[0,1\right]$, ${x}_{1},{x}_{2},{x}_{3}\in \left(1,2\right)$ and ${x}_{1}={x}_{2}={x}_{3}=2$. If ${x}_{1}={x}_{2}={x}_{3}=1$ or ${x}_{1}={x}_{2}={x}_{3}=2$, then (16) is satisfied trivially. If ${x}_{1},{x}_{2},{x}_{3}\in \left[0,1\right)$ or ${x}_{1},{x}_{2},{x}_{3}\in \left(1,2\right)$ with ${x}_{1}⪯{x}_{2}⪯{x}_{3}$, that is, ${x}_{3}\le {x}_{2}\le {x}_{1}$, then (16) becomes
$\begin{array}{c}d\left(\frac{{x}_{1}+{x}_{2}}{6},\frac{{x}_{2}+{x}_{3}}{6}\right)\le {\alpha }_{1}d\left({x}_{1},{x}_{2}\right)+{\alpha }_{2}d\left({x}_{2},{x}_{3}\right)\hfill \\ \phantom{d\left(\frac{{x}_{1}+{x}_{2}}{6},\frac{{x}_{2}+{x}_{3}}{6}\right)\le }+{\beta }_{1}d\left({x}_{1},\frac{{x}_{1}}{3}\right)+{\beta }_{2}d\left({x}_{2},\frac{{x}_{2}}{3}\right)+{\beta }_{3}d\left({x}_{3},\frac{{x}_{3}}{3}\right),\hfill \\ \frac{{x}_{1}-{x}_{3}}{6}\le {\alpha }_{1}\left({x}_{1}-{x}_{2}\right)+{\alpha }_{2}\left({x}_{2}-{x}_{3}\right)+\frac{2{x}_{1}}{3}{\beta }_{1}+\frac{2{x}_{2}}{3}{\beta }_{2}+\frac{2{x}_{3}}{3}{\beta }_{3},\hfill \end{array}$
which is valid for ${\alpha }_{1}={\alpha }_{2}=\frac{1}{6}$, ${\beta }_{1}={\beta }_{2}={\beta }_{3}=\frac{1}{10}$. If any one of ${x}_{1}$, ${x}_{2}$, ${x}_{3}$ is equal to 1, then with a similar process one can verify the same result. If any two of ${x}_{1}$, ${x}_{2}$, ${x}_{3}$ are equal to 1, for example, let ${x}_{1}={x}_{2}=1$, ${x}_{3}\in \left[0,1\right)$, then (16) becomes
$\begin{array}{c}d\left(\frac{1}{12},\frac{1+{x}_{3}}{6}\right)\le {\alpha }_{1}d\left(1,1\right)+{\alpha }_{2}d\left(1,{x}_{3}\right)\hfill \\ \phantom{d\left(\frac{1}{12},\frac{1+{x}_{3}}{6}\right)\le }+{\beta }_{1}d\left(1,\frac{1}{12}\right)+{\beta }_{2}d\left(1,\frac{1}{12}\right)+{\beta }_{3}d\left({x}_{3},\frac{{x}_{3}}{3}\right),\hfill \\ \frac{1+2{x}_{3}}{12}\le {\alpha }_{2}\left(1-{x}_{3}\right)+\frac{11}{12}{\beta }_{1}+\frac{11}{12}{\beta }_{2}+\frac{2{x}_{3}}{3}{\beta }_{3},\hfill \end{array}$

which is valid for ${\alpha }_{1}={\alpha }_{2}=\frac{1}{6}$, ${\beta }_{1}={\beta }_{2}={\beta }_{3}=\frac{1}{10}$. Similarly, in all possible cases, (16) is satisfied for ${\alpha }_{1}={\alpha }_{2}=\frac{1}{6}$, ${\beta }_{1}={\beta }_{2}={\beta }_{3}=\frac{1}{10}$. Thus, f is an ordered Prešić-Reich type contraction. All the conditions of Corollary 2.3 (except the set of fixed points of f is well ordered) are satisfied and the set of fixed points of f is $\mathcal{F}=\left\{0,2\right\}$. Note that the set of fixed points of f, that is , is not well ordered (as $\left(0,2\right),\left(2,0\right)\notin \phantom{\rule{0.2em}{0ex}}⪯$) and fixed point f is not unique. □

## Declarations

### Acknowledgements

This paper is supported by Grant No. 1740024 from the Ministry of Science and Technical Development of the Republic of Serbia.

## Authors’ Affiliations

(1)
Department of Applied Mathematics, Shri Vaishnav Institute of Technology and Science
(2)
Department of Mathematics, Faculty of Mechanical Engineering, University of Belgrade
(3)
Department of Industrial Engineering, Faculty of Mechanical Engineering, University of Belgrade

## 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. Reich S: Some remarks concerning contraction mappings. Can. Math. Bull. 1971, 14: 121–124. 10.4153/CMB-1971-024-9
4. Prešić S: Sur la convergence des suites. C. R. Acad. Sci. Paris 1965, 260: 3828–3830.
5. Prešić S: Sur une classe d’inéquations aux différences finite et sur la convergence de certaines suites. Publ. Inst. Math. (Belgr.) 1965, 5(19):75–78.
6. Shukla S, Radenović S: A generalization of Prešić type mappings in 0-complete ordered partial metric spaces. Chin. J. Math. 2013., 2013: Article ID 859531 10.1155/2013/859531Google Scholar
7. Shukla S: Prešić type results in 2-Banach spaces. Afr. Math. 2013. 10.1007/s13370-013-0174-2Google Scholar
8. Ćirić LB, Prešić S: On Prešić type generalisation of Banach contraction principle. Acta Math. Univ. Comen. 2007, LXXVI(2):143–147.
9. Pǎcurar M: A multi-step iterative method for approximating common fixed points of Prešić-Rus type operators on metric spaces. Stud. Univ. Babeş-Bolyai, Math. 2010, LV(1):416–420.
10. Pǎcurar M: Approximating common fixed points of Prešić-Kannan type operators by a multi-step iterative method. An. Şt. Univ. Ovidius Constanţa 2009, 17(1):153–168.
11. Pǎcurar M: Common fixed points for almost Prešić type operators. Carpath. J. Math. 2012, 28(1):117–126.
12. Khan M, Berzig M, Samet B: Some convergence results for iterative sequences of Prešić type and applications. Adv. Differ. Equ. 2012. 10.1186/1687-1847-2012-38Google Scholar
13. George R, Reshma K, Rajagopalan R: A generalised fixed point theorem of Prešić type in cone metric spaces and application to Markov process. Fixed Point Theory Appl. 2011. 10.1186/1687-1812-2011-85Google Scholar
14. Shukla S, Fisher B: A generalization of Prešić type mappings in metric-like spaces. J. Oper. 2013., 2013: Article ID 368501 10.1155/2013/368501Google Scholar
15. Shukla, S, Sen, R, Radenović, S: Set-valued Prešić type contraction in metric spaces. An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (in press)
16. Shukla S, Sen R: Set-valued Prešić-Reich type mappings in metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2012. 10.1007/s13398-012-0114-2Google Scholar
17. Shukla S, Radenović S, Pantelić S: Some fixed point theorems for Prešić-Hardy-Rogers type contractions in metric spaces. J. Math. 2013., 2013: Article ID 295093 10.1155/2013/295093Google Scholar
18. Malhotra S, Shukla S, Sen R: A generalization of Banach contraction principle in ordered cone metric spaces. J. Adv. Math. Stud. 2012, 5(2):59–67.
19. Chen Y: A Prešić type contractive condition and its applications. Nonlinear Anal. 2009. 10.1016/j.na.2009.03.006Google Scholar
20. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some application to matrix equations. Proc. Am. Math. Soc. 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4
21. Nieto J, Lopez R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5
22. Nieto J, Lopez R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser. 2007, 23(12):2205–2212. 10.1007/s10114-005-0769-0
23. Paesano D, Vetro P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 2012, 159: 911–920. 10.1016/j.topol.2011.12.008
24. Vetro F, Radenović S: Nonlinear ψ -quasi-contractions of Ćirić-type in partial metric spaces. J. Nonlinear Anal. Optim., Theory Appl. 2012, 219: 1594–1600.
25. Aydi H: Fixed point results for weakly contractive mappings in ordered partial metric spaces. J. Adv. Math. Stud. 2011, 4(2):1–12.
26. Aydi H: Fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces. J. Nonlinear Anal. Optim., Theory Appl. 2011, 2(2):33–48.
27. Aydi H: Some coupled fixed point results on partial metric spaces. Int. J. Math. Math. Sci. 2011., 2011: Article ID 647091Google Scholar
28. Aydi H: Some fixed point results in ordered partial metric spaces. J. Nonlinear Sci. Appl. 2011, 4(3):210–217.
29. Nashine H, Kadelburg Z, Radenović S, Kim J: Fixed point theorems under Hardy-Rogers contractive conditions on 0-complete ordered partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 180Google Scholar
30. Altun I, Erduran A: Fixed point theorems for monotone mappings on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 508730Google Scholar
31. Radenović S, Kadelburg Z: Generalized weak contractions in partially ordered metric spaces. Comput. Math. Appl. 2010, 60: 1776–1783. 10.1016/j.camwa.2010.07.008
32. Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 2012, 55: 680–687. 10.1016/j.mcm.2011.08.042
33. Luong N, Thuan N: Some fixed point theorems of Prešić-Ćirić type. Acta Univ. Apulensis 2012, 30: 237–249.
34. Abbas M, Jungck J: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 2008, 341: 416–420. 10.1016/j.jmaa.2007.09.070
35. Vetro P: Common fixed points in cone metric spaces. Rend. Circ. Mat. Palermo 2007, 56(2):464–468.