#### Abstract

We introduce an Ishikawa iterative scheme by the viscosity approximate method for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of a nonexpansive mapping in Hilbert space. Then, we prove some strong convergence theorems which extend and generalize S. Takahashi and W. Takahashi's results (2007).

#### 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. The equilibrium problem for 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 . Numerous problems in physics, optimization, and economics reduce to find a solution of (1.1); for more details, see [1, 2].

Recall that a self-mapping of a closed convex subset of is nonexpansive [3] if there holds that We denote the set of fixed points of by . There are some methods for approximation of fixed points of a nonexpansive mapping. In 2000, Moudafi [4] introduced the viscosity approximation method for nonexpansive mappings (see [5] for further developments in both Hilbert and Banach spaces). Some methods have been proposed to solve the equilibrium problem; see, for instance, [1, 2, 6, 7]. Recently, Combettes and Hirstoaga [6] introduced an iterative scheme of finding the best approximation to the initial data when is nonempty and proved a strong convergence theorem. S. Takahashi and W. Takahashi [7] introduced a Mann iterative scheme by the viscosity approximation method for finding a common element of the set of solution (1.1) and the set of fixed points of a nonexpansive mapping in a Hilbert space and proved a strong convergence theorem.

On the other hand, Ishikawa [8] introduced the following iterative process defined recursively by

where the initial guess is taking in arbitrarily, and are sequences in the interval .

In this paper, motivated by the ideas in [4–8], we introduce an Ishikawa iterative scheme by the viscosity approximation method for finding a common element of the set of solution (1.1) and the set of fixed points of a nonexpansive mapping in a Hilbert space.

Starting with an arbitrary , define sequences , and by

where and .

We will prove in Section 3 that if the sequences , and of parameters satisfy appropriate conditions, then the sequences , and generated by (1.4) converge strongly to . The results in this paper extend and generalize S. Takahashi and W. Takahashi's results [7].

#### 2. Preliminaries

Let be a real Hilbert space with inner product , and norm and let be a nonempty closed convex subset of . implies that converges strongly to and means that converges weakly to . In a real Hilbert space , we have

for all and ; see [9].

For any , there exists a unique nearest point in , denoted by , such that for all . Such a is called the metric projection of onto . It is also known that is equivalent to for all .

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

(A1) for all ;(A2) is monotone, that is, for any ;(A3)for each , (A4)for each is convex and lower semicontinuous.We recall some lemmas needed later.

Lemma 2.1 (see [2]). *Let be a nonempty closed convex subset of and let be a bifunction from to satisfying (A1)–(A4). Let and . Then, there exists such that
*

Lemma 2.2 (see [5]). *Let be a nonempty closed convex subset of , and let be a bifunction from to satisfying (A1)–(A4). For and define a mapping as follows:
**
for all . Then, the following statements hold: *(1)* is single-valued;*(2)* is firmly nonexpansive, that is, for any *(3)(4)* is closed and convex.*

Lemma 2.3 (see [10]). *Let be a sequence of nonnegative real numbers such that
**
where is a sequence of real numbers and is a sequence in such that*(i)(ii)* or .**Then, *

#### 3. Strong Convergence Theorem

In this section, we show a strong convergence theorem which solves the problem of finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of a nonexpansive mapping in a Hilbert space.

Theorem 3.1. *Let be a nonempty closed convex subset of . Let be a bifunction from to satisfying (A1)–(A4) and let be a nonexpansive mapping of into such that Let be a contraction of into itself and let , and be sequences generated by and (1.4). If and satisfy the following conditions:
**
then, , and converge strongly to where *

*Proof. *Let Then is a contraction of into itself. In fact, there exists such that for all . So, we have that
for all Since is complete, there exists a unique element such that . Such a is an element of .

Let . Then from we have

for all Put It is obvious that Suppose Then, we have
On the other hand
Putting (3.5) into (3.4), we have
So, we have that for any . And hence is bounded. We also obtain that and are bounded. Next, we show that In fact,
and hence
where and .

On the other hand, from and , we have

Putting in (3.9) and in (3.10), we have

So, from the monotonicity of , we get
and hence
Without loss of generality, let us assume that there exists a real number such that for all Then, we have
and hence
where So from (3.8), we have
Using Lemma in [10], we obtain
From (3.15) and we have
It follows from (3.7) that
Since we have
From we have For we have
and hence
Therefore, from the convexity of , we have
and hence
So, we have
Without loss of generality, let us assume that there exists two real numbers and such that for all Hence,
It follows that We also have
It follows that
Hence, Since
we also have . Next, we show that
where . To show this inequality, we choose 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 . From we obtain Let us show By we have

From (A2), we also have

and hence,
Since and , from (A4), we have
For with and , let Since and , we obtain and hence . So we have
Dividing by , we get
Letting and from (A3), we get
for all and hence . We shall show that Assume Since and , from the Opial theorem [11] we have
This is a contradiction. So, we get . Therefore, Since , we have
From , we have
It follows that
Hence
From , we know that there exists a positive integer , such that for all . Then
Putting above inequality into (3.44), we get
where , and .

It follows from Lemma 2.3 that

It follows from and (3.42) that and .

By Theorem 3.1, we can obtain the following new result.

Corollary 3.2. *Let be a nonempty closed convex subset of . Let be a nonexpansive mapping of into such that Let be a contraction of into itself and let and be sequences generated by and
**
If satisfy the following conditions:
**
then, and converge strongly to where *

*Proof. *Put for all and for all in Theorem 3.1. Then, we get . So from Theorem 3.1, the sequences and converge strongly to , where .

*Remark 3.3. *Theorem 3.1 and Corollary 3.2, respectively, extend and generalize Theorem and Corollary in [7] from the Mann iterative form to the Ishikawa iterative form.

#### Acknowledgments

The authors would like to express their thanks to the referees for helpful suggestions. This research was supported by the National Natural Science Foundation of China (Grants 10771228 and 10831009), the Natural Science Foundation of Chongqing (Grant no. CSTC, 2009BB8240), and the Research Project of Chongqing Normal University (Grant 08XLZ05).