- Research Article
- Open access
- Published:
Hybrid Algorithm for Finding Common Elements of the Set of Generalized Equilibrium Problems and the Set of Fixed Point Problems of Strictly Pseudocontractive Mapping
Fixed Point Theory and Applications volume 2011, Article number: 274820 (2011)
Abstract
The purpose of this paper is to prove the strong convergence theorem for finding a common element of the set of fixed point problems of strictly pseudocontractive mapping in Hilbert spaces and two sets of generalized equilibrium problems by using the hybrid method.
1. Introduction
Let be a closed convex subset of a real Hilbert space , and let be a bifunction. Recall that the equilibrium problem for a bifunction is to find such that
The set of solutions of (1.1) is denoted by . Given a mapping , let for all . Then, if and only if for all ; that is, is a solution of the variational inequality. Let be a nonlinear mapping. The variational inequality problem is to find a such that
for all . The set of solutions of the variational inequality is denoted by . Now, we consider the following generalized equilibrium problem:
The set of is denoted by , that is,
In the case of , is denoted by . In the case of , is also denoted by . Numerous problems in physics, optimization, variational inequalities, minimax problems, the Nash equilibrium problem in noncooperative games, and economics are reduced to find a solution of (1.3); see, for instance, [1–3].
A mapping of into is called inverse strongly monotone mapping, see [4], if there exists a positive real number such that
for all . The following definition is well known.
Definition 1.1.
A mapping is said to be a -strict pseudocontraction if there exists such that
A mapping is called nonexpansive if
for all .
We know that -strict pseudocontraction includes a class of nonexpansive mappings. If , is said to be a pseudocontractivemapping. is strong pseudocontraction if there exists a positive constant such that is pseudocontraction. In a real Hilbert space , (1.6) is equivalent to
is pseudocontraction if and only if
Then, is strong pseudocontraction if there exists positive constant
The class of -strict pseudocontractions falls into the one between classes of nonexpansive mappings, and the pseudocontraction mappings, and the class of strong pseudocontraction mappings is independent of the class of -strict pseudocontraction.
We denote by the set of fixed points of . If is bounded, closed, and convex, and is a nonexpansive mapping of into itself, then is nonempty; for instance, see [5]. Browder and Petryshyn [6] show that if a -strict pseudocontraction has a fixed point in , then starting with an initial , the sequence generated by the recursive formula:
where is a constant such that , converges weakly to a fixed point of . Marino and Xu [7] have extended Browder and Petryshyns above-mentioned result by proving that the sequence generated by the following Manns algorithm [8]:
converges weakly to a fixed point of provided the control sequence satisfies the conditions that for all and . In 1974, S. Ishikawa proved the following strong convergence theorem of pseudocontractive mapping.
Theorem 1.2 (see [9]).
Let be a convex compact subset of a Hilbert space , and let be a Lipschitzian pseudocontractive mapping. For any , suppose that the sequence is defined by
where , are two real sequences in satisfying
(i),
(ii),
(iii).
Then converges strongly to a fixed point of .
In order to prove a strong convergence theorem of Mann algorithm (1.12) associated with strictly pseudocontractive mapping, in 2006, Marino and Xu [7] proved the following theorem for strict pseudocontractive mapping in Hilbert space by using method.
Theorem 1.3 (see [7]).
Let be a closed convex subset of a Hilbert space . Let be a -strict pseudocontraction for some , and assume that the fixed point set of is nonempty. Let be the sequence generated by the following algorithm:
Assume that the control sequence is chosen so that for all . Then converges strongly to . Very recently, in 2010, [10] established the hybrid algorithm for Lipschitz pseudocontractive mapping as follows:
Under suitable conditions of and , they proved that the sequence defined by (1.15) converges strongly to .
Many authors study the problem for finding a common element of the set of fixed point problem and the set of equilibrium problem in Hilbert spaces, for instance, [2, 3, 11–15]. The motivation of (1.14), (1.15), and the research in this direction, we prove the strong convergence theorem for finding solution of the set of fixed points of strictly pseudocontractive mapping and two sets of generalized equilibrium problems by using the hybrid method.
2. Preliminaries
In order to prove our main results, we need the following lemmas. Let be closed convex subset of a real Hilbert space , and let be the metric projection of onto ; that is, for , satisfies the property
The following characterizes the projection .
Lemma 2.1 (see [5]).
Given that and , then if and only if the following inequality holds:
The following lemma is well known.
Lemma 2.2.
Let be Hilbert space, and let be a nonempty closed convex subset of . Let be -strictly pseudocontractive, then the fixed point set of is closed and convex so that the projection is well defined.
Lemma 2.3 ((demiclosedness principle) (see [16]).
If is a -strict pseudocontraction on closed convex subset of a real Hilbert space , then is demiclosed at any point .
To solve the equilibrium problem for a bifunction , assume that satisfies the following conditions:
() for all ,
() is monotone, that is, ,
()for all ,
()for all is convex and lower semicontinuous.
The following lemma appears implicitly in [1].
Lemma 2.4 (see [1]).
Let be a nonempty closed convex subset of , and let be a bifunction of into satisfying . Let , and . Then, there exists such that
for all .
Lemma 2.5 (see [11]).
Assume that satisfies . For and , define a mapping as follows:
for all . Then, the following hold:
(1) is single-valued;
(2) is firmly nonexpansive, that is,
(3);
(4) is closed and convex.
Lemma 2.6 (see [17]).
Let be a closed convex subset of . Let be a sequence in and . Let ; if is such that and satisfy the condition
then , as .
Lemma 2.7 (see [7]).
For a real Hilbert space H, the following identities hold: if is a sequence in H weak convergence to , then
for all .
3. Main Result
Theorem 3.1.
Let be a nonempty closed convex subset of a Hilbert space . Let and be bifunctions from into satisfying , respectively. Let be an α-inverse strongly monotone mapping, and let be a inverse strongly monotone mapping. Let be a strict pseudocontraction mapping with . Let be a sequence generated by and
where is sequence in , , and satisfy the following conditions:
(i),
(ii).
Then converges strongly to .
Proof.
First, we show that is nonexpansive. Let . Since is inverse strongly monotone mapping and , we have
Thus is nonexpansive, so are , , and . Since
then we have
By Lemma 2.5, we have . By the same argument as above, we conclude that .
Let . Then and . Hence
Again by Lemma 2.5, we have . By nonexpansiveness of and , we have
By (3.6), we have
Next, we show that is closed and convex for every . It is obvious that is closed. In fact, we know that, for ,
So, we have that for all and , it follows that
Then, we have that is convex. By Lemmas 2.5 and 2.2, we conclude that is closed and convex. This implies that is well defined. Next, we show that for every .
Taking , we have
It follows that . Then, we have , . Since , for every , we have
In particular, we have
By (3.11), we have that is bounded, so are . Since and , we have
It is implied that
Hence, we have that exists. Since
it is implied that
Since , we have
And by (3.16), we have
Since
by (3.16) and (3.18), we have
Next, we show that
Let , by (3.10) and (3.7), we have
Since , , we have
Since , , we have
Substituting (3.23) and (3.24) into (3.22),
It is implied that
By (3.20) and condition , we have
By using the same method as (3.27), we have
By Lemma 2.5 and firm nonexpansiveness of , we have
By (3.29), it is implied that
Again, by Lemma 2.5 and firm nonexpansiveness of , we have
By (3.31), it is implied that
Substituting (3.30) and (3.32) into (3.22), we have
which implies that
and by (3.27), (3.28), (3.20), and conditions , , we have
By using the same method as (3.35), we have
Since
from (3.35), (3.36), and condition , we have
By (3.20) and (3.38), we have
Since
from (3.39) and condition , we have
Let be the set of all weaks -limit of . We will show that . Since is bounded, then . Letting , there exists a subsequence of converging to . By (3.35), we have as . Since , for any , we have
From , we have
This implies that
Put for all and . Then, we have . So, from (3.44), we have
Since , we have . Further, from monotonicity of , we have . So, we have
From , , and (3.46), we also have
Thus
Letting , we have, for each ,
This implies that
From (3.36), we have . Since , for any , we have
By using the same method as (3.50), we have
Since and (3.38), we have . By Lemma 2.3, is demiclosed at zero, and by (3.41), we have
From (3.50), (3.52), and (3.53), we have . Hence . Therefore, by (3.12) and Lemma 2.6, we have that converges strongly to . The proof is completed.
4. Applications
By using our main result, we have the following results in Hilbert spaces.
Theorem 4.1.
Let be a nonempty closed convex subset of a Hilbert space . Let and be bifunctions from into satisfying , respectively. Let be a -strict pseudocontraction mapping with . Let be a sequence generated by and
where is sequence in , , and satisfy the following conditions:
(i),
(ii).
Then converges strongly to .
Proof.
Putting in Theorem 3.1, we have the desired conclusions.
Theorem 4.2.
Let be a nonempty closed convex subset of a Hilbert space . Let be bifunctions from into satisfying , respectively. Let be an α-inverse strongly monotone mapping, and let be a sequence generated by and
where is sequence in , , and , for all . Then converges strongly to .
Proof.
Putting , , and , for all , in Theorem 3.1, we have the desired conclusions.
References
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Mathematics Student 1994,63(1–4):123–145.
Moudafi A, Théra M: Proximal and dynamical approaches to equilibrium problems. In Ill-Posed Variational Problems and Regularization Techniques (Trier, 1998), Lecture Notes in Economics and Mathematical Systems. Volume 477. Springer, Berlin, Germany; 1999:187–201.
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.042
Iiduka H, Takahashi W: Weak convergence theorems by Cesáro means for nonexpansive mappings and inverse-strongly-monotone mappings. Journal of Nonlinear and Convex Analysis 2006,7(1):105–113.
Takahashi W: Nonlinear Functional Analysis. Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.
Browder FE, Petryshyn WV: Construction of fixed points of nonlinear mappings in Hilbert space. Journal of Mathematical Analysis and Applications 1967, 20: 197–228. 10.1016/0022-247X(67)90085-6
Marino G, Xu H-K: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces. Journal of Mathematical Analysis and Applications 2007,329(1):336–346. 10.1016/j.jmaa.2006.06.055
Mann WR: Mean value methods in iteration. Proceedings of the American Mathematical Society 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3
Ishikawa S: Fixed points by a new iteration method. Proceedings of the American Mathematical Society 1974, 44: 147–150. 10.1090/S0002-9939-1974-0336469-5
Tanga Y-C, Penga J-G, Liu L-W: Strong convergence theorem for pseudo-contractive mappings in Hilbert spaces. Nonlinear Analysis: Theory, Methods & Applications 2011, 74: 380–385. 10.1016/j.na.2010.08.048
Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. Journal of Nonlinear and Convex Analysis 2005,6(1):117–136.
Kangtunyakarn A, Suantai S: A new mapping for finding common solutions of equilibrium problems and fixed point problems of finite family of nonexpansive mappings. Nonlinear Analysis: Theory, Methods & Applications 2009,71(10):4448–4460. 10.1016/j.na.2009.03.003
Kangtunyakarn A, Suantai S: Hybrid iterative scheme for generalized equilibrium problems and fixed point problems of finite family of nonexpansive mappings. Nonlinear Analysis. Hybrid Systems 2009,3(3):296–309. 10.1016/j.nahs.2009.01.012
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.036
Colao V, Marino G, Xu H-K: An iterative method for finding common solutions of equilibrium and fixed point problems. Journal of Mathematical Analysis and Applications 2008,344(1):340–352. 10.1016/j.jmaa.2008.02.041
Zhou H: Convergence theorems of fixed points for -strict pseudo-contractions in Hilbert spaces. Nonlinear Analysis: Theory, Methods & Applications 2008,69(2):456–462. 10.1016/j.na.2007.05.032
Martinez-Yanes C, Xu H-K: Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Analysis: Theory, Methods & Applications 2006,64(11):2400–2411. 10.1016/j.na.2005.08.018
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kangtunyakarn, A. Hybrid Algorithm for Finding Common Elements of the Set of Generalized Equilibrium Problems and the Set of Fixed Point Problems of Strictly Pseudocontractive Mapping. Fixed Point Theory Appl 2011, 274820 (2011). https://doi.org/10.1155/2011/274820
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/274820