- Research Article
- Open access
- Published:
Iterative Algorithms for Finding Common Solutions to Variational Inclusion Equilibrium and Fixed Point Problems
Fixed Point Theory and Applications volume 2011, Article number: 915629 (2011)
Abstract
The main purpose of this paper is to introduce an explicit iterative algorithm to study the existence problem and the approximation problem of solution to the quadratic minimization problem. Under suitable conditions, some strong convergence theorems for a family of nonexpansive mappings are proved. The results presented in the paper improve and extend the corresponding results announced by some authors.
1. Introduction
Throughout this paper, we assume that is a real Hilbert space with inner product
and norm
,
is a nonempty closed convex subset of
, and
is the set of fixed points of mapping
.
A mapping is called nonexpansive if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ1_HTML.gif)
Let be a single-valued nonlenear mapping and
be a multivalued mapping. The so-called quasivariational inclusion problem (see [1–3]) is to find
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ2_HTML.gif)
The set of solutions to quasivariational inclusion problem (1.2) is denoted by .
Special Cases
-
(I)
If
, where
is a proper convex lower semi-continuous function and
is the subdifferential of
, then the quasivariational inclusion problem (1.2) is equivalent to finding
such that
(1.3)
which is called the mixed quasivariational inequality (see [4]).
-
(II)
If
, where
is a nonempty closed convex subset of
and
is the indicator function of
, that is,
(1.4)
then the quasivariational inclusion problem (1.2) is equivalent to finding such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ5_HTML.gif)
This problem is called the Hartman-Stampacchia variational inequality (see [5]). The set of solutions to variational inequality (1.5) is denoted by .
Let be a nonlinear mapping and
be a bifunction. The so-called generalized equilibrium problem is to find a point
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ6_HTML.gif)
The set of solutions to (1.6) is denoted by GEP (see [5, 6]). If , then (1.6) reduces to the following equilibrium problem: to find
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ7_HTML.gif)
The set of solutions to (1.7) is denoted by EP.
Iterative methods for nonexpansive mappings and equilibrium problems have been applied to solve convex minimization problems (see [7–9]). A typical problem is to minimize a quadratic function over the set of the fixed points of a nonexpansive mapping on a real Hilbert space :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ8_HTML.gif)
where is the fixed point set of a nonexpansive mapping
on
.
In 2010, Zhang et al. (see [10]) proposed the following iteration method for variational inclusion problem (1.5) and equilibrium problem (1.6) in a Hilbert space :
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ9_HTML.gif)
Under suitable conditions, they proved the sequence generated by (1.9) converges strongly to the fixed point
, which solves the quadratic minimization problem (1.8).
Motivated and inspired by the researches going on in this direction, especially inspired by Zhang et al. [10], the purpose of this paper is to introduce an explicit iterative algorithm to studying the existence problem and the approximation problem of the solution to the quadratic minimization problem (1.8) and prove some strong convergence theorems for a family of nonexpansive mappings in the setting of Hilbert spaces.
2. Preliminaries
Let be a real Hilbert space, and
be a nonempty closed convex subset of
. For any
, there exists a unique nearest point in
, denoted by
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ10_HTML.gif)
Such a mapping from
onto
is called the metric projection. It is well-known that the metric projection
is nonexpansive.
In the sequel, we use and
to denote the weak convergence and the strong convergence of the sequence
, respectively.
Definition 2.1.
A mapping is called
-inverse strongly monotone if there exists an
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ11_HTML.gif)
A multivalued mapping is called monotone if
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ12_HTML.gif)
A multivalued mapping is called maximal monotone if it is monotone and for any
, when
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ13_HTML.gif)
then .
Proposition 2.2 (see [11]).
Let be an
-inverse strongly monotone mapping. Then, the following statements hold:
(i) is an
-Lipschitz continuous and monotone mapping;
(ii)if is any constant in
, then the mapping
is nonexpansive, where
is the identity mapping on
.
Lemma 2.3 (see [12]).
Let be a strictly convex Banach space,
be a closed convex subset of
, and
be a sequence of nonexpansive mappings. Suppose
. Let
be a sequence of positive numbers with
. Then the mapping
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ14_HTML.gif)
is well defined. And it is nonexpansive and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ15_HTML.gif)
Definition 2.4.
Let be a Hilbert space and
be a multivalued maximal monotone mapping. Then, the single-valued mapping
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ16_HTML.gif)
is called the resolvent operator associated with, where
is any positive number and
is the identity mapping.
Proposition 2.5 (see [11]).
-
(i)
The resolvent operator
associated with
is single-valued and nonexpansive for all
, that is,
(2.8)
 (ii) The resolvent operator is 1-inverse strongly monotone, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ18_HTML.gif)
Definition 2.6.
A single-valued mapping is said to be hemicontinuous if for any
, function
is continuous at 0.
It is well-known that every continuous mapping must be hemicontinuous.
Lemma 2.7 (see [13]).
Let and
be bounded sequences in a Banach space
. Let
be a sequence in
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ19_HTML.gif)
Suppose that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ20_HTML.gif)
Then,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ21_HTML.gif)
Lemma 2.8 (see [14]).
Let be a real Banach space,
be the dual space of
,
be a maximal monotone mapping, and
be a hemicontinuous bound monotone mapping with
. Then, the mapping
is a maximal monotone mapping.
Lemma 2.9 (see [15]).
Let be a uniformly convex Banach space, let
be a nonempty closed convex subset of
, and
be a nonexpansive mapping with a fixed point. Then,
is demiclosed in the sense that if
is a sequence in
satisfying
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ22_HTML.gif)
then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ23_HTML.gif)
Throughout this paper, we assume that the bifunction satisfies the following conditions:
for all
;
is monotone, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ24_HTML.gif)
for each ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ25_HTML.gif)
for each ,
is convex and lower semi-continuous.
Lemma 2.10 (see [16]).
Let be a real Hilbert space,
be a nonempty closed convex subset of
, and
be a bifunction satisfying the conditions
. Let
and
. Then, there exists a point
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ26_HTML.gif)
Moreover, if is a mapping defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ27_HTML.gif)
then the following results hold:
(i) is single-valued and firmly nonexpansive, that is, for any
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ28_HTML.gif)
(ii)EP is closed and convex, and .
Lemma 2.11.
-
(i)
(see [11])  
is a solution of variational inclusion (1.2) if and only if
(2.20)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ30_HTML.gif)
-
(ii)
(see [10])  
is a solution of generalized equilibrium problem (1.6) if and only if
(2.22)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ32_HTML.gif)
 (iii) (see [10]) Let be an
-inverse strongly monotone mapping and
be a
-inverse strongly monotone mapping. If
and
, then
is a closed convex subset in
and GEP is a closed convex subset in
.
Lemma 2.12 (see [17]).
Assume that is a sequence of nonnegative real numbers such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ33_HTML.gif)
where is a sequence in
and
is a sequence such that:
(i);
(ii) or
.
Then, .
3. Main Results
Theorem 3.1.
Let be a real Hilbert space,
be a nonempty closed convex subset of
,
be an
-inverse strongly monotone mapping and
be a
-inverse strongly monotone mapping. Let
be a maximal monotone mapping,
be a sequence of nonexpansive mappings with
,
be the nonexpansive mapping defined by (2.5), and
be a bifunction satisfying conditions
. Let
be the sequence defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ34_HTML.gif)
where the mapping is defined by (2.18), and
are two constants with
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ35_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ36_HTML.gif)
where and GEP is the set of solutions of variational inclusion (1.2) and generalized equilibrium problem (1.6), respectively, then the sequence
defined by (3.1) converges strongly to
, which is the unique solution of the following quadratic minimization problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ37_HTML.gif)
Proof.
We divide the proof of Theorem 3.1 into four steps.
Step 1 (The sequence is bounded).
Set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ38_HTML.gif)
Taking , then it follows from Lemma 2.11 that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ39_HTML.gif)
Since both and
are nonexpansive,
and
are
-inverse strongly monotone and
-inverse strongly monotone, respectively, from Proposition 2.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ40_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ41_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ42_HTML.gif)
It follows from (3.1) and (3.9) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ43_HTML.gif)
where . This shows that
is bounded. Hence, it follows from (3.9) that the sequence
and
are also bounded.
It follows from (3.5), (3.6), and (3.9) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ44_HTML.gif)
This shows that is bounded.
Step 2.
Now, we prove that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ45_HTML.gif)
Since is nonexpansive, from (3.5) and (3.9), we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ46_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ47_HTML.gif)
Let in (3.14), in view of condition
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ48_HTML.gif)
By virtue of Lemma 2.7, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ49_HTML.gif)
This implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ50_HTML.gif)
We derive from (3.17) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ51_HTML.gif)
From (3.1) and (3.8), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ52_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ53_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ54_HTML.gif)
Let , noting the assumptions that
,
, from (3.2) and (3.18), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ55_HTML.gif)
By virtue of Lemma 2.10(i) and (3.1), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ56_HTML.gif)
Simplifying it, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ57_HTML.gif)
Similarly, in view of Proposition 2.5(ii) and (3.1), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ58_HTML.gif)
Simplifying it, from (3.24), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ59_HTML.gif)
From (3.19) and (3.26), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ60_HTML.gif)
Let nd in view of (3.18) and (3.22), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ61_HTML.gif)
This shows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ62_HTML.gif)
Then, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ63_HTML.gif)
Step 3 (sequence converges strongly to
).
Because is bounded, without loss of generality, we can assume that
. In view of (3.12), it yields that
and
. From Lemma 2.9 and (3.30), we know that
.
Next, we prove that .
Since , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ64_HTML.gif)
It follows from condition that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ65_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ66_HTML.gif)
For any and
, then
. From (3.33), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ67_HTML.gif)
Since is
-inverse strongly monotone, from Proposition 2.2(i) and (3.12), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ68_HTML.gif)
Let in (3.34), in view of condition
and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ69_HTML.gif)
It follows from conditions ,
and (3.36) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ70_HTML.gif)
that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ71_HTML.gif)
Let to 0 in (3.38), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ72_HTML.gif)
This shows that .
Step 4 (now, we prove that ).
Since is
-inverse strongly monotone, from Proposition 2.2 (i), we know that
is an
-Lipschitz continuous and monotone mapping and
, where
is the domain of
. It follows from Lemma 2.8 that
is maximal monotone. Let
, that is,
. Since
, we have
, that is,
. By virtue of the maximal monotonicity of
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ73_HTML.gif)
Therefore we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ74_HTML.gif)
Since is monotone, this implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ75_HTML.gif)
Since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ76_HTML.gif)
from (3.42), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ77_HTML.gif)
Since is maximal monotone,
, that is,
.
Summing up the above arguments, we have proved that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ78_HTML.gif)
On the other hand, for any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ79_HTML.gif)
and so we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ80_HTML.gif)
Put in (3.47), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ81_HTML.gif)
where and
. Since
, it is easy to see that
and
. By Lemma 2.12, we conclude that
as
, where
is the unique solution of the following quadratic minimization problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ82_HTML.gif)
This completes the proof of Theorem 3.1.
In Theorem 3.1, if , then the following corollary can be obtained immediately.
Corollary 3.2.
Let be a real Hilbert space,
be a nonempty closed convex subset of
,
be an
-inverse strongly monotone mapping and
be a
-inverse strongly monotone mapping. Let
be a maximal monotone mapping,
be a nonexpansive mappings with
. Let
be a bifunction satisfying conditions
. Let
be the sequence defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ83_HTML.gif)
where the mapping is defined by (2.18), and
are two constants with
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ84_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ85_HTML.gif)
where and GEP are the sets of solutions of variational inclusion (1.2) and generalized equilibrium problem (1.6), then the sequence
defined by (3.50) converges strongly to
, which is the unique solution of the following quadratic minimization problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ86_HTML.gif)
In Theorem 3.1, if , where
is the indicator function of
, then the variational inclusion problem (1.2) is equivalent to variational inequality (1.5), that is, to find
such that
, for all
. Since
. Consequently, we have the following corollary.
Corollary 3.3.
Let be a real Hilbert space,
be a nonempty closed convex subset of
,
be an
-inverse strongly monotone mapping and
be a
-inverse strongly monotone mapping. Let
and
be a nonexpansive mappings with
. Let
be a bifunction satisfying conditions
. Let
be the sequence defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ87_HTML.gif)
where the mapping is defined by (2.18), and
are two constants with
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ88_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ89_HTML.gif)
where and GEP are the sets of solutions of variational inclusion (1.5) and generalized equilibrium problem (1.6), then the sequence
defined by (3.54) converges strongly to
, which is the unique solution of the following quadratic minimization problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F915629/MediaObjects/13663_2010_Article_1442_Equ90_HTML.gif)
References
Noor MA, Noor KI: Sensitivity analysis for quasi-variational inclusions. Journal of Mathematical Analysis and Applications 1999,236(2):290–299. 10.1006/jmaa.1999.6424
Chang SS: Set-valued variational inclusions in Banach spaces. Journal of Mathematical Analysis and Applications 2000,248(2):438–454. 10.1006/jmaa.2000.6919
Chang S-S: Existence and approximation of solutions for set-valued variational inclusions in Banach space. Nonlinear Analysis. Theory, Methods & Applications 2001,47(1):583–594. 10.1016/S0362-546X(01)00203-6
Noor MA: Generalized set-valued variational inclusions and resolvent equations. Journal of Mathematical Analysis and Applications 1998,228(1):206–220. 10.1006/jmaa.1998.6127
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. The Mathematics Student 1994,63(1–4):123–145.
Tang F: Strong convergence theorem for a generalized equilibrium problems and a family of infinitely relatively nonexpansive mappings in a Banach space. Acta Analysis Functionalis Applicata 2010,12(3):259–265.
Ceng L-C, Yao J-C: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. Journal of Computational and Applied Mathematics 2008,214(1):186–201. 10.1016/j.cam.2007.02.022
Li S, Li L, Su Y: General iterative methods for a one-parameter nonexpansive semigroup in Hilbert space. Nonlinear Analysis. Theory, Methods & Applications 2009,70(9):3065–3071. 10.1016/j.na.2008.04.007
Colao 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.041
Zhang S-S, Lee H-W, Chan C-K: Quadratic minimization for equilibrium problem variational inclusion and fixed point problem. Applied Mathematics and Mechanics 2010,31(7):917–928. 10.1007/s10483-010-1326-6
Zhang S-S, Lee JHW, Chan CK: Algorithms of common solutions to quasi variational inclusion and fixed point problems. Applied Mathematics and Mechanics 2008,29(5):571–581. 10.1007/s10483-008-0502-y
Bruck RE Jr.: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Transactions of the American Mathematical Society 1973, 179: 251–262.
Suzuki T: Strong convergence theorems for infinite families of nonexpansive mappings in general Banach spaces. Fixed Point Theory and Applications 2005, (1):103–123.
Pascali D: Nonlinear Mappings of Monotone Type. Sijthoff and Noordhoff International Publishers, The Netherlands; 1978.
Goebel K, Kirk WA: Topics in Metric Fixed Point Theory. Volume 28. Cambridge University Press, Cambridge, UK; 1990:viii+244.
Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. Journal of Nonlinear and Convex Analysis 2005,6(1):117–136.
Xu 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.059
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
Tan, J., Chang, S. Iterative Algorithms for Finding Common Solutions to Variational Inclusion Equilibrium and Fixed Point Problems. Fixed Point Theory Appl 2011, 915629 (2011). https://doi.org/10.1155/2011/915629
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/915629