Open Access Research

Strong convergence of a hybrid projection iterative algorithm for common solutions of operator equations and of inclusion problems

Changqun Wu1* and Aichao Liu2

Author Affiliations

1 School of Business and Administration, Henan University, Kaifeng 45000, China

2 Department of Mathematics, Huanghuai University, Zhumadian 463000, China

For all author emails, please log on.

Fixed Point Theory and Applications 2012, 2012:90 doi:10.1186/1687-1812-2012-90


The electronic version of this article is the complete one and can be found online at: http://www.fixedpointtheoryandapplications.com/content/2012/1/90


Received:25 January 2012
Accepted:24 May 2012
Published:24 May 2012

© 2012 Wu and Liu; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this article, zero points of the sum of a maximal monotone operator and an inverse-strongly monotone mapping, solutions of a monotone variational inequality, and fixed points of a strict pseudocontraction are investigated. A hybrid projection iterative algorithm is considered for analyzing the convergence of the iterative sequences. Strong convergence theorems are established in the framework of real Hilbert spaces without any compact assumptions. Some applications of the main results are also provided.

AMS Classification: 47H05; 47H09; 47J25; 90C33.

Keywords:
fixed point; monotone operator; strict pseudocontraction; variational inequality; zero point

1. Introduction

The theory of monotone operators has emerged as an effective and powerful tool for studying a wide class of unrelated problems arising in various branches of social, engineering, and pure sciences in unified and general framework. Two notions related to monotone operators have turned out to be very useful in the study of various problems involving such operators. The first one, which is inspired by the notion of subdifferential of a convex function, is the concept of enlargement of a given operator; see [1-3] and the references therein. It allows to make a quantitative analysis in different problems involving monotone operators, like for example variational inequalities, inclusions, etc. The second notion is the one of generalized sum of two monotone operators; see [4,5] and the references therein. In recent years, much attention has been given to develop efficient numerical methods for treating zero point problems of monotone operators and fixed point problems of mappings which are Lipschitz continuous; see [6-28] and the references therein. The gradient-projection method is a powerful tool for solving constrained convex optimization problems and has extensively been studied; see [29-31] and the references therein. It has recently applied to solve split feasibility problems which find applications in image reconstructions and the intensity modulated radiation theory; see [32-35] and the reference therein.

In this article, zero points of the sums of a maximal monotone operator and an inverse-strongly monotone mapping, solutions of a monotone variational inequality, and fixed points of a strict pseudocontraction are investigated based on a hybrid iterative method.

The organization of this article is as follows. In Section 2, we provide some necessary preliminaries. In Section 3, a hybrid iterative method is proposed and analyzed. Strong convergence theorems for common elements in the zero point set of the sums of a maximal monotone operator and an inverse-strongly monotone mapping, the solution set of a monotone variational inequality, and the fixed point set of a strict pseudocontraction are established in the framework of real Hilbert spaces without any compact assumptions. In Section 4, applications of the main results are discussed.

2. Preliminaries

In what follows, we always assume that H is a real Hilbert space with inner product 〈· , ·〉 and norm || · ||. Let C be a nonempty, closed, and convex subset of H. Let S : C → C be a nonlinear mapping. F(S) stands for the fixed point set of S; that is, F(S):= {x C : x = Tx}.

Recall that S is said to be nonexpansive iff

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M1">View MathML</a>

If C is a bounded, closed, and convex subset of H, then F(S) is not empty, closed, and convex; see [36].

S is said to be κ-strictly pseudocontractive iff there exists a constant κ ∈ [0, 1) such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M2">View MathML</a>

It is clear that the class of κ-strictly pseudocontractive mappings includes the class of non-

expansive mappings.

Let A : C H be a mapping. A is said to be monotone iff

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M3">View MathML</a>

A is said to be inverse-strongly monotone iff there exists a constant α > 0 such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M4">View MathML</a>

For such a case, A is also said to be α-inverse-strongly monotone.

A is said to be Lipschitz continuous iff there exists a positive constant L such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M5">View MathML</a>

Recall that the classical variational inequality is to find an x C such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M6">View MathML</a>

(2.1)

It is known that x C is a solution to (2.1) if and only if x is a fixed point of the mapping ProjC(I - rA), where r > 0 is a constant, I stands for the identity mapping, and ProjC stands for the metric projection from H onto C. If A is α-inverse-strongly monotone and r ∈ (0, 2α], then the mapping ProjC(I - rA) is nonexpansive; see [37] for more details. It follows that V I(C, A), where V I(C, A) stands for the solution set of (2.1), is closed and convex.

A set-valued mapping R : H H is said to be monotone iff, for all x, y H, f Rx and g Ry imply 〈x - y, f - g> 0. A monotone mapping R : H H is maximal iff the graph G(R) of R is not properly contained in the graph of any other monotone mapping. It is known that a monotone mapping R is maximal if and only if, for any (x, f) ∈ H × H, 〈x - y, f - g〉 ≥ 0, for all (y, g) ∈ G(R) implies f Rx.

The class of monotone operators is one of the most important classes of operators. Within the past several decades, many authors have been devoting to the studies on the existence and convergence of zero points for maximal monotone operators; see [38-45] and the references therein. For a maximal monotone operator M on H and r > 0, we may define the single-valued resolvent Jr : H D(M ), where D(M ) denotes the domain of M. It is known that Jr is firmly nonexpansive and M -1(0) = F(Jr), where F (Jr):= {x D(M ): x = Jrx}, and M -1(0): {x H : 0 ∈ Mx}.

In this article, zero points of the sums of a maximal monotone operator and an inverse-strongly monotone mapping, solutions of a monotone variational inequality, and fixed points of a strict pseudocontraction are investigated. A hybrid iterative algorithm is considered for analyzing the convergence of iterative sequences. Strong convergence theorems are established in the framework of real Hilbert spaces without any compact assumptions.

In order to prove our main results, we also need the following definitions and lemmas.

Lemma 2.1 [46]. Let C be a nonempty, closed, and convex subset of H, and S : C C a κ-strict pseudocontraction. Define a mapping Sαx = βx + (1 - β)Sx for all x C. If β ∈ [κ, 1), then the mapping Sβ is a nonexpansive mapping such that F (Sβ) = F (S).

Lemma 2.2 [47]. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a nonexpansive mapping. Then the mapping I - S is demiclosed at zero, that is, if {xn} is a sequence in C such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M7">View MathML</a>and xn - Sxn → 0, then <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M8">View MathML</a>.

Lemma 2.3. Let C be a nonempty, closed, and convex subset of H, B : C H a mapping, and M : H H a maximal monotone operator. Then F(Jr(I - sB)) = (B + M)-1(0).

Proof. Notice that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M9">View MathML</a>

This completes the proof.

Lemma 2.4 [48]. Let C be a nonempty, closed, and convex subset of H, A : C H a Lipschitz monotone mapping, and NCx the normal cone to C at x C; that is, NCx = {y H : 〈x - u, y〉, ∀u C}. Define

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M10','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M10">View MathML</a>

Then W is maximal monotone and 0 ∈ Wx if and only if x V I(C, A).

3. Main results

Now, we are in a position to give our main results.

Theorem 3.1. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a κ-strict pseudocontraction with a nonempty fixed point set, A : C H an α-inverse-strongly monotone mapping, and B : C H a β-inverse-strongly monotone mapping. Let M : H H be a maximal monotone operator such that D(M) ⊂ C. Assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M11','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M11">View MathML</a> is not empty. Let {xn} be a sequence generated by the following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M12">View MathML</a>

(3.1)

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M13">View MathML</a>, {rn} is a sequence in (0, 2α), {sn} is a sequence in (0, 2β), and {αn} and {βn} are sequences in (0, 1). Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1, κ βn b < 1;

(b) 0 < r rn r' < 2α;

(c) 0 < s sn s' < 2β,

where a, b, r, r', s, and s' are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M14">View MathML</a>.

Proof. First, we show that Cn is closed and convex for each n ≥ 1. From the assumption, we see that C1 = C is closed and convex. Suppose that Cm is closed and convex for some m ≥ 1. We show that Cm+1 is closed and convex for the same m. Let v1, v2 Cm+1 and v = tv1 + (1 - t)v2, where t ∈ (0, 1). Notice that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M15">View MathML</a>

is equivalent to

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M16">View MathML</a>

It is clearly to see that v Cm+1. This shows that Cn is closed and convex for each n ≥ 1. Put

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M17','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M17">View MathML</a>

and

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M18">View MathML</a>

where Sn is defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M19">View MathML</a>

We see from Lemma 2.1 that Sn is nonexpansive with F (Sn) = F (S). Since A is α-inverse-strongly monotone, and B is β-inverse-strongly monotone, we see from the restriction (b) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M20','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M20">View MathML</a>

(3.2)

and

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M21','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M21">View MathML</a>

(3.3)

Now, we show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M22">View MathML</a> for each n ≥ 1. Notice that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M23','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M23">View MathML</a>. Suppose that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M24','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M24">View MathML</a>for some m ≥ 1. For any <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M25">View MathML</a>, we see from (3.2), and (3.3) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M26">View MathML</a>

(3.4)

This shows that p Cm+1. This proves that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M27">View MathML</a>. Note that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M28','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M28">View MathML</a>. For each <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M29','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M29">View MathML</a>, we have || x1 - xn || ≤ || x1 - p ||. Since B is inverse-strongly monotone, we see from Lemma 2.3 that (B + M)-1(0) is closed, and convex. Since A is Lipschitz continuous, we find that VI(C, A) is close, and convex. In view of Lemma 2.2, we obtain F(S) is closed, and convex. This proves that is closed and convex. It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M31','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M31">View MathML</a>

(3.5)

This implies that {xn} is bounded. Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M32','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M32">View MathML</a> and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M33">View MathML</a>, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M34">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M35','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M35">View MathML</a>

This proves that limn→∞ || xn - x1 || exists. Notice that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M36">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M37">View MathML</a>

(3.6)

In view of <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M38">View MathML</a>, we see that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M39','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M39">View MathML</a>

This implies that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M40','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M40">View MathML</a>

We, therefore, obtain from (3.6) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M41','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M41">View MathML</a>

(3.7)

On the other hand, we see from (3.3) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M42','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M42">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M43','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M43">View MathML</a>

In view of the restrictions (a), and (c), we find from (3.7) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M44">View MathML</a>

(3.8)

Since <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M45','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M45">View MathML</a> is firmly nonexpansive, we find that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M46','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M46">View MathML</a>

This finds that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M47','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M47">View MathML</a>

(3.9)

It follows from (3.1) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M48','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M48">View MathML</a>

which in turn implies that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M49','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M49">View MathML</a>

In view of the restriction (a), we see from (3.7), and (3.8) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M50','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M50">View MathML</a>

(3.10)

On the other hand, we see from (3.2) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M51','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M51">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M52','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M52">View MathML</a>

In view of the restrictions (a), and (b), we find from (3.7) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M53','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M53">View MathML</a>

(3.11)

Since ProjC is firmly nonexpansive, we arrive at

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M54','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M54">View MathML</a>

which finds that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M55','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M55">View MathML</a>

(3.12)

This implies that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M56','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M56">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M57','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M57">View MathML</a>

In view of the restriction (a), we see from (3.7), and (3.11) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M58','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M58">View MathML</a>

(3.13)

On the other hand, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M59','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M59">View MathML</a>

In view of (3.7), we see from the restriction (a) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M60','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M60">View MathML</a>

(3.14)

Note that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M61','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M61">View MathML</a>

It follows from (3.10) and (3.13) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M62">View MathML</a>

(3.15)

In view of

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M63">View MathML</a>

we see from (3.14) and (3.15) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M64">View MathML</a>

(3.16)

Note that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M65">View MathML</a>

which yields that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M66">View MathML</a>

In view of the restriction (b), we conclude from (3.16) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M67">View MathML</a>

(3.17)

Since {xn} is bounded, there exists a subsequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M68">View MathML</a> of {xn} such that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M69','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M69">View MathML</a>. In view of Lemma 2.2, we obtain from (3.17) that q F(S). In view of (3.10), and (3.15), we see that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M70','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M70">View MathML</a>, and <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M71">View MathML</a>, respectively. Now, we are in a position to show that q VI(C, A).

Define

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M72">View MathML</a>

Then W is maximal monotone. Let (x, y) ∈ G(W). Since y - Ax NCx and zn C, we have

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M73">View MathML</a>

On the other hand, we have from zn = ProjC(I - rnA1)vn that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M74">View MathML</a>

and hence

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M75">View MathML</a>

It follows that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M76','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M76">View MathML</a>

In view of the restriction (b), we obtain from (3.13) that 〈x - q, y〉 ≥ 0. We have q A-10 and hence q VI(C, A).

Next, we prove that q ∈ (B + M)-1(0). Notice that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M77">View MathML</a>

that is,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M78','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M78">View MathML</a>

(3.18)

Let µ ν. Since M is monotone, we find from (3.18) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M79','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M79">View MathML</a>

In view of the restriction (c), we see from (3.10) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M80">View MathML</a>

This implies that -Bq Mq, that is, q ∈ (B + M)-1(0). This completes <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M81">View MathML</a>. Assume that there exists another subsequence <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M82','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M82">View MathML</a> of {xn} weak converges weakly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M83">View MathML</a>. We can easily conclude from Opial's condition (see [49]) that q = q'.

Finally, we show that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M84','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M84">View MathML</a> and {xn} converges strongly to q. This completes the proof of Theorem 3.1. In view of the weak lower semicontinuity of the norm, we obtain from (3.5) that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M85','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M85">View MathML</a>

which yields that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M86','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M86">View MathML</a>. It follows that {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M87','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M87">View MathML</a>. This completes the proof.

We conclude from Theorem 3.1 the following results on nonexpansive mappings.

Corollary 3.2. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a nonexpansive mapping with a nonempty fixed point set, A : C H be an α-inverse-strongly monotone mapping, and B : C H be a β-inverse-strongly monotone mapping. Let M : H H be a maximal monotone operator such that D(M) ⊂ C. Assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M88','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M88">View MathML</a>is not empty. Let {xn} be a sequence generated by the following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M89','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M89">View MathML</a>

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M90','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M90">View MathML</a>, {rn} is a sequence in (0, 2α), {sn} is a sequence in (0, 2β), and { αn} is a sequence in (0, 1). Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1;

(b) 0 < r rn r' < 2α;

(c) 0 < s sn s' < 2β,

where a, r, r', s, and s' are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M91','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M91">View MathML</a>.

If A = 0, then Corollary 3.2 is reduced to the following.

Corollary 3.3. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a nonexpansive mapping with a nonempty fixed point set, and B : C H be a β-inverse-strongly monotone mapping. Let M : H H be a maximal monotone operator such that D(M) ⊂ C. Assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M92">View MathML</a>is not empty. Let {xn} be a sequence generated by the following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M93">View MathML</a>

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M94','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M94">View MathML</a> {sn} is a sequence in (0, 2β), and {αn} is a sequence in (0, 1).

Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1;

(b) 0 < s sn s' < 2β,

where a, s, and s' are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M95','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M95">View MathML</a>.

If B = 0, then Corollary 3.2 is reduced to the following.

Corollary 3.4. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a nonexpansive mapping with a nonempty fixed point set, A : C H a α-inverse-strongly monotone mapping. Let M : H H be a maximal monotone operator such that D(M) ⊂ C. Assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M96','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M96">View MathML</a>is not empty. Let {xn} be a sequence generated by the following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M97','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M97">View MathML</a>

where <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M98','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M98">View MathML</a>,{rn} is a sequence in (0, 2α), {sn} is a sequence in (0, +∞), and {αn} is a sequence in (0, 1). Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1;

(b) 0 < r rn r' < 2α;

(c) 0 < s sn < ∞,

where a, r, r', and s are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M99','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M99">View MathML</a>.

Let f : H → (-∞, +∞] be a proper convex lower semicontinuous function. Then the subdifferential of f is defined as follows

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M100','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M100">View MathML</a>

From Rockafellar [50], we know that ∂f is maximal monotone. It is not hard to verify that 0 ∈ ∂ f (x) if and only if <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M101','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M101">View MathML</a>.

Let IC be the indicator function of C, i.e.,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M102">View MathML</a>

Since IC is a proper lower semicontinuous convex function on H, we see that the subdifferential ∂IC of IC is a maximal monotone operator. It is clearly that Jsx = ProjCx, ∀x H. Notice that (B + ∂IC)- 1(0) = V I(C, B). Indeed,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M103','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M103">View MathML</a>

In view of Theorem 3.1, we have the following.

Corollary 3.5. Let C be a nonempty, closed, and convex subset of H. Let S : C C be aα κ -strict pseudocontraction with a nonempty fixed point set, A : C H be an α-inverse-strongly monotone mapping, and B : C H be a β-inverse-strongly monotone mapping. Assume hat <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M104','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M104">View MathML</a>is not empty. Let {xn} be a sequence generated by he following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M105','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M105">View MathML</a>

where {rn} is a sequence in (0, 2α), {sn} is a sequence in (0, 2β), and {αn} and {βn} are sequences in (0, 1). Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1, κ βn b < 1;

(b) 0 < r rn r' < 2α;

(c) 0 < s sn s' < 2β,

where a, b, r, r', s, and s' are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M106','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M106">View MathML</a>.

4. Applications

Let F be a bifunction of C × C into ℝ, where ℝ denotes the set of real numbers. Recall the following equilibrium problem in the terminology of Blum and Oettli [51] (see also Fan [52]).

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M107','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M107">View MathML</a>

(4.1)

To study the equilibrium problem (4.1), we may assume that F satisfies the following conditions:

(A1) F(x, x) = 0 for all x C;

(A2) F is monotone, i.e., F(x, y) + F(y, x) = 0 for all x, y C;

(A3) for each x, y, z C,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M108">View MathML</a>

(A4) for each xC,yF(x,y) is convex and lower semi-continuous.

Putting F(x, y) = 〈Ax, y - x〉 for every x, y C, we see that the equilibrium problem (4.1) is reduced to the variational inequality (2.1).

The following lemma can be found in [51,53].

Lemma 4.1. Let C be a nonempty, closed, and convex subset of H and F:CxC→a bifunction satisfying (A1)-(A4). Then, for any s > 0 and x H, there exists z C such that

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M109','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M109">View MathML</a>

Further, define

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M110','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M110">View MathML</a>

(4.2)

for all s > 0 and × H. Then, the following hold:

(a) Ts is single-valued;

(b) Ts is firmly nonexpansive; that is,

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M117">View MathML</a>

(c) F(Ts) = EP (F );

(d) EP(F) is closed and convex.

Lemma 4.2 [8] . Let C be a nonempty, closed, and convex subset of H, F a bifunction from C×C to which satisfies (A1)-(A4), and AF a multivalued mapping of H into itself defined by

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M111','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M111">View MathML</a>

(4.3)

Then AF is a maximal monotone operator with the domain D(AF ) ⊂ C, <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M112','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M112">View MathML</a>, where FP(F) stands for the solution set of (4.1), and

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M113','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M113">View MathML</a>

where Ts is defined as in (4.2).

In this section, we consider the problem of approximating a solution of the equilibrium problem.

Theorem 4.3. Let C be a nonempty, closed, and convex subset of H. Let S : C C be a κ-strict pseudocontraction with a nonempty fixed point set, and F:C×C→a bifunction satisfying (A1)-(A4). Assume that <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M114','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M114">View MathML</a> is not empty. Let {xn} be a sequence generated by the following iterative process:

<a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M115','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M115">View MathML</a>

where AF is defined by (4.3), {sn} is a positive sequence, and {αn} and {βn} are sequences in (0, 1). Assume that the following restrictions are satisfied

(a) 0 ≤ αn a < 1, κ βn b < 1;

(b) 0 < s sn s' < ∞,

where a, b, s, and s' are real constants. Then the sequence {xn} converges strongly to <a onClick="popup('http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M116','MathML',630,470);return false;" target="_blank" href="http://www.fixedpointtheoryandapplications.com/content/2012/1/90/mathml/M116">View MathML</a>.

Proof. Putting A = B = 0, we immediately conclude from Lemmas 4.1 and 4.2 the desired conclusion.

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

CW designed and performed all the steps of proof in this research and also wrote the paper. AL participated in the design of the study. All authors read and approved the final manuscript.

References

  1. Burachik, RS, Iusem, AN, Svaiter, BF: Enlargements of maximal monotone operators with applications to variational inequalities. Set-valued Anal. 5, 159–180 (1997). Publisher Full Text OpenURL

  2. Revalski, JP, Théra, A: Enlargements and sums of monotone operators. Nonlinear Anal.(48:), 505–519 (2002)

  3. Svaiter, BF, Burachik, RS: ε-enlargements of maximal monotone operators in Banach spaces. Set-Valued Anal. 7, 117–132 (1999). Publisher Full Text OpenURL

  4. Moudafi, A: On the regularization of the sum of two maximal monotone operators. Nonlinear Anal. 42, 1203–1208 (2000). Publisher Full Text OpenURL

  5. Moudafi, A, Oliny, M: Convergence of a splitting inertial proximal method for monotone operators. J Comput Appl Math. 155, 447–454 (2003). Publisher Full Text OpenURL

  6. Zhang, SS, Lee, JHW, Chan, CK: Algorithms of common solutions for quasi variational inclusion and fixed point problems. Appl Math Mech. 29, 571–581 (2008). Publisher Full Text OpenURL

  7. Qin, X, Kang, JI, Cho, YJ: On quasi-variational inclusions and asymptotically strict pseudo-contractions. J Nonlinear Convex Anal. 11, 441–453 (2010)

  8. Takahashi, S, Takahashi, W, Toyoda, M: Strong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces. J Optim Theory Appl. 147, 27–41 (2010). Publisher Full Text OpenURL

  9. Qin, X, Cho, SY, Kang, SM: Iterative algorithms for variational inequality and equilibrium problems with applications. J Global Optim. 48, 423–445 (2010). Publisher Full Text OpenURL

  10. Korpelevich, GM: An extragradient method for finding saddle points and for other problems. Ekonomika i Matematicheskie Metody. 12, 747–756 (1976)

  11. Yang, S, Li, W: Iterative solutions of a system of equilibrium problems in Hilbert spaces. Adv Fixed Point Theory. 1, 15–26 (2011)

  12. Nadezhkina, N, Takahashi, W: Weak convergence theorem by an extragradient method for nonexpansive mappings and monotone mappings. J Optim Theory Appl. 128, 191–201 (2006). Publisher Full Text OpenURL

  13. Qin, X, Su, Y, Shang, M: Strong convergence of a general iterative algorithm for equilibrium problems and variational inequality problems. Math Comput Model. 48, 1033–1046 (2008). Publisher Full Text OpenURL

  14. Kim, JK: Strong convergence theorems by hybrid projection methods for equilibrium problems and fixed point problems of the asymptotically quasi-ϕ-nonexpansive mappings. Fixed Point Theory Appl 2011. 10, (2011)

  15. Kim, JK, Cho, SY, Qin, X: Some results on generalized equilibrium problems involving strictly pseudocontractive mappings. Acta Mathematica Scientia. 31, 2041–2057 (2011). Publisher Full Text OpenURL

  16. Kim, JK, Cho, SY, Qin, X: Hybrid projection algorithms for generalized equilibrium problems and strictly pseudocontractive mappings. J Inequal Appl. 2010, 18 (Article ID 312602) (2010)

  17. Ye, J, Huang, J: Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach spaces. J Math Comput Sci. 1, 1–18 (2011)

  18. Qin, X, Cho, YJ, Kang, SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J Comput Appl Math. 225, 20–30 (2009). Publisher Full Text OpenURL

  19. Lv, S: Generalized systems of variational inclusions involving (A,η )-monotone mappings. Adv Fixed Point Theory. 1, 1–14 (2011)

  20. Kang, SM, Cho, SY, Liu, Z: Convergence iterative sequences for generalized equilibrium problems involving inverse-strongly monotone mappings. J Inequal Appl. 2010, 827082 (2010)

  21. Qin, X, Cho, SY, Kang, SM: Strong convergence of shrinking projection methods for quasi-ϕ-nonexpansive mappings and equilibrium problems. J Comput Appl Math. 234, 750–760 (2010). Publisher Full Text OpenURL

  22. Chang, SS, Lee, HWJ, Chan, CK: A new method for solving equilibrium problem fixed point problem and variational inequality problem with application to optimization. Nonlinear Anal. 70, 3307–3319 (2009). Publisher Full Text OpenURL

  23. Chang, SS, Lee, HWJ, Chan, CK: A new hybrid method for solving a generalized equilibrium problem, solving a variational inequality problem and obtaining common fixed points in Banach spaces with applications. Nonlinear Anal. 73, 2260–2270 (2010). Publisher Full Text OpenURL

  24. Qin, X, Chang, SS, Cho, YJ: Iterative methods for generalized equilibrium problems and fixed point problems with applications. Nonlinear Anal Real World Appl. 11, 2963–2972 (2010). Publisher Full Text OpenURL

  25. Qin, X, Cho, SY, Kang, SM: Convergence of an iterative algorithm for systems of variational inequalities and nonexpansive mappings. J Comput Appl Math. 233, 231–240 (2009). Publisher Full Text OpenURL

  26. Shehu, Y: A new iterative scheme for a countable family of relatively nonexpansive mappings and an equilibrium problem in Banach spaces. In: J Global Optim doi:10.1007/s10898-011-9775-1

  27. Saewan, S, Kumam, P: Modified hybrid block iterative algorithm for convex feasibility problems and generalized equilibrium problems for uniformly quasi-ϕ-asymptotically nonexpansive mappings. Abstr Appl Anal. 22, (Article ID 357120) (2010)

  28. Qin, X, Cho, YJ, Kang, SM: Viscosity approximation methods for generalized equilibrium problems and fixed point problems with applications. Nonlinear Anal. 72, 99–112 (2010). Publisher Full Text OpenURL

  29. Polyak, BT: Introduction to optimization, Optimization Software. Princeton Hall, New York (1987)

  30. Calamai, PH, Moré, JJ: Projected gradient methods for linearly constrained problems. Math Program. 39, 93–116 (1987). Publisher Full Text OpenURL

  31. Levitin, ES, Polyak, BT: Constrained minimization methods. Zh Vychisl Mat Mat Fiz. 6, 787–823 (1966)

  32. Byrne, B: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Probl. 20, 103–120 (2008)

  33. Censor, Y, Elfving, T, Kopf, N, Bortfeld, T: The multiple-sets split feasibility problem and its applications for inverse problems. Inverse Probl. 21, 2071–2084 (2005). Publisher Full Text OpenURL

  34. Censor, Y, Bortfeld, T, Martin, B, Trofimov, A: A unified approach for inversion problems in intensity-modulated radiation therapy. Phys Med Biol. 51, 2353–2365 (2006). PubMed Abstract | Publisher Full Text OpenURL

  35. Lopez, G, Martin, V, Xu, HK: Perturbation techniques for nonexpansive mappings with applications. Nonlinear Anal. 10, 2369–2383 (2009). Publisher Full Text OpenURL

  36. Browder, FE: Nonexpansive nonlinear operators in a Banach space. Proc Nat Acad Sci USA. 54, 1041–1044 (1965). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  37. Iiduka, H, Takahashi, W: Strong convergence theorems for nonexpansive mappings and inverse-strongly monotone mappings. Nonlinear Anal. 61, 341–350 (2005). Publisher Full Text OpenURL

  38. Qin, X, Su, Y: Approximation of a zero point of accretive operator in Banach spaces. J Math Anal Appl. 329, 415–424 (2007). Publisher Full Text OpenURL

  39. Cho, YJ, Qin, X, Kang, JI: Convergence theorems based on hybrid methods for generalized equilibrium problems and fixed point problems. Nonlinear Anal. 71, 4203–4214 (2009). Publisher Full Text OpenURL

  40. Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J Optim Theory Appl. 118, 417–428 (2003). Publisher Full Text OpenURL

  41. Cho, YJ, Kang, SM, Zhou, H: Approximate proximal point algorithms for finding zeroes of maximal monotone operators in Hilbert spaces. J Inequal Appl. 2008, 598191 (2008)

  42. Eckstein, J: Nonlinear proximal point algorithms using Bregman functions, with applications to convex programming. Math Oper Res. 18, 202–226 (1993). Publisher Full Text OpenURL

  43. Matsushita, SY, Takahashi, W: Existence theorems for set-valued operators in Banach spaces. Set-Valued Anal. 15, 251–264 (2007). Publisher Full Text OpenURL

  44. Solodov, MV, Svaiter, FF: A hybrid projection-proximal point algorithm. J Convex Anal. 6, 59–70 (1999)

  45. Qin, X, Cho, YJ, Kang, SM: Approximating zeros of monotone operators by proximal point algorithms. J Glob Optim. 46, 75–87 (2010). Publisher Full Text OpenURL

  46. Zhou, H: Convergence theorems of fixed points for κ-strict pseudo-contractions in Hilbert spaces. Non-linear Anal. 69, 456–462 (2008)

  47. Browder, FE: Nonlinear operators and nonlinear equations of evolution in Banach spaces. Proc Symp Pure Math. 18, 78–81 (1976)

  48. Rockafellar, RT: On the maximality of sums of nonlinear monotone operators. Trans Am Math Soc. 149, 75–88 (1970). Publisher Full Text OpenURL

  49. Opial, Z: Weak convergence of the sequence of successive approximation for nonexpansive mappings. Bull Am Math Soc. 73, 591–597 (1967). Publisher Full Text OpenURL

  50. Rockafellar, RT: Characterization of the subdifferentials of convex functions. Pac J Math. 17, 497–510 (1996)

  51. Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math Stud. 63, 123–145 (1994)

  52. Fan, K: A minimax inequality and applications. In: Shisha (ed.) Inequality III, pp. 103–113. Academic Press, New york (1972)

  53. Combettes, PL, Hirstoaga, SA: Equilibrium programming in Hilbert spaces. J Nonlinear Convex Anal. 6, 117–136 (2005)