 Research
 Open Access
 Published:
Strong convergence theorems for multivalued mappings in a geodesic space with curvature bounded above
Fixed Point Theory and Applications volume 2015, Article number: 235 (2015)
Abstract
We prove two strong convergence results of the Ishikawa iteration for a multivalued quasinonexpansive mapping in a complete geodesic space with curvature bounded above. Our results improve significantly the recent results of Panyanak (Fixed Point Theory Appl. 2014:1, 2014) in the sense that many restrictions in his results are weakened. In particular, we can conclude that the convergence result of the Mann iteration which cannot be deduced from Panyanak’s results.
Introduction
For a metric space X, a point \(p\in X\) is said to be a fixed point of a multivalued mapping \(T:X\to2^{X}\) if \(p \in Tp\). The set of all fixed points of T is denoted by \(\operatorname{F}(T)\). The purpose of this paper is to discuss an iterative scheme to approximate a fixed point of a multivalued mapping.
For a geodesic space X, there have been many algorithms for approximating fixed points of the multivalued mapping T. We are interested in an iterative sequence \(\{x_{n}\}\) generated by the Ishikawa algorithm [2], that is,
for all \(n\in\mathbb{N}\). If \(\beta_{n} \equiv0\), then such a sequence \(\{x_{n}\}\) is said to be generated by the Mann algorithm [3].
In 2009, Shahzad and Zegeye [4] proved the following result.
Theorem 1.1
([4], Theorems 2.3 and 2.5)
Let K be a closed convex subset of a uniformly convex Banach space, \(T:K\to\operatorname{CB}(K)\) be a quasinonexpansive multivalued mapping with the endpoint condition, and let \(\{x_{n}\}\) be defined by (1.1). Assume that one of the following holds:
 (A′):

T satisfies condition (I) with respect to K, and \(\{\alpha_{n}\}, \{\beta_{n}\}\subset[a,b]\subset(0,1)\);
 (A^{∗}):

T is hemicompact and continuous, and \(\{\alpha_{n}\}, \{\beta_{n}\}\subset[0,1)\), \(\lim_{n\to\infty}\beta_{n}= 0\), and \(\sum_{n=1}^{\infty}\alpha_{n}\beta_{n}=\infty\).
Then \(\{x_{n}\}\) converges to a fixed point of T.
Recall that the mapping T satisfies the endpoint condition if \(\mathrm{F}(T)\neq\varnothing\) and \(Tp=\{p\}\) for all \(p\in\mathrm{F}(T)\).
Recently, Panyanak [1] presented the analog result of Shahzad and Zegeye in the framework of a \(\operatorname{CAT}(1)\) space whose diameter is less than \(\pi/2\) and whose metric is convex. (See the relevant definitions in Section 2.) We quote all his main results as follows.
Theorem 1.2
([1], Theorems 3.2 and 3.3)
Let X be a complete \(\operatorname{CAT}(1)\) space, \(T:X\to\operatorname{CB}(X)\) be a quasinonexpansive mapping with the endpoint condition, and let \(\{x_{n}\}\) be the Ishikawa algorithm. Assume that one of the following holds:
 (A′):

T satisfies condition (I) with respect to X, and \(\{ \alpha_{n}\}, \{\beta_{n}\}\subset[a,b]\subset(0,1)\);
 (A^{∗}):

T is hemicompact and continuous, and \(\{\alpha_{n}\}, \{\beta_{n}\}\subset[0,1)\), \(\lim_{n\to\infty}\beta_{n}= 0\), and \(\sum_{n=1}^{\infty}\alpha_{n}\beta_{n}=\infty\).
If the metric is convex and \(\operatorname{diam}(X)<\pi/2\), then \(\{x_{n}\}\) converges to a fixed point of T.
In this paper, we improve both Theorems 3.2 and 3.3 of Panyanak (see Theorem 1.2 above) in the following aspects. (1) We do not assume that the metric is convex. (2) The restrictions on the mapping T and the parameters \(\{\alpha_{n}\} \), \(\{\beta_{n}\}\) are relaxed. (3) The condition \(\operatorname{diam}(X)<\pi/2\) is replaced by a more general one and this condition is sharp. Note that the Mann algorithm is nothing but the Ishikawa algorithm (1.1) with \(\beta_{n}\equiv0\). We also show that our result can conclude the convergence for the Mann algorithm while this is not the case in Theorem 1.2.
Preliminaries
For a real number κ, we denote by \(M_{\kappa}\) the following: (i) \(M_{\kappa}\) is the spherical space \((1/\sqrt{\kappa})\mathbb{S}^{2}\) if \(\kappa>0\); (ii) \(M_{\kappa}\) is the Euclidean space \(\mathbb{R}^{2}\) if \(\kappa=0\); (iii) \(M_{\kappa}\) is the hyperbolic space \((1/\sqrt{\kappa})\mathbb {H}^{2}\) if \(\kappa<0\). In particular, \(D_{\kappa}:=\operatorname{diam}(M_{\kappa})=\infty\) if \(\kappa\leq 0\) and \(D_{\kappa}=\pi/\sqrt{\kappa}\) if \(\kappa>0\).
A metric space X is a geodesic space if for every \(u,v\in X\), there exists a geodesic part from u to v, that is, \(g:[0,l]\to X\) is an isometry such that \(g(0)=u\) and \(g(l)=v\). A geodesic triangle \(\triangle(u,v,w)\) consists of three points \(u,v,w\in X\) and all the images of each geodesic part joining two of them. We say that a geodesic triangle \(\triangle(u,v,w)\), where \(u,v,w\in X\) and \(d(u,v)+d(v,w)+d(w,u)<2D_{\kappa}\), satisfies the \(\operatorname {CAT}(\kappa)\) inequality if there exist three corresponding points \(\overline{u}, \overline{v}, \overline{w}\in M_{\kappa}\) such that

\(d(u,v)=d_{M_{\kappa}}(\overline{u}, \overline{v})\), \(d(v,w)=d_{M_{\kappa}}(\overline{v}, \overline{w})\), and \(d(u,w)=d_{M_{\kappa}}(\overline{u}, \overline{w})\);

\(d(p,q)\leq d_{M_{\kappa}}(\overline{p}, \overline{q})\) for all \(p,q\in\triangle(u,v,w)\) and \(\overline{p}, \overline{q}\in\triangle(\overline{u}, \overline{v}, \overline{w})\).
A geodesic space X is a \(\operatorname{CAT}(\kappa)\) space if every geodesic triangle in X with perimeter less than \(2D_{\kappa}\) satisfies the \(\operatorname{CAT}(\kappa)\) inequality. If X is a \(\operatorname{CAT}(\kappa)\) space, then it is \(D_{\kappa}\)uniquely geodesic, that is, there exists a unique geodesic part from u to v for all \(u,v\in X\) with \(d(u,v)< D_{\kappa}\). In this case, for \(\alpha\in[0,1]\) and \(u,v\in X\) with \(d(u,v)< D_{\kappa}\), we denote by \(w=\alpha u\oplus(1\alpha)v\) the point on the image of the geodesic part from u to v such that \(d(u,w)=(1\alpha)d(u,v)\) and \(d(v,w)=\alpha d(u,v)\). Moreover, if \(\operatorname{CAT}(\kappa)\) space with \(\operatorname{diam}(X)< D_{\kappa}/2\), then the metric d is convex (see [5]), that is,
for all \(u,v,p\in X\) and \(\alpha\in[0,1]\). But the converse is not true in general. In the recent work of Panyanak [1], it was assumed that X is a \(\operatorname{CAT}(1)\) space whose metric is convex and \(\operatorname{diam}(X)<\pi/2\). The convexity of its metric is actually a consequence of the condition \(\operatorname{diam}(X)<\pi/2\).
The following lemma, proved by Kimura and Satô [6], gives a very important property of \(\operatorname{CAT}(1)\) spaces.
Lemma 2.1
Let \(\alpha\in[0,1]\) and \(\triangle(u,v,w)\) be a geodesic triangle in a \(\operatorname{CAT}(1)\) space such that \(d(u,v)+d(v,w)+d(w,u)<2\pi\). Then
In particular, \(\cos d(\alpha u\oplus(1\alpha)v,w)\geq\alpha\cos d(u,w) +(1\alpha )\cos d(v,w)\).
For a metric space X, we denote by \(\operatorname{CB}(X)\) the family of all nonempty closed bounded subsets of X. For \(u\in X\) and \(\varnothing\neq A\subset X\), we write \(d(u,A):=\inf\{ d(u,a) : a\in A\}\). We denote by H the Hausdorff distance on \(\operatorname{CB}(X)\); that is, for each \(A,B\in \operatorname{CB}(X)\),
Recall that a multivalued mapping \(T:C\to2^{X}\), where \(\varnothing\neq C\subset X\), is said to:

be quasinonexpansive if \(\mathrm{F}(T)\neq\varnothing\) and \(H(Tu,\{p\})\leq d(u,p)\) for all \(u\in C\) and \(p\in\mathrm{F}(T)\);

be closed at zero if each strongly convergent sequence \(\{ u_{n}\}\) in C satisfying \(d(u_{n},Tu_{n})\to0\) has its limit in \(\mathrm{F}(T)\);

be hemicompact if each bounded sequence \(\{u_{n}\}\) in C satisfying \(d(u_{n},Tu_{n})\to0\) has a strongly convergent subsequence;

satisfy condition (I) with respect to C [7] if \(\mathrm{F}(T)\neq\varnothing\) and there exists a nondecreasing function \(f:[0,\infty)\to[0,\infty)\) such that f vanishes only at zero and \(f(d(u,\mathrm{F}(T)))\leq d(u,Tu)\) for all \(u\in C\).
Remark 2.2
(1) \(\mathrm{F}(T)\) is a closed set if T is quasinonexpansive. (2) Every continuous mapping is closed at zero.
The following lemma is taken from the result of Senter and Dotson [7]. However, it is established for a multivalued mapping in a metric space, while the original result is for a singlevalued mapping in a Banach space.
Lemma 2.3
Let K be a bounded closed subset of a metric space X, and let \(T:K\to2^{X}\setminus\{\varnothing\}\) be a multivalued mapping with a fixed point. If T is hemicompact and closed at zero, then it satisfies condition (I) with respect to K.
Proof
Letting \(a:=\sup\{d(u,\mathrm{F}(T)): u\in K\}\). The result is obvious if \(a=0\). Suppose that \(a>0\). Putting \(K_{\alpha}:=\{u\in X: d(u,\mathrm{F}(T))\geq \alpha\}\) for all \(\alpha\in(0,a)\). Notice that \(K_{\alpha}\) is nonempty, bounded, and closed. Next, we define \(f:[0,\infty)\to[0,\infty)\) by
It is easy to see that f is a nondecreasing function and \(f(d(u,\mathrm{F}(T)))\leq d(u,Tu)\) for all \(u\in C\). Finally, we prove that \(f(\alpha)>0\) for all \(\alpha\in(0,a)\). Assume that \(f(\gamma)=0\) for some \(\gamma\in(0,a)\). Thus there exists a bounded sequence \(\{v_{n}\}\) in \(K_{\gamma}\) such that \(d(v_{n},Tv_{n})\to0\). Since T is hemicompact and closed at zero, there exists a subsequence \(\{v_{n_{k}}\}\) of \(\{v_{n}\}\) such that \(v_{n_{k}}\to v\in\mathrm{F}(T)\). By the closedness of \(K_{t}\) and \(v_{n_{k}}\to v\), we get \(v\in K_{\gamma}\). Hence \(0=d(u,\mathrm{F}(T))\geq\gamma\) is a contradiction and the proof is finished. □
Main results
We first introduce the concept of Fejér monotonicity in a metric space. Let F be a nonempty subset of a metric space X and let \(\gamma>0\). A sequence \(\{u_{n}\}\) in X is called \((\gamma, F)\) Fejér monotone if whenever \(d(u_{k},p)<\gamma\) for some \(k\in\mathbb{N}\) and \(p\in F\) it follows that
Obviously, every subsequence of a \((\gamma, F)\)Fejér monotone sequence is also \((\gamma, F)\)Fejér monotone.
Lemma 3.1
Let F be a nonempty closed subset of a complete metric space X and let \(\gamma>0\). Suppose that \(\{u_{n}\}\subset X\) is \((\gamma, F)\)Fejér monotone. Then \(\{u_{n}\}\) converges to an element of F if and only if \(\liminf_{n\to\infty}d(u_{n},F)=0\).
Proof
The necessity is obvious. We now prove the sufficiency. Assume that
Let \(0<\varepsilon<\gamma\). Then there exist a subsequence \(\{v_{n}\}\) of \(\{u_{n}\}\) and a sequence \(\{ p_{n}\}\) in F such that \(d(v_{n},p_{n})<\varepsilon/2^{n+1}<\gamma\) for all \(n\in\mathbb{N}\). Since \(\{v_{n}\}\) is \((\gamma, F)\)Fejér monotone, \(d(v_{n+l},p_{n})\leq d(v_{n},p_{n})\) for all \(n,l\in\mathbb{N}\). Consequently,
for all \(n,l\in\mathbb{N}\). Hence, \(\{v_{n}\}\) is a Cauchy sequence in X. By the completeness of X, we get \(v_{n}\to p\) for some element \(p\in X\). Since \(d(v_{n},p_{n})\to0\) and F is closed, we have \(p_{n}\to p\in F\). We finally show that the whole sequence \(\{u_{n}\}\) converges to p. Since \(v_{n}\to p\) and \(\{v_{n}\}\) is the subsequence of \(\{u_{n}\}\), there exists \(k\in\mathbb{N}\) such that \(d(u_{k},p)<\gamma\). Since \(\{u_{n}\}\) is \((\gamma, F)\)Fejér monotone, we get \(d(u_{n+1},p)\leq d(u_{n},p)\) for all \(n\geq k\), and hence \(\lim_{n\to\infty}d(u_{n},p)\) exists. In particular, \(\lim_{n\to\infty}d(u_{n},p)\leq\lim_{n\to\infty }d(v_{n},p)\). This implies that \(\lim_{n\to\infty}d(u_{n},p)=0\). □
Lemma 3.2
Let K be a subset of a metric space X and let \(\{u_{n}\}\) be a bounded sequence in K. Let \(T:K\to2^{X}\setminus\{\varnothing\}\) be a multivalued mapping with a fixed point. If T satisfies condition (I) with respect to \(\{u_{n}\}\) and \(\lim_{n\to \infty}d(u_{n},Tu_{n})=0\), then \(\lim_{n\to\infty}d(u_{n},\mathrm{F}(T))=0\).
Proof
Let f be the nondecreasing function in the condition (I) of T with respect to \(\{u_{n}\}\). Then \(f(d(u_{n},\mathrm{F}(T)))\leq d(u_{n},Tu_{n})\) for all \(n\in\mathbb{N}\). This implies that
Since f vanishes only at zero, the conclusion follows. □
Lemma 3.3
Let \(\{u_{n}\}\), \(\{v_{n}\}\) be two sequences in a \(\operatorname{CAT}(1)\) space X and \(p\in X\). Suppose that \(\{\alpha_{n}\}\) is a real sequence in \([0,1]\), \(\lambda\in[0,\pi/2)\), and \(d(u_{n},v_{n})<\pi\) for all \(n\in \mathbb{N}\). Suppose that the following conditions hold:

(i)
\(\lim_{n\to\infty} d(\alpha_{n} u_{n}\oplus(1\alpha_{n})v_{n},p)= \lambda\).

(ii)
\(\limsup_{n\to\infty} d(u_{n},p)\leq\lambda\);

(iii)
\(\limsup_{n\to\infty} d(v_{n},p)\leq\lambda\).
If \(\liminf_{n\to\infty}\alpha_{n}(1\alpha_{n})>0\), then \(\lim_{n\to\infty }d(u_{n},v_{n})=0\).
Proof
Let \(\{n_{k}\}\) be an increasing sequence of positive integers such that the following limits exist: \(\lim_{k\to\infty}d(u_{n_{k}},v_{n_{k}})=a\), \(\lim_{k\to\infty}d(u_{n_{k}}, p)=b\), \(\lim_{k\to\infty}d(v_{n_{k}},p)=c\), and \(\lim_{k\to\infty}\alpha _{n_{k}}=\alpha\in(0,1)\). We show that \(a=0\). Note that \(b\le\lambda<\pi/2\) and \(c\le\lambda<\pi /2\). We may assume that \(d(u_{n_{k}},p)<\pi/2\) and \(d(v_{n_{k}},p)<\pi/2\) for all \(k\in\mathbb{N}\). In particular, \(d(u_{n_{k}},p)+d(p,v_{n_{k}})+d(v_{n_{k}},u_{n_{k}})<2\pi\) for all \(k\in\mathbb{N}\). Using Lemma 2.1 gives
Consequently,
It follows that \(\sin a\geq\sin(\alpha a)+\sin((1\alpha)a)\) and hence \(a=0\).
By the double extract subsequence principle, we have \(\lim_{n\to\infty }d(u_{n},v_{n})=0\). □
Lemma 3.4
Let u, v, q be three elements of a \(\operatorname{CAT}(1)\) space X such that
If \(w=\alpha v \oplus(1\alpha)u\) for some \(\alpha\in[0,1]\), then \(d(w,q)\leq\max\{d(u,q), d(v,q)\}\).
Proof
Note that the element w is well defined. By Lemma 2.1, we have
Since \(\alpha\cos d(v,q)+ (1\alpha)\cos d(u,q)\geq\min\{\cos d(v,q), \cos d(u,q)\}\), we get
This implies that
Using elementary trigonometry gives \(d(w,q)\leq\max\{d(u,q), d(v,q)\}\). □
Lemma 3.5
Let X be a \(\operatorname{CAT}(1)\) space, \(T:X\to\operatorname{CB}(X)\) be a quasinonexpansive mapping with the endpoint condition, and let \(\{x_{n}\}\) be defined by (1.1) and be such that \(d(x_{1},p)<\pi/2\) for some \(p\in\mathrm{F}(T)\). Then
In particular, \(\{x_{n}\}\) is \((\pi/2, \mathrm{F}(T))\)Fejér monotone.
Proof
Let \(p\in\mathrm{F}(T)\) be such that \(d(x_{1},p)<\pi/2\). Since \(z_{1}\in Tx_{1}\) and T is quasinonexpansive, we get \(d(z_{1},p)\leq H(Tx_{1},\{p\})\leq d(x_{1},p)<\pi/2\). By Lemma 3.4, we see that \(y_{1}\) is well defined and \(d(y_{1},p)\leq d(x_{1},p)\). Thus \(d(z^{\prime}_{1},p)\leq H(Ty_{1},\{p\})\leq d(y_{1},p)<\pi/2\). Again, by Lemma 3.4, we see that \(x_{2}\) is well defined and \(d(x_{2},p)\leq d(x_{1},p)\). Hence, the result follows from mathematical induction. □
Lemma 3.6
Let X, T, and \(\{x_{n}\}\) be the same as Lemma 3.5.

(i)
If \(\sum_{n=1}^{\infty}\alpha_{n}\beta_{n}(1\beta_{n})=\infty\), then \(\liminf_{n\to\infty}d(x_{n},v_{n})=0\).

(ii)
If \(\sum_{n=1}^{\infty}\alpha_{n}(1\alpha_{n})=\infty\), then \(\liminf_{n\to\infty}d(x_{n},u_{n})=0\).
Proof
We first show the assertion (i). Suppose that \(\liminf_{n\to\infty} d(x_{n}, v_{n})>0\). So, we may assume that
By Lemma 2.1, we get
Since \(u_{n}\in Ty_{n}\) and T is quasinonexpansive, \(d(u_{n},p)\leq H(Ty_{n}, \{p\})\leq d(y_{n},p)\). This implies that
It follows from Lemma 2.1 that
In particular,
Consequently,
Since \(0<\delta\leq d(x_{n}, v_{n})< \pi\), we have
Since \(d(x_{n},p)\leq d(x_{1},p)\), we have
By Lemma 3.5, we get \(\sum_{n=1}^{\infty}(\cos d(x_{n+1},p)\cos d(x_{n},p))<\infty\). Notice that \(\sin(\delta/2)\), \(\cos(\delta/2)\), \(\cos d(x_{1},p)\) are positive. Consequently, \(\sum_{n=1}^{\infty}\alpha_{n}\beta_{n}(1\beta_{n})<\infty\), which is a contradiction.
We next show the assertion (ii). Suppose that \(\liminf_{n\to\infty} d(x_{n}, u_{n})>0\). Thus, we may assume that
It follows from Lemma 2.1 and \(d(u_{n},p)\leq d(y_{n},p)\leq d(x_{n},p)\) that
Hence
Since \(0<\delta\leq d(x_{n}, u_{n})<\pi\), we get
This implies that
Consequently, \(\sum_{n=1}^{\infty}\alpha_{n}(1\alpha_{n})<\infty\), which is a contradiction. □
Now, we obtain the following convergence theorem, which improves the results of Panyanak [1].
Theorem 3.7
Let X be a complete \(\operatorname{CAT}(1)\) space, \(T:X\to\mathrm{CB}(X)\) be a quasinonexpansive mapping with the endpoint condition, and let \(\{x_{n}\}\) be the Ishikawa algorithm. Assume that

(A)
T satisfies condition (I) with respect to each bounded subset of X, and \(\sum _{n=1}^{\infty}\alpha_{n}\beta_{n}(1\beta_{n})=\infty\);

(B)
\(d(x_{1},\mathrm{F}(T))<\pi/2\).
Then \(\{x_{n}\}\) converges to an element of \(\mathrm{F}(T)\).
Proof
By Lemma 3.5, we see that \(\{x_{n}\}\) is bounded. Then T satisfies condition (I) with respect to \(\{x_{n}\}\). Using Lemma 3.6 gives \(\liminf_{n\to\infty}d(x_{n},v_{n})=0\). In particular,
Notice that \(\mathrm{F}(T)\) is closed. It follows from Lemma 3.2 that \(\liminf_{n\to\infty }d(x_{n},\mathrm{F}(T))=0\). Then the result follows from Lemma 3.1. □
Remark 3.8
Our Theorem 3.7 improves both Theorems 3.2 and 3.3 of [1] (see Theorem 1.2) in the following aspects.

(1)
We do not assume convexity of the metric.

(2)
The restrictions on the mapping T and the parameters \(\{ \alpha_{n}\}\), \(\{\beta_{n}\}\) are relaxed. In fact, it is easy to see that either the condition (A′) or (A^{∗}) implies the condition (A).

(3)
The condition \(\operatorname{diam}(X)<\pi/2\) is weakened. It is clear that the condition \(\operatorname{diam}(X)<\pi/2\) implies the condition (B).
Remark 3.9
Our condition (B) is sharp in the sense that the condition \(d(x_{1},\mathrm{F}(T))<\pi/2\) cannot be improved to \(d(x_{1},\mathrm{F}(T))\leq\pi/2\).
There exist a quasinonexpansive singlevalued mapping T and an iterative sequence \(\{x_{n}\}\) generated (1.1) such that

\(d(x_{1},\mathrm{F}(T))=\pi/2\);

T satisfies condition (I) with respect to \(\{x_{n}\}\);

\(\{x_{n}\}\) does not converge to a fixed point of T.
Example 3.10
Let T be a mapping from the unit sphere \(\mathbb{S}^{2}\) into itself defined by
Obviously, T is quasinonexpansive with \(\operatorname{F}(T)=\{ (0,0,1), (0,0,1)\}\). Define a sequence \(\{x_{n}\}\) by \(x_{1}=(1,0,0)\) and
where \(\{\alpha_{n}\}, \{\beta_{n}\}\subset[0,1]\). Then \(d(x_{1},\operatorname{F}(T))=\pi/2\) and
Notice that \(\{x_{n}\}\) is bounded. Let \(\{x_{n_{k}}\}\) be a convergent subsequence of \(\{x_{n}\}\). We may assume that
Hence, \(\{x_{n}\}\) does not converge to a fixed point of T.
Based on Lemma 3.6(ii), we present a convergence theorem which can be reduced to the Mann algorithm.
Theorem 3.11
Let X, T, and \(\{x_{n}\}\) be the same as Theorem 3.7. Assume that

T satisfies condition (I) with respect to each bounded subset of X, and \(\sum_{n=1}^{\infty}\alpha_{n}(1\alpha_{n})=\infty\) and \(\limsup_{n\to \infty}\beta_{n}<1\);

\(d(x_{1},\mathrm{F}(T))<\pi/2\).
Then \(\{x_{n}\}\) converges to an element of \(\mathrm{F}(T)\).
Proof
By Lemma 3.6(ii), we have \(\liminf_{n\to\infty} d(x_{n},u_{n})=0\). Let \(\{n_{k}\}\) be an increasing sequence of positive integers such that \(\lim_{k\to\infty} d(x_{n_{k}},u_{n_{k}})=0\).
Case 1: \(\liminf_{k\to\infty}\beta_{n_{k}}=0\). Without loss of generality, we may assume that \(\lim_{k\to\infty}\beta_{n_{k}}=0\). It follows that \(\lim_{k\to\infty}d(y_{n_{k}},x_{n_{k}})=\lim_{k\to\infty}\beta _{n_{k}}d(v_{n_{k}},x_{n_{k}})=0\). Then \(\lim_{k\to\infty} d(y_{n_{k}}, u_{n_{k}})=0\), and so \(\lim_{k\to\infty } d(y_{n_{k}}, Ty_{n_{k}})=0\). Notice that \(\mathrm{F}(T)\) is closed, \(\{y_{n}\}\) is bounded, and T satisfies condition (I) with respect to \(\{y_{n}\}\). Using Lemma 3.2 gives \(\lim_{k\to\infty} d(x_{n_{k}}, \mathrm{F}(T))=0\). Consequently, the conclusion follows from Lemma 3.1.
Case 2: \(\liminf_{k\to\infty}\beta_{n_{k}}>0\). In this case, \(\liminf_{k\to\infty}\beta_{n_{k}}(1\beta_{n_{k}})>0\). Let \(p\in\mathrm{F}(T)\) be such that \(d(x_{1},p)<\pi/2\). By Lemma 3.5, we have
Then \(r:=\lim_{n\to\infty}d(x_{n},p)\) exists and
Since \(\lim_{k\to\infty}d(x_{n_{k}}, u_{n_{k}})=0\), we get \(\lim_{k\to\infty}d(u_{n_{k}},p)=r\), and hence
We have
Using (3.1), (3.2), and Lemma 3.3 gives
Therefore, the proof of the remaining part follows from that of Theorem 3.7. □
The next result follows as an immediate consequence of the above theorem.
Corollary 3.12
Let X and T be the same as Theorem 3.7, and let \(\{x_{n}\}\) be the Mann algorithm. Assume that

T satisfies condition (I) with respect to each bounded subset of X, and \(\sum_{n=1}^{\infty}\alpha_{n}(1\alpha_{n})=\infty\);

\(d(x_{1},\mathrm{F}(T))<\pi/2\).
Then \(\{x_{n}\}\) converges to an element of \(\mathrm{F}(T)\).
The following result is a strong convergence theorem in a \(\operatorname{CAT}(\kappa)\) space where κ is any real number. It should be noted that if \(\kappa\le0\), then \(D_{\kappa}=\infty\) and the condition \(d(x_{1},\mathrm{F}(T))< D_{\kappa}/2\) is automatically satisfied.
Theorem 3.13
Suppose that X is a complete \(\operatorname{CAT}(\kappa)\) space where κ is a real number. Let \(T:X\to\operatorname{CB}(X)\) be a quasinonexpansive mapping with the endpoint condition, and let \(\{x_{n}\}\) be generated by (1.1) where \(d(x_{1},\mathrm{F}(T))< D_{\kappa}/2\). Assume that the following conditions hold:

T satisfies condition (I) with respect to each bounded subset of X;

either (i) \(\sum_{n=1}^{\infty}\alpha_{n}\beta_{n}(1\beta_{n})=\infty\) or (ii) \(\sum_{n=1}^{\infty}\alpha_{n}(1\alpha_{n})=\infty\) and \(\limsup_{n\to \infty}\beta_{n}<1\).
Then \(\{x_{n}\}\) converges to an element of \(\mathrm{F}(T)\).
References
Panyanak, B: On the Ishikawa iteration processes for multivalued mappings in some \(\operatorname{CAT}(\kappa)\) spaces. Fixed Point Theory Appl. 2014, 1 (2014)
Ishikawa, S: Fixed points by a new iteration method. Proc. Amer. Math. Soc. 44, 147150 (1974)
Mann, WR: Mean value methods in iteration. Proc. Amer. Math. Soc. 4, 506510 (1953)
Shahzad, N, Zegeye, H: On Mann and Ishikawa iteration schemes for multivalued maps in Banach spaces. Nonlinear Anal. 71, 838844 (2009)
Bridson, MR, Haefliger, A: Metric Spaces of Nonpositive Curvature. Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences), vol. 319. Springer, Berlin (1999)
Kimura, Y, Satô, K: Convergence of subsets of a complete geodesic space with curvature bounded above. Nonlinear Anal. 75, 50795085 (2012)
Senter, HF, Dotson, WG: Approximating fixed points of nonexpansive mappings. Proc. Amer. Math. Soc. 44, 375380 (1974)
Acknowledgements
The first author is supported by the Thailand Research Fund under grant TRG5880026. He is also partially supported by the research grant from the Faculty of Science and the Research and Technology Transfer Affairs Division of Khon Kaen University. The research of the second author is supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
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
Yotkaew, P., Saejung, S. Strong convergence theorems for multivalued mappings in a geodesic space with curvature bounded above. Fixed Point Theory Appl 2015, 235 (2015). https://doi.org/10.1186/s136630150488x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136630150488x
Keywords
 \(\operatorname{CAT}(\kappa)\) space
 fixed point
 Ishikawa iteration
 Mann iteration
 multivalued mapping
 strong convergence