Copyright © 2009 Yonghong Yao et al. 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

The purpose of this paper is to investigate the problem of approximating a common element of the set of fixed points of a demicontractive mapping and the set of solutions of a mixed equilibrium problem. First, we propose an extragradient method for solving the mixed equilibrium problems and the fixed point problems. Subsequently, we prove the strong convergence of the proposed algorithm under some mild assumptions.

1. Introduction

Let be a real Hilbert space and let be a nonempty closed convex subset of . Let be a real-valued function and be an equilibrium bifunction, that is, for each . We consider the following mixed equilibrium problem (MEP) which is to find such that (MEP) In particular, if , this problem reduces to the equilibrium problem (EP), which is to find such that (EP) Denote the set of solutions of (MEP) by and the set of solutions of (EP) by . The mixed equilibrium problems include fixed point problems, optimization problems, variational inequality problems, Nash equilibrium problems, and the equilibrium problems as special cases; see, for example, [1–5]. Some methods have been proposed to solve the equilibrium problems, see, for example, [5–21].

In 1997, Flåm and Antipin [15] introduced an iterative algorithm of finding the best approximation to the initial data when and proved a strong convergence theorem. Recently by using the viscosity approximation method S. Takahashi and W. Takahashi [8] introduced another iterative algorithm for finding a common element of the set of solutions of (EP) and the set of fixed points of a nonexpansive mapping in a real Hilbert space. Let be a nonexpansive mapping and be a contraction. Starting with arbitrary initial , define the sequences and recursively by (TT) S. Takahashi and W. Takahashi proved that the sequences and defined by (TT) converge strongly to with the following restrictions on algorithm parameters and :

(i) and ; (ii) ; (iii) (A1): ; and (R1): .

Subsequently, some iterative algorithms for equilibrium problems and fixed point problems have further developed by some authors. In particular, Zeng and Yao [16] introduced a new hybrid iterative algorithm for mixed equilibrium problems and fixed point problems and Mainge and Moudafi [22] introduced an iterative algorithm for equilibrium problems and fixed point problems.

On the other hand, for solving the equilibrium problem (EP), Moudafi [23] presented a new iterative algorithm and proved a weak convergence theorem. Ceng et al. [24] introduced another iterative algorithm for finding an element of . Let be a -strict pseudocontraction for some such that . For given , let the sequences and be generated iteratively by (CAY) where the parameters and satisfy the following conditions:

(i) for some ; (ii) and .

Then, the sequences and generated by (CAY) converge weakly to an element of .

At this point, we should point out that all of the above results are interesting and valuable. At the same time, these results also bring us the following conjectures.

Questions

(1) Could we weaken or remove the control condition (iii) on algorithm parameters in S. Takahashi and W. Takahashi [8]? (2) Could we construct an iterative algorithm for -strict pseudocontractions such that the strong convergence of the presented algorithm is guaranteed? (3) Could we give some proof methods which are different from those in [8, 12, 16, 24].

It is our purpose in this paper that we introduce a general iterative algorithm for approximating a common element of the set of fixed points of a demicontractive mapping and the set of solutions of a mixed equilibrium problem. Subsequently, we prove the strong convergence of the proposed algorithm under some mild assumptions. Our results give positive answers to the above questions.

2. Preliminaries

Let be a real Hilbert space with inner product and norm . Let be a nonempty closed convex subset of .

Let be a mapping. We use to denote the set of the fixed points of . Recall what follows.

(i) is called demicontractive if there exists a constant such that (2.1) for all and , which is equivalent to (2.2) For such case, we also say that is a -demicontractive mapping. (ii) is called nonexpansive if (2.3) for all . (iii) is called quasi-nonexpansive if (2.4) for all and . (iv) is called strictly pseudocontractive if there exists a constant such that (2.5) for all .

It is worth noting that the class of demicontractive mappings includes the class of the nonexpansive mappings, the quasi-nonexpansive mappings and the strictly pseudo-contractive mappings as special cases.

Let us also recall that is called demiclosed if for any sequence and , we have (2.6) It is well-known that the nonexpansive mappings, strictly pseudo-contractive mappings are all demiclosed. See, for example, [25–27].

An operator is said to be -strongly monotone if there exists a positive constant such that (2.7) for all .

Now we concern the following problem: find such that (2.8)

In this paper, for solving problem (2.8) with an equilibrium bifunction , we assume that satisfies the following conditions:

(H1) is monotone, that is, for all ; (H2) for each fixed is concave and upper semicontinuous; (H3) for each is convex.

A mapping is called Lipschitz continuous, if there exists a constant such that (2.9)

A differentiable function on a convex set is called

(i) -convex if (2.10) where is the Frechet derivative of at ; (ii) -strongly convex if there exists a constant such that (2.11)

Let be a nonempty closed convex subset of a real Hilbert space be real-valued function and be an equilibrium bifunction. Let be a positive number. For a given point , the auxiliary problem for (MEP) consists of finding such that (2.12) Let be the mapping such that for each is the solution set of the auxiliary problem, that is, (2.13) We need the following important and interesting result for proving our main results.

Lemma 2.1 ([16, 28]). Let be a nonempty closed convex subset of a real Hilbert space and let be a lower semicontinuous and convex functional. Let be an equilibrium bifunction satisfying conditions (H1)–(H3). Assume what follows.

(i) is Lipschitz continuous with constant such that(a),(b) is affine in the first variable,(c)for each fixed is sequentially continuous from the weak topology to the weak topology. (ii) is -strongly convex with constant and its derivative is sequentially continuous from the weak topology to the strong topology. (iii) For each , there exist a bounded subset and such that for any (2.14) Then there hold the following: (i) is single-valued; (ii) is nonexpansive if is Lipschitz continuous with constant such that and (2.15) where for ; (iii) ; (iv) is closed and convex.

3. Main Results

Let be a real Hilbert space, be a lower semicontinuous and convex real-valued function, be an equilibrium bifunction. Let be a mapping and be a mapping. In this section, we first introduce the following new iterative algorithm.

Algorithm 3.1. Let be a positive parameter. Let be a sequence in and be a sequence in . Define the sequences and by the following manner: (3.1)

Now we give a strong convergence result concerning Algorithm 3.1 as follows.

Theorem 3.2. Let be a real Hilbert space. Let be a lower semicontinuous and convex functional. Let be an equilibrium bifunction satisfying conditions (H1)–(H3). Let be an -Lipschitz continuous and -strongly monotone mapping and be a demiclosed and -demicontractive mapping such that . Assume what follows.

(i) is Lipschitz continuous with constant such that(a),(b) is affine in the first variable,(c)for each fixed is sequentially continuous from the weak topology to the weak topology. (ii) is -strongly convex with constant and its derivative is not only sequentially continuous from the weak topology to the strong topology but also Lipschitz continuous with constant such that . (iii) For each ; there exist a bounded subset and such that, for any (3.2) (iv) for some and . Then the sequences , and generated by (3.1) converge strongly to which solves the problem (2.8) provided is firmly nonexpansive.

Proof. First, we prove that , and are all bounded. Without loss of generality, we may assume that . Given and , we have (3.3) that is, (3.4) Take . From (3.1), we have (3.5) Therefore, (3.6) where .

Note that and are firmly nonexpansive. Hence, we have (3.7) which implies that (3.8) From (2.2) and (3.1), we have (3.9) From (3.6)–(3.9), we have (3.10) This implies that is bounded, so are and .

From (3.1), we can write . Thus, from (3.9), we have (3.11) Since . Therefore, from (3.8) and (3.11), we obtain (3.12) We note that and are bounded. So there exists a constant such that (3.13) Consequently, we get (3.14) Now we divide two cases to prove that converges strongly to .

Case 1. Assume that the sequence is a monotone sequence. Then is convergent. Setting .

(i)If , then the desired conclusion is obtained.(ii)Assume that . Clearly, we have (3.15)this together with and (3.14) implies that (3.16) that is to say (3.17) Let be a weak limit point of . Then there exists a subsequence of , still denoted by which weakly converges to . Noting that , we also have (3.18) Combining (3.1) and (3.17), we have (3.19) Since is demiclosed, then we obtain .

Next we show that . Since , we derive (3.20) From the monotonicity of , we have (3.21) and hence (3.22) Since and weakly, from the weak lower semicontinuity of and in the second variable , we have (3.23) for all . For and , let . Since and , we have and hence . From the convexity of equilibrium bifunction in the second variable , we have (3.24) and hence . Then, we have (3.25) for all and hence .

Therefore, we have (3.26) Thus, if is a solution of problem (2.8), we have (3.27) Suppose that there exists another subsequence which weakly converges to . It is easily checked that and (3.28) Therefor, we have (3.29) Since is -strongly monotone, we have (3.30) By (3.17)–(3.30), we get (3.31) From (3.12), for , we deduce that there exists a positive integer number large enough, when (3.32) This implies that (3.33) Since and is bounded, hence the last inequality is a contraction. Therefore, , that is to say, .

Case 2. Assume that is not a monotone sequence. Set and let be a mapping for all by (3.34) Clearly, is a nondecreasing sequence such that as and for . From (3.14), we have (3.35) thus (3.36) Therefore, (3.37) Since , for all , from (3.12), we get (3.38) which implies that (3.39) Since is bounded, there exists a subsequence of , still denoted by which converges weakly to . It is easily checked that . Furthermore, we observe that (3.40) Hence, for all (3.41) Therefore (3.42) which implies that (3.43) Thus, (3.44) It is immediate that (3.45) Furthermore, for , it is easily observed that if (i.e., ), because for . As a consequence, we obtain for all (3.46) Hence , that is, converges strongly to . Consequently, it easy to prove that and converge strongly to . This completes the proof.

Remark 3.3. The advantages of these results in this paper are that less restrictions on the parameters are imposed.

As direct consequence of Theorem 3.2, we obtain the following.

Corollary 3.4. Let be a real Hilbert space. Let be a lower semicontinuous and convex functional. Let be an equilibrium bifunction satisfying conditions (H1)–(H3). Let be an -Lipschitz continuous and -strongly monotone mapping and be a nonexpansive mapping such that . Assume what follows.

(i) is Lipschitz continuous with constant such that;(a),(b) is affine in the first variable,(c)for each fixed is sequentially continuous from the weak topology to the weak topology. (ii) is -strongly convex with constant and its derivative is not only sequentially continuous from the weak topology to the strong topology but also Lipschitz continuous with constant such that . (iii) For each ; there exist a bounded subset and such that, for any (3.47) (iv) for some and . Then the sequences , and generated by (3.1) converge strongly to which solves the problem (2.8) provided is firmly nonexpansive.

Corollary 3.5. Let be a real Hilbert space. Let be a lower semicontinuous and convex functional. Let be an equilibrium bifunction satisfying conditions (H1)–(H3). Let be an -Lipschitz continuous and -strongly monotone mapping and be a strictly pseudo-contractive mapping such that . Assume what follows.

(i) is Lipschitz continuous with constant such that(a),(b) is affine in the first variable,(c)for each fixed is sequentially continuous from the weak topology to the weak topology. (ii) is -strongly convex with constant and its derivative is not only sequentially continuous from the weak topology to the strong topology but also Lipschitz continuous with constant such that . (iii) For each ; there exist a bounded subset and such that, for any (3.48) (iv) for some and . Then the sequences and generated by (3.1) converge strongly to which solves the problem (2.8) provided is firmly nonexpansive.

Acknowledgment

The authors are extremely grateful to the anonymous referee for his/her useful comments and suggestions. The first author was partially supposed by National Natural Science Foundation of China Grant 10771050. The second author was partially supposed by the Grant NSC 97-2221-E-230-017.

References

1. E. Blum and W. Oettli, “From optimization and variational inequalities to equilibrium problems,” The Mathematics Student, vol. 63, pp. 123–145, 1994.
2. L.-C. Zeng, S.-Y. Wu, and J.-C. Yao, “Generalized KKM theorem with applications to generalized minimax inequalities and generalized equilibrium problems,” Taiwanese Journal of Mathematics, vol. 10, no. 6, pp. 1497–1514, 2006.
3. O. Chadli, N. C. Wong, and J.-C. Yao, “Equilibrium problems with applications to eigenvalue problems,” Journal of Optimization Theory and Applications, vol. 117, no. 2, pp. 245–266, 2003.
4. O. Chadli, S. Schaible, and J.-C. Yao, “Regularized equilibrium problems with application to noncoercive hemivariational inequalities,” Journal of Optimization Theory and Applications, vol. 121, no. 3, pp. 571–596, 2004.
5. I. V. Konnov, S. Schaible, and J.-C. Yao, “Combined relaxation method for mixed equilibrium problems,” Journal of Optimization Theory and Applications, vol. 126, no. 2, pp. 309–322, 2005.
6. P. L. Combettes and S. A. Hirstoaga, “Equilibrium programming in Hilbert spaces,” Journal of Nonlinear and Convex Analysis, vol. 6, no. 1, pp. 117–136, 2005.
7. S. D. Flåm and A. S. Antipin, “Equilibrium programming using proximal-like algorithms,” Mathematical Programming, vol. 78, no. 1, pp. 29–41, 1997.
8. S. Takahashi and W. Takahashi, “Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 331, no. 1, pp. 506–515, 2007.
9. O. Chadli, I. V. Konnov, and J.-C. Yao, “Descent methods for equilibrium problems in a banach space,” Computers and Mathematics with Applications, vol. 48, no. 3-4, pp. 609–616, 2004.
10. X.-P. Ding, Y.-C. Lin, and J.-C. Yao, “Predictor-corrector algorithms for solving generalized mixed implicit quasi-equilibrium problems,” Applied Mathematics and Mechanics, vol. 27, no. 9, pp. 1157–1164, 2006.
11. Y. Yao, Y.-C. Liou, and J.-C. Yao, “Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings,” Fixed Point Theory and Applications, vol. 2007, Article ID 64363, 12 pages, 2007.
12. S. Plubtieng and R. Punpaeng, “A general iterative method for equilibrium problems and fixed point problems in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 336, no. 1, pp. 455–469, 2007.
13. A. Tada and W. Takahashi, “Strong convergence theorem for an equilibrium problem and a nonexpansive mapping,” in Nonlinear Analysis and Convex Analysis, W. Takahashi and T. Tanaka, Eds., pp. 609–617, Yokohama, Yokohama, Japan, 2007.
14. M. A. Noor, “Fundamentals of equilibrium problems,” Mathematical Inequalities & Applications, vol. 9, no. 3, pp. 529–566, 2006.
15. Y. Yao, M.A. Noor, and Y-C. Liou, “On iterative methods for equilibrium problems,” Nonlinear Analysis, vol. 70, pp. 497–509, 2009.
16. L.-C. Zeng and J.-C. Yao, “A hybrid iterative scheme for mixed equilibrium problems and fixed point problems,” Journal of Computational and Applied Mathematics, vol. 214, no. 1, pp. 186–201, 2008.
17. Y. Yao, M. A. Noor, S. Zainab, and Y.-C. Liou, “Mixed equilibrium problems and optimization problems,” Journal of Mathematical Analysis and Applications, vol. 354, no. 1, pp. 319–329, 2009.
18. Y. Yao, H. Zhou, and Y.-C. Liou, “Weak and strong convergence theorems for an asymptotically $k$-strict pseudocontraction and a mixed equilibrium problem,” Journal of the Korean Mathematical Society, vol. 46, pp. 561–576, 2009.
19. P.-E. Mainge, “Regularized and inertial algorithms for common fixed points of nonlinear operators,” Journal of Mathematical Analysis and Applications, vol. 344, no. 2, pp. 876–887, 2008.
20. Y. Yao, Y.-C. Liou, and J.-C. Yao, “An iterative algorithm for approximating convex minimization problem,” Applied Mathematics and Computation, vol. 188, no. 1, pp. 648–656, 2007.
21. G. Marino, V. Colao, L. Muglia, and Y. Yao, “Krasnoselski-Mann iteration for hierarchical fixed points and equilibrium problem,” Bulletin of the Australian Mathematical Society, vol. 79, pp. 187–200, 2009.
22. P.-E. Mainge and A. Moudafi, “Coupling viscosity methods with the extragradient algorithm for solving equilibrium problems,” Journal of Nonlinear and Convex Analysis, vol. 9, no. 2, pp. 283–294, 2008.
23. A. Moudafi, “Weak convergence theorems for nonexpansive mappings and equilibrium problems,” Journal of Nonlinear and Convex Analysis, vol. 9, no. 1, pp. 37–43, 2008.
24. L.-C. Ceng, S. Al-Homidan, Q. H. Ansari, and J.-C. Yao, “An iterative scheme for equilibrium problems and fixed point problems of strict pseudo-contraction mappings,” Journal of Computational and Applied Mathematics, vol. 223, no. 2, pp. 967–974, 2009.
25. G. Marino and H.-K. Xu, “Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. 329, no. 1, pp. 336–346, 2007.
26. L.-C. Zeng, N.-C. Wong, and J.-C. Yao, “Strong convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type,” Taiwanese Journal of Mathematics, vol. 10, no. 4, pp. 837–849, 2006.
27. H. Zhou, “Convergence theorems of common fixed points for a finite family of Lipschitz pseudocontractions in Banach spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 10, pp. 2977–2983, 2008.
28. I. V. Konnov, “Generalized monotone equilibrium problems and variational inequalities,” in Handbook of Generalized Convexity and Generalized Monotonicity, N. Hadjisavvas, S. Komlosi, and S. Schaible, Eds., Springer, New York, NY, USA, 2005.