# On α-ψ-Meir-Keeler contractive mappings

## Abstract

In this paper, we introduce the notion of α-ψ-Meir-Keeler contractive mappings via a triangular α-admissible mapping. We discuss the existence and uniqueness of a fixed point of such a mapping in the setting of complete metric spaces. We state a number of examples to illustrate our results.

MSC:46N40, 47H10, 54H25, 46T99.

## 1 Introduction and preliminaries

Fixed-point theory is one of the most intriguing research fields in nonlinear analysis. The number of authors have published papers and have increased continuously in the last decades. The main reason for this involvement can be observed easily: Application potential. Fixed point theory has an application in many disciplines such as chemistry, physics, biology, computer science and many branches of mathematics. Banach contraction mapping principle or Banach fixed-point theorem is the most celebrated and pioneer result in this direction: In a complete metric space, each contraction mapping has a unique fixed point. Following Banach , many authors give various generalizations of this principle in various space (see e.g. ). One of the interesting results was given by Samet et al.  by defining α-ψ-contractive mappings via admissible mappings, see also .

In this paper, we introduce an α-ψ-Meir-Keeler contractive mapping in the setting of complete metric spaces via a triangular α-admissible mapping. We prove the existence and uniqueness of a fixed point of such a mapping. We also consider a number of examples to illustrate our results.

Definition 1 Let $f:X\to X$ and $\alpha :X×X\to \left(-\mathrm{\infty },+\mathrm{\infty }\right)$. We say that f is a triangular α-admissible mapping if

1. (T1)

$\alpha \left(x,y\right)\ge 1$ implies $\alpha \left(fx,fy\right)\ge 1$, $x,y\in X$,

2. (T2)

$\left\{\begin{array}{c}\alpha \left(x,z\right)\ge 1,\hfill \\ \alpha \left(z,y\right)\ge 1,\hfill \end{array}$ implies $\alpha \left(x,y\right)\ge 1$, $x,y,z\in X$.

Example 2 Let $X=\mathbb{R}$, $fx=\sqrt{x}$ and $\alpha \left(x,y\right)={e}^{x-y}$ then f is a triangular α-admissible mapping. Indeed, if $\alpha \left(x,y\right)={e}^{x-y}\ge 1$ then $x\ge y$ which implies $fx\ge fy$. That is, $\alpha \left(fx,fy\right)={e}^{fx-fy}\ge 1$. Also, if $\left\{\begin{array}{c}\alpha \left(x,z\right)\ge 1,\hfill \\ \alpha \left(z,y\right)\ge 1\hfill \end{array}$ then $\left\{\begin{array}{c}x-z\ge 0,\hfill \\ z-y\ge 0.\hfill \end{array}$ That is, $x-y\ge 0$ and so $\alpha \left(x,y\right)={e}^{x-y}\ge 1$.

Example 3 Let $X=\mathbb{R}$, $fx={e}^{{x}^{7}}$ and $\alpha \left(x,y\right)=\sqrt{x-y}+1$. Hence, f is a triangular α-admissible mapping. Again, if $\alpha \left(x,y\right)=\sqrt{x-y}+1\ge 1$ then $x\ge y$ which implies $fx\ge fy$. That is, $\alpha \left(fx,fy\right)\ge 1$.

Moreover, if $\left\{\begin{array}{c}\alpha \left(x,z\right)\ge 1;\hfill \\ \alpha \left(z,y\right)\ge 1,\hfill \end{array}$ then $x-y\ge 0$, and hence, $\alpha \left(x,y\right)\ge 1$.

Example 4 Let $X=\left[0,+\mathrm{\infty }\right)$, $fx={x}^{4}+ln\left({x}^{2}+1\right)$ and

$\alpha \left(x,y\right)=\frac{{x}^{3}}{1+{x}^{3}}-\frac{{y}^{3}}{{y}^{3}+1}+1.$

Then f is a triangular α-admissible mapping. In fact, if

$\alpha \left(x,y\right)=\frac{{x}^{3}}{1+{x}^{3}}-\frac{{y}^{3}}{{y}^{3}+1}+1\ge 1$

then $x\ge y$. Hence, $fx\ge fy$. That is, $\alpha \left(fx,fy\right)\ge 1$. Also,

$\begin{array}{rcl}\alpha \left(x,z\right)+\alpha \left(z,y\right)& =& \frac{{x}^{3}}{1+{x}^{3}}-\frac{{z}^{3}}{{z}^{3}+1}+1+\frac{{z}^{3}}{1+{z}^{3}}-\frac{{y}^{3}}{{y}^{3}+1}+1\\ =& \frac{{x}^{3}}{1+{x}^{3}}-\frac{{y}^{3}}{{y}^{3}+1}+2\le 2\left(\frac{{x}^{3}}{1+{x}^{3}}-\frac{{y}^{3}}{{y}^{3}+1}+1\right)=2\alpha \left(x,y\right).\end{array}$

Thus, $\alpha \left(x,z\right)+\alpha \left(z,y\right)\le 2\alpha \left(x,y\right)$. Now, if $\left\{\begin{array}{c}\alpha \left(x,z\right)\ge 1;\hfill \\ \alpha \left(z,y\right)\ge 1,\hfill \end{array}$ then $\alpha \left(x,y\right)\ge 1$.

Example 5 Let $X=\mathbb{R}$, $fx={x}^{3}+\sqrt{x}$ and $\alpha \left(x,y\right)={x}^{5}-{y}^{5}+1$. Then f is a triangular α-admissible mapping.

Example 6 Let $X=\left[0,+\mathrm{\infty }\right)$, $fx={x}^{2}+{e}^{x}$ and

Hence, f is a triangular α-admissible mapping.

Lemma 7 Let f be a triangular α-admissible mapping. Assume that there exists ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$. Define sequence $\left\{{x}_{n}\right\}$ by ${x}_{n}={f}^{n}{x}_{0}$. Then

$\alpha \left({x}_{m},{x}_{n}\right)\ge 1\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}m,n\in \mathbb{N}\mathit{\text{with}}m

Proof Since there exist ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$ then from (T1), we deduce that $\alpha \left({x}_{1},{x}_{2}\right)=\alpha \left(f{x}_{0},{f}^{2}{x}_{0}\right)\ge 1$. By continuing this process, we get

(1.1)

Suppose that $m. Since $\left\{\begin{array}{c}\alpha \left({x}_{m},{x}_{m+1}\right)\ge 1,\hfill \\ \alpha \left({x}_{m+1},{x}_{m+2}\right)\ge 1,\hfill \end{array}$ then from (T2) we have $\alpha \left({x}_{m},{x}_{m+2}\right)\ge 1$.

Again, since $\left\{\begin{array}{c}\alpha \left({x}_{m},{x}_{m+2}\right)\ge 1,\hfill \\ \alpha \left({x}_{m+2},{x}_{m+3}\right)\ge 1,\hfill \end{array}$ then we deduce $\alpha \left({x}_{m},{x}_{m+3}\right)\ge 1$.

By continuing this process, we get $\alpha \left({x}_{m},{x}_{n}\right)\ge 1$. □

Denote with Ψ the family of nondecreasing functions $\psi :\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ continuous in $t=0$ such that

• $\psi \left(t\right)=0$ if and only if $t=0$,

• $\psi \left(t+s\right)\le \psi \left(t\right)+\psi \left(s\right)$.

## 2 Main results

Definition 8 Let $\left(X,d\right)$ be a metric space and $\psi \in \mathrm{\Psi }$. Suppose that $f:X\to X$ is a triangular α-admissible mapping satisfying the following condition: for each $\epsilon >0$ there exists $\delta >0$ such that

$\epsilon \le \psi \left(d\left(x,y\right)\right)<\epsilon +\delta \phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}\alpha \left(x,y\right)\psi \left(d\left(fx,fy\right)\right)<\epsilon$
(2.1)

for all $x,y\in X$. Then f is called an α-ψ-Meir-Keeler contractive mapping.

Remark 9 Let f be an α-ψ-Meir-Keeler contractive mapping. Then

$\alpha \left(x,y\right)\psi \left(d\left(fx,fy\right)\right)<\psi \left(d\left(x,y\right)\right)$

for all $x,y\in X$ when $x\ne y$. Also, if $x=y$ then $d\left(fx,fy\right)=0$. i.e.,

$\alpha \left(x,y\right)\psi \left(d\left(fx,fy\right)\right)\le \psi \left(d\left(x,y\right)\right)$

for all $x,y\in X$.

Theorem 10 Let $\left(X,d\right)$ be a complete metric space. Suppose that f is a continuous α-ψ-Meir-Keeler contractive mapping and that there exists ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$, then f has a fixed point.

Proof Let ${x}_{0}\in X$ and define a sequence $\left\{{x}_{n}\right\}$ by ${x}_{n}={f}^{n}{x}_{0}$ for all $n\in \mathbb{N}$. If ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$ for some ${n}_{0}\in \mathbb{N}\cup \left\{0\right\}$, then obviously f has a fixed point. Hence, we suppose that

${x}_{n}\ne {x}_{n+1}$
(2.2)

for all $n\in \mathbb{N}\cup \left\{0\right\}$. We have $d\left({x}_{n},{x}_{n+1}\right)>0$ for all $n\in \mathbb{N}\cup \left\{0\right\}$. Now define ${s}_{n}=\psi \left(d\left({x}_{n},{x}_{n+1}\right)\right)$. By Remark 9, we deduce that for all $n\in \mathbb{N}\cup \left\{0\right\}$,

$\alpha \left({x}_{n},{x}_{n+1}\right)\psi \left(d\left({x}_{n+1},{x}_{n+2}\right)\right)=\alpha \left({x}_{n},{x}_{n+1}\right)\psi \left(d\left(f{x}_{n},f{x}_{n+1}\right)\right)<\psi \left(d\left({x}_{n},{x}_{n+1}\right)\right).$

Then by applying Lemma 7

$\psi \left(d\left({x}_{n+1},{x}_{n+2}\right)\right)<\psi \left(d\left({x}_{n},{x}_{n+1}\right)\right).$

Hence, the sequence $\left\{{s}_{n}\right\}$ is decreasing in ${\mathbb{R}}_{+}$ and so it is convergent to $s\in {\mathbb{R}}_{+}$. We will show that $s=0$. Suppose, to the contrary, that $s>0$. Hence, we have

(2.3)

Let $\epsilon =s>0$. Then by hypothesis, there exists a $\delta \left(\epsilon \right)>0$ such that (2.1) holds. On the other hand, by the definition of ε, there exists ${n}_{0}\in \mathbb{N}$ such that

$\epsilon <{s}_{{n}_{0}}=\psi \left(d\left({x}_{{n}_{0}},{x}_{{n}_{0}+1}\right)\right)<\epsilon +\delta .$

Now by (2.1), we have

$\begin{array}{rcl}{s}_{{n}_{0}+1}& =& \psi \left(d\left({x}_{{n}_{0}+1},{x}_{{n}_{0}+2}\right)\right)\le \alpha \left({x}_{{n}_{0}},{x}_{{n}_{0}+1}\right)\psi \left(d\left({x}_{{n}_{0}+1},{x}_{{n}_{0}+2}\right)\right)\\ =& \alpha \left({x}_{{n}_{0}},{x}_{{n}_{0}+1}\right)\psi \left(d\left(f{x}_{{n}_{0}},f{x}_{{n}_{0}+1}\right)\right)<\epsilon =s\end{array}$

which is a contradiction. Hence, $s=0$, that is, ${lim}_{n\to +\mathrm{\infty }}{s}_{n}=0$. Now, by the continuity of ψ in $t=0$, we have ${lim}_{n\to +\mathrm{\infty }}d\left({x}_{n},{x}_{n+1}\right)=0$. For given $\epsilon >0$, by the hypothesis, there exists a $\delta =\delta \left(\epsilon \right)>0$ such that (2.1) holds. Without loss of generality, we assume $\delta <\epsilon$. Since $s=0$, then there exists $N\in \mathbb{N}$ such that

(2.4)

We will prove that for any fixed $k\ge {N}_{0}$,

(2.5)

holds. Note that (2.5), by (2.4), holds for $l=1$. Suppose the condition (2.1) is satisfied for some $m\in \mathbb{N}$. For $l=m+1$, by (2.4), we get

$\begin{array}{rcl}\psi \left(d\left({x}_{k-1},{x}_{k+m}\right)\right)& \le & \psi \left(d\left({x}_{k-1},{x}_{k}\right)+d\left({x}_{k},{x}_{k+m}\right)\right)\\ \le & \psi \left(d\left({x}_{k-1},{x}_{k}\right)\right)+\psi \left(d\left({x}_{k},{x}_{k+m}\right)\right)\\ <& \epsilon +\delta .\end{array}$
(2.6)

If $\psi \left(d\left({x}_{k-1},{x}_{k+m}\right)\right)\ge \epsilon$, then by (2.1) we get

$\begin{array}{rcl}\psi \left(d\left({x}_{k},{x}_{k+m+1}\right)\right)& \le & \alpha \left({x}_{k-1},{x}_{k+m}\right)\psi \left(d\left({x}_{k},{x}_{k+m+1}\right)\right)\\ =& \alpha \left({x}_{k},{x}_{k+m+1}\right)\psi \left(d\left(f{x}_{k-1},f{x}_{k+m}\right)\right)<\epsilon \end{array}$

and hence (2.5) holds.

If $\psi \left(d\left({x}_{k-1},{x}_{k+m}\right)\right)<\epsilon$, by Remark 9, we get

$\psi \left(d\left({x}_{k},{x}_{k+m+1}\right)\right)\le \alpha \left({x}_{k-1},{x}_{k+m}\right)\psi \left(d\left({x}_{k},{x}_{k+m+1}\right)\right)\le \psi \left(d\left({x}_{k-1},{x}_{k+m}\right)\right)<\epsilon .$

Consequently, (2.5) holds for $l=m+1$. Hence, $\psi \left(d\left({x}_{k},{x}_{k+l}\right)\right)\le \epsilon$ for all $k\ge {N}_{0}$ and $l\ge 1$, which means

(2.7)

Hence $\left\{{x}_{n}\right\}$ is a Cauchy sequence. Since $\left(X,d\right)$ is complete, there exists $z\in X$ such that ${x}_{n}\to z$ as $n\to \mathrm{\infty }$. Now, since, f is continuous then

$fz=f\left(\underset{n\to \mathrm{\infty }}{lim}{x}_{n}\right)=\underset{n\to \mathrm{\infty }}{lim}{x}_{n+1}=z,$

that is, f has a fixed point. □

Theorem 11 Let $\left(X,d\right)$ be a complete metric space and let f be a α-ψ-Meir-Keeler contractive mapping. If the following conditions hold:

1. (i)

there exists ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$,

2. (ii)

if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all n and ${x}_{n}\to x$ as $n\to +\mathrm{\infty }$, then $\alpha \left({x}_{n},x\right)\ge 1$ for all n.

Then f has a fixed point.

Proof Following the proof of the Theorem 10, we say that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}\cup \left\{0\right\}$ and that there exist $z\in X$ such that ${x}_{n}\to z$ as $n\to +\mathrm{\infty }$. Hence, from (ii) $\alpha \left({x}_{n},z\right)\ge 1$. By Remark 9, we have

$\begin{array}{rcl}\psi \left(d\left(fz,z\right)\right)& \le & \psi \left(d\left(fz,f{x}_{n}\right)+d\left(f{x}_{n},z\right)\right)\\ \le & \psi \left(d\left(fz,f{x}_{n}\right)\right)+\psi \left(d\left(f{x}_{n},z\right)\right)\\ \le & \alpha \left({x}_{n},z\right)\psi \left(d\left(fz,f{x}_{n}\right)\right)+\psi \left(d\left(f{x}_{n},z\right)\right)\\ \le & \psi \left(d\left(z,{x}_{n}\right)\right)+\psi \left(d\left({x}_{n+1},z\right)\right).\end{array}$

By taking limit as $n\to +\mathrm{\infty }$, in the above inequality, we get $\psi \left(d\left(fz,z\right)\right)\le 0$, that is, $d\left(fz,z\right)=0$. Hence, $fz=z$. □

Next, we give some examples to validate our main result.

Example 12 Let $X=\left[0,\mathrm{\infty }\right)$ and $d\left(x,y\right)=|x-y|$ be a metric on X. Define $f:X\to X$ by

and $\psi \left(t\right)=\frac{1}{4}t$. Clearly, $\left(X,d\right)$ is a complete metric space. We show that f is a triangular α-admissible mapping. Let $x,y\in X$, if $\alpha \left(x,y\right)\ge 1$ then $x,y\in \left[0,1\right]$. On the other hand, for all $x,y\in \left[0,1\right]$ we have $fx\le 1$ and $fy\le 1$. It follows that $\alpha \left(fx,fy\right)\ge 1$. Also, if $\alpha \left(x,z\right)\ge 1$ and $\alpha \left(z,y\right)\ge 1$ then $x,y,z\in \left[0,1\right]$ and hence, $\alpha \left(x,y\right)\ge 1$. Thus, the assertion holds by the same arguments. Notice that $\alpha \left(0,f0\right)\ge 1$.

Now, if $\left\{{x}_{n}\right\}$ is a sequence in X such that $\alpha \left({x}_{n},{x}_{n+1}\right)\ge 1$ for all $n\in \mathbb{N}\cup \left\{0\right\}$ and ${x}_{n}\to x$ as $n\to +\mathrm{\infty }$, then $\left\{{x}_{n}\right\}\subset \left[0,1\right]$ and hence $x\in \left[0,1\right]$. This implies that $\alpha \left({x}_{n},x\right)\ge 1$ for all $n\in \mathbb{N}\cup \left\{0\right\}$. Let $x,y\in \left[0,1\right]$. Without loss of generality, take $x\le y$. Then Clearly, by taking $\delta =\epsilon$ the condition (2.1) holds. Otherwise, $\alpha \left(x,y\right)=-1$. Hence, for given $\epsilon >0$ we have $\alpha \left(x,y\right)\psi \left(d\left(fx,fy\right)\right)\le 0<\epsilon$. Hence, conditions of Theorem 11 holds and f has a fixed point. But, if $x,y\in \left(1,\mathrm{\infty }\right)$ and

$\epsilon \le d\left(x,y\right)<\epsilon +\delta ,$

where $\epsilon >0$ and $\delta >0$. Then

$d\left(fx,fy\right)=2|x-y|=2d\left(x,y\right)\ge d\left(x,y\right)\ge \epsilon .$

That is, the Meir-Keeler theorem cannot applied for this example.

Example 13 Let $X=\left[0,\mathrm{\infty }\right)$ and $d\left(x,y\right)=|x-y|$ be a metric on X. Define $f:X\to X$ by

and $\psi \left(t\right)=\frac{1}{2}t$,

Let $x,y\in \left[0,1\right]$. Without loss of generality, take $x\le y$. Then Clearly, by taking $\delta =\epsilon$ the condition (2.1) holds. Otherwise, $\alpha \left(x,y\right)=-1$. Hence, for given $\epsilon >0$ we have $\alpha \left(x,y\right)\psi \left(d\left(fx,fy\right)\right)\le 0<\epsilon$. Hence, conditions of Theorem 11 holds and f has a fixed point.

Denote with ${\mathrm{\Psi }}_{st}$ the family of strictly nondecreasing functions ${\psi }_{st}:\left[0,+\mathrm{\infty }\right)\to \left[0,+\mathrm{\infty }\right)$ continuous in $t=0$ such that

• ${\psi }_{st}\left(t\right)=0$ if and only if $t=0$,

• ${\psi }_{st}\left(t+s\right)\le {\psi }_{st}\left(t\right)+{\psi }_{st}\left(s\right)$.

Definition 14 Let $\left(X,d\right)$ be a metric space and ${\psi }_{st}\in {\mathrm{\Psi }}_{st}$. Suppose that $f:X\to X$ is a triangular α-admissible mapping satisfying the following condition: for each $\epsilon >0$ there exists $\delta >0$ such that

$\epsilon \le {\psi }_{st}\left(M\left(x,y\right)\right)<\epsilon +\delta \phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}\alpha \left(x,y\right){\psi }_{st}\left(d\left(fx,fy\right)\right)<\epsilon$
(2.8)

for all $x,y\in X$ where

$M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(fx,x\right),d\left(fy,y\right),\frac{1}{2}\left[d\left(fx,y\right)+d\left(x,fy\right)\right]\right\}.$

Then f is called generalized an α-${\psi }_{st}$-Meir-Keeler contractive mapping.

Remark 15 Let f be a generalized α-${\psi }_{st}$-Meir-Keeler contractive mapping. Then

$\alpha \left(x,y\right){\psi }_{st}\left(d\left(fx,fy\right)\right)<{\psi }_{st}\left(M\left(x,y\right)\right)$

for all $x,y\in X$ when $M\left(x,y\right)>0$. Also, if $M\left(x,y\right)=0$ then $x=y$ which implies $\psi \left(d\left(fx,fy\right)\right)=0$, i.e.,

$\alpha \left(x,y\right){\psi }_{st}\left(d\left(fx,fy\right)\right)\le {\psi }_{st}\left(M\left(x,y\right)\right)$

for all $x,y\in X$.

Proposition 16 Let $\left(X,d\right)$ be a metric space and $f:X\to X$ a generalized α-${\psi }_{st}$-Meir-Keeler contractive mapping, if there exists ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$ . Then ${lim}_{n\to \mathrm{\infty }}d\left({f}^{n+1}{x}_{0},{f}^{n}{x}_{0}\right)=0$.

Proof Define a sequence $\left\{{x}_{n}\right\}$ by ${x}_{n}={f}^{n}{x}_{0}$ for all $n\in \mathbb{N}$. If ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$ for some ${n}_{0}\in \mathbb{N}\cup \left\{0\right\}$, then obviously f has a fixed point. Hence, we suppose that

${x}_{n}\ne {x}_{n+1}$
(2.9)

for all $n\in \mathbb{N}\cup \left\{0\right\}$. Then we have $M\left({x}_{n+1},{x}_{n}\right)>0$ for every $n\ge 0$. Then by Lemma 7 and Remark 15, we have

$\begin{array}{rcl}{\psi }_{st}\left(d\left({x}_{n+1},{x}_{n+2}\right)\right)& \le & \alpha \left({x}_{n},{x}_{n+1}\right){\psi }_{st}\left(d\left({x}_{n+1},{x}_{n+2}\right)\right)\\ =& \alpha \left({x}_{n},{x}_{n+1}\right){\psi }_{st}\left(d\left(f{x}_{n},f{x}_{n+1}\right)\right)<{\psi }_{st}\left(M\left({x}_{n},{x}_{n+1}\right)\right)\\ =& {\psi }_{st}\left(max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left(f{x}_{n},{x}_{n}\right),d\left(f{x}_{n+1},{x}_{n+1}\right),\\ \frac{1}{2}\left[d\left(f{x}_{n},{x}_{n+1}\right)+d\left({x}_{n},f{x}_{n+1}\right)\right]\right\}\right)\\ \le & {\psi }_{st}\left(max\left\{d\left({x}_{n},{x}_{n+1}\right),d\left({x}_{n+1},{x}_{n+2}\right)\right\}\right).\end{array}$

Now, since ${\psi }_{st}$ is strictly nondecreasing then, we get

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

Hence, the case where

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

is not possible. Therefore, we deduce that

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

for all n. That is, ${\left\{d\left({x}_{n+1},{x}_{n}\right)\right\}}_{n=0}^{\mathrm{\infty }}$ is a decreasing sequence in ${\mathbb{R}}_{+}$ and it converges to $\epsilon \in {\mathbb{R}}_{+}$, that is,

$\underset{n\to \mathrm{\infty }}{lim}{\psi }_{st}\left(d\left({x}_{n+1},{x}_{n}\right)\right)=\underset{n\to \mathrm{\infty }}{lim}{\psi }_{st}\left(M\left({x}_{n+1},{x}_{n}\right)\right)={\psi }_{st}\left(\epsilon \right).$
(2.11)

Notice that $\epsilon =inf\left\{p\left({x}_{n},{x}_{n+1}\right):n\in \mathbb{N}\right\}$. Let us prove that $\epsilon =0$. Suppose, to the contrary, that $\epsilon >0$. Then $\psi \left(\epsilon \right)>0$. Regarding (2.11) together with the assumption that f is a generalized α-${\psi }_{st}$-Meir-Keeler contractive mapping, for ${\psi }_{st}\left(\epsilon \right)$, there exists $\delta >0$ and a natural number m such that

${\psi }_{st}\left(\epsilon \right)\le {\psi }_{st}\left(M\left({x}_{m},{x}_{m+1}\right)\right)<{\psi }_{st}\left(\epsilon \right)+\delta$

implies that

$\begin{array}{rcl}{\psi }_{st}\left(d\left({x}_{m+1},{x}_{m+2}\right)\right)& \le & \alpha \left({x}_{m},{x}_{m+1}\right){\psi }_{st}\left(d\left({x}_{m+1},{x}_{m+2}\right)\right)\\ =& \alpha \left({x}_{m},{x}_{m+1}\right){\psi }_{st}\left(d\left(f{x}_{m},f{x}_{m+1}\right)\right)<{\psi }_{st}\left(\epsilon \right).\end{array}$

Now, since ${\psi }_{st}$ is strictly nondecreasing then we get

$d\left({x}_{m+2},{x}_{m+1}\right)<\epsilon$

which is a contradiction since $\epsilon =inf\left\{p\left({x}_{n},{x}_{n+1}\right):n\in \mathbb{N}\right\}$. Then $\epsilon =0$ and so ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n+1},{x}_{n}\right)=0$. □

Theorem 17 Let $\left(X,d\right)$ be a complete metric space and $f:X\to X$ a orbitally continuous generalized α-${\psi }_{st}$-Meir-Keeler contractive mapping, if there exist ${x}_{0}\in X$ such that $\alpha \left({x}_{0},f{x}_{0}\right)\ge 1$. Then, f has a fixed point.

Proof Define ${x}_{n+1}={f}^{n+1}{x}_{0}$ for all $n\ge 0$. We want to prove that ${lim}_{m,n\to \mathrm{\infty }}d\left({x}_{n},{x}_{m}\right)=0$. If this is not, then there exist $\epsilon >0$ and a subsequence $\left\{{x}_{n\left(i\right)}\right\}$ of $\left\{{x}_{n}\right\}$ such that

$d\left({x}_{n\left(i\right)},{x}_{n\left(i+1\right)}\right)>2\epsilon .$
(2.12)

For this $\epsilon >0$, there exists $\delta >0$ such that $\epsilon \le {\psi }_{st}\left(M\left(x,y\right)\right)<\epsilon +\delta$ implies that $\alpha \left(x,y\right){\psi }_{st}\left(d\left(fx,fy\right)\right)<\epsilon$. Put $r=min\left\{\epsilon ,\delta \right\}$ and ${s}_{n}=d\left({x}_{n},{x}_{n+1}\right)$ for all $n\ge 1$. From Proposition 16, there exists ${n}_{0}$ such that

${s}_{n}=d\left({x}_{n},{x}_{n+1}\right)<\frac{r}{4}$
(2.13)

for all $n\ge {n}_{0}$. Let $n\left(i\right)>{n}_{0}$. We get $n\left(i\right)\le n\left(i+1\right)-1$. If $d\left({x}_{n\left(i\right)},{x}_{n\left(i+1\right)-1}\right)\le \epsilon +\frac{r}{2}$, then

$\begin{array}{rcl}d\left({x}_{n\left(i\right)},{x}_{n\left(i+1\right)}\right)& \le & d\left({x}_{n\left(i\right)},{x}_{n\left(i+1\right)-1}\right)+d\left({x}_{n\left(i+1\right)-1},{x}_{n\left(i+1\right)}\right)\\ \le & d\left({x}_{n\left(i\right)},{x}_{n\left(i+1\right)-1}\right)+d\left({x}_{n\left(i+1\right)-1},{x}_{n\left(i+1\right)}\right)\\ <& \epsilon +\frac{r}{2}+{s}_{n\left(i+1\right)-1}<\epsilon +\frac{3r}{4}<2\epsilon \end{array}$

which contradicts the assumption (2.12). Therefore, there are values of k such that $n\left(i\right)\le k\le n\left(i+1\right)$ and $d\left({x}_{n\left(i\right)},{x}_{k}\right)>\epsilon +\frac{r}{2}$. Now if $d\left({x}_{n\left(i\right)},{x}_{n\left(i\right)+1}\right)\ge \epsilon +\frac{r}{2}$, then

${s}_{n\left(i\right)}=d\left({x}_{n\left(i\right)},{x}_{n\left(i\right)+1}\right)\ge \epsilon +\frac{r}{2}>r+\frac{r}{2}>\frac{r}{4}$

which is a contradiction with (2.13). Hence, there are values of k with $n\left(i\right)\le k\le n\left(i+1\right)$ such that $d\left({x}_{n\left(i\right)},{x}_{k}\right)<\epsilon +\frac{r}{2}$. Choose smallest integer k with $k\ge n\left(i\right)$ such that $d\left({x}_{n\left(i\right)},{x}_{k}\right)\ge \epsilon +\frac{r}{2}$. Thus, $d\left({x}_{n\left(i\right)},{x}_{k-1}\right)<\epsilon +\frac{r}{2}$ and so

$\begin{array}{rcl}d\left({x}_{n\left(i\right)},{x}_{k}\right)& \le & d\left({x}_{n\left(i\right)},{x}_{k-1}\right)+d\left({x}_{k-1},{x}_{k}\right)\\ \le & d\left({x}_{n\left(i\right)},{x}_{k-1}\right)+d\left({x}_{k-1},{x}_{k}\right)<\epsilon +\frac{r}{2}+\frac{r}{4}=\epsilon +\frac{3r}{4}.\end{array}$

Now, we can choose a natural number k satisfying $n\left(i\right)\le k\le n\left(i+1\right)$ such that

$\epsilon +\frac{r}{2}\le d\left({x}_{n\left(i\right)},{x}_{k}\right)<\epsilon +\frac{3r}{4}.$
(2.14)

Therefore, we obtain (2.15) (2.16)

and

$d\left({x}_{k},{x}_{k+1}\right)={d}_{k}<\frac{r}{4}<\epsilon +r.$
(2.17)

Thus, we have (2.18)

Now, the inequalities (2.15)-(2.18) imply that $M\left({x}_{n\left(i\right)},{x}_{k}\right)<\epsilon +r\le \epsilon +\delta$ and so ${\psi }_{st}\left(M\left({x}_{n\left(i\right)},{x}_{k}\right)\right)<{\psi }_{st}\left(\epsilon +\delta \right)\le {\psi }_{st}\left(\epsilon \right)+{\psi }_{st}\left(\delta \right)$ the fact that f is a generalized α-${\psi }_{st}$-Meir-Keeler contractive mapping yields that,

$d\left({x}_{n\left(i\right)+1},{x}_{k+1}\right)\le \alpha \left({x}_{n\left(i\right)},{x}_{k}\right){\psi }_{st}\left(d\left({x}_{n\left(i\right)+1},{x}_{k+1}\right)\right)<{\psi }_{st}\left(\epsilon \right).$

Then $d\left({x}_{n\left(i\right)+1},{x}_{k+1}\right)<\epsilon$. We deduce,

$\begin{array}{rcl}d\left({f}^{n\left(i\right)}{x}_{0},{f}^{k}{x}_{0}\right)& \le & d\left({f}^{n\left(i\right)}{x}_{0},{f}^{n\left(i\right)+1}{x}_{0}\right)+d\left({f}^{n\left(i\right)+1}{x}_{0},{f}^{k}{x}_{0}\right)\\ \le & d\left({f}^{n\left(i\right)}{x}_{0},{f}^{n\left(i\right)+1}{x}_{0}\right)+d\left({f}^{n\left(i\right)+1}{x}_{0},{f}^{k}{x}_{0}\right)\\ \le & d\left({f}^{n\left(i\right)}{x}_{0},{f}^{n\left(i\right)+1}{x}_{0}\right)+d\left({f}^{n\left(i\right)+1}{x}_{0},{f}^{k+1}{x}_{0}\right)+d\left({f}^{k+1}{x}_{0},{f}^{k}{x}_{0}\right).\end{array}$

Hence, from this with (2.14), (2.16) and (2.17), we obtain

$\begin{array}{rcl}d\left({x}_{n\left(i\right)+1},{x}_{k+1}\right)& \ge & d\left({x}_{n\left(i\right)},{x}_{k}\right)-d\left({x}_{n\left(i\right)},{x}_{n\left(i\right)+1}\right)-d\left({x}_{k},{x}_{k+1}\right)\\ >& \epsilon +\frac{r}{2}-\frac{r}{4}-\frac{r}{4}=\epsilon ,\end{array}$

which is a contradiction. We obtained that ${lim}_{m,n\to \mathrm{\infty }}d\left({x}_{n},{x}_{m}\right)=0$ and so $\left\{{x}_{n}={f}^{n}{x}_{0}\right\}$ is a Cauchy sequence. Since, X is complete, then there exists $z\in X$ such that ${f}^{n}{x}_{0}\to z$ as $n\to \mathrm{\infty }$. Now, since f is orbitally continuous, then $z=fz$. □

Example 18 Let $X=\left[0,\mathrm{\infty }\right)$ and $d\left(x,y\right)=|x-y|$ be a metric on X. Define $f:X\to X$ by

and ${\psi }_{st}\left(t\right)=\frac{1}{2}t$,

Clearly, f is a triangular α-admissible mapping and orbitally continuous. Let $x,y\in \left[0,1\right]$. Without loss of generality, take $x\le y$. Then Clearly, by taking $\delta =3\epsilon$ the condition (2.8) holds. Otherwise, $\alpha \left(x,y\right)=0$. Hence, for given $\epsilon >0$, we have $0=\alpha \left(x,y\right){\psi }_{st}\left(d\left(fx,fy\right)\right)<\epsilon$. Hence, condition of Theorem 17 is held and f has a fixed point.

Theorem 19 Assume that all the hypotheses of Theorem 10 (11 and 17) hold. Adding the following conditions:

1. (iii)

for all $x\ne y\in X$ there exists $v\in X$ such that $\alpha \left(x,v\right)\ge 1$ and $\alpha \left(v,y\right)\ge 1$,

we obtain the uniqueness of the fixed point of f.

Proof Suppose that z and ${z}^{\ast }$ are two fixed points of f such that $z\ne {z}^{\ast }$. Then $\alpha \left(z,v\right)\ge 1$ and $\alpha \left(v,{z}^{\ast }\right)\ge 1$. Hence, from (T2), we have $\alpha \left(z,{z}^{\ast }\right)\ge 1$. Now, by Remark 9, we get

$d\left(z,{z}^{\ast }\right)=d\left(fz,f{z}^{\ast }\right)\le \alpha \left(z,{z}^{\ast }\right)d\left(fz,f{z}^{\ast }\right)

which is a contradiction and so $z={z}^{\ast }$. Similarly, for Theorem 17, we can observe that f has a unique fixed point. □

We can obtain the following corollaries intermediately.

Corollary 20 Let $\left(X,d\right)$ be a complete metric space and $f:X\to X$ is self-mapping. Suppose that for each $\epsilon >0$, there exists $\delta >0$ such that

$\epsilon \le \psi \left(d\left(x,y\right)\right)<\epsilon +\delta \phantom{\rule{1em}{0ex}}\mathit{\text{implies}}\phantom{\rule{1em}{0ex}}\psi \left(d\left(fx,fy\right)\right)<\frac{\epsilon }{L},$

where $\psi \in \mathrm{\Psi }$ and $L\ge 1$. Then f has a unique fixed points.

Corollary 21 Let $\left(X,d\right)$ be a complete metric space and $f:X\to X$ a orbitally continuous self-mapping. Suppose that for each $\epsilon >0$ there exists $\delta >0$ such that

$\epsilon \le {\psi }_{st}\left(M\left(x,y\right)\right)<\epsilon +\delta \phantom{\rule{1em}{0ex}}\mathit{\text{implies}}\phantom{\rule{1em}{0ex}}{\psi }_{st}\left(d\left(fx,fy\right)\right)<\frac{\epsilon }{L},$

where ${\psi }_{st}\in {\mathrm{\Psi }}_{st}$, $L\ge 1$ and

$M\left(x,y\right)=max\left\{d\left(x,y\right),d\left(fx,x\right),d\left(fy,y\right),\frac{1}{2}\left[d\left(fx,y\right)+d\left(x,fy\right)\right]\right\}.$

Then f has unique fixed points.

## References

1. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 1922, 3: 133–181.

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

3. Boyd DW, Wong JSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9

4. Chatterjea SK: Fixed point theorems. C. R. Acad. Bulgare Sci. 1972, 25: 727–730.

5. Ćirić L, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218: 2398–2406. 10.1016/j.amc.2011.07.005

6. Edelstein M: On fixed points and periodic points under contraction mappings. J. Lond. Math. Soc. 1962, 37: 74–79.

7. Hardy GC, Rogers T: A generalization of fixed point theorem of S. Reich. Can. Math. Bull. 1973, 16: 201–206. 10.4153/CMB-1973-036-0

8. Holmes RD: On fixed and periodic points under sets of mappings. Can. Math. Bull. 1969, 12: 813–822. 10.4153/CMB-1969-106-1

9. Jaggi DS: Some unique fixed point theorems. Indian J. Pure Appl. Math. 1977, 8(2):223–230.

10. Kannan R: Some results on fixed points-II. Am. Math. Mon. 1969, 76: 71–76.

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

12. Karapınar E: Weak ϕ -contraction on partial metric spaces. J. Comput. Anal. Appl. 2012, 14(2):206–210.

13. Karapinar E, Erhan IM: Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24: 1894–1899. 10.1016/j.aml.2011.05.013

14. Karapınar E: Generalizations of Caristi Kirk’s theorem on partial metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 4. doi:10.1186/1687–1812–2011–4

15. Karapınar E: Some nonunique fixed point theorems of Ciric type on cone metric spaces. Abstr. Appl. Anal. 2010., 2010: Article ID 123094

16. Karapınar E: Fixed point theorems in cone Banach spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 609281

17. Karapınar E, Yuksel U: Some common fixed point theorems in partial metric spaces. J. Appl. Math. 2011., 2011: Article ID 263621

18. Karapınar E: A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 2011, 12(2):185–191.

19. Kirk WA, Srinavasan PS, Veeramani P: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory Appl. 2003, 4: 79–89.

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

21. Samet B, Vetro C, Vetro P: Fixed point theorem for α - ψ contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014

22. Karapinar E, Samet B: Generalized ( α - ψ ) contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012., 2012: Article ID 793486

## Acknowledgements

The authors would like to thank the referees for their valuable comments and suggestions. Also, the second author would like to thank the Commission on Higher Education, the Thailand Research Fund and the King Mongkut’s University of Technology Thonburi (Grant No. MRG5580213) for financial support during the preparation of this manuscript. The third author is thankful for support of Astara Branch, Islamic Azad University, during this research.

## 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

Karapınar, E., Kumam, P. & Salimi, P. On α-ψ-Meir-Keeler contractive mappings. Fixed Point Theory Appl 2013, 94 (2013). https://doi.org/10.1186/1687-1812-2013-94 