Research  Open  Published:
On the convergence of fixed points for Lipschitz type mappings in hyperbolic spaces
Fixed Point Theory and Applicationsvolume 2014, Article number: 229 (2014)
Abstract
In this paper, we prove strong and Δconvergence theorems for a class of mappings which is essentially wider than that of asymptotically nonexpansive mappings on hyperbolic space through the Siteration process introduced by Agarwal et al. (J. Nonlinear Convex Anal. 8:6179, 2007) which is faster and independent of the Mann (Proc. Am. Math. Soc. 4:506510, 1953) and Ishikawa (Proc. Am. Math. Soc. 44:147150, 1974) iteration processes. Our results generalize, extend, and unify the corresponding results of Abbas et al. (Math. Comput. Model. 55:14181427, 2012), Agarwal et al. (J. Nonlinear Convex Anal. 8:6179, 2007), Dhompongsa and Panyanak (Comput. Math. Appl. 56:25722579, 2008), and Khan and Abbas (Comput. Math. Appl. 61:109116, 2011).
MSC:47H10.
1 Introduction
The class of asymptotically nonexpansive mappings, introduced by Goebel and Kirk [1] in 1972, is an important generalization of the class of nonexpansive mapping and they proved that if C is a nonempty closed and bounded subset of a uniformly convex Banach space, then every asymptotically nonexpansive selfmapping of C has a fixed point.
There are numerous papers dealing with the approximation of fixed points of nonexpansive and asymptotically nonexpansive mappings in uniformly convex Banach spaces through modified Mann and Ishikawa iteration processes (see, e.g., [2–9] and references therein). The class of Lipschitz mappings is larger than the classes of nonexpansive and asymptotically nonexpansive mappings. However, the theory of the computation of fixed points of nonLipschitz mappings is equally important and interesting. There are few a results in this direction (see, e.g., [10–13]).
In 1976, Lim [14] introduced a concept of convergence in a general metric space setting which he called ‘Δconvergence’. In 2008, Kirk and Panyanak [15] specialized Lim’s concept to $CAT(0)$ spaces and showed that many Banach space results involving weak convergence have precise analogs in this setting. Since then, the existence problem and the Δconvergence problem of iterative sequences to a fixed point for nonexpansive mapping, asymptotically nonexpansive mapping, nearly asymptotically nonexpansive, asymptotically nonexpansive mapping in intermediate sense, asymptotically nonexpansive nonselfmapping via Picard, Mann [16], Ishikawa [17], Agarwal et al. [18] in the framework of $CAT(0)$ space have been rapidly developed and many papers have appeared in this direction (see, e.g., [19–23]).
The purpose of the paper is to establish Δconvergence as well as strong convergence through the Siteration process for a class of mappings which is essentially wider than that of asymptotically nonexpansive mappings on a nonlinear domain, uniformly convex hyperbolic space which includes both uniformly convex Banach spaces and $CAT(0)$ spaces. Therefore, our results extend and improve the corresponding ones proved by Abbas et al. [19], Dhompongsa and Panyanak [22], Khan and Abbas [23] and many other results in this direction.
2 Preliminaries
Let $F(T)=\{Tx=x:x\in C\}$ denotes the set of fixed point. We begin with the following definitions.
Definition 2.1 Let C be a nonempty subset of metric space X and $T:C\to C$ a mapping. A sequence $\{{x}_{n}\}$ in C is said to be an approximating fixed point sequence of T if
Definition 2.2 Let C be a nonempty subset of a metric space X. The mapping $T:C\to C$ is said to be

(1)
uniformly LLipschitzian if for each $n\in \mathbb{N}$, there exists a positive number $L>0$ such that
$$d({T}^{n}x,{T}^{n}y)\le Ld(x,y)\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C;$$ 
(2)
asymptotically nonexpansive if there exists a sequence $\{{k}_{n}\}$ in $[0,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{k}_{n}=0$ such that
$$d({T}^{n}x,{T}^{n}y)\le (1+{k}_{n})d(x,y)\phantom{\rule{1em}{0ex}}\text{for all}x,y\in C\text{and}n\in \mathbb{N};$$ 
(3)
asymptotically quasinonexpansive if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{k}_{n}\}$ in $[0,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{k}_{n}=0$ such that
$$d({T}^{n}{x}_{n},p)\le (1+{k}_{n})d({x}_{n},p)\phantom{\rule{1em}{0ex}}\text{for all}x\in C,p\in F(T)\text{and}n\in \mathbb{N}.$$
The class of nearly Lipschitzian mappings is an important generalization of the class of Lipschitzian mappings and was introduced by Sahu [11].
Let C be a nonempty subset of a metric space X and fix a sequence $\{{a}_{n}\}$ in $[0,\mathrm{\infty})$ with ${a}_{n}\to 0$. A mapping $T:C\to C$ is said to be nearly Lipschitzian with respect to $\{{a}_{n}\}$ if for each $n\in \mathbb{N}$, there exists a constant ${k}_{n}\ge 0$ such that
The infimum of the constants ${k}_{n}$ for which (2.1) holds is denoted by $\eta ({T}^{n})$ and is called the nearly Lipschitz constant of ${T}^{n}$.
A nearly Lipschitzian mapping T with the sequence $\{({a}_{n},\eta ({T}^{n}))\}$ is said to be

(4)
nearly nonexpansive if $\eta ({T}^{n})=1$ for all $n\in \mathbb{N}$;

(5)
nearly asymptotically nonexpansive if $\eta ({T}^{n})\ge 1$ for all $n\in \mathbb{N}$ and ${lim}_{n\to \mathrm{\infty}}\eta ({T}^{n})=1$;

(6)
nearly uniformly kLipschitzian if $\eta ({T}^{n})\le k$ for all $n\in \mathbb{N}$.
Definition 2.3 Let C be a nonempty subset of a metric space X and fix a sequence $\{{a}_{n}\}$ in $[0,\mathrm{\infty})$ with ${a}_{n}\to 0$. A mapping $T:C\to C$ is said to be nearly asymptotically quasinonexpansive with respect to $\{{a}_{n}\}$ if $F(T)\ne \mathrm{\varnothing}$ and there exists a sequence $\{{u}_{n}\}$ in $[0,\mathrm{\infty})$ with ${lim}_{n\to \mathrm{\infty}}{u}_{n}=0$ such that
for all $x\in C$, $p\in F(T)$ and $n\in \mathbb{N}$.
In fact, if T is a nearly asymptotically nonexpansive mapping and $F(T)$ is nonempty, then T is a nearly asymptotically quasinonexpansive mapping. The following is an example of a nearly asymptotically quasinonexpansive mapping with $F(T)\ne \varphi $.
Example 2.4 [19]
Let $X=\mathbb{R}$, $C=(\mathrm{\infty},3]$ and $T:C\to C$ be a mapping defined by
Here, $F(T)=\{0\}$ and also, T is nearly asymptotically quasinonexpansive mapping with $\{{u}_{n}\}=\{1,\frac{1}{2},\frac{1}{{2}^{2}},\frac{1}{{2}^{3}},\dots \}$ and $\{{a}_{n}\}=\{1,\frac{1}{2},\frac{1}{{2}^{2}},\frac{1}{{2}^{3}},\dots \}$.
A nearly asymptotically quasinonexpansive mapping is called a nearly quasinonexpansive (asymptotically quasinonexpansive mapping) if ${u}_{n}=0$ for all $n\in \mathbb{N}$ (${a}_{n}=0$ for all $n\in \mathbb{N}$). Notice that every nearly asymptotically quasinonexpansive mapping with bounded domain is nearly quasinonexpansive. Indeed, if C is a bounded subset of a metric space and $T:C\to C$ a nearly asymptotically quasinonexpansive mapping with sequence $\{({a}_{n},{u}_{n})\}$, then
for all $x\in C$, $p\in F(T)$ and $n\in \mathbb{N}$.
The following example shows that T is a nearly quasinonexpansive mapping but not Lipschitzian and quasinonexpansive.
Example 2.5 [19]
Let $X=\mathbb{R}$, $C=[\frac{1}{\pi},\frac{1}{\pi}]$ and $k\in (0,1)$. Let $T:C\to C$ be a mapping defined by
Since $T:C\to C$ is obviously continuous, it easily follows that it is uniformly continuous. Note $F(T)=\{0\}$ and ${T}^{n}x\to 0$ uniformly, but T is not Lipschitzian. For each fixed $n\in \mathbb{N}$, define
Fix a sequence $\{{a}_{n}\}$ in ℝ defined by
It is clear that ${a}_{n}\ge 0$ for all $n\in \mathbb{N}$ and ${a}_{n}\to 0$, since ${T}^{n}x\to 0$ uniformly. By the definition of $\{{a}_{n}\}$, we have
Clearly, T is a nearly quasinonexpansive mapping with respect to $\{{a}_{n}\}$ and it is not Lipschitz and not quasinonexpansive.
Lemma 2.6 [[19], Lemma 2.11]
Let C be a nonempty subset of a metric space $(X,d)$ and $T:C\to C$ a quasiLLipschitzian, i.e., $F(T)\ne \mathrm{\varnothing}$ and there exists a constant $L>0$ such that
If $\{{x}_{n}\}$ is a sequence in C such that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$ and ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x\in C$, where $d(x,F(T))=inf\{d(x,p):p\in F(T)\}$, then x is a fixed point of T.
Throughout this paper we consider the following definition of a hyperbolic space introduced by Kohlenbach [24]. It is worth noting that they are different from the Gromov hyperbolic space [25] or from other notions of hyperbolic space that can be found in the literature (see, e.g., [26–28]).
Definition 2.7 A metric space $(X,d)$ is a hyperbolic space if there exists a map $W:{X}^{2}\times [0,1]\to X$ satisfying

(i)
$d(u,W(x,y,\alpha ))\le \alpha d(u,x)+(1\alpha )d(u,y)$,

(ii)
$d(W(x,y,\alpha ),W(x,y,\beta ))=\alpha \beta d(x,y)$,

(iii)
$W(x,y,\alpha )=W(y,x,(1\alpha ))$,

(iv)
$d(W(x,z,\alpha ),W(y,w,\alpha ))\le \alpha d(x,y)+(1\alpha )d(z,w)$
for all $x,y,z,w\in X$ and $\alpha ,\beta \in [0,1]$.
An important example of a hyperbolic space is a $CAT(0)$ space. It is nonlinear in nature and its brief introduction is as follows.
A metric space $(X,d)$ is a length space if any two points of X are joined by a rectifiable path (that is, a path of finite length) and the distance between any two points of X is taken to be the infimum of the lengths of all rectifiable paths joining them. In this case, d is known as a length metric (otherwise an inner metric or intrinsic metric). In the case that no rectifiable path joins two points of the space, the distance between them is taken to be ∞.
A geodesic path joining $x\in X$ to $y\in X$ is a map c from a closed interval $[0,l]\subset \mathbb{R}$ to X such that $c(0)=x$, $c(l)=y$, and $d(c(t),c({t}^{\prime}))=t{t}^{\prime}$ for all $t,{t}^{\prime}\in [0,l]$. In particular, c is an isometry and $d(x,y)=l$. The image α of c is called a geodesic (or metric) segment joining x and y. The space $(X,d)$ is said to be a geodesic space if any two points of X are joined by a geodesic path and X is said to be uniquely geodesic if there is exactly one geodesic path denoted by $\alpha x\oplus (1\alpha )y$ joining x and y for each $x,y\in X$. The set $\{\alpha x\oplus (1\alpha )y:\alpha \in [0,1]\}$ will be denoted by $[x,y]$, called the segment joining x to y. A subset C of a geodesic space X is convex if for any $x,y\in C$, we have $[x,y]\subset C$.
A geodesic triangle $\mathrm{\Delta}({x}_{1},{x}_{2},{x}_{3})$ in a geodesic metric space $(X,d)$ is defined to be a collection of three points in X (the vertices of Δ) and three geodesic segments between each pair of vertices (the edges of Δ). A comparison triangle for geodesic triangle $\mathrm{\Delta}({x}_{1},{x}_{2},{x}_{3})$ in $(X,d)$ is a triangle $\overline{\mathrm{\Delta}}({x}_{1},{x}_{2},{x}_{3}):=\mathrm{\Delta}({\overline{x}}_{1},{\overline{x}}_{2},{\overline{x}}_{3})$ in ${\mathbb{R}}^{2}$ such that ${d}_{{\mathbb{R}}^{2}}({\overline{x}}_{i},{\overline{x}}_{j})=d({x}_{i},{x}_{j})$ for $i,j\in \{1,2,3\}$ and such a triangle always exists (see [25]).
A geodesic metric space is a $CAT(0)$ space if all geodesic triangles Δ in X with a comparison triangle $\overline{\mathrm{\Delta}}\subset {\mathbb{R}}^{2}$ satisfy the $CAT(0)$ inequality
for all $x,y\in \mathrm{\Delta}$ and for all comparison points $\overline{x},\overline{y}\in \overline{\mathrm{\Delta}}$. Let X be a $CAT(0)$ space. Define $W:{X}^{2}\times [0,1]\to X$ by $W(x,y,\alpha )=\alpha x\oplus (1\alpha )y$. Then W satisfies the four properties of a hyperbolic space. Also if X is a Banach space and $W(x,y,\alpha )=\alpha x+(1\alpha )y$, then X is a hyperbolic space. Therefore, our hyperbolic space represents a unified approach for both linear and nonlinear structures simultaneously.
To elaborate that there are hyperbolic spaces which are not imbedded in any Banach space, we give the following example.
Example 2.8 Let B be the open unit ball in complex Hilbert space with respect to the Poincaré metric (also called ‘Poincaré distance’)
where
Then B is a hyperbolic space which is not imbedded in any Banach space.
A metric space $(X,d)$ is called a convex metric space introduced by Takahashi [29] if it satisfies only (i). A subset C of a hyperbolic space X is convex if $W(x,y,\alpha )\in C$ for all $x,y\in C$ and $\alpha \in [0,1]$.
A hyperbolic space $(X,d,W)$ is uniformly convex [30] if for any $u,x,y\in X$, $r>0$ and $\u03f5\in (0,2]$, there exists a $\delta \in (0,1]$ such that $d(W(x,y,\frac{1}{2}),u)\le (1\delta )r$ whenever $d(x,u)\le r$, $d(y,u)\le r$ and $d(x,y)\ge \u03f5r$.
A mapping $\eta :(0,\mathrm{\infty})\times (0,2]\to (0,1]$ which provides such a $\delta =\eta (r,\u03f5)$ for given $r>0$ and $\u03f5\in (0,2]$, is known as modulus of uniform convexity. We call η monotone if it decreases with r (for a fixed ϵ).
The hyperbolic space introduced by Kohlenbach [24] is slightly restrictive than the space of hyperbolic type [26] but general than hyperbolic space of [28]. Moreover, this class of hyperbolic spaces also contains Hadamard manifolds, Hilbert balls equipped with the hyperbolic metric [31], ℝtrees and Cartesian products of Hilbert balls as special cases.
Let C be a nonempty subset of hyperbolic space X. Let $\{{x}_{n}\}$ be a bounded sequence in a hyperbolic space X. For $x\in X$, define a continuous functional ${r}_{a}(\cdot ,\{{x}_{n}\}):X\to [0,\mathrm{\infty})$ by
The asymptotic radius $r(\{{x}_{n}\})$ of $\{{x}_{n}\}$ is given by
The asymptotic center ${A}_{C}(\{{x}_{n}\})$ of a bounded sequence of $\{{x}_{n}\}$ with respect to a subset of C of X is the set
This is the set of minimizers of the functional ${r}_{a}(\cdot ,\{{x}_{n}\})$. If the asymptotic center is taken with respect to X, then it is simply denoted by $A(\{{x}_{n}\})$.
It is well known that uniformly convex Banach spaces and even $CAT(0)$ spaces enjoy the property that bounded sequences have unique asymptotic centers with respect to closed convex subsets. The following lemma is due to Leustean [32] and ensures that this property also holds in a complete uniformly convex hyperbolic space.
Lemma 2.9 [32]
Let $(X,d,W)$ be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity. Then every bounded sequence $\{{x}_{n}\}$ in X has a unique asymptotic center with respect to any nonempty closed convex subset C of X.
Recall that a sequence $\{{x}_{n}\}$ in X is said to Δconverge to $x\in X$, if x is the unique asymptotic center of $\{{u}_{n}\}$ for every subsequence $\{{u}_{n}\}$ of $\{{x}_{n}\}$. In this case, we write $\mathrm{\Delta}\text{}{lim}_{n}{x}_{n}=x$ and call x the Δlimit of $\{{x}_{n}\}$.
Lemma 2.10 [33]
Let C be a nonempty closed convex subset of a uniformly convex hyperbolic space and $\{{x}_{n}\}$ a bounded sequence in C such that ${A}_{C}(\{{x}_{n}\})=\{y\}$ and $r(\{{x}_{n}\})=\rho $. If $\{{y}_{m}\}$ is another sequence in C such that ${lim}_{m\to \mathrm{\infty}}{r}_{a}({y}_{m},\{{x}_{n}\})=\rho $, then ${lim}_{m\to \mathrm{\infty}}{y}_{m}=y$.
Lemma 2.11 [33]
Let $(X,d,W)$ be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Let $x\in X$ and $\{{t}_{n}\}$ be a sequence in $[a,b]$ for some $a,b\in (0,1)$. If $\{{x}_{n}\}$ and $\{{y}_{n}\}$ are sequences in X such that
for some $c\ge 0$, then ${lim}_{n\to \mathrm{\infty}}d({x}_{n},{y}_{n})=0$.
Lemma 2.12 [5]
Let $\{{\delta}_{n}\}$, $\{{\beta}_{n}\}$, and $\{{\gamma}_{n}\}$ be three sequences of nonnegative numbers such that
If ${\beta}_{n}\ge 1$ for all $n\in \mathbb{N}$, ${\sum}_{n=1}^{\mathrm{\infty}}({\beta}_{n}1)<\mathrm{\infty}$ and ${\gamma}_{n}<\mathrm{\infty}$, then ${lim}_{n\to \mathrm{\infty}}{\delta}_{n}$ exists.
3 Strong and Δconvergence theorems in hyperbolic space
In this section, we approximate fixed point for nearly asymptotically nonexpansive mappings in a hyperbolic space. More briefly, we established Δconvergence and strong convergence theorems for iteration scheme (3.1).
First, we define the Siteration process in hyperbolic space as follows.
Let C be a nonempty closed convex subset of a hyperbolic space X and $T:C\to C$ be a nearly asymptotically nonexpansive mapping. Then, for arbitrarily chosen ${x}_{1}\in C$, we construct the sequence $\{{x}_{n}\}$ in C such that
where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$ is called an Siteration process.
Lemma 3.1 Let C be a nonempty convex subset of a hyperbolic space X and $T:C\to C$ a nearly asymptotically quasinonexpansive mapping with sequence $\{({a}_{n},{u}_{n})\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$ and ${\sum}_{n=1}^{\mathrm{\infty}}{u}_{n}<\mathrm{\infty}$. Let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. Then ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exists for each $p\in F(T)$.
Proof First, we show that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exists for each $p\in F(T)$, we have
and
from (3.2) and (3.3), we have
It follows that
for some $M,{M}_{1}\ge 0$. $\{{u}_{n}\}$ is bounded. By Lemma 2.12, we find that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exists. □
Lemma 3.2 Let C be a nonempty and closed convex subset of a uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let $T:C\to C$ be a nearly asymptotically quasinonexpansive mapping with sequences $\{({a}_{n},{u}_{n})\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$ and ${\sum}_{n=1}^{\mathrm{\infty}}{u}_{n}<\mathrm{\infty}$. Let $F(T)\ne \mathrm{\varnothing}$, then for the sequence $\{{x}_{n}\}$ in C defined by (3.1), we have ${lim}_{n\to \mathrm{\infty}}d({x}_{n},{T}^{n}{x}_{n})=0$.
Proof From Lemma 3.1, we find that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exists for each $p\in F(T)$. We suppose that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)=c\ge 0$. Since
we have
Also
which yields
Hence
Since
it follow from Lemma 2.11 that
From (3.1) and (3.7), we have
Hence, from (3.7) and (3.8), we have
Now using (3.9), we have
which gives from (3.10)
From (3.5) and (3.11), we obtain
Apply Lemma 2.11 in (3.12), and we obtain
□
Theorem 3.3 Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let $T:C\to C$ be a uniformly continuous nearly asymptotically nonexpansive mapping with $F(T)\ne \mathrm{\varnothing}$ and sequence $\{({a}_{n},\eta ({T}^{n}))\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}(\eta ({T}^{n})1)<\mathrm{\infty}$ and ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$. For arbitrary ${x}_{1}\in C$, let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. Then $\{{x}_{n}\}$ is Δconvergent to an element of $F(T)$.
Proof By Lemma 3.2, ${lim}_{n\to \mathrm{\infty}}d({x}_{n},{T}^{n}{x}_{n})=0$. By uniform continuity of T, $d({x}_{n},{T}^{n}{x}_{n})\to 0$ implies that $d(T{x}_{n},{T}^{n+1}{x}_{n})\to 0$, observe that
Also
and hence
Next, we have to show that $\{{x}_{n}\}$ is Δconvergent to an element of $F(T)$.
Since $\{{x}_{n}\}$ is bounded (by Lemma 3.1) therefore, Lemma 2.9 asserts that $\{{x}_{n}\}$ has a unique asymptotic center. That is, $A(\{{x}_{n}\})=\{x\}$ (say). Let $A(\{{y}_{n}\})=\{v\}$. Then by (3.13), ${lim}_{n\to \mathrm{\infty}}d({y}_{n},T{y}_{n})=0$. T is a nearly asymptotically nonexpansive mapping with sequence $\{({a}_{n},\eta ({T}^{n}))\}$. By uniform continuity of T
Now we claim that v is a fixed point of T. For this, we define a sequence $\{{z}_{n}\}$ in C by ${z}_{m}={T}^{m}v$, $m\in \mathbb{N}$. For integers $m,n\in \mathbb{N}$, we have
Then, by (3.14) and (3.15), we have
Hence
Since ${A}_{C}(\{{y}_{n}\})=\{v\}$, by definition of asymptotic center ${A}_{C}(\{{y}_{n}\})$ of a bounded sequence $\{{y}_{n}\}$ with respect to $C\subset X$, we have
This implies that
therefore, from (3.16) and (3.17), we have
It follows from Lemma 2.10 that ${T}^{m}v\to v$. By uniform continuity of T, we have
which implies that v is a fixed point of T, i.e., $v\in F(T)$.
Next, we claim that v is the unique asymptotic center for each subsequence $\{{y}_{n}\}$ of $\{{x}_{n}\}$. Assume contrarily, that is, $x\ne v$. Since ${lim}_{n\to \mathrm{\infty}}d({x}_{n},v)$ exists by Lemma 3.1, therefore, by the uniqueness of asymptotic centers, we have
a contradiction and hence $x=v$. Since $\{{y}_{n}\}$ is an arbitrary subsequence of $\{{x}_{n}\}$, therefore, ${A}_{C}(\{{y}_{n}\})=\{v\}$ for all subsequence of $\{{y}_{n}\}$ of $\{{x}_{n}\}$. This proves that $\{{x}_{n}\}$ Δconverges to a fixed point of T. □
We now discuss the strong convergence for the Siteration process defined by (3.1) for Lipschitzian type mappings in a uniformly convex hyperbolic space setting.
Theorem 3.4 Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and let $T:C\to C$ be a nearly asymptotically quasinonexpansive mapping with sequence $\{({a}_{n},{u}_{n})\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$ and ${\sum}_{n=1}^{\mathrm{\infty}}{u}_{n}<\mathrm{\infty}$. Assume that $F(T)$ is a closed set. Let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. Then $\{{x}_{n}\}$ converges strongly to a fixed point of T if and only if ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$.
Proof Necessity is obvious.
Conversely, suppose that ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$. From (3.4), we have
so ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F(T))$ exists. It follows that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$. Next, we show that $\{{x}_{n}\}$ is a Cauchy sequence. The following arguments are similar to those given in [[34], Lemma 5] and [[19], Theorem 4.3], and we obtain the following inequality:
for every $p\in F(T)$ and for all $m,n\ge 1$, where $L={e}^{M({\sum}_{j=n}^{n+m1}{u}_{j})}>0$ and ${b}_{j}={M}_{1}{a}_{j}$. As, ${\sum}_{n=1}^{\mathrm{\infty}}{u}_{n}<\mathrm{\infty}$ so ${L}^{\ast}={e}^{M({\sum}_{n=1}^{\mathrm{\infty}}{u}_{n})}\ge L={e}^{M({\sum}_{j=n}^{n+m1}{u}_{j})}>0$. Let $\u03f5>0$ be arbitrarily chosen. Since ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F)=0$ and ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$, there exists a positive integer ${n}_{0}$ such that
In particular, $inf\{d({x}_{{n}_{0}},p):p\in F\}<\frac{\u03f5}{4{L}^{\ast}}$. Thus there must exist ${p}^{\ast}\in F$ such that
Hence for $n\ge {n}_{0}$, we have
Hence $\{{x}_{n}\}$ is a Cauchy sequence in closed subset C of a complete hyperbolic space and so it must converge strongly to a point q in C. Now, ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$ gives $d(q,F(T))=0$. Since $F(T)$ is closed, we have $q\in F(T)$. □
In the next result, the closedness assumption on $F(T)$ is not required.
Theorem 3.5 Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and $T:C\to C$ an asymptotically quasinonexpansive mapping with sequence $\{{u}_{n}\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}{u}_{n}<\mathrm{\infty}$. Let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. Then $\{{x}_{n}\}$ converges strongly to a fixed point of T if ${lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$.
Proof Following an argument similar to those of Theorem 3.4, we see that $\{{x}_{n}\}$ is a Cauchy sequence in C. Let ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$. Since an asymptotically quasinonexpansive mapping is quasiLLipschitzian, it follows from Lemma 2.6 that x is a fixed point of T. □
Theorem 3.6 Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and $T:C\to C$ a uniformly continuous nearly asymptotically nonexpansive mapping with $F(T)\ne \mathrm{\varnothing}$ and sequence $\{{a}_{n},\eta ({T}^{n})\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}(\eta ({T}^{n})1)<\mathrm{\infty}$ and ${a}_{n}<\mathrm{\infty}$. For arbitrary ${x}_{1}\in C$, let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. If T is uniformly continuous and ${T}^{m}$ is demicompact for some $m\in N$, it follows that $\{{x}_{n}\}$ converges strongly to a fixed point of T.
Proof By (3.13), we have ${lim}_{n\to \mathrm{\infty}}d({x}_{n},T{x}_{n})=0$. By the uniformly continuous of T, we have
for all $i\in \mathbb{N}$. It follows that
Since $d({x}_{n},{T}^{m}{x}_{n})\to 0$, and ${T}^{m}$ is demicompact, there exists a subsequence $\{{x}_{{n}_{j}}\}$ of $\{{x}_{n}\}$ such that ${lim}_{j\to \mathrm{\infty}}{T}^{m}{x}_{{n}_{j}}=x\in C$.
Note that
Since ${lim}_{n\to \mathrm{\infty}}d({x}_{n},T{x}_{n})=0$, we get $x\in F(T)$. Since ${lim}_{n\to \mathrm{\infty}}d({x}_{n},x)$ exists by Lemma 3.1, and ${lim}_{j\to \mathrm{\infty}}d({x}_{{n}_{j}},x)=0$, we conclude that ${x}_{n}\to x$. □
Recall that a mapping T from a subset of a metric space $(X,d)$ into itself with $F(T)\ne \mathrm{\varnothing}$ is said to satisfy condition (A) (see [35]) if there exists a nondecreasing function $f:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ with $f(0)=0$, $f(t)>0$ for $t\in (0,\mathrm{\infty})$ such that
Theorem 3.7 Let C be a nonempty closed convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η and $T:C\to C$ a uniformly continuous nearly asymptotically nonexpansive mapping with $F(T)\ne \mathrm{\varnothing}$ and sequence $\{({a}_{n},\eta ({T}^{n}))\}$ such that ${\sum}_{n=1}^{\mathrm{\infty}}\eta ({T}^{n}1)<\mathrm{\infty}$ and ${\sum}_{n=1}^{\mathrm{\infty}}{a}_{n}<\mathrm{\infty}$. For arbitrary ${x}_{1}\in C$, let $\{{x}_{n}\}$ be a sequence in C defined by (3.1), where $\{{\alpha}_{n}\}$ and $\{{\beta}_{n}\}$ are sequences in $(0,1)$. Suppose that T satisfies the condition (A). Then $\{{x}_{n}\}$ converges strongly to a fixed point of T.
Proof By (3.13), we have ${lim}_{n\to \mathrm{\infty}}d({x}_{n},T{x}_{n})=0$ Further, by condition (A),
It follows that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},F(T))=0$. Therefore, the result follows from Theorem 3.4. □
4 Conclusion

1.
We prove strong and Δconvergence of the Siteration process, which is faster than the iteration processes used by Abbas et al. [19], Dhompongsa and Panyanak [22], and Khan and Abbas [23].

2.
Theorem 3.3 extends Agarwal et al. [[18], Theorem 3.8] from a uniformly convex Banach space to a uniformly convex hyperbolic space.

3.
Theorem 3.3 extends Dhompongsa and Panyanak [[22], Theorem 3.3] from the class of nonexpansive mappings to the class of mappings which are not necessarily Lipschitzian.

4.
Theorem 3.6, extends corresponding results of Beg [36], Chang [37], Khan and Takahashi [4] and Osilike and Aniagbosor [5] for a more general class of nonLipschitzian mappings in the framework of a uniformly convex hyperbolic space. It also extends the corresponding results of Dhomponsga and Panyanak [22] from the class of nonexpansive mappings to a more general class of nonLipschitzian mappings in the same space setting.

5.
Theorem 3.7 extends Sahu and Beg [[12], Theorem 4.4] from a Banach to a uniformly convex hyperbolic space.
References
 1.
Goebel K, Kirk WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1972, 35: 171–174. 10.1090/S00029939197202985003
 2.
Agarwal RP, O’Regan D, Sahu DR Topological Fixed Point Theory and Its Applications 6. In Fixed Point Theory for LipschitzianType Mappings with Applications. Springer, New York; 2009.
 3.
Jung JS, Sahu DR: Dual convergences of iteration processes for nonexpansive mappings in Banach space. Czechoslov. Math. J. 2003, 53: 397–404. 10.1023/A:1026291421505
 4.
Khan SH, Takahashi W: Iterative approximation of fixed points of asymptotically nonexpansive mappings with compact domains. Panam. Math. J. 2001, 11: 19–24.
 5.
Osilike MO, Aniagbosor SC: Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings. Math. Comput. Model. 2000, 32: 1181–1191. 10.1016/S08957177(00)001990
 6.
Schu J: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 1991, 158: 407–413. 10.1016/0022247X(91)90245U
 7.
Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 1993, 178: 301–308. 10.1006/jmaa.1993.1309
 8.
Tan KK, Xu HK: Fixed point iteration processes for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 1994, 122: 733–739. 10.1090/S00029939199412039935
 9.
Xu HK: Existence and convergence for fixed points of mappings of asymptotically nonexpansive type. Nonlinear Anal. 1991, 16: 1139–1146. 10.1016/0362546X(91)90201B
 10.
Kim GE, Kim TH: Mann and Ishikawa iterations with errors for nonLipschitzian mappings in Banach spaces. Comput. Math. Appl. 2001, 42: 1565–1570. 10.1016/S08981221(01)002620
 11.
Sahu DR: Fixed points of demicontinuous nearly Lipschitzian mappings in Banach spaces. Comment. Math. Univ. Carol. 2005, 46: 653–666.
 12.
Sahu DR, Beg I: Weak and strong convergence for fixed points of nearly asymptotically nonexpansive mappings. Int. J. Mod. Math. 2008, 3: 135–151.
 13.
Shahzad N, Zegeye H: Strong convergence of an implicit iteration process for a finite family of generalized asymptotically quasinonepxpansive maps. Appl. Math. Comput. 2007, 189: 1058–1065. 10.1016/j.amc.2006.11.152
 14.
Lim TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 1976, 60: 179–182. 10.1090/S0002993919760423139X
 15.
Kirk WA, Panyanak B: A concept of convergence in geodesic spaces. Nonlinear Anal. 2008, 68: 3689–3696. 10.1016/j.na.2007.04.011
 16.
Mann WR: Mean value methods in iteration. Proc. Am. Math. Soc. 1953, 4: 506–510. 10.1090/S00029939195300548463
 17.
Ishikawa S: Fixed points by new iteration method. Proc. Am. Math. Soc. 1974, 44: 147–150. 10.1090/S00029939197403364695
 18.
Agarwal RP, O’Regan D, Sahu DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 2007, 8: 61–79.
 19.
Abbas M, Kadelburg Z, Sahu DR:Fixed point theorems for Lipschitzian type mappings in $CAT(0)$ spaces. Math. Comput. Model. 2012, 55: 1418–1427. 10.1016/j.mcm.2011.10.019
 20.
Abbas M, Thakur BS, Thakur D:Fixed points of asymptotically nonexpansive mappings in the intermediate sense in $CAT(0)$ spaces. Commun. Korean Math. Soc. 2013, 28: 107–121. 10.4134/CKMS.2013.28.1.107
 21.
Chang SS, Wang L, Lee HWJ, Chen CK, Yang L:Demiclosedness principle and Δconvergence theorems for total asymptotically nonexpansive mappings in $CAT(0)$ spaces. Appl. Math. Comput. 2012, 219: 2611–2617. 10.1016/j.amc.2012.08.095
 22.
Dhompongsa S, Panyanak B:On Δconvergence theorems in $CAT(0)$ spaces. Comput. Math. Appl. 2008, 56: 2572–2579. 10.1016/j.camwa.2008.05.036
 23.
Khan SH, Abbas M:Strong and Δconvergence of some iterative schemes in $CAT(0)$ spaces. Comput. Math. Appl. 2011, 61: 109–116. 10.1016/j.camwa.2010.10.037
 24.
Kohlenbach U: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 2005, 357: 89–128. 10.1090/S0002994704035159
 25.
Bridson M, Haefliger A: Metric Space of Nonpositive Curvature. Springer, Berlin; 1999.
 26.
Goebel K, Kirk WA: Iteration processes for nonexpansive mappings. Contemporary Mathematics 21. In Topological Methods in Nonlinear Functional Analysis Edited by: Singh SP, Thomeier S, Watson B. 1983, 115–123.
 27.
Kirk WA: Krasnoselskii’s iteration process in hyperbolic space. Numer. Funct. Anal. Optim. 1982, 4: 371–381. 10.1080/01630568208816123
 28.
Reich S, Shafrir I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 1990, 15: 537–558. 10.1016/0362546X(90)90058O
 29.
Takahashi W: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 1970, 22: 142–149. 10.2996/kmj/1138846111
 30.
Shimizu T, Takahashi W: Fixed points of multivalued mappings in certain convex metric spaces. Topol. Methods Nonlinear Anal. 1996, 8: 197–203.
 31.
Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York; 1984.
 32.
Leustean L: Nonexpansive iteration in uniformly convex W hyperbolic spaces. Contemporary Mathematics 513. In Nonlinear Analysis and Optimization I: Nonlinear Analysis. Edited by: Leizarowitz A, Mordukhovich BS, Shafrir I, Zaslavski A. Am. Math. Soc., Providence; 2010:193–210.
 33.
Khan AR, Fukharuddin H, Khan MAA: An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 54 10.1186/16871812201254
 34.
Fukharuddin H, Khan SH: Convergence of iterates with errors of asymptotically nonexpansive mappings and applications. J. Math. Anal. Appl. 2007, 328: 821–829. 10.1016/j.jmaa.2006.05.068
 35.
Senter HF, Doston WG: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 1974, 44: 375–380. 10.1090/S00029939197403466088
 36.
Beg I: An iteration scheme for asymptotically nonexpansive mappings on uniformly convex metric spaces. Nonlinear Anal. Forum 2001, 6: 27–34.
 37.
Chang SS: On the approximation problem of fixed points for asymptotically nonexpansive mappings. Indian J. Pure Appl. Math. 2001, 32: 1297–1307.
Acknowledgements
The authors would like to thank the editor and all referees for their valuable comments and suggestions for improving the paper.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Siteration process
 uniformly convex hyperbolic space
 nearly asymptotically nonexpansive mapping