- Research Article
- Open access
- Published:
Strong Convergence Theorems by Hybrid Methods for Strict Pseudocontractions and Equilibrium Problems
Fixed Point Theory and Applications volume 2010, Article number: 528307 (2010)
Abstract
Let be N strict pseudocontractions defined on a closed convex subset of a real Hilbert space . Consider the problem of finding a common element of the set of fixed point of these mappings and the set of solutions of an equilibrium problem with the parallel and cyclic algorithms. In this paper, we propose new iterative schemes for solving this problem and prove these schemes converge strongly by hybrid methods.
1. Introduction
Let be a real Hilbert space and let be a nonempty closed convex subset of . Let be a bifunction from to , where is the set of real numbers.
The equilibrium problem for is to find such that
for all . The set of such solutions is denoted by .
A mapping of is said to be a -strict pseudocontraction if there exists a constant such that
for all ; see [1]. We denote the set of fixed points of by (i.e., ).
Note that the class of strict pseudocontractions strictly includes the class of nonexpansive mappings which are mapping on such that
for all . That is, is nonexpansive if and only if is a -strict pseudocontraction.
Numerous problems in physics, optimization, and economics reduce to finding a solution of the equilibrium problem. Some methods have been proposed to solve the equilibrium problem (1.1); see for instance [2–5]. In particular, Combettes and Hirstoaga [6] proposed several methods for solving the equilibrium problem. On the other hand, Mann [7], Nakajo and Takahashi [8] considered iterative schemes for finding a fixed point of a nonexpansive mapping.
Recently, Acedo and Xu [9] considered the problem of finding a common fixed point of a finite family of strict pseudocontractive mappings by the parallel and cyclic algorithms. Very recently, Liu [3] considered a general iterative method for equilibrium problems and strict pseudocontractions. In this paper, motivated by [3, 5, 9–12], applying parallel and cyclic algorithms, we obtain strong convergence theorems for finding a common element of the set of fixed points of a finite family of strict pseudocontractions and the set of solutions of the equilibrium problem (1.1) by the hybrid methods.
We will use the notation
(1) for weak convergence and for strong convergence,
(2) denotes the weak -limit set of .
2. Preliminaries
We need some facts and tools in a real Hilbert space which are listed as below.
Lemma 2.1.
Let be a real Hilbert space. There hold the following identities.
(i), for all
(ii), for all , for all
Lemma 2.2 (see [4]).
Let be a real Hilbert space. Given a nonempty closed convex subset and points and given also a real number , the set
is convex (and closed).
Recall that given a nonempty closed convex subset of a real Hilbert space , for any , there exists a unique nearest point in , denoted by , such that
for all . Such a is called the metric (or the nearest point) projection of onto .
Lemma 2.3 (see [4]).
Let be a nonempty closed convex subset of a real Hilbert space . Given and , then if and only if there holds the relation
Lemma 2.4 (see [13]).
Let be a nonempty closed convex subset of . Let is a sequence in and . Let . Suppose is such that and satisfies the condition
Then .
Lemma 2.5 (see [9]).
Let be a nonempty closed convex subset of . Let is a sequence in and . Assume
(i)the weak -limit set ,
(ii)for each exists.
Then is weakly convergent to a point in .
Proposition 2.6 (see [9]).
Assume be a nonempty closed convex subset of a real Hilbert space .
(i)If is a -strict pseudocontraction, then satisfies the Lipschitz condition
(ii)If is a -strict pseudocontraction, then the mapping is demiclosed (at 0). That is, if is a sequence in such that and , then .
(iii)If is a -strict pseudocontraction, then the fixed point set of of is closed and convex so that the projection is well defined.
(iv)Given an integer , assume, for each be a -strict pseudocontraction for some . Assume is a positive sequence such that . Then is a -strict pseudocontraction, with
(v)Let and be given as in (iv) above. Suppose that has a common fixed point. Then
Lemma 2.7 (see [1]).
Let be a -strict pseudocontraction. Define by for each . Then, as is a nonexpansive mapping such that .
For solving the equilibrium problem, let us assume that the bifunction satisfies the following conditions:
(A1) for all
(A2) is monotone, that is, for any
(A3)for each
(A4) is convex and lower semicontionuous for each
We recall some lemmas which will be needed in the rest of this paper.
Lemma 2.8 (see [14]).
Let be a nonempty closed convex subset of , let be bifunction from to satisfying (A1)–(A4) and let and . Then there exists such that
Lemma 2.9 (see [6]).
For , define a mapping as follows:
for all . Then, the following statements hold:
(i) is single-valued;
(ii) is firmly nonexpansive, that is, for any ,
(iii);
(iv) is closed and convex.
3. Parallel Algorithm
In this section, we apply the hybrid methods to the parallel algorithm for finding a common element of the set of fixed points of strict pseudocontractions and the set of solutions of the equilibrium problem (1.1) in Hilbert spaces.
Theorem 3.1.
Let be a nonempty closed convex subset of a real Hilbert space and a bifunction from to satisfying (A1)–(A4). Let be an integer. Let, for each be a -strict pseudocontraction for some . Let Assume the set . Assume also is a finite sequence of positive numbers such that for all and for all . Let the mapping be defined by
Given , let , and be sequences generated by the following algorithm:
for every , where for some for some , and satisfies . Then, converge strongly to .
Proof.
The proof is divided into several steps.
Step 1.
Show first that is well defined.
It is obvious that is closed and is closed convex for every . From Lemma 2.2, we also get is convex.
Step 2.
Show for all .
Indeed, take , from we have
for all . From Proposition 2.6, Lemma 2.7, and (3.3), we get
So for all . Next we show that for all by induction. For , we have . Assume that for some . Since , we obtain
As by induction assumption, the inequality holds, in particular, for all . This together with the definition of implies that . Hence holds for all .
Step 3.
Show that
Notice that the definition of actually . This together with the fact further implies
Then is bounded and (3.6) holds. From (3.3), (3.4), and Proposition 2.6(i), we also obtain and are bounded.
Step 4.
Show that
From and , we get . This together with Lemma 2.1(i) implies
Then , that is, the sequence is nondecreasing. Since is bounded, exists. Then (3.8) holds.
Step 5.
Show that
From , we have
By (3.8), we obtain
For , we have
hence,
Therefore, by the convexity of , we get
Since , we get
It follows that
from (3.12). Observe that we also have . On the other hand, from , we compute
From , (3.17), and , we obtain . It is easy to get
Combining the above results, we obtain From (3.2), we have
It follows from that
Step 6.
Show that
We first show . To see this, we take and assume that as for some subsequence of .
Without loss of generality, we may assume that
It is easily seen that each and . We also have
where Note that by Proposition 2.6, is -strict pseudocontraction and . Since
we obtain by virtue of (3.10) and (3.22)
So by the demiclosedness principle (Proposition 2.6(ii)), it follows that and hence holds.
Next we show take , and assume that as for some subsequence of . From (3.17), we obtain . Since and is closed convex, we get
By we have
From the monotonicity of , we get
hence
From (3.17) and condition (A4), we have
For with and , let . Since and , we obtain and hence . So, we have
Dividing by , we get
Letting and from (A3), we get
for all and . Hence (3.21) holds.
Step 7.
From (3.6) and Lemma 2.4, we conclude that , where .
A very similar result obtained in a way completely different is Theorem of [11].
Theorem 3.2.
Let be a nonempty closed convex subset of a real Hilbert space and a bifunction from to satisfying (A1)–(A4). Let be an integer. Let, for each be a -strict pseudocontraction for some . Let Assume the set . Assume also is a finite sequence of positive numbers such that for all and for all . Let the mapping be defined by
Given , let , and be sequences generated by the following algorithm:
for every , where for some for some , and satisfies . Then, converge strongly to .
Proof.
The proof of this theorem is similar to that of Theorem 3.1.
Step 1.
is well defined for all
We show is closed convex for all by induction. For , we have is closed convex. Assume that for some is closed convex, from Lemma 2.2, we have is also closed convex. The assumption holds.
Step 2.
.
Step 3.
for all , where
Step 4.
Step 5.
Step 6.
Step 7.
.
The proof of Steps 2–7 is similar to that of Theorem 3.1.
A very similar result obtained in a way completely different is Theorem of [10].
4. Cyclic Algorithm
Let be a closed convex subset of a Hilbert space and let be -strict pseudocontractions on such that the common fixed point set
Let and let be a sequence in . The cyclic algorithm generates a sequence in the following way:
In general, is defined by
where , with .
Theorem 4.1.
Let be a nonempty closed convex subset of a real Hilbert space and a bifunction from to satisfying (A1)–(A4). Let be an integer. Let, for each be a -strict pseudocontraction for some . Let Assume the set . Given , let , and be sequences generated by the following algorithm:
for every , where for some for some , and satisfies . Then, converge strongly to .
Proof.
The proof of this theorem is similar to that of Theorem 3.1. The main points include the following.
Step 1.
is well defined for all
Step 2.
.
Step 3.
for all , where
Step 4.
Step 5.
To prove the above steps, one simply replaces with in the proof of Theorem 3.1.
Step 6.
Show that
Indeed, assume and for some subsequence of . We may further assume for all . Since by , we also have for all , we deduce that
Then the demiclosedness principle (Proposition 2.6(ii)) implies that for all . This ensures that .
The proof of is similar to that of Theorem 3.1.
Step 7.
Show that
The strong convergence to of is the consequence of Step 3, Step 5, and Lemma 2.4.
Theorem 4.2.
Let be a nonempty closed convex subset of a real Hilbert space and a bifunction from to satisfying (A1)–(A4). Let be an integer. Let, for each be a -strict pseudocontraction for some . Let Assume the set . Given , let , and be sequences generated by the following algorithm:
for every , where for some for some , and satisfies . Then, converge strongly to .
Proof.
The proof of this theorem can consult Step 1 of Theorem 3.2 and Steps 2–7 of Theorem 4.1.
References
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
Colao V, Marino G, Xu HK: 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
Liu Y: A general iterative method for equilibrium problems and strict pseudo-contractions in Hilbert spaces. Nonlinear Analysis. Theory, Methods & Applications 2009,71(10):4852–4861. 10.1016/j.na.2009.03.060
Marino G, Xu HK: 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
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-z
Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. Journal of Nonlinear and Convex Analysis 2005,6(1):117–136.
Mann WR: Mean value methods in iteration. Proceedings of the American Mathematical Society 1953, 4: 506–510. 10.1090/S0002-9939-1953-0054846-3
Nakajo K, Takahashi W: Strong and weak convergence theorems by an improved splitting method. Communications on Applied Nonlinear Analysis 2002,9(2):99–107.
Acedo GL, Xu HK: Iterative methods for strict pseudo-contractions in Hilbert spaces. Nonlinear Analysis. Theory, Methods & Applications 2007,67(7):2258–2271. 10.1016/j.na.2006.08.036
Cianciaruso F, Marino G, Muglia L, Yao Y: A hybrid projection algorithm for finding solutions of mixed equilibrium problem and variational inequality problem. Fixed Point Theory and Applications 2010, 2010:-19.
Kumam P: A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive mapping. Nonlinear Analysis. Hybrid Systems 2008,2(4):1245–1255. 10.1016/j.nahs.2008.09.017
Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces. Journal of Mathematical Analysis and Applications 2008,341(1):276–286. 10.1016/j.jmaa.2007.09.062
Martinez-Yanes C, Xu HK: 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
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. The Mathematics Student 1994,63(1–4):123–145.
Acknowledgments
The authors would like to thank the referee for valuable suggestions to improve the manuscript and the Fundamental Research Funds for the Central Universities (Grant no. ZXH2009D021) and the science research foundation program in Civil Aviation University of China (04-CAUC-15S) for their financial support.
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
Duan, P., Zhao, J. Strong Convergence Theorems by Hybrid Methods for Strict Pseudocontractions and Equilibrium Problems. Fixed Point Theory Appl 2010, 528307 (2010). https://doi.org/10.1155/2010/528307
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/528307