- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 230392, 17 pages
A New Computational Technique for Common Solutions between Systems of Generalized Mixed Equilibrium and Fixed Point Problems
Department of Mathematics, Faculty of Science, King Mongkut's University of Technology Thonburi (KMUTT), Bang Mod, Bangkok 10140, Thailand
Received 18 February 2013; Accepted 1 April 2013
Academic Editor: Wei-Shih Du
Copyright © 2013 Pongsakorn Sunthrayuth and Poom Kumam. 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.
We introduce a new iterative algorithm for finding a common element of a fixed point problem of amenable semigroups of nonexpansive mappings, the set solutions of a system of a general system of generalized equilibria in a real Hilbert space. Then, we prove the strong convergence of the proposed iterative algorithm to a common element of the above three sets under some suitable conditions. As applications, at the end of the paper, we apply our results to find the minimum-norm solutions which solve some quadratic minimization problems. The results obtained in this paper extend and improve many recent ones announced by many others.
Throughout this paper, we denoted by the set of all real numbers. We always assume that is a real Hilbert space with inner product and induced norm and is a nonempty, closed, and convex subset of . denotes the metric projection of onto . A mapping is said to be -Lipschitzian if there exists a constant such that If , then is a contraction, and if , then is a nonexpansive mapping. We denote by the set of all fixed points set of the mapping ; that is, .
A mapping is said to be monotone if A mapping is said to be strongly monotone if there exists such that Let be a real-valued function, an equilibrium bifunction, and a nonlinear mapping. The generalized mixed equilibrium problem is to find such that which was introduced and studied by Peng and Yao . The set of solutions of problem (4) is denoted by . As special cases of problem (4), we have the following results. (1)If , then problem (4) reduces to mixed equilibrium problem. Find such that which was considered by Ceng and Yao . The set of solutions of problem (5) is denoted by . (2)If , then problem (4) reduces to generalized equilibrium problem. Find such that which was considered by S. Takahashi and W. Takahashi . The set of solutions of problem (6) is denoted by .(3)If , then problem (4) reduces to equilibrium problem. Find such that The set of solutions of problem (7) is denoted by .(4)If , then problem (4) reduces to classical variational inequality problem. Find such that The set of solutions of problem (8) is denoted by . It is known that is a solution of the problem (8) if and only if is a fixed point of the mapping , where is a constant and is the identity mapping. The problem (4) is very general in the sense that it includes several problems, namely, fixed point problems, optimization problems, saddle point problems, complementarity problems, variational inequality problems, minimax problems, Nash equilibrium problems in noncooperative games, and others as special cases. Numerous problems in physics, optimization, and economics reduce to find a solution of problem (4) (see, e.g., [4–9]). Several iterative methods to solve the fixed point problems, variational inequality problems, and equilibrium problems are proposed in the literature (see, e.g., [1–3, 10–18]) and the references therein.
Let be two mappings. Ceng and Yao  considered the following problem of finding such that which is called a general system of generalized equilibria, where and are two constants. In particular, if and , then problem (9) reduces to the following problem of finding such that which is called a new system of generalized equilibria, where and are two constants.
In 2010, Ceng and Yao  proposed the following relaxed extragradient-like method for finding a common solution of generalized mixed equilibrium problems, a system of generalized equilibria (9), and a fixed point problem of a -strictly pseudocontractive self-mapping on as follows: where are -inverse strongly monotone, -inverse strongly monotone, and -inverse strongly monotone, respectively. They proved strong convergence of the related extragradient-like algorithm (12) under some appropriate conditions , , , and satisfying, for all , to , where , with the mapping defined by Very recently, Ceng et al.  introduced an iterative method for finding fixed points of a nonexpansive mapping on a nonempty, closed, and convex subset in a real Hilbert space as follows: where is a metric projection from onto , is an -Lipschitzian mapping with a constant , and is a -Lipschitzian and -strongly monotone operator with constants and . Then, they proved that the sequences generated by (14) converge strongly to a unique solution of variational inequality as follows:
In this paper, motivated and inspired by the previous facts, we first introduce the following problem of finding such that which is called a more general system of generalized equilibria in Hilbert spaces, where for all . In particular, if , and , then problem (16) reduces to problem (9). Finally, by combining the relaxed extragradient-like algorithm (12) with the general iterative algorithm (14), we introduce a new iterative method for finding a common element of a fixed point problem of a nonexpansive semigroup, the set solutions of a general system of generalized equilibria in a real Hilbert space. We prove the strong convergence of the proposed iterative algorithm to a common element of the previous three sets under some suitable conditions. Furthermore, we apply our results to finding the minimum-norm solutions which solve some quadratic minimization problem. The main result extends various results existing in the current literature.
Let be a semigroup. We denote by the Banach space of all bounded real-valued functionals on with supremum norm. For each , we define the left and right translation operators and on by for each and , respectively. Let be a subspace of containing . An element in the dual space of is said to be a mean on if . It is well known that is a mean on if and only if for each . We often write instead of for and .
Let be a translation invariant subspace of (i.e., and for each ) containing . Then, a mean on is said to be left invariant (resp., right invariant) if (resp., ) for each and . A mean on is said to be invariant if is both left and right invariant [20–22]. is said to be left (resp., right) amenable if has a left (resp., right) invariant mean. is a amenable if is left and right amenable. In this case, also has an invariant mean. As is well known, is amenable when is commutative semigroup; see . A net of means on is said to be left regular if for each , where is the adjoint operator of .
Let be a nonempty, closed, and convex subset of . A family is called a nonexpansive semigroup on if for each , the mapping is nonexpansive and for each . We denote by the set of common fixed point of ; that is, Throughout this paper, the open ball of radius centered at is denoted by , and for a subset of by , we denote the closed convex hull of . For and a mapping , the set of -approximate fixed point of is denoted by ; that is, .
In order to prove our main results, we need the following lemmas.
Lemma 1 (see [23–25]). Let be a function of a semigroup into a Banach space such that the weak closure of is weakly compact, and let be a subspace of containing all the functions with . Then, for any , there exists a unique element in such that for all . Moreover, if is a mean on , then One can write by .
Lemma 2 (see [23–25]). Let be a closed and convex subset of a Hilbert space , a nonexpansive semigroup from into such that , and a subspace of containing , the mapping an element of for each and , and a mean on .
If one writes instead of , then the following hold: (i) is nonexpansive mapping from into ;(ii) for each ;(iii) for each ;(iv)if is left invariant, then is a nonexpansive retraction from onto .
Let be a real Hilbert space with inner product and norm , and let be a nonempty, closed, and convex subset of . We denote the strong convergence and the weak convergence of to by and , respectively. Also, a mapping denotes the identity mapping. For every point , there exists a unique nearest point of , denoted by , such that Such a projection is called the metric projection of onto . We know that is a firmly nonexpansive mapping of onto ; that is, It is known that In a real Hilbert space , it is well known that for all and .
If is -inverse strongly monotone, then it is obvious that is -Lipschitz continuous. We also have that, for all and , In particular, if , then is a nonexpansive mapping from to .
For solving the equilibrium problem, let us assume that the bifunction satisfies the following conditions: (A1) for all ;(A2) is monotone, that is, for each ;(A3) is upper semicontinuous, that is, for each , (A4) is convex and weakly lower semicontinuous for each ;(B1) for each and , there exists a bounded subset and such that for all , (B2) is a bounded set.
Lemma 3 (see ). Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a bifunction satisfying conditions , and let be a lower semicontinuous and convex function. For and , define a mapping as follows: Assume that either or holds. Then, the following hold: (i) for all and is single valued;(ii) is firmly nonexpansive, that is, for all , (iii);(iv) is closed and convex.
Remark 4. If , then is rewritten as (see [12, Lemma 2.1] for more details).
Lemma 5 (see ). Let and be bounded sequences in a Banach space , and let be a sequence in with . Suppose that for all integers and . Then, .
Lemma 6 (Demiclosedness Principle ). Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a nonexpansive mapping with . If is a sequence in that converges weakly to and if converges strongly to , then ; in particular, if , then .
Lemma 7 (see ). Assume that is a sequence of nonnegative real numbers such that where is a sequence in and is a sequence in such that (i); (ii) or . Then, .
Lemma 8. Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a -Lipschitzian and -strongly monotone operator. Let and . Then, for each , the mapping defined by is a contraction with constant .
Proof. Since and , this implies that . For all , we have It follows that Hence, we have that is a contraction with constant . This completes the proof.
Lemma 9. Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a finite family of -inverse strongly monotone operator. Let be a mapping defined by If for all , then is nonexpansive.
Proof. Put for and . Then, . For all , it follows from (28) that which implies that is nonexpansive. This completes the proof.
Lemma 10. Let be a nonempty, closed, and convex subset of a real Hilbert space . Let be a nonlinear mapping. For given , where , , for , and . Then, is a solution of the problem (16) if and only if is a fixed point of the mapping defined as in Lemma 9.
Proof. Let be a solution of the problem (16). Then, we have This completes the proof.
3. Main Results
Theorem 11. Let be a nonempty, closed, and convex subset of a real Hilbert space . Let a finite family of bifunctions which satisfy , a finite family of lower semicontinuous and convex functions, and a finite family of a -inverse strongly monotone mapping and a finite family of an -inverse strongly monotone mapping. Let be a semigroup, and let be a nonexpansive semigroup on such that . Let be a left invariant subspace of such that and the function is an element of for and . Let be a left regular sequence of means on X such that . Let be a -Lipschitzian and -strongly monotone operator with constants , and let be an -Lipschitzian mapping with a constant . Let and , where . Assume that , where is defined as in Lemma 9. For given , let be a sequence defined by where , are sequences in , and is a sequence such that satisfying the following conditions: and ; ; and for all . Then, the sequence defined by (39) converges strongly to as , where solves uniquely the variational inequality Equivalently, one has .
Proof. Note that from condition , we may assume, without loss of generality, that for all . First, we show that is bounded. Set
. Then, we have and . From Lemmas 3 and 9, we have that and are nonexpansive. Take ; we have
By Lemma 10, we have . It follows from (42) that
Then, we can rewrite (39) as . From Lemma 8 and (43), we have
It follows from (45) that
By induction, we have
Hence, is bounded, and so are and .
Next, we show that Observe that Indeed, Since is bounded and , then (49) holds. We observe that Let be a bounded sequence in . Now, we show that For the previous purpose, put , and we first show that In fact, since and , we have Substituting in (54) and in (55), then add these two inequalities, and using , we obtain Hence, we derive from (57) that which implies that Noticing that condition implies that (53) holds, from the definition of and the nonexpansiveness of , we have for which (52) follows by (53). Since and , we have Put a constant such that From definition of , we note that It follows from (51), (61), and (63) that From condition , (49), and (52), we have Hence, by Lemma 5, we obtain Consequently, From condition , we have From (66) and (68), we have Set , where . From (25), we have It follows that By the convexity of and (71), we have where is an appropriate constant such that .
Next, we show that From (28), we have From (42), for all , we note that From (72) and (75), we have Substituting (74) into (72), we have which in turn implies that Since , , for all , from and (67), we obtain that On the other hand, from Lemma 3 and (26), we have which in turn implies that