- Research
- Open access
- Published:
Shrinking projection algorithms for equilibrium problems with a bifunction defined on the dual space of a Banach space
Fixed Point Theory and Applications volume 2011, Article number: 91 (2011)
Abstract
Shrinking projection algorithms for finding a solution of an equilibrium problem with a bifunction defined on the dual space of a Banach space, in this paper, are introduced and studied. Under some suitable assumptions, strong and weak convergence results of the shrinking projection algorithms are established, respectively. Finally, we give an example to illustrate the algorithms proposed in this paper.
2000 Mathematics Subject Classification: 47H09; 65J15; 90C99.
1 Introduction
Let Ω be a nonempty closed subset of a real Hilbert space H. Let g be a bifunction from Ω × Ω to R, where R is the set of real numbers. The equilibrium problem for g is as follows: Find such that
Many problems in structural analysis, optimization, management sciences, economics, variational inequalities and complementary problems coincide to find a solution of the equilibrium problem. Various methods have been proposed to solve some kinds of equilibrium problems in Hilbert and Banach spaces (see [1–8]).
In [9], Takahashi and Zembayashi proved strong and weak convergence theorems for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of a relatively nonexpansive mapping in Banach spaces. Ibaraki and Takahashi [10] introduced a new resolvent of a maximal monotone operator in Banach spaces and the concept of the generalized nonexpansive mapping in Banach spaces. Honda et al. [11], Kohsaka and Takahashi [12] also studied some properties for the generalized nonexpansive retractions in Banach spaces. Takahashi et al. [13] proved a strong convergence theorem for nonexpansive mapping by hybrid method. In 2009, Ceng et al. [2] proved strong and weak convergence theorems for equilibrium problems and dealt maximal monotone operators by hybrid proximal-point methods. Motivated by Ibaraki and Takahashi [10] and Takahashi et al. [13], Takahashi and Zembayashi [14] considered the following equilibrium problem:
Let E be a smooth Banach space with dual space E* and C be a nonempty closed subset of E such that J(C) is a closed and convex subset of E*, where J is the normalized duality mapping from E onto E*. Let f: J(C) × J(C) → R be a mapping. Consider the equilibrium problem as follows: Find such that
Then they proved a strong convergence theorem for finding a solution of the equilibrium problem (1.1) in Banach spaces. Forward, we denote the set of solutions of the problem (1.1) by EP(f):
Inspired and motivated by Ceng et al. [2], Takahashi and Zembayashi [14], Takahashi and Zembayashi [9], the main aim of this paper is to introduce and investigate a new iterative method for finding a solution of the equilibrium problem (1.1). Under some appropriate assumptions, strong and weak convergence results of the iterative algorithms are established, respectively. Furthermore, we also give an example to illustrate the algorithms proposed in this paper.
2 Preliminaries
Throughout this paper, we denote the sets of nonnegative integers and real numbers by Z+ and R, respectively.
Let E be a real Banach space with the dual space E*. The norm and the dual pair between E and E* are denoted by ║·║ and 〈·,·〉, respectively. The weak convergence and strong convergence are denoted by ⇀ and →, respectively. Let C be a nonempty closed subset of E. We denote the normalized duality mapping from E to E* by J defined by
J is said to be weakly sequentially continuous if the strong convergence of a sequence {x n } to x in E implies the weak* convergence of {J(x n )} to J(x) in E*.
Many properties of the normalized duality mapping J can be found in [15–17] and, now, we list the following properties:
(p1) J(x) is nonempty for any x ∈ E;
(p2) J is a monotone and bounded operator in Banach spaces;
(p3) J is a strictly monotone operator in strictly convex Banach spaces;
(p4) J is the identity operator in Hilbert spaces;
(p5) If E is a reflexive, smooth and strictly convex Banach space and J*: E* → 2E is the normalized duality mapping on E*, then J-1 = J*; JJ* = I E * and J*J = I E ; where I E * and IE*are the identity mappings on E and E*, respectively.
(p6) If E is a strictly convex Banach space, then J is one to one, that is,
(p7) If E is smooth, then J is single-valued;
(p8) E is a uniformly convex Banach space if and only if E* is uniformly smooth;
(p9) If E is uniformly convex and uniformly smooth Banach space, then J is uniformly norm-to-norm continuous on bounded subsets of E and J-1 = J* is also uniformly norm-to-norm continuous on bounded subsets of E*:
Let E be a smooth Banach space. Let a function ϕ: E × E → R be defined as follows:
Then we have
Remark 2.1. (see [17, 18]) The following statements hold:
-
(1)
If E is a reflexive, strictly convex and smooth Banach space, then, for all x, y ∈ E, ϕ(x; y) = 0 if and only if x = y;
-
(2)
If E is a Hilbert space, then ϕ(x, y) = ║x - y║2 for all x; y ∈ E;
-
(3)
For all x, y ∈ E, (║x║ - ║y║)2 ≤ ϕ(x, y) ≤ (║x║ + ║y║)2.
For solving the equilibrium problem (1.1), we assume that f: J(C) × J(C) → R satisfies the following conditions (A 1) - (A 4) [9]:
(A1) f(x*, x*) = 0 for all x* ∈ J(C);
(A2) f is monotone, that is, f(x*; y*) + f(y*, x*) ≤ 0 for all x*, y* ∈ J(C);
(A3) f is upper hemicontinuous, that is, for all x*, y*, z* ∈ J(C),
(A4) For all x* ∈ J(C), f(x*, ·) is convex and lower semicontinuous.
In the sequel, we recall some concepts and results.
Definition 2.1. (see [11]) Let C be a nonempty closed subset of a smooth Banach space E. A mapping T: C → C is said to be generalized nonexpansive if F(T) is nonempty and
where F(T) denotes the set of fixed points of T, that is, F(T) = {x ∈ C: Tx = x}.
Definition 2.2. (see [11]) Let C be a nonempty closed subset of E. A mapping R: E → C is called:
-
(1)
a retraction if R2 = R;
-
(2)
sunny if R(Rx + t(x - Rx)) = Rx for all x ∈ E and t > 0.
Definition 2.3. (see [11]) A nonempty closed subset C of a smooth Banach space E is called a sunny generalized nonexpansive retract of E if there exists a sunny generalized nonexpansive retraction R from E onto C.
Lemma 2.1. (see [19]) Let E be a uniformly convex and smooth Banach space, and let {x n } and {y n } be two sequences of E. If ϕ(x n , y n ) → 0 and either {x n } or {y n } is bounded, then xn - y n → 0.
Lemma 2.2. (see [18]) Let E be a uniformly convex Banach space. Then, for any r > 0; there exists a strictly increasing, continuous and convex function h: [0, 2r] → R such that h(0) = 0 and
where B r = {z ∈ E: ║z║ ≤ r}.
Lemma 2.3. (see [1]) Let C be a nonempty closed subset of a smooth, strictly convex and reflexive Banach space E such that J(C) is closed and convex. Assume that a mapping f: J(C) × J(C) → R satisfies the conditions (A 1)-(A 4). Then, for any r > 0 and x ∈ E, there exists z ∈ C such that
Lemma 2.4. (see [14]) Let C be a nonempty closed subset of a uniformly smooth, strictly convex and reflexive Banach space E such that J(C) is closed and convex. Assume that a mapping f: J(C) × J(C) → R satisfies the conditions (A 1)-(A 4). For any r > 0 and x ∈ E, define a mapping T r : E → C by
Then the following statements hold:
-
(1)
T r is single-valued;
-
(2)
For all x, y ∈ E,
-
(3)
F(T r ) = EP(f) and J(EP(f)) is closed and convex;
-
(4)
ϕ(x, T r (x)) + ϕ(T r (x), p) ≤ ϕ(x, p) for all x ∈ E and p ∈ F(T r ).
Lemma 2.5. (see [9]) Let C be a nonempty closed subset of a smooth, strictly convex and reflexive Banach space E, and let R be a retraction of E onto C. Then the following statements are equivalent:
-
(1)
R is sunny generalized nonexpansive;
-
(2)
〈x - R x, J(y) - J(Rx)〉 ≤ 0 for all (x, y) ∈ E × C.
Lemma 2.6. (see [20]) Let C be a nonempty closed sunny generalized nonexpansive retract of a smooth and strictly convex Banach space E. Then the sunny generalized nonexpansive retraction from E onto C is uniquely determined.
Lemma 2.7. (see [10]) Let C be a nonempty closed subset of a smooth and strictly convex Banach space E such that there exists a sunny generalized nonexpansive retraction R from E onto C. Then, for any x ∈ E and z ∈ C, the following statements hold:
-
(1)
z = Rx if and only if 〈x - z, J(y) ≤ J(z)〉 ≤ 0 for all y ∈ C;
-
(2)
ϕ(x, Rx) + ϕ(Rx, z) ≤ ϕ(x, z).
Lemma 2.8. (see [12]) Let C be a nonempty closed subset of a smooth, strictly convex and reflexive Banach space E. Then the following statements are equivalent:
-
(1)
C is a sunny generalized nonexpansive retract of E;
-
(2)
J(C) is closed and convex.
Remark 2.2. If E is a Hilbert space, then, from Lemmas 2.6 and 2.8, a sunny generalized nonexpansive retraction from E onto C reduces to a metric projection operator P from E onto C.
Lemma 2.9. (see [12]) Let C be a nonempty closed sunny generalized nonexpansive retract subset of a smooth, strictly convex and reflexive Banach space E. Let R be the sunny generalized nonexpansive retraction from E onto C. Then, for any x ∈ E and z ∈ C,
Lemma 2.10. (see [21]) Let {a n } and {b n } be two sequences of nonnegative real numbers satisfying the inequality
If , then limn →∞a n exists.
3 Main results
In this section, we propose iterative algorithms for finding a solution of the equilibrium problem (1.1) and prove the strong and weak convergence for the algorithms in a Banach space under some suitable conditions.
Theorem 3.1. Let C be a nonempty closed subset of a uniformly convex and uniformly smooth Banach space E such that J(C) is closed and convex. Assume that a mapping f: J(C) × J(C) → R satisfies the conditions (A 1)-(A 4). Define a sequence {x n } in C by the following algorithm:
where {α n }, {β n } ⊂ [0, 1] such that
Then the sequence {REP(f)x n } converges strongly to a point ω ∈ EP(f), where REP(f)is the sunny generalized nonexpansive retraction from E onto EP(f).
Proof. For the sake of simplicity, let and y n = β n x n + (1 - β n )u n . Then xn+1= α n x0 + (1 - α n )y n . From Lemma 2.4, it follows that EP(f) is a nonempty closed and convex subset of E.
First, we claim that {x n } is bounded. Indeed, let ω ∈ EP(f). Since
we have
By virtue of and Lemma 2.10, it follows that the limit of {ϕ(x n , ω)} exists. Therefore, {ϕ(x n , ω)} is bounded and so {x n }, {u n } and {y n } are also bounded. Let z n = REP(f)x n . Then z n ∈ EP(f) and so, from Lemma 2.7, we have
Therefore, {z n } is bounded and so ϕ(x0, z n ) is bounded. Since ϕ(xn+1, z n ) ≤ α n ϕ(x0, z n ) + ϕ(x n , z n ), by Lemma 2.7, one has
Since {ϕ (x0, z n )} is bounded, there exists M > 0 such that |ϕ(x0, z n )| ≤ M. By , we have
that is, From Lemma 2.10, it follows that {ϕ(x n , z n )} is a convergent sequence. For any m ∈ Z+\{0}, one can get
Then we have
From zn+m= REP(f)xn+mand Lemma 2.7, it follows that
and so
Set r = sup{║z n ║: n ∈ Z+}. Then, from Lemma 2.2 and [19], it follows that there is a strictly increasing, continuous and convex function h: [0, 2r] → R such that h(0) = 0 and
Since {ϕ(x n , z n )} is convergent, {ϕ(x0, z n )} is bounded and is convergent, it follows that, for any m ∈ Z+,
which shows that {z n } is a Cauchy sequence. Since EP(f) is closed, there exists ω ∈ EP(f) such that z n → ω. Therefore, the sequence {REP(f)x n } converges strongly to the ω ∈ EP(f). This completes the proof. □
Theorem 3.2. Let C be a nonempty closed subset of a uniformly convex and uniformly smooth Banach space E such that J(C) is closed and convex. Assume that a mapping f: J(C) × J(C) → R satisfies the conditions (A 1)-(A 4). Define a sequence {x n } in C by the following algorithm:
where {α n }, {β n } ⊂ [0, 1] such that
If J is weakly sequentially continuous, then the sequence {x n } converges weakly to a point ω ∈ EP(f), where ω = limn→∞REP(f)x n and REP(f)is the sunny generalized nonexpansive retraction from E onto EP(f).
Proof. For the sake of simplicity, let , y n = β n x n + (1 - β n )u n and z n = REP(f)x n . As in the proof of Theorem 3.1, we have {x n }, {u n }, {z n }, {J(x n )} and {y n } are bounded. Set r = sup{║x n ║, ║z n ║: n ∈ Z+}. It follows from Lemma 2.2 that there exists a strictly increasing, continuous and convex function h: [0, 2r] → R such that h(0) = 0 and
Since
we have
Moreover, one has
From lim infn→∞β n (1 - β n ) > 0, and the limit existence of {ϕ(x n , ω)}, we have
By the property of h, we get
Since J is uniformly norm-to-norm continuous on the bounded subset of E, we obtain
Since {J(x n )} is bounded, we have that J(x n ) ⇀ p* (here we may take a subnet of {x n } if necessary). Then J(u n ) ⇀ p*. From lim infn→∞ r n > 0, it follows that . Note that
By (A 2), we obtain
Therefore, it follows that f(J(y), p*) ≤ 0. Let for any t ∈ (0,1). Then . Since
we get . By (A 3), one has f (p*, J(y)) ≥ 0.Therefore, p* ∈ J(EP(f)).
Let z n = REP(f)x n . From Theorem 3.1, one can get that z n → ω and so
Since J is weakly sequentially continuous, we have
By the monotonicity of J-1,
Thus, from both (3.1) and (3.2), it follows that
this together with the strictly monotonicity of J yields that J-1(p*) = ω. Therefore, the sequence {x n } converges weakly to the point ω ∈ EP(f), where ω = limn→∞REP(f)x n . This completes the proof. □
4 Numerical test
In this section, we give an example of numerical test to illustrate the algorithms given in Theorems 3.1 and 3.2.
Example 4.1. Let E = R, C = [-1000, 1000] and define f(x, y): = -5x2 + xy + 4y2. Find such that
First, we verify that f satisfies the conditions (A 1)-(A 4) as follows:
(A1) f(x, x) = - 5x2 + x2 + 4x2 = 0 for all x ∈ [-1000, 1000];
(A2) f(x, y) + f(y, x) = -(x - y)2 ≤ 0 for all x, y ∈ [-1000, 1000];
(A3) For all x, y, z ∈ [-1000, 1000],
(A4) For all x ∈ [-1000, 1000], F(y) = f(x, y) = -5x2 + xy + 4y2 is convex and lower semicontinuous.
From Lemma 2.4, T r is single-valued. Now, we deduce a formula for T r (x). For any y ∈ C, r > 0,
Set G(y) = 4ry2 + ((r + 1)z - x)y + xz - (5r + 1)z2. Then G(y) is a quadratic function of y with coefficients a = 4r, b = (r + 1)z - x and c = xz - (5r + 1)z2. So its discriminant Δ = b2 - 4ac is
Since G(y) ≥ 0 for all y ∈ C, this is true if and only if Δ ≤ 0. That is, [(9r + 1)z -x]2 ≤ 0. Therefore, , which yields that . Let , and . It is easy to check that
Thus, from Lemma 2.4, it follows that EP(f) = {0}. Therefore, all the assumptions in Theorems 3.1 and 3.2 are satisfied. Setting x0 = 1 and using the algorithm in Theorem 3.1, we obtain the following sequences:
Therefore, by Theorem 3.1, the sequence {PEP(f)x n } must converge strongly to a solution of the problem (4.1). In fact, PEP(f)x n = 0 for all n ∈ Z+. Also, according to Theorem 3.2, the sequence {x n } converges weakly to a solution of the problem (4.1). For a number ε = 10-3, if we use MATLAB, then we generate a sequence {x n } as follows:
Selected values of {u n } and {x n } computed by computer programs are listed below Tables 1 and 2, respectively. The convergent process of the sequence {x n } is described in Figure 1.
From Table 1, we can see that the sequence {u n } converges to 0. Moreover, F(T r ) = EP(f) = {0}. Table 2 shows that the iterative sequence {x n } converges to 0, which is indeed a solution of the problem (4.1). Moreover, .
References
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Mathe Stud 1994, 63: 123–145.
Ceng LC, Mastronei G, Yao JC: Hybrid proximal-point methods for common solutions of equilibrium problems and zeros of maximal monotone operators. J Optim Theory Appl 2009, 142: 431–449. 10.1007/s10957-009-9538-z
Cho YJ, Argyros IK, Petrot N: Approximation methods for common solutions of generalized equilibrium, systems of nonlinear variational inequalities and fixed point problems. Comput Math Appl 2010, 50: 2292–2301.
Cho YJ, Qin X, Kang JI: Convergence theorems based on hybrid methods for generalized equilibrium problems and fixed point problems. Nonlinear Anal (TMA) 2009, 71: 4203–4214. 10.1016/j.na.2009.02.106
Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J Nonlinear Convex Anal 2005, 6: 117–136.
Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert space. J Math Anal Appl 2007, 331: 506–515. 10.1016/j.jmaa.2006.08.036
Takahashi S, Takahashi W: Strong convergence theorems for a generalized equilibrium problem and a nonexpansive mapping in Hilbert space. Nonlinear Anal (TMA) 2008, 69: 1025–1033. 10.1016/j.na.2008.02.042
Yao Y, Cho YJ, Chen R: An iterative algorithm for solving fixed point problems, variational inequality problems and mixed equilibrium problems. Nonlinear Anal (TMA) 2009, 71: 3363–3373. 10.1016/j.na.2009.01.236
Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal(TMA) 2009, 70: 45–57. 10.1016/j.na.2007.11.031
Ibaraki T, Takahashi W: A new projection and convergence theorems for the projections in Banach spaces. J Approx Theory 2007, 149: 1–14. 10.1016/j.jat.2007.04.003
Honda T, Takahashi W, Yao JC: Nonexpansive retractions onto closed convex cones in Banach spaces. Taiwanese J Math 2010, 14: 1023–1046.
Kohsaka F, Takahashi W: Generalized nonexpansive retractions and a proximal-type algorithm in Banach spaces. J Nonlinear Convex Anal 2007, 8: 197–209.
Takahashi W, Takeuchi Y, Kubota R: Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces. J Math Anal Appl 2008, 341: 276–286. 10.1016/j.jmaa.2007.09.062
Takahashi W, Zembayashi K: A Strong convergence theorem for the equilibrium problem with a bifunction defined on the dual space of a Banach space. In Proceeding of the 8th International Conference on Fixed Point Theory and its Applications. Yokohama Publish:Yokohama; 2008:197–209.
Alber Y: Generalized projection operators in Banach spaces: properties and applications. In Proceedings of the Israel Seminar Ariel. Volume 1. Israel Funct Differ Equat; 1994:1–21.
Alber Y: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Monotonic and Accretive Type. Edited by: Kartsatos AG. Dekker:New York; 1996:15–50.
Takahashi W: Nonlinear Functional Analysis-Fixed Point Theory and Its Applications. Yokohama Publishers 2000.
Xu HK: Inequalities in Banach spaces with applications. Nonlinear Anal (TMA) 1991, 16: 1127–1138. 10.1016/0362-546X(91)90200-K
Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J Optim 2003, 13: 938–945.
Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.
Tan KK, Xu HK: Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process. J Math Anal Appl 1993, 178: 301–308. 10.1006/jmaa.1993.1309
Acknowledgements
The authors would like to thank three anonymous referees for their invaluable comments and suggestions, which led to an improved presentation of the results. This work was supported by the Natural Science Foundation of China (71171150, 70771080), the Korea Research Foundation Grant funded by the Korean Government (KRF-2008-313-C00050), the Academic Award for Excellent Ph.D. Candidates Funded by Wuhan University and the Fundamental Research Fund for the Central Universities (201120102020004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
J-WC, YJC and ZW carried out the studies on nonlinear analysis and applications, wrote this article together and participated in its design of this paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
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
Chen, Jw., Je Cho, Y. & Wan, Z. Shrinking projection algorithms for equilibrium problems with a bifunction defined on the dual space of a Banach space. Fixed Point Theory Appl 2011, 91 (2011). https://doi.org/10.1186/1687-1812-2011-91
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2011-91