/ / Article

Research Article | Open Access

Volume 2009 |Article ID 649831 | 18 pages | https://doi.org/10.1155/2009/649831

# Strong Convergence of Generalized Projection Algorithms for Nonlinear Operators

Accepted15 Oct 2009
Published11 Nov 2009

#### Abstract

We establish strong convergence theorems for finding a common element of the zero point set of a maximal monotone operator and the fixed point set of two relatively nonexpansive mappings in a Banach space by using a new hybrid method. Moreover we apply our main results to obtain strong convergence for a maximal monotone operator and two nonexpansive mappings in a Hilbert space.

#### 1. Introduction

Let be a real Banach space with and let be a nonempty closed convex subset of . A mapping of into itself is called nonexpansive if for all . We use to denote the set of fixed points of ; that is, . A mapping of into itself is called quasinonexpansive if is nonempty and for all and . For two mappings and of into itself, Das and Debata  considered the following iteration scheme: and where and are sequences in . In this case of , such an iteration process was considered by Ishikawa ; see also Mann . Das and Debata  proved the strong convergence of the iterates defined by (1.1) in the case when is strictly convex and , are quasinonexpansive mappings. Fixed point iteration processes for nonexpansive mappings in a Hilbert space and a Banach space including Das and Debata's iteration and Ishikawa's iteration have been studied by many researchers to approximating a common fixed point of two mappings; see, for instance, Takahashi and Tamura .

Let be a maximal monotone operator from to , where is the dual space of . It is well known that many problems in nonlinear analysis and optimization can be formulated as follows. Find a point satisfying We denote by the set of all points such that Such a problem contains numerous problems in economics, optimization, and physics. A well-known method to solve this problem is called the proximal point algorithm: and where and are the resovents of . Many researchers have studied this algorithm in a Hilbert space; see, for instance,  and in a Banach space; see, for instance, .

Next, we recall that for all and , we denote the value of at by . Then, the normalized duality mapping on is defined by We know that if is smooth, then the duality mapping is single valued. Next, we assume that is a smooth Banach space and define the function by

A point is said to be an asymptotic fixed point of  if contains a sequence which converges weakly to and . We denote the set of all asymptotic fixed points of by . A mapping is said to be relatively nonexpansive  if and for all and . The asymptotic behavior of a relatively nonexpansive mapping was studied in .

In 2004, Matsushita and Takahashi  proposed the following modification of Mann's iteration for a relatively nonexpansive mapping by using the hybrid method in a Banach space. Four years later, Qin and Su  have adapted Matsushita and Takahashi's idea  to modify Halpern's iteration and Ishikawa's iteration for a relatively nonexpansive mapping in a Banach space. In particular, in a Hilbert space Mann's iteration, Halpern's iteration, and Ishikawa's iteration were considered by many researchers.

Very recently, Inoue et al.  proved the following strong convergence theorem for finding a common element of the zero point set of a maximal monotone operator and the fixed point set of a relatively nonexpansive mapping by using the hybrid method.

Theorem 1.1 (Inoue et al. ). Let be a uniformly convex and uniformly smooth Banach space and let be a nonempty closed convex subset of . Let be a maximal monotone operator satisfying and let for all . Let be a relatively nonexpansive mapping such that . Let be a sequence generated by and for all , where is the duality mapping on , , and for some . If , then converges strongly to , where is the generalized projection of onto .

The purpose of this paper is to employ the idea of Inoue et al.  and Das and Debata  to introduce a new hybrid method for finding a common element of the zero point set of a maximal monotone operator and the fixed point set of two relatively nonexpansive mappings. We prove a strong convergence theorem of the new hybrid method. Moreover we apply our main results to obtain strong convergence for a maximal monotone operator and two nonexpansive mappings in a Hilbert space.

#### 2. Preliminaries

Throughout this paper, all linear spaces are real. Let and be the sets of all positive integers and real numbers, respectively. Let be a Banach space and let be the dual space of . For a sequence of and a point , the weak convergence of to and the strong convergence of to are denoted by and , respectively.

Let be the unit sphere centered at the origin of . Then the space is said to be smooth if the limit exists for all . It is also said to be uniformly smooth if the limit exists uniformly in . A Banach space is said to be strictly convex if whenever and . It is said to be uniformly convex if for each , there exists such that whenever and . We know the following :

(i)if is smooth, then is single-valued;(ii)if is reflexive, then is onto;(iii)if is strictly convex, then is one to one;(iv)if is strictly convex, then is strictly monotone;(v)if is uniformly smooth, then is uniformly norm-to-norm continuous on each bounded subset of .

A Banach space is said to have the Kadec-Klee property if for a sequence of satisfying that and , . It is known that if is uniformly convex, then has the Kadec-Klee property; see [18, 19] for more details. Let be a smooth, strictly convex, and reflexive Banach space and let be a closed convex subset of . Throughout this paper, define the function by Observe that, in a Hilbert space , (2.2) reduces to , for all . It is obvious from the definition of the function that, for all ,

(1),(2),(3).

Following Alber , the generalized projection from onto is a map that assigns to an arbitrary point the minimum point of the functional ; that is, , where is the solution to the minimization problem Existence and uniqueness of the operator follows from the properties of the functional and strict monotonicity of the mapping . In a Hilbert space, is the metric projection of onto . We need the following lemmas for the proof of our main results.

Lemma 2.1 (Kamimura and Takahashi ). Let be a uniformly convex and smooth Banach space and let and be two sequences in such that either or is bounded. If , then .

Lemma 2.2 (Matsushita and Takahashi ). Let be a closed convex subset of a smooth, strictly convex, and reflexive Banach space and let be a relatively nonexpansive mapping from into itself. Then is closed and convex.

Lemma 2.3 (Alber  and Kamimura and Takahashi ). Let be a closed convex subset of a smooth, strictly convex, and reflexive Banach space, and let . Then, if and only if for all .

Lemma 2.4 (Alber  and Kamimura and Takahashi ). Let be a closed convex subset of a smooth, strictly convex, and reflexive Banach space. Then

Let be a smooth, strictly convex, and reflexive Banach space, and let be a set-valued mapping from to with graph , domain , and range . We denote a set-valued operator from to by . is said to be monotone if , for all A monotone operator is said to be maximal monotone if its graph is not properly contained in the graph of any other monotone operator. We know that if is a maximal monotone operator, then is closed and convex. The following theorem is well known.

Lemma 2.5 (Rockafellar ). Let be a smooth, strictly convex, and reflexive Banach space and let be a monotone operator. Then is maximal if and only if for all .

Let be a smooth, strictly convex, and reflexive Banach space, let be a nonempty closed convex subset of and let be a monotone operator satisfying Then we can define the resolvent of by We know that consists of one point. For , the Yosida approximation is defined by for all .

Lemma 2.6 (Kohsaka and Takahashi ). Let be a smooth, strictly convex, and reflexive Banach space, let be a nonempty closed convex subset of and let be a monotone operator satisfying Let and let and be the resolvent and the Yosida approximation of , respectively. Then, the following hold:(i), for all , ;(ii), for all ;(iii).

Lemma 2.7 (Zălinescu  and Xu ). Let be a uniformly convex Banach space and let . Then there exists a strictly increasing, continuous, and convex function such that and for all and , where .

#### 3. Main Results

In this section, we prove a strong convergence theorem for finding a common element of the zero point set of a maximal monotone operator and the fixed point set of two relatively nonexpansive mappings in a Banach space by using the hybrid method.

Theorem 3.1. Let be a uniformly convex and uniformly smooth Banach space and let be a nonempty closed convex subset of . Let be a maximal monotone operator satisfying and let for all . Let and be relatively nonexpansive mappings from into itself such that . Let be a sequence generated by and for all , where is the duality mapping on , and for some . If and , then converges strongly to , where is the generalized projection of onto .

Proof. We first show that and are closed and convex for each . From the definitions of and , it is obvious that is closed and is closed and convex for each . Next, we prove that is convex. Since is equivalent to which is affine in , and hence is convex. So, is a closed and convex subset of for all . Next, we show that for all . Indeed, let and for all . Since are relatively nonexpansive mappings, we have It follows that So, for all , which implies that . Next, we show that for all . We prove by induction. For , we have . Assume that . Since is the projection of onto , by Lemma 2.3 we have As by the induction assumptions, we have This together with definition of implies that and hence for all . So, we have that for all . This implies that is well defined. From definition of that and , we have Therefore, is nondecreasing. It follows from Lemma 2.4 and that for all . Therefore, is bounded. Moreover, by definition of , we know that is bounded. So, we have and are bounded. So, the limit of exists. From and Lemma 2.4, we have for all . This implies that . From , we have Therefore, we have .
Since and is uniformly convex and smooth, we have from Lemma 2.1 that So, we have Since is uniformly norm-to-norm continuous on bounded sets, we have On the other hand, we have This follows that From (3.12) and , we obtain that .
Since is uniformly norm-to-norm continuous on bounded sets, we have From we have Since and are bounded, we also obtain that and are bounded. So, there exists such that . Therefore Lemma 2.7 is applicable and we observe that where is a continuous, strictly increasing, and convex function with . That is
Let be any subsequence of . Since is bounded, there exists a subsequence of such that where . By (2) and (3), we have Since and hence , it follows that We also have from (3.3) that and hence Since , it follows from (3.19) that . By properties of the function , we have . Since is also uniformly norm-to-norm continuous on bounded sets, we obtain and then So, we have . Since it follows that , and hence From (3.3), we have Using and Lemma 2.6, we have It follows that Since , we have that . So, we have Since is uniformly convex and smooth, we have from Lemma 2.1 that Since from (3.17), (3.25), (3.27), and (3.31), we obtain that Since is bounded, there exists a subsequence of such that . From and , we have and . Since and are relatively nonexpansive, we have that . Next, we show . Since is uniformly norm-to-norm continuous on bounded sets, from (3.31) we have From , we have Therefore, we have For , from the monotonicity of , we have for all . Replacing by and letting , we get . From the maximallity of , we have , that is, .
Finally, we show that . Let . From and , we obtain that Since the norm is weakly lower semicontinuous, we have From the definition of , we obtain . This implies that Therefore we have Since has the Kadec-Klee property, we obtain that . Since is an arbitrary weakly convergent subsequence of , we can conclude that converges strongly to . This completes the proof.

As direct consequences of Theorem 3.1, we can obtain the following corollaries.

Corollary 3.2. Let be a uniformly convex and uniformly smooth Banach space and let be a nonempty closed convex subset of . Let be a maximal monotone operator satisfying and let for all . Let be a relatively nonexpansive mapping from into itself such that . Let be a sequence generated by and for all , where is the duality mapping on , , and for some . If and , then converges strongly to , where is the generalized projection of onto .

Proof. Putting in Theorem 3.1, we obtain Corollary 3.2.

Corollary 3.3. Let be a uniformly convex and uniformly smooth Banach space and let be a nonempty closed convex subset of . Let be a maximal monotone operator satisfying and let for all . Let be a relatively nonexpansive mapping such that . Let be a sequence generated by and for all , where is the duality mapping on , , and for some . If , then converges strongly to , where is the generalized projection of onto .

Proof. Putting and in Theorem 3.1, we obtain Corollary 3.3.

Let be a Banach space and let be a proper lower semicontinuous convex function. Define the subdifferential of as follows: for each . Then, we know that is a maximal monotone operator; see  for more details.

Corollary 3.4. Let be a uniformly convex and uniformly smooth Banach space and let be a nonempty closed convex subset of . Let and be relatively nonexpansive mappings from into itself such that . Let be a sequence generated by and for all , where is the duality mapping on and . If and , then converges strongly to , where is the generalized projection of onto .

Proof. Set in Theorem 3.1, where is the indicator function; that is, Then, we have that is a maximal monotone operator and for . In fact, for any and , we have from Lemma 2.3 that So, from Theorem 3.1, we obtain Corollary 3.4.

#### 4. Applications

In this section, we discuss the problem of strong convergence concerning a maximal monotone operator and two nonexpansive mappings in a Hilbert space. Using Theorem 3.1, we obtain the following results.

Theorem 4.1. Let be a nonempty closed convex subset of a Hilbert space . Let be a monotone operator satisfying and let for all . Let and be nonexpansive mappings from into itself such that . Let be a sequence generated by and for all , where and for some . If and , then converges strongly to , where is the metric projection of onto .

Proof. We know that every nonexpansive mapping with a fixed point is a relatively nonexpansive one. We also know that for all . Using Theorem 3.1, we are easily able to obtain the desired conclusion by putting . This completes the proof.

The following corollary follows from Theorem 4.1.

Corollary 4.2. Let be a nonempty closed convex subset of a Hilbert space . Let be a monotone operator satisfying and let for all . Let be a nonexpansive mapping from into itself such that . Let be a sequence generated by and for all , where and for some . If and , then converges strongly to , where is the metric projection of onto .

Proof. Putting in Theorem 4.1, we obtain Corollary 4.2.

Corollary 4.3. Let be a nonempty closed convex subset of a Hilbert space . Let be a maximal monotone operator satisfying and let for all . Let be a nonexpansive mapping from into itself such that . Let be a sequence generated by and for all , where and for some . If then converges strongly to , where is the metric projection of onto .

Proof. Putting and in Theorem 4.1, we obtain Corollary 4.3.

Corollary 4.4. Let be a nonempty closed convex subset of a Hilbert space . Let and be nonexpansive mappings from into itself such that . Let be a sequence generated by and for all , where . If and , then converges strongly to , where is the metric projection of onto .

Proof. Set in Theorem 4.1, where is the indicator function; that is, Then, we have that is a maximal monotone operator and for . In fact, for any and , we have that So, from Theorem 4.1, we obtain Corollary 4.4.

#### Acknowledgments

The authors would like to thank the referee for valuable suggestions to improve this manuscript and the Thailand Research Fund (RGJ Project) and Commission on Higher Education for their financial support during the preparation of this paper. The first author was supported by the Royal Golden Jubilee Grant PHD/0018/2550 and the Graduate School, Chiang Mai University, Thailand. The third author is supported by Grant-in-Aid for Scientific Research no. 19540167 from Japan Society for the Promotion of Science.

1. G. Das and J. P. Debata, “Fixed points of quasinonexpansive mappings,” Indian Journal of Pure and Applied Mathematics, vol. 17, no. 11, pp. 1263–1269, 1986.
2. S. Ishikawa, “Fixed points by a new iteration method,” Proceedings of the American Mathematical Society, vol. 44, pp. 147–150, 1974.
3. W. R. Mann, “Mean value methods in iteration,” Proceedings of the American Mathematical Society, vol. 4, pp. 506–510, 1953.
4. W. Takahashi and T. Tamura, “Convergence theorems for a pair of nonexpansive mappings,” Journal of Convex Analysis, vol. 5, no. 1, pp. 45–56, 1998.
5. S. Kamimura and W. Takahashi, “Approximating solutions of maximal monotone operators in Hilbert spaces,” Journal of Approximation Theory, vol. 106, no. 2, pp. 226–240, 2000.
6. S. Kamimura and W. Takahashi, “Strong convergence of a proximal-type algorithm in a Banach space,” SIAM Journal on Optimization, vol. 13, no. 3, pp. 938–945, 2002. View at: Publisher Site | Google Scholar | MathSciNet
7. R. T. Rockafellar, “Monotone operators and the proximal point algorithm,” SIAM Journal on Control and Optimization, vol. 14, no. 5, pp. 877–898, 1976.
8. M. V. Solodov and B. F. Svaiter, “Forcing strong convergence of proximal point iterations in a Hilbert space,” Mathematical Programming, vol. 87, no. 1, pp. 189–202, 2000.
9. R. E. Bruck and S. Reich, “Nonexpansive projections and resolvents of accretive operators in Banach spaces,” Houston Journal of Mathematics, vol. 3, no. 4, pp. 459–470, 1977.
10. S. Kamimura, F. Kohsaka, and W. Takahashi, “Weak and strong convergence theorems for maximal monotone operators in a Banach space,” Set-Valued Analysis, vol. 12, no. 4, pp. 417–429, 2004.
11. F. Kohsaka and W. Takahashi, “Strong convergence of an iterative sequence for maximal monotone operators in a Banach space,” Abstract and Applied Analysis, vol. 2004, no. 3, pp. 239–249, 2004.
12. S. Reich, “A weak convergence theorem for the alternating method with Bregman distances,” in Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, A. G. Katrosatos, Ed., vol. 178 of Lecture Notes in Pure and Applied Mathematics, pp. 313–318, Marcel Dekker, New York, NY, USA, 1996.
13. D. Butnariu, S. Reich, and A. J. Zaslavski, “Asymptotic behavior of relatively nonexpansive operators in Banach spaces,” Journal of Applied Analysis, vol. 7, no. 2, pp. 151–174, 2001.
14. D. Butnariu, S. Reich, and A. J. Zaslavski, “Weak convergence of orbits of nonlinear operators in reflexive Banach spaces,” Numerical Functional Analysis and Optimization, vol. 24, no. 5-6, pp. 489–508, 2003.
15. S. Matsushita and W. Takahashi, “A strong convergence theorem for relatively nonexpansive mappings in a Banach space,” Journal of Approximation Theory, vol. 134, no. 2, pp. 257–266, 2005.
16. X. Qin and Y. Su, “Strong convergence theorems for relatively nonexpansive mappings in a Banach space,” Nonlinear Analysis: Theory, Methods & Applications, vol. 67, no. 6, pp. 1958–1965, 2007.
17. G. Inoue, W. Takahashi, and K. Zembayashi, “Strong convergence theorems by hybrid methods for maximal monotone operator and relatively nonexpansive mappings in Banach spaces,” to appear in Journal of Convex Analysis. View at: Google Scholar
18. W. Takahashi, Nonlinear Functional Analysis: Fixed Point Theory and Its Application, Yokohama Publishers, Yokohama, Japan, 2000. View at: MathSciNet
19. W. Takahashi, Convex Analysis and Application of Fixed Points, vol. 2 of Mathematical Analysis Series, Yokohama Publishers, Yokohama, Japan, 2000. View at: MathSciNet
20. Y. I. Alber, “Metric and generalized projection operators in Banach spaces: properties and applications,” in Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, A. G. Katrosatos, Ed., vol. 178 of Lecture Notes in Pure and Applied Mathematics, pp. 15–50, Marcel Dekker, New York, NY, USA, 1996.
21. R. T. Rockafellar, “On the maximality of sums of nonlinear monotone operators,” Transactions of the American Mathematical Society, vol. 149, pp. 75–88, 1970.
22. F. Kohsaka and W. Takahashi, “Existence and approximation of fixed points of firmly nonexpansive-type mappings in Banach spaces,” SIAM Journal on Optimization, vol. 19, no. 2, pp. 824–835, 2008.
23. C. Zălinescu, “On uniformly convex functions,” Journal of Mathematical Analysis and Applications, vol. 95, no. 2, pp. 344–374, 1983.
24. H. K. Xu, “Inequalities in Banach spaces with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 16, no. 12, pp. 1127–1138, 1991.