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.
Similar content being viewed by others
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, [1–5].
A geodesic space \((X,d)\) is called hyperbolic (see [6, 7]) if, for any \(x,y,z\in X\),
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
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\),
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}\),
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}\),
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
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
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, 11–16], 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, 19–24], 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
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
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
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
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
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
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
Since (3.6) is true for each \(x^{*}\) in F, we have
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
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
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\):
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,
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:
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
Thus,
and
Now
Consider the following:
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
□
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,
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
Also,
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
so that
This implies that
and by the choice of the sequence \(\{\alpha_{n}\}\) we have
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
Abramenko, P, Brown, KS: Buildings: Theory and Applications. Graduate Texts in Mathematics, vol. 248. Springer, New York (2008)
Bridson, MR, Haefliger, A: Metric Spaces of Nonpositive Curvature. Springer, Berlin (1999)
Brown, KS: Buildings. Springer, New York (1989)
Burago, D, Burago, Y, Ivanov, S: A Course in Metric Geometry. Graduate Studies in Math., vol. 33. Am. Math. Soc., Providence (2001)
Dhompongsa, S, Panyanak, B: On Δ-convergence theorems in CAT(0) spaces. Comput. Math. Appl. 56, 2572-2579 (2008)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings. Dekker, New York (1984)
Reich, S, Shafrir, I: Nonexpansive iterations in hyperbolic spaces. Nonlinear Anal. 15, 537-558 (1990)
Dotson, WD: Fixed points of quasi-nonexpansive mappings. J. Aust. Math. Soc. 13, 167-170 (1972)
Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)
Alber, YI, Chidume, CE, Zegeye, H: Approximating fixed points of total asymptotically nonexpansive mappings. Fixed Point Theory Appl. 2006, Article ID 10673 (2006)
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)
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)
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)
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)
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
Kohlenbach, U, Leustean, L: Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. J. Eur. Math. Soc. 12, 71-92 (2010)
Ofoedu, EU, Nnubia, AC: Approximation of minimum-norm fixed point of total asymptotically nonexpansive mappings. Afr. Math. 26, 699-715 (2015)
Devillanova, G, Solimini, S, Tintarev, C: A notion of weak convergence in metric spaces. Contemp. Math. arXiv:1409.6463v1 [math.FA] 23 Sep 2014
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)
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
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)
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
Kirk, WA: Fixed point theorems in CAT(0) spaces and \(\mathbb{R}\)-tree. Fixed Point Theory Appl. 2004(4), 309-316 (2004)
Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 3689-3696 (2008)
Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179-182 (1976)
Markov, A: Quelques théorèmes sur les ensembles Abéliens. Dokl. Akad. Nauk SSSR 10, 311-314 (1936)
Kakutani, S: Two fixed point theorems concerning bicompact convex sets. Proc. Imp. Acad. (Tokyo) 14, 242-245 (1938)
Dhompongsa, S, Kirk, WA, Panyanak, B: Nonexpansive set-valued mappings in metric and Banach spaces. J. Nonlinear Convex Anal. 8, 35-45 (2007)
Khamsi, MA, Khan, AR: Inequalities in metric spaces with applications. Nonlinear Anal. 74, 4036-4045 (2011)
Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by Ishikawa iteration process. J. Math. Anal. Appl. 178, 301-308 (1993)
Staples, J: Fixed point theorem in a uniformly rotund metric spaces. Bull. Aust. Math. Soc. 14, 181-192 (1976)
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
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0517-4