Abstract
In this paper, a new iterative scheme for a finite family of \(I_{i}\)-generalized asymptotically nonexpansive nonself-mappings \(\{T_{i}\} _{i=1}^{r}\) is constructed in a uniformly convex hyperbolic space. We establish strong convergence theorems of this iterative scheme to a common fixed point of \(\{T_{i}\}_{i=1}^{r}\) and \(\{ I_{i}\}_{i=1}^{r}\) under certain conditions. Our results of this paper extend some results in the literature.
Similar content being viewed by others
1 Introduction
Let \(T: K\to K\), \(I: K\to K\) be two mappings of nonempty subset K of a real normed linear space X. T is said to be I-asymptotically nonexpansive [1, 2] if there exists a sequence \(\{v_{n}'\}\subset[0, \infty)\) with \(\lim_{n\to\infty}v_{n}'=0\) such that
for all \(x, y\in K\) and \(n\ge1\).
A subset K of X is said to be a retract of X if there exists a continuous map \(P: X\to K\) such that \(Px = x\), \(\forall x \in K\). A mapping \(P: X\to K\) is said to be a retraction if \(P^{2} = P\). It follows that if a map P is a retraction, then \(Py = y\) for all y in the range of P.
For nonself-nonexpansive mappings, some authors (see [3, 4] and the references therein) have studied the strong and weak convergence theorems in Hilbert spaces or uniformly convex Banach spaces. However, iterative algorithms for approximating fixed points of nonself-asymptotically nonexpansive mappings have not been paid too much attention. The concept of nonself-asymptotically nonexpansive mappings was introduced by Chidume et al. [5] in 2003 as a generalization of asymptotically nonexpansive self-mappings.
The concept of asymptotically nonexpansive nonself-mappings in the intermediate sense was introduced by Chidume et al. [6] as an important generalization of asymptotically nonexpansive self-mappings in the intermediate sense.
Definition 1.1
([6])
Let K be a nonempty subset of a Banach space X. Let \(P : X\to K\) be a nonexpansive retraction of X onto K. A nonself-mapping \(T : K\to X\) is called asymptotically nonexpansive in the intermediate sense if T is continuous and the following inequality holds:
By studying the following iterative sequence:
Chidume et al. [5] established demi-closed principle, strong and weak convergence theorems for nonself asymptotically nonexpansive mapping in a uniformly convex Banach space. Recently concerning the convergence problem of an explicit iterative process to a common fixed point for some nonself-asymptotically nonexpansive mappings in uniformly convex Banach spaces have been considered by several authors (see, for example, Wang [7], Yang [8], Thainwan [9], and the references therein).
Inspired and motivated by those facts, we will construct a new type of iterative sequence involving I-generalized asymptotically nonexpansive nonself-mapping in a nonempty closed convex subset of complete uniformly convex hyperbolic spaces and study the strong convergence for such mappings. Our theorems improve and generalize important related results of the previously known ones announced by Chidume et al. [6], Wang [7].
2 Preliminaries
Definition 2.1
Let \((X, d)\) be a metric space and \(T: K\to X\), \(I: K\to X\) be two mappings of nonempty subset K of X. A nonself-mapping \(T: K\to X\) is said to be I-generalized asymptotically nonexpansive mapping if there exist sequences \(\{v_{n}\}\subset[0, \infty)\) and \(\{ s_{n}\}\subset[0, \infty)\) with \(\lim_{n\to\infty}v_{n}=0=\lim_{n\to \infty }s_{n}\) such that
for all \(x, y\in K\), where P is a nonexpansive retraction of X onto K.
If I is the identity mapping, then (2.1) reduces to
then T is said to be generalized asymptotically nonexpansive nonself-mapping.
\(T: K\to X\) is said to be uniformly L-Lipschitzian if there exists a constant \(L>0\) such that
Remark 2.2
If \(s_{n}=0\) for all \(n\ge1\), then (2.1) reduces to the nonself-asymptotically nonexpansive mapping. If \(v_{n}=0\) for all \(n\ge1\) and I the identity mapping, then I-generalized asymptotically nonexpansive nonself-mappings coincide with asymptotically nonexpansive nonself-mappings in the intermediate sense.
A hyperbolic space [10] is a metric space \((X, d)\) together with a map \(W: X^{2}\times[0, 1]\to X\) satisfying:
-
(i)
\(d(u, W(x, y, \lambda))\le\lambda d(u, x)+(1-\lambda)d(u, y)\),
-
(ii)
\(d(W(x, y, \lambda), W(x, y, \mu))=\vert \lambda-\mu \vert d(x, y)\),
-
(iii)
\(W(x, y, \lambda)=W(y, x, (1-\lambda))\),
-
(iv)
\(d(W(x, z, \lambda), W(y, w, \lambda))\le(1-\lambda)d(x, y)+\lambda d(z, w)\),
for all \(x, y, z, w\in X\) and \(\lambda, \mu\in[0, 1]\). We denote the above defined hyperbolic space by \((X, d, W)\); if it satisfies only (i), then it is said to be the convex metric space introduced by Takahashi [11]. A nonempty subset K of a hyperbolic space X is convex if \(W(x, y, \lambda)\in K\) for all \(x, y\in X\) and \(\lambda\in [0, 1]\).
Kohlenbach [10] pointed out that all normed spaces and their subsets are hyperbolic spaces as well as convex metric spaces. The class of hyperbolic spaces is properly contained in the class of convex metric spaces.
A hyperbolic space \((X, d, W)\) is said to be uniformly convex [12] if for any \(x, y, u\in X\), \(r>0\) and \(\epsilon\in(0, 2]\), there exists a \(\delta\in(0, 1]\) such that
A map \(\eta: (0, \infty)\times(0, 2]\to(0, 1]\) which provides such a \(\delta=\eta(r, \epsilon)\), for given \(r>0\) and \(\epsilon\in(0, 2]\), is called modulus of uniform convexity of X. We call η monotone if it decreases with r (for a fixed ϵ). We call η monotone if it decreases with r (for a fixed ϵ).
The concept of △-convergence in a metric space was introduced by Lim [13] and its analog in \(CAT(0)\) spaces has been investigated by Dhompongsa and Panyanak [14]. In this article, we continue the investigation of △-convergence in the general setup of hyperbolic spaces.
Let \(\{x_{n}\}\) be any bounded sequence in a metric space X. For \(x\in X\), define a continuous function \(\widetilde{r}(\cdot, \{x_{n}\}): X\to [0, \infty)\) by
The asymptotic radius \(\rho=\widetilde{r}(x_{n})\) of \(\{ x_{n}\}\) with respect to a subset \(K\subset X\) is given by
The asymptotic center of a bounded sequence \(\{x_{n}\}\) with respect to a subset \(K\subset X\) is defined as follows:
If the asymptotic center is taken with respect to X, then it is simply denoted by \(A(x_{n})\). In general, \(A(x_{n})\) may be empty or may even contain infinitely many points. It is well known that a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity enjoys the property that bounded sequences have unique asymptotic center with respect to closed convex subsets [15].
A sequence \(\{x_{n}\}\) is said to △-convergence \(x\in X\) if x is the unique asymptotic center for every subsequence \(\{x_{n_{i}}\}\) of \(\{x_{n}\}\). In this case, we call x as △-limit of \(\{x_{n}\}\) and write \(\triangle- \lim_{n} x_{n}=x\).
Lemma 2.3
(see [15])
Let \((X, d, W)\) be a uniformly convex hyperbolic space with monotone modulus of uniform convexity and K a nonempty closed convex subset of X. Then every bounded sequences \(\{x_{n}\}\) in X has a unique asymptotic center with respect to K.
Lemma 2.4
(see [15])
Let \((X, d, W)\) be a uniformly convex hyperbolic space with monotone modulus of uniform convexity η and \(x\in X\). Let \(\{\lambda_{n}\}\in[b, c]\) for some \(b, c\in(0, 1)\). If \(\{u_{n}\}\) and \(\{v_{n}\}\) are sequences in X such that \(\limsup_{n\to\infty}d(u_{n}, x)\le r\), \(\limsup_{n\to\infty}d(v_{n}, x)\le r\) and \(\lim_{n\to\infty}d(W(u_{n}, v_{n}, \lambda_{n}), x)= r\) for some \(r\ge0\), then \(\lim_{n\to\infty} d(u_{n}, v_{n})=0\).
Lemma 2.5
(see [15])
Let K a nonempty closed convex subset of a uniformly convex hyperbolic space \((X, d, W)\) and \(\{ u_{n}\}\) be a bounded sequence in K such that \(A(\{u_{n}\})=\{u\}\). If \(\{ v_{m}\}\) is any other sequence in K such that \(\lim_{m\to\infty} r(v_{m}, \{u_{n}\})=r(u, \{u_{n}\})\), then \(\lim_{m\to\infty}v_{m}=u\).
Lemma 2.6
(see [16], Lemma 1)
Let \(\{a_{n}\}\), \(\{ b_{n}\}\), \(\{\delta_{n}\}\) be sequences of nonnegative real numbers satisfying the inequality
If \(\sum_{n=1}^{\infty}b_{n}<\infty\) and \(\sum_{n=1}^{\infty} \delta_{n}<\infty\), then
-
(i)
\(\lim_{n\to \infty}a_{n}\) exists;
-
(ii)
in particular, if \(\{a_{n}\}\) has a subsequence \(\{a_{n_{k}}\}\) converging to 0, then \(\lim_{n\to \infty}a_{n}=0\).
In the following, we denote \(I_{0}=\{1, 2, \ldots, r\}\).
A family \(\{T_{i}: i\in I_{0}\}\) be \(I_{i}\)-generalized asymptotically nonexpansive nonself-mappings and \(\{I_{i}: i\in I_{0}\}\) be generalized asymptotically nonexpansive nonself-mappings with \(\mathcal{F}=\bigcap_{i=1}^{r}F(T_{i})\cap F(I_{i})\neq\emptyset\), are said to satisfy condition (B) with respect to the sequence \(\{u_{n}\}\) if there is a nondecreasing function \(f: [0, \infty)\to[0, \infty)\) with \(f(0)=0\), \(f(s)>0\) for all \(s>0\) such that
3 Main results
Lemma 3.1
Let \((X, d, W)\) be a convex metric space and K be a nonempty closed convex subset of X. Let \(T_{i}: K\to X\) \((i\in I_{0})\) be \(I_{i}\)-generalized asymptotically nonexpansive nonself-mappings with sequences \(\{v_{in}\}, \{s_{in}\}\subset[0, \infty)\) and \(I_{i}: K\to X\) \((i\in I_{0})\) be generalized asymptotically nonexpansive nonself-mappings with \(\{u_{in}\}, \{s'_{in}\}\subset[0, \infty)\), and \(\mathcal {F}=\bigcap_{i=1}^{r} F(T_{i})\cap F(I_{i})\neq\emptyset\). Suppose that for any given \(x_{1}\in K\), the sequence \(\{x_{n}\}\) is generated by
satisfying the conditions:
-
(1)
\(\sum_{n=1}^{\infty}h_{n}<\infty\) and \(\sum_{n=1}^{\infty}s_{n}<\infty\), where \(h_{n}=\max\{u_{in}: i\in I_{0}\}\vee\max\{v_{in}: i\in I_{0}\}\) and \(s_{n}=\max\{s_{in}: i\in I_{0}\}\vee\max\{s'_{in}: i\in I_{0}\}\).
-
(2)
\(0\le a_{n}, b_{n}, c_{n}, \alpha_{n}, \beta_{n}, b_{n}+c_{n}, \alpha_{n}+\beta_{n}\le1\), \(\forall n\ge 1\).
Then the sequence \(\{x_{n}\}\) defined by (3.1) has limit existence property for the mappings \(T_{i}\) and \(I_{i}\) (\(i\in I_{0}\)).
Proof
For any given \(q\in\mathcal{F}\). It follows from (3.1) that
It follows from (3.1), (3.2) that
It follows from (3.1), (3.2), and (3.3) that
Since \(\sum_{n=1}^{\infty}h_{n}<\infty\) and \(\sum_{n=1}^{\infty}s_{n}<\infty \), we have \(\sum_{n=1}^{\infty}\rho_{n}=\sum_{n=1}^{\infty}h_{n}(5+10h_{n}+10h_{n}^{2}+5h_{n}^{3}+h_{n}^{4})<\infty\) and \(\sum_{n=1}^{\infty}\sigma _{n}=\sum_{n=1}^{\infty}((1+h_{n})^{4}+(1+h_{n})^{3} +(1+h_{n})^{2}+(1+h_{n})+1)s_{n}<\infty\). Applying Lemma 2.6 to (3.4), we observe that \(\lim_{n\to\infty} d(x_{n}, q)\) exists for each \(q\in\mathcal{F}\). □
Lemma 3.2
Under the assumptions of Lemma 3.1, we have the following:
-
(i)
If \(0<\liminf_{n\to\infty} \alpha_{n}\le\limsup_{n\to\infty }(\alpha_{n}+\beta_{n})<1\), then \(\lim_{n\to\infty}d (T_{i}(PT_{i})^{n-1}y_{n}, PW (T_{i}(PT_{i})^{n-1}z_{n}, x_{n}, \frac{\beta_{n}}{1-\alpha_{n}} ) )=0\).
-
(ii)
If \(0<\liminf_{n\to\infty} b_{n}\le\limsup_{n\to\infty }(b_{n}+c_{n})<1\), then \(\lim_{n\to\infty} d (T_{i}(PT_{i})^{n-1}z_{n}, PW (T_{i}(PT_{i})^{n-1}x_{n}, x_{n}, \frac {c_{n}}{1-b_{n}} ), b_{n} )=0\).
-
(iii)
If \(0<\liminf_{n\to\infty} b_{n}\le\limsup_{n\to \infty }(b_{n}+c_{n})<1\), \(0<\liminf_{n\to\infty}a_{n}\le\limsup_{n\to\infty}a_{n}<1\), then \(\lim_{n\to\infty}d (I_{i}(PI_{i})^{n-1}x_{n}, x_{n} )= \lim_{n\to\infty}d (T_{i}(PT_{i})^{n-1}x_{n}, x_{n} )=0\).
Proof
By Lemma 3.1, \(\lim_{n\to\infty}d(x_{n}, q)\) exists for each \(q\in\mathcal{F}\).
Let \(\lim_{n\to\infty}d(x_{n}, q)=c\) for some \(c\ge0\). The case \(c=0\) is trivial. Next, we discuss the case \(c>0\).
(i) Assume that \(0<\liminf_{n\to\infty} \alpha_{n}\le\limsup_{n\to\infty }(\alpha_{n}+\beta_{n})<1\), then there exist \(\eta_{1}, \eta_{2}\in(0, 1)\) such that \(0<\eta _{1}\le \alpha_{n}\le \alpha_{n}+\beta_{n}\le\eta_{2}<1\) for all \(n\ge1\).
Since \(T_{i}\) is \(I_{i}\)-generalized asymptotically nonexpansive mapping, it follows from (3.3) that we have
Therefore
Further, it follows from (3.2) that we have the inequality
Therefore
As \(\lim_{n\to\infty}d(x_{n+1}, q)=c\), we have
It follows from Lemma 2.4 and the sequences (3.5)-(3.7) that
(ii) Assume \(0<\liminf_{n\to\infty} b_{n}\le\limsup_{n\to\infty }(b_{n}+c_{n})<1\), then there exist \(\tau_{1}, \tau_{2}\in (0, 1)\) such that \(0<\tau_{1}\le b_{n}\le b_{n}+c_{n}\le\tau_{2}<1\) for all \(n\ge1\). Next we calculate:
That is,
Applying liminf in the above inequality and then using (3.8), we have
That is,
It follows from (3.3) and (3.9) that
Similar to (3.5), we have
Similar to (3.6), we have
The sequences in (3.10), (3.11), and (3.12) satisfy the hypotheses of Lemma 2.4, therefore it follows that
(iii) As \(0<\liminf_{n\to\infty} b_{n}\le\limsup_{n\to\infty }(b_{n}+c_{n})<1\), so as in part (ii), there exist \(\tau_{1}, \tau_{2}\in(0,1)\) such that \(0<\tau_{1}\le b_{n}\le b_{n}+c_{n}\le\tau_{2}<1\) for all \(n\ge1\). Also \(0<\liminf_{n\to\infty} a_{n}\le\limsup_{n\to\infty} a_{n}<1\) shows that there exist \(\delta_{1}\), \(\delta_{2}\in(0, 1)\) such that \(0<\delta _{1}\le b_{n}\le b_{n}+c_{n}\le\delta_{2}<1\) for all \(n\ge1\).
Taking liminf in the inequality
and using (3.13), we have
Since
we have
Appealing to Lemma 2.4, we have
Therefore
Since
It follows from (3.16) and (3.17) that
Therefore, we have
It follows from (3.8), (3.15), and (3.19) that
This completes the proof. □
Theorem 3.3
Under the assumptions of Lemma 3.1, let \(T_{i}, I_{i}: K\to X\) (\(i\in I_{0}\)) be uniformly L-Lipschitzian, the sequence \(\{x_{n}\}\) is generated by (3.1) satisfying the conditions:
-
(i)
\(0<\liminf_{n\to\infty} \alpha_{n}\le\limsup_{n\to\infty }(\alpha_{n}+\beta_{n})<1\),
-
(ii)
\(0<\liminf_{n\to\infty} b_{n}\le\limsup_{n\to\infty }(b_{n}+c_{n})<1\),
-
(iii)
\(0<\liminf_{n\to\infty}a_{n}\le\limsup_{n\to\infty}a_{n}<1\).
Then \(\{x_{n}\}\) in (3.1) has approximate common fixed point property for \(I_{i}\), \(T_{i}\) (\(i\in I_{0}\)).
Proof
Since \(T_{i}\) is uniformly L-Lipschitzian, it follows from (3.15) and (3.20) that
It follows from (3.13) and (3.21) that
Since \(T_{i}\) is uniformly L-Lipschitzian, it follows from (3.13) and (3.22) that
It follows from (3.8) and (3.23) that
Note that the inequality
together with (3.20) and (3.24) gives
Similarly, we can prove that
Equations (3.25) and (3.26) prove that \(\{x_{n}\}\) has approximate common fixed point property for \(I_{i}\), \(T_{i}\) (\(i\in I_{0}\)). This completes the proof. □
Theorem 3.4
Under the assumptions of Theorem 3.3, if \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\) satisfy condition (B) with respect to the sequence \(\{x_{n}\}\), then \(\{x_{n}\}\) in (3.1) converges strongly to a common fixed point of \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\).
Proof
It follows from Theorem 3.3 that
Since \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\) satisfy condition (B) with respect to the sequence \(\{x_{n}\}\), we have
Next, we show that \(\{x_{n}\}\) is a Cauchy sequence. For any \(q\in\mathcal{F}\). It follows from (3.4) that there exists a positive constant M such that
where \(\gamma_{n}=M\rho_{n}\), and \(\sum_{n=1}^{\infty} \gamma_{n}<\infty\). For an arbitrary \(\epsilon >0\), since \(\lim_{n\to\infty} d(x_{n}, \mathcal {F})=0\) and \(\sum_{n=1}^{\infty} \gamma_{n}<\infty\), there exists a positive integer N such that \(d(x_{n}, \mathcal{F})\le \epsilon /4\), \(\sum_{j=n}^{\infty}\gamma _{j}\le \epsilon /4\) for all \(n\ge N\). So, we have \(d(x_{N}, \mathcal{F})\le \epsilon /4\), \(\sum_{j=N}^{\infty}\gamma_{j}\le \epsilon /4\). This means that there exists a \(q_{1}\in\mathcal{F}\) such that \(d(x_{N}, q_{1})\le \epsilon /4\). It follows from (3.27) that when \(n\ge N\),
This implies that \(\{x_{n}\}\) is a Cauchy sequence. K is complete for it is a closed subset in a complete hyperbolic space. Without loss of generality, we can assume that \(\{x_{n}\}\) converges strongly to some point \(q^{*}\in K\). It is easy to prove that \(\mathcal{F}\) is closed. It follows from \(\lim_{n\to\infty}d(x_{n}, \mathcal{F})=0\) that \(q^{*}\in\mathcal{F}\). This completes the proof. □
Theorem 3.5
Under the assumptions of Theorem 3.3, then the sequence \(\{x_{n}\}\) defined by (3.1) △-converges to a point in \(\mathcal{F}\).
Proof
It follows from Lemma 3.1 that \(\{x_{n}\}\) is bounded. Therefore by Lemma 2.3, \(\{x_{n}\}\) has a unique asymptotic center, that is, \(A(\{x_{n}\})=\{x\}\). Let \(\{ u_{n}\}\) be any subsequence of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\}\). By (3.25) and (3.26), we have \(\lim_{n\to\infty} d(u_{n}, T_{i} u_{n})=\lim_{n\to\infty} d(u_{n}, I_{i} u_{n})=0\) for \(i\in I_{0}\). We claim that u is the common fixed point of \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\).
To do this, we define a sequence \(\{z_{n}\}\) in K by \(z_{n}=T_{i}(PT_{i})^{n-1} u\). Observe that
Therefore, we have
This implies that \(|\widetilde{r}(z_{n}, \{u_{n}\})-\widetilde{r}(u, \{ u_{n}\} )|\to o\) as \(n\to\infty\). It follows from Lemma 2.5 that \(\lim_{n\to\infty} T_{i}(PT_{i})^{n-1} u=u\). Since K is closed, \(\lim_{n\to\infty} T_{i}(PT_{i})^{n-1} u=u\in K\) and \(\lim_{n\to\infty} T_{i}(PT_{i})^{n} u=T_{i} u\), that is, \(T_{i} u=u\). Similarly, we can show that u is the common fixed point of \(\{I_{i}: i\in I_{0}\}\). Therefore u is the common fixed point of \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\). It follows from Lemma 3.1 that \(\lim_{n\to\infty} d(x_{n}, u)\) exists. Suppose \(x\neq u\). Then by the uniqueness of asymptotic centers, we have
which gives a contradiction. Hence \(x=u\).
Therefore \(A(\{u_{n}\})=\{u\}\) for all subsequences \(\{u_{n}\}\) of \(\{x_{n}\} \). This proves that \(\{x_{n}\}\) △-converges to a point in \(\mathcal{F}\). □
Example 3.6
Let us consider that \(\mathbb{R}\), the set of real number with the usual norm \(|\cdot|\). Let \(K=[-\frac{2}{3}, \frac {2}{3}]\subset\mathbb{R}\). The mapping \(T_{1}, T_{2}: K\to K\) are defined by
and
Then \(T_{1}\) and \(T_{2}\) are generalized asymptotically nonexpansive mappings. Note that \(F(T_{1})=\{0\}\) and \(F(T_{2})=\{-\frac{2}{3}\le x\le 0\}\) and \(\mathcal{F}=F(T_{1})\cap F(T_{2})=\{0\}\). Let
for all \(n\ge1\). Therefore, the conditions of Theorem 3.5 are fulfilled.
Theorem 3.7
Under the assumptions of Theorem 3.3, \(\{ x_{n}\}\) in (3.1) converges strongly to a common fixed point of \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\) if and only if \(\liminf_{n\to\infty}d(x_{n}, \mathcal{F})=0\).
Proof
The necessity is obvious. Indeed, if \(x_{n}\to q\in\mathcal{F}\) as \(n\to\infty\), then
Now, we show sufficiency. Equation (3.27) means that
that is,
It follows from (3.28), Lemma 2.6, and \(\liminf_{n\to\infty}d(x_{n}, \mathcal{F})=0\) that \(\lim_{n\to \infty}d(x_{n}, \mathcal{F})=0\). Thus, the rest of the proof follows as in the proof of Theorem 3.4. This completes the proof. □
Theorem 3.8
Under the assumptions of Theorem 3.3, if at least one mapping of the mappings \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\) is semi-compact, then \(\{x_{n}\}\) in (3.1) converges strongly to a common fixed point of \(\{T_{i}: i\in I_{0}\}\) and \(\{I_{i}: i\in I_{0}\}\).
Proof
Without loss of generality, we may assume that \(T_{1}\) is semi-compact. By (3.25) and the assumption that \(T_{1}\) is semi-compact, there exists a subsequence \(\{x_{n_{j}}\}\subset\{x_{n}\}\) such that \(\{x_{n_{j}}\}\) converges strongly to some point \(q\in K\). Then by the continuity of \(T_{i}\) (\(i\in I_{0}\)), we get
Similarly, we can prove \(d(q, I_{i} q)=0\) for \(i\in I_{0}\). Therefore \(q\in\mathcal{F}\). It follows from Lemma 3.1 that \(\lim_{n\to \infty} d(x_{n}, q)\) exists and thus \(\lim_{n\to\infty} d(x_{n}, q)=0\). This completes the proof. □
References
Temir, S: On the convergence theorems of implicit iteration process for a finite family of I-asymptotically nonexpansive mappings. J. Comput. Appl. Math. 225, 398-405 (2009)
Temir, S, Gul, O: Convergence theorem for I-asymptotically quasi-nonexpansive mapping in Hilbert space. J. Math. Anal. Appl. 329, 759-765 (2007)
Khan, SH, Fukhar-ud-din, H: Weak and strong convergence of a scheme with errors for two nonexpansive mappings. Nonlinear Anal. 61, 1295-1301 (2005)
Shahzad, N: Approximating fixed points of non-self nonexpansive mappings in Banach spaces. Nonlinear Anal. 61, 1031-1039 (2005)
Chidume, CE, Ofoedu, EU, Zegeye, H: Strong and weak convergence theorems for asymptotically nonexpansive mappings. J. Math. Anal. Appl. 280, 364-374 (2003)
Chidume, CE, Shahzad, N, Zegeye, H: Convergence theorems for mappings which are asymptotically nonexpansive in the intermediate sense. Numer. Funct. Anal. Optim. 25, 239-257 (2004)
Wang, L: Strong and weak convergence theorems for common fixed points of nonself asymptotically nonexpansive mappings. J. Math. Anal. Appl. 323, 550-557 (2006)
Yang, L: Modified multistep iterative process for some common fixed point of a finite family of nonself asymptotically nonexpansive mappings. Math. Compt. Modelling 45, 1157-1169 (2007)
Thianwan, S: Common fixed points of new iterations for two asymptotically nonexpansive nonself mappings in a Banach space. J. Comput. Appl. Math. 224, 688-695 (2009)
Kohlenbach, U: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 357, 89-128 (2005)
Takahashi, W: A convexity in metric spaces and nonexpansive mappings. Kodai Math. Semin. Rep. 22, 142-149 (1970)
Shimizu, T, Takahashi, W: Fixed points of multivalued mappings in certain convex metric spaces. Topol. Methods Nonlinear Anal. 8, 197-203 (1996)
Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179-182 (1976)
Dhompongsa, S, Panyanak, B: On △-convergence theorems in \(CAT(0)\)-spaces. Comput. Math. Appl. 56(10), 2572-2579 (2008)
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, 54 (2012)
Tan, KK, Xu, HK: Approximating fixed points of nonexpansive by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 301-308 (1993)
Acknowledgements
This work was supported by the Humanity and Social Science Planning Foundation of Ministry of Education of China (Grand No. 14YJAZH095), the National Natural Science Foundation of China (Grand No. 61374081), the Natural Science Foundation of Guangdong Province (Grand No. 2015A030313485, S2013010013034) and the High-level Talents Project in Guangdong Province (Grant No. 2014011).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author only contributed to the writing of this paper. The author read and approved the final manuscript.
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
Yang, L. Convergence of general algorithm for I-generalized asymptotically nonexpansive nonself-mappings in uniformly convex hyperbolic spaces. J Inequal Appl 2015, 394 (2015). https://doi.org/10.1186/s13660-015-0917-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0917-8