Research Article | Open Access

# Convergence Theorems for Finite Family of Multivalued Maps in Uniformly Convex Banach Spaces

**Academic Editor:**O. Miyagaki

#### Abstract

We introduce a new iterative process to approximate a common fixed point of a finite family of multivalued maps in a uniformly convex real Banach space and establish strong convergence theorems for the proposed process. Furthermore, strong convergence theorems for finite family of quasi-nonexpansive multivalued maps are obtained. Our results extend important recent results.

#### 1. Introduction

Let be a nonempty, closed, and convex subset of a real Hilbert space . The set is called * proximinal* if for each , there exists such that , where . Let , and denote the families of nonempty, closed and bounded subsets, nonempty compact subsets, and nonempty proximinal bounded subsets of , respectively. The * Hausdorff metric* on is defined by
for . A single-valued map is called * nonexpansive* if for all . A multivalued map is said to be * nonexpansive* if for all . An element is called a fixed point of (resp., if (resp., ). The set of fixed points of is denoted by . A multivalued map is said to be * quasi-nonexpansive* if for all and for all .

A is said to satisfy * Condition (I)* if there is a nondecreasing function with for such that
for all .

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. The first results in this direction were established by Markin [1] in Hilbert spaces and by Browder [2] for spaces having weakly continuous duality mapping. Dozo [3] generalized these results to a Banach space satisfying Opial's condition.

In 1974, by using Edelstein's method of asymptotic centers, Lim [4] obtained a fixed point theorem for a multivalued nonexpansive self-mapping in a uniformly convex Banach space.

Theorem 1.1 (Lim [4]). * Let be a nonempty, closed convex, and bounded subset of a uniformly convex Banach space and a multivalued nonexpansive mapping. Then, has a fixed point.*

In 1990, Kirk and Massa [5] gave an extension of Lim's theorem proving the existence of a fixed point in a Banach space for which the asymptotic center of a bounded sequence in a closed bounded convex subset is nonempty and compact.

Theorem 1.2 (Kirk and Massa [5]). * Let be a nonempty, closed convex, and bounded subset of a Banach space and a multivalued nonexpansive mapping. Suppose that the asymptotic center in of each bounded sequence of is nonempty and compact. Then, has a fixed point.*

Banach contraction mapping principle was extended nicely multivalued mappings by Nadler [6] in 1969. (Below is stated in a Banach space setting).

Theorem 1.3 (Nadler [6]). *Let be a nonempty closed subset of a Banach space and a multivalued contraction. Then, has a fixed point.*

In 1953, Mann [7] introduced the following iterative scheme to approximate a fixed point of a nonexpansive mapping in a Hilbert space : where the initial point is taken arbitrarily in and is a sequence in . However, we note that Mann's iteration has only weak convergence; see, for example, [8].

In 2005, Sastry and Babu [9] proved that the Mann and Ishikawa iteration schemes for a multivalued map with a fixed point converge to a fixed point of under certain conditions. They also claimed that the fixed point may be different from .

In 2007, Panyanak [10] extended the results of Sastry and Babu to uniformly convex Banach spaces and proved the following theorems.

Theorem 1.4 (Panyanak [10]). *Let be a uniformly convex Banach space, a nonempty closed bounded convex subset of , and a multivalued nonexpansive mapping that satisfies condition . Assume that (i) and (ii). Suppose that a nonempty proximinal subset of . Then, the Mann iterates defined by ,
**
where such that and such that , converges strongly to a fixed point of .*

Theorem 1.5 (Panyanak [10]). *Let be a uniformly convex Banach space, a nonempty compact convex subset of , and a multivalued nonexpansive mapping with a fixed point . Assume that (i) ; (ii) and (iii) . Then, the Ishikawa iterates defined by ,
** such that , and
** such that converges strongly to a fixed point of .*

Later, Song and Wang [11] noted there was a gap in the proofs of Theorem 1.5 above and of [9, Theorem 5]. They further solved/revised the gap and also gave the affirmative answer Panyanak [10] question using the Ishikawa iterative scheme. In the main results, the domain of is still compact, which is a strong condition (see [11, Theorem 1]) and satisfies condition (see [11, Theorem 1]).

Recently, Shahzad and Zegeye [12] proved the following theorems for quasi-nonexpansive multivalued map and multivalued map in uniformly convex Banach space.

Theorem 1.6 (Shahzad and Zegeye [12]). * Let be a uniformly convex real Banach space and a nonempty, closed and convex subset of . Let be a quasi-nonexpansive multivalued map with for which , for all. Let be a sequence defined iteratively by ,
**, and
**. Assume that satisfies condition (I) and . Then, converges strongly to a fixed point of .*

Theorem 1.7 (Shahzad and Zegeye [12]). * Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be a multivalued map with such that is nonexpansive. Let be a sequence defined iteratively by ,
**, and
**. Assume that satisfies condition (I) and . Then, converges strongly to a fixed point of .*

More recently, Abbas et al. [13] introduced the following one-step iterative process to compute common fixed points of two multivalued nonexpansive mappings. Using (1.11), Abbas et al. [13] proved weak and strong convergence theorems for approximation of common fixed point of two multivalued nonexpansive mappings in Banach spaces.

Motivated by the ongoing research and the above mentioned results, we introduce a new iterative scheme for approximation of common fixed points of finite family of multivalued maps in a real Banach space. Furthermore, we prove strong convergence theorems for approximation of common fixed points of finite family of multivalued maps in a uniformly convex real Banach space. Next, we prove a necessary and sufficient condition for strong convergence of our new iterative process to a common fixed point of finite family of multivalued maps. Finally, we introduce a new iterative scheme and prove strong convergence theorems for finite family of quasi-nonexpansive multivalued maps in a uniformly convex real Banach space. Our results extend the results of Sastry and Babu [9], Panyanak [10], Shahzad and Zegeye [12], and Song and Wang [11].

#### 2. Preliminaries

Let be Banach space and . The * modulus of convexity * of is the function defined by is * uniformly convex * if for any , there exists a such that if with and , then . Equivalently, is uniformly convex if and only if for all .

A family is said to satisfy * Condition (II)* if there is a nondecreasing function with for such that
for all and .

The mapping is called * hemicompact* if for any sequence in such that as , there exists a subsequence of such that . We note that if is compact, then every multivalued mapping is hemicompact.

Let be a nonempty, closed, and convex subset of a real Banach space . Let be a multimap and Then, is nonempty and compact for every . Furthermore, we observe that if is a fixed point of .

A mapping is *-nonexpansive *([14]) if for all and with , there exists with such that

It is known that -nonexpansiveness is different from nonexpansiveness for multimaps. There are some -nonexpansive multimaps which are not nonexpansive and some nonexpansive multimaps which are not -nonexpansive ([15, 16]).

By the definition of Hausdorff metric, we obtain that if a multimap is -nonexpansive, then is nonexpansive.

Throughout this paper, we write to indicate that the sequence converges strongly to .

Also, this following lemma will be used in the sequel.

Lemma 2.1 (Schu [17]). *Suppose that is a uniformly convex Banach space and for all positive integers . Also, suppose that and are two sequences of such that and hold for some . Then, .*

#### 3. Main Results

We now introduce the following iteration scheme. Let be a real normed space and a nonempty subset of . Let be multivalued maps of into with such that are nonexpansive and a sequence in such that for all . Let be a sequence defined iteratively by where .

Lemma 3.1. *Let be a real normed space and a nonempty subset of . Let be multivalued maps of into with such that are nonexpansive. Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then,
*

*Proof. *Let . Then, from (3.1), we have the following estimates:
Thus, exists. Let
for some . Then,
Since is nonexpansive mapping and , we have
for each . Taking on both sides, we obtain
Next,
Using (3.5), (3.8), and Lemma 2.1, we obtain
This yields
Thus, . Furthermore,
Using (3.11) and Lemma 2.1, we obtain
This yields
Thus, . So,
Then,
In a similar way, we can show that
This completes the proof.

Theorem 3.2. *Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be multivalued maps of into with such that are nonexpansive and satisfying condition (II). Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of .*

*Proof. *Since satisfies condition (II), we have that as . Thus, there is a subsequence of and a sequence such that
for all . By Lemma 3.1, we obtain
We now show that is a Cauchy sequence in . Observe that
This shows that is a Cauchy sequence in , and thus converges to . Since
and as , it follows that , and thus , and converges strongly to . Since exists, it follows that converges strongly to . This completes the proof.

Corollary 3.3. *Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be -nonexpansive multimaps of into with and satisfying condition (II). Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of .*

Theorem 3.4. *Let be a uniformly convex real Banach space and a nonempty, closed and convex subset of . Let be multivalued maps of into with such that are nonexpansive and is hemicompact and continuous for each . Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of .*

*Proof. *Since for all and is hemicompact for each , there is a subsequence of such that as for some . Since is continuous for each , we have . As a result, we have that for all, and so, . Since exists, it follows that converges strongly to . This completes the proof.

Corollary 3.5. *Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be -nonexpansive multimaps of into with and is hemicompact and continuous for each . Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of .*

Theorem 3.6. *Let be a uniformly convex real Banach space and a nonempty compact convex subset of . Let be multivalued maps of into with such that are nonexpansive. Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of .*

*Proof. *From the compactness of , there exists a subsequence of such that for some . Thus,
Hence, . Now, on taking in place of , we get that exists. This completes the proof.

The following result gives a necessary and sufficient condition for strong convergence of the sequence in (3.1) to a common fixed point of .

Theorem 3.7. *Let be a nonempty, closed, and convex subset of a real Banach space . Let be multivalued maps of into with such that are nonexpansive. Let a sequence in such that for all . Let be a sequence defined iteratively by (3.1). Then, converges strongly to a common fixed point of if and only if .*

*Proof. *The necessity is obvious. Conversely, suppose that . By (3.3), we have
This gives
Hence, exists. By hypothesis, , so we must have .

Next, we show that is a Cauchy sequence in . Let be given, and since , there exists such that for all , we have
In particular, so that there must exist a such that
Now, for , we have
Hence, is a Cauchy sequence in a closed subset of a Banach space , and therefore, it must converge in . Let . Now, for each , we obtain
gives that which implies that . Consequently, .

All the results we have obtained so far can be established for finite family of quasi-nonexpansive multivalued maps. Let be quasi-nonexpansive multivalued maps of into such that for which , for all . Let a sequence in such that for all . Let be a sequence defined iteratively by where , . Thus, we obtain the following theorems using iterative process (3.28).

Theorem 3.8. *Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be quasi-nonexpansive multivalued maps of into such that for which , for all and satisfying condition (II). Let a sequence in such that for all . Let be a sequence defined iteratively by (3.28). Then, converges strongly to a common fixed point of .*

Theorem 3.9. *Let be a uniformly convex real Banach space and a nonempty, closed, and convex subset of . Let be quasi-nonexpansive multivalued maps of into such that for which , for all and is hemicompact and continuous for each . Let a sequence in such that for all . Let be a sequence defined iteratively by (3.28). Then, converges strongly to a common fixed point of .*

Theorem 3.10. *Let be a uniformly convex real Banach space and a nonempty compact convex subset of . Let be quasi-nonexpansive multivalued maps of into such that for which , for all . a sequence in such that for all . Let be a sequence defined iteratively by (3.28). Then, converges strongly to a common fixed point of .*

Corollary 3.11 (Abbas et al. [13]). * Let be a uniformly convex real Banach space satisfying Opial's condition. Let be a nonempty, closed, and convex of . Let be multivalued nonexpansive mappings of into such that . Let , and be sequence in satisfying . Let be a sequence defined iteratively by
**
where such that and whenever is a fixed point of any one of mappings and . Then, converges weakly to a common fixed point of .*

Corollary 3.12 (Abbas et al. [13]). *Let be a real Banach space and a nonempty, closed, and convex subset of . Let be multivalued nonexpansive mappings of into such that . Let and be sequence in satisfying . Let be a sequence defined iteratively by
**
where , such that and whenever is a fixed point of any one of mappings and . Then, converges strongly to a common fixed point of if and only if .*

*Remark 3.13. *Our results extend the results of Sastry and Babu [9], Panyanak [10], and Song and Wang [11] from approximation of a fixed point of a * single multivaued nonexpansive mapping* to approximation of common fixed point of * a finite family of quasi-nonexpansive multivaued mappings*.

*Remark 3.14. *Our results extend the results of Shahzad and Zegeye [12] from approximation of a fixed point of a * single quasi-nonexpansive multivaued mapping and single multivalued map* to approximation of common fixed point of * a finite family of quasi-nonexpansive multivaued mappings and a finite family of multivalued maps*.

#### References

- J. T. Markin, “A fixed point theorem for set valued mappings,”
*Bulletin of the American Mathematical Society*, vol. 74, pp. 639–640, 1968. View at: Publisher Site | Google Scholar | Zentralblatt MATH - F. E. Browder, “Nonlinear operators and nonlinear equations of evolution in Banach spaces,” in
*Nonlinear Functional Analysis (Proc. Sympos. Pure Math., Vol. XVIII, Part 2, Chicago, Ill., 1968)*, pp. 1–308, Amer. Math. Soc., Providence, RI, USA, 1976. View at: Google Scholar | Zentralblatt MATH - E. L. Dozo, “Multivalued nonexpansive mappings and Opial's condition,”
*Proceedings of the American Mathematical Society*, vol. 38, pp. 286–292, 1973. View at: Google Scholar | Zentralblatt MATH - T. C. Lim, “A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space,”
*Bulletin of the American Mathematical Society*, vol. 80, pp. 1123–1126, 1974. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. A. Kirk and S. Massa, “Remarks on asymptotic and Chebyshev centers,”
*Houston Journal of Mathematics*, vol. 16, no. 3, pp. 357–364, 1990. View at: Google Scholar | Zentralblatt MATH - S. B. Nadler Jr., “Multi-valued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 30, pp. 475–488, 1969. View at: Google Scholar | Zentralblatt MATH - W. R. Mann, “Mean value methods in iteration,”
*Proceedings of the American Mathematical Society*, vol. 4, pp. 506–510, 1953. View at: Publisher Site | Google Scholar | Zentralblatt MATH - A. Genel and J. Lindenstrauss, “An example concerning fixed points,”
*Israel Journal of Mathematics*, vol. 22, no. 1, pp. 81–86, 1975. View at: Publisher Site | Google Scholar | Zentralblatt MATH - K. P. R. Sastry and G. V. R. Babu, “Convergence of Ishikawa iterates for a multi-valued mapping with a fixed point,”
*Czechoslovak Mathematical Journal*, vol. 55(130), no. 4, pp. 817–826, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH - B. Panyanak, “Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces,”
*Computers & Mathematics with Applications*, vol. 54, no. 6, pp. 872–877, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH - Y. Song and H. Wang, “Erratum to: “Mann and Ishikawa iterative processes for multivalued mappings in Banach spaces” [Comput. Math. Appl. vol. 54 (2007), no. 6, 872–877; MR2348271] by B. Panyanak,”
*Computers & Mathematics with Applications*, vol. 55, no. 12, pp. 2999–3002, 2008. View at: Publisher Site | Google Scholar - N. Shahzad and H. Zegeye, “On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 3-4, pp. 838–844, 2009. View at: Publisher Site | Google Scholar - M. Abbas, S. H. Khan, A. R. Khan, and R. P. Agarwal, “Common fixed points of two multivalued nonexpansive mappings by one-step iterative scheme,”
*Applied Mathematics Letters*, vol. 24, no. 2, pp. 97–102, 2011. View at: Publisher Site | Google Scholar - T. Husain and A. Latif, “Fixed points of multivalued nonexpansive maps,”
*Mathematica Japonica*, vol. 33, no. 3, pp. 385–391, 1988. View at: Google Scholar | Zentralblatt MATH - N. Shahzad and H. Zegeye, “Strong convergence results for nonself multimaps in Banach spaces,”
*Proceedings of the American Mathematical Society*, vol. 136, no. 2, pp. 539–548, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. K. Xu, “On weakly nonexpansive and *-nonexpansive multi-valued mappings,”
*Mathematica Japonica*, vol. 36, pp. 441–445, 1991. View at: Google Scholar - J. Schu, “Weak and strong convergence to fixed points of asymptotically nonexpansive mappings,”
*Bulletin of the Australian Mathematical Society*, vol. 43, no. 1, pp. 153–159, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH

#### Copyright

Copyright © 2011 Yekini Shehu. 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.