- Research Article
- Open access
- Published:

# Strong Convergence Theorem for Equilibrium Problems and Fixed Points of a Nonspreading Mapping in Hilbert Spaces

*Fixed Point Theory and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 296759 (2010)

## Abstract

We introduce an iterative method for finding a common element of the set of solutions of equilibrium problems and the set of fixed points of a nonspreading mapping in a Hilbert space. Then, we prove a strong convergence theorem which is connected with the work of S. Takahashi and W. Takahashi (2007) and Iemoto and Takahashi (2009).

## 1. Introduction

Let be a real Hilbert space with inner product and norm , respectively, and let be a closed convex subset of . Let be bifunction, where is the set of real numbers. The equilibrium problem for is to find such that

The set of solution 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 reduce to find a solution of (1.1); see, for example, [1â€“9] and the references therein.

A mapping of into itself is said to be *nonexpansive* if for all , and a mapping is said to be *firmly*â€‰â€‰*nonexpansive* if for all . Let be a smooth, strictly convex and reflexive Banach space, and let be the duality mapping of and a nonempty closed convex subset of . A mapping is said to be *nonspreading* if

for all , where for all ; see, for instance, Kohsaka and Takahashi [10]. In the case when is a Hilbert space, we know that for all . Then a nonspreading mapping in a Hilbert space is defined as follows:

for all . Let be the set of fixed points of , and nonempty; a mapping is said to be *quasi-nonexpansive* if for all and .

Remark 1.1.

In a Hilbert space, we know that every firmly nonexpansive mapping is nonspreading and that if the set of fixed points of a nonspreading mapping is nonempty, the nonspreading mapping is quasi-nonexpansive; see [10, 11].

In 1953, Mann [12] introduced the iteration as follows: a sequence defined by

where the initial guess element is arbitrary and is a real sequence in . Mann iteration has been extensively investigated for nonexpansive mappings. In an infinite-dimensional Hilbert space, Mann iteration can conclude only weak convergence (see [12, 13]). Fourteen years later, Halpern [14] introduced the following iterative scheme for approximating a fixed point of :

for all , where and is a sequence of . Strong convergence of this type iterative sequence has been widely studied: Wittmann [15] discussed such a sequence in a Hilbert space.

On the other hand, Kohsaka and Takahashi [10] proved an existence theorem of fixed point for nonspreading mappings in a Banach space. Recently, Lemoto and Takahashi [16] studied the approximation theorem of common fixed points for a nonexpansive mapping of into itself and a nonspreading mapping of into itself in a Hilbert space. In particular, this result reduces to approximation fixed points of a nonspreading mapping of into itself in a Hilbert space by using iterative scheme

Some methods have been proposed to solve the equilibrium problem and fixed point problem of nonexpansive mapping: see, for instance, [1, 2, 6, 7, 17â€“20] and the references therein. In 1997, Combettes and Hirstoaga [3] introduced an iterative scheme of finding the best approximation to the initial data when is nonempty and proved a strong convergence theorem. Recently, S. Takahashi and W. Takahashi [8] introduced an iterative scheme by the viscosity approximation method for finding a common element of the set of solution of equilibrium problems and the set of fixed points of a nonexpansive mapping in a Hilbert space. Let be a nonexpansive mapping. In 2008, Plubtieng and Punpaeng [7] introduced a new iterative sequence for finding a common element of the set of solution of equilibrium problems and the set of fixed points of a nonexpansive mapping in a Hilbert space which is the optimality condition for the minimization problem. Very recently, S. Takahashi and W. Takahashi [9] introduced an iterative method for finding a common element of the set of solutions of a generalized equilibrium problem and the set of fixed points of a nonexpansive mapping in a Hilbert space and then obtain that the sequence converges strongly to a common element of two sets.

In this paper, motivated by S. Takahashi and W. Takahashi [8] and Lemoto and Takahashi [16], we introduce an iterative sequence and prove a strong convergence theorem for finding solution of equilibrium problems and the set of fixed points of a nonspreading mapping in Hilbert spaces.

## 2. Preliminaries

Let be a real Hilbert space. When is a sequence in , implies that converges weakly to and means the strong convergence. Let be a nonempty closed convex subset of . For every point , there exists a unique nearest point in ; denote by , such that

is called the metric projection of onto . We know that is nonexpansive. Further, for and ,

Moreover, is characterized by the following properties: and

for all , . We also know that satisfies Opial's condition [21], that is, for any sequence with , the inequality

holds for every with ; see [21, 22] for more details.

The following lemmas will be useful for proving the convergence result of this paper.

Lemma 2.1 (see [23]).

Let be an inner product space. Then for all and with , one has

Lemma 2.2 (see [10]).

Let be a Hilbert space, a nonempty closed convex subset of . Let be a nonspreading mapping of into itself. Then the following are equivalent.

(1)There exists such that is bounded;

(2) is nonempty.

Lemma 2.3 (see [10]).

Let be a Hilbert space, a nonempty closed convex subset of . Let be a nonspreading mapping of into itself. Then is closed and convex.

Lemma 2.4.

Let be a real Hilbert space. Then for all ,

(1);

(2).

Lemma 2.5 (see [24]).

Let , and let be sequences of real numbers such that

, for all ,

and .

Then, .

Lemma 2.6 (see [16]).

Let be a Hilbert space, a closed convex subset of , and a nonspreading mapping with . Then is demiclosed, that is, and imply .

Lemma 2.7 (see [16]).

Let be a Hilbert space, a nonempty closed convex subset of a real Hilbert space , and let be a nonspreading mapping of into itself, and let . Then

Lemma 2.8 (see [25]).

Assume is a sequence of nonnegative real numbers such that

where is a sequence in and is a sequence in such that

(1);

(2) or .

Then .

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

(A1);

(A2) is monotone, that is, ;

(A3)for each ,â€‰â€‰;

(A4)for each , is convex and lower semicontinuous.

The following lemma appears implicitly in [26].

Lemma 2.9 (see [26]).

Let be a nonempty closed convex subset of , and let be a bifunction of into satisfying (A1)â€“(A4). Let and . Then, there exists such that

The following lemma was also given in [4].

Lemma 2.10 (see [4]).

Assume that satisfies (A1)â€“(A4). For and , define a mapping as follows:

for all . Then, the following hold:

(1) is single-valued;

(2) is firmly nonexpansive, that is, for any , ;

(3);

(4) is closed and convex.

Lemma 2.11 (see [27]).

Let be a sequence of real numbers that does not decrease at infinity, in the sense that there exists a subsequence of which satisfies for all . Also consider the sequence of integers defined by

Then is a nondecreasing sequence verifying , and the following properties are satisfied for all :

## 3. Main Result

In this section, we prove a strong convergence theorem for finding a common element of the set of fixed points of a nonspreading mapping and the set of solutions of the equilibrium problems.

Theorem 3.1.

Let be a nonempty closed convex subset of a real Hilbert space . Let be a bifunctions from satisfying (A1)â€“(A4), and let be a nonspreading mapping of into itself such that . Let , and let and be sequences generated by and

for all , where and satisfy

, , ,

, ,

, and .

Then converges strongly to , where .

Proof.

Let . From , we have

for all . Put . We divide the proof into several steps.

Step 1.

We claim that the sequences , , , and are bounded. First, we note that

and so

Putting , we note that for all . In fact, it is obvious that . Assume that for all . Thus, we have

By induction, we obtain that for all . So, is bound. Hence, , , and are also bounded.

Step 2.

Put . We claim that as . We note that

where . On the other hand, from and , we have

for all . Putting in (3.7) and in (3.8), we have

So, from (A2), we note that

and hence

Without loss of generality, let us assume that there exists a real number such that for all . Thus, we have

and hence

where . So, from (3.6), we note that

By Lemma 2.5, we have

for . We note from that

and hence

Therefore, from the convexity of , we have

and hence

So, we have . Indeed, since , it follows that

Then, we note that

Since, and , it follows that

Step 3.

Put . From , it follows by Lemma 2.7 that

Since , we have . Therefore, by (3.23), we obtain

Step 4.

Putting , we claim that the sequence converges strongly to . Indeed, we discuss two possible cases.

Case 1.

Assume that there exists such that the sequence is a nonincreasing sequence for all . Then we have (for ), and hence exists. Therefore

By (3.22), (3.24), and (3.25), we get

Let be a subsequence of such that

Since is bounded, there exists a subsequence of which converges weakly to . Without loss of generality, we can assume that . Since is closed and convex, we note that is weakly closed. So, we have . Since , it follows by Lemma 2.6 that . From (3.27) and the property of metric projection, we have

Finally, we prove that . In fact, since , it follows that

By (3.28) and , we immediately deduce by Lemma 2.8 that .

Case 2.

Assume that for all , there exits such that . Put for all . Thus, it follows that there exists a subsequence of such that for all . Let be a mapping defined by

where . By Lemma 2.11, we note that is a nondecreasing sequence such that as and that the following properties are satisfied by all numbers :

From (3.24), we have

This implies that

Take a subsequence of such that

From the boundedness of , we can assume that . Since is closed and convex, it follows that is weakly closed. So, we have . Since , it follows by Lemma 2.6 that . From (3.34) and the property of metric projection, we have

By the same argument as (3.29) in Case 1, we conclude immediately that, for all ,

which implies that

By (3.35), we have

and hence

Since for all , we have

This completes the proof.

As direct consequences of Theorem 3.1, we obtain corollaries.

Corollary 3.2.

Let be a nonempty closed convex subset of a real Hilbert space . Let be a bifunctions from satisfying (A1)â€“(A4), and let be a firmly nonexpansive mapping of into itself such that . Let , and let and be sequences generated by and

for all , where and satisfy

, , ,

, ,

, and .

Then converges strongly to , where .

## References

Chang S-S, Joseph Lee HW, Chan CK:

**A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization.***Nonlinear Analysis Theory: Methods & Applications*2009,**70**(9):3307â€“3319. 10.1016/j.na.2008.04.035Colao V, Marino G, Xu H-K:

**An iterative method for finding common solutions of equilibrium and fixed point problems.***Journal of Mathematical Analysis and Applications*2008,**344**(1):340â€“352. 10.1016/j.jmaa.2008.02.041Combettes PL, Hirstoaga SA:

**Equilibrium programming using proximal-like algorithms.***Mathematical Programming*1997,**78**(1):29â€“41.Combettes PL, Hirstoaga SA:

**Equilibrium programming in Hilbert spaces.***Journal of Nonlinear and Convex Analysis*1994,**63:**123â€“145.Peng J-W, Wang Y, Shyu DS, Yao J-C:

**Common solutions of an iterative scheme for variational inclusions, equilibrium problems, and fixed point problems.***Journal of Inequalities and Applications*2008,**2008:**-15.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.075Plubtieng 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.044Takahashi S, Takahashi W:

**Viscosity approximation methods for equilibrium problems and fixed point problems in Hilbert spaces.***Journal of Mathematical Analysis and Applications*2007,**331**(1):506â€“515. 10.1016/j.jmaa.2006.08.036Takahashi S, Takahashi W:

**Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(3):1025â€“1033. 10.1016/j.na.2008.02.042Kohsaka F, Takahashi W:

**Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces.***Archiv der Mathematik*2008,**91**(2):166â€“177. 10.1007/s00013-008-2545-8Plubtieng S, Sombut K:

**Weak convergence theorems for a system of mixed equilibrium problems and nonspreading mappings in a Hilbert space.***Journal of Inequalities and Applications*2010,**2010:**-12.Mann WR:

**Mean value methods in iteration.***Proceedings of the American Mathematical Society*1953,**4:**506â€“510. 10.1090/S0002-9939-1953-0054846-3Reich S:

**Weak convergence theorems for nonexpansive mappings in Banach spaces.***Journal of Mathematical Analysis and Applications*1979,**67**(2):274â€“276. 10.1016/0022-247X(79)90024-6Halpern B:

**Fixed points of nonexpanding maps.***Bulletin of the American Mathematical Society*1967,**73:**957â€“961. 10.1090/S0002-9904-1967-11864-0Wittmann R:

**Approximation of fixed points of nonexpansive mappings.***Archiv der Mathematik*1992,**58**(5):486â€“491. 10.1007/BF01190119Iemoto S, Takahashi W:

**Approximating common fixed points of nonexpansive mappings and nonspreading mappings in a Hilbert space.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(12):e2082-e2089. 10.1016/j.na.2009.03.064Plubtieng S, Sriprad W:

**A viscosity approximation method for finding common solutions of variational inclusions, equilibrium problems, and fixed point problems in Hilbert spaces.***Fixed Point Theory and Applications*2009,**2009:**-20.Plubtieng S, Sriprad W:

**Hybrid methods for equilibrium problems and fixed points problems of a countable family of relatively nonexpansive mappings in Banach spaces.***Fixed Point Theory and Applications*2010,**2010:**-17.Plubtieng S, Thammathiwat T:

**A viscosity approximation method for equilibrium problems, fixed point problems of nonexpansive mappings and a general system of variational inequalities.***Journal of Global Optimization*2010,**46**(3):447â€“464. 10.1007/s10898-009-9448-5Plubtieng S, Thammathiwat T:

**A viscosity approximation method for finding a common solution of fixed points and equilibrium problems in Hilbert spaces.***Journal of Global Optimization*. In pressOpial Z:

**Weak convergence of the sequence of successive approximations for nonexpansive mappings.***Bulletin of the American Mathematical Society*1967,**73:**591â€“597. 10.1090/S0002-9904-1967-11761-0Takahashi W:

*Nonlinear Functional Analysis*. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.Osilike MO, Igbokwe DI:

**Weak and strong convergence theorems for fixed points of pseudocontractions and solutions of monotone type operator equations.***Computers & Mathematics with Applications*2000,**40**(4â€“5):559â€“567. 10.1016/S0898-1221(00)00179-6Xu HK:

**An iterative approach to quadratic optimization.***Journal of Optimization Theory and Applications*2003,**116**(3):659â€“678. 10.1023/A:1023073621589Xu H-K:

**Viscosity approximation methods for nonexpansive mappings.***Journal of Mathematical Analysis and Applications*2004,**298**(1):279â€“291. 10.1016/j.jmaa.2004.04.059Blum E, Oettli W:

**From optimization and variationnal inequalities to equilibrium problems.***Mathematics Students*2005,**6:**117â€“136.MaingÃ© P-E:

**Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization.***Set-Valued Analysis*2008,**16**(7â€“8):899â€“912. 10.1007/s11228-008-0102-z

## Acknowledgments

The authors would like to thank the referees for the insightful comments and suggestions. Moreover, the authors gratefully acknowledge the Thailand Research Fund Master Research Grants (TRF-MAG, MRG-WII515S029) for funding this paper.

## Author information

### Authors and Affiliations

### Corresponding author

## 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

Plubtieng, S., Chornphrom, S. Strong Convergence Theorem for Equilibrium Problems and Fixed Points of a Nonspreading Mapping in Hilbert Spaces.
*Fixed Point Theory Appl* **2010**, 296759 (2010). https://doi.org/10.1155/2010/296759

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/296759