 Research
 Open Access
 Published:
Convergence of threestep iterations for nearly asymptotically nonexpansive mappings in \(\operatorname{CAT}(k)\) spaces
Journal of Inequalities and Applications volume 2015, Article number: 156 (2015)
Abstract
In this paper, we study strong and △convergence of a newly defined threestep iteration process for nearly asymptotically nonexpansive mappings in the setting of \(\operatorname{CAT}(k)\) spaces. Our results generalize, unify and extend many known results from the existing literature.
1 Introduction
For a real number k, a \(\operatorname{CAT}(k)\) space is a geodesic metric space whose geodesic triangle is thinner than the corresponding comparison triangle in a model space with curvature k. The precise definition is given below. The term ‘\(\operatorname{CAT}(k)\)’ was coined by Gromov ([1], p.119). The initials are in honor of Cartan, Alexandrov and Toponogov, each of whom considered similar conditions in varying degrees of generality.
Fixed point theory in \(\operatorname{CAT}(k)\) spaces was first studied by Kirk (see [2, 3]). His works were followed by a series of new works by many authors, mainly focusing on \(\operatorname{CAT}(0)\) spaces (see, e.g., [4–11]). It is worth mentioning that the results in \(\operatorname{CAT}(0)\) spaces can be applied to any \(\operatorname{CAT}(k)\) space with \(k\leq0\) since any \(\operatorname{CAT}(k)\) space is a \(\operatorname{CAT}(m)\) space for every \(m\geq k\) (see [12], ‘Metric spaces of nonpositive curvature’).
The class of asymptotically nonexpansive mappings was introduced by Goebel and Kirk [13] in 1972, as an important generalization of the class of nonexpansive mappings, and they proved that if C is a nonempty closed and bounded subset of a uniformly convex Banach space, then every asymptotically nonexpansive selfmapping of C has a fixed point.
There are many papers dealing with the approximation of fixed points of asymptotically nonexpansive mappings and asymptotically quasinonexpansive mappings in uniformly convex Banach spaces, using modified Mann, Ishikawa and threestep iteration processes (see, e.g., [14–22]; see also [23–27]).
The concept of Δconvergence in a general metric space was introduced by Lim [28]. In 2008, Kirk and Panyanak [29] used the notion of Δconvergence introduced by Lim [28] to prove in the CAT(0) space and analogous of some Banach space results which involve weak convergence. Further, Dhompongsa and Panyanak [30] obtained Δconvergence theorems for the Picard, Mann and Ishikawa iterations in a \(\operatorname{CAT}(0)\) space. Since then, the existence problem and the Δconvergence problem of iterative sequences to a fixed point for nonexpansive mapping, asymptotically nonexpansive mapping, nearly asymptotically nonexpansive mapping, asymptotically nonexpansive mapping in the intermediate sense, asymptotically quasinonexpansive mapping in the intermediate sense, total asymptotically nonexpansive mapping and asymptotically quasinonexpansive mapping through Picard, Mann [31], Ishikawa [32], modified Agarwal et al. [33] have been rapidly developed in the framework of \(\operatorname{CAT}(0)\) spaces and many papers have appeared in this direction (see, e.g., [5, 30, 34–39]).
The aim of this article is to establish Δconvergence and strong convergence of a modified threestep iteration process which contains a modified Siteration process for a class of mappings which is wider than that of asymptotically nonexpansive mappings in \(\operatorname{CAT}(k)\) spaces. Our results extend and improve the corresponding results of Abbas et al. [34], Dhompongsa and Panyanak [30], Khan and Abbas [35] and many other results of this direction.
2 Preliminaries
Let \(F(T)=\{x\in K: Tx=x\}\) denote the set of fixed points of the mapping T. We begin with the following definitions.
Definition 2.1
Let \((X,d)\) be a metric space and K be its nonempty subset. Then the mapping \(T\colon K\to K\) is said to be:

(1)
nonexpansive if \(d(Tx,Ty)\leq d(x,y)\) for all \(x,y\in K\);

(2)
asymptotically nonexpansive if there exists a sequence \(\{u_{n}\}\subset[0,\infty)\), with \(\lim_{n\to\infty}u_{n}=0\), such that \(d(T^{n}x,T^{n}y)\leq(1+u_{n})d(x,y)\) for all \(x,y\in K\) and \(n\geq1\);

(3)
asymptotically quasinonexpansive if \(F(T)\neq\emptyset\), and there exists a sequence \(\{u_{n}\}\subset[0,\infty)\), with \(\lim_{n\to\infty}u_{n}=0\), such that \(d(T^{n}x,p)\leq(1+u_{n})d(x,p)\) for all \(x\in K\), \(p\in F(T)\) and \(n\geq1\);

(4)
uniformly LLipschitzian if there exists a constant \(L>0\) such that \(d(T^{n}x,T^{n}y)\leq L d(x,y)\) for all \(x,y\in K\) and \(n\geq1\);

(5)
semicompact if for a sequence \(\{x_{n}\}\) in K, with \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\), there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{k}}\to p\in K\) as \(k\to \infty\);

(6)
a sequence \(\{x_{n}\}\) in K is called approximate fixed point sequence for T (AFPS, in short) if \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\).
The class of nearly Lipschitzian mappings is an important generalization of the class of Lipschitzian mappings and was introduced by Sahu [40].
Definition 2.2
Let K be a nonempty subset of a metric space \((X,d)\) and fix a sequence \(\{a_{n}\}\subset[0,\infty)\) with \(\lim_{n\to\infty}a_{n}=0\). A mapping \(T\colon K\to K\) is said to be nearly Lipschitzian with respect to \(\{a_{n}\}\) if, for all \(n\geq1\), there exists a constant \(k_{n}\geq0\) such that
The infimum of the constants \(k_{n}\), for which the above inequality holds, is denoted by \(\eta(T^{n})\) and is called nearly Lipschitz constant of \(T^{n}\).
A nearly Lipschitzian mapping T with sequence \(\{a_{n},\eta(T^{n})\}\) is said to be:

(i)
nearly nonexpansive if \(\eta(T^{n})=1\) for all \(n\geq1\);

(ii)
nearly asymptotically nonexpansive if \(\eta(T^{n})\geq1\) for all \(n\geq1\) and \(\lim_{n\to\infty}\eta(T^{n})=1\);

(iii)
nearly uniformly kLipschitzian if \(\eta(T^{n})\leq k\) for all \(n\geq1\).
Let \((X,d)\) be a metric space. A geodesic path joining \(x\in X\) to \(y\in X\) (or, more briefly, a geodesic from x to y) is a map c from a closed interval \([0,l]\subset\mathbb{R}\) to X such that \(c(0)=x\), \(c(l)=y\) and \(d(c(t),c(t'))=tt'\) for all \(t,t'\in[0,l]\). In particular, c is an isometry, and \(d(x,y)=l\). The image α of c is called a geodesic (or metric) segment joining x and y. We say that X is (i) a geodesic space if any two points of X are joined by a geodesic, and (ii) uniquely geodesic if there is exactly one geodesic joining x and y for each \(x,y\in X\), which we will denote by \([x,y]\), called the segment joining x to y. This means that \(z\in[x, y]\) if and only if there exists \(\alpha\in[0,1]\) such that \(d(x,z)=(1\alpha)d(x,y)\) and \(d(y,z)=\alpha d(x,y)\).
In this case, we write \(z=\alpha x\oplus(1\alpha)y\). The space \((X,d)\) is said to be a geodesic space (Dgeodesic space) if every two points of X (every two points of distance smaller than D) are joined by a geodesic, and X is said to be uniquely geodesic (Duniquely geodesic) if there is exactly one geodesic joining x and y for each \(x,y\in X\) (for \(x,y\in X\) with \(d(x,y)< D\)). A subset K of X is said to be convex if K includes every geodesic segment joining any two of its points. The set K is said to be bounded if \(\operatorname{diam}(K):= \sup\{d(x,y):x,y\in K\}< \infty\).
The model spaces \(M_{k}^{2}\) are defined as follows.
Given a real number k, we denote by \(M_{k}^{2}\) the following metric spaces:

(i)
if \(k=0\), then \(M_{k}^{2}\) is an Euclidean space \(\mathbb{E}^{n}\);

(ii)
if \(k>0\), then \(M_{k}^{2}\) is obtained from the sphere \(\mathbb{S}^{n}\) by multiplying the distance function by \(\frac{1}{\sqrt{k}}\);

(iii)
if \(k<0\), then \(M_{k}^{2}\) is obtained from a hyperbolic space \(\mathbb{H}^{n}\) by multiplying the distance function by \(\frac{1}{\sqrt{k}}\).
A geodesic triangle \(\triangle(x_{1},x_{2},x_{3})\) in a geodesic metric space \((X,d)\) consists of three points in X (the vertices of △) and a geodesic segment between each pair of vertices (the edges of △). A comparison triangle for the geodesic triangle \(\triangle(x_{1},x_{2},x_{3})\) in \((X,d)\) is a triangle \(\overline{\triangle}(x_{1},x_{2},x_{3}):= \triangle(\overline{x_{1}},\overline{x_{2}},\overline{x_{3}})\) in \(M_{k}^{2}\) such that \(d(x_{1},x_{2})=d_{M_{k}^{2}}(\overline{x_{1}},\overline{x_{2}})\), \(d(x_{2},x_{3})=d_{M_{k}^{2}}(\overline{x_{2}},\overline{x_{3}})\) and \(d(x_{3},x_{1})=d_{M_{k}^{2}}(\overline{x_{3}},\overline{x_{1}})\). If \(k\leq 0\), then such a comparison triangle always exists in \(M_{k}^{2}\). If \(k>0\), then such a triangle exists whenever \(d(x_{1},x_{2})+d(x_{2},x_{3})+d(x_{3},x_{1})< 2D_{k}\), where \(D_{k}=\pi/\sqrt{k}\). A point \(\bar{p}\in[\bar{x},\bar{y}]\) is called a comparison point for \(p\in[x,y]\) if \(d(x,p)=d_{M_{k}^{2}}(\bar{x},\bar{p})\).
A geodesic triangle \(\triangle(x_{1},x_{2},x_{3})\) in X is said to satisfy the \(\operatorname{CAT}(k)\) inequality if for any \(p,q\in \triangle(x_{1},x_{2},x_{3})\) and for their comparison points \(\bar{p},\bar{q}\in \overline{\triangle}(\bar{x_{1}},\bar{x_{2}},\bar{x_{3}})\), one has \(d(p,q)=d_{M_{k}^{2}}(\overline{p},\overline{q})\).
Definition 2.3
If \(k\leq0\), then X is called a \(\operatorname{CAT}(k)\) space if and only if X is a geodesic space such that all of its geodesic triangles satisfy the \(\operatorname{CAT}(k)\) inequality.
If \(k>0\), then X is called a \(\operatorname{CAT}(k)\) space if and only if X is \(D_{k}\)geodesic and any geodesic triangle \(\triangle(x_{1},x_{2},x_{3})\) in X with \(d(x_{1},x_{2})+d(x_{2},x_{3})+d(x_{3},x_{1})< 2D_{k}\) satisfies the \(\operatorname{CAT}(k)\) inequality.
Notice that in a \(\operatorname{CAT}(0)\) space \((X,d)\) if \(x,y,z\in X\), then the \(\operatorname{CAT}(0)\) inequality implies
This is the (CN) inequality of Bruhat and Tits [41]. This inequality is extended by Dhompongsa and Panyanak in [30] as
for all \(\alpha\in[0,1]\) and \(x,y,z\in X\). In fact, if X is a geodesic space, then the following statements are equivalent:

(i)
X is a \(\operatorname{CAT}(0)\) space;

(ii)
X satisfies the (CN) inequality;

(iii)
X satisfies the (CN^{∗}) inequality.
Let \(R\in(0,2]\). Recall that a geodesic space \((X,d)\) is said to be Rconvex for R (see [42]) if for any three points \(x,y,z\in X\), we have
It follows from (CN^{∗}) that a geodesic space \((X,d)\) is a \(\operatorname{CAT}(0)\) space if and only if \((X,d)\) is Rconvex for R=2.
In the sequel we need the following lemma.
Lemma 2.1
([12], p.176)
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Then
for all \(x,y,z\in X\) and \(\alpha\in[0,1]\).
We now recall some elementary facts about \(\operatorname{CAT}(k)\) spaces. Most of them are proved in the framework of \(\operatorname{CAT}(1)\) spaces. For completeness, we state the results in a \(\operatorname{CAT}(k)\) space with \(k>0\).
Let \(\{x_{n}\}\) be a bounded sequence in a \(\operatorname{CAT}(k)\) space \((X,d)\). For \(x\in X\), set
The asymptotic radius \(r(\{x_{n}\})\) of \(\{x_{n}\}\) is given by
and the asymptotic center \(A(\{x_{n}\})\) of \(\{x_{n}\}\) is the set
It is known from Proposition 4.1 of [8] that a \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi}{2\sqrt{k}}\), \(A(\{x_{n}\})\) consists of exactly one point. We now give the concept of Δconvergence and collect some of its basic properties.
Definition 2.4
A sequence \(\{x_{n}\}\) in X is said to Δconverge to \(x\in X\) if x is the unique asymptotic center of \(\{x_{n}\}\) for every subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\). In this case we write \(\Delta\mbox{}\!\lim_{n}x_{n}=x\) and call x the Δlimit of \(\{x_{n}\}\).
Lemma 2.2
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Then the following statements hold:

(i)
([8], Corollary 4.4) Every sequence in X has a Δconvergent subsequence.

(ii)
([8], Proposition 4.5) If \(\{x_{n}\}\subseteq X\) and \(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=x\), then \(x\in \bigcap_{k=1}^{\infty}\overline{\operatorname{conv}}\{x_{k},x_{k+1},\dots\}\),
where \(\overline{\operatorname{conv}}(A)=\bigcap \{B:B\supseteq A\textit{ and } B \textit{ is closed and convex}\}\).
By the uniqueness of asymptotic center, we can obtain the following lemma in [30].
Lemma 2.3
([30], Lemma 2.8)
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). If \(\{x_{n}\}\) is a bounded sequence in X with \(A(\{x_{n}\})=\{x\}\) and \(\{u_{n}\}\) is a subsequence of \(\{x_{n}\}\) with \(A(\{u_{n}\})=\{u\}\) and the sequence \(\{d(x_{n},u)\}\) converges, then \(x=u\).
Lemma 2.4
(see [20])
Let \(\{p_{n}\}_{n=1}^{\infty}\), \(\{q_{n}\}_{n=1}^{\infty}\) and \(\{r_{n}\}_{n=1}^{\infty}\) be sequences of nonnegative numbers satisfying the inequality
If \(\sum_{n=1}^{\infty}q_{n} < \infty\) and \(\sum_{n=1}^{\infty}r_{n} < \infty\), then \(\lim_{n\to\infty}p_{n}\) exists.
Proposition 2.1
([37], Proposition 3.12)
Let \(\{x_{n}\} \) be a bounded sequence in a \(\operatorname{CAT}(0)\) space X, and let C be a closed convex subset of X which contains \(\{x_{n}\}\). Then

(i)
\(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=x\) implies that \(\{x_{n}\}\rightharpoonup x\),

(ii)
the converse is true if \(\{x_{n}\}\) is regular.
Algorithm 1
The sequence \(\{x_{n}\}\) defined by \(x_{1}\in K\) and
where \(\{\alpha_{n}\}_{n=1}^{\infty}\) and \(\{\beta_{n}\}_{n=1}^{\infty}\) are appropriate sequences in \((0,1)\), is called a modified Siterative sequence (see [33]).
If \(T^{n}=T\) for all \(n\geq1\), then Algorithm 1 reduces to the following.
Algorithm 2
The sequence \(\{x_{n}\}\) defined by \(x_{1}\in K\) and
where \(\{\alpha_{n}\}_{n=1}^{\infty}\) and \(\{\beta_{n}\}_{n=1}^{\infty}\) are appropriate sequences in \((0,1)\), is called an Siterative sequence (see [33]).
Algorithm 3
The sequence \(\{x_{n}\}\) defined by \(x_{1}\in K\) and
where \(\{\alpha_{n}\}_{n=1}^{\infty}\) and \(\{\beta_{n}\}_{n=1}^{\infty}\) are appropriate sequences in \([0,1]\), is called an Ishikawa iterative sequence (see [32]).
If \(\beta_{n}=0\) for all \(n\geq1\), then Algorithm 3 reduces to the following.
Algorithm 4
The sequence \(\{x_{n}\}\) defined by \(x_{1}\in K\) and
where \(\{\alpha_{n}\}_{n=1}^{\infty}\) is a sequence in \((0,1)\), is called a Mann iterative sequence (see [31]).
Motivated and inspired by [33] and some others, we modify iteration scheme (2.2) as follows.
Algorithm 5
The sequence \(\{x_{n}\}\) defined by \(x_{1}\in K\) and
where \(\{\alpha_{n}\}_{n=1}^{\infty}\), \(\{\beta_{n}\}_{n=1}^{\infty}\), \(\{\gamma_{n}\}_{n=1}^{\infty}\) are appropriate sequences in \((0,1)\), is called a modified threestep iterative sequence. Iteration scheme (2.6) is independent of modified Noor iteration, modified Ishikawa iteration and modified Mann iteration schemes.
If \(\gamma_{n}=0\) for all \(n\geq1\), then Algorithm 5 reduces to Algorithm 1.
Iteration procedures in fixed point theory are led by considerations in summability theory. For example, if a given sequence converges, then we do not look for the convergence of the sequence of its arithmetic means. Similarly, if the sequence of Picard iterates of any mapping T converges, then we do not look for the convergence of other iteration procedures.
The threestep iterative approximation problems were studied extensively by Noor [43, 44], Glowinski and Le Tallec [45], and Haubruge et al. [46]. The threestep iterations lead to highly parallelized algorithms under certain conditions. They are also a natural generalization of the splitting methods for solving partial differential equations. It has been shown [45] that a threestep iterative scheme gives better numerical results than the twostep and onestep approximate iterations. Thus we conclude that a threestep scheme plays an important and significant role in solving various problems which arise in pure and applied sciences. These facts motivated us to study a class of threestep iterative schemes in the setting of \(\operatorname{CAT}(k)\) spaces with \(k>0\).
In this paper, we study a newly defined modified threestep iteration scheme to approximate a fixed point for nearly asymptotically nonexpansive mappings in the setting of a \(\operatorname{CAT}(k)\) space with \(k>0\) and also establish Δconvergence and strong convergence results for the above mentioned iteration scheme and mappings.
3 Main results
Now, we shall introduce existence theorems.
Theorem 3.1
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed convex subset of X, and let \(T\colon K\to K\) be a continuous nearly asymptotically nonexpansive mapping. Then T has a fixed point.
Proof
Fix \(x\in K\). We can consider the sequence \(\{T^{n}x\}_{n=1}^{\infty}\) as a bounded sequence in K. Let ϕ be a function defined by
Then there exists \(z\in K\) such that \(\phi(z)=\inf\{\Phi(u):u\in K\}\). Since T is a nearly asymptotically nonexpansive mapping, for each \(n,m\in\mathbb{N}\), we have
On taking limit as \(n\to\infty\), we obtain
for any \(m\in\mathbb{N}\). This implies that
In view of inequality (2.1), we obtain
which, on taking limit as \(n\to\infty\), gives
The above inequality yields
By (3.2) and (3.4), we have \(\limsup_{m,h\to\infty}d(T^{m}z,T^{h}z)\leq0\). Therefore, \(\{T^{n}z\}_{n=1}^{\infty}\) is a Cauchy sequence in K and hence converges to some point \(v\in K\). Since T is continuous,
This shows that T has a fixed point in K. This completes the proof. □
From Theorem 3.1 we shall now derive a result for a \(\operatorname{CAT}(0)\) space as follows.
Corollary 3.1
Let \((X,d)\) be a complete \(\operatorname{CAT}(0)\) space and K be a nonempty bounded, closed convex subset of X. If \(T\colon K\to K\) is a continuous nearly asymptotically nonexpansive mapping, then T has a fixed point.
Proof
It is well known that every convex subset of a \(\operatorname{CAT}(0)\) space, equipped with the induced metric, is a \(\operatorname{CAT}(k)\) space (see [12]). Then \((K,d)\) is a \(\operatorname{CAT}(0)\) space and hence it is a \(\operatorname{CAT}(k)\) space for all \(k>0\). Also note that K is Rconvex for \(R=2\). Since K is bounded, we can chose \(\varepsilon\in(0,\pi/2)\) and \(k>0\) so that \(\operatorname{diam}(K)\leq\frac{\pi/2\varepsilon}{\sqrt{k}}\). The conclusion follows from Theorem 3.1. This completes the proof. □
Theorem 3.2
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed convex subset of X, and let \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping. If \(\{x_{n}\}\) is an AFPS for T such that \(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=z\), then \(z\in K\) and \(z=Tz\).
Proof
By Lemma 2.2, we get that \(z\in K\). As in Theorem 3.1, we define
for each \(u\in K\). Since \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\), by induction we can show that
for some \(m\in \mathbb{N}\). This implies that
Taking \(u=T^{m}z\) in (3.5), we have
Hence
In view of inequality (2.1), we have
where \(R=(\pi2\varepsilon)\tan(\varepsilon)\). Since \(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=z\), letting \(n\to\infty\), we get
This yields
By (3.7) and (3.9), we have \(\lim_{m\to\infty}d(z,T^{m}z)=0\). Since T is continuous,
This shows that T has a fixed point in K. This completes the proof. □
From Theorem 3.2 we can derive the following result as follows.
Corollary 3.2
Let \((X,d)\) be a complete \(\operatorname{CAT}(0)\) space, K be a nonempty bounded, closed convex subset of X and \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping. If \(\{x_{n}\}\) is an AFPS for T such that \(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=z\), then \(z\in K\) and \(z=Tz\).
Now, we prove the following lemma using iteration scheme (2.6) needed in the sequel.
Lemma 3.1
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed and convex subset of X, and let \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping with sequence \(\{(a_{n},\eta(T^{n}))\}\) such that \(\sum_{n=1}^{\infty}a_{n}< \infty\) and \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\). Let \(\{x_{n}\}\) be a sequence in K defined by (2.6). Then \(\lim_{n\to\infty}d(x_{n},p)\) exists for each \(p\in F(T)\).
Proof
It follows from Theorem 3.1 that \(F(T)\neq\emptyset\). Let \(p\in F(T)\) and since T is nearly asymptotically nonexpansive, by (2.6) and Lemma 2.1, we have
Again using (2.6), (3.10) and Lemma 2.1, we have
Finally, using (2.6), (3.11) and Lemma 2.1, we get
where \(w_{n}= (\eta(T^{n})^{3}1 )= (\eta(T^{n})^{2}+\eta(T^{n})+1 ) (\eta (T^{n})1 )\) and \(v_{n}= (\eta(T^{n})+\eta(T^{n})^{2}+\eta(T^{n})^{3} )a_{n}\). Since \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\) and \(\sum_{n=1}^{\infty}a_{n}< \infty\), it follows that \(\sum_{n=1}^{\infty}w_{n}< \infty\) and \(\sum_{n=1}^{\infty}v_{n}< \infty\). Hence, by Lemma 2.4, we get that \(\lim_{n\to\infty}d(x_{n},p)\) exists. This completes the proof. □
Lemma 3.2
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed convex subset of X, and let \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping with sequence \(\{(a_{n},\eta(T^{n}))\}\) such that \(\sum_{n=1}^{\infty}a_{n}< \infty\) and \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\). Let \(\{x_{n}\}\) be a sequence in K defined by (2.6). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) and \(\{\gamma_{n}\}\) be sequences in \((0,1)\) such that \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), \(\liminf_{n\to\infty}\beta_{n}(1\beta_{n})>0\) and \(\liminf_{n\to\infty}\gamma_{n}(1\gamma_{n})>0\). Then \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\).
Proof
It follows from Theorem 3.1 that \(F(T)\neq\emptyset\). Let \(p\in F(T)\). From Lemma 3.1, we obtain that \(\lim_{n\to\infty}d(x_{n},p)\) exists for each \(p\in F(T)\). We claim that \(\lim_{n\to\infty}d(Tx_{n},x_{n})=0\).
Since \(\{x_{n}\}\) is bounded, there exists \(R>0\) such that \(\{x_{n}\},\{y_{n}\},\{z_{n}\}\subset B_{R}'(p)\) for all \(n\geq1\) with \(R'< D_{k}/2\). In view of (2.1), we have
for some \(P>0\). This implies that
Again from (2.1) and using (3.14), we have
for some \(L, Q>0\).
This implies that
Finally, from (2.1) and using (3.16), we have
for some \(M, N, \rho>0\).
This implies that
Since \(\sum_{n=1}^{\infty}a_{n}< \infty\), \(\sum_{n=1}^{\infty}(\eta(T^{n})1)< \infty\) and \(d(x_{n},p)< R'\), we have
Hence by the fact that \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), we have
Now, consider (3.15), we have
for some \(\mu>0\).
Equation (3.19) yields
Since \(\sum_{n=1}^{\infty}a_{n}< \infty\), \(\sum_{n=1}^{\infty}(\eta(T^{n})1)< \infty\), \(d(x_{n},p)< R'\) and \(d(y_{n},p)< R'\), we have
Thus by the fact that \(\liminf_{n\to\infty}\beta_{n}(1\beta_{n})>0\), we have
Next, consider (3.13), we have
for some \(\nu>0\).
Equation (3.21) yields
Since \(\sum_{n=1}^{\infty}a_{n}< \infty\), \(\sum_{n=1}^{\infty}(\eta(T^{n})1)< \infty\), \(d(x_{n},p)< R'\) and \(d(z_{n},p)< R'\), we have
Hence by the fact that \(\liminf_{n\to\infty}\gamma_{n}(1\gamma_{n})>0\), we have
Now, we have
Again, note that
By the definitions of \(x_{n+1}\) and \(y_{n}\), we have
By (3.22), (3.24) and the uniform continuity of T, we have
This completes the proof. □
Now, we are in a position to prove the Δconvergence and strong convergence theorems.
Theorem 3.3
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space, with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\), for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed convex subset of X, and let \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping with sequence \(\{(a_{n},\eta(T^{n}))\}\) such that \(\sum_{n=1}^{\infty}a_{n}< \infty\) and \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\). Let \(\{x_{n}\}\) be a sequence in K defined by (2.6). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) and \(\{\gamma_{n}\}\) be sequences in \((0,1)\) such that \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), \(\liminf_{n\to\infty}\beta_{n}(1\beta_{n})>0\) and \(\liminf_{n\to\infty}\gamma_{n}(1\gamma_{n})>0\). Then \(\{x_{n}\}\) Δconverges to a fixed point of T.
Proof
Let \(\omega_{w}(x_{n}):=\bigcup A(\{u_{n}\})\) where the union is taken over all subsequences \(\{u_{n}\}\) of \(\{x_{n}\}\). We can complete the proof by showing that \(\omega_{w}(x_{n})\subseteq F(T)\) and \(\omega_{w}(x_{n})\) consists of exactly one point. Let \(u\in \omega_{w}(x_{n})\), then there exists a subsequence \(\{u_{n}\}\) of \(\{x_{n}\}\) such that \(A(\{u_{n}\})=\{u\}\). By Lemma 2.2, there exists a subsequence \(\{v_{n}\}\) of \(\{u_{n}\}\) such that \(\Delta\mbox{}\!\lim_{n}v_{n}=v\in K\). Hence \(v\in F(T)\) by Lemma 3.1 and Lemma 3.2. Since \(\lim_{n\to\infty}d(x_{n},v)\) exists, so by Lemma 2.3, \(v=u\), i.e., \(\omega_{w}(x_{n})\subseteq F(T)\).
To show that \(\{x_{n}\}\) Δconverges to a fixed point of T, it is sufficient to show that \(\omega_{w}(x_{n})\) consists of exactly one point.
Let \(\{w_{n}\}\) be a subsequence of \(\{x_{n}\}\) with \(A(\{w_{n}\})=\{w\}\) and let \(A(\{x_{n}\})=\{x\}\). Since \(w\in\omega_{w}(x_{n})\subseteq F(T)\) and by Lemma 3.1, \(\lim_{n\to\infty}d(x_{n},w)\) exists. Again by Lemma 3.1, we have \(x=w\in F(T)\). Thus \(\omega_{w}(x_{n})=\{x\}\). This shows that \(\{x_{n}\}\) Δconverges to a fixed point of T. This completes the proof. □
Theorem 3.4
Let \(k>0\) and \((X,d)\) be a complete \(\operatorname{CAT}(k)\) space with \(\operatorname{diam}(X)=\frac{\pi/2\varepsilon}{\sqrt{k}}\) for some \(\varepsilon\in(0,\pi/2)\). Let K be a nonempty closed convex subset of X, and let \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping with sequence \(\{(a_{n},\eta(T^{n}))\}\) such that \(\sum_{n=1}^{\infty}a_{n}< \infty\) and \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\). Let \(\{x_{n}\}\) be a sequence in K defined by (2.6). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) and \(\{\gamma_{n}\}\) be sequences in \((0,1)\) such that \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), \(\liminf_{n\to\infty}\beta_{n}(1\beta_{n})>0\) and \(\liminf_{n\to\infty}\gamma_{n}(1\gamma_{n})>0\). Suppose that \(T^{m}\) is semicompact for some \(m\in\mathbb{N}\). Then the sequence \(\{x_{n}\}\) converges strongly to a fixed point of T.
Proof
By Lemma 3.2, \(\lim_{n\to\infty}d(x_{n},Tx_{n})=0\). Since T is uniformly continuous, we have
as \(n\to\infty\). That is, \(\{x_{n}\}\) is an AFPS for \(T^{m}\). By the semicompactness of \(T^{m}\), there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) and \(p\in K\) such that \(\lim_{j\to\infty}x_{n_{j}}=p\). Again, by the uniform continuity of T, we have
That is, \(p\in F(T)\). By Lemma 3.1, \(d(x_{n},p)\) exists, thus p is the strong limit of the sequence \(\{x_{n}\}\) itself. This shows that the sequence \(\{x_{n}\}\) converges strongly to a fixed point of T. This completes the proof. □
Remark 3.1
Since T is completely continuous, the image of \(T^{m}\), for some \(m\in\mathbb{N}\), is semicompact, \(\{x_{n}\}\) is a bounded sequence and \(d(x_{n},T^{m}x_{n})\to0\) as \(n\to \infty\). Thus \(T^{m}\), for some \(m\in\mathbb{N}\), is semicompact, that is, the continuous image of a semicompact space is semicompact.
Example 3.1
([47])
Let \(X=K=[0,1]\), with the usual metric, and
Then T is not continuous. However, T is semicompact. In fact, if \(\{x_{n}\}\) is a bounded sequence in K such that \(x_{n}Tx_{n}\to0\) as \(n\to\infty\), then by BalzanoWeierstrass theorem, it follows that \(\{x_{n}\}\) has a convergent subsequence.
The following example shows that there is a semicompact mapping that is not compact.
Example 3.2
([47])
Let \(X=\ell_{2}\) and \(K=\{e_{1},e_{2},\ldots,e_{n},\ldots\}\) be the usual orthonormal basis for \(\ell_{2}\). Define
Then T is continuous (in fact, an isometry) but not compact. However, T is semicompact. Indeed, if \(\{e_{i}\}_{i\in\mathbb{N}}\) is a bounded sequence in K such that \(e_{i}Te_{i}\) converges, \(\{e_{i}\}_{i\in\mathbb{N}}\) must be finite.
From Theorem 3.4 we can derive the following result as a corollary.
Corollary 3.3
Let \((X,d)\) be a complete \(\operatorname{CAT}(0)\) space, K be a nonempty bounded, closed convex subset of X and \(T\colon K\to K\) be a uniformly continuous nearly asymptotically nonexpansive mapping with sequence \(\{(a_{n},\eta(T^{n}))\}\) such that \(\sum_{n=1}^{\infty}a_{n}< \infty\) and \(\sum_{n=1}^{\infty} (\eta(T^{n})1 )< \infty\). Let \(\{x_{n}\}\) be a sequence in K defined by (2.6). Let \(\{\alpha_{n}\}\), \(\{\beta_{n}\}\) and \(\{\gamma_{n}\}\) be sequences in \((0,1)\) such that \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), \(\liminf_{n\to\infty}\beta_{n}(1\beta_{n})>0\) and \(\liminf_{n\to\infty}\gamma_{n}(1\gamma_{n})>0\). Suppose that \(T^{m}\) is semicompact for some \(m\in\mathbb{N}\). Then the sequence \(\{x_{n}\}\) converges strongly to a fixed point of T.
Example 3.3
([40])
Let \(E=\mathbb{R}\), \(C=[0,1]\) and T be a mapping defined by
Here \(F(T)=\{\frac{1}{2}\}\). Clearly, T is a discontinuous and nonLipschitzian mapping. However, it is a nearly nonexpansive mapping and hence a nearly asymptotically nonexpansive mapping with sequence \(\{a_{n},\eta(T^{n})\}=\{\frac{1}{2^{n}},1\}\). Indeed, for a sequence \(\{a_{n}\}\) with \(a_{1}=\frac{1}{2}\) and \(a_{n}\to0\), we have
and
since
Example 3.4
Let \(X=K=[0,1]\) with the usual metric d, \(\{x_{n}\}=\{\frac{1}{n}\}\), \(\{u_{n_{k}}\}=\{\frac{1}{kn}\}\), for all \(n, k\in\mathbb{N}\) are sequences in K. Then \(A(\{x_{n}\})=\{0\}\) and \(A(\{u_{n_{k}}\})=\{0\}\). This shows that \(\{x_{n}\}\) Δconverges to 0, that is, \(\Delta\mbox{}\!\lim_{n\to\infty}x_{n}=0\). The sequence \(\{x_{n}\}\) also converges strongly to 0, that is, \(x_{n}0\to0\) as \(n\to\infty\). Also it is weakly convergent to 0, that is, \(x_{n}\rightharpoonup0\) as \(n\to\infty\), by Proposition 2.1. Thus, we conclude that
but the converse is not true in general.
The following example shows that, if the sequence \(\{x_{n}\}\) is weakly convergent, then it is not Δconvergent.
Example 3.5
([37])
Let \(X=\mathbb{R}\), d be the usual metric on X, \(K=[1,1]\), \(\{x_{n}\}=\{1,1,1,1, \ldots\}\), \(\{u_{n}\}=\{1,1,1,\dots\}\) and \(\{v_{n}\}=\{1,1,1,\dots\}\). Then \(A(\{x_{n}\})=A_{K}(\{x_{n}\})=\{0\}\), \(A(\{u_{n}\})=\{1\}\) and \(A(\{v_{n}\})=\{1\}\). This shows that \(\{x_{n}\}\rightharpoonup0\) but it does not have a Δlimit.
4 Conclusions

1.
We proved strong and Δ convergence theorems of a modified threestep iteration process which contains a modified Siteration process in the framework of \(\operatorname{CAT}(k)\) spaces.

2.
Theorem 3.1 extends Theorem 3.3 of Dhompongsa and Panyanak [30] to the case of a more general class of nonexpansive mappings which are not necessarily Lipschitzian, a modified threestep iteration scheme and from a \(\operatorname{CAT}(0)\) space to a \(\operatorname{CAT}(k)\) space considered in this paper.

3.
Theorem 3.1 also extends Theorem 3.5 of Niwongsa and Panyanak [48] to the case of a more general class of asymptotically nonexpansive mappings which are not necessarily Lipschitzian, a modified threestep iteration scheme and from a \(\operatorname{CAT}(0)\) space to a \(\operatorname{CAT}(k)\) space considered in this paper.

4.
Our results extend the corresponding results of Xu and Noor [22] to the case of a more general class of asymptotically nonexpansive mappings, a modified threestep iteration scheme and from a Banach space to a \(\operatorname{CAT}(k)\) space considered in this paper.

5.
Our results also extend and generalize the corresponding results of [35, 38, 49–52] for a more general class of nonLipschitzian mappings, a modified threestep iteration scheme and from a uniformly convex metric space, a \(\operatorname{CAT}(0)\) space to a \(\operatorname{CAT}(k)\) space considered in this paper.
References
Gromov, M: Hyperbolic groups. In: Gersten, SM (ed.) Essays in Group Theory, vol. 8, pp. 75263. Springer, Berlin (1987)
Kirk, WA: Geodesic geometry and fixed point theory. In: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003). Coleccion Abierta, vol. 64, pp. 195225. University of Seville Secretary of Publications, Seville (2003)
Kirk, WA: Geodesic geometry and fixed point theory. II. In: International Conference on Fixed Point Theory and Applications, pp. 113142. Yokohama Publishers, Yokohama (2004)
Abkar, A, Eslamian, M: Common fixed point results in \(\operatorname{CAT}(0)\) spaces. Nonlinear Anal. TMA 74(5), 18351840 (2011)
Chang, SS, Wang, L, Joesph Lee, HW, Chan, CK, Yang, L: Demiclosed principle and Δconvergence theorems for total asymptotically nonexpansive mappings in \(\operatorname{CAT}(0)\) spaces. Appl. Math. Comput. 219(5), 26112617 (2012)
Chaoha, P, Phonon, A: A note on fixed point sets in \(\operatorname{CAT}(0)\) spaces. J. Math. Anal. Appl. 320(2), 983987 (2006)
Dhompongsa, S, Kaewkho, A, Panyanak, B: Lim’s theorems for multivalued mappings in \(\operatorname{CAT}(0)\) spaces. J. Math. Anal. Appl. 312(2), 478487 (2005)
Espinola, R, FernandezLeon, A: \(\operatorname{CAT}(k)\)Spaces, weak convergence and fixed point. J. Math. Anal. Appl. 353(1), 410427 (2009)
Laowang, W, Panyanak, B: Strong and △ convergence theorems for multivalued mappings in CAT(0) spaces. J. Inequal. Appl. 2009, Article ID 730132 (2009)
Leustean, L: A quadratic rate of asymptotic regularity for \(\operatorname{CAT}(0)\)spaces. J. Math. Anal. Appl. 325(1), 386399 (2007)
Saluja, GS: Fixed point theorems in CAT(0) spaces using a generalized Ztype condition. J. Adv. Math. Stud. 7(1), 8996 (2014)
Bridson, MR, Haefliger, A: Metric Spaces of Nonpositive Curvature. Grundlehren der Mathematischen Wissenschaften, vol. 319. Springer, Berlin (1999)
Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171174 (1972)
Liu, QH: Iterative sequences for asymptotically quasinonexpansive mappings. J. Math. Anal. Appl. 259, 17 (2001)
Liu, QH: Iterative sequences for asymptotically quasinonexpansive mappings with error member. J. Math. Anal. Appl. 259, 1824 (2001)
Saluja, GS: Strong convergence theorem for two asymptotically quasinonexpansive mappings with errors in Banach space. Tamkang J. Math. 38(1), 8592 (2007)
Saluja, GS: Convergence result of \((L,\alpha)\)uniformly Lipschitz asymptotically quasinonexpansive mappings in uniformly convex Banach spaces. Jñānābha 38, 4148 (2008)
Schu, J: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings. Bull. Aust. Math. Soc. 43(1), 153159 (1991)
Shahzad, N, Udomene, A: Approximating common fixed points of two asymptotically quasinonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2006, Article ID 18909 (2006)
Tan, KK, Xu, HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J. Math. Anal. Appl. 178, 301308 (1993)
Tan, KK, Xu, HK: Fixed point iteration processes for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 122, 733739 (1994)
Xu, BL, Noor, MA: Fixed point iterations for asymptotically nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 267(2), 444453 (2002)
Ceng, LC, Sahu, DR, Yao, JC: Implicit iterative algorithm for asymptotically nonexpansive mappings in the intermediate sense and Lipschitzcontinuous monotone mappings. J. Comput. Appl. Math. 233(11), 29022915 (2010)
Ceng, LC, Yao, JC: Strong convergence theorems for variational inequalities and fixed point problem of asymptotically strict pseudocontractive mappings in the intermediate sense. Acta Appl. Math. 115, 167191 (2011)
He, JS, Fang, DH, Li, C, López, G: Mann’s algorithm for nonexpansive mappings in \(\operatorname{CAT}(k)\) spaces. Nonlinear Anal. 75, 445452 (2012)
Li, C, López, G, MartinMáquez, V: Iterative algorithms for nonexpansive mappings on Hadamard manifolds. Taiwan. J. Math. 14(2), 541559 (2010)
Naraghirad, E, Wong, NC, Yao, JC: Strong convergence theorems by a hybrid extragradientlike approximation method for asymptotically nonexpansive mappings in the intermediate sense in Hilbert spaces. J. Inequal. Appl. 2011, Article ID 119 (2011)
Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179182 (1976)
Kirk, WA, Panyanak, B: A concept of convergence in geodesic spaces. Nonlinear Anal. 68, 36893696 (2008)
Dhompongsa, S, Panyanak, B: On △convergence theorem in \(\operatorname{CAT}(0)\) spaces. Comput. Math. Appl. 56(10), 25722579 (2008)
Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506510 (1953)
Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147150 (1974)
Agarwal, RP, O’Regan, D, Sahu, DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings. J. Nonlinear Convex Anal. 8(1), 6179 (2007)
Abbas, M, Kadelburg, Z, Sahu, DR: Fixed point theorems for Lipschitzian type mappings in \(\operatorname{CAT}(0)\) spaces. Math. Comput. Model. 55, 14181427 (2012)
Khan, SH, Abbas, M: Strong and △convergence of some iterative schemes in \(\operatorname{CAT}(0)\) spaces. Comput. Math. Appl. 61(1), 109116 (2011)
Kumam, P, Saluja, GS, Nashine, HK: Convergence of modified Siteration process for two asymptotically nonexpansive mappings in the intermediate sense in CAT(0) spaces. J. Inequal. Appl. 2014, Article ID 368 (2014)
Nanjaras, B, Panyanak, B: Demiclosed principle for asymptotically nonexpansive mappings in CAT(0) spaces. Fixed Point Theory Appl. 2010, Article ID 268780 (2010)
Şahin, A, Başarir, M: On the strong convergence of a modified Siteration process for asymptotically quasinonexpansive mappings in a CAT(0) space. Fixed Point Theory Appl. 2013, Article ID 12 (2013)
Saluja, GS: Modified Siteration process for two asymptotically quasinonexpansive mappings in a CAT(0) space. J. Adv. Math. Stud. 7(2), 151159 (2014)
Sahu, DR: Fixed points of demicontinuous nearly Lipschitzian mappings in Banach spaces. Comment. Math. Univ. Carol. 46(4), 653666 (2005)
Bruhat, F, Tits, J: Groupes réductifs sur un corps local. Publ. Math. IHES 41, 5251 (1972)
Ohta, S: Convexities of metric spaces. Geom. Dedic. 125, 225250 (2007)
Noor, MA: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 251(1), 217229 (2000)
Noor, MA: Threestep iterative algorithms for multivalued quasi variational inclusions. J. Math. Anal. Appl. 255, 589604 (2001)
Glowinski, R, Le Tallec, P: Augmented Lagrangian and operatorsplitting methods. In: Nonlinear Mechanics. SIAM, Philadelphia (1989)
Haubruge, S, Nguyen, VH, Strodiot, JJ: Convergence analysis and applications of the Glowinski Le Tallec splitting method for finding a zero of the sum of two maximal monotone operators. J. Optim. Theory Appl. 97, 645673 (1998)
Agarwal, RP, O’Regan, D, Sahu, DR: Fixed Point Theory for LipschitzianType Mappings with Applications. Springer, Berlin (2009). doi:10.1007/9780387758183
Niwongsa, Y, Panyanak, B: Noor iterations for asymptotically nonexpansive mappings in CAT(0) spaces. Int. J. Math. Anal. 4(13), 645656 (2010)
Beg, I: An iteration scheme for asymptotically nonexpansive mappings on uniformly convex metric spaces. Nonlinear Anal. Forum 6, 2734 (2001)
Osilike, MO, Aniagbosor, SC: Weak and strong convergence theorems for fixed points of asymptotically nonexpansive mappings. Math. Comput. Model. 32, 11811191 (2000)
Şahin, A, Başarir, M: On the strong convergence of SPiteration on \(\operatorname{CAT}(0)\) space. J. Inequal. Appl. 2013, Article ID 311 (2013)
Saluja, GS: Strong and Δconvergence of new threestep iteration process in CAT(0) spaces. Nonlinear Anal. Forum 20, 4352 (2015)
Acknowledgements
The authors would like to thank the anonymous referees for their valuable suggestions and comments that helped to improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors 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
Saluja, G.S., Postolache, M. & Kurdi, A. Convergence of threestep iterations for nearly asymptotically nonexpansive mappings in \(\operatorname{CAT}(k)\) spaces. J Inequal Appl 2015, 156 (2015). https://doi.org/10.1186/s136600150670z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136600150670z
MSC
 54H25
 54E40
Keywords
 nearly asymptotically nonexpansive mapping
 threestep iteration scheme
 fixed point
 strong convergence
 Δconvergence
 \(\operatorname{CAT}(k)\) space