# Mann Type Implicit Iteration Approximation for Multivalued Mappings in Banach Spaces

- Huimin He
^{1}Email author, - Sanyang Liu
^{1}and - Rudong Chen
^{2}

**2010**:140530

**DOI: **10.1155/2010/140530

© Huimin He et al. 2010

**Received: **16 March 2010

**Accepted: **5 July 2010

**Published: **25 July 2010

## Abstract

Let be a nonempty compact convex subset of a uniformly convex Banach space and let be a multivalued nonexpansive mapping. For the implicit iterates , , , . We proved that converges strongly to a fixed point of under some suitable conditions. Our results extended corresponding ones and revised a gap in the work of Panyanak (2007).

## 1. Introduction

A point is called a fixed point of if . In this paper, stands for the fixed point set of a mapping .

The fixed point theory of multivalued nonexpansive mappings is much more complicated and difficult than the corresponding theory of single-valued nonexpansive mappings. However, some classical fixed point theorems for single-valued nonexpansive mappings have already been extended to multivalued mappings.

In 1968, Markin [1] firstly established the nonexpansive multivalued convergence results in Hilbert space. Banach's Contraction Principle was extended to a multivalued contraction in 1969. (Below is stated in a Banach space setting.)

Theorem 1.1 (see [2]).

Let be a nonempty closed subset of a Banach space and a multivalued contraction. Then has a fixed point.

In 1974, one breakthrough was achieved by Lim using Edelstein's method of asymptotic centers [3].

Theorem 1.2 (see Lim [3]).

Let be a nonempty closed bounded convex subset of a uniformly convex Banach space and a multivalued nonexpansive mapping. Then has a fixed point.

In 1990, Kirk and Massa [4] obtained another important result for multivalued nonexpansive mappings.

Theorem 1.3 (see Kirk and Massa [4]).

Let be a nonempty closed bounded convex subset of a Banach space and a multivalued nonexpansive mapping. Suppose that the asymptotic center in E of each bounded sequence of X is nonempty and compact. Then T has a fixed point.

where and . He proved that converges strongly to some fixed points of . Xu [6] extended Theorem 1.3 to a multivalued nonexpansive nonself mapping and obtained the fixed theorem in 2001. The recent fixed point results for nonexpansive mappings can be found in [7–12] and references therein.

where , and fixed are such that and and proved the strong convergence theorems for multivalued nonexpansive mappings in Banach spaces.

and we prove some strong convergence theorems of the sequence defined by (1.6) for nonexpansive multivalued mappings in Banach spaces. The results presented in this paper establish a new type iteration convergence theorems for multivalued nonexpansive mappings in Banach spaces and extend the corresponding results of Panyanak [13].

## 2. Preliminaries

where denotes the dual space of and denotes the generalized duality pair. It is well known that if is strictly convex, then is single valued. And if Banach space admits sequentially continuous duality mapping from weak topology to weak star topology, then, by [14, Lemma 1], we know that the duality mapping is also single valued. In this case, the duality mapping is also said to be weakly sequentially continuous; that is, if is a subject of with , then . By Theorem 1 of [14], we know that if admits a weakly sequentially continuous duality mapping, then satisfies Opial's condition, and is smooth; for the details, see [14]. In the sequel, we will denote the single-valued duality mapping by .

Throughout this paper, we write (resp., ) to indicate that the sequence weakly (resp., weak *) converges to , as usual will symbolize strong convergence. In order to show our main results, the following concepts and lemmas are needed.

for all . is said to be uniformly convex if , and for all .

Lemma 2.1 (see [10]).

Definition 2.2.

*Opial's condition*if for any sequence in ( ) implies

We know that Hilbert spaces, , and Banach space with weakly sequentially continuous duality mappings satisfy Opial's condition; for the details, see [14, 15].

Definition 2.3.

*Condition*if there is a nondecreasing function with for such that

Example of mappings that satisfy *Condition*
can be founded in [13].

## 3. Main Results

Now, we prove our results.

Theorem 3.1.

Let be a nonempty compact convex subset of a uniformly convex Banach space and let be a multivalued nonexpansive mapping, where and , the sequence is generated by (1.6).

Then,

(i)by the compactness of , there exists a subsequence of such that for some . In addition if then

(ii) is a fixed point of and the sequence converges strongly to .

Proof.

Part (i) is trivial. And part (ii) remains to be proved.

Hence, is a fixed point of .

Next we show that exists.

If , then apparently holds.

So the desired conclusion follows.

The proof is completed.

Remark 3.2.

The above result modified the gap in the proof of Theorem 3.1 in [13] by a new method; the gap discovered by Song and Wang [16] is as follows.

Clearly, if and , then the above inequalities cannot be assured. Indeed, from the monotone decreasing sequence of in the proof of (Theorem 3.1 [13]), we cannot obtain that is a decreasing sequence. Hence, the conclusion of Theorem 3.1 in [13] cannot be achieved.

Theorem 3.3.

Let be a Banach space satisfying Opial's condition and let be a nonempty weakly compact convex subset of . Suppose that is a multivalued nonexpansive mapping, where and , the sequence is generated by (1.6).

Then,

(i)by the weak compactness of , there exists a subsequence of such that for some . In addition if, then

(ii) is a fixed point of and the sequence converges weakly to .

Proof.

Part (i) is trivial. Now we prove part (ii).

Suppose that does not belong to . By the compactness of , for any given , there exist such that and .

This is a contradiction by satisfying Opial's condition.

Hence, is a fixed point of .

Next we show . Suppose not. There exists another subsequence of such that .

Which is a contradiction, so the conclusion of the theorem follows.

The proof is completed.

Corollary 3.4.

Let be a reflexive Banach space which admits a weakly sequentially continuous duality mapping from to , and let be a nonempty weakly compact convex subset of . Suppose that is a multivalued nonexpansive mapping, where and , the sequence is generated by (1.6).

Then,

(i)by the weak compactness of , there exists a subsequence of such that for some . In addition if, then

(ii) is a fixed point of and the sequence converges weakly to .

Proposition 3.5.

Let be a nonempty compact convex subset of a uniformly convex Banach space and let be a multivalued nonexpansive mapping. Then is a closed subset of .

Proof.

Hence, is a fixed point of .

Thus, is a closed subset of .

The proof is completed.

Theorem 3.6.

Let be a nonempty compact convex subset of a uniformly convex Banach space and let be a multivalued nonexpansive mapping satisfying Condition , where and , then the sequence generated by (1.6) converges strongly to a fixed point.

Proof.

The proof of remained part is omitted because it is similar to the proof of Theorem 3.8 in [13].

## Declarations

### Acknowledgment

The work was supported by the Fundamental Research Funds for the Central Universities, No. JY10000970006, and National Nature Science Foundation, No. 60974082.

## Authors’ Affiliations

## References

- Markin JT:
**A fixed point theorem for set valued mappings.***Bulletin of the American Mathematical Society*1968,**74:**639–640. 10.1090/S0002-9904-1968-11971-8MathSciNetView ArticleMATHGoogle Scholar - Nadler SB Jr.:
**Multi-valued contraction mappings.***Pacific Journal of Mathematics*1969,**30:**475–488.MathSciNetView ArticleMATHGoogle Scholar - Lim TC:
**A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space.***Bulletin of the American Mathematical Society*1974,**80:**1123–1126. 10.1090/S0002-9904-1974-13640-2MathSciNetView ArticleMATHGoogle Scholar - Kirk WA, Massa S:
**Remarks on asymptotic and Chebyshev centers.***Houston Journal of Mathematics*1990,**16**(3):357–364.MathSciNetMATHGoogle Scholar - Sahu DR:
**Strong convergence theorems for nonexpansive type and non-self-multi-valued mappings.***Nonlinear Analysis: Theory, Methods & Applications*1999,**37**(3):401–407. 10.1016/S0362-546X(98)00056-XMathSciNetView ArticleMATHGoogle Scholar - Xu H-K:
**Multivalued nonexpansive mappings in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2001,**43**(6):693–706. 10.1016/S0362-546X(99)00227-8MathSciNetView ArticleMATHGoogle Scholar - Feng Y, Liu S:
**Fixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings.***Journal of Mathematical Analysis and Applications*2006,**317**(1):103–112. 10.1016/j.jmaa.2005.12.004MathSciNetView ArticleMATHGoogle Scholar - Jung JS:
**Strong convergence theorems for multivalued nonexpansive nonself-mappings in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2007,**66**(11):2345–2354. 10.1016/j.na.2006.03.023MathSciNetView ArticleMATHGoogle Scholar - Turkoglu D, Altun I:
**A fixed point theorem for multi-valued mappings and its applications to integral inclusions.***Applied Mathematics Letters*2007,**20**(5):563–570. 10.1016/j.aml.2006.07.002MathSciNetView ArticleMATHGoogle Scholar - Domínguez Benavides T, Gavira B:
**The fixed point property for multivalued nonexpansive mappings.***Journal of Mathematical Analysis and Applications*2007,**328**(2):1471–1483. 10.1016/j.jmaa.2006.06.059MathSciNetView ArticleMATHGoogle Scholar - Chen R, He H:
**Viscosity approximation of common fixed points of nonexpansive semigroups in Banach space.***Applied Mathematics Letters*2007,**20**(7):751–757. 10.1016/j.aml.2006.09.003MathSciNetView ArticleMATHGoogle Scholar - He H, Wang X, Chen R, Cakic N:
**Strong convergence theorems for the implicit iteration process for a finite family of hemicontractive mappings in Banach space.***Applied Mathematics Letters*2009,**22**(7):990–993. 10.1016/j.aml.2009.01.006MathSciNetView ArticleMATHGoogle Scholar - Panyanak B:
**Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces.***Computers & Mathematics with Applications*2007,**54**(6):872–877. 10.1016/j.camwa.2007.03.012MathSciNetView ArticleMATHGoogle Scholar - Gossez J-P, Lami Dozo E:
**Some geometric properties related to the fixed point theory for nonexpansive mappings.***Pacific Journal of Mathematics*1972,**40:**565–573.MathSciNetView ArticleMATHGoogle Scholar - Yanagi K:
**On some fixed point theorems for multivalued mappings.***Pacific Journal of Mathematics*1980,**87**(1):233–240.MathSciNetView ArticleMATHGoogle Scholar - Song Y, Wang H:
**Convergence of iterative algorithms for multivalued mappings in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(4):1547–1556. 10.1016/j.na.2008.02.034MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.