- Open Access
Strong convergence theorem for quasi-Bregman strictly pseudocontractive mappings and equilibrium problems in Banach spaces
© Ugwunnadi et al.; licensee Springer. 2014
- Received: 18 March 2014
- Accepted: 16 October 2014
- Published: 17 November 2014
In this paper, we introduce a new iterative scheme by a hybrid method and prove a strong convergence theorem of a common element in the set of fixed points of a finite family of closed quasi-Bregman strictly pseudocontractive mappings and common solutions to a system of equilibrium problems in reflexive Banach space. Our results extend important recent results announced by many authors.
- Bregman distance
- quasi-Bregman strictly pseudocontractive map
- fixed point
Let be a map, a point is called a fixed point of T if , and the set of all fixed points of T is denoted by . The mapping T is called L-Lipschitzian or simply Lipschitz if there exists , such that , and if , then the map T is called nonexpansive.
Numerous problems in physics, optimization and economics reduce to finding a solution of equilibrium problem. Some methods have been proposed to solve the equilibrium problem in Hilbert spaces; see for example Blum and Oettli , Combettes and Hirstoaga . Recently, Tada and Takahashi [3, 4] and Takahashi and Takahashi  obtain weak and strong convergence theorems for finding a common element of the set of solutions of an equilibrium problem and set of fixed points of a nonexpansive mapping in Hilbert space. In particular, Takahashi and Zembayashi  established a strong convergence theorem for finding a common element of the two sets by using the hybrid method introduced in Nakajo and Takahashi . They also proved such a strong convergence theorem in a uniformly convex and uniformly smooth Banach space.
Let E be a real reflexive Banach space with norm and the dual space of E. Throughout this paper, we shall assume is a proper, lower semi-continuous and convex function. We denote by the domain of f.
The function f is said to be Gâteaux differentiable at x if exists for any y. In this case, coincides with , the value of the gradient ∇f of f at x. The function f is said to be Gâteaux differentiable if it is Gâteaux differentiable for any . The function f is said to be Fréchet differentiable at x if this limit is attained uniformly in . Finally, f is said to be uniformly Fréchet differentiable on a subset C of E if the limit is attained uniformly for and . It is well known that if f is Gâteaux differentiable (resp. Fréchet differentiable) on , then f is continuous and its Gâteaux derivative ∇f is norm-to-weak∗ continuous (resp. continuous) on (see also [12, 13]). We will need the following results.
Lemma 1.1 
If is uniformly Fréchet differentiable and bounded on bounded subsets of E, then ∇f is uniformly continuous on bounded subsets of E from the strong topology of E to the strong topology of .
Definition 1.2 
essentially smooth, if ∂f is both locally bounded and single-valued on its domain;
essentially strictly convex, if is locally bounded on its domain and f is strictly convex on every convex subset of ;
Legendre, if it is both essentially smooth and essentially strictly convex.
Examples of Legendre functions were given in [15, 16]. One important and interesting Legendre function is () when E is a smooth and strictly convex Banach space. In this case the gradient ∇f of f is coincident with the generalized duality mapping of E, i.e., (). In particular, the identity mapping in Hilbert spaces. In the rest of this paper, we always assume that is Legendre.
Concerning the Bregman projection, the following are well known.
Lemma 1.4 
if and only if , ;
, , .
Lemma 1.5 
the function f is totally convex at x;
- (ii)for any sequence ,
Lemma 1.6 
The function f is totally convex on bounded sets if and only if the function f is sequentially consistent.
Lemma 1.7 
Let be a Gâteaux differentiable and totally convex function. If and the sequence is bounded, then the sequence is bounded too.
Lemma 1.8 
Let be a Gâteaux differentiable and totally convex function, and let C be a nonempty, closed, and convex subset of E. Suppose that the sequence is bounded and any weak subsequential limit of belongs to C. If for any , then converges strongly to .
A point is said to be asymptotic fixed point of a map T, if there exists a sequence in C which converges weakly to p such that . We denote by the set of asymptotic fixed points of T. A point is said to be strong asymptotic fixed point of a map T, if there exists a sequence in C which converges strongly to p such that . We denote by the set of strong asymptotic fixed points of T. Let , a mapping is said to be Bregman relatively nonexpansive  if , and for all and . The map is said to be Bregman weak relatively nonexpansive if , and for all and . T is said to be quasi-Bregman relatively nonexpansive if , and for all and . In  quasi-Bregman relatively nonexpansive is called left quasi-Bregman relatively nonexpansive. A map is called right quasi-Bregman relatively nonexpansive  if , and for all and . T is said to be quasi-Bregman strictly pseudocontractive if there exist a constant and such that for all and . In particular, T is said to be quasi-Bregman relatively nonexpansive if and T is said to be quasi-Bregman pseudocontractive if .
where is the generalized projection from E onto . They proved that the sequence converges strongly to .
Recently, Zegeye and Shahzad  proved a strong convergence theorem for the common fixed point of a finite family of right Bregman strongly nonexpansive mappings in a reflexive Banach space. Alghamdi et al.  proved a strong convergence theorem for the common fixed point of a finite family of quasi-Bregman nonexpansive mappings. Pang et al.  proved weak convergence theorems for Bregman relatively nonexpansive mappings. Shahzad and Zegeye  proved a strong convergence theorem for multivalued Bregman relatively nonexpansive mappings, while Zegeye and Shahzad  proved a strong convergence theorem for a finite family of Bregman weak relatively nonexpansive mappings.
Motivated and inspired by the above works, in this paper, we prove a new strong convergence theorem for a finite family of closed quasi-Bregman strictly pseudocontractive mapping and a system of equilibrium problems in a real reflexive Banach space. These results generalize and improve several recent results. We showed by an example that the class of quasi-Bregman strictly pseudocontractive mappings is a proper generalization of the class of quasi-ϕ-Bregman strictly pseudocontractive mappings.
The next lemma will be useful in the proof of our main results.
This completes the proof. □
Lemma 2.2 
In order to solve the equilibrium problem, let us assume that a bifunction satisfies the following conditions :
(A1) , ;
(A2) g is monotone, i.e., , ;
(A3) , ;
(A4) the function is convex and lower semi-continuous.
From Lemma 1, in , if is a strongly coercive and Gâteaux differentiable function, and g satisfies conditions (A1)-(A4), then . The following lemma gives some characterization of the resolvent .
Lemma 2.3 
is a Bregman firmly nonexpansive operator;
is closed and convex subset of C;
- (v)for all and for all , we have(2.4)
Lemma 3.1 Let be a Legendre function which is uniformly Fréchet differentiable on bounded subsets of E, let C be a nonempty, closed, and convex subset of E and let be a quasi-Bregman strictly pseudocontractive mapping with respect to f. Then is closed and convex.
From (3.1), we have , and from , Lemma 7.3, it follows that . Therefore is closed.
which implies , and from , Lemma 7.3, it follows that . Therefore is also convex. This completes the proof. □
We now prove the following theorem.
where , and , for each , is uniformly continuous; suppose and , are sequences in such that (i) , (ii) , . Then converges strongly to , where is the Bregman projection of E onto F.
Proof The proof is divided into six steps.
Step I. Show that is closed and convex. From Lemma 3.1, is closed and convex and from (iv) of Lemma 2.3, is closed and convex. So, is closed and convex.
using the fact that and are continuous and linear in E, for , is closed and convex.
This shows that , which implies for every .
Since and , we obtain , . This shows that is nondecreasing and hence the limit exists. Thus from (3.12), taking the limit as , we obtain . Since f is totally convex on bounded subsets of E, f is sequentially consistent (see ). It follows that as . Hence is Cauchy sequence in C. As is Cauchy in a complete space E, there exists such that as . Clearly .
Step V. Next we show that .
for all . Since as , by the closedness of for each , we obtain .
This implies that , for each . Thus, . Hence we have .
By (a) of Lemma 1.4, we have . □
Here we give an example of a quasi-Bregman strictly peudocontractive mapping which is not quasi-ϕ strictly pseudocontractive mapping; this shows that the former class is a generalization of the latter.
Example 3.3 Let , and define by and , for all . We want to show that T is a quasi-Bregman strictly pseudocontractive but not quasi-ϕ strictly pseudocontractive.
Hence, T is a quasi-Bregman strictly pseudocontractive map.
cannot hold for any . Hence, T is not a quasi-ϕ strictly pseudocontractive map. □
- Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.MathSciNetGoogle Scholar
- Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J. Nonlinear Convex Anal. 2005, 6: 117–136.MathSciNetGoogle Scholar
- Tada A, Takahashi W: Strong convergence theorem for an equilibrium problem and a nonexpansive mapping. In Nonlinear Analysis and Convex Analysis. Edited by: Tada A, Takahashi W. Yokohama Publishers, Yokohama; 2007:609–617.Google Scholar
- Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70(1):45–57. 10.1016/j.na.2007.11.031View ArticleMathSciNetGoogle Scholar
- Takahashi S, Takahashi W: Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces. J. Math. Anal. Appl. 2003, 1331(1):372–379.Google Scholar
- Nakajo K, Takahashi W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 2003, 279(2):372–379. 10.1016/S0022-247X(02)00458-4View ArticleMathSciNetGoogle Scholar
- Reich S, Sabach S: Three strong convergence theorems regarding iterative methods for solving equilibrium problems in reflexive Banach space. Contemp. Math. 2012, 568: 225–240.View ArticleMathSciNetGoogle Scholar
- Kassay G, Reich S, Sabach S: Iterative methods for solving systems of variational inequalities in reflexive Banach space. SIAM J. Optim. 2011, 21: 1319–1344. 10.1137/110820002View ArticleMathSciNetGoogle Scholar
- Zhou H, Gao E: An iterative method of fixed points for closed and quasi-strict pseudocontraction in Banach spaces. J. Appl. Math. Comput. 2010, 33: 227–237. 10.1007/s12190-009-0283-0View ArticleMathSciNetGoogle Scholar
- Hiriart-Urruty JB, Lemarchal C Grundlehren der Mathematischen Wissenschaften 306. In Convex Analysis and Minimization Algorithms II. Springer, Berlin; 1993.View ArticleGoogle Scholar
- Zǎlinescu C: Convex Analysis in General Vector Spaces. World Scientific, River Edge; 2002.View ArticleMATHGoogle Scholar
- Asplund E, Rockafellar RT: Gradients of convex functions. Trans. Am. Math. Soc. 1969, 139: 443–467.View ArticleMathSciNetGoogle Scholar
- Bonnans JF, Shapiro A: Perturbation Analysis of Optimization Problems. Springer, New York; 2000.MATHView ArticleGoogle Scholar
- Reich S, Sabach S: A strong convergence theorem for a proximal-type algorithm in reflexive Banach spaces. J. Nonlinear Convex Anal. 2009, 10: 471–485.MathSciNetGoogle Scholar
- Bauschke HH, Borwein JM, Combettes PL: Essential smoothness, essential strict convexity, and Legendre functions in Banach spaces. Commun. Contemp. Math. 2001, 3: 615–647. 10.1142/S0219199701000524View ArticleMathSciNetGoogle Scholar
- Bauschke HH, Borwein JM: Legendre functions and the method of random Bregman projections. J. Convex Anal. 1997, 4: 27–67.MathSciNetGoogle Scholar
- Censor Y, Lent A: An iterative row-action method for interval convex programming. J. Optim. Theory Appl. 1981, 34: 321–353. 10.1007/BF00934676View ArticleMathSciNetGoogle Scholar
- Bregman LM: The relaxation method for finding the common point of convex sets and its application to the solution of problems in convex programming. USSR Comput. Math. Math. Phys. 1967, 7: 200–217.View ArticleGoogle Scholar
- Butnariu D, Resmerita E: Bregman distances, totally convex functions and a method for solving operator equations in Banach spaces. Abstr. Appl. Anal. 2006., 2006: Article ID 84919Google Scholar
- Resmerita E: On total convexity, Bregman projections and stability in Banach spaces. J. Convex Anal. 2004, 11: 1–16.MathSciNetGoogle Scholar
- Butnariu D, Iusem AN: Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization. Kluwer Academic, Dordrecht; 2000.MATHView ArticleGoogle Scholar
- Reich S, Sabach S: Two strong convergence theorems for a proximal method in reflexive Banach spaces. Numer. Funct. Anal. Optim. 2010, 31: 22–44. 10.1080/01630560903499852View ArticleMathSciNetGoogle Scholar
- Reich S, Sabach S: Existence and approximation of fixed points of Bregman firmly nonexpansive mappings in reflexive Banach spaces. In Fixed-Point Algorithms for Inverse Problems in Science and Engineering. Springer, New York; 2011:301–316.View ArticleGoogle Scholar
- Matsushita S, Takahashi W: Weak and strong convergence theorems for relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2004, 2004: 37–47.View ArticleMathSciNetGoogle Scholar
- Martin-Marquez V, Reich S, Sabach S: Right Bregman nonexpansive operators in Banach spaces. Nonlinear Anal. 2012, 75: 5448–5465. 10.1016/j.na.2012.04.048View ArticleMathSciNetGoogle Scholar
- Zegeye H, Shahzad N: Convergence theorems for right Bregman strongly nonexpansive mappings in reflexive Banach spaces. Abstr. Appl. Anal. 2014., 2014: Article ID 584395Google Scholar
- Alghamdi MA, Shahzad N, Zegeye H: Strong convergence theorems for quasi-Bregman nonexpansive mappings in reflexive Banach spaces. J. Appl. Math. 2014., 2014: Article ID 580686Google Scholar
- Pang CT, Naraghirad E, Wen CF: Weak convergence theorems for Bregman relatively nonexpansive mappings in Banach spaces. J. Appl. Math. 2014., 2014: Article ID 573075Google Scholar
- Shahzad N, Zegeye H: Convergence theorem for common fixed points of finite family of multivalued Bregman relatively nonexpansive mappings. Fixed Point Theory Appl. 2014., 2014: Article ID 152Google Scholar
- Zegeye H, Shahzad N: Strong convergence theorems for common fixed point of finite family of Bregman weak relatively nonexpansive mappings in reflexive Banach spaces. Sci. World J. 2014., 2014: Article ID 493450Google Scholar
- Phelps RP Lecture Notes in Mathematics 1364. In Convex Functions, Monotone Operators, and Differentiability. 2nd edition. Springer, Berlin; 1993.Google Scholar
- Reich S, Sabach S: Two strong convergence theorems for Bregman strongly nonexpansive operators in reflexive Banach spaces. Nonlinear Anal. TMA 2010, 73: 122–135. 10.1016/j.na.2010.03.005View ArticleMathSciNetGoogle Scholar
- Ambrosetti A, Prodi G: A Primer of Nonlinear Analysis. Cambridge University Press, Cambridge; 1993.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.