# Some convergence results for modified SP-iteration scheme in hyperbolic spaces

## Abstract

In this paper, we prove some strong and Δ-convergence theorems for a modified SP-iteration scheme for total asymptotically nonexpansive mappings in hyperbolic spaces by employing recent technical results of Khan et al. (Fixed Point Theory Appl. 2012:54, 2012). The results presented here extend and improve some well-known results in the current literature.

MSC:47H09, 47H10.

## 1 Introduction and preliminaries

Iterative schemes play a key role in approximating fixed points of nonlinear mappings. Structural properties of the underlying space, such as strict convexity and uniform convexity, are very much needed for the development of iterative fixed point theory in it. Hyperbolic spaces are general in nature and inherit rich geometrical structure suitable to obtain new results in topology, graph theory, multi-valued analysis and metric fixed point theory.

Kohlenbach [1] introduced the hyperbolic spaces, defined below, which play a significant role in many branches of mathematics.

A hyperbolic space $\left(X,d,W\right)$ is a metric space $\left(X,d\right)$ together with a mapping $W:X×X×\left[0,1\right]\to X$ satisfying

(W1) $d\left(z,W\left(x,y,\lambda \right)\right)\le \left(1-\lambda \right)d\left(z,x\right)+\lambda d\left(z,y\right)$,

(W2) $d\left(W\left(x,y,{\lambda }_{1}\right),W\left(x,y,{\lambda }_{2}\right)\right)=|{\lambda }_{1}-{\lambda }_{2}|d\left(x,y\right)$,

(W3) $W\left(x,y,\lambda \right)=W\left(y,x,\left(1-\lambda \right)\right)$,

(W4) $d\left(W\left(x,z,\lambda \right),W\left(y,w,\lambda \right)\right)\le \left(1-\lambda \right)d\left(x,y\right)+\lambda d\left(z,w\right)$

for all $x,y,z,w\in X$ and $\lambda ,{\lambda }_{1},{\lambda }_{2}\in \left[0,1\right]$.

A subset K of a hyperbolic space X is convex if $W\left(x,y,\lambda \right)\in K$ for all $x,y\in K$ and $\lambda \in \left[0,1\right]$. If a space satisfies only (W1), it coincides with the convex metric space introduced by Takahashi [2]. The concept of hyperbolic spaces in [1] is more restrictive than the hyperbolic type introduced by Goebel et al. [3] since (W1)-(W3) together are equivalent to $\left(X,d,W\right)$ being a space of hyperbolic type in [3]. Also it is slightly more general than the hyperbolic space defined by Reich et al. [4]. The class of hyperbolic spaces in [1] contains all normed linear spaces and convex subsets thereof, -trees, the Hilbert ball with the hyperbolic metric (see [5]), Cartesian products of Hilbert balls, Hadamard manifolds and CAT(0) spaces (see [6]) as special cases. Recently, the concept of p-uniformly convexity has been defined by Naor et al. [7] and its nonlinear version for $p=2$ in hyperbolic spaces was studied by Khan [8]. Any CAT(0) space is 2-uniformly convex (see [9]).

The following example accentuates the importance of hyperbolic spaces.

Let ${B}_{H}$ be an open unit ball in a complex Hilbert space $\left(H,〈\cdot 〉\right)$ w.r.t. the metric (also known as the Kobayashi distance)

${k}_{{B}_{H}}\left(x,y\right)=argtanh{\left(1-\sigma \left(x,y\right)\right)}^{\frac{1}{2}},$

where

Then $\left({B}_{H},{k}_{{B}_{H}},W\right)$ is a hyperbolic space where $W\left(x,y,\lambda \right)$ defines a unique point z in a unique geodesic segment $\left[x,y\right]$ for all $x,y\in {B}_{H}$. For more on hyperbolic spaces and a detailed treatment of examples, we refer the readers to [1].

A hyperbolic space $\left(X,d,W\right)$ is said to be

1. (i)

strictly convex [2] if for any $x,y\in X$ and $\lambda \in \left[0,1\right]$, there exists a unique element $z\in X$ such that $d\left(z,x\right)=\lambda d\left(x,y\right)$ and $d\left(z,y\right)=\left(1-\lambda \right)d\left(x,y\right)$;

2. (ii)

uniformly convex [10] if for all $u,x,y\in X$, $r>0$ and $\epsilon \in \left(0,2\right]$, there exists $\delta \in \left(0,1\right]$ such that $d\left(W\left(x,y,\frac{1}{2}\right),u\right)\le \left(1-\delta \right)r$ whenever $d\left(x,u\right)\le r$, $d\left(y,u\right)\le r$ and $d\left(x,y\right)\ge \epsilon r$.

A mapping $\eta :\left(0,\mathrm{\infty }\right)×\left(0,2\right]\to \left(0,1\right]$ providing such $\delta =\eta \left(r,\epsilon \right)$ for given $r>0$ and $\epsilon \in \left(0,2\right]$ is called modulus of uniform convexity. We call η monotone if it decreases with r (for a fixed ε). A uniformly convex hyperbolic space is strictly convex (see [11]).

Let K be a nonempty subset of a metric space $\left(X,d\right)$ and T be a self-mapping on K. Denote by $F\left(T\right)=\left\{x\in K:T\left(x\right)=x\right\}$ the set of fixed points of T and $d\left(x,F\left(T\right)\right)=inf\left\{d\left(x,p\right):p\in F\left(T\right)\right\}$. A self-mapping T is said to be

1. (1)

nonexpansive if $d\left(Tx,Ty\right)\le d\left(x,y\right)$ for all $x,y\in K$;

2. (2)

asymptotically nonexpansive if there exists a sequence $\left\{{k}_{n}\right\}\subset \left[1,\mathrm{\infty }\right)$ with ${k}_{n}\to 1$ such that $d\left({T}^{n}x,{T}^{n}y\right)\le {k}_{n}d\left(x,y\right)$ for all $x,y\in K$ and $n\ge 1$;

3. (3)

uniformly L-Lipschitzian if there exists a constant $L>0$ such that $d\left({T}^{n}x,{T}^{n}y\right)\le Ld\left(x,y\right)$ for all $x,y\in K$ and $n\ge 1$;

4. (4)

total asymptotically nonexpansive if there exist non-negative real sequences $\left\{{\mu }_{n}\right\}$, $\left\{{v}_{n}\right\}$ with ${\mu }_{n}\to 0$, ${v}_{n}\to 0$ and a strictly increasing continuous function $\zeta :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $\zeta \left(0\right)=0$ such that

$d\left({T}^{n}x,{T}^{n}y\right)\le d\left(x,y\right)+{v}_{n}\zeta \left(d\left(x,y\right)\right)+{\mu }_{n}$

for all $x,y\in K$ and $n\ge 1$ (see [[12], Definition 2.1]).

It follows from the above definitions that each nonexpansive mapping is an asymptotically nonexpansive mapping with ${k}_{n}=1$, $\mathrm{\forall }n\ge 1$ and that each asymptotically nonexpansive mapping is a total asymptotically nonexpansive mapping with ${v}_{n}={k}_{n}-1$, ${\mu }_{n}=0$, $\mathrm{\forall }n\ge 1$, $\zeta \left(t\right)=t$, $\mathrm{\forall }t\ge 0$. Moreover, each asymptotically nonexpansive mapping is a uniformly L-Lipschitzian mapping with $L={sup}_{n\in \mathbb{N}}\left\{{k}_{n}\right\}$. However, the converse of these statements is not true, in general.

It has been shown that every total asymptotically nonexpansive mapping defined on a nonempty bounded closed convex subset of a complete uniformly convex hyperbolic space always has a fixed point (see [[13], Theorem 3.1]).

The following iteration process is a translation of the SP-iteration scheme introduced in [14] from Banach spaces to hyperbolic spaces. The SP-iteration is equivalent to Mann, Ishikawa, Noor iterations and converges faster than the others for the class of continuous and non-decreasing functions (see [14]).

$\left\{\begin{array}{c}{x}_{1}\in K,\hfill \\ {z}_{n}=W\left({x}_{n},{T}^{n}{x}_{n},{\gamma }_{n}\right),\hfill \\ {y}_{n}=W\left({z}_{n},{T}^{n}{z}_{n},{\beta }_{n}\right),\hfill \\ {x}_{n+1}=W\left({y}_{n},{T}^{n}{y}_{n},{\alpha }_{n}\right),\hfill & n\ge 1,\hfill \end{array}$
(1.1)

where K is a nonempty, closed and convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity and $T:K\to K$ is a uniformly L-Lipschitzian and total asymptotically nonexpansive mapping.

Inspired and motivated by Khan et al. [15], Khan [16], Fukhar-ud-din and Khan [17], Wan [18], Zhao et al. [19] and Zhao et al. [20], we prove some strong and -convergence theorems of the modified SP-iteration process for approximating a fixed point of total asymptotically nonexpansive mappings in hyperbolic spaces. The results presented in the paper extend and improve some recent results given in [14, 21].

The concept of -convergence in a metric space was introduced by Lim [22] and its analogue in CAT(0) spaces was investigated by Dhompongsa and Panyanak [23]. In order to define the concept of -convergence in the general setup of hyperbolic spaces, we first collect some basic concepts.

Let $\left\{{x}_{n}\right\}$ be a bounded sequence in a hyperbolic space X. For $x\in X$, we define a continuous functional $r\left(\cdot ,\left\{{x}_{n}\right\}\right):X\to \left[0,\mathrm{\infty }\right)$ by

$r\left(x,\left\{{x}_{n}\right\}\right)=\underset{n\to \mathrm{\infty }}{lim sup}d\left(x,{x}_{n}\right).$

The asymptotic radius $\rho =r\left(\left\{{x}_{n}\right\}\right)$ of $\left\{{x}_{n}\right\}$ is given by

$\rho =inf\left\{r\left(x,\left\{{x}_{n}\right\}\right):x\in X\right\}.$

The asymptotic center of $\left\{{x}_{n}\right\}$ with respect to a subset K of X is defined as follows:

${A}_{K}\left(\left\{{x}_{n}\right\}\right)=\left\{x\in X:r\left(x,\left\{{x}_{n}\right\}\right)\le r\left(y,\left\{{x}_{n}\right\}\right),\mathrm{\forall }y\in K\right\}.$

This is the set of minimizer of the functional $r\left(\cdot ,\left\{{x}_{n}\right\}\right)$. If the asymptotic center is taken with respect to X, then it is simply denoted by $A\left(\left\{{x}_{n}\right\}\right)$.

Recall that a sequence $\left\{{x}_{n}\right\}$ in X is said to -converge to $x\in X$ if x is the unique asymptotic center of $\left\{{u}_{n}\right\}$ for every subsequence $\left\{{u}_{n}\right\}$ of $\left\{{x}_{n}\right\}$. In this case, we write $△\text{-}{lim}_{n\to \mathrm{\infty }}{x}_{n}=x$ and call x as -limit of $\left\{{x}_{n}\right\}$.

It is 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 [24] and ensures that this property also holds in a complete uniformly convex hyperbolic space.

Lemma 1 [[24], Proposition 3.3]

Let $\left(X,d,W\right)$ be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Then every bounded sequence $\left\{{x}_{n}\right\}$ in X has a unique asymptotic center with respect to any nonempty closed convex subset K of X.

In the sequel, we shall need the following results.

Lemma 2 [[15], Lemma 2.5]

Let $\left(X,d,W\right)$ be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η. Let $x\in X$ and $\left\{{\alpha }_{n}\right\}$ be a sequence in $\left[a,b\right]$ for some $a,b\in \left(0,1\right)$. If $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are sequences in X such that

$\underset{n\to \mathrm{\infty }}{lim sup}d\left({x}_{n},x\right)\le r,\phantom{\rule{2em}{0ex}}\underset{n\to \mathrm{\infty }}{lim sup}d\left({y}_{n},x\right)\le r,\phantom{\rule{2em}{0ex}}\underset{n\to \mathrm{\infty }}{lim}d\left(W\left({x}_{n},{y}_{n},{\alpha }_{n}\right),x\right)=r$

for some $r\ge 0$, then

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},{y}_{n}\right)=0.$

Lemma 3 [[15], Lemma 2.6]

Let K be a nonempty closed convex subset of a uniformly convex hyperbolic space and let $\left\{{x}_{n}\right\}$ be a bounded sequence in K such that $A\left(\left\{{x}_{n}\right\}\right)=\left\{y\right\}$ and $r\left(\left\{{x}_{n}\right\}\right)=\rho$. If $\left\{{y}_{m}\right\}$ is another sequence in K such that ${lim}_{m\to \mathrm{\infty }}r\left({y}_{m},\left\{{x}_{n}\right\}\right)=\rho$, then ${lim}_{m\to \mathrm{\infty }}{y}_{m}=y$.

Lemma 4 [[25], Lemma 2]

Let $\left\{{a}_{n}\right\}$, $\left\{{b}_{n}\right\}$ and $\left\{{\delta }_{n}\right\}$ be sequences of non-negative real numbers such that

${a}_{n+1}\le \left(1+{\delta }_{n}\right){a}_{n}+{b}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1.$

If ${\sum }_{n=1}^{\mathrm{\infty }}{\delta }_{n}<\mathrm{\infty }$ and ${\sum }_{n=1}^{\mathrm{\infty }}{b}_{n}<\mathrm{\infty }$, then ${lim}_{n\to \mathrm{\infty }}{a}_{n}$ exists.

## 2 Main results

We begin with Δ-convergence of the modified SP-iterative sequence $\left\{{x}_{n}\right\}$ defined by (1.1) for total asymptotically nonexpansive mappings in hyperbolic spaces.

Theorem 1 Let K be a nonempty, closed and convex subset of a complete uniformly convex hyperbolic space X with monotone modulus of uniform convexity η. Let $T:K\to K$ be a uniformly L-Lipschitzian and total asymptotically nonexpansive mapping with $F\left(T\right)\ne \mathrm{\varnothing }$. If the following conditions are satisfied:

1. (i)

${\sum }_{n=1}^{\mathrm{\infty }}{v}_{n}<\mathrm{\infty }$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\mu }_{n}<\mathrm{\infty }$;

2. (ii)

there exist constants $a,b\in \left(0,1\right)$ such that $\left\{{\alpha }_{n}\right\},\left\{{\beta }_{n}\right\},\left\{{\gamma }_{n}\right\}\subset$ $\left[a,b\right]$;

3. (iii)

there exists a constant $M>0$ such that $\zeta \left(r\right)\le Mr$, $\mathrm{\forall }r\ge 0$,

then the sequence $\left\{{x}_{n}\right\}$ defined by (1.1), Δ-converges to a fixed point of T.

Proof We divide our proof into three steps.

Step 1. First we prove that the following limits exist:

(2.1)

Since T is a total asymptotically nonexpansive mapping, by condition (iii), we get

$\begin{array}{rcl}d\left({z}_{n},p\right)& =& d\left(W\left({x}_{n},{T}^{n}{x}_{n},{\gamma }_{n}\right),p\right)\\ \le & \left(1-{\gamma }_{n}\right)d\left({x}_{n},p\right)+{\gamma }_{n}d\left({T}^{n}{x}_{n},p\right)\\ \le & \left(1-{\gamma }_{n}\right)d\left({x}_{n},p\right)+{\gamma }_{n}\left\{d\left({x}_{n},p\right)+{v}_{n}\zeta \left(d\left({x}_{n},p\right)\right)+{\mu }_{n}\right\}\\ =& d\left({x}_{n},p\right)+{\gamma }_{n}{v}_{n}\zeta \left(d\left({x}_{n},p\right)\right)+{\gamma }_{n}{\mu }_{n}\\ \le & \left(1+{\gamma }_{n}{v}_{n}M\right)d\left({x}_{n},p\right)+{\gamma }_{n}{\mu }_{n}\end{array}$
(2.2)

and

$\begin{array}{rcl}d\left({y}_{n},p\right)& =& d\left(W\left({z}_{n},{T}^{n}{z}_{n},{\beta }_{n}\right),p\right)\\ \le & \left(1-{\beta }_{n}\right)d\left({z}_{n},p\right)+{\beta }_{n}d\left({T}^{n}{z}_{n},p\right)\\ \le & \left(1-{\beta }_{n}\right)d\left({z}_{n},p\right)+{\beta }_{n}\left\{d\left({z}_{n},p\right)+{v}_{n}\zeta \left(d\left({z}_{n},p\right)\right)+{\mu }_{n}\right\}\\ \le & \left(1+{\beta }_{n}{v}_{n}M\right)d\left({z}_{n},p\right)+{\beta }_{n}{\mu }_{n}.\end{array}$
(2.3)

Substituting (2.2) into (2.3) and simplifying it, we have

$\begin{array}{rcl}d\left({y}_{n},p\right)& \le & \left(1+{\beta }_{n}{v}_{n}M\right)\left\{\left(1+{\gamma }_{n}{v}_{n}M\right)d\left({x}_{n},p\right)+{\gamma }_{n}{\mu }_{n}\right\}+{\beta }_{n}{\mu }_{n}\\ \le & \left(1+{v}_{n}M\left({\beta }_{n}+{\gamma }_{n}+{\beta }_{n}{\gamma }_{n}{v}_{n}M\right)\right)d\left({x}_{n},p\right)\\ +{\mu }_{n}\left({\beta }_{n}+{\gamma }_{n}+{\beta }_{n}{\gamma }_{n}{v}_{n}M\right).\end{array}$
(2.4)

Similarly, we obtain

$d\left({x}_{n+1},p\right)\le \left(1+{\alpha }_{n}{v}_{n}M\right)d\left({y}_{n},p\right)+{\alpha }_{n}{\mu }_{n}.$
(2.5)

Combining (2.4) and (2.5), we have

(2.6)

and so

$d\left({x}_{n+1},F\left(T\right)\right)\le \left(1+{\sigma }_{n}\right)d\left({x}_{n},F\left(T\right)\right)+{\xi }_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,$

where ${\sigma }_{n}={v}_{n}M\left({\alpha }_{n}+{\beta }_{n}+{\gamma }_{n}+{v}_{n}M\left({\alpha }_{n}{\beta }_{n}+{\beta }_{n}{\gamma }_{n}+{\alpha }_{n}{\gamma }_{n}+{\alpha }_{n}{\beta }_{n}{\gamma }_{n}{v}_{n}M\right)\right)$ and ${\xi }_{n}={\alpha }_{n}+{\beta }_{n}+{\gamma }_{n}+{v}_{n}M\left({\alpha }_{n}{\beta }_{n}+{\beta }_{n}{\gamma }_{n}+{\alpha }_{n}{\gamma }_{n}+{\alpha }_{n}{\beta }_{n}{\gamma }_{n}{v}_{n}M\right)$. By virtue of condition (i),

$\sum _{n=1}^{\mathrm{\infty }}{\sigma }_{n}<\mathrm{\infty }\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\sum _{n=1}^{\mathrm{\infty }}{\xi }_{n}<\mathrm{\infty }.$

By Lemma 4, ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)$ and ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)$ exist for each $p\in F\left(T\right)$.

Step 2. Next we prove that ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},T{x}_{n}\right)=0$.

In fact, it follows from (2.1) that ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)$ exists for each given $p\in F\left(T\right)$. We may assume that ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)=r$. The case $r=0$ is trivial. Next, we deal with the case $r>0$. Taking lim sup on both sides in inequality (2.4), we have

$\underset{n\to \mathrm{\infty }}{lim sup}d\left({y}_{n},p\right)\le r.$
(2.7)

Since

$\begin{array}{rcl}d\left({T}^{n}{y}_{n},p\right)& \le & d\left({y}_{n},p\right)+{v}_{n}\zeta \left(d\left({y}_{n},p\right)\right)+{\mu }_{n}\\ \le & \left(1+{v}_{n}M\right)d\left({y}_{n},p\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,\end{array}$

we have

$\underset{n\to \mathrm{\infty }}{lim sup}d\left({T}^{n}{y}_{n},p\right)\le r.$
(2.8)

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n+1},p\right)=\underset{n\to \mathrm{\infty }}{lim}d\left(W\left({y}_{n},{T}^{n}{y}_{n},{\alpha }_{n}\right),p\right)=r.$
(2.9)

With the help of (2.7)-(2.9) and Lemma 2, we have

$\underset{n\to \mathrm{\infty }}{lim}d\left({y}_{n},{T}^{n}{y}_{n}\right)=0.$
(2.10)

On the other hand, since

$\begin{array}{rcl}d\left({x}_{n+1},p\right)& \le & d\left({x}_{n+1},{T}^{n}{y}_{n}\right)+d\left({T}^{n}{y}_{n},p\right)\\ \le & \left(1-{\alpha }_{n}\right)d\left({y}_{n},{T}^{n}{y}_{n}\right)+\left(1+{v}_{n}M\right)d\left({y}_{n},p\right)+{\mu }_{n},\end{array}$

we have ${lim inf}_{n\to \mathrm{\infty }}$ $d\left({y}_{n},p\right)\ge r$. Combined with (2.7), it yields that ${lim}_{n\to \mathrm{\infty }}d\left({y}_{n},p\right)=r$. This implies that

$\underset{n\to \mathrm{\infty }}{lim}d\left(W\left({z}_{n},{T}^{n}{z}_{n},{\beta }_{n}\right),p\right)=r.$
(2.11)

Taking lim sup on both sides in inequality (2.2), we have

$\underset{n\to \mathrm{\infty }}{lim sup}d\left({z}_{n},p\right)\le r.$
(2.12)

Since

$\begin{array}{rcl}d\left({T}^{n}{z}_{n},p\right)& \le & d\left({z}_{n},p\right)+{v}_{n}\zeta \left(d\left({z}_{n},p\right)\right)+{\mu }_{n}\\ \le & \left(1+{v}_{n}M\right)d\left({z}_{n},p\right)+{\mu }_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,\end{array}$

we have

$\underset{n\to \mathrm{\infty }}{lim sup}d\left({T}^{n}{z}_{n},p\right)\le r.$
(2.13)

With the help of (2.11)-(2.13) and Lemma 2, we have

$\underset{n\to \mathrm{\infty }}{lim}d\left({z}_{n},{T}^{n}{z}_{n}\right)=0.$
(2.14)

By the same method, we can also prove that

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},{T}^{n}{x}_{n}\right)=0.$
(2.15)

By (2.10), we get

In a similar way, we have

and

It follows that

(2.16)

Since T is uniformly L-Lipschitzian, therefore we obtain

$\begin{array}{rcl}d\left({x}_{n},T{x}_{n}\right)& \le & d\left({x}_{n},{x}_{n+1}\right)+d\left({x}_{n+1},{T}^{n+1}{x}_{n+1}\right)+d\left({T}^{n+1}{x}_{n+1},{T}^{n+1}{x}_{n}\right)+d\left({T}^{n+1}{x}_{n},T{x}_{n}\right)\\ \le & \left(1+L\right)d\left({x}_{n+1},{x}_{n}\right)+d\left({x}_{n+1},{T}^{n+1}{x}_{n+1}\right)+Ld\left({T}^{n}{x}_{n},{x}_{n}\right).\end{array}$

Hence, (2.15) and (2.16) imply that

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},T{x}_{n}\right)=0.$
(2.17)

Step 3. Now we prove that the sequence $\left\{{x}_{n}\right\}$ -converges to a fixed point of T.

In fact, for each $p\in F\left(T\right)$, ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)$ exists. This implies that the sequence $\left\{{x}_{n}\right\}$ is bounded. Hence by virtue of Lemma 1, $\left\{{x}_{n}\right\}$ has a unique asymptotic center ${A}_{K}\left(\left\{{x}_{n}\right\}\right)=\left\{x\right\}$. Let $\left\{{u}_{n}\right\}$ be any subsequence of $\left\{{x}_{n}\right\}$ such that ${A}_{K}\left(\left\{{u}_{n}\right\}\right)=\left\{u\right\}$. Then, by (2.17), we have

$\underset{n\to \mathrm{\infty }}{lim}d\left({u}_{n},T{u}_{n}\right)=0.$
(2.18)

We claim that $u\in F\left(T\right)$. In fact, we define a sequence $\left\{{z}_{m}\right\}$ in K by ${z}_{m}={T}^{m}u$. So, we calculate

$\begin{array}{rl}d\left({z}_{m},{u}_{n}\right)& \le d\left({T}^{m}u,{T}^{m}{u}_{n}\right)+d\left({T}^{m}{u}_{n},{T}^{m-1}{u}_{n}\right)+\cdots +d\left(T{u}_{n},{u}_{n}\right)\\ \le d\left(u,{u}_{n}\right)+{v}_{n}\zeta \left(d\left(u,{u}_{n}\right)\right)+{\mu }_{n}+\sum _{i=1}^{m}d\left({T}^{i}{u}_{n},{T}^{i-1}{u}_{n}\right)\\ \le \left(1+{v}_{n}M\right)d\left(u,{u}_{n}\right)+{\mu }_{n}+\sum _{i=1}^{m}d\left({T}^{i}{u}_{n},{T}^{i-1}{u}_{n}\right).\end{array}$
(2.19)

Since T is uniformly L-Lipschitzian, from (2.19), we have

$d\left({z}_{m},{u}_{n}\right)\le \left(1+{v}_{n}M\right)d\left(u,{u}_{n}\right)+{\mu }_{n}+mLd\left(T{u}_{n},{u}_{n}\right).$

Taking lim sup on both sides of the above estimate and using (2.18), we have

$r\left({z}_{m},\left\{{u}_{n}\right\}\right)=\underset{n\to \mathrm{\infty }}{lim sup}d\left({z}_{m},{u}_{n}\right)\le \underset{n\to \mathrm{\infty }}{lim sup}d\left(u,{u}_{n}\right)=r\left(u,\left\{{u}_{n}\right\}\right).$

This implies that $|r\left({z}_{m},\left\{{u}_{n}\right\}\right)-r\left(u,\left\{{u}_{n}\right\}\right)|\to 0$ as $m\to \mathrm{\infty }$. It follows from Lemma 3 that ${lim}_{m\to \mathrm{\infty }}{T}^{m}u=u$. Utilizing the uniform continuity of T, we have that

$Tu=T\left(\underset{m\to \mathrm{\infty }}{lim}{T}^{m}u\right)=\underset{m\to \mathrm{\infty }}{lim}{T}^{m+1}u=u.$

Hence $u\in F\left(T\right)$. Moreover, ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},u\right)$ exists by (2.1). Suppose that $x\ne u$. By the uniqueness of asymptotic centers, we have

$\begin{array}{rcl}\underset{n\to \mathrm{\infty }}{lim sup}d\left({u}_{n},u\right)& <& \underset{n\to \mathrm{\infty }}{lim sup}d\left({u}_{n},x\right)\\ \le & \underset{n\to \mathrm{\infty }}{lim sup}d\left({x}_{n},x\right)\\ <& \underset{n\to \mathrm{\infty }}{lim sup}d\left({x}_{n},u\right)\\ =& \underset{n\to \mathrm{\infty }}{lim sup}d\left({u}_{n},u\right)\end{array}$

a contradiction. Hence $x=u$. Since $\left\{{u}_{n}\right\}$ is an arbitrary subsequence of $\left\{{x}_{n}\right\}$, therefore $A\left(\left\{{u}_{n}\right\}\right)=\left\{u\right\}$ for all subsequences $\left\{{u}_{n}\right\}$ of $\left\{{x}_{n}\right\}$, that is, $\left\{{x}_{n}\right\}$ -converges to $x\in F\left(T\right)$. The proof is completed. □

We now discuss the strong convergence of the modified SP-iteration for total asymptotically nonexpansive mappings in hyperbolic spaces.

Theorem 2 Let K, X, T and $\left\{{x}_{n}\right\}$ be the same as in Theorem 1. Suppose that conditions (i)-(iii) in Theorem 1 are satisfied. Then $\left\{{x}_{n}\right\}$ converges strongly to some $p\in F\left(T\right)$ if and only if ${lim inf}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)=0$.

Proof If $\left\{{x}_{n}\right\}$ converges to $p\in F\left(T\right)$, then ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)=0$. Since $0\le d\left({x}_{n},F\left(T\right)\right)\le d\left({x}_{n},p\right)$, we have ${lim inf}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)=0$.

Conversely, suppose that ${lim inf}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)=0$. It follows from (2.1) that ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)$ exists. Thus by hypothesis ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)=0$.

Next, we show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence. In fact, it follows from (2.6) that for any $p\in F\left(T\right)$,

$d\left({x}_{n+1},p\right)\le \left(1+{\sigma }_{n}\right)d\left({x}_{n},p\right)+{\xi }_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\ge 1,$

where ${\sum }_{n=1}^{\mathrm{\infty }}{\sigma }_{n}<\mathrm{\infty }$ and ${\sum }_{n=1}^{\mathrm{\infty }}{\xi }_{n}<\mathrm{\infty }$. Hence for any positive integers n, m, we have

$d\left({x}_{n+m},{x}_{n}\right)\le d\left({x}_{n+m},p\right)+d\left(p,{x}_{n}\right)\le \left(1+{\sigma }_{n+m-1}\right)d\left({x}_{n+m-1},p\right)+{\xi }_{n+m-1}+d\left({x}_{n},p\right).$

Since for each $x\ge 0$, $1+x\le {e}^{x}$, we have

$\begin{array}{rcl}d\left({x}_{n+m},{x}_{n}\right)& \le & {e}^{{\sigma }_{n+m-1}}d\left({x}_{n+m-1},p\right)+{\xi }_{n+m-1}+d\left({x}_{n},p\right)\\ \le & {e}^{{\sigma }_{n+m-1}+{\sigma }_{n+m-2}}d\left({x}_{n+m-2},p\right)+{e}^{{\sigma }_{n+m-1}}{\xi }_{n+m-2}+{\xi }_{n+m-1}+d\left({x}_{n},p\right)\\ \le & \cdots \\ \le & {e}^{{\sum }_{i=n}^{n+m-1}{\sigma }_{i}}d\left({x}_{n},p\right)+{e}^{{\sum }_{i=n+1}^{n+m-1}{\sigma }_{i}}{\xi }_{n}+{e}^{{\sum }_{i=n+2}^{n+m-2}{\sigma }_{i}}{\xi }_{n+1}+\cdots \\ +{e}^{{\sigma }_{n+m-1}}{\xi }_{n+m-2}+{\xi }_{n+m-1}+d\left({x}_{n},p\right)\\ \le & \left(1+N\right)d\left({x}_{n},p\right)+N\sum _{i=n}^{n+m-1}{\xi }_{i},\end{array}$

where $N={e}^{{\sum }_{i=1}^{\mathrm{\infty }}{\sigma }_{i}}<\mathrm{\infty }$. Therefore we have

This shows that $\left\{{x}_{n}\right\}$ is a Cauchy sequence in K. Since K is a closed subset in a complete hyperbolic space X, it is complete. We can assume that $\left\{{x}_{n}\right\}$ converges strongly to some point ${p}^{\star }\in K$. It is easy to prove that $F\left(T\right)$ is a closed subset in K, so is $F\left(T\right)$. Since ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)=0$, we obtain ${p}^{\star }\in F\left(T\right)$. This completes the proof. □

Remark 1 In Theorem 2, the condition ${lim inf}_{n\to \mathrm{\infty }}$ $d\left({x}_{n},F\left(T\right)\right)=0$ may be replaced with ${lim sup}_{n\to \mathrm{\infty }}$ $d\left({x}_{n},F\left(T\right)\right)=0$.

Example 1 Let be the real line with the usual norm $|\cdot |$ and let $K=\left[-1,1\right]$. Define two mappings ${T}_{1},{T}_{2}:K\to K$ by

and

It is proved in [[26], Example 3.1] that both ${T}_{1}$ and ${T}_{2}$ are asymptotically nonexpansive mappings with ${k}_{n}=1$, $\mathrm{\forall }n\ge 1$. Therefore they are total asymptotically nonexpansive mappings with ${v}_{n}={\mu }_{n}=0$, $\mathrm{\forall }n\ge 1$, $\zeta \left(t\right)=t$, $\mathrm{\forall }t\ge 0$. Additionally, they are uniformly L-Lipschitzian mappings with $L=1$. Clearly, $F\left({T}_{1}\right)=\left\{0\right\}$ and $F\left({T}_{2}\right)=\left\{x\in K;0\le x\le 1\right\}$. Set

(2.20)

Thus, the conditions of Theorem 1 are fulfilled. Therefore the results of Theorem 1 and Theorem 2 can be easily seen.

Example 2 Let be the real line with the usual norm $|\cdot |$ and let $K=\left[0,\mathrm{\infty }\right)$. Define two mappings ${S}_{1},{S}_{2}:K\to K$ by ${S}_{1}\left(x\right)=sinx$ and ${S}_{2}\left(x\right)=x$. It is proved in [[27], Example 1] that both ${S}_{1}$ and ${S}_{2}$ are total asymptotically nonexpansive mappings with ${v}_{n}=\frac{1}{{n}^{2}}$, ${\mu }_{n}=\frac{1}{{n}^{3}}$, $\mathrm{\forall }n\ge 1$. Additionally, they are uniformly L-Lipschitzian mappings with $L=1$. Clearly, $F\left({S}_{1}\right)=\left\{0\right\}$ and $F\left({S}_{2}\right)=\left\{x\in K;0\le x<\mathrm{\infty }\right\}$. Let $\left\{{\alpha }_{n}\right\}$, $\left\{{\beta }_{n}\right\}$ and $\left\{{\gamma }_{n}\right\}$ be the same as in (2.20). Similarly, the conditions of Theorem 1 are satisfied. So, the results of Theorem 1 and Theorem 2 also can be received.

Recall that a mapping T from a subset K of a metric space $\left(X,d\right)$ into itself is semi-compact if every bounded sequence $\left\{{x}_{n}\right\}\subset K$ satisfying $d\left({x}_{n},T{x}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$ has a strongly convergent subsequence.

Senter and Dotson [[28], p.375] introduced the concept of condition (I) as follows.

A mapping $T:K\to K$ with $F\left(T\right)\ne \mathrm{\varnothing }$ is said to satisfy condition (I) if there exists a non-decreasing function $f:\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ with $f\left(0\right)=0$ and $f\left(r\right)>0$ for all $r\in \left(0,\mathrm{\infty }\right)$ such that

By using the above definitions, we obtain the following strong convergence theorems.

Theorem 3 Under the assumptions of Theorem 1, if T is semi-compact, then $\left\{{x}_{n}\right\}$ converges strongly to a fixed point of T.

Proof It follows from (2.1) that $\left\{{x}_{n}\right\}$ is a bounded sequence. Also, by (2.17), we have ${lim}_{n\to \mathrm{\infty }}$ $d\left({x}_{n},T{x}_{n}\right)=0$. Then, by the semi-compactness of T, there exists a subsequence $\left\{{x}_{{n}_{k}}\right\}\subset \left\{{x}_{n}\right\}$ such that $\left\{{x}_{{n}_{k}}\right\}$ converges strongly to some point $p\in K$. Moreover, by the uniform continuity of T, we have

$d\left(p,Tp\right)=\underset{k\to \mathrm{\infty }}{lim}d\left({x}_{{n}_{k}},T{x}_{{n}_{k}}\right)=0.$

This implies that $p\in F\left(T\right)$. Again, by (2.1), ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},p\right)$ exists. Hence p is the strong limit of the sequence $\left\{{x}_{n}\right\}$. As a result, $\left\{{x}_{n}\right\}$ converges strongly to a fixed point p of T. □

Theorem 4 Under the assumptions of Theorem 1, if T satisfies condition (I), then $\left\{{x}_{n}\right\}$ converges strongly to a fixed point of T.

Proof By virtue of (2.1), ${lim}_{n\to \mathrm{\infty }}d\left({x}_{n},F\left(T\right)\right)$ exists. Further, by condition (I) and (2.17), we have

$\underset{n\to \mathrm{\infty }}{lim}f\left(d\left({x}_{n},F\left(T\right)\right)\right)\le \underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},T{x}_{n}\right)=0.$

That is, ${lim}_{n\to \mathrm{\infty }}$ $f\left(d\left({x}_{n},F\left(T\right)\right)\right)=0$. Since f is a non-decreasing function satisfying $f\left(0\right)=0$ and $f\left(r\right)>0$ for all $r\in \left(0,\mathrm{\infty }\right)$, it follows that ${lim}_{n\to \mathrm{\infty }}$ $d\left({x}_{n},F\left(T\right)\right)=0$. Now Theorem 2 implies that $\left\{{x}_{n}\right\}$ converges strongly to a point p in $F\left(T\right)$. □

Remark 2 Theorems 1-4 contain the corresponding theorems proved for asymptotically nonexpansive mappings when ${v}_{n}={k}_{n}-1$, ${\mu }_{n}=0$, $\mathrm{\forall }n\ge 1$, $\zeta \left(t\right)=t$, $\mathrm{\forall }t\ge 0$.

## References

1. Kohlenbach U: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 2004, 357(1):89–128.

2. Takahashi W: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 1970, 22: 142–149. 10.2996/kmj/1138846111

3. Goebel K, Kirk WA: Iteration processes for nonexpansive mappings. Contemp. Math. 21. In Topological Methods in Nonlinear Functional Analysis. Edited by: Singh SP, Thomeier S, Watson B. Am. Math. Soc., Providence; 1983:115–123.

4. Reich S, Shafrir I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal., Theory Methods Appl. 1990, 15: 537–558. 10.1016/0362-546X(90)90058-O

5. Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings. Dekker, New York; 1984.

6. Bridson M, Haefliger A: Metric Spaces of Non-Positive Curvature. Springer, Berlin; 1999.

7. Naor, A, Silberman, L: Poincaré inequalities, embeddings, and wild groups (2010) arXiv: 1005.4084v1 [math.GR]

8. Khan AR: Common fixed point and solution of nonlinear functional equations. Fixed Point Theory Appl. 2013., 2013: Article ID 290 10.1186/1687-1812-2013-290

9. Khamsi MA, Khan A: Inequalities in metric spaces with applications. Nonlinear Anal. 2011, 74: 4036–4045. 10.1016/j.na.2011.03.034

10. Shimizu T, Takahashi W: Fixed points of multivalued mappings in certain convex metric spaces. Topol. Methods Nonlinear Anal. 1996, 8: 197–203.

11. Leustean L: A quadratic rate of asymptotic regularity for CAT(0)-spaces. J. Math. Anal. Appl. 2007, 325: 386–399. 10.1016/j.jmaa.2006.01.081

12. Chang SS, Wang L, Joesph Lee HW, Chan CK, Yang L: Demiclosed 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

13. Fukhar-ud-din, H, Kalsoom, A, Khan, MAA: Existence and higher arity iteration for total asymptotically nonexpansivemappings in uniformly convex hyperbolic spaces (2013) arXiv: 1312.2418v2 [math.FA]

14. Phuengrattana W, Suantai S: On the rate of convergence of Mann, Ishikawa, Noor and SP-iterations for continuous functions on an arbitrary interval. J. Comput. Appl. Math. 2011, 235: 3006–3014. 10.1016/j.cam.2010.12.022

15. Khan AR, Fukhar-ud-din 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/1687-1812-2012-54

16. Khan MAA: Convergence analysis of a multi-step iteration for a finite family of asymptotically quasi-nonexpansive mappings. J. Inequal. Appl. 2013., 2013: Article ID 423 10.1186/1029-242X-2013-423

17. Fukhar-ud-din H, Khan MAA: Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 238 10.1186/1687-1812-2013-238

18. Wan LL: -Convergence for mixed-type total asymptotically nonexpansive mappings in hyperbolic spaces. J. Inequal. Appl. 2013., 2013: Article ID 553 10.1186/1029-242X-2013-553

19. Zhao LC, Chang SS, Kim JK: Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 353 10.1186/1687-1812-2013-353

20. Zhao LC, Chang SS, Wang XR: Convergence theorems for total asymptotically nonexpansive mappings in hyperbolic spaces. J. Appl. Math. 2013., 2013: Article ID 689765

21. Şahin A, Başarır M: On the strong and -convergence of SP-iteration on a CAT(0) space. J. Inequal. Appl. 2013., 2013: Article ID 311 10.1186/1029-242X-2013-311

22. Lim TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 1976, 60: 179–182. 10.1090/S0002-9939-1976-0423139-X

23. Dhompongsa S, Panyanak B: On -convergence theorems in CAT(0) spaces. Comput. Math. Appl. 2008, 56(10):2572–2579. 10.1016/j.camwa.2008.05.036

24. Leustean L: Nonexpansive iterations in uniformly convex W -hyperbolic spaces. Contemp. Math. 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–209.

25. Qihou L: Iterative sequences for asymptotically quasi-nonexpansive mappings with error member. J. Math. Anal. Appl. 2001, 259: 18–24. 10.1006/jmaa.2000.7353

26. Guo W, Cho YJ, Guo W: Convergence theorems for mixed type asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2012., 2012: Article ID 224 10.1186/1687-1812-2012-224

27. Kzıltunç H, Yolaçan E: Strong convergence theorems for two total asymptotically nonexpansive nonself mappings in Banach spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 90 10.1186/1687-1812-2013-90

28. Senter HF, Dotson WG: Approximating fixed points of nonexpansive mappings. Proc. Am. Math. Soc. 1974, 44: 375–380. 10.1090/S0002-9939-1974-0346608-8

## Acknowledgements

The authors would like to thank the editor and referees for their careful reading and valuable comments and suggestions which led to the present form of the paper. This paper was supported by Sakarya University Scientific Research Foundation (Project number: 2013-02-00-003).

## Author information

Authors

### Corresponding author

Correspondence to Aynur Şahin.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally and significantly in writing this article. Both authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Şahin, A., Başarır, M. Some convergence results for modified SP-iteration scheme in hyperbolic spaces. Fixed Point Theory Appl 2014, 133 (2014). https://doi.org/10.1186/1687-1812-2014-133

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1812-2014-133

### Keywords

• hyperbolic space
• fixed point
• total asymptotically nonexpansive mapping
• modified SP-iteration scheme
• strong convergence
• Δ-convergence