As you know, there are many problems that are reduced to find solutions of equilibrium problems which cover variational inequalities, fixed point problems, saddle point problems, complementarity problems as special cases. Equilibrium problem which was first introduced by Blum and Oettli  has been extensively studied as effective and powerful tools for a wide class of real world problems, which arises in economics, finance, image reconstruction, ecology, transportation network and related optimization problems.
From now on, we assume that is a real Hilbert space with inner product and norm, and is a nonempty closed convex subset of. is denoted by the set of real numbers. Let be a bifunction. Blum and Oettli  consider the equilibrium problem of finding such that
The solution set of problem (1.1) is denoted by, i.e.,
Recently the so-called generalized mixed equilibrium problem has been investigated by many authors  . The generalized mixed equilibrium problem is to find such that
where is a mapping and is a real valued function. We use to denote the solution set of generalized mixed equilibrium problem i.e.,
The problem (1.2) is very general in the sense that it includes, as special cases, optimization problems, variational inequality problem, minimax problems, the Nash equilibrium problems in noncooperative games and others (see         ).
Special Cases: The following problems are the special cases of problem (1.2).
1) If then (1.2) is equivalent to finding such that
is called mixed equilibrium problems.
2) If then (1.2) is equivalent to finding such that
is called mixed variational inequality of Browder type .
3) If then (1.2) is equivalent to find such that
is called generalized equilibrium problems (shortly, (GEP)). We denote GEP(G,A) the solution set of problem (GEP).
4) If and then (1.2) is equivalent to (1.1).
5) Let for all. Then we see that (1.1) is reduces to the following classical variational inequalities for finding such that
It is known that is a solution to (1.6) if and only if is a fixed point of the mapping, where is a constant and I is an identity mapping.
Let be a mapping from into itself. Let denote the set of fixed points of the mapping T. A mapping is said to be nonexpansive if
A mapping is said to be contractive if there exists a constant such that
A mapping is called -inverse strongly monotone if there exists a constant such that
Remark 1.1 Every -inverse strongly monotone mapping is monotone and -Lipschitz continuous.
In 1967, Halpern  introduced the following iterative method for a nonexpansive mapping in a real Hilbert space, for finding and
where and is fixed.
Moudafi  introduced the viscosity approximation method for a nonexpansive mapping as follows: For finding and
where and is a contraction mapping.
A viscosity approximation method with Meir-Keeler contraction was first studied by Suzuki . Very recently Petrusel and Yao  studied the following viscosity approximation method with a generalized contraction: for finding and
where and is a family of nonexpansive mappings on.
Takahashi and Takahashi  introduced the following iterative scheme for solving a generalized equilibrium problems and a fixed point problems of a nonexpansive mapping in a Hilbert spaces: Finding and
where and A is an -inverse strongly monotone mapping. They proved that the sequence generated by (1.9) strongly converges to an element in under suitable conditions.
In this paper, from the recent works        , we introduced an iterative scheme by the modified viscosity approximation method associated with Meir-Keeler contraction (see ) for solving the generalized mixed equilibrium problems and fixed point problem of a nonexpansive semigroup in Hilbert spaces, and also we discussed a convergence theorem. Finally we apply our main results for commutative nonexpansive mappings and semigroup of strongly continuous mappings.
Let be a semigroup and be the Banach space of all bounded real valued functionals on with superimum norm. For each, we define the left and right translation operators and on by and for each and respectively. Let be a subspace of containing 1. An element in the dual space of is said to be a mean on if We denote the value of at the function by. According to the time and circumstances, we write the value by or. It is well known that is a mean of if and only if for each
Let X be a translation invariant subspace of (i.e., and for each) containing 1. Then a mean μ on X is said to be left invariant (resp. right invariant) if (resp.) for each and. A mean μ on X is said to be invariant if μ is both left and right invariant  . S is said to be left (resp. right) amenable if X has a left (resp. right) invariant mean. S is amenable if S is left and right amenable . In this case also has an invariant mean. It is known that is amenable when S is commutative semigroup or solvable group. However the free group or semigroup of two generators is not left or right amenable (see ). A net of mean on X is said to be left regular if
for each where is the adjoint operator of
Let be a nonempty closed convex subset of. A family is called a nonexpansive semigroup on if for each, the mapping is nonexpansive and for each (see  ). We denote by the set of common fixed point of, i.e.,
Assume that is a open ball of radius centered at 0 and is a closed convex hull of. For and a mapping, the set of -approximate fixed points of will be denoted by, i.e.,
Lemma 2.1  Let be a function of a semigroup into a Banach space E such that the weak closure of is weakly compact and a subspace of containing all the function with Then for any there exists a unique element in such that for all,
Moreover if is a mean on then
We can write by
Lemma 2.2  Let be a closed convex subset of a Hilbert space H.Let be a nonexpansive semigroup from into itself such that, be a subspace of containing 1, the mapping be an element of for each and and be a mean on. If we write instead of then the following state- ments hold:
1) is a nonexpansive mapping from into,
2) for each
3), for each;
4) if is left invariant then is a nonexpansive retraction from into
Let be a nonempty closed convex subset of a real Hilbert space. Then for any there exists a unique nearest point in, denoted by such that for all,
where is the metric projection of onto. We also know that for and if and only if for all,
A mapping is said to be an -function if for each and for every there exists such that for all. As a consequence, every -function satisfies for each.
Definition 2.3 Let be a metric space. A mapping is said to be a
1) -contraction if is an -function and
for all with
2) Meir-Keeler type mapping if for each there exists such that for each with we have (see  ).
Theorem 2.4  Let be a complete metric space and is a Meir-Keeler type mapping. Then has a unique fixed point.
Theorem 2.5  Let be a complete metric space and is a mapping. Then the following statements are equivalent.
1) is a Meir-Keeler type mapping;
2) there exists an -function such that is a -con- traction.
Theorem 2.6  Let be a convex subset of a Banach space and let be a Meir-Keeler type mapping. Then for each there exists such that for each with we have
Proposition 2.7  Let be a convex subset of a Banach space, be a nonexpansive mapping on and be a Meir-Keeler type mapping. Then the following statements hold:
1) is a Meir-Keeler type mapping on.
2) For each, the mapping is a Meir- Keeler type mapping on.
Lemma 2.8  Assume that is a sequence of nonnegative real number such that
where is a sequence in and is a sequence in satisfying
Lemma 2.9  Let and be bounded sequences in a Banach space such that
where is a real sequence in with
Lemma 2.10  Let for all Suppose that and are sequences in such that
for some. Then we have
Lemma 2.11  Let be a nonempty closed convex subset of a real Hilbert space and be a nonexpansive mapping with Then is demiclosed at zero, that is, for all sequence with and it follows that
For solving the equilibrium problem we assume that bifunction satisfies the following conditions:
(A2) is monotone, i.e.,
(A3) for each
(A4) for each, is convex and lower semicontinuous.
Lemma 2.12  Let be a nonempty closed convex subset of a real Hilbert space H and G be a bifunction from to satisfying (A1)-(A4). Then for any and, there exists such that
then we have the followings:
1) is single-valued;
2) is firmly nonexpansive, i.e., for any
4) is closed and convex.
Lemma 2.13  Let and be as in Lemma 2.12. Then we have
for all and
3. Main Results
Theorem 3.1 Let K be a nonempty closed convex subset of a Hilbert space. Let be a semigroup, be a nonexpansive semigroup on be a bifunction satisfying (A1)-(A4) and be an - inverse strongly monotone mapping with
Let be a proper lower semicontinuous and convex function, X be a left invariant subspace of such that and the function be an element of X for each Let be a left regular sequence of means on X such that as and be a Meir-Keeler contraction. Let be the sequence generated by and
where is bounded sequence in, and are real number sequences in and satisfying the conditions:
Then the sequence strongly converges to which is also solves the following variational inequality problem:
Proof. We give the several steps for the proof.
Step 1: First we show that is bounded. Put and for all Then for, we have
Set, then is nonexpansive and. Hence we have
By induction, we can prove that
Hence the sequence is bounded. So and are all bounded.
Step 2: We next show that
Since is bounded and (3.3) holds. Since and, we have
From and, we have
it follows that
We see that
Combining (3.4) and (3.5) with (3.6), we obtain
Using Lemma 2.13, (3.3),(C1) and (C4), then we have
From this inequality and (C3), it follows from Lemma 2.9 that
It implies that
Step 3: Next we prove that for all,
Set It is easily seen that D is a nonempty bounded closed convex subset of K. Further and are in D. To complete our proof, we follows that proof line as in . From , for every there exists such that for all,
From Corollary 1.1 in , there exists a natural number such that for all
Since is left regular, for there exists such that
for all Therefore, we have for all
We observe from Lemma 2.2 (iii) that
Combining (3.10), (3.12) and (3.12), we have for all
Let and. Then there exists which satisfies (3.9). From (C3) there exist such that. From (3.7) there exists
such that and for all So from (3.9) and (3.13), we have
Hence Since is arbitrary,
Step 4: We next show that
Using inequality (3.2), we obtain
which implies that
From (C1)-(C4) and (3.8), we obtain
Since is firmly nonexpansive,
Then we have
Hence, from (C2), (C3) and (3.16) we obtain
Since we have and hence
On the other hand, by Proposition 2.7 (i), we know that is a Meir-Keeler contraction. From Theorem 2.4, there exists a unique element such that which is equivalent to
Step 5: We next show that
To see this, we chose a subsequence of such that
Since is a bounded, K is closed and H is reflexive, there exists a point such that. From (3.17) and (3.18) there exists a corresponding subsequence of (resp. of) such that (resp.). We next show that Since We can write
From (A2), we have
Put for and. Since and, . So from (3.19) we have
From (A4), we have
From (A1)-(A4) and (3.20), we have
It follows that
letting by (A3), we have
Hence It is easily seen that Indeed, since and for all we conclude from Lemma 2.1 that. Consequently, we have and hence
Step 6: Now we are in a position to show that is a fixed point of.
Let. Then we have
We note that
It follows from Lemma 2.10 that
On the other hand, we have
It follows from (3.17) and (3.22) that
Therefore Let be an another subsequence of converging to with. Similarly, we can find. Hence we have
This is a contradiction. Hence we have
Step 7: We finally show that as.
Suppose that does not strongly converge to. Then there exists and a subsequence of such that for all By Proposition 2.7, for this there exists such that
So we have
This implies that
Using (3.21) and (C2), we can conclude by Lemma 2.8 that as . This is a contradiction and hence the sequence converges to . Thus we completes the proof.
This work was supported by the Basic Science Research Program through the National Research Foundation(NRF) Grant funded by Ministry of Education of the republic of Korea(2015R1D1A1A09058177).
 Kim, J.K. and Chang, S.S. (2014) Generalized Mixed Equilibrium Problems for an Infinite Family of Quasi-ø-Nonexpansive Mappings in Banach Spaces. Nonlinear Anal. and Convex Anal., RIMS Kokyuroku, Kyoto Univ., 1923, 28-41.
 Yang, L. Zhao, F. and Kim, J.K. (2012) Hybrid Projection Method for Generalized Mixed Equilibrium Problem and Fixed Point Problem of Infinite Family of Asymptotically Quasi-Nonexpansive Mappings in Banach Spaces. Applied Mathematics and Computation, 218, 6072-6082. https://doi.org/10.1016/j.amc.2011.11.091
 Ahmad, M.K. and Salahuddin (2012) A Stable Perturbed Algorithms for a New Class of Generalized Nonlinear Implicit Quasi Variational Inclusions in Banach Spaces. Advances in Pure Mathematics, 2, 139-148. https://doi.org/10.4236/apm.2012.23021
 Kim, J.K. (2011) Strong Convergence Theorems by Hybrid Projection Methods for Equilibrium Problems and Fixed Point Problems of the Asymptotically Quisi-Non- expansive Mappings. Fixed Point Theory and Appl. https://doi.org/10.1186/1687-1812-2011-10
 Kim, J.K. (2015) Convergence Theorems of Iterative Sequences for Generalized Equilibrium Problems Involving Strictly Pseudocontractive Mappings in Hilbert Spaces. Jour. of Comput. Anal. and Appl., 18, 454-471.
 Kim, J.K., Cho, S.Y. and Qin, X.L. (2010) Hybrid Projection Algorithms for Generalized Equilibrium Problems and Strictly Pseudocontractive Mappings. Jour. of Inequalities and Appl., Article ID: 312062, 17 p.
 Petrusel, A. and Yao, J.C. (2008) Viscosity Approximation to Common Fixed Points of Families of Nonexpansive Mappings with Generalized Contractions Mappings. Nonlinear Anal. TMA, 69, 1100-1111. https://doi.org/10.1016/j.na.2007.06.016
 Takahashi, S. and Takahashi, W. (2007) Viscosity Approximation Methods for Equilibrium Problems and Fixed Point Problems in Hilbert Spaces. J. Math. Anal. Appl., 331, 506-515. https://doi.org/10.1016/j.jmaa.2006.08.036
 Ahmad, M.K. and Salahuddin (2006) Perturbed Three Step Approximation Process with Errors for a General Implicit Nonlinear Variational Inequalities. Int. J. Math. Math. Sci., Article ID: 43818. https://doi.org/10.1155/IJMMS/2006/43818
 Saeidi, S. (2009) Iterative Algorithms for Finding Common Solutions of Variational Inequalities and Systems of Equilibrium Problems and Fixed Points of Families and Semigroups of Nonexpansive Mappings. Nonlinear Anal. TMA, 70, 4195-4208. https://doi.org/10.1016/j.na.2008.09.009
 Suantai, S. and Cholamjiak, P. (2014) Algorithms for Solving Generalized Equilibrium Problems and Fixed Point of Nonexpansive Semigroups in Hilbert Spaces. Optimizations, 63, 799-815. https://doi.org/10.1080/02331934.2012.684355
 Takahashi, S. and Takahashi, W. (2008) Strong Convergence Theorem for a Generalized Equilibrium Problem and a Nonexpansive Mapping in Hilbert Spaces. Nonlinear Anal. TMA, 69, 1025-1023. https://doi.org/10.1016/j.na.2008.02.042
 Takahashi, W. (1981) A Nonlinear Ergodic Theorem for an Amenable Semigroup of Nonexpansive Mappings in a Hilbert Spaces. Proc. Am. Math. Soc., 81, 253-256. https://doi.org/10.1090/S0002-9939-1981-0593468-X
 Lin, Q. (2009) Viscosity Approximation for Common Fixed Points of a Nonexpansive Semigroup with a Generalized Contraction Mappings. Nonlinear Anal. TMA, 71, 5451-5457. https://doi.org/10.1016/j.na.2009.04.033
 Suzuki, T. (2005) Strong Convergence of Krasnoselskic and Mann’s Type Sequences for One Parameter Nonexpansive Semigroups without Brochner Integrals. J. Math. Anal. Appl., 305, 227-239. https://doi.org/10.1016/j.jmaa.2004.11.017