Skip to main content

Convergence theorems for finite families of total asymptotically nonexpansive mappings in hyperbolic spaces

Abstract

In this paper, using a multistep iterative scheme, we establish strong and Δ-convergence theorems for finite families of total asymptotically quasi-nonexpansive mappings in uniformly convex hyperbolic spaces. We then establish Δ- and polar convergence theorems for finite families of total asymptotically nonexpansive mappings in CAT(0) spaces. These new theorems are extensions, improvements, and generalizations of some recently announced results by many authors.

1 Introduction

Let \((X,d)\) be a metric space, \(x,y\in X\), and \(d(x,y)=l\). A geodesic path from x to y is an isometry \(c:[0,l]\to c([0,l])\subset X\) such that \(c(0)=x\) and \(c(l)=y\). The image of a geodesic path between two points is called a geodesic segment. A metric space \((X,d)\) is called a geodesic space if every two points of X are joined by a geodesic segment.

A geodesic triangle represented by \(\Delta(x,y,z)\) in a geodesic space consists of three points x, y, z and the three segments joining each pair of the points. A comparison triangle of a geodesic triangle \(\Delta(x,y,z)\), denoted by \(\overline{\Delta}(x,y,z)\) or \(\Delta(\overline {x},\overline {y},\overline{z})\), is a triangle in the Euclidean space \(\mathbb {R}^{2}\) such that \(d(x,y)=d_{\mathbb{R}^{2}}(\overline{x},\overline {y})\), \(d(x,z)=d_{\mathbb{R}^{2}}(\overline{x},\overline{z})\), and \(d(y,z)=d_{\mathbb{R}^{2}}(\overline{y},\overline{z})\). This is obtainable by using the triangle inequality, and it is unique up to isometry on \(\mathbb{R}^{2}\). A geodesic segment joining two points x, y in a geodesic space X is represented by \([x,y]\). Every point z in the segment is represented by \(\alpha x\oplus(1-\alpha)y\) where \(\alpha\in[0,1]\), that is, \([x,y]:=\{\alpha x\oplus(1-\alpha)y: \alpha\in[0,1]\}\). A subset K of a metric space X is called convex if for all \(x,y\in K\), \([x,y]\subset K\). A geodesic space is called a CAT(0) space if for every geodesic triangle Δ and its comparison Δ̅, the following inequality is satisfied: \(d(x,y)\le d_{\mathbb {R}^{2}}(\overline{x},\overline{y})\) for all \(x,y\in\Delta\) and \(\overline{x},\overline{y} \in\overline{\Delta}\). Examples of CAT(0) spaces include the \(\mathbb{R}\)-tree, Hadamard manifold, and Hilbert ball equipped with hyperbolic metric. For more details on these spaces, see, for example, [15].

A geodesic space \((X,d)\) is called hyperbolic (see [6, 7]) if, for any \(x,y,z\in X\),

$$d\biggl(\frac{1}{2}z\oplus\frac{1}{2}x, \frac{1}{2}z\oplus \frac{1}{2}y\biggr) \le \frac{1}{2}d(x,y). $$

The class of hyperbolic spaces include the normed spaces, \(CAT(0)\) spaces, and some others. The following is an example of a hyperbolic space that is not a normed space.

Example 1.1

Let \(\mathbb{D}\) be a unit disc in a complex plane \(\mathbb{C}\). Define \(d:\mathbb{D} \times\mathbb{D}\to\mathbb{R}\) by

$$d(z,w)=\log \biggl( \frac{1+|\frac{z-w}{1-z \overline{w}}|}{1-|\frac {z-w}{1-z \overline{w}}|} \biggr). $$

Then \((\mathbb{D},d)\) is a complete hyperbolic metric space.

It is then clear that the class of hyperbolic spaces is more general than the class of normed spaces.

Definition 1.2

Let \((X,d)\) be a hyperbolic metric space. Then X is called uniformly convex if for all \(a\in X\), \(r>0\), and \(\epsilon>0\),

$$\delta_{a}(r,\epsilon)=\inf \biggl\{ 1-\frac{1}{r}d \biggl( \frac {1}{2}x\oplus \frac{1}{2}y,a \biggr);d(x,a)\le r, d(y,a)\le r, d(x,y)\ge r\epsilon \biggr\} >0. $$

Let \((X,d)\) be a metric space. A self-mapping \(T:X \rightarrow X \) is called nonexpansive if \(d(Tx,Ty) \le d(x,y)\) for all \(x,y \in X \) and quasi-nonexpansive if \(F(T):=\{x\in X:Tx=x\}\neq\emptyset\) and \(d(Tx,p) \le d(x,p)\) for all \(x \in X \) and \(p\in F(T)\). The class of quasi-nonexpansive mappings properly contains the class of nonexpansive mappings with fixed points; see, for example, [8].

A mapping T is called asymptotically nonexpansive [9] if there exists a sequence \(\{ k_{n} \} \subset[1,\infty) \) such that \(k_{n} \rightarrow1 \) as \(n \rightarrow\infty\) and, for every \(n \in\mathbb{N}\),

$$d\bigl(T^{n}x,T^{n}y\bigr) \le k_{n} d(x,y)\quad \mbox{for all } x,y \in X . $$

If \(F(T)\neq\emptyset\) and there exists a sequence \(\{ k_{n} \} \subset[1,\infty) \) such that \(k_{n} \rightarrow1 \) as \(n \rightarrow\infty\) and, for \(n \in\mathbb{N}\),

$$d\bigl(T^{n}x,p \bigr) \le k_{n} d(x,p) \quad\mbox{for all } x \in X \mbox{ and } p\in F(T), $$

then T is called an asymptotically quasi-nonexpansive mapping. A mapping T is called total asymptotically nonexpansive if there exist infinitesimal real sequences \(\{u_{n}\}\) and \(\{v_{n}\}\) of nonnegative numbers (i.e., \(u_{n},v_{n}\to0\) as \(n\to \infty\)) and a strictly increasing function \(\psi:[0,\infty) \to[0,\infty)\) with \(\psi(0)=0\) such that

$$d\bigl(T^{n}x,T^{n}y\bigr) \le d(x,y)+ u_{n}\psi \bigl(d(x,y)\bigr)+v_{n} \quad\mbox{for all } x,y \in X. $$

A mapping T is total asymptotically quasi-nonexpansive if \(F(T) \neq\emptyset\) and there exist infinitesimal real sequences \(\{u_{n}\} \) and \(\{v_{n}\}\) and a strictly increasing function \(\psi:[0,\infty) \to[0,\infty)\) with \(\psi(0)=0\) such that

$$d\bigl(T^{n}x,p\bigr) \le d(x,p)+ u_{n}\psi\bigl(d(x,p) \bigr)+v_{n} \quad\mbox{for all } x \in X, p\in F(T). $$

The concept of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [9] as an important generalization of nonexpansive mappings. Alber et al. [10] introduced the class of total asymptotically nonexpansive mappings that generalizes several classes of maps that are extensions of asymptotically nonexpansive mappings. These classes of maps were extensively studied by many authors (see, e.g., [9, 1116], to list a few) by virtue of important generalizations of nonexpansive mappings. Example 1 of [17] shows that the class of total asymptotically nonexpansive mappings properly contains the class of asymptotically nonexpansive mappings.

Remark 1.3

In what follows, for a closed convex and nonempty subset K of a uniformly convex metric space X and a bounded sequence \(\{x_{n}\}\), we shall write \(x_{n}\rightharpoonup x\) if and only if \(\phi(x)=\inf_{y\in K} \phi(y)\) where \(\phi(y) =\limsup_{n\to\infty} d(x_{n},y)\); see, for example, [11].

A mapping T is said to be demiclosed at zero if for any sequence \(\{x_{n}\}\) in X such that \(x_{n}\rightharpoonup x\) and \(d(x_{n},Tx_{n})\to0\) as \(n\to\infty\), we have \(Tx=x\).

Let K be a nonempty subset of a metric space X, and let \(\{x_{n}\}\) be any bounded sequence in K. For \(x\in X\), define \(r(x,\{x_{n}\}):=\limsup_{n\to\infty} d(x_{n},x)\). The asymptotic radius of the sequence \(\{x_{n}\}\) in K denoted by \(r(K,\{ x_{n}\})\) is defined by \(r(K,\{x_{n}\}):=\inf\{r(x,\{x_{n}\}):x\in K\} \). A point z is called an asymptotic center of a sequence \(\{x_{n}\}\) in K if \(r(z,\{x_{n}\})=r(K,\{x_{n}\})\). The set of all asymptotic centers of the sequence \(\{x_{n}\}\) in K is denoted by \(A(K,\{x_{n}\} )\). The asymptotic radius and asymptotic center of the sequence \(\{ x_{n}\}\) with respect to the whole space are denoted by \(r(\{x_{n}\})\) and \(A(\{x_{n}\})\), respectively. It is known that \(r(\{x_{n}\})=0\) if and only if \(\lim_{n\to\infty} x_{n}=x\).

A sequence \(\{x_{n}\}\) in X is said to be Δ-convergent to a point x if x is the unique asymptotic center of \(\{u_{n}\}\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\). This is written as \(\Delta\!\mbox{-}\!\lim_{n\to\infty}x_{n}=x\). A sequence \(\{x_{n}\} \) is said to polar converge to a point \(x\in X\) (see [18]) if for every \(y\in X\) such that \(y\neq x\), there exists \(N_{y}\in\mathbb{N}\) such that \(d(x_{n},x)< d(x_{n},y)\) for all \(n\ge N_{y}\). A sequence \(\{x_{n}\}\) is said to converge Δ-strongly to a point x if the limit \(\lim_{n\to\infty} d(x_{n},x)\) exists and for any \(y\neq x\), \(\lim_{n\to\infty}d(x_{n}x)\le\liminf_{n\to\infty } d(x_{n},y)\).

The notion of polar convergence was introduced by Devillanova et al. [18]. They discussed various relations between polar convergence and Δ-convergence in metric spaces. By definition, if \(\{x_{n}\}\) Δ-converges strongly to x, then the limit \(\lim_{n\to\infty}d(x_{n},x)\) exists. Thus, for any subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\), \(\lim_{n\to\infty}d(x_{n},x)=\lim_{k\to\infty}d(x_{n_{k}},x)\). This implies that x is an asymptotic center of \(\{x_{n_{k}}\}\), and hence \(\{ x_{n}\}\) Δ-converges to x.

Chang et al. [11] established relations between the weak convergence and Δ-convergence in their attempt to establish the demiclosedness principle for total asymptotically nonexpansive mappings.

Recently, new fixed point results were studied by many authors in the setting of hyperbolic and CAT(0) metric spaces; see, for example, [11, 12, 16, 1924], and the references therein.

In 1976, Lim [25] introduced the concept of Δ-convergence in general metric spaces. In 2008, Kirk and Panyanak [24] studied Δ-convergence in the setting of hyperbolic and CAT(0) spaces. Basarir and Sahin [19] studied a multistep iterative process for fixed points of generalized nonexpansive mappings in a CAT(0) space. They established the demiclodeness principle for this class of maps in a CAT(0) space. Kim et al. [22] proved strong and Δ-convergence theorems for generalized nonexpansive mappings in hyperbolic spaces. Chang et al. [11] proved strong and Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. They also established the demiclosedness principle for this class of maps in a CAT(0) space.

In 1936, Markov [26] (see also Kakutani [27]) showed that if a commuting family of bounded linear transformations \(T_{\alpha}\), \(\alpha \in\Delta\) (Δ an arbitrary index set), of a locally convex Hausdorrf space E into itself leaves some nonempty compact convex subset K of E invariant, then the family has at least one common fixed point in the set K.

Chidume and the author [13] introduced the scheme

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} x_{1} \in K,\\ x_{n+1} = P [(1-\alpha_{1n})x_{n} + \alpha _{1n}T_{1}(PT_{1})^{n-1}y_{n+m-2} ], \\ y_{n+m-2} = P [(1-\alpha_{2n})x_{n} + \alpha _{2n}T_{2}(PT_{2})^{n-1}y_{n+m-3} ], \\ \vdots\\ y_{n} = P [(1-\alpha_{mn})x_{n} + \alpha _{mn}T_{m}(PT_{m})^{n-1}x_{n} ], & n \ge1, m\ge2, \end{array}\displaystyle \right . $$

and studied the convergence of this scheme to a common fixed point of finite family of nonself-asymptotically nonexpansive mappings in a uniformly convex Banach space.

Let \(\{\alpha_{n}\}\) be a real sequence in \([\epsilon,1-\epsilon ]\), \(\epsilon\in(0,1)\). Let \(T_{1},T_{2}, \ldots,T_{m}:K \rightarrow K \) be a family of mappings. Define the sequence \(\{x_{n}\}\) by

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} x_{1} \in K,\\ x_{n+1} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{1}^{n}x_{n}, & n \ge 1, m=1, \\ x_{n+1} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{1}^{n}y_{n+m-2},\\ y_{n+m-2} = (1-\alpha_{n})x_{n} \oplus\alpha _{n}T_{2}^{n}y_{n+m-3}, \\ \vdots\\ y_{n} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{m}^{n}x_{n}, & n \ge 1, m\ge2. \end{array}\displaystyle \right . $$
(1.1)

Our purpose in this paper to prove necessary and sufficient conditions for the strong convergence of the scheme defined by (1.1) to a common fixed point of finite family \(T_{1},T_{2},\ldots,T_{m}\) of total asymptotically quasi-nonexpansive mappings in a complete hyperbolic space. We also prove Δ-convergence and polar convergence theorems for finite family of uniformly L-Lipschitzian total asymptotically nonexpansive mappings in a CAT(0) space. Our results generalized and improved some recent important results announced.

2 Preliminaries

In what follows, we shall use the following results.

Theorem 2.1

([11])

Let K be a closed and convex subset of a complete CAT(0) space X, and \(T:K\to X\) be a uniformly L-Lipschitzian and total asymptotically nonexpansive mapping. Let \(\{x_{n}\}\) be a bounded sequence in K such that \(x_{n}\rightharpoonup x\) and \(\lim_{n\to\infty }d(x_{n},Tx_{n})=0\). Then \(x=Tx\).

Lemma 2.2

([5])

Let E be a complete CAT(0) space, \(\{x_{n}\}\) be a bounded sequence in E with \(A(\{x_{n}\})=\{p\}\), and \(\{u_{n}\}\) be a subsequence of \(\{x_{n}\}\) with \(A(\{u_{n}\})=\{u\}\). If the sequence \(\{d(x_{n},u)\}\) converges, then \(p=u\).

Lemma 2.3

([5])

Let E be a CAT(0) space. Then

$$d^{2}\bigl((1-\alpha)x\oplus\alpha y, a\bigr)\le(1- \alpha)d^{2}(x,a)+\alpha d^{2}(y,a)-\alpha(1- \alpha)d^{2}(x,y) $$

for all \(\alpha\in[0,1]\) and \(x,y,a \in E\).

Lemma 2.4

([28])

Let E be a complete CAT(0) space. Let K be a closed convex subset of E. If \(\{x_{n}\}\) is a bounded sequences in K, then the asymptotic center of \(\{x_{n}\}\) is in K.

Lemma 2.5

([29])

Let \((E, d)\) be a uniformly convex hyperbolic space. Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be bounded sequences in E. For any \(\lambda\in(0,1)\), if there exists \(r\in[0,\infty)\) such that

$$\limsup_{n\to\infty}d(x_{n},a)\le r,\qquad \limsup _{n\to\infty }d(y_{n},a)\le r, \quad\textit{and}\quad \limsup _{n\to\infty} d\bigl((1-\lambda)x_{n}\oplus\lambda y_{n},a\bigr)= r, $$

then \(\lim_{n\to\infty}d(x_{n},y_{n})=0\).

Lemma 2.6

([24])

Every bounded sequence in a complete CAT(0) space has a Δ-convergent subsequence.

Lemma 2.7

([30])

Let \(\{ \lambda_{n}\}\) and \(\{ \sigma_{n}\} \) be sequences of nonnegative real numbers such that \(\lambda_{n+1} \le\lambda_{n} + \sigma_{n}\) for all \(n \ge1\) and \(\sum_{n=1}^{\infty} \sigma_{n} < \infty\). Then \(\lim_{n\rightarrow\infty} \lambda_{n} \) exists. Moreover, if there exists a subsequence \(\{\lambda_{n_{j}} \} \) of \(\{ \lambda_{n} \} \) such that \(\lambda_{n_{j}} \rightarrow0 \) as \(j \rightarrow\infty\), then \(\lambda_{n} \rightarrow0 \) as \(n \rightarrow\infty\).

3 Main results

In this section, we state and prove the main results of this paper. In the sequel, we denote the set \(\{1,2,\ldots, m\}\) by I, and we always assume that \(F:= \bigcap_{i=1}^{m}F(T_{i}) \ne \emptyset\).

Lemma 3.1

Let \((X, d)\) be a hyperbolic space, and K be a nonempty closed convex subset of X. Let \(T_{1},T_{2},\ldots,T_{m}:K\rightarrow K\) be total asymptotically quasi-nonexpansive mappings with sequences \(\{u_{in}\}_{n=1}^{\infty}\), \(\{v_{in}\} _{n=1}^{\infty} \) and mappings \(\psi_{i}:[0,\infty)\to[0,\infty)\) satisfying \(\sum_{n=1}^{ \infty}u_{in} < \infty\) and \(\sum_{n=1}^{ \infty }v_{in} < \infty\), \(i\in I\). Let \(\{ \alpha_{n} \}_{n=1}^{ \infty} \) be a sequences in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\). Assume there exist constants \(M_{i}\), \(\overline{M}_{i}\) such that \(\psi_{i}(r_{i})\le M_{i}r_{i}\) for all \(r_{i}\ge\overline {M}_{i}\), \(i\in I\). Let \(\{x_{n} \} \) be the sequence defined iteratively by

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} x_{1} \in K,\\ x_{n+1} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{1}^{n}x_{n}, & n \ge1, m=1, \\ x_{n+1} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{1}^{n}y_{n+m-2},\\ y_{n+m-2} = (1-\alpha_{n})x_{n} \oplus\alpha _{n}T_{2}^{n}y_{n+m-3}, \\ \vdots\\ y_{n} = (1-\alpha_{n})x_{n} \oplus\alpha_{n}T_{m}^{n}x_{n}, & n \ge1, m\ge2. \end{array}\displaystyle \right . $$
(3.1)

Then, \(\{x_{n}\}\) is bounded, and the limits \(\lim_{n \rightarrow \infty}d(x_{n},x^{*})\) and \(\lim_{n \rightarrow\infty}d(x_{n},F)\) exist.

Proof

We start the proof by considering the case \(m\ge2\). Since \(\psi_{i}\) is increasing for each \(i\in I\), \(\psi_{i}(r_{i})\le \psi(\overline{M}_{i})\) whenever \(r_{i} \le\overline{M}_{i}\), and, by hypothesis, \(\psi_{i}(r_{i})\le M_{i}r_{i}\) when \(r_{i} \ge \overline{M}_{i}\). In any case, \(\psi_{i}(r_{i})\le\psi _{i}(\overline {M}_{i})+M_{i}r_{i}\), \(i\in I\). Now set \(w_{n}:=\sum_{i=1}^{m}u_{in}M_{i}\) and let \(x^{*} \in F\). Then we have

$$\begin{aligned} d\bigl(x_{n+1},x^{*} \bigr) =& d\bigl((1- \alpha_{n})x_{n} \oplus \alpha_{n}T_{1}^{n}y_{n+m-2},x^{*} \bigr) \\ \leq& (1-\alpha_{n})d\bigl(x_{n},x^{*} \bigr) + \alpha _{n}d\bigl(T_{1}^{n}y_{n+m-2},x^{*}\bigr) \\ \leq& (1-\alpha_{n})d\bigl(x_{n},x^{*} \bigr) + \alpha_{n}\bigl[d\bigl(y_{n+m-2},x^{*}\bigr) \\ &{}+u_{1n}\psi_{1}\bigl(d\bigl(y_{n+m-2},x^{*}\bigr) \bigr)+v_{1n}\bigr] \\ \leq& (1-\alpha_{n})d\bigl( x_{n},x^{*}\bigr) +\alpha _{n}(1+u_{1n}M_{1})d\bigl(y_{n+m-2},x^{*} \bigr)+ \alpha_{n}u_{1n}\psi _{1}(\overline {M}_{1}) \end{aligned}$$
(3.2)
$$\begin{aligned} &{}+\alpha_{n}v_{1n} \\ \leq&(1-\alpha_{n})d\bigl( x_{n},x^{*}\bigr) + \alpha_{n}(1+u_{1n}M_{1})\bigl[(1- \alpha_{n})d\bigl(x_{n},x^{*} \bigr) \\ &{}+ \alpha_{n}\bigl[d\bigl(y_{n+m-3},x^{*}\bigr) +u_{2n}\psi_{2}\bigl(d\bigl(y_{n+m-3},x^{*}\bigr)\bigr) +v_{2n}\bigr]\bigr] \\ &{}+ \alpha_{n}u_{1n}\psi_{1}( \overline{M}_{1})+\alpha _{n}v_{1n} \\ \leq& (1-\alpha_{n})d\bigl( x_{n},x^{*}\bigr) + \alpha_{n}(1+u_{1n}M_{1})\bigl[(1- \alpha_{n})d\bigl(x_{n},x^{*} \bigr) \end{aligned}$$
(3.3)
$$\begin{aligned} &{}+ \alpha _{n}\bigl[(1+u_{2n}M_{2})d \bigl(y_{n+m-3},x^{*}\bigr) + \alpha_{n}u_{2n}\psi _{2}(\overline{M}_{2})+v_{2n}\bigr]\bigr] \\ &{}+ \alpha_{n}u_{1n}\psi _{1}( \overline{M}_{1})+\alpha_{n}v_{1n} \\ \leq& (1-\alpha_{n})d\bigl( x_{n},x^{*}\bigr) + (1- \alpha_{n})\alpha _{n}(1+u_{1n}M_{1})d \bigl( x_{n},x^{*}\bigr) \\ &{} +\alpha_{n}^{2}(1+u_{1n}M_{1}) (1+u_{2n}M_{2})d\bigl(y_{n+m-3},x^{*}\bigr)+ \alpha _{n}^{2}(1+u_{1n}M_{1})v_{2n} \\ &{} +\alpha _{n}^{2}(1+u_{1n}M_{1})u_{2n} \psi_{2}(\overline{M}_{2})+\alpha _{n} \bigl(v_{1n}+u_{1n}\psi_{1}(\overline{M}_{1}) \bigr) \\ \le& (1-\alpha_{n})d\bigl(x_{n},x^{*}\bigr) + \alpha_{n}(1-\alpha _{n}) (1+u_{1n}M_{1})d \bigl(x_{n},x^{*}\bigr) + \cdots \\ &{} + (\alpha _{n})^{h-1}(1-\alpha_{n}) (1+u_{1n}M_{1}) (1+u_{2n}M_{2}) \cdots (1+u_{h-1n}M_{h-1})d\bigl(x_{n},x^{*}\bigr) \\ &{} + \cdots+(\alpha_{n})^{m}(1-\alpha _{n}) (1+u_{1n}M_{1}) (1+u_{2n}M_{2}) \cdots (1+u_{mn}M_{m})d\bigl(x_{n},x^{*}\bigr) \\ &{}+\alpha_{n}v_{1n}+\alpha _{n}^{2}(1+u_{1n}M_{1})v_{2n}+ \cdots+\alpha _{n}^{m}(1+u_{1n}M_{1}) (1+u_{2n}M_{2}) \\ &{} \cdots (1+u_{m-1n}M_{m})v_{mn} \\ &{}+\alpha_{n}v_{1n}+\alpha_{n}u_{1n} \psi_{1}(\overline {M}_{1})+\alpha_{n}^{2}(1+u_{1n}M_{1})v_{2n}+ \alpha _{n}^{2}(1+u_{1n})u_{2n} \psi_{2}(\overline{M}_{2}) \\ &{} + \cdots+\alpha_{n}^{m}(1+u_{1n}M_{1}) (1+u_{2n}M_{2})+ \cdots+ (1+u_{m-1n}M_{m})v_{mn} \\ &{} + \cdots+\alpha_{n}^{m}(1+u_{1n}M_{1}) (1+u_{2n}M_{2})+ \cdots+(1+u_{m-1n}M_{m})u_{mn} \psi_{m}(\overline{M}_{m}) \\ \le& d\bigl(x_{n},x^{*}\bigr) \bigl[1+u_{1n}M_{1}+u_{2n}M_{2}(1+u_{1n}M_{1}) \\ &{}+u_{3n}M_{3}(1+u_{1n}M_{1}) (1+u_{2n}M_{2}) + \cdots \\ &{} + u_{mn}M_{m}(1+u_{1n}M_{1}) (1+u_{2n}M_{2}) \ldots (1+u_{m-1n}M_{m-1}) \bigr] \\ &{}+ \alpha_{n}v_{1n}+ \sum_{j=1}^{m} \alpha_{n}^{j}\bigl[v_{jn}+u_{jn}\psi _{j}(\overline {M}_{j})\bigr] \prod _{k=1}^{j}(1+u_{kn}M_{k}) \\ \le& d\bigl(x_{n},x^{*}\bigr) \left[1+ \begin{pmatrix} m \\ 1 \end{pmatrix} w_{n}+ \begin{pmatrix} m \\ 2 \end{pmatrix} w_{n}^{2}+ \cdots+ \begin{pmatrix} m \\ m \end{pmatrix} w_{n}^{m} \right] \end{aligned}$$
(3.4)
$$\begin{aligned} &{}+ \alpha _{n}v_{1n}+\sum _{j=1}^{m}\alpha _{n}^{j} \bigl[v_{jn}+u_{jn}\psi_{j}(\overline{M}_{j}) \bigr] \prod_{k=1}^{j}(1+u_{kn}M_{k}) \\ \le& d\bigl(x_{n},x^{*}\bigr) (1+\delta_{m} w_{n} ) + \alpha_{n}v_{1n}+\sum_{j=1}^{m} \alpha_{n}^{j}\bigl[v_{jn}+u_{jn} \psi_{j}(\overline {M}_{j})\bigr] \prod _{k=1}^{j}(1+u_{kn}M_{k}) \\ \le& d\bigl(x_{n},x^{*}\bigr) e^{\delta_{m} w_{n}} + \alpha _{n}v_{1n}+\sum_{j=1}^{m} \alpha_{n}^{j}\bigl[v_{jn}+u_{jn}\psi _{j}(\overline {M}_{j})\bigr] \prod _{k=1}^{j}(1+u_{kn}M_{k}) \\ \le& d\bigl(x_{1},x^{*}\bigr) e^{\delta_{m} \sum_{n=1}^{\infty}w_{n}}+ \alpha _{n}v_{1n}+\sum_{j=1}^{m} \alpha _{n}^{j}\bigl[v_{jn}+u_{jn} \psi_{j}(\overline{M}_{j})\bigr] \prod _{k=1}^{j}(1+u_{kn}M_{k}) \\ \le& d\bigl(x_{1},x^{*}\bigr) e^{\delta_{m} \sum_{n=1}^{\infty }w_{n}}+ \alpha_{n}v_{1n} \\ &{}+ \sum_{j=1}^{m}\alpha _{n}^{j} \bigl[v_{jn}+u_{jn}\psi_{j}(\overline{M}_{j}) \bigr] e^{ \sum _{k=1}^{j}u_{kn}M_{k}} < \infty, \end{aligned}$$
(3.5)

where \(\delta_{m}\) is a positive real number defined by \(\delta_{m}:=\bigl [ \bigl ({\scriptsize\begin{matrix}{} m \cr 1 \end{matrix}} \bigr ) + \bigl ({\scriptsize\begin{matrix}{} m \cr 2 \end{matrix}} \bigr ) + \cdots+ \bigl ({\scriptsize\begin{matrix}{} m \cr m \end{matrix}} \bigr ) \bigr ]\).

This implies that \(\{x_{n}\} \) is bounded, and so setting \(v_{n}:=\max_{1\le j\le m}\{v_{in}+ u_{jn}\psi_{i}(\overline {M}_{i})\}\), we have that there exists a positive integer M such that

$$ d\bigl(x_{n+1},x^{*}\bigr) \le d\bigl(x_{n},x^{*} \bigr)+ (\delta_{m}w_{n}+v_{n})M. $$
(3.6)

Since (3.6) is true for each \(x^{*}\) in F, we have

$$ d( x_{n+1},F) \le d(x_{n},F) + (\delta_{m}w_{n}+v_{n})M. $$
(3.7)

By Lemma 2.7, \(\lim_{n \rightarrow\infty} d(x_{n}, x^{*}) \) and \(\lim_{n \rightarrow\infty}d(x_{n},F)\) exist.

For \(m=1\), we have

$$\begin{aligned} d\bigl(x_{n+1},x^{*} \bigr) =& d\bigl((1- \alpha_{n})x_{n} \oplus \alpha_{n}T_{1}^{n}x_{n},x^{*} \bigr) \\ \leq& (1-\alpha_{n})d\bigl(x_{n},x^{*} \bigr) + \alpha_{n}d\bigl(T_{1}^{n}x_{n},x^{*}\bigr) \\ \leq& (1-\alpha_{n})d\bigl(x_{n},x^{*} \bigr) + \alpha_{n}\bigl[d\bigl(x_{n},x^{*}\bigr) +u_{1n} \psi_{1}\bigl(d\bigl(x_{n},x^{*}\bigr)\bigr)+v_{1n} \bigr] \\ \leq& (1+\alpha_{n}u_{1n}M_{1})d \bigl(x_{n},x^{*}\bigr)+\alpha _{n}\bigl[v_{1n}+u_{1n} \psi_{1}(\overline{M}_{1})\bigr] \\ \le& d\bigl(x_{n},x^{*}\bigr) (1+ w_{n} ) + \alpha_{n}\bigl[v_{1n}+u_{1n}\psi _{1}( \overline{M}_{1})\bigr] \\ \le& d\bigl(x_{n},x^{*}\bigr) e^{w_{n}} + \alpha _{n} \bigl[v_{1n}+u_{1n}\psi_{1}(\overline{M}_{1}) \bigr] \\ \le& d\bigl(x_{1},x^{*}\bigr) e^{\sum_{n=1}^{\infty}w_{n}}+ \alpha_{n} \bigl[v_{1n}+u_{1n}\psi_{1}(\overline{M}_{1}) \bigr] \\ \le& d\bigl(x_{1},x^{*}\bigr) e^{ \sum_{n=1}^{\infty}w_{n}}+ \alpha_{n} \bigl[v_{1n}+u_{1n}\psi_{1}(\overline{M}_{1}) \bigr] < \infty. \end{aligned}$$
(3.8)

Hence, \(\{x_{n}\}\) is bounded, and using (3.8), Lemma 2.7, and similar arguments as before, we get that the limits \(\lim_{n \rightarrow\infty} d(x_{n}, x^{*}) \) and \(\lim_{n \rightarrow\infty}d(x_{n},F)\) exist. This completes the proof. □

Theorem 3.2

Let K be a nonempty closed convex subset of a hyperbolic space E. Let \(T_{1},T_{2},\ldots,T_{m}:K\rightarrow K\) be total asymptotically quasi-nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{x_{n}\}\) be defined by (3.1). Then, \(\{x_{n}\}\) converges to a common fixed point of the family \(T_{1},T_{2},\ldots,T_{m}\) if and only if \(\liminf_{n\rightarrow\infty} d(x_{n},F)=0\).

Proof

The necessity is trivial. We prove the sufficiency. Let \(\liminf_{n\rightarrow\infty} d(x_{n},F)=0\). Since \(\lim_{n\rightarrow\infty}d(x_{n},F)\) exists by Lemma 2.7, we have that \(\lim_{n\rightarrow\infty}d(x_{n},F)=0\). Thus, given \(\epsilon>0\), there exist a positive integer \(N_{0}\) and \(b^{*} \in F\) such that for all \(n\ge N_{0}\), \(d(x_{n},b^{*}) <\frac{\epsilon}{2}\). Then, for any \(k\in\mathbb{N}\) and \(n\ge N_{0}\), we have

$$\begin{aligned} d( x_{n+k},x_{n}) \le& d\bigl(x_{n+k},b^{*} \bigr) +d\bigl(b^{*},x_{n}\bigr) < \frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon, \end{aligned}$$

and so \(\{x_{n}\}\) is Cauchy. Let \(\lim_{n\rightarrow\infty}x_{n}=b\). We need to show that \(b\in F\). Let \(T_{i}\in\{T_{1},T_{2},\ldots,T_{m}\}\). Since \(\lim_{n\rightarrow\infty}d(x_{n},F)=0\), there exists \(N\in\mathbb{N}\) sufficiently large and \(b^{*}\in F\) such that \(n\ge N\) implies \(d(b,x_{n}) <\frac{\epsilon}{8(1+w_{1})}\), \(d(b^{*},x_{n}) <\frac {\epsilon}{8(1+w_{1})}\) and \(v_{in}+u_{in}\psi_{i}(\overline {M}_{i})<\frac{\epsilon}{4}\). Then, \(d(b^{*},b) <\frac{\epsilon}{4(1+w_{1})}\). Thus, we have the following estimates for \(n\ge N\) and arbitrary \(T_{i}\), \(i=1,2,\dots,m\):

$$\begin{aligned} d(b,T_{i}b) \le& d(b,x_{n}) + d\bigl(x_{n},b^{*} \bigr) +d\bigl(b^{*},T_{i}b\bigr) \\ \le& d(b,x_{n}) + d\bigl(x_{n},b^{*} \bigr)+(1+w_{1})d\bigl(b^{*},b\bigr)+v_{in}+u_{in} \psi _{i}(\overline{M}_{i}) \\ < &\frac{\epsilon}{4(1+w_{1})}+\frac{\epsilon}{4(1+w_{1})}+\frac {\epsilon}{4}+\frac{\epsilon}{4} \le\epsilon. \end{aligned}$$

This implies that \(b\in \operatorname{Fix}(T_{i})\) for all \(i=1,2,\ldots,m\), and thus \(b\in F\). This completes the proof. □

Corollary 3.3

Let K be a nonempty closed convex subset of a complete hyperbolic space X. Let \(T_{1},T_{2},\ldots,T_{m}:K\rightarrow K\) be total asymptotically nonexpansive mappings with \(F\neq\emptyset\). Let the sequence \(\{ \alpha_{n} \} _{n=1}^{ \infty} \) be as in Lemma  3.1. Let \(\{x_{n}\}\) be defined by (3.1). Then, \(\{x_{n}\}\) converges to a common fixed point of the family \(T_{1},T_{2},\ldots,T_{m}\) if and only if \(\liminf_{n\rightarrow\infty}d(x_{n},F)=0\).

For our next theorems, we start by proving the following auxiliary lemma.

Lemma 3.4

Let X be a uniformly convex hyperbolic space, and K be a closed, convex, and nonempty subset of X. Let \(T_{1},T_{2}, \ldots, T_{m}:K \rightarrow K \) be uniformly continuous total asymptotically quasi-nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{ \alpha_{n} \}_{n=1}^{ \infty} \) be a sequence in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\). Let \(\{x_{n} \} \) be a sequence defined iteratively by (3.1). Then,

$$\lim_{n \rightarrow\infty} d(x_{n}, T_{1}x_{n}) =\lim_{n \rightarrow \infty} d(x_{n}, T_{2}x_{n}) =\cdots=\lim_{n \rightarrow\infty} d(x_{n}, T_{m}x_{n})=0. $$

Proof

Since for some \(x^{*} \in F\), the limit \(\lim_{n\rightarrow\infty} d(x_{n}, x^{*})\) exists by Lemma 3.1, let \(\lim_{n\rightarrow \infty} d(x_{n}, x^{*})=l\). From (3.2), (3.3), and (3.4) we obtain the following relation by taking the limit superior through the inequalities:

$$\begin{aligned} l =&\limsup_{n\to\infty} d\bigl(x_{n+1},x^{*}\bigr) \le \limsup_{n\to \infty} d\bigl(y_{n+m-2},x^{*}\bigr) \\ \le& \limsup_{n\to\infty} d\bigl(y_{n+m-3},x^{*} \bigr) \\ \vdots& \\ \le& \limsup_{n\to\infty} d\bigl(y_{n+1},x^{*} \bigr) \\ \le& \limsup_{n\to\infty} d\bigl(x_{n},x^{*} \bigr)=l. \end{aligned}$$

This implies that for \(2\le h\le m\), we have \(\limsup_{n\to\infty} d((1-\alpha_{n})x_{n}\oplus\alpha _{n}T^{n}_{h}y_{n+m-h-1},x^{*})\le l\). From this and from \(\lim_{n\rightarrow\infty} d(x_{n}, x^{*})=l\), using Lemma 2.5, we have \(\lim_{n\to\infty}d(x_{n}, T^{n}_{h}y_{n+m-h-1})=0\), \(2\le h\le m\). Observe that

$$\begin{aligned} d(x_{n},y_{n+m-h-1}) =&d\bigl((1-\alpha_{n})x_{n} \oplus\alpha _{n}T^{n}_{h}y_{n+m-h-2},x_{n} \bigr) \\ \le& \alpha_{n}d\bigl(T^{n}_{h}y_{n+m-h-2},x_{n} \bigr) \to0 \quad\mbox{as } n\to\infty. \end{aligned}$$

Thus,

$$\begin{aligned} d\bigl(x_{n},T^{n}_{h}x_{n} \bigr) \le&d\bigl(x_{n},T^{n}_{h}y_{n+m-h-1} \bigr) + d\bigl(T^{n}_{h}y_{n+m-h-1},T^{n}_{h}x_{n} \bigr) \\ \le& d\bigl(x_{n},T^{n}_{h}y_{n+m-h-1} \bigr) + (1+u_{hn}M)d(y_{n+m-h-1},x_{n}) \\ &{}+v_{hn}+u_{hn}\psi_{h}(\overline{M}_{h}) \to0 \quad\mbox{as } n\to\infty, \end{aligned}$$
(3.9)

and

$$\begin{aligned} d(x_{n+1},x_{n}) =&d\bigl((1- \alpha_{n})x_{n}\oplus\alpha _{n}T^{n}_{1}y_{n+m-2},x_{n} \bigr) \\ \le& \alpha_{n} d\bigl(x_{n},T^{n}_{h}y_{n+m-2} \bigr) \to0 \quad\mbox{as } n\to\infty. \end{aligned}$$
(3.10)

Now

$$\begin{aligned} d(x_{n},T_{h}x_{n}) \le& d \bigl(x_{n},T^{n}_{h}x_{n}\bigr) + d \bigl(T^{n}_{h}x_{n},T^{n}_{h}y_{n+m-h-1} \bigr) \\ &{}+ d\bigl(T^{n}_{h}y_{n+m-h-1},T_{h}x_{n} \bigr) \\ \le& d\bigl(x_{n},T^{n}_{h}x_{n}\bigr) + (1+u_{hn}M)d(y_{n+m-h-1},x_{n}) \\ &{}+ v_{hn}+u_{hn}\psi_{h}(\overline{M}_{h}) + d\bigl(T^{n}_{h}y_{n+m-h-1},T_{h}x_{n} \bigr). \end{aligned}$$
(3.11)

Consider the following:

$$\begin{aligned} d\bigl(T^{n-1}_{h}y_{n+m-h-1},x_{n} \bigr) \le& d\bigl(T^{n-1}_{h}y_{n+m-h-1},x_{n-1} \bigr) \\ &{}+ d(x_{n-1},x_{n})\to0\quad\mbox{as } n\to\infty. \end{aligned}$$
(3.12)

Since \(T_{h}\) is uniformly continuous and \(d(T^{n-1}_{h}y_{n+m-h-1},x_{n})\to0\) as \(n\to\infty\), we get \(d(T^{n}_{h}y_{n+m-h-1},T_{h}x_{n})\to0\) as \(n\to\infty\). So from (3.11) we get

$$ \lim_{n\to\infty}d(x_{n},T_{h}x_{n})=0. $$
(3.13)

 □

Theorem 3.5

Let X be a uniformly convex hyperbolic space, and K be a closed convex nonempty subset of X. Let \(T_{1},T_{2}, \ldots, T_{m}:K \rightarrow K \) be uniformly L- Lipschitzian total asymptotically quasi-nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{\alpha_{n} \}_{n=1}^{ \infty} \) be a sequence in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\) and assume that each \(T_{i}\) is demiclosed at 0 for each \(i\in I\). Let \(\{x_{n} \} \) be a sequence defined iteratively by (3.1). Then, \(\{x_{n}\}\) Δ-converges to an element of F.

Proof

Let \(W_{\Delta}(\{x_{n}\}):=\bigcup_{\{u_{n}\}\subset\{x_{n}\}}A(\{ u_{n}\})\). We now show that \(W_{\Delta}(\{x_{n}\})\subset F\) and also that \(W_{\Delta}(\{x_{n}\})\) consists only of a single point. Now let \(u\in W_{\Delta}(\{x_{n}\})\). Then there exists a subsequence say \(\{u_{n}\}\) of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\}\). By Lemma 2.6 there exists a convergence subsequence \(\{v_{n}\}\) of \(\{u_{n}\}\) such that \(\Delta\!\mbox{-}\!\lim v_{n}=v\) for some \(v\in K\). But \(\lim_{n\to\infty}d(v_{n},T_{i}v_{n})=0\) for each \(i\in\{1,2,3,\ldots,m\} \). By the demiclosedness property of each \(T_{i}\) we have \(v\in F\). Since the limit \(\lim_{n\to\infty}d(v_{n},v)\) exists, \(u=v\in F\), and this implies \(W_{\Delta}(\{x_{n}\})\subset F\). Next, we show that \(W_{\Delta}(\{x_{n}\})\) is singletone. Let \(\{u_{n}\}\) be a subsequence of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\}\), and let \(A(\{x_{n}\})=\{ x\}\). Since \(u\in W_{\Delta}(\{x_{n}\})\subset F\), the limit \(\lim_{n\to\infty}d(x_{n},u)\) exists, by Lemma 2.2, \(x=u\), and so \(W_{\Delta}(\{x_{n}\})\) is singletone, which implies that \(\{x_{n}\} \) Δ-converges to an element of F. □

Next, we present Δ- and polar convergence theorems for finite families of total asymptotically nonexpansive mappings in the framework of a complete CAT(0) space. This next result is a corollary of the previous Lemma 3.4, but we shall present them using a different method of proof.

Corollary 3.6

Let X be a complete CAT(0) space, and K be a closed, convex, and nonempty subset of X. Let \(T_{1},T_{2}, \ldots, T_{m}:K \rightarrow K \) be uniformly continuous total asymptotically nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{ \alpha_{n} \}_{n=1}^{ \infty} \) be a sequence in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\). Let \(\{x_{n} \} \) be a sequence defined iteratively by (3.1). Then,

$$\lim_{n \rightarrow\infty} d(x_{n}, T_{1}x_{n}) =\lim_{n \rightarrow \infty} d(x_{n}, T_{2}x_{n}) =\cdots=\lim_{n \rightarrow\infty} d(x_{n}, T_{m}x_{n})=0. $$

Proof

Since \(\{x_{n}\}\) is bounded, for some \(x^{*} \in F\), there exist positive real numbers γ and M with \(d^{2}(x_{n},x^{*}) \le\gamma\) for all \(n\ge1\), and by using Lemma 2.3, the recursion formula (3.1), we have

$$\begin{aligned} d^{2}\bigl(y_{n},x^{*}\bigr) =&d^{2}\bigl((1-\alpha_{n})x_{n}\oplus\alpha _{n}T_{m}^{n}x_{n},x^{*}\bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}d^{2}\bigl(T_{m}^{n}x_{n},x^{*} \bigr) \\ &{}-\alpha_{n}(1-\alpha _{n})d^{2} \bigl(x_{n},T_{m}^{n}x_{n}\bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[(1+u_{mn}M_{m})d \bigl(x_{n},x^{*}\bigr) \\ &{}+ \bigl[v_{mn}+u_{mn}\psi _{m}( \overline{M}_{m})\bigr]\bigr]^{2} \\ &{}-\alpha_{n}(1-\alpha_{n})d^{2} \bigl(x_{n},T_{m}^{n}x_{n}\bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[(1+u_{mn}M_{m})^{2}d^{2} \bigl(x_{n},x^{*}\bigr) \\ &{}+ 2\bigl(v_{mn}+u_{mn}\psi _{m}( \overline{M}_{m})\bigr) (1+u_{mn}M_{m})d \bigl(x_{n},x^{*}\bigr) +\bigl[v_{mn}+u_{mn} \psi _{m}(\overline{M}_{m})\bigr]^{2}\bigr] \\ &{}-\alpha_{n}(1-\alpha _{n})d^{2} \bigl(x_{n},T_{m}^{n}x_{n}\bigr) \\ =& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[d^{2}\bigl(x_{n},x^{*} \bigr)+\bigl(2u_{mn}M_{m}+u_{mn}^{2}M_{m}^{2} \bigr)d^{2}\bigl(x_{n},x^{*}\bigr) \\ &{}+ 2\bigl(v_{mn}+u_{mn}\psi_{m}(\overline {M}_{m})\bigr) (1+u_{mn}M_{m})d \bigl(x_{n},x^{*}\bigr) +\bigl[v_{mn}+u_{mn} \psi _{m}(\overline {M}_{m})\bigr]^{2}\bigr] \\ &{}-\alpha_{n}(1-\alpha _{n})d^{2} \bigl(x_{n},T_{m}^{n}x_{n}\bigr) \\ \le& d^{2}\bigl(x_{n},x^{*}\bigr)+7 \alpha_{n}\omega_{n}M^{2}\gamma+\alpha _{n}\omega_{n}^{2} -\alpha_{n}(1- \alpha_{n})d^{2}\bigl(x_{n},T_{m}^{n}x_{n} \bigr). \end{aligned}$$

Also,

$$\begin{aligned} d^{2}\bigl(y_{n+1},x^{*}\bigr) =&d^{2} \bigl((1-\alpha_{n})x_{n}\oplus\alpha _{n}T_{m-1}^{n}y_{n},x^{*} \bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+ \alpha_{n}d^{2}\bigl(T_{m-1}^{n}y_{n},x^{*} \bigr)-\alpha_{n}(1-\alpha _{n})d^{2} \bigl(x_{n},T_{m-1}^{n}y_{n}\bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+ \alpha_{n}\bigl[(1+u_{m-1n}M_{m-1})d \bigl(y_{n},x^{*}\bigr) \\ &{}+\bigl[v_{m-1n}+u_{m-1n}\psi_{m-1}( \overline{M}_{m-1})\bigr]\bigr]^{2} -\alpha _{n}(1- \alpha_{n})d^{2}\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[(1+u_{m-1n}M_{m-1})^{2}d^{2} \bigl(y_{n},x^{*}\bigr) \\ &{}+ 2\bigl[v_{m-1n}+u_{m-1n}\psi_{m-1}(\overline {M}_{m-1})\bigr](1+u_{m-1n}M_{m-1})d \bigl(y_{n},x^{*}\bigr) \\ &{}+\bigl[v_{m-1n}+u_{m-1n}\psi _{m-1}( \overline{M}_{m-1})\bigr]^{2}\bigr]-\alpha_{n}(1- \alpha _{n})d^{2}\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr) \\ =& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[d^{2}\bigl(y_{n},x^{*} \bigr)\\ &{}+\bigl(2u_{m-1n}M_{m-1}+u_{m-1n}^{2}M_{m-1}^{2} \bigr)d^{2}\bigl(y_{n},x^{*}\bigr) \\ &{}+ 2\bigl[v_{m-1n}+u_{m-1n}\psi_{m-1}(\overline {M}_{m-1})\bigr](1+u_{m-1n}M_{m-1})d \bigl(y_{n},x^{*}\bigr) \\ &{}+\bigl[v_{m-1n}+u_{m-1n}\psi _{m-1}( \overline{M}_{m-1})\bigr]^{2}\bigr]-\alpha_{n}(1- \alpha _{n})d^{2}\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha_{n}d^{2}\bigl(y_{n},x^{*} \bigr)+7\alpha _{n}\omega_{n}M^{2}\gamma+ \alpha_{n}\omega_{n}^{2} \\ &{}-\alpha _{n}(1-\alpha_{n})d^{2} \bigl(x_{n},T_{m-1}^{n}y_{n}\bigr) \\ \le& (1-\alpha_{n})d^{2}\bigl(x_{n},x^{*} \bigr)+\alpha _{n}\bigl[d^{2}\bigl(x_{n},x^{*} \bigr)+7\alpha _{n}\omega_{n}M^{2}\gamma \\ &{}+\alpha_{n}\omega_{n}^{2} - \alpha_{n}(1-\alpha_{n})d^{2}\bigl(x_{n},T_{m}^{n}x_{n} \bigr)\bigr] \\ &{}+7\alpha _{n}\omega_{n}M^{2}\gamma+ \alpha_{n}\omega_{n}^{2} -\alpha _{n}(1- \alpha _{n})d^{2}\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr) \\ \le& d^{2}\bigl(x_{n},x^{*}\bigr)+\alpha _{n}\bigl(7\omega_{n}M^{2}\gamma+ \omega_{n}^{2}\bigr) (1+\alpha_{n}) \\ &{}-\alpha _{n}^{m}(1-\alpha _{n}) \bigl[d^{2}\bigl(x_{n},T_{m}^{n}x_{n} \bigr)+d^{2}\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr)\bigr]. \end{aligned}$$

Continuing in this fashion, we get, using \(x_{n+1}=(1-\alpha _{n})x_{n}\oplus\alpha_{n}T_{1}y_{n+m-2}\), that

$$\begin{aligned} d^{2}\bigl(x_{n+1},x^{*}\bigr) \le& d^{2}\bigl(x_{n},x^{*}\bigr)+ \alpha_{n} \bigl(\omega _{n}^{2}+7\omega_{n}^{2}M^{2} \gamma\bigr)\sum_{j=0}^{m-1}\alpha _{n}^{j} \\ &{}-\alpha_{n}^{m}(1-\alpha _{n}) \Biggl[d^{2}\bigl(x_{n},T_{m}^{n}x_{n} \bigr)+\sum_{j=1}^{m-1}d^{2} \bigl(x_{n},T_{m-j}^{n}y_{n+j-1}\bigr)\Biggr], \end{aligned}$$

so that

$$\begin{aligned}& \alpha_{n}^{m}(1-\alpha_{n})\Biggl[d^{2} \bigl(x_{n},T_{m}^{n}x_{n}\bigr)+\sum _{j=1}^{m-1}d^{2} \bigl(x_{n},T_{m-j}^{n}y_{n+j-1}\bigr)\Biggr] \\& \quad\le d^{2}\bigl(x_{n},x^{*} \bigr)-d^{2}\bigl(x_{n+1},x^{*}\bigr)+ \alpha_{n}\bigl(\omega _{n}^{2}+7 \omega_{n}^{2}M^{2}\gamma\bigr)\sum _{j=0}^{m-1}\alpha _{n}^{j}. \end{aligned}$$

This implies that

$$\begin{aligned} \sum_{n=1}^{\infty} \Biggl(\alpha_{n}^{m}(1- \alpha _{n})\Biggl[d^{2}\bigl(x_{n},T_{m}^{n}x_{n} \bigr)+\sum_{j=1}^{m-1}d^{2} \bigl(x_{n},T_{m-j}^{n}y_{n+j-1}\bigr)\Biggr] \Biggr) < \infty, \end{aligned}$$

and by the choice of the sequence \(\{\alpha_{n}\}\) we have

$$\begin{aligned} \lim_{n\rightarrow\infty}d\bigl(x_{n},T_{m}^{n}x_{n} \bigr) =&\lim_{n\rightarrow\infty}d\bigl(x_{n},T_{m-1}^{n}y_{n} \bigr) \\ \vdots& \\ =&\lim_{n\rightarrow\infty}d\bigl( x_{n},T_{h}^{n}y_{n+m-h-1} \bigr) \\ \vdots& \\ =& \lim_{n\rightarrow\infty}d\bigl(x_{n},T_{1}^{n}y_{n+m-2} \bigr) = 0 \end{aligned}$$
(3.14)

for \(2\le h< m\).

The remaining part of the proof follows as in Lemma 3.4. □

Theorem 3.7

Let E be a complete CAT(0) space, and K be a closed convex nonempty subset of E. Let \(T_{1},T_{2}, \ldots, T_{m}:K \rightarrow K \) be uniformly L-Lipschitzian total asymptotically quasi-nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{\alpha_{n} \}_{n=1}^{ \infty} \) be a sequence in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\). Let \(\{x_{n} \} \) be the sequence defined iteratively by (3.1). Then, \(\{x_{n}\} \) Δ-converges to an element of \(\mathcal{F}\).

Proof

Let \(W_{\Delta}(\{x_{n}\}):=\bigcup_{\{u_{n}\}\subset\{x_{n}\}}A(\{ u_{n}\})\). We now show that \(W_{\Delta}(\{x_{n}\})\subset\mathcal {F}\) and also that \(W_{\Delta}(\{x_{n}\})\) consists only of a single point. Now let \(u\in W_{\Delta}(\{x_{n}\})\). Then there exists a subsequence say \(\{u_{n}\}\) of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\} \). By Lemma 2.6 there exists a convergent subsequence \(\{v_{n}\}\) of \(\{u_{n}\}\) such that \(\Delta\!\mbox{-}\!\lim v_{n}=v\) for some \(v\in K\). But \(\lim_{n\to\infty}d(v_{n},T_{i}v_{n})=0\) for each \(i\in\{1,2,3,\ldots,m\}\). By the demiclosedness property of each \(T_{i}\) we have \(v\in\mathcal{F}\). Since the limit \(\lim_{n\to\infty }d(v_{n},v)\) exists, \(u=v\in\mathcal{F}\), and this implies \(W_{\Delta }(\{x_{n}\})\subset\mathcal{F}\). Next, we show that \(W_{\Delta}(\{x_{n}\})\) is singletone. Let \(\{u_{n}\}\) be a subsequence of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\}\), and let \(A(\{x_{n}\})=\{ x\}\). Since \(u\in W_{\Delta}(\{x_{n}\})\subset\mathcal{F}\), the limit \(\lim_{n\to\infty}d(x_{n},u)\) exists, by Lemma 2.2, \(x=u\), and so \(W_{\Delta}(\{x_{n}\})\) is singletone, which implies that \(\{x_{n}\}\) Δ-converges to an element of \(\mathcal{F}\). □

Remark 3.8

The CAT(0) spaces are rotund metric (‘staple rotund,’ see [31]) spaces. The polar and Δ-convergence coincide in a complete rotund metric space; see Lemma 3.6 of [18].

As a consequence of Remark 3.8 and Theorem 3.7, we have the following theorem.

Theorem 3.9

Let E be a complete CAT(0) space, and K be a closed convex nonempty subset of E. Let \(T_{1},T_{2}, \ldots, T_{m}:K \rightarrow K \) be uniformly L-Lipschitzian total asymptotically quasi-nonexpansive mappings with sequences and functions satisfying the conditions of Lemma  3.1. Let \(\{ \alpha_{n} \}_{n=1}^{ \infty} \) be a sequence in \([\epsilon,1-\epsilon]\), \(\epsilon\in(0,1)\). Let \(\{x_{n} \} \) be the sequence defined iteratively by (3.1). Then, \(\{x_{n}\}\) polar converges to an element of \(\mathcal{F}\).

References

  1. Abramenko, P, Brown, KS: Buildings: Theory and Applications. Graduate Texts in Mathematics, vol. 248. Springer, New York (2008)

    MATH  Google Scholar 

  2. Bridson, MR, Haefliger, A: Metric Spaces of Nonpositive Curvature. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  3. Brown, KS: Buildings. Springer, New York (1989)

    Book  MATH  Google Scholar 

  4. Burago, D, Burago, Y, Ivanov, S: A Course in Metric Geometry. Graduate Studies in Math., vol. 33. Am. Math. Soc., Providence (2001)

    MATH  Google Scholar 

  5. Dhompongsa, S, Panyanak, B: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572-2579 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  6. Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings. Dekker, New York (1984)

    MATH  Google Scholar 

  7. Reich, S, Shafrir, I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537-558 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  8. Dotson, WD: Fixed points of quasi-nonexpansive mappings. J. Aust. Math. Soc. 13, 167-170 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  9. Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  10. Alber, YI, Chidume, CE, Zegeye, H: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006, Article ID 10673 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. Chang, SS, Wang, L, Lee, HWJ, Chan, CK, Yang, L: Demiclosed principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in CAT(0) spaces. Appl. Math. Comput. 219, 2611-2617 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. Chang, SS, Wang, L, Lee, HWJ, Chan, CK: Strong and Δ-convergence for mixed type total asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl. 2013, Article ID 122 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  13. Chidume, CE, Ali, B: Approximation of common fixed points for finite families of nonself asymptotically nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 326, 960-973 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Chidume, CE, Ofoedu, EU: Approximation of common fixed points for finite families of total asymptotically nonexpansive mappings. J. Math. Anal. Appl. 333, 128-141 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Chidume, CE, Ofoedu, EU: A new iteration process for approximation of common fixed points for finite families of total asymptotically nonexpansive mappings. Int. J. Math. Math. Sci. 2009, Article ID 615107 (2009). doi:10.1155/2009/615107

    Article  MathSciNet  MATH  Google Scholar 

  16. Kohlenbach, U, Leustean, L: Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. J. Eur. Math. Soc. 12, 71-92 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ofoedu, EU, Nnubia, AC: Approximation of minimum-norm fixed point of total asymptotically nonexpansive mappings. Afr. Math. 26, 699-715 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  18. Devillanova, G, Solimini, S, Tintarev, C: A notion of weak convergence in metric spaces. Contemp. Math. arXiv:1409.6463v1 [math.FA] 23 Sep 2014

  19. Basarir, M, Sahin, A: On the strong and Δ-convergence of new multi-step and S-iteration processes in a CAT(0) space. J. Inequal. Appl. 2013, Article ID 482 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  20. Chidume, CE, Bello, AU, Ndambomve, P: Strong and Δ-convergence theorems for common fixed points of a finite family of multivalued demicontractive mappings in CAT(0) spaces. Abstr. Appl. Anal. 2014, Article ID 805168 (2014). doi:10.1155/2014/805168

    Article  MathSciNet  Google Scholar 

  21. 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, Article ID 54 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  22. Kim, JK, Pathak, RP, Dashputre, S, Diwan, SD, Gupta, R: Fixed point approximations of generalised nonexpansive mappings in hyperbolic spaces. Int. J. Math. Math. Sci. 2015, Article ID 368204 (2015). doi:10.1155/2015/368204

    Article  MathSciNet  Google Scholar 

  23. Kirk, WA: Fixed point theorems in CAT(0) spaces and \(\mathbb{R}\)-tree. Fixed Point Theory Appl. 2004(4), 309-316 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  24. Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689-3696 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  25. Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179-182 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  26. Markov, A: Quelques théorèmes sur les ensembles Abéliens. Dokl. Akad. Nauk SSSR 10, 311-314 (1936)

    MATH  Google Scholar 

  27. Kakutani, S: Two fixed point theorems concerning bicompact convex sets. Proc. Imp. Acad. (Tokyo) 14, 242-245 (1938)

    Article  MathSciNet  MATH  Google Scholar 

  28. Dhompongsa, S, Kirk, WA, Panyanak, B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8, 35-45 (2007)

    MathSciNet  MATH  Google Scholar 

  29. Khamsi, MA, Khan, AR: Inequalities in metric spaces with applications. Nonlinear Anal. 74, 4036-4045 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  30. Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by Ishikawa iteration process. J. Math. Anal. Appl. 178, 301-308 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  31. Staples, J: Fixed point theorem in a uniformly rotund metric spaces. Bull. Aust. Math. Soc. 14, 181-192 (1976)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author wishes to thank Professor Giovanni Bellettini for many important observations and advise that improved the presentation of this paper. The author also wishes to thank the AbdusSalam International Center for Theoretical Physics, Trieste, Italy, for hospitality and financial support during the conduct of this work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bashir Ali.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ali, B. Convergence theorems for finite families of total asymptotically nonexpansive mappings in hyperbolic spaces. Fixed Point Theory Appl 2016, 24 (2016). https://doi.org/10.1186/s13663-016-0517-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-016-0517-4

MSC

Keywords