# Mixed type iterations for multivalued nonexpansive mappings in hyperbolic spaces

- Xian-Cai Lei
^{1}, - Hua Li
^{2}and - Lan Di
^{3}Email author

**2014**:140

https://doi.org/10.1186/1687-1812-2014-140

© Lei et al.; licensee Springer. 2014

**Received: **17 February 2014

**Accepted: **4 June 2014

**Published: **18 July 2014

## Abstract

The purpose of this paper is to extend the iteration scheme of *multivalued nonexpansive mappings* from a Banach space to a hyperbolic space by proving Δ-convergence theorems for two *multivalued nonexpansive mappings* in terms of mixed type iteration processes to approximate a common fixed point of two multivalued nonexpansive mappings in *hyperbolic spaces*. The results presented in this paper are new and can be regarded as an extension of corresponding results from Banach spaces to hyperbolic spaces in the literature.

**MSC:**47H10, 54H25.

## Keywords

## 1 Introduction and preliminaries

The study of fixed points for multivalued contractions and nonexpansive mappings using the Hausdorff metric was initiated by Markin [1] (see also [2]). Later, various iterative processes have been used to approximate the fixed points of multivalued nonexpansive mappings in Banach space, for example, the authors of [1–17] and [18, 19] have made extensive research in this direction, which has led to many new results in the study of fixed point theory with applications in control theory, convex optimization, differential inclusion, economics, and related topics (see [3] and references cited therein for details).

This is so because of the fact that in general almost all problems in various disciplines of science are nonlinear in nature, and most results of fixed point theory are proposed under the framework of normed linear spaces or Banach spaces as the property of nonlinear mappings may depend on the linear structure of the underlying spaces. Thus it is necessary to study fixed point theory for nonlinear mappings under the space which does not have a linear structure but is embedded with a kind of ‘*convex structures*’. The class of hyperbolic spaces, being nonlinear in nature, is a general abstract theoretic setting with rich geometrical structures for metric fixed point theory. Thus the study of fixed point theory for hyperbolic spaces has been largely motivated and dominated by questions from nonlinear problems in practice, such as problems of geometric group theory, and others. However, so far, we have seen not many results for the approximation iteration of multivalued nonexpansive mappings in terms of Hausdorff metrics for fixed points in the existing literature. The purpose of this paper is to extend the iteration scheme of *multivalued nonexpansive mappings* from a Banach space to a hyperbolic space by proving Δ-convergence theorems for two *multivalued nonexpansive mappings* in terms of mixed type iteration processes to approximate a common fixed point of two multivalued nonexpansive mappings in *hyperbolic spaces*. The results presented in this paper are new and can be regarded as an extension of corresponding results from Banach spaces to hyperbolic spaces in the existing literature given by the authors of [6–9, 11–13, 15, 16, 18–21].

In order to define the concept of multivalued nonexpansive mapping in the general setup of Banach spaces, we first collect some basic concepts.

*E*be a real Banach space. A subset

*K*is called proximinal if for each $x\in E$, there exists an element $k\in K$ such that

*K*by $P(K)$. By following the notation used by Markin in [1], let $CB(K)$ be the class of all nonempty bounded and closed subsets of

*K*. Let

*H*be a Hausdorff metric induced by the metric

*d*of

*E*, that is,

*contraction*if there exists a constant $k\in [0,1)$ such that for any $x,y\in K$,

**Definition 1.1** [15]

*nonexpansive*, if

**Lemma 1.2** [12]

*Let*$T:K\to P(K)$

*be a multivalued mapping and*${P}_{T}(x)=\{y\in Tx:\parallel x-y\parallel =d(x,Tx)\}$.

*Then the following are equivalent*.

- (1)
$x\in F(T)$.

- (2)
${P}_{T}(x)=\{x\}$.

- (3)
$x\in F({P}_{T})$.

*Moreover*, $F(T)=F({P}_{T})$.

Throughout this paper, we work in the setting of hyperbolic spaces introduced by Kohlenbach [22], defined below, which is more restrictive than the hyperbolic type introduced in [23] and more general than the concept of hyperbolic space in [24].

- (i)
$d(u,W(x,y,\alpha ))\le \alpha d(u,x)+(1-\alpha )d(u,y)$;

- (ii)
$d(W(x,y,\alpha ),W(x,y,\beta ))=|\alpha -\beta |d(x,y)$;

- (iii)
$W(x,y,\alpha )=W(y,x,(1-\alpha ))$;

- (iv)
$d(W(x,z,\alpha ),W(y,w,\alpha ))\le (1-\alpha )d(x,y)+\alpha d(z,w)$;

for all $x,y,z,w\in X$ and $\alpha ,\beta \in [0,1]$.

A nonempty subset *K* of a hyperbolic space *X* is convex if $W(x,y,\alpha )\in K$ for all $x,y\in K$ and $\alpha \in [0,1]$. The class of hyperbolic spaces contains normed spaces and convex subsets thereof, the Hilbert ball equipped with the hyperbolic metric [20], Hadamard manifolds as well as $CAT(0)$ spaces in the sense of Gromov (see [25]).

provided $d(x,u)\le r$, $d(y,u)\le r$ and $d(x,y)\ge \u03f5r$.

A map $\eta :(0,\mathrm{\infty})\times (0,2]\to (0,1]$ which provides such a $\delta =\eta (r,\u03f5)$ for given $r>0$ and $\u03f5\in (0,2]$ is known as a modulus of uniform convexity of *X*. We call *η* monotone if it decreases with *r* (for a fixed *ϵ*), *i.e.*, $\mathrm{\forall}\u03f5>0$, $\mathrm{\forall}{r}_{2}\ge {r}_{1}>0$ ($\eta ({r}_{2},\u03f5)\le \eta ({r}_{1},\u03f5)$).

In the sequel, let $(X,d)$ be a metric space and let *K* be a nonempty subset of *X*. We shall denote the fixed point set of a mapping *T* by $F(T)=\{x\in K:Tx=x\}$.

*nonexpansive*, if

In order to establish our new results for thee iteration scheme of *multivalued nonexpansive mappings* under the framework of hyperbolic spaces, we first recall some facts from the existing literature.

**Lemma 1.3** [27]

*Let* $(X,d,W)$ *be a complete uniformly convex hyperbolic space with monotone modulus of uniform convexity*. *Then every bounded sequence* $\{{x}_{n}\}$ *in* *X* *has a unique asymptotic center with respect to any nonempty closed convex subset* *K* *of* *X*.

Recall that a sequence $\{{x}_{n}\}$ in *X* is said to Δ-converge to $x\in X$ if *x* is the unique asymptotic center of $\{{u}_{n}\}$ for every subsequence $\{{u}_{n}\}$ of $\{{x}_{n}\}$. In this case, we write $\mathrm{\Delta}\text{-}{lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ and call *x* the Δ-*limit* of $\{{x}_{n}\}$.

A mapping $T:K\to K$ is semi-compact if every bounded sequence $\{{x}_{n}\}\subset K$ satisfying $d({x}_{n},T{x}_{n})\to 0$, has a convergent subsequence.

**Lemma 1.4** [28]

*Let*$\{{a}_{n}\}$, $\{{b}_{n}\}$,

*and*$\{{\delta}_{n}\}$

*be sequences of nonnegative real numbers satisfying*

*if* ${\sum}_{n=1}^{\mathrm{\infty}}{\delta}_{n}<\mathrm{\infty}$ *and* ${\sum}_{n=1}^{\mathrm{\infty}}{b}_{n}<\mathrm{\infty}$, *then the limit* ${lim}_{n\to \mathrm{\infty}}{a}_{n}$ *exists*. *If there exists a subsequence* $\{{a}_{{n}_{i}}\}\subset \{{a}_{n}\}$ *such that* ${a}_{{n}_{i}}\to 0$, *then* ${lim}_{n\to \mathrm{\infty}}{a}_{n}=0$.

**Lemma 1.5** [29]

*Let*$(X,d,W)$

*be a uniformly convex hyperbolic space with monotone modulus of uniform convexity*

*η*.

*Let*$x\in X$

*and*$\{{\alpha}_{n}\}$

*be a sequence in*$[a,b]$

*for some*$a,b\in (0,1)$.

*If*$\{{x}_{n}\}$

*and*$\{{y}_{n}\}$

*are sequences in*

*X*

*such that*

*for some* $c\ge 0$. *Then* ${lim}_{n\to \mathrm{\infty}}d({x}_{n},{y}_{n})=0$.

**Lemma 1.6** [29]

*Let* *K* *be a nonempty closed convex subset of uniformly convex hyperbolic space and* $\{{x}_{n}\}$ *a bounded sequence in* *K* *such that* $A(\{{x}_{n}\})=\{y\}$ *and* $r(\{{x}_{n}\})=\zeta $. *If* $\{{y}_{m}\}$ *is another sequence in* *K* *such that* ${lim}_{m\to \mathrm{\infty}}r({y}_{m},\{{x}_{n}\})=\zeta $, *then* ${lim}_{m\to \mathrm{\infty}}{y}_{m}=y$.

## 2 Main results

Now we have the following key result in this paper.

**Theorem 2.1**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${T}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${T}_{{T}_{i}}$

*be a nonexpansive mapping*,

*let*${S}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${S}_{{S}_{i}}$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})\ne \mathrm{\varnothing}$,

*and for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{{S}_{2}}{x}_{n}$, ${u}_{n}\in {S}_{{S}_{1}}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{{S}_{2}}{x}_{n},{S}_{{S}_{1}}{y}_{n})+{\tau}_{n}$, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
${lim}_{n\to \mathrm{\infty}}{\tau}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\tau}_{n}<\mathrm{\infty}$.

- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

- (4)
$d(x,{T}_{{T}_{i}}y)\le d({S}_{{S}_{i}}x,{T}_{{T}_{i}}y)$,

*for all*$x,y\in K$*and*$i=1,2$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.1) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})$.

*Proof* The proof of Theorem 2.1 is divided into three steps:

where ${\delta}_{n}=0$, ${b}_{n}=(1+{\beta}_{n}){\alpha}_{n}{\tau}_{n}$. Since ${\sum}_{n=1}^{\mathrm{\infty}}{\tau}_{n}<\mathrm{\infty}$ and condition (2), it follows from Lemma 1.2 that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exist for $p\in \mathcal{F}$.

Step 3. Now we prove that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})$.

In fact, since for each $p\in F$, ${lim}_{n\to \mathrm{\infty}}d({x}_{n},p)$ exist. This implies that the sequence $\{d({x}_{n},p)\}$ is bounded, and so is the sequence $\{{x}_{n}\}$. Hence by virtue of Lemma 1.3, $\{{x}_{n}\}$ has a unique asymptotic center ${A}_{k}(\{{x}_{n}\})=\{{x}_{n}\}$.

*K*by ${z}_{j}={T}_{{T}_{i}}^{j}u$. So we calculate

It follows from Lemma 1.4 that ${lim}_{j\to \mathrm{\infty}}{T}_{{T}_{i}}u=u$. As ${T}_{{T}_{i}}$ is uniformly continuous, ${T}_{{T}_{1}}u={T}_{{T}_{i}}({lim}_{j\to \mathrm{\infty}}{T}_{{T}_{i}}^{j}u)={lim}_{j\to \mathrm{\infty}}{T}_{{T}_{i}}^{j+1}u=u$. That is $u\in F({T}_{{T}_{i}})$. Similarly, we also can show that $u\in F({S}_{{S}_{i}})$. Hence, *u* is the common fixed point of ${T}_{{T}_{i}}$ and ${S}_{{S}_{i}}$. Reasoning as above, by utilizing the uniqueness of asymptotic centers, we get $x=u$. Since $\{{u}_{n}\}$ is an arbitrary subsequence of $\{{x}_{n}\}$, we have $A\{{u}_{n}\}=\{u\}$ for all subsequences $\{{u}_{n}\}$ of $\{{x}_{n}\}$. This proves that $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})$. This completes the proof. □

The following theorem can be obtained from Theorem 2.1 immediately.

**Theorem 2.2**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${T}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${T}_{{T}_{i}}$

*be a nonexpansive mapping*,

*let*${S}_{i}:K\to K$, $i=1,2$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{i})\ne \mathrm{\varnothing}$,

*and for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{2}{x}_{n}$, ${u}_{n}\in {S}_{1}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{2}{x}_{n},{S}_{1}{y}_{n})+{\tau}_{n}$, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
${lim}_{n\to \mathrm{\infty}}{\tau}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\tau}_{n}<\mathrm{\infty}$.

- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

- (4)
$d(x,{T}_{{T}_{i}}y)\le d({S}_{i}x,{T}_{{T}_{i}}y)$,

*for all*$x,y\in K$*and*$i=1,2$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.26) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{i})$.

*Proof* Take ${S}_{{S}_{i}}={S}_{i}$ in Theorem 2.1. Since all conditions in Theorem 2.1 are satisfied, it follows from Theorem 2.1 that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{i})$. This completes the proof of Theorem 2.2. □

**Theorem 2.3**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${T}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${T}_{{T}_{i}}$, $i=1,2$

*be a nonexpansive mapping*.

*Let*${S}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${S}_{{S}_{i}}$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})\ne \mathrm{\varnothing}$,

*for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{{S}_{2}}{x}_{n}$, ${u}_{n}\in {S}_{{S}_{1}}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{{S}_{2}}{x}_{n},{S}_{{S}_{1}}{y}_{n})+{\tau}_{n}$,

*I*

*is the identity mapping*, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
${lim}_{n\to \mathrm{\infty}}{\tau}_{n}=0$, ${\sum}_{n=1}^{\mathrm{\infty}}{\tau}_{n}<\mathrm{\infty}$.

- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.27) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})$.

*Proof* Take ${S}_{{S}_{i}}=I$, $i=1,2$ in (2.1). Since all conditions in Theorem 2.1 are satisfied, it follows from Theorem 2.1 that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{{T}_{i}})\cap F({S}_{{S}_{i}})$. This completes the proof of Theorem 2.3. □

**Theorem 2.4**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${S}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${S}_{{S}_{i}}$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})\ne \mathrm{\varnothing}$,

*and for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{{S}_{2}}{x}_{n}$, ${u}_{n}\in {S}_{{S}_{1}}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{{S}_{2}}{x}_{n},{S}_{{S}_{1}}{y}_{n})+{\tau}_{n}$, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

- (4)
$d(x,y)\le d({S}_{{S}_{i}}x,y)$,

*for all*$x,y\in K$*and*$i=1,2$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.28) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})$.

*Proof* Take ${T}_{{T}_{i}}=I$, $i=1,2$ in (2.1). Since all conditions in Theorem 2.1 are satisfied, it follows from Theorem 2.1 that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})$. This completes the proof of Theorem 2.4. □

**Theorem 2.5**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${S}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${S}_{{S}_{i}}$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})\ne \mathrm{\varnothing}$,

*and for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{{S}_{2}}{x}_{n}$, ${u}_{n}\in {S}_{{S}_{1}}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{{S}_{2}}{x}_{n},{S}_{{S}_{1}}{y}_{n})+{\tau}_{n}$, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

- (4)
$d(x,y)\le d({S}_{{S}_{i}}x,y)$,

*for all*$x,y\in K$*and*$i=1,2$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.29) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})$.

*Proof* Take ${S}_{{S}_{i}}=I$, $i=1,2$ in (2.28). Since all conditions in Theorem 2.4 are satisfied, it follows from Theorem 2.4 that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({S}_{{S}_{i}})$. This completes the proof of Theorem 2.5. □

**Theorem 2.6**

*Let*

*K*

*be a nonempty closed convex subset of a complete uniformly convex hyperbolic space*

*X*

*with monotone modulus of uniform convexity*

*η*.

*Let*${T}_{i}:K\to K$, $i=1,2$

*be a nonexpansive mapping*,

*let*${S}_{i}:K\to P(K)$, $i=1,2$

*be a multivalued mapping and*${S}_{{S}_{i}}$

*be a nonexpansive mapping*.

*Assume that*$\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{i})\cap F({S}_{{S}_{i}})\ne \mathrm{\varnothing}$,

*and for arbitrarily chosen*${x}_{1}\in K$, $\{{x}_{n}\}$

*is defined as follows*:

*where*${v}_{n}\in {S}_{{S}_{2}}{x}_{n}$, ${u}_{n}\in {S}_{{S}_{1}}{y}_{n}$, $d({v}_{n},{u}_{n})\le H({S}_{{S}_{2}}{x}_{n},{S}_{{S}_{1}}{y}_{n})+{\tau}_{n}$, $\{{\tau}_{n}\}$, $\{{\alpha}_{n}\}$,

*and*$\{{\beta}_{n}\}$

*satisfy the following conditions*:

- (1)
- (2)
*There exist constants*$a,b\in (0,1)$*with*$0<b(1-a)\le \frac{1}{2}$*such that*$\{{\alpha}_{n}\}\subset [a,b]$*and*$\{{\beta}_{n}\}\subset [a,b]$. - (3)
$\parallel {x}_{n}-p\parallel =d({x}_{n},p)$, $\parallel {y}_{n}-p\parallel =d({y}_{n},p)$.

- (4)
$d(x,{T}_{i}y)\le d({S}_{{S}_{i}}x,{T}_{i}y)$,

*for all*$x,y\in K$*and*$i=1,2$.

*Then the sequence* $\{{x}_{n}\}$ *defined by* (2.30) Δ-*converges to a common fixed point of* $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{i})\cap F({S}_{{S}_{i}})$.

*Proof* Take ${T}_{{T}_{i}}={T}_{i}$, $i=1,2$ in (2.1). Since all conditions in Theorem 2.1 are satisfied, it follows from Theorem 2.1 that the sequence $\{{x}_{n}\}$ Δ-converges to a common fixed point of $\mathcal{F}:={\bigcap}_{i=1}^{2}F({T}_{i})\cap F({S}_{{S}_{i}})$. This completes the proof of Theorem 2.6. □

We would like to mention that our key result Theorem 2.1 could be regarded as either an extension or an improvement of the corresponding results in the existing literature given by the authors of [6–9, 11–13, 15, 16, 18, 20, 21, 30].

We also like to bring to the readers’ attention that by using the Baire approach due to the classical paper of de Blasi and Myjak [31], Reich and Zaslavski recently [19] gave a comprehensive study for the so-called genericity in nonlinear analysis, in particular for the study of genericity for the topics in the approximation of fixed points, existence of fixed points, and the convergence and stability of iterates of nonexpansive set-valued mappings in the sense of Baire category, which are different from the ones we have established in this paper.

## Declarations

### Acknowledgements

We like to thank the editors and anonymous referees for their comments and suggestion leading to the present version of the paper. This work was supported by Scientific Research Fund of Sichuan Provincial Education Department (No. 13ZA0199) and the Natural Science Foundation of Yibin University (No. 2012S79). The corresponding author (the third one) was also supported by the ‘Six Talent Peaks Project’ of Jiangsu Province (No. DZXX-028).

## Authors’ Affiliations

## References

- Markin JT: Continuous dependence of fixed point sets.
*Proc. Am. Math. Soc.*1973, 38: 545–547. 10.1090/S0002-9939-1973-0313897-4View ArticleMathSciNetGoogle Scholar - Nadler SB: Multivalued mappings.
*Pac. J. Math.*1969, 30(2):475–488. 10.2140/pjm.1969.30.475View ArticleMathSciNetGoogle Scholar - Gomiewicz L:
*Topological Fixed Point Theory of Multivalued Mappings*. Kluwer Academic, Dordrecht; 1999.View ArticleGoogle Scholar - Lim TC: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach spaces.
*Bull. Am. Math. Soc.*1974, 80: 1123–1126. 10.1090/S0002-9904-1974-13640-2View ArticleGoogle Scholar - Sastry KPR, Babu VR: Convergence of Ishikawa iterates for a multivalued mapping with a fixed point.
*Czechoslov. Math. J.*2005, 55: 817–825. 10.1007/s10587-005-0068-zView ArticleMathSciNetGoogle Scholar - Panyanak B: Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces.
*Comput. Math. Appl.*2007, 54: 872–877. 10.1016/j.camwa.2007.03.012View ArticleMathSciNetGoogle Scholar - Song Y, Wang H: Erratum to ‘Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces’ [Comput. Math. Appl. 54 (2007) 872–877].
*Comput. Math. Appl.*2008, 55: 2999–3002. 10.1016/j.camwa.2007.11.042View ArticleMathSciNetGoogle Scholar - Jung JS: Strong convergence theorems for multivalued nonexpansive in Banach spaces.
*Nonlinear Anal.*2007, 66: 2345–2354. 10.1016/j.na.2006.03.023View ArticleMathSciNetGoogle Scholar - Shahzad N, Zegeye H: On Mann and Ishikawa iteration schemes for multivalued maps in Banach spaces.
*Nonlinear Anal.*2009, 71(3–4):838–844. 10.1016/j.na.2008.10.112View ArticleMathSciNetGoogle Scholar - Agarwal RP, O’Regan D, Sahu DR: Iterative construction of fixed points of nearly asymptotically nonexpansive mappings.
*J. Nonlinear Convex Anal.*2007, 8(1):61–79.MathSciNetGoogle Scholar - Khan SH, Kim JK: Common fixed points of two nonexpansive mappings by a modified faster iteration scheme.
*Bull. Korean Math. Soc.*2010, 47(5):973–985. 10.4134/BKMS.2010.47.5.973View ArticleMathSciNetGoogle Scholar - Song Y, Cho JY: Some notes on Ishikawa iteration for multivalued mappings.
*Bull. Korean Math. Soc.*2011, 48(3):575–584. 10.4134/BKMS.2011.48.3.575View ArticleMathSciNetGoogle Scholar - Khan SH, Abbas M, Rhoades BE: A new one-step iterative scheme for approximating common fixed points of two multivalued nonexpansive mappings.
*Rend. Circ. Mat. Palermo*2010, 59: 149–157.View ArticleMathSciNetGoogle Scholar - Khan SH, Fukhar-ud-din H: Weak and strong convergence of a scheme with errors for two nonexpansive mappings.
*Nonlinear Anal.*2005, 8: 1295–1301.View ArticleMathSciNetGoogle Scholar - Khan SH, Yildifim L: Fixed points of multivalued nonexpansive mappings in Banach spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 73 10.1186/1687-1812-2012-73Google Scholar - Senter HF, Dotson WG: Approximating fixed points of nonexpansive mappings.
*Proc. Am. Math. Soc.*1974, 44(2):375–380. 10.1090/S0002-9939-1974-0346608-8View ArticleMathSciNetGoogle Scholar - Assad NA, Kirk WA: Fixed point theorems for set-valued mappings of contractive type.
*Pac. J. Math.*1972, 43: 553–562. 10.2140/pjm.1972.43.553View ArticleMathSciNetGoogle Scholar - Reich S: Fixed points of contractive functions.
*Boll. Unione Mat. Ital.*1972, 5(4):26–42.Google Scholar - Reich S, Zaslavski AJ: Set-valued mappings. In
*Genericity in Nonlinear Analysis*. Springer, Berlin; 2014:449–480.View ArticleGoogle Scholar - Goebel K, Reich S:
*Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings*. Dekker, New York; 1984.Google Scholar - Reich S, Shafrir I: Nonexpansive iterations in hyperbolic spaces.
*Nonlinear Anal.*1990, 15: 537–558. 10.1016/0362-546X(90)90058-OView ArticleMathSciNetGoogle Scholar - Kohlenbach U: Some logical metatheorems with applications in functional analysis.
*Trans. Am. Math. Soc.*2004, 357(1):89–128.View ArticleMathSciNetGoogle Scholar - Kuhfittig PKF: Common fixed points of nonexpansive mappings by iteration.
*Pac. J. Math.*1987, 97(1):137–139.View ArticleMathSciNetGoogle Scholar - Sahin A, Basarir M:On the strong convergence of a modified S-iteration process for asymptotically quasi-nonexpansive mappings in a $CAT(0)$ space.
*Fixed Point Theory Appl.*2013., 2013: Article ID 12 10.1186/1687-1812-2013-12Google Scholar - Bridson N, Haefliger A:
*Metric Spaces of Non-Positive Curvature*. Springer, Berlin; 1999.View ArticleGoogle Scholar - Leustean L:A quadratic rate of asymptotic regularity for $CAT(0)$ spaces.
*J. Math. Anal. Appl.*2007, 235: 386–399.View ArticleMathSciNetGoogle Scholar - Leustean L: Nonexpansive iteration in uniformly convex
*W*-hyperbolic spaces. Contemporary Mathematics 513. In*Nonlinear Analysis and Optimization I: Nonlinear Analysis*. Edited by: Leizarowitz A, Mordukhovich BS, Shafrir I, Zaslavski A. Am. Math. Soc., Providence; 2010:193–209.View ArticleGoogle Scholar - Chang SS, Wang L, Lee HWJ, Chan CK:Total asymptotically nonexpansive mappings in a $CAT(0)$ space demiclosed principle and Δ-convergence theorems for total asymptotically nonexpansive mappings in a $CAT(0)$ space.
*Appl. Math. Comput.*2012, 219: 2611–2617. 10.1016/j.amc.2012.08.095View ArticleMathSciNetGoogle Scholar - Khan AR, Fukhar-ud-din H, Kuan MAA: An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 54 10.1186/1687-1812-2012-54Google Scholar - Zhao LC, Chang SS, Kim JK: Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 353 10.1186/1687-1812-2013-353Google Scholar - de Blasi FS, Myjak J: Sur la convergence des approximations successives pour les contractions non linéaires dans un espace de Banach.
*C. R. Acad. Sci. Paris, Ser. A-B*1976, 283: 185–187. (French)MathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.