Abstract and Applied Analysis

Volume 2013 (2013), Article ID 369412, 7 pages

http://dx.doi.org/10.1155/2013/369412

## Convergence of a Viscosity Iterative Method for Multivalued Nonself-Mappings in Banach Spaces

Department of Mathematics, Dong-A University, Busan 604-714, Republic of Korea

Received 9 October 2012; Accepted 9 January 2013

Academic Editor: Yuriy Rogovchenko

Copyright © 2013 Jong Soo Jung. 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.

#### Abstract

Let be a reflexive Banach space having a weakly sequentially continuous duality mapping with gauge function , a nonempty closed convex subset of , and a multivalued nonself-mapping such that is nonexpansive, where . Let be a contraction with constant . Suppose that, for each and , the contraction defined by has a fixed point . Let , and be three sequences in satisfying approximate conditions. Then, for arbitrary , the sequence generated by for all converges strongly to a fixed point of .

#### 1. Introduction

Let be a Banach space and a nonempty closed subset of . We will denote by the family of nonempty closed subsets of , by the family of nonempty closed bounded subsets of , by the family of nonempty compact subsets of , and by the family of nonempty compact convex subsets of . Let be the Hausdorff distance on ; that is,
for all , where is the distance from the point to the subset . Recall that a mapping is a * contraction* on if there exists a constant such that .

A multivalued mapping is said to be a * contraction* if there exists a constant such that
If (2) is valid when , the is called nonexpansive. A point is a fixed point for a multivalued mapping if . Banach's contraction principle was extended to a multivalued contraction by Nadler [1] in 1969. The set of fixed points of is denoted by .

Given a contraction with constant and , we can define a contraction by Then is a multivalued, and hence it has a (nonunique, in general) fixed point (see [1]); that is, If is single valued, we have which was studied by Moudafi [2] (see also Xu [3]). As a special case of (5), has been considered by Browder [4], Halpern [5], Jung and Kim [6, 7], Kim and Takahashi [8], Reich [9], Singh and Watson [10], Takahashi and Kim [11], Xu [12], and Xu and Yin [13] in a Hilbert space and Banach spaces.

In 2007, Jung [14] established the strong convergence of defined by for the multivalued nonexpansive nonself-mapping in a reflexive Banach space having a uniformly Gâteaux differentiable norm under the assumption .

In order to give a partial answer to Jung's open question [14] *Can the assumption ** be omitted?*, in 2008, Shahzad and Zegeye [15] considered a class of multivalued mapping under some mild conditions as follows.

Let be a closed convex subset of a Banach space . Let be a multivalued nonself-mapping and Then is multivalued, and is nonempty and compact for every . Instead of we consider, for , that

It is clear that , and if is nonexpansive and is weakly inward, then is weakly inward contraction. Theorem 1 of Lim [16] guarantees that has a fixed point, point ; that is, If is single valued, then (10) is reduced to (6).

Shahzad and Zegeye [15] also gave the strong convergence result of defined by (10) in a reflexive Banach space having a uniformly Gâteaux differentiable norm, which unified, extended, and complemented several known results including those of Jung [14], Jung and Kim [6, 7], Kim and Jung [17], López Acedo and Xu [18], Sahu [19], and Xu and Yin [13].

In 2009, motivated by the results of Rafiq [20] and Yao et al. [21], Ceng and Yao [22] considered the following iterative scheme.

Theorem CY (see [22, Theorem 3.1]). *Let be a uniformly convex Banach space having a uniformly Gâteaux differentiable norm, a nonempty closed convex subset of , and a multivalued nonself-mapping such that is nonexpansive. Suppose that is a nonexpansive retract of and that for each and the contraction defined by has a fixed point . Let , , and be three sequences in satisfying the following conditions:*(i)*;*(ii)* and .** For arbitrary initial value and a fixed element , let the sequence be generated by
**
Then converges strongly to a fixed point of . *

Theorem CY also improves, develops, and complements the corresponding results in Jung [14], Jung and Kim [6, 7], Kim and Jung [17], López Acedo and Xu [18], Shahzad and Zegeye [15], and Xu and Yin [13] to the iterative scheme (11). For convergence of related iterative schemes for several nonlinear mappings, we can refer to [23–26] and the references therein.

In this paper, inspired and motivated by the above-mentioned results, we consider a viscosity iterative method for a multivalued nonself-mapping in a reflexive Banach space having a weakly sequentially continuous duality mapping and establish the strong convergence of the sequence generated by the proposed iterative method. Our results improve and develop the corresponding results of Ceng and Yao [22], as well as some known results in the earlier and recent literature, including those of Jung [14], Jung and Kim [6, 7], Kim and Jung [17], López Acedo and Xu [18], Sahu [19], Shahzad and Zegeye [15], Xu [12], and Xu and Yin [13], to the viscosity iterative scheme in different Banach space.

#### 2. Preliminaries

Let be a real Banach space with norm , and let be its dual. The value of at will be denoted by .

A Banach space is called * uniformly convex* if for every , where the modulus of convexity of is defined by
for every with . It is well known that if is uniformly convex, then is reflexive and strictly convex (cf. [27]).

By a gauge function we mean a continuous strictly increasing function defined on such that and . The mapping defined by
is called the *duality mapping* with gauge function . In particular, the duality mapping with gauge function denoted by is referred to as the * normalized duality mapping*. It is known that a Banach space is smooth if and only if the normalized duality mapping is single valued. The following property of duality mapping is also well known:
where is the set of all real numbers; in particular, for all ([28]).

We say that a Banach space has a * weakly sequentially continuous duality mapping* if there exists a gauge function such that the duality mapping is single valued and continuous from the weak topology to the topology; that is, for any with . For example, every space has a weakly continuous duality mapping with gauge function . It is well known that if is a Banach space having a weakly sequentially continuous duality mapping with gauge function , then has the * opial condition* [29]; this is, whenever a sequence in converges weakly to , then
A mapping is *-nonexpansive* [30] if, for all and with , there exists with such that
It is known that -nonexpansiveness is different from nonexpansiveness for multivalued mappings. There are some -nonexpansiveness multivalued mappings which are not nonexpansive and some nonexpansive multivalued mappings which are not -nonexpansive [31].

We introduce some terminology for boundary conditions for nonself-mappings. The * inward set* of at is defined by
Let with
for any . Note that, for a convex set , we have , the closure of . A multivalued mapping is said to satisfy the * weak inwardness condition* if for all .

Finally, the following lemma was given by Xu [32] (also see Xu [33]).

Lemma 1. *If is a closed bounded convex subset of a uniformly convex Banach space and is a nonexpansive mapping satisfying the weak inwardness condition, then has a fixed point.*

#### 3. Main Results

Now, we establish strong convergence of a viscosity iterative scheme for a multivalued nonself-mapping.

Theorem 2. *Let be a reflexive Banach space having a weakly sequentially continuous duality mapping with gauge function . Let be a nonempty closed convex subset of and a multivalued nonself-mapping such that and is nonexpansive. Let be a contraction with constant . Suppose that for each and , the contraction defined by has a fixed point . Let , , and be three sequences in satisfying the following conditions:*(i)*;*(ii)* and .** For arbitrary initial value , let the sequence be defined by
**
Then converges strongly to a fixed point of . *

* Proof. *First, observe that, for each ,
From , , it follows that . Also, notice that, for each and , the contraction defined by has a fixed point . Thus, for and , there exists such that
This shows that the sequence can be defined well via the following:
Therefore, for any , we can find some such that
Next, we divide the proof into several steps. *Step *1. We show that is bounded. Indeed, notice that whenever is a fixed point of . Let . Then and we have
It follows that
and so
By induction, we have
Hence is bounded and so are and . *Step *2. We show that . In fact, since for some , by conditions (i) and (ii), we have
*Step *3*.* We show that there exists . In fact, since and are bounded and is reflexive, there exists a subsequence of such that . For this , by compactness of , we can find , , such that
Now suppose that and . The sequence has a convergent subsequence, which is denoted again by with . Assume that . Since a Banach space having the weakly sequentially continuous duality mapping satisfies the opial condition [29], by Step 2, we have
which is a contradiction. Hence we have , and so . *Step *4. We show that for . Indeed, for , by (24), we have
So,
Thus it follows that
Hence, from condition (ii), we conclude that
*Step *5. We show that , where is defined as in Step 3. Indeed, for ,
Interchanging and in (35), we obtain
and so
Using the fact that is weakly sequentially continuous, Step 4, and condition (ii), we have
This implies that as . In fact, if , then , and by (38) . This means that , which is a contradiction. Thus we proved that there exists a subsequence of which converges strongly to a fixed point of . *Step *6. We show that the entire sequence converges strongly to . Suppose that there exists another subsequence of such that as . Since as , it follows that and so ; that is, . Notice that . Since is bounded and the duality mapping is single valued and weakly sequentially continuous from to , we have

Thus, from Steps 2 and 4, it follows that

By the same argument, we also have

Therefore, from (40) and (41), we obtain
and so . Thus . This completes the proof.

*Remark 3. *(1) In Theorem 2, if , is a constant mapping, then the iterative scheme (19) is reduced to the iterative scheme (11) in Theorem CY of Ceng and Yao [22] in the Introduction section. Therefore Theorem 2 improves Theorem CY to the viscosity iterative scheme in different Banach space.

(2) In Theorem 2, we remove the assumption that is a nonexpansive retract of in Theorem CY.

(3) In Theorem 2, if for , then the iterative scheme (19) becomes the following scheme:
which is a viscosity iterative scheme for those in Shahzad and Zegeye [15]. Therefore Theorem 2 develops Theorem 3.1 of Shahzad and Zegeye [15], as well as Theorem 1 of Jung [14], to the viscosity iterative method in different Banach space.

(4) Theorem 2 also improves and complements the corresponding results of Kim and Jung [17] and Sahu [19] as well as Jung and Kim [6, 7], López Acedo and Xu [18], and Xu and Yin [13].

By definition of the Hausdorff metric, we obtain that if is -nonexpansive, then is nonexpansive. Hence, as a direct consequence of Theorem 2, we have the following result.

Corollary 4. *Let be a reflexive Banach space having a weakly sequentially continuous duality mapping with gauge function . Let be a nonempty closed convex subset of and a multivalued -nonexpansive nonself-mapping such that . Let be a contraction with constant . Suppose that, for each and , the contraction defined by has a fixed point . Let , , and be three sequences in satisfying the following conditions:*(i)*;*(ii)* and .** For arbitrary initial value , let the sequence be generated by (19). Then converges strongly to a fixed point of . *

It is well known that every nonempty closed convex subset of a strictly convex and reflexive Banach space is Chebyshev; that is, for any , there is a unique element such that . Thus, we have the following corollary.

Corollary 5. *Let be a strictly convex and reflexive Banach space having a weakly sequentially continuous duality mapping with gauge function . Let be a nonempty closed convex subset of and a multivalued nonself-mapping such that and is nonexpansive. Let be a contraction with constant . Suppose that, for each and , the contraction defined by has a fixed point . Let , , and be three sequences in satisfying the following conditions:*(i)*; *(ii)* and .** For arbitrary initial value , let the sequence be generated by (19). Then converges strongly to a fixed point of . *

* Proof. *In this case, is Chebyshev for each . So is a selector of and is single valued. Thus the result follows from Theorem 2.

Corollary 6. *Let be a strictly convex and reflexive Banach space having a weakly sequentially continuous duality mapping with gauge function . Let be a nonempty closed convex subset of and a multivalued -nonexpansive nonself-mapping such that . Let be a contraction with constant . Suppose that, for each and , the contraction defined by has a fixed point . Let , , and be three sequences in satisfying the following conditions:*(i)*;*(ii)* and .** For arbitrary initial value , let the sequence be generated by (19). Then converges strongly to a fixed point of . *

Corollary 7. *Let be a uniformly convex Banach space having a weakly sequentially continuous duality mapping with gauge function . Let be a nonempty closed convex subset of and a multivalued nonself-mapping satisfying the weak inwardness condition such that is nonexpansive. Let be a contraction with constant . Let , , and be three sequences in satisfying the following conditions:*(i)*;*(ii)* and .*

*Proof. *Define, for each and , the contraction by
As it is easily seen that also satisfies the weak inwardness condition: for all , it follows from Lemma 1 that has a fixed point denoted by . Thus the result follows from Theorem 2.

*Remark 8. *(1) As in [31], Shahzad and Zegeye [15] gave the following example of a multivalued such that is nonexpansive. Let , and let be defined by for . Then for . Also is -nonexpansive but not nonexpansive (see [31]).

(2) Corollaries 4–7 develop Corollaries 3.3–3.6 of Ceng and Yao [22] to the viscosity iterative method in different Banach spaces.

(3) By replacing the iterative scheme (11) in Theorem CY with the iterative scheme (19) in Theorem 2 and using the same proof lines as Theorem CY together with our method, we can also establish the viscosity iteration version of Theorem CY.

#### Acknowledgments

The author thanks the anonymous referees for their valuable comments and suggests, which improved the presentation of this paper and for providing some recent related papers. This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012000895).

#### References

- S. B. Nadler, Jr., “Multi-valued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 30, pp. 475–488, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Moudafi, “Viscosity approximation methods for fixed-points problems,”
*Journal of Mathematical Analysis and Applications*, vol. 241, no. 1, pp. 46–55, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu, “Viscosity approximation methods for nonexpansive mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 298, no. 1, pp. 279–291, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. E. Browder, “Convergence of approximants to fixed points of nonexpansive non-linear mappings in Banach spaces,”
*Archive for Rational Mechanics and Analysis*, vol. 24, pp. 82–90, 1967. View at Google Scholar · View at MathSciNet - B. Halpern, “Fixed points of nonexpanding maps,”
*Bulletin of the American Mathematical Society*, vol. 73, pp. 957–961, 1967. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. S. Jung and S. S. Kim, “Strong convergence theorems for nonexpansive nonself-mappings in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 33, no. 3, pp. 321–329, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. S. Jung and T. H. Kim, “Strong convergence of approximating fixed points for nonexpansive nonself-mappings in Banach spaces,”
*Kodai Mathematical Journal*, vol. 21, no. 3, pp. 259–272, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. E. Kim and W. Takahashi, “Strong convergence theorems for nonexpansive nonself-mappings in Banach spaces,”
*Nihonkai Mathematical Journal*, vol. 7, no. 1, pp. 63–72, 1996. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Reich, “Strong convergence theorems for resolvents of accretive operators in Banach spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 75, no. 1, pp. 287–292, 1980. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. P. Singh and B. Watson, “On approximating fixed points,”
*Proceedings of Symposia in Pure Mathematics*, vol. 45, no. 2, pp. 393–395, 1988. View at Google Scholar - W. Takahashi and G. E. Kim, “Strong convergence of approximants to fixed points of nonexpansive nonself-mappings in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 32, no. 3, pp. 447–454, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu, “Approximating curves of nonexpansive nonself-mappings in Banach spaces,”
*Comptes Rendus de l'Académie des Sciences, Série I*, vol. 325, no. 2, pp. 151–156, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu and X. M. Yin, “Strong convergence theorems for nonexpansive non-self-mappings,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 24, no. 2, pp. 223–228, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - J. S. Jung, “Strong convergence theorems for multivalued nonexpansive nonself-mappings in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 66, no. 11, pp. 2345–2354, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. C. Lim, “A fixed point theorem for weakly inward multivalued contractions,”
*Journal of Mathematical Analysis and Applications*, vol. 247, no. 1, pp. 323–327, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. H. Kim and J. S. Jung, “Approximating fixed points of nonlinear mappings in Banach spaces,” in
*Proceedings of the Workshop on Fixed Point Theory (Kazimierz Dolny, 1997)*, vol. 51, no. 2, pp. 149–165, 1997. View at MathSciNet - G. López Acedo and H. K. Xu, “Remarks on multivalued nonexpansive mappings,”
*Soochow Journal of Mathematics*, vol. 21, no. 1, pp. 107–115, 1995. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. R. Sahu, “Strong convergence theorems for nonexpansive type and non-self-multi-valued mappings,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 37, no. 3, pp. 401–407, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Rafiq, “On Mann iteration in Hilbert spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 66, no. 10, pp. 2230–2236, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Yao, Y. C. Liou, and R. Chen, “Strong convergence of an iterative algorithm for pseudocontractive mapping in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 67, no. 12, pp. 3311–3317, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. C. Ceng and J. C. Yao, “Strong convergence of an iterative algorithm for nonself multimaps in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 10, pp. 4476–4485, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Alber, S. Reich, and J. C. Yao, “Iterative methods for solving fixed-point problems with nonself-mappings in Banach spaces,”
*Abstract and Applied Analysis*, vol. 2003, no. 4, pp. 193–216, 2003, Proceedings of the International Conference on Fixed Point Theory and its Applications. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. C. Ceng, A. Petruşel, and J. C. Yao, “Iterative approximation of fixed points for asymptotically strict pseudocontractive type mappings in the intermediate sense,”
*Taiwanese Journal of Mathematics*, vol. 15, no. 2, pp. 587–606, 2011. View at Google Scholar · View at MathSciNet - A. Petruşel and J. C. Yao, “Viscosity approximation to common fixed points of families of nonexpansive mappings with generalized contractions mappings,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 4, pp. 1100–1111, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Takahashi, J. C. Yao, and P. Kocourek, “Weak and strong convergence theorems for generalized hybrid nonself-mappings in Hilbert spaces,”
*Journal of Nonlinear and Convex Analysis*, vol. 11, no. 3, pp. 567–586, 2010. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Goebel and S. Reich,
*Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings*, vol. 83 of*Monographs and Textbooks in Pure and Applied Mathematics*, Marcel Dekker, New York, NY, USA, 1984. View at MathSciNet - I. Cioranescu,
*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems*, vol. 62 of*Mathematics and Its Applications*, Kluwer Academic, Dordrecht, The Netherlands, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - K. Goebel and W. A. Kirk,
*Topics in Metric Fixed Point Theory*, vol. 28 of*Cambridge Studies in Advanced Mathematics*, Cambridge University Press, Cambridge, UK, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - 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 · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu, “On weakly nonexpansive and *-nonexpansive multivalued mappings,”
*Mathematica Japonica*, vol. 36, no. 3, pp. 441–445, 1991. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu, “Multivalued nonexpansive mappings in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 43, no. 6, pp. 693–706, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. K. Xu, “Metric fixed point theory for multivalued mappings,”
*Dissertationes Mathematicae (Rozprawy Matematyczne)*, vol. 389, p. 39, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet