Open Access

An Extragradient Method for Mixed Equilibrium Problems and Fixed Point Problems

Fixed Point Theory and Applications20092009:632819

https://doi.org/10.1155/2009/632819

Received: 2 November 2008

Accepted: 23 May 2009

Published: 29 June 2009

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, [15]. Some methods have been proposed to solve the equilibrium problems, see, for example, [521].

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)
  1. 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, [2527].

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.

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Tianjin Polytechnic University
(2)
Department of Information Management, Cheng Shiu University
(3)
Department of Applied Mathematics, Chung Yuan Christian University

References

  1. Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. The Mathematics Student 1994, 63: 123–145.MathSciNetMATHGoogle Scholar
  2. Zeng L-C, Wu S-Y, Yao J-C: Generalized KKM theorem with applications to generalized minimax inequalities and generalized equilibrium problems. Taiwanese Journal of Mathematics 2006,10(6):1497–1514.MathSciNetMATHGoogle Scholar
  3. Chadli O, Wong NC, Yao J-C: Equilibrium problems with applications to eigenvalue problems. Journal of Optimization Theory and Applications 2003,117(2):245–266. 10.1023/A:1023627606067MathSciNetView ArticleMATHGoogle Scholar
  4. Chadli O, Schaible S, Yao J-C: Regularized equilibrium problems with application to noncoercive hemivariational inequalities. Journal of Optimization Theory and Applications 2004,121(3):571–596.MathSciNetView ArticleMATHGoogle Scholar
  5. Konnov IV, Schaible S, Yao J-C: Combined relaxation method for mixed equilibrium problems. Journal of Optimization Theory and Applications 2005,126(2):309–322. 10.1007/s10957-005-4716-0MathSciNetView ArticleMATHGoogle Scholar
  6. Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. Journal of Nonlinear and Convex Analysis 2005,6(1):117–136.MathSciNetMATHGoogle Scholar
  7. Flåm SD, Antipin AS: Equilibrium programming using proximal-like algorithms. Mathematical Programming 1997,78(1):29–41.MathSciNetView ArticleMATHGoogle Scholar
  8. 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.036MathSciNetView ArticleMATHGoogle Scholar
  9. Chadli O, Konnov IV, Yao J-C: Descent methods for equilibrium problems in a banach space. Computers and Mathematics with Applications 2004,48(3–4):609–616. 10.1016/j.camwa.2003.05.011MathSciNetView ArticleMATHGoogle Scholar
  10. Ding X-P, Lin Y-C, Yao J-C: Predictor-corrector algorithms for solving generalized mixed implicit quasi-equilibrium problems. Applied Mathematics and Mechanics 2006,27(9):1157–1164. 10.1007/s10483-006-0901-1MathSciNetView ArticleMATHGoogle Scholar
  11. Yao Y, Liou Y-C, Yao J-C: Convergence theorem for equilibrium problems and fixed point problems of infinite family of nonexpansive mappings. Fixed Point Theory and Applications 2007, Article ID 64363, 2007:-12.Google Scholar
  12. Plubtieng S, Punpaeng R: A general iterative method for equilibrium problems and fixed point problems in Hilbert spaces. Journal of Mathematical Analysis and Applications 2007,336(1):455–469. 10.1016/j.jmaa.2007.02.044MathSciNetView ArticleMATHGoogle Scholar
  13. Tada A, Takahashi W: Strong convergence theorem for an equilibrium problem and a nonexpansive mapping. In Nonlinear Analysis and Convex Analysis. Edited by: Takahashi W, Tanaka T. Yokohama, Yokohama, Japan; 2007:609–617.Google Scholar
  14. Noor MA: Fundamentals of equilibrium problems. Mathematical Inequalities & Applications 2006,9(3):529–566.MathSciNetView ArticleMATHGoogle Scholar
  15. Yao Y, Noor MA, Liou Y-C: On iterative methods for equilibrium problems. Nonlinear Analysis 2009, 70: 497–509. 10.1016/j.na.2007.12.021MathSciNetView ArticleMATHGoogle Scholar
  16. Zeng L-C, Yao J-C: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. Journal of Computational and Applied Mathematics 2008,214(1):186–201. 10.1016/j.cam.2007.02.022MathSciNetView ArticleMATHGoogle Scholar
  17. Yao Y, Noor MA, Zainab S, Liou Y-C: Mixed equilibrium problems and optimization problems. Journal of Mathematical Analysis and Applications 2009,354(1):319–329. 10.1016/j.jmaa.2008.12.055MathSciNetView ArticleMATHGoogle Scholar
  18. Yao Y, Zhou H, Liou Y-C: Weak and strong convergence theorems for an asymptotically -strict pseudocontraction and a mixed equilibrium problem. Journal of the Korean Mathematical Society 2009, 46: 561–576. 10.4134/JKMS.2009.46.3.561MathSciNetView ArticleMATHGoogle Scholar
  19. Mainge P-E: Regularized and inertial algorithms for common fixed points of nonlinear operators. Journal of Mathematical Analysis and Applications 2008,344(2):876–887. 10.1016/j.jmaa.2008.03.028MathSciNetView ArticleMATHGoogle Scholar
  20. Yao Y, Liou Y-C, Yao J-C: An iterative algorithm for approximating convex minimization problem. Applied Mathematics and Computation 2007,188(1):648–656. 10.1016/j.amc.2006.10.039MathSciNetView ArticleMATHGoogle Scholar
  21. Marino G, Colao V, Muglia L, Yao Y: Krasnoselski-Mann iteration for hierarchical fixed points and equilibrium problem. Bulletin of the Australian Mathematical Society 2009, 79: 187–200. 10.1017/S000497270800107XMathSciNetView ArticleMATHGoogle Scholar
  22. Mainge P-E, Moudafi A: Coupling viscosity methods with the extragradient algorithm for solving equilibrium problems. Journal of Nonlinear and Convex Analysis 2008,9(2):283–294.MathSciNetMATHGoogle Scholar
  23. Moudafi A: Weak convergence theorems for nonexpansive mappings and equilibrium problems. Journal of Nonlinear and Convex Analysis 2008,9(1):37–43.MathSciNetMATHGoogle Scholar
  24. Ceng L-C, Al-Homidan S, Ansari QH, Yao J-C: An iterative scheme for equilibrium problems and fixed point problems of strict pseudo-contraction mappings. Journal of Computational and Applied Mathematics 2009,223(2):967–974. 10.1016/j.cam.2008.03.032MathSciNetView ArticleMATHGoogle Scholar
  25. 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.055MathSciNetView ArticleMATHGoogle Scholar
  26. Zeng L-C, Wong N-C, Yao J-C: Strong convergence theorems for strictly pseudocontractive mappings of Browder-Petryshyn type. Taiwanese Journal of Mathematics 2006,10(4):837–849.MathSciNetMATHGoogle Scholar
  27. Zhou H: Convergence theorems of common fixed points for a finite family of Lipschitz pseudocontractions in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2008,68(10):2977–2983. 10.1016/j.na.2007.02.041MathSciNetView ArticleMATHGoogle Scholar
  28. Konnov IV: Generalized monotone equilibrium problems and variational inequalities. In Handbook of Generalized Convexity and Generalized Monotonicity. Edited by: Hadjisavvas N, Komlosi S, Schaible S. Springer, New York, NY, USA; 2005.Google Scholar

Copyright

© Yonghong Yao et al. 2009

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.