# Strong Convergence Theorems by Hybrid Methods for Strict Pseudocontractions and Equilibrium Problems

- Peichao Duan
^{1}Email author and - Jing Zhao
^{1}

**2010**:528307

**DOI: **10.1155/2010/528307

© P. Duan and J. Zhao. 2010

**Received: **21 December 2009

**Accepted: **9 May 2010

**Published: **10 June 2010

## Abstract

Let
be *N* strict pseudocontractions defined on a closed convex subset
of a real Hilbert space
. Consider the problem of finding a common element of the set of fixed point of these mappings and the set of solutions of an equilibrium problem with the parallel and cyclic algorithms. In this paper, we propose new iterative schemes for solving this problem and prove these schemes converge strongly by hybrid methods.

## 1. Introduction

Let be a real Hilbert space and let be a nonempty closed convex subset of . Let be a bifunction from to , where is the set of real numbers.

for all . The set of such solutions is denoted by .

for all ; see [1]. We denote the set of fixed points of by (i.e., ).

for all . That is, is nonexpansive if and only if is a -strict pseudocontraction.

Numerous problems in physics, optimization, and economics reduce to finding a solution of the equilibrium problem. Some methods have been proposed to solve the equilibrium problem (1.1); see for instance [2–5]. In particular, Combettes and Hirstoaga [6] proposed several methods for solving the equilibrium problem. On the other hand, Mann [7], Nakajo and Takahashi [8] considered iterative schemes for finding a fixed point of a nonexpansive mapping.

Recently, Acedo and Xu [9] considered the problem of finding a common fixed point of a finite family of strict pseudocontractive mappings by the parallel and cyclic algorithms. Very recently, Liu [3] considered a general iterative method for equilibrium problems and strict pseudocontractions. In this paper, motivated by [3, 5, 9–12], applying parallel and cyclic algorithms, we obtain strong convergence theorems for finding a common element of the set of fixed points of a finite family of strict pseudocontractions and the set of solutions of the equilibrium problem (1.1) by the hybrid methods.

We will use the notation

## 2. Preliminaries

We need some facts and tools in a real Hilbert space which are listed as below.

Lemma 2.1.

Let be a real Hilbert space. There hold the following identities.

Lemma 2.2 (see [4]).

is convex (and closed).

for all . Such a is called the metric (or the nearest point) projection of onto .

Lemma 2.3 (see [4]).

Lemma 2.4 (see [13]).

Lemma 2.5 (see [9]).

Let be a nonempty closed convex subset of . Let is a sequence in and . Assume

Then is weakly convergent to a point in .

Proposition 2.6 (see [9]).

Assume be a nonempty closed convex subset of a real Hilbert space .

(ii)If is a -strict pseudocontraction, then the mapping is demiclosed (at 0). That is, if is a sequence in such that and , then .

(iii)If is a -strict pseudocontraction, then the fixed point set of of is closed and convex so that the projection is well defined.

(iv)Given an integer , assume, for each be a -strict pseudocontraction for some . Assume is a positive sequence such that . Then is a -strict pseudocontraction, with

Lemma 2.7 (see [1]).

Let be a -strict pseudocontraction. Define by for each . Then, as is a nonexpansive mapping such that .

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

(A2) is monotone, that is, for any

(A4) is convex and lower semicontionuous for each

We recall some lemmas which will be needed in the rest of this paper.

Lemma 2.8 (see [14]).

Lemma 2.9 (see [6]).

## 3. Parallel Algorithm

In this section, we apply the hybrid methods to the parallel algorithm for finding a common element of the set of fixed points of strict pseudocontractions and the set of solutions of the equilibrium problem (1.1) in Hilbert spaces.

Theorem 3.1.

for every , where for some for some , and satisfies . Then, converge strongly to .

Proof.

The proof is divided into several steps.

Step 1.

Show first that is well defined.

It is obvious that is closed and is closed convex for every . From Lemma 2.2, we also get is convex.

Step 2.

As by induction assumption, the inequality holds, in particular, for all . This together with the definition of implies that . Hence holds for all .

Step 3.

Then is bounded and (3.6) holds. From (3.3), (3.4), and Proposition 2.6(i), we also obtain and are bounded.

Step 4.

Then , that is, the sequence is nondecreasing. Since is bounded, exists. Then (3.8) holds.

Step 5.

Step 6.

We first show . To see this, we take and assume that as for some subsequence of .

So by the demiclosedness principle (Proposition 2.6(ii)), it follows that and hence holds.

Next we show take , and assume that as for some subsequence of . From (3.17), we obtain . Since and is closed convex, we get

for all and . Hence (3.21) holds.

Step 7.

From (3.6) and Lemma 2.4, we conclude that , where .

A very similar result obtained in a way completely different is Theorem of [11].

Theorem 3.2.

for every , where for some for some , and satisfies . Then, converge strongly to .

Proof.

The proof of this theorem is similar to that of Theorem 3.1.

Step 1.

We show is closed convex for all by induction. For , we have is closed convex. Assume that for some is closed convex, from Lemma 2.2, we have is also closed convex. The assumption holds.

Step 2.

Step 3.

Step 4.

Step 5.

Step 6.

Step 7.

The proof of Steps 2–7 is similar to that of Theorem 3.1.

A very similar result obtained in a way completely different is Theorem of [10].

## 4. Cyclic Algorithm

Theorem 4.1.

for every , where for some for some , and satisfies . Then, converge strongly to .

Proof.

The proof of this theorem is similar to that of Theorem 3.1. The main points include the following.

Step 1.

Step 2.

Step 3.

Step 4.

Step 5.

To prove the above steps, one simply replaces with in the proof of Theorem 3.1.

Step 6.

Then the demiclosedness principle (Proposition 2.6(ii)) implies that for all . This ensures that .

The proof of is similar to that of Theorem 3.1.

Step 7.

The strong convergence to of is the consequence of Step 3, Step 5, and Lemma 2.4.

Theorem 4.2.

for every , where for some for some , and satisfies . Then, converge strongly to .

Proof.

The proof of this theorem can consult Step 1 of Theorem 3.2 and Steps 2–7 of Theorem 4.1.

## Declarations

### Acknowledgments

The authors would like to thank the referee for valuable suggestions to improve the manuscript and the Fundamental Research Funds for the Central Universities (Grant no. ZXH2009D021) and the science research foundation program in Civil Aviation University of China (04-CAUC-15S) for their financial support.

## Authors’ Affiliations

## References

- Browder FE, Petryshyn WV:
**Construction of fixed points of nonlinear mappings in Hilbert space.***Journal of Mathematical Analysis and Applications*1967,**20:**197–228. 10.1016/0022-247X(67)90085-6MathSciNetView ArticleMATHGoogle Scholar - Colao V, Marino G, Xu HK:
**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.041MathSciNetView ArticleMATHGoogle Scholar - Liu Y:
**A general iterative method for equilibrium problems and strict pseudo-contractions in Hilbert spaces.***Nonlinear Analysis. Theory, Methods & Applications*2009,**71**(10):4852–4861. 10.1016/j.na.2009.03.060MathSciNetView ArticleMATHGoogle Scholar - Marino G, Xu HK:
**Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces.***Journal of Mathematical Analysis and Applications*2007,**329**(1):336–346. 10.1016/j.jmaa.2006.06.055MathSciNetView ArticleMATHGoogle Scholar - Tada A, Takahashi W:
**Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem.***Journal of Optimization Theory and Applications*2007,**133**(3):359–370. 10.1007/s10957-007-9187-zMathSciNetView ArticleMATHGoogle Scholar - Combettes PL, Hirstoaga SA:
**Equilibrium programming in Hilbert spaces.***Journal of Nonlinear and Convex Analysis*2005,**6**(1):117–136.MathSciNetMATHGoogle Scholar - Mann WR:
**Mean value methods in iteration.***Proceedings of the American Mathematical Society*1953,**4:**506–510. 10.1090/S0002-9939-1953-0054846-3MathSciNetView ArticleMATHGoogle Scholar - Nakajo K, Takahashi W:
**Strong and weak convergence theorems by an improved splitting method.***Communications on Applied Nonlinear Analysis*2002,**9**(2):99–107.MathSciNetMATHGoogle Scholar - Acedo GL, Xu HK:
**Iterative methods for strict pseudo-contractions in Hilbert spaces.***Nonlinear Analysis. Theory, Methods & Applications*2007,**67**(7):2258–2271. 10.1016/j.na.2006.08.036MathSciNetView ArticleMATHGoogle Scholar - Cianciaruso F, Marino G, Muglia L, Yao Y:
**A hybrid projection algorithm for finding solutions of mixed equilibrium problem and variational inequality problem.***Fixed Point Theory and Applications*2010,**2010:**-19.Google Scholar - Kumam P:
**A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive mapping.***Nonlinear Analysis. Hybrid Systems*2008,**2**(4):1245–1255. 10.1016/j.nahs.2008.09.017MathSciNetView 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 - Martinez-Yanes C, Xu HK:
**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 - Blum E, Oettli W:
**From optimization and variational inequalities to equilibrium problems.***The Mathematics Student*1994,**63**(1–4):123–145.MathSciNetMATHGoogle 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.