- Research Article
- Open Access
- Published:

# Strong Convergence Theorems for an Infinite Family of Equilibrium Problems and Fixed Point Problems for an Infinite Family of Asymptotically Strict Pseudocontractions

*Fixed Point Theory and Applications*
**volume 2011**, Article number: 859032 (2011)

## Abstract

We prove a strong convergence theorem for an infinite family of asymptotically strict pseudo-contractions and an infinite family of equilibrium problems in a Hilbert space. Our proof is simple and different from those of others, and the main results extend and improve those of many others.

## 1. Introduction

Let be a closed convex subset of a Hilbert space . Let be a mapping and if there exists an element such that , then is called a *fixed point* of . The set of fixed points of is denoted by . Recall that

(1) is called *nonexpansive* if

(2) is called *asymptotically nonexpansive* [1] if there exists a sequence with such that

(3) is called to be a -*strict pseudo-contraction* [2] if there exists a constant with such that

(4) is called an *asymptotically**-strict pseudo-contraction* [3, 4] if there exists a constant with and a sequence with such that

It is clear that every asymptotically nonexpansive mapping is an asymptotically 0-strict pseudo-contraction and every -strict pseudo-contraction is an asymptotically -strict pseudo-contraction with for all . Moreover, every asymptotically -strict pseudo-contraction with sequence is uniformly -Lispchitzian, where and the fixed point set of asymptotically -strict pseudo-contraction is closed and convex; see [3, Proposition 2.6].

Let be a bifunction from to , where is the set of real numbers. The equilibrium problem for is to find such that for all . The set of such solutions is denoted by .

In 2007, S. Takahashi and W. Takahashi [5] first introduced an iterative scheme by the viscosity approximation method for finding a common element of the set of solutions of the equilibrium problem and the set of fixed points of a nonexpansive mapping in a Hilbert space and proved a strong convergence theorem which is connected with Combettes and Hirstoaga's result [6] and Wittmann's result [7]. More precisely, they gave the following theorem.

Theorem 1.1 (see [5]).

Let be a nonempty closed convex subset of . Let be a bifunction from to satisfying the following assumptions:

(A1) for all ;

(A2) is monotone, that is, for all ;

(A3)for all ,

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

Let be a nonexpansive mapping such that , be a contraction and , be the sequences generated by

where and satisfy the following conditions:

Then, the sequences and converge strongly to , where .

In [8], Tada and Takahashi proposed a hybrid algorithm to find a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of an equilibrium problem and proved the following strong convergence theorem.

Theorem 1.2 (see [8]).

Let be a nonempty closed convex subset of a Hilbert space . Let be a bifunction from satisfying (A1)–(A4) and let be a nonexpansive mapping of into such that . Let and be sequences generated by and

where for some and satisfies . Then converges strongly to .

Many methods have been proposed to solve the equilibrium problems and fixed point problems; see [9–13].

Recently, Kim and Xu [3] proposed a hybrid algorithm for finding a fixed point of an asymptotically -strict pseudo-contraction and proved a strong convergence theorem in a Hilbert space.

Theorem 1.3 (see [3]).

Let be a closed convex subset of a Hilbert space . Let be an asymptotically -strict pseudo-contraction for some . Assume that is nonempty and bounded. Let be the sequence generated by the following algorithm:

where

Assume that the control sequence is chosen such that . Then converges strongly to .

In this paper, motivated by [3, 8], we propose a new algorithm for finding a common element of the set of fixed points of an infinite family of asymptotically strict pseudo-contractions and the set of solutions of an infinite family of equilibrium problems and prove a strong convergence theorem. Our proof is simple and different from those of others, and the main results extend and improve those Kim and Xu [3], Tada and Takahashi [8], and many others.

## 2. Preliminaries

Let be a Hilbert space, and let be a nonempty closed convex subset of . It is well known that, for all and ,

and hence

which implies that

for all and with .

For any , there exists a unique nearest point in , denoted by , such that

Let denote the identity operator of , and let be a sequence in a Hilbert space and . Throughout the rest of the paper, denotes the strong convergence of to .

We need the following lemmas for our main results in this paper.

Lemma 2.1 (see [14]).

Let C be a nonempty closed convex subset of a Hilbert space . Let be a bifunction from to satisfying (A1)–(A4). Let and . Then there exists such that

Lemma 2.2 (see [6]).

Let C be a nonempty closed convex subset of a Hilbert space . Let be a bifunction from to satisfying (A1)–(A4). For any and , define a mapping as follows:

Then the following hold:

(1) is single-valued,

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

(3), and

(4) is closed and convex.

## 3. Main Results

Now, we are ready to give our main results.

Lemma 3.1.

Let be a nonempty closed convex subset of a Hilbert space . Let be an asymptotically -strict pseudo-contraction with sequence such that . Assume that and define a mapping for each . Then the following hold:

Proof.

For all , we have

By this result, for all and , we have

and hence

This completes the proof.

Lemma 3.2.

Let be a nonempty closed subset of a Hilbert space . Let be an asymptotically -strict pseudo-contraction with sequence satisfying as . Let be a sequence in such that and as . Then as .

Proof.

The proof method of this lemma is mainly from [15, Lemma 2.7]. Since is an asymptotically -strict pseudo-contraction, we obtain from [3, Proposition 2.6] that

where . Note that , which implies that , and observe that

Since is uniformly Lipschitzian, is uniformly continuous. So we have

It follows from and as that . This completes the proof.

Let be a Hilbert space, and, let be a nonempty closed and convex subset of . Let be a countable family of bifunctions from to satisfying (A1)–(A4) and let be a real number sequence in with . Define

Lemma 2.2 shows that every () is a firmly nonexpansive mapping and hence nonexpansive and .

Theorem 3.3.

Let be a nonempty closed convex subset of a Hilbert space . Let be an infinite family of asymptotically -strict pseudocontractions with the sequence satisfying as for each and for each and . Let be a countable family of bifunctions from to satisfying (A1)–(A4). Assume that is nonempty and bounded. Set and . Assume that is a strictly decreasing sequence in for some , is a strictly decreasing sequence in , is a sequence in with for each , and is a sequence in with . The sequence is generated by and

where is defined by (3.8) and

Then converges strongly to .

Proof.

We show first that the sequence is well defined. Obviously, is closed for all . Since

is equivalent to

is convex for all . So is also closed and convex for all .

For each and , put . Let . Note that , is strictly decreasing and each is firmly nonexpansive. Hence we have

Since and is strictly decreasing, by (3.13) and Lemma 3.1, we have

So we have and hence for all . This shows that for all . This implies that the sequence is well defined.

Since is a nonempty closed convex subset of , there exists a unique such that

From , we have

Since , we have

Therefore, is bounded. From (3.13) and (3.14), and are also bounded.

From and , one sees that for all . It follows that

Since is bounded, the sequence is bounded and nondecreasing. So there exists such that

Since , and , we have

So we get

Since , we obtain

that is,

Now, for each , from (3.23) we get

This implies that there exists an element such that as .

Next we show that and .

From , we have

By (3.10) and (3.23), we obtain

For , we have, from Lemma 2.2,

and hence

Therefore

By (3.29) and Lemma 3.1, we have

and hence

This shows that

Since with , , is strictly decreasing and , we get

Let for each . Then as . Hence, from (3.33), one has

From (3.26) and (3.34), we obtain

Noting that

we have

By Lemma 3.1, we have

Therefore, combining this inequality with (3.37), we get

and hence (noting that for each )

From (3.26), (3.35) and we have

From the definition of and (3.41), we have (noting that )

We next show (3.42) implies that

As a matter of fact, from (3.23) and (3.34) we have

Now, (3.42), (3.44), and Lemma 3.2 imply (3.43).

Since each is uniformly continuous and as , one get for each and hence .

Now we show .

Since every is nonexpansive, from (3.33) and , we have and hence . Lemma 2.2 shows that .

Finally, we prove that . From , one sees

Since for all , one arrives at

Taking the limit for above inequality, we get

Hence . This completes the proof.

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

Corollary 3.4.

Let be a nonempty closed convex subset of a Hilbert space . Let be a countable family of bifunctions from to satisfying (A1)–(A4). Assume that is nonempty and bounded. Let be a sequence in with . Set . The sequence is generated by and

where is defined by (3.8) and is a strictly decreasing sequence in . Then converges strongly to .

Proof.

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

Corollary 3.5.

Let be a nonempty closed subset of a Hilbert space . Let be an asymptotically -strict pseudo-contraction with sequence satisfying as and . Let and be sequences generated by and

where , with , and with . Then converges strongly to .

Proof.

Put for all and set for all in Theorem 3.3. By Lemma 2.2, we have for each . Hence, by Theorem 3.3, we obtain Corollary 3.5.

Remark 3.6.

Our algorithms are of interest because the sequence in Theorem 3.3 is very different from the known manner. The proof is simple and different from those of others. The main results extend and improve those of Kim and Xu [3], Tada and Takahashi [8], and many others.

Remark 3.7.

Put , , , , , , , , for all and all , , and . Then these control sequences satisfy all the conditions of Theorem 3.3.

## References

- 1.
Goebel K, Kirk WA:

**A fixed point theorem for asymptotically nonexpansive mappings.***Proceedings of the American Mathematical Society*1972,**35:**171–174. 10.1090/S0002-9939-1972-0298500-3 - 2.
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-6 - 3.
Kim T-H, Xu H-K:

**Convergence of the modified Mann's iteration method for asymptotically strict pseudo-contractions.***Nonlinear Analysis: Theory, Methods & Applications*2008,**68**(9):2828–2836. 10.1016/j.na.2007.02.029 - 4.
Liu Q:

**Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings.***Nonlinear Analysis: Theory, Methods & Applications*1996,**26**(11):1835–1842. 10.1016/0362-546X(94)00351-H - 5.
Takahashi 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.036 - 6.
Combettes PL, Hirstoaga SA:

**Equilibrium programming in Hilbert spaces.***Journal of Nonlinear and Convex Analysis*2005,**6**(1):117–136. - 7.
Wittmann R:

**Approximation of fixed points of nonexpansive mappings.***Archiv der Mathematik*1992,**58**(5):486–491. 10.1007/BF01190119 - 8.
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-z - 9.
Ceng LC, Schaible S, Yao JC:

**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-y - 10.
Ceng LC, Petruşel A, Yao JC:

**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-9 - 11.
Chang S-S, Cho YJ, Kim JK:

**Approximation methods of solutions for equilibrium problem in Hilbert spaces.***Dynamic Systems and Applications*2008,**17**(3–4):503–513. - 12.
Cho YJ, Qin X, Kang JI:

**Convergence theorems based on hybrid methods for generalized equilibrium problems and fixed point problems.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(9):4203–4214. 10.1016/j.na.2009.02.106 - 13.
Qin X, Cho YJ, Kang SM:

**Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces.***Journal of Computational and Applied Mathematics*2009,**225**(1):20–30. 10.1016/j.cam.2008.06.011 - 14.
Blum E, Oettli W:

**From optimization and variational inequalities to equilibrium problems.***The Mathematics Student*1994,**63**(1–4):123–145. - 15.
Sahu DR, Xu H-K, Yao J-C:

**Asymptotically strict pseudocontractive mappings in the intermediate sense.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(10):3502–3511. 10.1016/j.na.2008.07.007

## Acknowledgments

The authors thank the referees for useful comments and suggestions. This study was supported by research funds from Dong-A University.

## Author information

## Rights and permissions

## About this article

### Cite this article

Wang, S., Kang, S. & Kwun, Y. Strong Convergence Theorems for an Infinite Family of Equilibrium Problems and Fixed Point Problems for an Infinite Family of Asymptotically Strict Pseudocontractions.
*Fixed Point Theory Appl* **2011, **859032 (2011). https://doi.org/10.1155/2011/859032

Received:

Accepted:

Published:

### Keywords

- Hilbert Space
- Convex Subset
- Equilibrium Problem
- Nonexpansive Mapping
- Iterative Scheme