- Research Article
- Open Access

# Hybrid Methods for Equilibrium Problems and Fixed Points Problems of a Countable Family of Relatively Nonexpansive Mappings in Banach Spaces

- Somyot Plubtieng
^{1}Email author and - Wanna Sriprad
^{1}

**2010**:962628

https://doi.org/10.1155/2010/962628

© The Author(s). 2010

**Received:**1 August 2009**Accepted:**19 November 2009**Published:**31 December 2009

## Abstract

The purpose of this paper is to introduce hybrid projection algorithms for finding a common element of the set of common fixed points of a countable family of relatively nonexpansive mappings and the set of solutions of an equilibrium problem in the framework of Banach spaces. Moreover, we apply our result to the problem of finding a common element of an equilibrium problem and the problem of finding a zero of a maximal monotone operator. Our result improve and extend the corresponding results announced by Takahashi and Zembayashi (2008 and 2009), and many others.

## Keywords

- Banach Space
- Equilibrium Problem
- Projection Method
- Nonexpansive Mapping
- Lower Semicontinuous

## 1. Introduction

Let be a real Banach space and the dual space of . Let be a nonempty closed convex subset of and a bifunction from to , where denotes the set of real numbers. The equilibrium problem is to find such that

The set of solutions of (1.1) is denoted by . Given a mapping , let for all . Then, if and only if for all , that is, is a solution of the variational inequality. Numerous problems in physics, optimization, and economics reduced to find a solution of (1.1). Some methods have been proposed to solve the equilibrium problem; see, for instance, Blum and Oettli [1], Combettes and Hirstoaga [2], and Moudafi [3].

Recall that a mapping is said to be nonexpansive if

We denote by the set of fixed points of . If a Banach space is uniformly convex, is bounded, closed and convex, and is a nonexpansive mapping of into itself, then is nonempty; see [4] for more details. Recently, many authors studied the problem of finding a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of an equilibrium problem in the framework of Hilbert spaces and Banach spaces, respectively; see, for instance, [5–13] and the references therein.

A popular method is the hybrid projection method developed by Nakajo and Takahashi [14], Kamimura and Takahashi [15], and Martinez-Yanes and Xu [16]; see also [5, 17–20] and references therein. Recently Takahashi et al. [21] introduced an alterative projection method, which is called the shrinking projection method, and they showed several strong convergence theorems for a family of nonexpansive mappings. In 2008, Takahashi and Zembayashi [12] introduced two iterative sequences for finding a common element of the set of fixed points of a relatively nonexpansive mapping and the set of solution of an equilibrium problem in a Banach space. Then they prove strong and weak convergence of the sequences. Very recently, Takahashi and Zembayashi [13] proved a strong convergence theorem 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 a Banach space by using a new hybrid method.

On the other hand, motivated by Nakajo and Takahashi [14], Matsushita and Takahashi [17] reformulated the definition of the notion and obtained weak and strong convergence theorems to approximate a fixed point of a single relatively nonexpansive mapping. Very recently, Aoyama et al. [22] introduce a Halpern type iterative sequence for finding a common fixed point of a countable family of nonexpansive mappings. Let and

for all where is a nonempty closed convex subset of a Banach space; is a sequence in and is a sequence of nonexpansive mappings with some condition. They proved that defined by (1.3) converges strongly to a common fixed point of

Motivated and inspired by the research going on in this direction, we prove a strong convergence theorem for finding a common element of the set of solutions of an equilibrium problem and the set of common fixed points of a countable family of relatively nonexpansive mappings in a Banach space by using the shrinking projection method. Further, we apply our result to the problem of finding a common element of an equilibrium problem and the problem of finding a zero of a maximal monotone operator. The result obtained in this paper improves and extends the corresponding result of [13] and many others.

## 2. Preliminaries

Let be a real Banach space with norm and let be the dual of . For all and , we denote the value of at by . The normalized duality mapping from to is defined by

for . By Hahn-Banach theorem, is nonempty; see [4] for more details. We denote the strong convergence and the weak convergence of a sequence to in by and , respectively. We also denote the weak convergence of a sequence to in by A Banach space is said to be strictly convex if for all with and . It is also said to be uniformly convex if for each , there exists such that for with and . A uniformly convex Banach space has the Kadec-Klee property, that is, and imply . Let be the unit sphere of . Then the Banach space is said to be smooth provided that

exists for each . It is also said to be uniformly smooth if the limit is attained uniformly for . It is well know that if is smooth, strictly convex and reflexive, then the duality mapping is single valued, one-to-one and onto.

Let be a smooth, strictly convex and reflexive Banach space, and let be a nonempty closed convex subset of . Throughout this paper, we denote by the function defined by

It is obvious from the definition of the function that for all . Following Alber [23], the generalized projection from onto is defined by

If is a Hilbert space, then and is the metric projection of onto . We know the following lemmas for generalized projections.

Lemma 2.1 (Alber [23], Kamimura and Takahashi [15]).

Lemma 2.2 (Alber [23], Kamimura and Takahashi [15]).

Let be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space ; let be a mapping from into itself. We denote by the set of fixed point of . A point is said to be an asymptotic fixed point of if there exists in which converges weakly to and . The set of asymptotic fixed points of will be denoted by . Following Matsushita and Takahashi [17], a mapping from into itself is said to be relatively nonexpansive if is nonempty, and .

The following lemma is according to Matsushita and Takahashi [17].

Lemma 2.3 (Matsushita and Takahashi [17]).

Let be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space , and let be a relatively nonexpansive mapping from into itself. Then is closed and convex.

We also know the following three lemmas.

Lemma 2.4 (Kamimura and Takahashi [15]).

Let be a uniformly convex and smooth Banach space, and let , be sequences in such that either or is bounded. If , then .

Lemma 2.5 (Xu [24], Z linescu [25, 26]).

for all and , where

Lemma 2.6 (Kamimura and Takahashi [15]).

for all

For solving the equilibrium problem, let us assume that a bifunction satisfies the following conditions:

for all ;

is monotone, that is, for all ;

for each is convex and lower semicontinuous.

The following result is in Blum and Oettlli [1].

Lemma 2.7 (Blum and Oettlli [1]).

We also know the following lemmas.

Lemma 2.8 (Takahashi and Zembayashi [12]).

for all , Then, the following holds:

(1) is single-valued;

(3) ;

(4) is closed and convex.

Lemma 2.9 (Takahashi and Zembayashi [12]).

## 3. Main Results

Let be a nonempty closed convex subset of a Banach space let be a family of mappings of into itself with and denotes the set of all weak subsequential limits of a bounded sequence in . is said to satisfy the NST -condition [27] if for every bounded sequence in ,

In this section, by using the NST -condition, we prove two strong convergence theorems for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of a countable family of relatively nonexpansive mappings in a Banach space.

Theorem 3.1.

for every , where is the duality mapping on , satisfies and for some Suppose that satisfy the NST -condition. Then converges strongly to , where is the generalized projection of onto .

Proof.

Putting for all , we have from Lemma 2.9 that are relatively nonexpansive.

is convex. So, is a closed convex subset of for all .

Hence . This implies that for all . So, is well defined.

for all Thus is bounded and therefore and are also bounded.

Since has the Kadec-Klee property, it follows that Therefore, converges strongly to

As direct consequences of Theorem 3.1, we can obtain the following corollaries.

Corollary 3.2 (Takahashi and Zembayashi [13]).

for every , where is the duality mapping on , satisfies and for some Then converges strongly to , where is the generalized projection of onto .

Proof.

Put . Let be a bounded sequence in with and let . Then there exists subsequence of such that . It follows directly from the definition of that . Hence satisfies NST -condition, by Theorem 3.1; converges strongly to .

Corollary 3.3 (Takahashi and Zembayashi [12]).

for every , where is the duality mapping on and for some Then, converges strongly to

Proof.

Putting in Theorem 3.1, we obtain Corollary 3.3.

Corollary 3.4.

for every , where is the duality mapping on , satisfies . Suppose that satisfy the NST -condition. Then converges strongly to , where is the generalized projection of onto .

Proof.

Putting for all and in Theorem 3.1, we obtain Corollary 3.4.

Similarly as in the proof of Theorem 3.1, we can prove the following theorem.

Theorem 3.5.

for every , where is the duality mapping on , satisfies and for some Suppose that satisfy the NST -condition. Then converges strongly to , where is the generalized projection of onto .

Proof.

and hence . So, we have and therefore, Hence for all . This implies that is well defined. By the same argument as in proof of Theorem 3.1, we can prove that the sequence converges strongly to .

Setting in Theorem 3.5, we have the following result.

Corollary 3.6 (Takahashi and Zembayashi [12, Theorem ]).

for every , where is the duality mapping on , satisfies and for some Then, converges strongly to where is the generalized projection of onto .

## 4. Applications

In this section, we apply our result to the problem of finding a common element of an equilibrium problem and the problem of finding a zero of a maximal monotone operator in a Banach space by using the shrinking projection method.

Let
be a real Banach space. An operator
is said to be *monotone* if
whenever
. We denote the set
by
A monotone
is said to be *maximal* if its graph
is not properly contained in the graph of any other monotone operator. If
is maximal monotone, then the solution set
is closed and convex.

Let be a smooth, strictly convex and reflexive Banach space, and let be a maximal monotone operator. Then for each and , there corresponds a unique element satisfying

see Barbu [28] or Takahashi [4]. We define the *resolvent* of
by
. In other words,
for all
. We know that
is relatively nonexpansive and
for all
(see [4, 17]), where
denotes the set of all fixed points of
. We can also define, for each
, the *Yosida approximation* of
by
We know that
for all

We now consider the strong convergence theorem for finding a common element of the solution set of an equilibrium problem and the problem of finding a zero of a maximal monotone operator.

Theorem 4.1.

for every , where is the duality mapping on , , satisfy , and for some Then converges strongly to , where is the generalized projection of onto .

Proof.

for all . Letting , we get . Then, the maximality of implies . Hence by Theorem 3.1, converges strongly to

In case . Putting for all and in Theorem 4.1, we obtain the following corollary.

Corollary 4.2.

for every , where is the duality mapping on , , satisfy . Then converges strongly to , where is the generalized projection of onto .

Similarly as in the proof of Theorem 4.1, we can prove the following theorem.

Theorem 4.3.

for every , where is the duality mapping on , , satisfy , and for some Then converges strongly to , where is the generalized projection of onto .

Corollary 4.4.

for every , where is the duality mapping on , , satisfy . Then converges strongly to , where is the generalized projection of onto .

## Declarations

### Acknowledgments

The first author thanks the National Research Council of Thailand to Naresuan University, 2009 for the financial support. Moreover, the second author would like to thank the National Centre of Excellence in Mathematics, PERDO, under the Commission on Higher Education, Ministry of Education, Thailand. This work is dedicated to Professor Wataru Takahashi on his retirement.

## Authors’ Affiliations

## References

- Blum E, Oettli W:
**From optimization and variational inequalities to equilibrium problems.***The Mathematics Student*1994,**63**(1–4):123–145.MathSciNetMATHGoogle Scholar - Combettes PL, Hirstoaga SA:
**Equilibrium programming in Hilbert spaces.***Journal of Nonlinear and Convex Analysis*2005,**6**(1):117–136.MathSciNetMATHGoogle Scholar - Moudafi A:
**Second-order differential proximal methods for equilibrium problems.***Journal of Inequalities in Pure and Applied Mathematics*2003,**4**(1, article 18):7.MathSciNetMATHGoogle Scholar - Takahashi W:
*Convex Analysis and Approximation Fixed Points, Mathematical Analysis Series*.*Volume 2*. Yokohama Publishers, Yokohama, Japan; 2000:iv+280.MATHGoogle Scholar - Ceng L-C, Yao J-C:
**Hybrid viscosity approximation schemes for equilibrium problems and fixed point problems of infinitely many nonexpansive mappings.***Applied Mathematics and Computation*2008,**198**(2):729–741. 10.1016/j.amc.2007.09.011MathSciNetView ArticleMATHGoogle Scholar - Ceng 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 - Ceng L-C, Schaible S, Yao J-C:
**Implicit iteration scheme with perturbed mapping for equilibrium problems and fixed point problems of finitely many nonexpansive mappings.***Journal of Optimization Theory and Applications*2008,**139**(2):403–418. 10.1007/s10957-008-9361-yMathSciNetView ArticleMATHGoogle Scholar - Ceng L-C, Petruşel A, Yao J-C:
**Iterative approaches to solving equilibrium problems and fixed point problems of infinitely many nonexpansive mappings.***Journal of Optimization Theory and Applications*2009,**143**(1):37–58. 10.1007/s10957-009-9549-9MathSciNetView ArticleMATHGoogle Scholar - Peng J-W, Yao J-C:
**Strong convergence theorems of iterative scheme based on the extragradient method for mixed equilibrium problems and fixed point problems.***Mathematical and Computer Modelling*2009,**49**(9–10):1816–1828. 10.1016/j.mcm.2008.11.014MathSciNetView ArticleMATHGoogle Scholar - 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 - Plubtieng S, Punpaeng R:
**A new iterative method for equilibrium problems and fixed point problems of nonexpansive mappings and monotone mappings.***Applied Mathematics and Computation*2008,**197**(2):548–558. 10.1016/j.amc.2007.07.075MathSciNetView ArticleMATHGoogle Scholar - Takahashi W, Zembayashi K:
**Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(1):45–57. 10.1016/j.na.2007.11.031MathSciNetView ArticleMATHGoogle Scholar - Takahashi W, Zembayashi K:
**Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings.***Fixed Point Theory and Applications*2008,**2008:**-11.Google Scholar - Nakajo K, Takahashi W:
**Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups.***Journal of Mathematical Analysis and Applications*2003,**279**(2):372–379. 10.1016/S0022-247X(02)00458-4MathSciNetView ArticleMATHGoogle Scholar - Kamimura S, Takahashi W:
**Strong convergence of a proximal-type algorithm in a Banach space.***SIAM Journal on Optimization*2002,**13**(3):938–945. 10.1137/S105262340139611XMathSciNetView ArticleMATHGoogle Scholar - Martinez-Yanes C, Xu H-K:
**Strong convergence of the CQ method for fixed point iteration processes.***Nonlinear Analysis: Theory, Methods & Applications*2006,**64**(11):2400–2411. 10.1016/j.na.2005.08.018MathSciNetView ArticleMATHGoogle Scholar - Matsushita S, Takahashi W:
**A strong convergence theorem for relatively nonexpansive mappings in a Banach space.***Journal of Approximation Theory*2005,**134**(2):257–266. 10.1016/j.jat.2005.02.007MathSciNetView ArticleMATHGoogle Scholar - Peng J-W, Yao J-C:
**A modified CQ method for equilibrium problems, fixed points and variational inequality.***Fixed Point Theory*2008,**9**(2):515–531.MathSciNetMATHGoogle Scholar - Peng J-W, Yao J-C:
**A new hybrid-extragradient method for generalized mixed equilibrium problems, fixed point problems and variational inequality problems.***Taiwanese Journal of Mathematics*2008,**12**(6):1401–1432.MathSciNetMATHGoogle Scholar - Plubtieng S, Ungchittrakool K:
**Strong convergence theorems for a common fixed point of two relatively nonexpansive mappings in a Banach space.***Journal of Approximation Theory*2007,**149**(2):103–115. 10.1016/j.jat.2007.04.014MathSciNetView ArticleMATHGoogle Scholar - Takahashi W, Takeuchi Y, Kubota R:
**Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces.***Journal of Mathematical Analysis and Applications*2008,**341**(1):276–286. 10.1016/j.jmaa.2007.09.062MathSciNetView ArticleMATHGoogle Scholar - Aoyama K, Kimura Y, Takahashi W, Toyoda M:
**Approximation of common fixed points of a countable family of nonexpansive mappings in a Banach space.***Nonlinear Analysis: Theory, Methods & Applications*2007,**67**(8):2350–2360. 10.1016/j.na.2006.08.032MathSciNetView ArticleMATHGoogle Scholar - Alber YaI:
**Metric and generalized projection operators in Banach spaces: properties and applications.**In*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics*.*Volume 178*. Edited by: Kartsatos AG. Marcel Dekker, New York, NY, USA; 1996:15–50.Google Scholar - Xu HK:
**Inequalities in Banach spaces with applications.***Nonlinear Analysis: Theory, Methods & Applications*1991,**16**(12):1127–1138. 10.1016/0362-546X(91)90200-KMathSciNetView ArticleMATHGoogle Scholar - Zălinescu C:
**On uniformly convex functions.***Journal of Mathematical Analysis and Applications*1983,**95**(2):344–374. 10.1016/0022-247X(83)90112-9MathSciNetView ArticleMATHGoogle Scholar - Zălinescu C:
*Convex Analysis in General Vector Spaces*. World Scientific, River Edge, NJ, USA; 2002:xx+367.View ArticleMATHGoogle Scholar - Nakajo K, Shimoji K, Takahashi W:
**On strong convergence by the hybrid method for families of mappings in Hilbert spaces.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(1–2):112–119. 10.1016/j.na.2008.10.034MathSciNetView ArticleMATHGoogle Scholar - Barbu V:
*Nonlinear Semigroups and Differential Equations in Banach Spaces*. Editura Academiei Republicii Socialiste România, Bucharest, Romania; 1976:352.View ArticleGoogle Scholar

## Copyright

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.