- Research
- Open Access
- Published:

# Convergence results of multi-valued nonexpansive mappings in Banach spaces

*Journal of Inequalities and Applications*
**volume 2014**, Article number: 483 (2014)

## Abstract

The purpose of this paper is to establish two new iteration schemes as follows: {x}_{n}={\alpha}_{n}{x}_{n-1}+(1-{\alpha}_{n}){y}_{n}, {y}_{n}\in T{x}_{n}, n\ge 1, {x}_{n}^{\prime}={\beta}_{n}u+{\alpha}_{n}{x}_{n-1}^{\prime}+(1-{\alpha}_{n}-{\beta}_{n}){y}_{n}^{\prime}, {y}_{n}^{\prime}\in T{x}_{n}^{\prime}, n\ge 1, for a multi-valued nonexpansive mapping *T* in a uniformly convex Banach space and prove that \{{x}_{n}\} and \{{x}_{n}^{\prime}\} converge strongly to a fixed point of *T* under some suitable conditions, respectively. Moreover, a gap in Sahu (Nonlinear Anal. 37:401-407, 1999) is found and revised.

**MSC:**47H04, 47H10, 47J25.

## 1 Introduction

Let *E* be a Banach space, *K* be a nonempty, closed, and convex subset of *E*. We denote the family of all subsets of *E* by {2}^{E}, the family of nonempty, closed, and bounded subsets of *E* by CB(E), the family of nonempty compact subsets of *E* by C(E), and the family of nonempty, compact, and convex subsets of *E* by CC(E). Let H(\cdot ,\cdot ) be Hausdorff metric on CB(E), *i.e.*,

where d(x,B)=inf\{\parallel x-y\parallel :y\in B\}.

A multi-valued mapping T:K\to CB(K) is called nonexpansive (respectively, contractive), if for any x,y\in K, we have

A point *x* is called a fixed point of *T* if x\in Tx. In this paper, F(T) stands for the fixed point set of the mapping *T*.

In 1968, Markin [1] firstly established the nonexpansive multi-valued convergence results in Hilbert space. Banach’s contraction principle was extended to a multi-valued contraction by Nadler [2] in 1969.

In 1974, a breakthrough was achieved by TC Lim using Edelstein’s method of asymptotic centers [3].

**Theorem 1.1** (Lim [4])

*Let* *K* *be a nonempty*, *bounded*, *closed*, *and convex subset of a uniformly convex Banach space* *E* *and* T:K\to C(K) *a multi*-*valued nonexpansive mapping*. *Then* *T* *has a fixed point*.

In 1990, Kirk and Massa [5] obtained another important result for the multi-valued nonexpansive mappings.

**Theorem 1.2** (Kirk and Massa [5])

*Let* *K* *be a nonempty*, *bounded*, *closed*, *and convex subset of a Banach space* *E* *and* T:K\to CC(K) *a multi*-*valued nonexpansive mapping*. *Suppose that the asymptotic center in* *K* *of each bounded sequence of* *E* *is nonempty and compact*. *Then* *T* *has a fixed point*.

In 1999, Sahu [6] obtained the strong convergence theorems of the nonexpansive type and non-self multi-valued mappings for the following iteration process:

where {u}_{n}\in T{x}_{n}, {x}_{0}\in K, {t}_{n}\in (0,1), and {lim}_{n\to \mathrm{\infty}}{t}_{n}=0. Unfortunately, a gap exists in the proof of Theorem 1 in p.405 of [6]; there are the following inequalities:

Clearly, if the above inequality holds, then the inequality \parallel {u}_{n}-v\parallel \le \parallel {x}_{n}-v\parallel must be assumed, for all v\in F(T), but this inequality does not hold generally, based on the definition of the Hausdorff metric H(\cdot ,\cdot ) on CB(E), for all v\in T(v).

**Remark 1.1** To revise the gap we have found in Theorem 1 of [6], in this paper, we change the fixed point set of *T* (F(T):=\{x\in K,x\in Tx\}) into F(T):=\{x\in K,x=Tx\}. The above problem is solved easily. Indeed,

In 2001, Xu [7] extended Theorem 1.2 to a multi-valued nonexpansive nonself-mapping and obtained the fixed theorems. Some recent fixed point results for multi-valued nonexpansive mappings can be found in [8–13] and the references therein.

Motivated by Sahu [6] and the above results, we propose two new iteration processes (1.6) and (1.7) and we study them in this paper. Let *K* be a nonempty, bounded, closed, and convex subset of *E*, and *u* and {x}_{0} be fixed elements of *K*. We have

where {\alpha}_{n},{\beta}_{n}\in (0,1) satisfy certain conditions, and we prove some strongly convergence theorems for the multi-valued nonexpansive mappings in Banach spaces. The results presented in this paper mainly extend and improve the corresponding results of Sahu [6] on the iteration algorithms.

## 2 Preliminaries

Let *E* be a real uniformly convex Banach space and let *J* denote the normalized duality mapping from *E* to {2}^{{E}^{\ast}} defined by

where {E}^{\ast} denotes the dual space of *E* and \u3008\cdot ,\cdot \u3009 denotes the generalized duality pair. It is well known that if *E* is smooth or if {E}^{\ast} is strictly convex, then *J* is single-valued.

Recall that the norm of Banach space *E* is said to be Gâteaux differentiable (or *E* is said to be smooth), if the limit

exists for each *x*, *y* on the unit sphere S(E) of *E*. Moreover, if for each *y* in S(E) the limit defined by (2.2) is uniformly attained for *x* in S(E), we say that the norm of *E* is uniformly Gâteaux differentiable. It is also well known that if *E* has a uniformly Gâteaux differentiable norm, then the duality mapping *J* is norm-to-weak star uniformly continuous on each bounded subset of *E*.

A Banach space *E* is called uniformly convex, if for each \u03f5>0 there is a \delta >0 such that for x,y\in E with \parallel x\parallel ,\parallel y\parallel \le 1, and \parallel x-y\parallel \ge \u03f5, \parallel x+y\parallel \le 2(1-\delta ) holds. The modulus of convexity of *E* is defined by

for all \u03f5\in [0,2]. *E* is said to be uniformly convex if {\delta}_{E}(0)=0, and \delta (\u03f5)>0 for all 0<\u03f5\le 2.

Throughout this paper, we write {x}_{n}\rightharpoonup x (respectively, {x}_{n}\stackrel{\ast}{\rightharpoonup}x) to indicate that the sequence {x}_{n} weakly (respectively, weak*) converges to *x*, and as usual {x}_{n}\to x will symbolize strong convergence. In order to show our main results, the following definitions and lemmas are needed.

Let LIM be a continuous linear functional on {l}^{\mathrm{\infty}} satisfying \parallel LIM\parallel =1=LIM(1). Then we know that LIM is a mean on *N* if and only if

for every a=({a}_{1},{a}_{2},\dots )\in {l}^{\mathrm{\infty}}. According to time and circumstances, we use {LIM}_{n}({a}_{n}) instead of LIM(a). A mean LIM on *N* is called a *Banach limit* if

for every a=({a}_{1},{a}_{2},\dots )\in {l}^{\mathrm{\infty}}. Furthermore, we have the following results [14, 15].

**Lemma 2.1** ([[14], Lemma 1])

*Let* *C* *be a nonempty*, *closed*, *and convex subset of a Banach space* *E* *with uniformly Gâteaux differentiable norm*. *Let* \{{x}_{n}\} *be a bounded sequence of* *E* *and let* {LIM}_{n} *be a mean* LIM *on* *N* *and* z\in C. *Then*

*if and only if*

*for all* y\in C.

**Definition 2.1** A multi-valued mapping T:K\to CB(K) is said to satisfy *Condition I* if there is a nondecreasing function f:[0,\mathrm{\infty})\to [0,\mathrm{\infty}) with f(0)=0, f(r)>0 for r\in (0,\mathrm{\infty}) such that

An example of mappings that satisfy *Condition I* can be found in reference [16].

## 3 Strong convergence theorems

**Theorem 3.1** *Let* *E* *be a uniformly convex Banach space with a uniformly Gâteaux differentiable norm*, *K* *be a nonempty closed convex subset of* *E*, T:K\to C(K) *be a multi*-*valued nonexpansive mapping*. *Assume that* F(T)\ne \mathrm{\varnothing} *and* T(y)=\{y\} *for each* y\in F(T). *Let* \{{x}_{n}\} *be an implicit Mann type iteration defined by* (1.6), *where* {\alpha}_{n}\in (0,1) *and* {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, *then the sequence* \{{x}_{n}\} *converges strongly to a fixed point of* *T*.

*Proof* Firstly, let \mathrm{\forall}p\in F(T), \mathrm{\forall}n\ge 1, we show that {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-p\parallel exists and \{{x}_{n}\} is bounded. Using (2.1), we obtain

so

If \parallel {x}_{n}-p\parallel =0, then {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-p\parallel =0 apparently holds.

If \parallel {x}_{n}-p\parallel >0, from (3.1) we have

we find that \{\parallel {x}_{n}-p\parallel \} is a decreasing sequence, so

exists. Hence \{{x}_{n}\} is bounded, and so is \{{y}_{n}\}.

Secondly, we show that {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-{y}_{n}\parallel =0.

It follows from (1.6) and from \{{x}_{n}\} and {y}_{n}\in T{x}_{n} being bounded, that there exists a real number {M}_{1}>0 such that

Since {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, we have

therefore

We define \varphi :K\to [0,\mathrm{\infty}) by \varphi (x):={LIM}_{n}{\parallel {x}_{n}-x\parallel}^{2} for each x\in K, since *E* is uniformly convex (hence reflexive) and *ϕ* is continuous, convex, and \varphi (x)\to \mathrm{\infty} as \parallel x\parallel \to \mathrm{\infty}, *ϕ* attains its infimum over *K* (see [17]). Let

Then *M* is nonempty, bounded, closed, and convex (see [[15], Theorem 1.3.11]).

Next, we show that *M* is singleton.

Since *M* and \{{x}_{n}\} are bounded, there exists R>0 such that *M*, \{{x}_{n}\}\subset {B}_{R}(0) for all n\ge 0. Then, by inequality (3.12) of [18] for {y}_{1},{y}_{2}\in M we have

If {y}_{1}\ne {y}_{2}, we have

This is a contradiction. Therefore, *M* has a unique element.

Now we show that z\in M is the fixed point of *T*. Since *T* is compact valued, we have some {w}_{n}\in Tz for z\in M such that

indeed, {w}_{n}={P}_{Tz}({y}_{n}), since *Tz* is a compact set, and we take {lim}_{n\to \mathrm{\infty}}{w}_{n}=w\in Tz.

It follows from the above inequality that

and hence w\in M, it follows that *M* is singleton, so w=z\in Tz.

Therefore, z\in F(T) and so Tz=\{z\} by the assumption, and F(T) is nonempty.

On the other hand, for v\in F(T), we have

It follows from (1.6) that

and

Hence, from (3.2), (3.3), and (3.4), we obtain

Finally, we show that {LIM}_{n}\u3008{x}_{n-1}-v,J({x}_{n}-v)\u3009\le 0. Let s\in (0,1), then by Lemma 1 of [19] we get

Let \epsilon >0 be arbitrary, then since *J* is norm-to-weak∗ uniformly continuous on bounded subsets of *E*, there exists \delta >0 such that for all s\in (0,\delta ), we have

since z\in M, and it is a minimizer of *ϕ* over *K*. Now, since *ε* is arbitrary this implies that

Combining inequalities (3.5) and (3.6) we get

Therefore, there is a subsequence \{{x}_{{n}_{j}}\} of \{{x}_{n}\} which converges strongly to *z*.

Since {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}-p\parallel exists \mathrm{\forall}p\in F(T), we get

The proof is completed. □

**Theorem 3.2** *Let* *E* *be a uniformly convex Banach space with a uniformly Gâteaux differentiable norm*, *K* *a nonempty*, *closed*, *and convex subset of* *E*, T:K\to CB(K) *be a multi*-*valued nonexpansive mapping that satisfies Condition I*, *assume* F(T)\ne \mathrm{\varnothing} *and* T(y)=\{y\} *for each* y\in F(T). *Let* \{{x}_{n}\} *be an implicit Mann type iteration defined by* (1.6), *where* {\alpha}_{n}\in (0,1) *and* {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, *then the sequence* \{{x}_{n}\} *converges strongly to a fixed point of* *T*.

*Proof* It follows from the proof of Theorem 3.1 that

Then *Condition I* implies that

The remainder of the proof is the same as Theorem 2.4 of [20]. □

**Theorem 3.3** *Let* *E* *be a uniformly convex Banach space with a uniformly Gâteaux differentiable norm*, *K* *be a nonempty*, *closed*, *and convex subset of* *E*, T:K\to C(K) *be a multi*-*valued nonexpansive mapping*. *Assume that* F(T)\ne \mathrm{\varnothing} *and* T(y)=\{y\} *for each* y\in F(T). *Let* \{{x}_{n}^{\prime}\} *be the modified implicit Mann type iteration defined by* (1.7), *where* {\alpha}_{n},{\beta}_{n}\in (0,1) *and* {lim}_{n\to \mathrm{\infty}}\frac{{\alpha}_{n}}{{\beta}_{n}}={lim}_{n\to \mathrm{\infty}}{\beta}_{n}=0. *Then the sequence* \{{x}_{n}^{\prime}\} *converges strongly to a fixed point of T*.

*Proof* Firstly, let {\lambda}_{n}=\frac{{\beta}_{n}}{1-{\alpha}_{n}} and {z}_{n}={\lambda}_{n}u+(1-{\lambda}_{n}){y}_{n}^{\prime}, then

Let \mathrm{\forall}p\in F(T), \mathrm{\forall}n\ge 1; we show that \{{x}_{n}^{\prime}\} is bounded. Using (2.1), we obtain

so

If \parallel {x}_{n}^{\prime}-p\parallel =0, then \{{x}_{n}^{\prime}\} is apparently bounded.

If \parallel {x}_{n}^{\prime}-p\parallel >0, from (3.7) we have

Thus, \{{x}_{n}^{\prime}\} is bounded.

Secondly, we show that {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}^{\prime}-{y}_{n}^{\prime}\parallel =0.

It follows from (1.7) and since \{{x}_{n}^{\prime}\} and {y}_{n}^{\prime}\in T{x}_{n}^{\prime} are bounded, there exists a real number {M}_{2}>0 such that

Since {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, we have

therefore

Since

then

We define \varphi :K\to [0,\mathrm{\infty}) by \varphi (x):={LIM}_{n}{\parallel {x}_{n}^{\prime}-x\parallel}^{2} for each x\in K. Since *E* uniformly convex (hence reflexive) and *ϕ* is continuous, convex and \varphi (x)\to \mathrm{\infty} as \parallel x\parallel \to \mathrm{\infty}, *ϕ* attains its infimum over *K* (see, *e.g.*, [17]). Let

Then *M* is nonempty, and it is also bounded, closed, and convex (see [[15], Theorem 1.3.11]).

In the same way as the proof of Theorem 3.1, we see that *M* is also singleton, and it follows from (3.9) that *z* is the fixed point of *T*.

By Lemma 2.1, we have

for all x\in K. In particular, we have

It follows from the proof of (3.6) of Theorem 3.1 that (3.6) also holds here. Thus

Hence

where {M}_{0} is a constant such that |\u3008{x}_{n-1}^{\prime}-u,J({x}_{n}^{\prime}-z)\u3009|\le {M}_{0}. Thus

Therefore, there is a subsequence \{{x}_{{n}_{j}}^{\prime}\} of \{{x}_{n}^{\prime}\} which converges strongly to *z*. To complete the proof, suppose there is another subsequence \{{x}_{{n}_{k}}^{\prime}\} of \{{x}_{n}^{\prime}\} which converges strongly to \overline{z}. Then \overline{z} is a fixed point of *T* by (3.9) and \overline{z}\in K because *K* is closed. It then follows from (3.10) that

This proves the strong convergence of \{{x}_{n}^{\prime}\} to z\in F(T).

The proof is completed. □

## 4 Numerical examples

Now, we give two real numerical examples in which the conditions satisfy the ones of Theorem 3.1 and Theorem 3.3.

**Example 4.1** Let E=\mathbb{R}, K=[-1,1], T(x)=\frac{1}{5}x, \mathrm{\forall}x\in E, whichis nonexpansive, {\alpha}_{n}=\frac{1}{n} for every n\in \mathbb{N}. Then \{{x}_{n}\} is the sequence generated by

and {x}_{n}\to 0 as n\to \mathrm{\infty}, where 0 is the fixed point of *T*.

**Example 4.2** Let E=\mathbb{R}, K=[-1,1], T(x)=\frac{1}{2}x, \mathrm{\forall}x\in E, which is nonexpansive, {\alpha}_{n}=\frac{1}{{n}^{100}}, {\beta}_{n}=\frac{1}{{n}^{50}} for every n\in \mathbb{N}. Then \{{x}_{n}\} is the sequence generated by

and{x}_{n}\to 0 as n\to \mathrm{\infty}, where 0 is the fixed point of *T*.

**Remark 4.1** We can prove Example 4.1 and Example 4.2 by Theorem 3.1 and Theorem 3.3, respectively, and we show two numerical experiments (Figure 1 and Figure 2) which can explain that the sequence \{{x}_{n}\} strongly converges to 0.

**Remark 4.2** From the above numerical examples, we can see that the convergence results in this paper are important. The main reason is that the convergence of the two iteration schemes in this paper can easily be implemented by the software of Matlab 7.0, so they can be applied for numerical calculations in practical problems.

## References

Markin JT:

**A fixed point theorem for set valued mappings.***Bull. Am. Math. Soc.*1968,**74:**639–640. 10.1090/S0002-9904-1968-11971-8Nadler SB:

**Multi-valued contraction mappings.***Pac. J. Math.*1969,**30:**475–488. 10.2140/pjm.1969.30.475Edelstein M:

**The construction of an asymptotic center with a fixed point property.***Bull. Am. Math. Soc.*1972,**78:**206–208. 10.1090/S0002-9904-1972-12918-5Lim TC:

**A fixed point theorem for multi-valued nonexpansive mappings in a uniformly convex Banach space.***Bull. Am. Math. Soc.*1974,**80:**1123–1126. 10.1090/S0002-9904-1974-13640-2Kirk WA, Massa S:

**Remarks on asymptotic and Chebyshev centers.***Houst. J. Math.*1990,**16:**357–364.Sahu DR:

**Strong convergence theorems for nonexpansive type and non-self multi-valued mappings.***Nonlinear Anal.*1999,**37:**401–407. 10.1016/S0362-546X(98)00056-XXu HK:

**Multi-valued nonexpansive mappings in Banach spaces.***Nonlinear Anal.*2001,**43:**693–706. 10.1016/S0362-546X(99)00227-8Reich S:

**A fixed point theorem for locally contractive multi-valued functions.***Rev. Roum. Math. Pures Appl.*1972,**17:**569–572.Feng Y, Liu S:

**Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings.***J. Math. Anal. Appl.*2006,**317:**103–112. 10.1016/j.jmaa.2005.12.004Benavides TD, Gavira B:

**The fixed point property for multi-valued nonexpansive mappings.***J. Math. Anal. Appl.*2007,**328:**1471–1483. 10.1016/j.jmaa.2006.06.059Shahzad N, Zegeye H:

**On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces.***Nonlinear Anal.*2009,**71:**838–844. 10.1016/j.na.2008.10.112Jung JS:

**Strong convergence theorems for multi-valued nonexpansive nonself-mappings in Banach spaces.***Nonlinear Anal.*2007,**66:**2345–2354. 10.1016/j.na.2006.03.023Alimohammady M,

*et al*.:**Iterative algorithms for a new class of extended general nonconvex set-valued variational inequalities.***Nonlinear Anal.*2010,**73:**3907–3923. 10.1016/j.na.2010.08.022Takahashi W, Ueda Y:

**On Reich’s strong convergence for resolvents of accretive operators.***J. Math. Anal. Appl.*1984,**104:**546–553. 10.1016/0022-247X(84)90019-2Takahashi W:

*Nonlinear Functional Analysis. Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama; 2000. (in Japanese)Panyanak B:

**Mann and Ishikawa iterative processes for multi-valued mappings in Banach spaces.***Comput. Math. Appl.*2007,**54:**872–877. 10.1016/j.camwa.2007.03.012Barbu V, Precupanu T:

*Convexity and Optimization in Banach Spaces*. Editura Academiei RSR, Bucharest; 1978.Xu HK:

**Inequalities in Banach spaces with applications.***Nonlinear Anal.*1991,**16:**1127–1138. 10.1016/0362-546X(91)90200-KMorales CH, Jung JS:

**Convergence of paths for pseudocontractive mappings in Banach spaces.***Proc. Am. Math. Soc.*2000,**128:**3411–3419. 10.1090/S0002-9939-00-05573-8Song Y:

**Convergence of iterative algorithms for multi-valued mappings in Banach spaces.***Nonlinear Anal.*2009,**70:**1547–1556. 10.1016/j.na.2008.02.034

## Acknowledgements

This work is supported by the Fundamental Research Funds for the Central Universities (No. K5051370004), the Natural Science Basic Research Plan in Shaanxi Province of China (No. 2014JQ1020), the National Science Foundation of China (No. 61202178 and No. 61373174), the National Natural Science Foundation of China, Tian Yuan Special Foundation (No. 11426167).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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

He, H., Liu, S. & Chen, R. Convergence results of multi-valued nonexpansive mappings in Banach spaces.
*J Inequal Appl* **2014**, 483 (2014). https://doi.org/10.1186/1029-242X-2014-483

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2014-483

### Keywords

- multi-valued nonexpansive mappings
- fixed point
- strong convergence
- implicit iteration