- Research Article
- Open Access
Shrinking Projection Method of Common Solutions for Generalized Equilibrium Quasi- -Nonexpansive Mapping and Relatively Nonexpansive Mapping
© Min Liu et al. 2010
- Received: 18 September 2009
- Accepted: 18 February 2010
- Published: 3 March 2010
We prove a strong convergence theorem for finding a common element of the set of solutions for generalized equilibrium problems, the set of fixed points of a relatively nonexpansive mapping, and the set of fixed points of a quasi- -nonexpansive mapping in a Banach space by using the shrinking Projection method. Our results improve the main results in S. Takahashi and W. Takahashi (2008) and Takahashi and Zembayashi (2008). Moreover, the method of proof adopted in the paper is different from that of S. Takahashi and W. Zembayashi (2008).
- Banach Space
- Iterative Method
- Equilibrium Problem
- Generalize Equilibrium
- Nonexpansive Mapping
Let be a Banach space and let be a closed convex subsets of . Let be an equilibrium bifunction from into and let be a nonlinear mapping. Then, we consider the following generalized equilibrium problem: find such that
The set of solutions of (1.1) is denoted by , that is,
In the case of , is denoted by . In the case of , is denoted by .
A mapping is said to be nonexpansive if
We denote the set of fixed points of by .
A mapping is said to be Quasi- -nonexpansive if
where is defined by (2.3).
Recently, in Hilbert space, Tada and Takahashi , and S. Takahashi and W. Takahashi  considered iterative methods for finding an element of . Very recently, S. Takahashi and W. Takahashi  introduced an iterative method for finding an element of , where is an inverse-strongly monotone mapping and then proved a strong convergence theorem. On the other hand, Takahashi and Zembayashi  prove a strong convergence theorem for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of a relatively nonexpansive mapping in a Banach space by using the shrinking Projection method which is different from S. Takahashi and W. Takahashi's hybrid method .
In this paper, motivated by Takahashi and Zembayashi , in Banach space, we prove a strong convergence theorem for finding an element of , where is a continuous and monotone operator, is a relatively nonexpansive mapping, and is quasi- -nonexpansive mapping. Moreover, the method of proof adopted in the paper is different from that of .
Throughout this paper, all the Banach spaces are real. We denote by and the sets of positive integers and real numbers, respectively. Let be a Banach space and let be the topological dual of . For all and , we denote the value of at by . Then, the duality mapping on is defined by
for every . By the Hahn-Banach theorem, is nonempty; see  for more details. We denote the weak convergence and the strong convergence of a sequence to in by and , respectively. We also denote the convergence of a sequence to in by . A Banach space is said to be strictly convex if for with and . It is also said to be uniformly convex if for each , there exists such that for with and . A uniformly convex Banach space has the Kadec-Klee property, that is, and imply . 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 . We know that if is smooth, strictly convex, and reflexive, then the duality mapping is single valued, one to one, and onto; see  for more details.
Let be a smooth, strictly convex, and reflexive Banach space and let be a closed convex subset of . Throughout this paper, we denote by the function defined by
Following Alber , the generalized projection from onto is defined by , where is the solution to the following minimization problem:
The generalized projection from onto is well defined, single valued and satisfies
If is a Hilbert space, then and is the metric projection of onto . It is well know that the following conclusions for generalized projections hold.
Let be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space , and let be a mapping from into itself. We denoted by the set of fixed points of . A point is said to be an asymptotic fixed point of [9, 10] if there exists in which converges weakly to and . We denote the set of all asymptotic fixed point of by . Following Matsushita and Takahashi , a mapping is said to be relatively nonexpansive if the following conditions are satisfied:
(1) is nonempty;
(2) for all ;
The following lemma is due to Matsushita and Takahashi .
Lemma 2.3 (Matsushita and Takahashi ).
Let be a nonempty 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.
We also know the following lemmas.
Lemma 2.4 (see ).
Let be a smooth and uniformly convex Banach space and let and be sequences in such that either or is bounded. If , then .
Lemma 2.5 (see ).
for all and .
For solving the equilibrium problem for bifunction , let us assume that satisfies the following conditions:
for all ;
is monotone, that is, for all ;
for each ,
for each is a convex and lower semicontinuous.
If an equilibrium bifunction satisfies conditions ( )–( ), then we have the following two important results.
Lemma 2.6 (see ).
Lemma 2.7 (see ).
for all . Then, the following holds:
(1) is single-valued;
(4) is a closed and convex set.
Lemma 2.8 (see ).
In this section, we prove a strong convergence theorem which is the main result in the paper.
for every , where is the duality mapping on , , and for some . If the following conditions are satisfied
then converges strongly to where is the generalized projection of onto .
Next, we prove that the bifunction satisfies conditions ( )–( ).
for all .
Since for all .
is monotone, that is, for all .
For each ,
For each is a convex and lower semicontinuous.
So, is convex.
Similarly, we can prove that is lower semicontinuous.
Therefore, the generalized equilibrium problem (1.1) is equivalent to the following equilibrium problem: find such that
Since the bifunction satisfies conditions ( )–( ), from Lemma 2.7, for a given and , we can define a mapping as follows:
Moreover, satisfies the conclusions in Lemma 2.7.
Putting for all , we have from Lemmas 2.7 and 2.8 that are relatively nonexpansive.
We divide the proof of Theorem 3.1 into six steps.
So, is well defined.
for all . Then is bounded. Therefore, , , and are bounded.
(a)We prove that
In fact, for any given , there exists a subsequence of such that . Since and is relatively nonexpansive, we have , that is, .
(b)We prove that .
In fact, from , (3.12) and Lemma 2.8, we have that
For any given , there exists a subsequence such that . Since , we have .
Since is uniformly norm-to-norm continuous on bounded sets, from (3.38), we have
This implies that . Hence from condition , we have for all , and hence .
(c)Now we prove that .
In fact, for any given , there exists a subsequence such that . Since , we have Since is a closed convex subset of . we have , that is, . From (3.14) and (3.16), we have
that is, , then, . Since is uniformly convex Banach space, has a Kadec-Klee property, we have . From (3.34) and being closed, we have , that is, .
Since has the Kadec-Klee property, we have that . Therefore, converges strongly to .
This completes the proof of Theorem 3.1.
for every , where is the duality mapping on , satisfies and for some . Then converges strongly to , where is the generalized projection of onto .
In Theorem 3.1, take , we get Therefore, the conclusion of Theorem 3.2 can be obtained from Theorem 3.1.
The authors would like to express their thanks to the referees for their helpful suggestions and comments.
- Tada A, Takahashi W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem. Journal of Optimization Theory and Applications 2007, 133(3):359–370. 10.1007/s10957-007-9187-zMATHMathSciNetView ArticleGoogle Scholar
- Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. Journal of Mathematical Analysis and Applications 2007, 331(1):506–515. 10.1016/j.jmaa.2006.08.036MATHMathSciNetView ArticleGoogle Scholar
- Takahashi S, Takahashi W: Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(3):1025–1033. 10.1016/j.na.2008.02.042MATHMathSciNetView ArticleGoogle Scholar
- Takahashi W, Zembayashi K: Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings. Fixed Point Theory and Applications 2008, 2008:-11.Google Scholar
- Takahashi W: Nonlinear Functional Analysis, Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.MATHGoogle Scholar
- Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications. Volume 62. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.View ArticleGoogle Scholar
- Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Dekker, New York, NY, USA; 1996:15–50.Google Scholar
- Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM Journal on Optimization 2002, 13(3):938–945. 10.1137/S105262340139611XMathSciNetView ArticleGoogle Scholar
- Censor Y, Reich S: Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization. Optimization 1996, 37(4):323–339. 10.1080/02331939608844225MATHMathSciNetView ArticleGoogle Scholar
- Reich S: A weak convergence theorem for the alternating method with Bregman distances. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics. Volume 178. Edited by: Kartsatos AG. Dekker, New York, NY, USA; 1996:313–318.Google Scholar
- Matsushita S-Y, Takahashi W: Weak and strong convergence theorems for relatively nonexpansive mappings in Banach spaces. Fixed Point Theory and Applications 2004, 2004(1):37–47.MATHMathSciNetView ArticleGoogle Scholar
- Cho YJ, Zhou H, Guo G: Weak and strong convergence theorems for three-step iterations with errors for asymptotically nonexpansive mappings. Computers & Mathematics with Applications 2004, 47(4–5):707–717. 10.1016/S0898-1221(04)90058-2MATHMathSciNetView ArticleGoogle Scholar
- Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. The Mathematics Student 1994, 63(1–4):123–145.MATHMathSciNetGoogle Scholar
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.