1 Introduction
Recently, Branciari [3] refined the notion of metric to get a new distance function by substituting the triangle inequality with the quadrilateral inequality. This refined metric function was called general metric in some sources, rectangular metric in some others. Throughout the manuscript, we use the Branciari metric for this new function. In a pioneering work, the author [3] successfully defined an open ball and hence a topology for the Branciari metric. On the other hand, the topology of the Branciari metric is quite different from the usual metric topology. For more details, see e.g. the Branciari metric [4‐6] and the related references therein. Besides the interesting topological properties induced by the Branciari metric, the author of [3] reported the analogous celebrated Banach contraction mapping principle which has been generalized, extended, and improved in several ways; see e.g. [1‐5, 7‐34]. Although Branciari [3] correctly stated the analog of Banach contraction mapping principle in the setting of Branciari metric space, proofs has gaps which was removed by a number of authors; see e.g. [5, 12, 19, 31].
In this paper we extend the results introduced by Jleli et al. [1, 18] by using the concept of triangular α-orbital admissible mappings obtained in [2]. Throughout the article \(\mathbb{N}\), \(\mathbb{R}\) shall denote the set of natural and real numbers, respectively.
Anzeige
Definition 1
[3]
Let X be a non-empty set and \(d:X\times X\longrightarrow [ 0,\infty ) \) be a mapping such that, for all \(x,y\in X\) and all distinct points \(u,v\in X\), each of them different from x and y, one has
(i)
\(d ( x,y ) =0\Longleftrightarrow x=y\),
(ii)
\(d ( x,y ) =d ( y,x ) \),
(iii)
\(d ( x,y ) \leq d ( x,u ) +d ( u,v ) +d ( v,y ) \).
Then \(( X,d ) \) is called a Branciari metric space (or for short BMS). As mentioned above, such spaces are called also generalized metric space, rectangular metric space in the literature. We assert that the Branciari metric space is more suitable regarding the fact that several extensions of the metric are called general metrics.
Definition 2
Let \((X,d)\) be a BMS, \(\{ x_{n} \} \) be a sequence in X, and \(x\in X\), we say that \(\{ x_{n} \} \) is convergent to x if and only if \(d ( x_{n},x ) \longrightarrow0\) as \(n\longrightarrow \infty\). We denote this by \(x_{n}\longrightarrow x\).
Anzeige
Definition 3
Let \((X,d)\) be a BMS and \(\{ x_{n} \} \) be a sequence in X. We say that \(\{ x_{n} \} \) is a Cauchy sequence if and only if \(d ( x_{n},x_{m} ) \longrightarrow0\) as \(n,m\longrightarrow \infty\).
Definition 4
Let \((X,d)\) be a BMS. We say that \(( X,d ) \) is complete if and only if every Cauchy sequence in X converges to some element in X.
Definition 5
[32]
Let \(T:X\rightarrow X\) be a map and \(\alpha:X\times X\rightarrow{}[0,+\infty)\) be a function. We say that T is α-admissible if \(x,y\in X\), \(\alpha(x,y)\geq1\) implies that \(\alpha (Tx,Ty)\geq1\).
Definition 6
[11]
A map \(T:X\rightarrow X\) is said to be triangular α-admissible if:
(T1)
T is α-admissible,
(T2)
\(\alpha(x,u)\geq1\) and \(\alpha(u,y)\geq1\) implies that \(\alpha (x,y)\geq1\), \(x,u,y\in X\).
Definition 7
[2]
Let \(T:X\rightarrow X\) be a map and \(\alpha:X\times X\rightarrow {}[0,+\infty)\) be a function. Then T is said to be α-orbital admissible if
(T3)
\(x\in X\), \(\alpha(x,Tx)\geq1\) implies that \(\alpha (Tx,T^{2}x)\geq 1\).
Definition 8
[2]
Let \(T:X\rightarrow X\) be a map and \(\alpha:X\times X\rightarrow {}[0,+\infty)\) be a function. Then T is said to be triangular α-orbital admissible if it is α-orbital admissible and
(T4)
\(x,y\in X\), \(\alpha(x,y)\geq1\), and \(\alpha(y,Ty)\geq1\) implies that \(\alpha(x,Ty)\geq1\).
Example 9
[2]
Let \(X= \{ 0,1,2,3 \} \), \(d:X\times X\longrightarrow \mathbb{R} \), \(d ( x,y ) =\vert x-y\vert \), \(T:X\rightarrow X\) such that \(T(0)=0\), \(T(1)=2\), \(T(2)=1\), \(T(3)=3\), and \(\alpha:X\times X\rightarrow{}[0,+\infty)\), where \(A=\{ ( 0,1 ) , ( 0,2 ) , ( 1,1 ) , ( 2,2 ) , ( 1,2 ) , ( 2,1 ) , ( 1,3 ) , ( 2,3 ) \}\). Clearly, T is triangular α-orbital admissible, T is α-orbital admissible, but T is not triangular α-admissible.
$$ \alpha ( x,y ) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, & \mbox{if } ( x,y ) \in A, \\ 0, & \mbox{otherwise}, \end{array}\displaystyle \right . $$
Definition 10
[2]
Let \(T:X\rightarrow X\) be a map and \(\alpha:X\times X\rightarrow {}[0,+\infty)\) be a function. Then T is said to be α-orbital attractive if for every \(y\in X\).
$$ x\in X,\quad \alpha(x,Tx)\geq1 \quad\mbox{implies that}\quad\alpha (x,y)\mbox{ or } \alpha(y,Tx)\geq1, $$
We denote by Θ the set of functions \(\theta: ( 0,\infty ) \longrightarrow ( 1,\infty ) \) satisfying the following conditions:
(Θ1)
θ is non-decreasing,
(Θ2)
for each sequence \(\{ t_{n} \} \subset ( 0,\infty ) \),
$$ \lim_{n\rightarrow\infty}\theta(t_{n})=1 \quad\mbox{if and only if} \quad\lim_{n\rightarrow\infty}t_{n}=0^{+}, $$
(Θ3)
there exists \(r\in ( 0,1 ) \) and \(\ell\in ( 0,\infty ] \) such that \(\lim_{t\longrightarrow 0^{+}}\frac{\theta ( t ) -1}{t^{r}}=\ell\).
Very recently Jleli et al. [1] established the following generalization of the Banach fixed point theorem in the setting of the Branciari metric space.
Theorem 11
[1]
Let
\(( X,d ) \)
be a complete BMS and
\(T:X\longrightarrow X\)
be a given mapping. Suppose that there exist
\(\theta \in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
Then
T
has a unique fixed point.
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( d ( x,y ) \bigr) \bigr] ^{k}. $$
Example 12
[1]
The functions \(\theta: ( 0,\infty ) \longrightarrow ( 1,\infty ) \) are elements of Θ:
(1)
\(\theta ( t ) =e^{\sqrt{t}}\),
(2)
\(\theta ( t ) =e^{\sqrt{te^{t}}}\),
(3)
\(\theta ( t ) =2-\frac{2}{\pi}\arctan ( \frac{1}{t^{\gamma}} ) \), \(0<\gamma<1\), \(t>0\).
Theorem 13
[18]
Let
\(( X,d ) \)
be a complete BMS and
\(T:X\longrightarrow X\)
be a given mapping. Suppose that there exist
\(\theta \in\Theta\)
that is continuous and
\(k\in ( 0,1 ) \)
such that
where
Then
T
has a unique fixed point.
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( M ( x,y ) \bigr) \bigr] ^{k}, $$
$$ M ( x,y ) =\max \bigl\{ d ( x,y ) ,d ( x,Tx ) ,d ( y,Ty ) \bigr\} . $$
The following lemmas will be needed in the sequel.
Lemma 14
[5]
Let
\((X,d)\)
be a BMS and
\(\{ x_{n} \} \)
be a Cauchy sequence in
\(( X,d ) \)
such that
\(d ( x_{n},x ) \longrightarrow0\)
as
\(n\longrightarrow\infty\)
for some
\(x\in X\). Then
\(d ( x_{n},y ) \longrightarrow d ( x,y ) \)
as
\(n\longrightarrow\infty\)
for all
\(y\in X\). In particular, \(\{ x_{n} \} \)
does not converge to
y
if
\(y\neq x\).
Lemma 15
[19]
Let
\((X,d)\)
be a BMS and
\(\{ x_{n} \} \)
be a Cauchy sequence in
\(( X,d ) \)
and
\(x,y\in X\). Suppose that there exists a positive integer
N
such that
(i)
\(x_{n}\neq x_{m}\)
for all
\(n,m>N\);
(ii)
\(x_{n}\)
and
x
are distinct points in
X
for all
\(n>N\);
(iii)
\(x_{n}\)
and
y
are distinct points in
X
for all
\(n>N\);
(iv)
\(\lim_{n\longrightarrow\infty}d(x_{n},x)= \lim_{n\longrightarrow\infty}d(x_{n},y)\).
Then we have
\(x=y\).
Lemma 16
[2]
Let
\(T:X\longrightarrow X\)
be a triangular
α-orbital admissible mapping. Assume that there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\). Define a sequence
\(\{ x_{n} \} \)
by
\(x_{n+1}=Tx_{n}\). Then we have
\(\alpha ( x_{n},x_{m} ) \geq1\)
for all
\(m,n\in \mathbb{N} \).
2 Main results
In this section, we state and prove our main result.
Theorem 17
Let
\(( X,d ) \)
be a complete BMS, \(T:X\longrightarrow X\)
be a given map and let
\(\alpha:X\times X\longrightarrow[ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X, \quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\alpha ( x,y ) \cdot \theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is a triangular
α-orbital admissible mapping,
(4)
T
is continuous.
Then
T
has a fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
Proof
Let \(x_{1}\in X\) be such that \(\alpha ( x_{1},Tx_{1} ) \geq 1\) and \(\alpha ( x_{1,}T^{2}x_{1} ) \geq1\). We define the iterative sequence \(\{ x_{n} \} \) in X by the rule \(x_{n}=Tx_{n-1}=T^{n}x_{1}\) for all \(n\geq1\). Obviously, if there exists \(n_{0}\geq1\) for which \(T^{n_{0}}x_{1}=T^{n_{0}+1}x_{1}\) then \(T^{n_{0}}x_{1} \) shall be a fixed point of T. Thus, we suppose that \(T^{n}x_{1}\neq T^{n+1}x_{1}\) for every \(n\geq1\). Now from Lemma 16, we get also From condition (1) and (2.1), for every \(n\geq1\), we write If there exists \(n\geq1\) such that \(\max \{ d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) \} =d ( T^{n}x_{1},T^{n+1}x_{1} ) \), then inequality (2.3) turns into this implies which is a contradiction with \(k\in ( 0,1 ) \). Therefore \(\max \{ d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) \} =d ( T^{n-1}x_{1},T^{n}x_{1} ) \) for all \(n\geq1\). Thus, from (2.3), we have This implies Thus we have Letting \(n\longrightarrow\infty\), we obtain which together with (Θ2) gives as From condition (Θ3), there exist \(r\in ( 0,1 ) \) and \(\ell \in \left ( 0,\infty \right ] \) such that Suppose that \(\ell<\infty\). In this case, let \(B=\frac{\ell}{2}>0\). From the definition of the limit, there exists \(n_{0}\geq1\) such that This implies Then where \(A=\frac{1}{B}\). Suppose now that \(\ell=\infty\). Let \(B>0\) be an arbitrary positive number. From the definition of the limit, there exists \(n_{0}\geq1\) such that This implies where \(A=\frac{1}{B}\). Thus, in all cases, there exist \(A>0\) and \(n_{0}\geq 1 \) such that By using (2.4), we get Letting \(n\longrightarrow\infty\) in the inequality (2.6), we obtain Thus, there exists \(n_{1}\in \mathbb{N} \) such that Now, we will prove that T has a periodic point. Suppose that it is not the case, then \(T^{n}x_{1}\neq T^{m}x_{1}\) for all \(n,m\geq1\) such that \(n\neq m \). Using condition (1) and (2.2), we get Since θ is non-decreasing, we obtain from (2.8) Let I be the set of \(n\in \mathbb{N} \) such that If \(\vert I\vert <\infty\) then there is \(N\geq1\) such that, for all \(n\geq N\), In this case, we get from (2.9) for all \(n\geq N\). Letting \(n\longrightarrow\infty\) in the above inequality and using (2.5), we obtain If \(\vert I\vert =\infty\), we can find a subsequence of \(\{ u_{n} \} \), then we denote also by \(\{ u_{n} \} \), such that In this case, we obtain from (2.9) for n large. Letting \(n\longrightarrow\infty\) in the above inequality, we obtain Then in all cases, (2.10) holds. Using (2.10) and (Θ2), we have Similarly from (Θ3) there exists \(n_{2}\geq1\) such that Let \(h=\max \{ n_{0},n_{1} \} \). we consider two cases.
$$ \alpha \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \geq1\quad\mbox{for all } n\geq1, $$
(2.1)
$$ \alpha \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \geq1\quad\mbox{for all } n\geq1. $$
(2.2)
$$\begin{aligned} &\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \\ &\quad\leq\alpha \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \cdot\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \\ &\quad\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) , \\ d ( T^{n}x_{1},TT^{n}x_{1} ) ,\frac{d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) d ( T^{n}x_{1},TT^{n}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) , \\ \frac{d ( T^{n-1}x_{1},T^{n}x_{1} ) d ( T^{n}x_{1},T^{n+1}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \bigl[ \theta \bigl( \max \bigl\{ d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) ,d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr\} \bigr) \bigr] ^{k}. \end{aligned}$$
(2.3)
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] ^{k}, $$
$$ \ln \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] \leq k\ln \bigl[ \theta \bigl( d \bigl(T^{n}x_{1},T^{n+1}x_{1}\bigr) \bigr) \bigr] , $$
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k} \quad\mbox{for all }n\geq1. $$
$$\begin{aligned} \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq & \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k} \\ \leq& \bigl[ \theta \bigl( d \bigl( T^{n-2}x_{1},T^{n-1}x_{1} \bigr) \bigr) \bigr] ^{k^{2}}\leq\cdots\leq \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}}. \end{aligned}$$
$$ 1\leq\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}} \quad\mbox{for all } n\geq1. $$
(2.4)
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) =1, $$
(2.5)
$$ \lim_{n\longrightarrow\infty}d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) =0. $$
$$ \lim_{n\longrightarrow\infty}\frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}=\ell. $$
$$ \biggl\vert \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}-\ell \biggr\vert \leq B\quad\mbox{for all }n \geq n_{0}. $$
$$ \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}\geq\ell-B=B\quad \mbox{for all }n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{ for all }n\geq n_{0}, $$
$$ \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}\geq B \quad\mbox{for all } n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{for all }n\geq n_{0}, $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{for all }n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl( \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}}-1 \bigr) \quad\mbox{for all }n\geq n_{0}. $$
(2.6)
$$ \lim_{n\longrightarrow\infty}n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}=0. $$
$$ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \leq\frac{1}{n^{\frac {1}{r}}}\quad\mbox{for all }n\geq n_{1}. $$
(2.7)
$$\begin{aligned} &\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \\ &\quad\leq\alpha \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \cdot\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \\ &\quad\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) , \\ d ( T^{n+1}x_{1},TT^{n+1}x_{1} ) ,\frac{d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) d ( T^{n+1}x_{1},TT^{n+1}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n+1}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad=\left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},T^{n}x_{1} ) , \\ d ( T^{n+1}x_{1},T^{n+2}x_{1} ) ,\frac{d ( T^{n-1}x_{1},T^{n}x_{1} ) d ( T^{n+1}x_{1},T^{n+2}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n+1}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad=\left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},T^{n}x_{1} ) , \\ d ( T^{n+1}x_{1},T^{n+2}x_{1} )\end{array}\displaystyle \right \} \right ) \right ] ^{k}. \end{aligned}$$
(2.8)
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \left [ \max \left \{ \textstyle\begin{array}{@{}c@{}} \theta ( d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ) ,\theta ( d ( T^{n-1}x_{1},T^{n}x_{1} ) ) , \\ \theta ( d ( T^{n+1}x_{1},T^{n+2}x_{1} ) )\end{array}\displaystyle \right \} \right ] ^{k}. $$
(2.9)
$$\begin{aligned} u_{n} =&\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \\ =&\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) . \end{aligned}$$
$$\begin{aligned} &\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \\ &\quad=\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} . \end{aligned}$$
$$\begin{aligned} 1 \leq&\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \bigl[ \max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \bigr] ^{k} \end{aligned}$$
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =1. $$
$$ u_{n}=\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \quad\mbox{for }n\mbox{ large enough}. $$
$$\begin{aligned} 1 \leq&\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] ^{k} \\ \leq& \bigl[ \theta \bigl( d \bigl( T^{n-2}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k^{2}}\leq\cdots\leq \bigl[ \theta \bigl( d \bigl( x_{1},T^{2}x_{1} \bigr) \bigr) \bigr] ^{k^{n}} \end{aligned}$$
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =1. $$
(2.10)
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =0. $$
$$ d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \leq\frac{1}{n^{\frac {1}{r}}}\quad\mbox{for all }n\geq n_{2}. $$
(2.11)
Case 1: If \(m>2\) is odd, then writing \(m=2L+1\), \(L\geq1\), using (2.7), for all \(n\geq h\), we obtain
$$\begin{aligned} d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq&d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) +d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr)+\cdots \\ &{}+d \bigl( T^{n+2L}x_{1},T^{n+2L+1}x_{1} \bigr) \\ \leq&\frac{1}{n^{\frac{1}{r}}}+\frac{1}{ ( n+1 ) ^{\frac {1}{r}}}+\cdots+\frac{1}{ ( n+2L ) ^{\frac{1}{r}}} \\ \leq&\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}. \end{aligned}$$
Case 2: If \(m>2\) is even, then writing \(m=2L\), \(L\geq2\), using (2.7) and (2.11), for all \(n\geq h\), we have Thus, combining all cases, we have Since the series \(\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}\) is convergent (since \(\frac{1}{r}>1\)), we deduce that \(\{ T^{n}x_{1} \} \) is a Cauchy sequence. From the completeness of X, there is \(x_{\ast}\in X\) such that \(T^{n}x_{1}\longrightarrow x_{\ast }\) as \(n\longrightarrow\infty\). Now, since T is continuous we have We obtain \(x_{\ast}=Tx_{\ast}\), which is a contradiction with the assumption that T does not have a periodic point. Thus T has a periodic point, say \(x_{\ast}\) of period q. Suppose that the set of fixed points of T is empty. Then we have By using condition (1) and (2.1), we get which is a contradiction. Thus the set of fixed points of T is non-empty (that is, T has at least one fixed point). □
$$\begin{aligned} d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq&d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) +d \bigl( T^{n+2}x_{1},T^{n+3}x_{1} \bigr)+\cdots \\ &{}+d \bigl( T^{n+2L-1}x_{1},T^{n+2L}x_{1} \bigr) \\ \leq&\frac{1}{n^{\frac{1}{r}}}+\frac{1}{ ( n+2 ) ^{\frac {1}{r}}}+\cdots+\frac{1}{ ( n+2L-1 ) ^{\frac{1}{r}}} \\ \leq&\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}. \end{aligned}$$
$$ d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq\sum_{i=n}^{\infty}\frac {1}{i^{\frac{1}{r}}}\quad \mbox{for all }n\geq h, m\geq1. $$
$$ x_{\ast}=\lim_{n\longrightarrow\infty}T^{n+1}x_{1}= \lim_{n\longrightarrow\infty}T \bigl( T^{n}x_{1} \bigr) =T \Bigl( \lim_{n\longrightarrow\infty}T^{n}x_{1} \Bigr) =Tx_{\ast}. $$
$$ q>1\quad\mbox{and}\quad d ( x_{\ast},Tx_{\ast} ) >0. $$
$$\begin{aligned} \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) =&\theta \bigl( d \bigl( T^{q}x_{\ast},T^{q+1}x_{\ast} \bigr) \bigr) \\ \leq&\alpha \bigl( T^{q-1}x_{\ast},T^{q}x_{\ast} \bigr) \cdot\theta \bigl( d \bigl( T^{q}x_{\ast },T^{q+1}x_{\ast} \bigr) \bigr) \\ \leq& \bigl[ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \bigr] ^{k^{q}}< \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) , \end{aligned}$$
Since a metric space is a Branciari metric space, we can obtain the following result from Theorem 17.
Corollary 18
Let
\(( X,d ) \)
be a complete metric space, \(T:X\longrightarrow X\)
be a given map and let
\(\alpha:X\times X\longrightarrow [ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\alpha ( x,y ) \cdot\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is a triangular
α-orbital admissible mapping,
(4)
T
is continuous.
Then
T
has a fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
In the next theorem we omit the continuity hypothesis of T.
Theorem 19
Let
\(( X,d ) \)
be a complete BMS, \(T:X\longrightarrow X\)
be a given map and let
\(\alpha:X\times X\longrightarrow [ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad \Longrightarrow\quad\alpha ( x,y ) \cdot \theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is a triangular
α-orbital admissible mapping,
(4)
if
\(\{ T^{n}x_{1} \} \)
is a sequence in
X
such that
\(\alpha ( T^{n}x_{1},T^{n+1}x_{1} ) \geq1\)
for all
n
and
\(x_{n}\longrightarrow x\in X\)
as
\(n\longrightarrow\infty\), then there exists a subsequence
\(\{ T^{{n(k)}}x_{1} \} \)
of
\(\{ T^{n}x_{1} \} \)
such that
\(\alpha ( T^{n ( k ) }x_{1},x ) \geq1\)
for all
k,
(5)
θ
is continuous.
Then
T
has a fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
Proof
Let \(x_{1}\in X\) be such that \(\alpha ( x_{1},Tx_{1} ) \geq 1\) and \(\alpha ( x_{1},T^{2}x_{1} ) \geq1\). Following the proof of Theorem 17, we see that the sequence \(\{ T^{n}x_{1} \} \) defined by \(x_{n}=Tx_{n-1}=T^{n}x_{1}\) for all \(n\geq1\) converges to \(x_{\ast}\in X\). From condition (4), we see that there exists a subsequence \(\{ T^{n ( k ) }x_{1} \} \) of \(\{ T^{n}x_{1} \} \) such that \(\alpha ( T^{n ( k ) }x_{1},x_{\ast} ) \geq1\) for all k. We can suppose \(T^{n ( k ) +1}x_{1}\neq Tx_{\ast}\), then, from condition (1), we have Now, we suppose that \(d ( x_{\ast},Tx_{\ast} ) >0\). Taking the limit as \(k\longrightarrow\infty\) in (2.12), and by using the continuity of θ, and Lemma 14, we obtain which is a contradiction. Thus we have \(x_{\ast}=Tx_{\ast}\), which is also a contradiction with the assumption that T does not have a periodic point. Thus T has a periodic point, say \(x_{\ast}\) of period q. Suppose that the set of fixed points of T is empty. Then we have By using condition (1) and (2.1), we get which is a contradiction. Thus the set of fixed points of T is non-empty (that is, T has at least one fixed point). □
$$\begin{aligned} &\theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},Tx_{\ast} \bigr) \bigr) \\ &\quad=\theta \bigl( d \bigl( T \bigl( T^{n ( k ) }x_{1} \bigr) ,Tx_{\ast} \bigr) \bigr) \\ &\quad\leq\alpha \bigl( T^{n ( k ) }x_{1},x_{\ast} \bigr) \cdot\theta \bigl( d \bigl( T \bigl( T^{n ( k ) }x_{1} \bigr) ,Tx_{\ast } \bigr) \bigr) \\ &\quad\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n ( k ) }x_{1},x_{\ast} ) ,d ( T^{n ( k ) }x_{1},T ( T^{n ( k ) }x_{1} ) ) , \\ d ( x_{\ast},Tx_{\ast} ) ,\frac{d(T^{n ( k ) }x_{1},T(T^{n ( k ) }x_{1}))d ( x_{\ast},Tx_{\ast} ) }{1+(dT^{n ( k ) }x_{1},x_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n ( k ) }x_{1},x_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( x_{\ast},Tx_{\ast} ) ,\frac{d(T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1}))d ( x_{\ast},Tx_{\ast} ) }{1+(dT^{n ( k ) }x_{1},x_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k}. \end{aligned}$$
(2.12)
$$ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \leq \bigl[ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \bigr] ^{k}< \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) , $$
$$ q>1\quad\mbox{and}\quad d ( x_{\ast},Tx_{\ast} ) >0. $$
$$\begin{aligned} \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) =&\theta \bigl( d \bigl( T^{q}x_{\ast},T^{q+1}x_{\ast} \bigr) \bigr) \leq\alpha \bigl( T^{q-1}x_{\ast},T^{q}x_{\ast} \bigr) \cdot\theta \bigl( d \bigl( T^{q}x_{\ast },T^{q+1}x_{\ast} \bigr) \bigr) \\ \leq& \bigl[ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \bigr] ^{k^{q}}< \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) , \end{aligned}$$
Example 20
Let \(X= [ -2,-1 ] \cup \{ 0 \} \cup [ 1,2 ] \). Define \(d:X\times X\longrightarrow [ 0,\infty ) \) as follows: It is clear that \(( X,d ) \) is a complete BMS, but it is not metric space because d does not satisfy triangle inequality on X. Indeed, Let \(T:X\longrightarrow X\) be the mapping defined by Let \(\alpha:X\times X\longrightarrow [ 0,\infty ) \) be given by Also define \(\theta: ( 0,\infty ) \longrightarrow ( 1,\infty ) \) by Obviously, T is triangular α-orbital admissible mapping. Also the hypotheses of Theorem 19 are satisfied by T and, hence, T has a fixed point.
$$\begin{aligned}& d ( x,x ) =0,\quad \mbox{for all }x\in X, \\& d ( 1,2 ) =d ( 2,1 ) =3, \\& d ( 1,-1 ) =d ( -1,1 ) =d ( -1,2 ) =d ( 2,-1 ) =1, \\& d ( x,y ) =\vert x-y\vert ,\quad\mbox{otherwise}. \end{aligned}$$
$$ 3=d ( 1,2 ) >d ( 1,-1 ) +d ( -1,2 ) =1+1=2. $$
$$ Tx=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -x & \mbox{if }x\in [ -2,-1 ) \cup ( 1,2 ] , \\ 0 & \mbox{if }x\in \{ -1,0,1 \} .\end{array}\displaystyle \right . $$
$$ \alpha ( x,y ) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1, & \mbox{if }xy\geq0, \\ 0, & \mbox{otherwise}. \end{array}\displaystyle \right . $$
$$ \theta ( t ) =e^{\sqrt{te^{t}}}. $$
Corollary 21
Let
\(( X,d ) \)
be a complete metric space, \(T:X\longrightarrow X\)
be a given map and let
\(\alpha:X\times X\longrightarrow [ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\alpha ( x,y ) \cdot \theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is a triangular
α-orbital admissible mapping,
(4)
if
\(\{ T^{n}x_{1} \} \)
is a sequence in
X
such that
\(\alpha ( T^{n}x_{1},T^{n+1}x_{1} ) \geq1\)
for all
n
and
\(x_{n}\longrightarrow x\in X\)
as
\(n\longrightarrow\infty\), then there exists a subsequence
\(\{ T^{{n(k)}}x_{1} \} \)
of
\(\{ T^{n}x_{1} \} \)
such that
\(\alpha ( T^{n ( k ) }x_{1},x ) \geq1\)
for all
k,
(5)
θ
is continuous.
Then
T
has a fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
To ensure the uniqueness of the fixed point, we shall consider the following hypothesis.
(H)
for all \(x\neq y\in X\), there exists \(v\in X\) such that \(\alpha ( x,v ) \geq1\), \(\alpha ( y,v ) \geq1\), and \(\alpha ( v,Tv ) \geq1\).
Theorem 22
Proof
Suppose that \(x_{\ast}\) and \(y_{\ast}\) are two fixed points of T such that \(x_{\ast}\neq y_{\ast}\). Then by (H), there exists \(v\in X\) such that Since T is a triangular α-orbital admissible mapping, we see that By Theorem 17 (respectively, Theorem 19) we deduce that the sequence \(\{ T^{n}v \} \) converges to a fixed point \(z_{\ast}\) of T. We can suppose that \(x_{\ast}\neq T^{n+1}v\) for all \(n\geq1\), then from condition (1), we have This implies Letting \(n\longrightarrow\infty\) in the above equality, if \(x_{\ast }\neq z_{\ast}\), then we get which is a contradiction. Therefore, \(x_{\ast}=z_{\ast}\). Similarly, we get \(y_{\ast}=z_{\ast}\). Hence, \(x_{\ast}=y_{\ast}\), which is a contradiction. □
$$ \alpha ( x_{\ast},v ) \geq1,\qquad\alpha ( y_{\ast},v ) \geq1 \quad\mbox{and}\quad\alpha ( v,Tv ) \geq1. $$
$$ \alpha \bigl( x_{\ast},T^{n}v \bigr) \geq1,\qquad\alpha \bigl( y_{\ast },T^{n}v \bigr) \geq1\quad\mbox{for all }n\geq1. $$
$$\begin{aligned}[b] \theta \bigl( d \bigl( x_{\ast},T^{n+1}v \bigr) \bigr) &= \theta \bigl( d \bigl( Tx_{\ast},T^{n+1}v \bigr) \bigr) \leq\alpha \bigl( x_{\ast},T^{n}v \bigr) \cdot\theta \bigl( d \bigl( Tx_{\ast },T^{n+1}v \bigr) \bigr) \\ &\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( x_{\ast},T^{n}v ) ,d ( x_{\ast},Tx_{\ast} ) , \\ d ( T^{n}v,T^{n+1}v ) ,\frac{d(x_{\ast},Tx_{\ast})d ( T^{n}v,T^{n+1}v ) }{1+(x_{\ast},T^{n}v)}\end{array}\displaystyle \right \} \right ) \right ] ^{k}. \end{aligned} $$
$$ \theta \bigl( d \bigl( x_{\ast},T^{n+1}v \bigr) \bigr) < \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( x_{\ast},T^{n}v ) ,d ( x_{\ast},Tx_{\ast} ) , \\ d ( T^{n}v,T^{n+1}v ) ,\frac{d(x_{\ast},Tx_{\ast})d ( T^{n}v,T^{n+1}v ) }{1+(x_{\ast},T^{n}v)}\end{array}\displaystyle \right \} \right ) . $$
$$ d ( x_{\ast},z_{\ast} ) < d ( x_{\ast},z_{\ast} ) , $$
Corollary 23
Let
\(( X,d ) \)
be a complete BMS and
\(T:X\longrightarrow X\)
be a given mapping. Suppose that there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
Then
T
has a unique fixed point.
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R ( x,y ) \bigr) \bigr] ^{k}, $$
$$ R ( x,y ) =\max \biggl\{ d ( x,y ) ,d ( x,Tx ) ,d ( y,Ty ) ,\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)} \biggr\} . $$
Proof
Corollary 24
[18]
Let
\(( X,d ) \)
be a complete BMS and
\(T:X\longrightarrow X\)
be a given mapping. Suppose that there exist
\(\theta \in\Theta\)
that is continuous and
\(k\in ( 0,1 ) \)
such that
where
Then
T
has a unique fixed point.
$$ x,y\in X, \quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( M ( x,y ) \bigr) \bigr] ^{k}, $$
$$ M ( x,y ) =\max \bigl\{ d ( x,y ) ,d ( x,Tx ) ,d ( y,Ty ) \bigr\} . $$
Corollary 25
[1]
Let
\(( X,d ) \)
be a complete BMS and
\(T:X\longrightarrow X\)
be a given mapping. Suppose that there exist
\(\theta \in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
Then
T
has a unique fixed point.
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( d ( x,y ) \bigr) \bigr] ^{k}. $$
Example 26
Let \(X= \{ 0,1,2 \} \) endow with the metric d given by \(d ( x,y ) =\vert x-y\vert \) for all \(x,y\in X\). It is easy to show that \(( X,d ) \) is a complete metric space. Let \(T:X\longrightarrow X\) be the mapping defined by and \(\alpha:X\times X\longrightarrow [ 0,\infty ) \) be given by Also define \(\theta: ( 0,\infty ) \longrightarrow ( 1,\infty ) \) by It is not difficult to show that T is triangular α-orbital admissible mapping. Also the hypotheses of Theorem 22 are satisfied by T and hence, T has a fixed point. But the result of Jleli et al. (Corollary 25) cannot be applied to T. Indeed for \(x=1\), \(y=0\), we have
$$ T ( 0 ) =0,\qquad T ( 1 ) =2,\qquad T ( 2 ) =1, $$
$$ \alpha ( x,y ) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 1 & \mbox{if } ( x,y ) \in \left \{ \textstyle\begin{array}{@{}c@{}} ( 0,1 ) , ( 0,2 ) , ( 1,1 ) , ( 2,2 ) , \\ ( 1,2 ) , ( 2,1 )\end{array}\displaystyle \right \} , \\ 0 & \mbox{otherwise}. \end{array}\displaystyle \right . $$
$$ \theta ( t ) =e^{\sqrt{t}}. $$
$$\begin{aligned} \theta \bigl( d \bigl( T ( 1 ) ,T ( 0 ) \bigr) \bigr) =&\theta \bigl( d ( 2,0 ) \bigr) =e^{\sqrt{2}} \\ \nleq& [ e ] ^{k}= \bigl[ \theta \bigl( d ( 1,0 ) \bigr) \bigr] ^{k},\quad \mbox{for all }k\in ( 0,1 ) . \end{aligned}$$
Now we will use the concept of an α-orbital attractive mapping introduced in [2].
Theorem 27
Let
\(( X,d ) \)
be a complete BMS, \(T:X\longrightarrow X\)
be a given map and let
\(\alpha:X\times X\longrightarrow [ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0\quad\Longrightarrow\quad\alpha ( x,y ) \cdot\theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is an
α-orbital admissible mapping,
(4)
T
is an
α-orbital attractive mapping,
(5)
θ
is continuous.
Then
T
has a unique fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
Proof
Let \(x_{1}\in X\) be such that \(\alpha ( x_{1},Tx_{1} ) \geq 1\) and \(\alpha ( x_{1,}T^{2}x_{1} ) \geq1\). We define the iterative sequence \(\{ x_{n} \} \) in X by the rule \(x_{n}=Tx_{n-1}=T^{n}x_{1}\) for all \(n\geq1\). Obviously, if there exists \(n_{0}\geq1\) for which \(T^{n_{0}}x_{1}=T^{n_{0}+1}x_{1}\) then \(T^{n_{0}}x_{1} \) shall be a fixed point of T. Thus, we suppose that \(T^{n}x_{1}\neq T^{n+1}x_{1}\) for every \(n\geq1\). Since T is α -orbital admissible, we have and By continuing this process, we get and From condition (1) and (2.13), then for every \(n\geq1\), we write If there exists \(n\geq1\) such that \(\max \{ d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) \} =d ( T^{n}x_{1},T^{n+1}x_{1} ) \), then inequality (2.15) turns into this implies which is a contradiction with \(k\in ( 0,1 ) \). Therefore \(\max \{ d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) \} =d ( T^{n-1}x_{1},T^{n}x_{1} ) \) for all \(n\geq1\). Thus, from (2.15), we have This implies Thus we have Letting \(n\longrightarrow\infty\), we obtain which together with (Θ2) gives From condition (Θ3), there exist \(r\in ( 0,1 ) \) and \(\ell \in( 0,\infty ] \) such that Suppose that \(\ell<\infty\). In this case, let \(B=\frac{\ell}{2}>0\). From the definition of the limit, there exists \(n_{0}\geq1\) such that This implies Then where \(A=\frac{1}{B}\). Suppose now that \(\ell=\infty\). Let \(B>0\) be an arbitrary positive number. From the definition of the limit, there exists \(n_{0}\geq1\) such that This implies where \(A=\frac{1}{B}\). Thus, in all cases, there exist \(A>0\) and \(n_{0}\geq 1 \) such that By using (2.16), we get Letting \(n\longrightarrow\infty\) in the inequality (2.18), we obtain Thus, there exists \(n_{1}\in \mathbb{N} \) such that Now, we will prove that T has a periodic point. Suppose that it is not the case, then \(T^{n}x_{1}\neq T^{m}x_{1}\) for all \(m,n\geq1\) such that \(n\neq m \). Using condition (1) and (2.14), we get Since θ is non-decreasing, we obtain from (2.20) Let I be the set of \(n\in \mathbb{N} \) such that If \(\vert I\vert <\infty\) then there is \(N\geq1\) such that, for all \(n\geq N\), In this case, we get from (2.21) for all \(n\geq N\). Letting \(n\longrightarrow\infty\) in the above inequality and using (2.17), we obtain If \(\vert I\vert =\infty\), we can find a subsequence of \(\{ u_{n} \} \), then we denote also by \(\{ u_{n} \} \), such that In this case, we obtain from (2.21) for n large. Letting \(n\longrightarrow\infty\) in the above inequality, we obtain Then in all cases, (2.22) holds. Using (2.22) and (Θ2), we have Similarly from (Θ3) there exists \(n_{2}\geq1\) such that Let \(h=\max \{ n_{0},n_{1} \} \). We consider two cases.
$$ \alpha ( x_{1},Tx_{1} ) \geq1\quad\mbox{implies}\quad \alpha \bigl( Tx_{1},T^{2}x_{1} \bigr) \geq1 $$
$$ \alpha \bigl( x_{1},T^{2}x_{1} \bigr) \geq1\quad \mbox{implies}\quad\alpha \bigl( Tx_{1},T^{3}x_{1} \bigr) \geq1. $$
$$ \alpha \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \geq1 \quad\mbox{for all }n\geq1 $$
(2.13)
$$ \alpha \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \geq1 \quad\mbox{for all }n\geq1. $$
(2.14)
$$\begin{aligned} &\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \\ &\quad\leq\alpha \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \cdot\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \\ &\quad\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) , \\ d ( T^{n}x_{1},TT^{n}x_{1} ) ,\frac{d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) d ( T^{n}x_{1},TT^{n}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n}x_{1} ) ,d ( T^{n}x_{1},T^{n+1}x_{1} ) , \\ \frac{d ( T^{n-1}x_{1},T^{n}x_{1} ) d ( T^{n}x_{1},T^{n+1}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \bigl[ \theta \bigl( \max \bigl\{ d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) ,d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr\} \bigr) \bigr] ^{k}. \end{aligned}$$
(2.15)
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] ^{k}, $$
$$ \ln \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] \leq k\ln \bigl[ \theta \bigl( d \bigl(T^{n}x_{1},T^{n+1}x_{1}\bigr) \bigr) \bigr] , $$
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k}\quad\mbox{for all }n\geq1. $$
$$\begin{aligned} \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq & \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k} \\ \leq& \bigl[ \theta \bigl( d \bigl( T^{n-2}x_{1},T^{n-1}x_{1} \bigr) \bigr) \bigr] ^{k^{2}}\leq\cdots\leq \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}}. \end{aligned}$$
$$ 1\leq\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}} \quad\mbox{for all } n\geq1. $$
(2.16)
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) =1, $$
(2.17)
$$ \lim_{n\longrightarrow\infty}d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) =0. $$
$$ \lim_{n\longrightarrow\infty}\frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}=\ell. $$
$$ \biggl\vert \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}-\ell \biggr\vert \leq B \quad\mbox{for all }n \geq n_{0}. $$
$$ \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}\geq\ell-B=B \quad\mbox{for all }n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{for all }n\geq n_{0}, $$
$$ \frac{\theta ( d ( T^{n}x_{1},T^{n+1}x_{1} ) ) -1}{ [ d ( T^{n}x_{1},T^{n+1}x_{1} ) ] ^{r}}\geq B \quad\mbox{for all } n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{for all }n\geq n_{0}, $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl[ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr) -1 \bigr] \quad\mbox{for all }n\geq n_{0}. $$
$$ n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}\leq An \bigl( \bigl[ \theta \bigl( d(x_{1},Tx_{1}) \bigr) \bigr] ^{k^{n}}-1 \bigr) \quad\mbox{for all }n\geq n_{0}. $$
(2.18)
$$ \lim_{n\longrightarrow\infty}n \bigl[ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \bigr] ^{r}=0. $$
$$ d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) \leq\frac{1}{n^{\frac {1}{r}}}\quad\mbox{for all }n\geq n_{1}. $$
(2.19)
$$\begin{aligned} &\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \\ &\quad\leq\alpha \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \cdot\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \\ &\quad\leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{c} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) , \\ d ( T^{n+1}x_{1},TT^{n+1}x_{1} ) ,\frac{d ( T^{n-1}x_{1},TT^{n-1}x_{1} ) d ( T^{n+1}x_{1},TT^{n+1}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n+1}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},T^{n}x_{1} ) , \\ d ( T^{n+1}x_{1},T^{n+2}x_{1} ) ,\frac{d ( T^{n-1}x_{1},T^{n}x_{1} ) d ( T^{n+1}x_{1},T^{n+2}x_{1} ) }{1+d ( T^{n-1}x_{1},T^{n+1}x_{1} ) }\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ &\quad= \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ,d ( T^{n-1}x_{1},T^{n}x_{1} ) , \\ d ( T^{n+1}x_{1},T^{n+2}x_{1} )\end{array}\displaystyle \right \} \right ) \right ] ^{k}. \end{aligned}$$
(2.20)
$$ \theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \left [ \max \left \{ \textstyle\begin{array}{@{}c@{}} \theta ( d ( T^{n-1}x_{1},T^{n+1}x_{1} ) ) ,\theta ( d ( T^{n-1}x_{1},T^{n}x_{1} ) ) , \\ \theta ( d ( T^{n+1}x_{1},T^{n+2}x_{1} ) )\end{array}\displaystyle \right \} \right ] ^{k}. $$
(2.21)
$$\begin{aligned} u_{n} =&\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \\ =&\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) . \end{aligned}$$
$$\begin{aligned} &\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \\ &\quad=\max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} . \end{aligned}$$
$$\begin{aligned} 1 \leq&\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \bigl[ \max \bigl\{ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n}x_{1} \bigr) \bigr) ,\theta \bigl( d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr) \bigr) \bigr\} \bigr] ^{k} \end{aligned}$$
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =1. $$
$$ u_{n}=\theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \quad\mbox{for }n\mbox{ large enough}. $$
$$\begin{aligned}[b] 1 &\leq\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) \leq \bigl[ \theta \bigl( d \bigl( T^{n-1}x_{1},T^{n+1}x_{1} \bigr) \bigr) \bigr] ^{k} \\ &\leq \bigl[ \theta \bigl( d \bigl( T^{n-2}x_{1},T^{n}x_{1} \bigr) \bigr) \bigr] ^{k^{2}}\leq\cdots\leq \bigl[ \theta \bigl( d \bigl( x_{1},T^{2}x_{1} \bigr) \bigr) \bigr] ^{k^{n}} \end{aligned} $$
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =1. $$
(2.22)
$$ \lim_{n\longrightarrow\infty}\theta \bigl( d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \bigr) =0. $$
$$ d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) \leq\frac{1}{n^{\frac {1}{r}}}\quad\mbox{for all }n\geq n_{2}. $$
(2.23)
Case 1: If \(m>2\) is odd, then writing \(m=2L+1\), \(L\geq1\), using (2.19), for all \(n\geq h\), we obtain
$$\begin{aligned} d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq&d \bigl( T^{n}x_{1},T^{n+1}x_{1} \bigr) +d \bigl( T^{n+1}x_{1},T^{n+2}x_{1} \bigr)+\cdots \\ &{}+d \bigl( T^{n+2L}x_{1},T^{n+2L+1}x_{1} \bigr) \\ \leq&\frac{1}{n^{\frac{1}{r}}}+\frac{1}{ ( n+1 ) ^{\frac {1}{r}}}+\cdots+\frac{1}{ ( n+2L ) ^{\frac{1}{r}}} \\ \leq&\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}. \end{aligned}$$
Case 2: If \(m>2\) is even, then writing \(m=2L\), \(L\geq2\), using (2.19) and (2.23), for all \(n\geq h\), we have Thus, combining all cases, we have Since the series \(\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}\) is convergent (since \(\frac{1}{r}>1\)), we deduce that \(\{ T^{n}x_{1} \} \) is a Cauchy sequence. From the completeness of X, there \(x_{\ast}\in X\) such that \(T^{n}x_{1}\longrightarrow x_{\ast}\) as \(n\longrightarrow\infty\). Now, we prove that \(x_{\ast}=Tx_{\ast}\). Since T is α-orbital attractive, we have for all \(n\geq1\)
Hence there exists a subsequence \(\{ T^{n ( k ) }x_{1} \} \) of \(\{ T^{n}x_{1} \} \) such that In the first case, without restriction of the generality, we can suppose that \(T^{n ( k ) }x_{1}\neq x_{\ast}\) for all k. Using condition (1), we have This implies Letting \(k\longrightarrow\infty\) in the above equality, using the continuity of θ and Lemma 14, we get which is a contradiction. The second case is similar. Therefore, \(x_{\ast }=Tx_{\ast}\), which is also a contradiction with the assumption that T does not have a periodic point. Thus T has a periodic point, say \(x_{\ast }\) of period q. Suppose that the set of fixed points of T is empty. Then we have By using condition (1) and (2.13), we get which is a contradiction. Thus the set of fixed points of T is non-empty (that is, T has at least one fixed point).
$$\begin{aligned} d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq&d \bigl( T^{n}x_{1},T^{n+2}x_{1} \bigr) +d \bigl( T^{n+2}x_{1},T^{n+3}x_{1} \bigr) +\cdots \\ &{}+d \bigl( T^{n+2L-1}x_{1},T^{n+2L}x_{1} \bigr) \\ \leq&\frac{1}{n^{\frac{1}{r}}}+\frac{1}{ ( n+2 ) ^{\frac {1}{r}}}+\cdots+\frac{1}{ ( n+2L-1 ) ^{\frac{1}{r}}} \\ \leq&\sum_{i=n}^{\infty}\frac{1}{i^{\frac{1}{r}}}. \end{aligned}$$
$$ d \bigl( T^{n}x_{1},T^{n+m}x_{1} \bigr) \leq\sum_{i=n}^{\infty}\frac {1}{i^{\frac{1}{r}}}\quad \mbox{for all }n\geq h, m\geq1. $$
$$ \alpha \bigl( T^{n}x_{1},x_{\ast} \bigr) \geq1\quad \mbox{or}\quad\alpha \bigl( x_{\ast},T^{n+1}x_{1} \bigr) \geq1. $$
$$ \alpha \bigl( T^{n ( k ) }x_{1},x_{\ast} \bigr) \geq1 \quad\mbox{or}\quad \alpha \bigl( x_{\ast},T^{n ( k ) }x_{1} \bigr) \geq1 \quad\mbox{for all }k\geq1. $$
$$\begin{aligned} \theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},Tx_{\ast} \bigr) \bigr) =&\theta \bigl( d \bigl( TT^{n ( k ) }x_{1},Tx_{\ast} \bigr) \bigr) \\ \leq&\alpha \bigl( T^{n ( k ) }x_{1},x_{\ast} \bigr) \cdot\theta \bigl( d \bigl( TT^{n ( k ) }x_{1},Tx_{\ast} \bigr) \bigr) \\ \leq& \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n(k)}x_{1},x_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( x_{\ast},Tx_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(x_{\ast},Tx_{\ast})}{1+d(T^{n ( k ) }x_{1},x_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k}. \end{aligned}$$
$$ \theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},Tx_{\ast} \bigr) \bigr) \leq \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n(k)}x_{1},x_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( x_{\ast},Tx_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(x_{\ast},Tx_{\ast})}{1+d(T^{n ( k ) }x_{1},x_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k}. $$
$$ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \leq \bigl[ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \bigr] ^{k}< \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) , $$
$$ q>1\quad\mbox{and}\quad d ( x_{\ast},Tx_{\ast} ) >0. $$
$$\begin{aligned} \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) =&\theta \bigl( d \bigl( T^{q}x_{\ast},T^{q+1}x_{\ast} \bigr) \bigr) \leq\alpha \bigl( T^{q-1}x_{\ast},T^{q}x_{\ast} \bigr) \cdot\theta \bigl( d \bigl( T^{q}x_{\ast },T^{q+1}x_{\ast} \bigr) \bigr) \\ \leq& \bigl[ \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) \bigr] ^{k^{q}}< \theta \bigl( d ( x_{\ast},Tx_{\ast} ) \bigr) , \end{aligned}$$
If \(y_{\ast}\) is another fixed point of T such that \(x_{\ast}\neq y_{\ast}\), since T is α-orbital attractive, we deduce that Hence there exists a subsequence \(\{ T^{n ( k ) }x_{1} \} \) of \(\{ T^{n}x_{1} \} \) such that In the first case, we have This implies Letting \(k\longrightarrow\infty\) in the above equality, we get This is a contradiction. The second case is similar. □
$$ \alpha \bigl( T^{n}x_{1},y_{\ast} \bigr) \geq1 \quad\mbox{or}\quad\alpha \bigl( y_{\ast},T^{n+1}x_{1} \bigr) \geq1. $$
$$ \alpha \bigl( T^{n ( k ) }x_{1},y_{\ast} \bigr) \geq1 \quad\mbox{or}\quad \alpha \bigl( y_{\ast},T^{n ( k ) }x_{1} \bigr) \geq1 \quad\mbox{for all }k\geq1. $$
$$\begin{aligned} \theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},y_{\ast} \bigr) \bigr) =&\theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},Ty_{\ast} \bigr) \bigr) =\theta \bigl( d \bigl( TT^{n ( k ) }x_{1},Ty_{\ast } \bigr) \bigr) \\ \leq&\alpha \bigl( T^{n ( k ) }x_{1},y_{\ast} \bigr) \cdot \theta \bigl( d \bigl( TT^{n ( k ) }x_{1},Ty_{\ast} \bigr) \bigr) \\ \leq& \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{c} d ( T^{n(k)}x_{1},y_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( y_{\ast},Ty_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(y_{\ast},Ty_{\ast})}{1+d(T^{n ( k ) }x_{1},y_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ =& \left [ \theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n(k)}x_{1},y_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( y_{\ast},Ty_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(y_{\ast},Ty_{\ast})}{1+d(T^{n ( k ) }x_{1},y_{\ast})}\end{array}\displaystyle \right \} \right ) \right ] ^{k} \\ < &\theta \left ( \max \left \{ \textstyle\begin{array}{@{}c@{}} d ( T^{n(k)}x_{1},y_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( y_{\ast},Ty_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(y_{\ast},Ty_{\ast})}{1+d(T^{n ( k ) }x_{1},y_{\ast})}\end{array}\displaystyle \right \} \right ) . \end{aligned}$$
$$ \theta \bigl( d \bigl( T^{n ( k ) +1}x_{1},y_{\ast} \bigr) \bigr) < \theta \left ( \max \left \{ \textstyle\begin{array}{c} d ( T^{n(k)}x_{1},y_{\ast} ) ,d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) , \\ d ( y_{\ast},Ty_{\ast} ) ,\frac{d ( T^{n ( k ) }x_{1},T^{n ( k ) +1}x_{1} ) d(y_{\ast},Ty_{\ast})}{1+d(T^{n ( k ) }x_{1},y_{\ast})}\end{array}\displaystyle \right \} \right ). $$
$$ \theta \bigl( d ( x_{\ast},y_{\ast} ) \bigr) < \theta \bigl( d ( x_{\ast},y_{\ast} ) \bigr) . $$
Corollary 28
Let
\(( X,d ) \)
be a complete metric space, \(T:X\longrightarrow X\)
be a given map, and let
\(\alpha:X\times X\longrightarrow [ 0,\infty ) \)
be a mapping. Suppose that the following conditions hold:
(1)
there exist
\(\theta\in\Theta\)
and
\(k\in ( 0,1 ) \)
such that
where
$$ x,y\in X,\quad d ( Tx,Ty ) \neq0 \quad\Longrightarrow\quad\alpha ( x,y ) \cdot \theta \bigl( d ( Tx,Ty ) \bigr) \leq \bigl[ \theta \bigl( R(x,y) \bigr) \bigr] ^{k}, $$
$$ R(x,y)=\max\biggl\{ d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Tx)d(y,Ty)}{1+d(x,y)}\biggr\} , $$
(2)
there exists
\(x_{1}\in X\)
such that
\(\alpha ( x_{1},Tx_{1} ) \geq1\)
and
\(\alpha ( x_{1},T^{2}x_{1} ) \geq1\),
(3)
T
is an
α-orbital admissible mapping,
(4)
T
is an
α-orbital attractive mapping.
Then
T
has a unique fixed point
\(x_{\ast}\in X\)
and
\(\{ T^{n}x_{1} \} \)
converges to
\(x_{\ast}\).
Example 29
Let \(X= \{ 0,6,7,8 \} \) endow with the metric d given by \(d ( x,y ) =\vert x-y\vert \) for all \(x,y\in X\). It is easy to show that \(( X,d ) \) is a complete metric space. Let \(T:X\longrightarrow X\) be the mapping defined by and \(\alpha:X\times X\longrightarrow [ 0,\infty ) \) be given by Also define \(\theta: ( 0,\infty ) \longrightarrow ( 1,\infty ) \) by It is easy to show that T is an α-orbital admissible and α-orbital attractive mapping. Also the hypotheses of Theorem 27 (Corollary 28) are satisfied by T, and hence T has a fixed point. But the result of Jleli et al. (Corollary 25) cannot be applied to T. Indeed for \(x=6\), \(y=7\), we have
$$ T ( 0 ) =T ( 6 ) =7\quad\mbox{and}\quad T ( 7 ) =T ( 8 ) =8, $$
$$ \alpha ( x,y ) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0 & \mbox{if } ( x,y ) \in \{ ( 6,7 ) , ( 7,6 ) \} , \\ 1 & \mbox{otherwise}. \end{array}\displaystyle \right . $$
$$ \theta ( t ) =e^{t\sqrt{t}}. $$
$$\begin{aligned} \theta \bigl( d \bigl( T ( 6 ) ,T ( 7 ) \bigr) \bigr) =&\theta \bigl( d ( 7,8 ) \bigr) =e \\ \nleq& [ e ] ^{k}= \bigl[ \theta \bigl( d ( 6,7 ) \bigr) \bigr] ^{k},\quad \mbox{for all }k\in ( 0,1 ) . \end{aligned}$$
Acknowledgements
The authors thank BioMed Central. The article processing charge has been waived by BioMed Central.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Competing interests
The authors declare that they have no competing interests. It is further acknowledged that the authors did not obtain financial assistance from any source as a publication fee.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.