 Research
 Open access
 Published:
Convergence theorems for finding zero points of maximal monotone operators and equilibrium problems in Banach spaces
Journal of Inequalities and Applications volume 2013, Article number: 247 (2013)
Abstract
In this paper, we construct a new hybrid projection method for approximating a common element of the set of zeroes of a finite family of maximal monotone operators and the set of common solutions to a system of generalized equilibrium problems in a uniformly smooth and strictly convex Banach space. We prove strong convergence theorems of the algorithm to a common element of these two sets. As application, we also apply our results to find common solutions of variational inequalities and zeroes of maximal monotone operators.
MSC:47H05, 47H09, 47H10.
1 Introduction
Let E be a Banach space with the norm \parallel \cdot \parallel and let {E}^{\ast} denote the dual space of E. Let S=\{x\in E:\parallel x\parallel =1\} be the unit sphere of E. A Banach space E is said to be smooth if the limit
exists for any x,y\in S. E is said to be uniformly smooth if the limit (1.1) is attained uniformly for (x,y) in S\times S. A Banach space E is said to be strictly convex if \parallel \frac{x+y}{2}\parallel <1 for all x,y\in E with \parallel x\parallel =\parallel y\parallel =1 and x\ne y (see [1] for more details).
One of the major problems in the theory of monotone operators is as follows.
Find a point z\in E such that
where B is an operator from E into {E}^{\ast}. Such z\in E is called a zero point of B. We denote the set of zeroes of the operator B by {B}^{1}0.
An operator B\subset E\times {E}^{\ast} is said to be monotone if
A monotone B is said to be maximal if its graph G(B)=\{(x,{y}^{\ast}):{y}^{\ast}\in Bx\} is not properly contained in the graph of any other monotone operator. If B is maximal monotone, then the solution set {B}^{1}0 is closed and convex. The resolvent of a monotone operator B is defined by
Let C be a closed convex subset of a Banach space E, a mapping T:C\to C is said to be nonexpansive if
Recall that a point x\in C is a fixed point of T provided Tx=x. Let E be a Banach space with dual {E}^{\ast} and let \u3008\cdot ,\cdot \u3009 be the pairing between E and {E}^{\ast}. The normalized duality mapping J:E\to {2}^{{E}^{\ast}} is defined by
The Lyapunov functional is defined by
It is obvious that
If E is a Hilbert space, then \varphi (x,y)={\parallel xy\parallel}^{2} for all x,y\in E.
A point p in C is said to be a strongly asymptotic fixed point of T [2] if C contains a sequence \{{x}_{n}\} which converges strongly to p such that {lim}_{n\to \mathrm{\infty}}\parallel {x}_{n}T{x}_{n}\parallel =0. The set of strong asymptotic fixed points of T will be denoted by \tilde{F}(T).
A mapping T from C into itself is said to be a weak relatively nonexpansive mapping if

1.
F(T) is nonempty;

2.
\varphi (p,Tx)\le \varphi (p,x) for all x\in C and p\in F(T);

3.
\tilde{F}(T)=F(T).
Kohasaka and Takahashi [3] proved that if E is a smooth strictly convex and reflexive Banach space and B is a continuous monotone operator with {B}^{1}0\ne \mathrm{\varnothing}, then {J}_{\lambda} is a weak relatively nonexpansive mapping. By Takahashi [4], we know that F({J}_{\lambda}) is closed and convex, where F({J}_{\lambda}) is the set of fixed points of {J}_{\lambda}.
Let B be a maximal monotone operator in a Hilbert space H. The proximal point algorithm generates, for starting {x}_{1}=x\in H, a sequence \{{x}_{n}\} in H by
where \{{\lambda}_{n}\}\subset (0,\mathrm{\infty}) and {J}_{{\lambda}_{n}}={(I+{\lambda}_{n}B)}^{1}.
Also, Rockafellar [5] proved that the sequence \{{x}_{n}\} defined by (1.5) converges weakly to an element of {B}^{1}0.
Let C be a nonempty closed convex subset of E and let ℝ be the set of real numbers. Let {f}_{i}:C\times C\to \mathbb{R} be a bifunction and {A}_{i}:C\to {E}^{\ast} be a nonlinear mapping for i=1,2,3,\dots ,N. The system of generalized equilibrium problems is as follows.
Find u\in C such that for all y\in C,
If {f}_{i}=f and {A}_{i}=A in (1.6), then from the problem (1.6) we have the following generalized equilibrium problem denoted by GEP(f,A).
Find u\in C such that
The generalized equilibrium problems include fixed point problems, optimization problem, monotone inclusion problems, saddle point problems, variational inequality problems, minimization problems, vector equilibrium problems, Nash equilibria in noncooperative games and equilibrium problems as special cases (see, for example, [6]). Also, some solution methods have been proposed to solve the equilibrium problem (see, for example, [7–14]) and numerous problems in physics, optimization and economics reduce to finding a solution of problem (1.7).
Recently, Li and Su [15] introduced the hybrid iterative scheme for approximating a common solution of the equilibrium problems and the variational inequality problems in a 2uniformly convex real Banach space which is also uniformly smooth. In 2010, Zegeye and Shahzad [16] introduced the iterative process which converges strongly to a common solution of the variational inequality problems for two monotone mappings in Banach spaces.
Quite recently, Shehu [13] introduced an iterative scheme by the hybrid method for approximating a common element of the set of zeroes of a finite family of αinversestrongly monotone operators and the set of common solutions of a system of generalized mixed equilibrium problems in a 2uniformly convex real Banach space which is also uniformly smooth.
Motivated by the results of Shehu [13], we prove some strong convergence theorems for finding a common zero of a finite family of continuous monotone mappings and a solution of the system of generalized equilibrium problems in a uniformly smooth and strictly convex real Banach space with the KadecKlee property.
2 Preliminaries
Throughout this paper, let E be a Banach space with its dual space {E}^{\ast}. For a sequence \{{x}_{n}\} of E and a point x\in E, the weak convergence of \{{x}_{n}\} to x is denoted by {x}_{n}\rightharpoonup x and the strong convergence of \{{x}_{n}\} to x is denoted by {x}_{n}\to x.
The normalized duality mapping J:E\to {2}^{{E}^{\ast}} is defined by
where \u3008\cdot ,\cdot \u3009 denotes the duality pairing.
Cioranescu [17] proved the following properties:

(1)
If E is an arbitrary Banach space, then J is monotone and bounded;

(2)
If E is a strictly convex, then J is strictly monotone;

(3)
If E is a smooth, then J is singlevalued and semicontinuous;

(4)
If E is uniformly smooth, then J is uniformly normtonorm continuous on each bounded subset of E;

(5)
If E is reflexive, smooth and strictly convex, then the normalized duality mapping J is singlevalued, onetoone and onto;

(6)
If E is a reflexive, strictly convex and smooth Banach space and J is the duality mapping from E into {E}^{\ast}, then {J}^{1} is also singlevalued, bijective and is also the duality mapping from {E}^{\ast} into E and thus J{J}^{1}={I}_{{E}^{\ast}} and {J}^{1}J={I}_{E};

(7)
If E is uniformly smooth, then E is smooth and reflexive;

(8)
E is uniformly smooth if and only if {E}^{\ast} is uniformly convex.
A Banach space E has the KadecKlee property [1, 17] if, for any sequence \{{x}_{n}\}\subset E and x\in E with {x}_{n}\rightharpoonup x and \parallel {x}_{n}\parallel \to \parallel x\parallel, then \parallel {x}_{n}x\parallel \to 0 as n\to \mathrm{\infty}.
Consider the functional \varphi :E\times E\to \mathbb{R} defined by
where J is the normalized duality mapping from E to {2}^{{E}^{\ast}}.
It is obvious from the definition of the function ϕ that
If E is a Hilbert space, then \varphi (y,x)={\parallel yx\parallel}^{2}.
Remark 2.1 If E is a reflexive, strictly convex and smooth Banach space, then, for any x,y\in E, \varphi (x,y)=0 if and only if x=y. It is sufficient to show that if \varphi (x,y)=0, then x=y. From (1.4) we have \parallel x\parallel =\parallel y\parallel. This implies that \u3008x,Jy\u3009={\parallel x\parallel}^{2}={\parallel Jy\parallel}^{2}. From the definition of J, one has Jx=Jy. Therefore, we have x=y (see [1, 17] for more details).
Let C be a nonempty closed convex subset of a reflexive, strictly convex and smooth Banach space E. The generalized projection {\mathrm{\Pi}}_{C}:E\to C is a mapping that assigns to an arbitrary point x\in E the minimum point of the functional \varphi (x,y), that is, {\mathrm{\Pi}}_{C}x=\overline{x}, where \overline{x} is the solution to the minimization problem
The existence and uniqueness of the operator {\mathrm{\Pi}}_{C} follows from the properties of the functional \varphi (y,x) and the strict monotonicity of the mapping J (see, for example, [1, 17–20]). If E is a Hilbert space, then {\mathrm{\Pi}}_{C} becomes the metric projection of E onto C.
Example 2.2 (Qin et al. [21])
Let {\mathrm{\Pi}}_{C} be the generalized projection from a smooth strictly convex and reflexive Banach space E onto a nonempty closed convex subset C of E. Then {\mathrm{\Pi}}_{C} is a closed relatively quasinonexpansive mapping from E onto C with F({\mathrm{\Pi}}_{C})=C.
We also need the following lemmas for the proof of our main results.
Lemma 2.3 (Alber [19])
Let C be a nonempty closed convex subset of a smooth Banach space E and let x\in E. Then {x}_{0}={\mathrm{\Pi}}_{C}x if and only if
Lemma 2.4 (Alber [19])
Let E be a reflexive, strictly convex and smooth Banach space, let C be a nonempty closed convex subset of E and let x\in E. Then
Let E be a smooth strictly convex and reflexive Banach space, C be a nonempty closed convex subset of E and B\subset E\times {E}^{\ast} be a monotone operator satisfying the following:
Then the resolvent {J}_{\lambda}:C\to D(B) of B is defined by
{J}_{\lambda} is a singlevalued mapping from E to D(B). For any \lambda >0, the Yosida approximation {B}_{\lambda}:C\to {E}^{\ast} of B is defined by {B}_{\lambda}x=\frac{JxJ{J}_{\lambda}x}{\lambda} for all x\in C. We know that {B}_{\lambda}x\in B({J}_{\lambda}x) for all \lambda >0 and x\in E.
Lemma 2.5 (Kohsaka and Takahashi [22])
Let E be a smooth strictly convex and reflexive Banach space, let C be a nonempty closed convex subset of E and let B\subset E\times {E}^{\ast} be a monotone operator satisfying D(B)\subset C\subset {J}^{1}({\bigcap}_{\lambda >0}R(J+\lambda B)). For any \lambda >0, let {J}_{\lambda} and {B}_{\lambda} be the resolvent and the Yosida approximation of B, respectively. Then the following hold:

(1)
\varphi (p,{J}_{\lambda}x)+\varphi ({J}_{\lambda}x,x)\le \varphi (p,x) for all x\in C and p\in {B}^{1}0;

(2)
({J}_{\lambda}x,{B}_{\lambda}x)\in B for all x\in C;

(3)
F({J}_{\lambda})={B}^{1}0.
Lemma 2.6 (Rockafellar [23])
Let E be a reflexive strictly convex and smooth Banach space. Then an operator B\subset E\times {E}^{\ast} is maximal monotone if and only if R(J+\lambda B)={E}^{\ast} for all \lambda >0.
For solving the equilibrium problem for a bifunction f:C\times C\to \mathbb{R}, assume that f satisfies the following conditions:
(A1) f(x,x)=0 for all x\in C;
(A2) f is monotone, i.e., f(x,y)+f(y,x)\le 0 for all x,y\in C;
(A3) for each x,y,z\in C,
(A4) for each x\in C, y\mapsto f(x,y) is convex and lower semicontinuous.
The following result is given in Blum and Oettli [6].
Lemma 2.7 Let C be a closed convex subset of a smooth strictly convex and reflexive Banach space E and let f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4). Then, for any r>0 and x\in E, there exists z\in C such that
Lemma 2.8 (Takahashi and Zembayashi [24])
Let C be a closed convex subset of a uniformly smooth strictly convex and reflexive Banach space E and let f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4). For any r>0 and x\in E, define a mapping {T}_{r}:E\to C as follows:
Then the following hold:

(1)
{T}_{r} is singlevalued;

(2)
{T}_{r} is a firmly nonexpansivetype mapping for all x,y\in E, that is,
\u3008{T}_{r}x{T}_{r}y,J{T}_{r}xJ{T}_{r}y\u3009\le \u3008{T}_{r}x{T}_{r}y,JxJy\u3009; 
(3)
F({T}_{r})=EP(f);

(4)
EP(f) is closed and convex.
Lemma 2.9 (Takahashi and Zembayashi [24])
Let C be a closed convex subset of a smooth, strictly convex and reflexive Banach space E, f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4) and let r>0. Then, for any x\in E and p\in F({T}_{r}),
Lemma 2.10 Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E. Let A:C\to {E}^{\ast} be a continuous monotone mapping and f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4). Then, for any r>0 and x\in E, there exists z\in C such that
Proof Define a bifunction \mathrm{\Theta}:C\times C\to \mathbb{R} by \mathrm{\Theta}(x,y)=f(x,y)+\u3008yx,Ax\u3009 for all x,y\in C. We show that Θ satisfies the conditions (A1)(A4).
First, we show that Θ satisfies the condition (A1). Since
the condition (A2) is satisfied.
Next, we show that Θ satisfies the condition (A2). Since A is a continuous monotone mapping and f satisfies the condition (A2), for any x,y\in C, we have
So, the condition (A2) is satisfied.
Thirdly, we show that Θ satisfies the condition (A3). Since f satisfies the condition (A3) and A is a continuous monotone mapping, for any x,y,z\in C, we have
The condition (A3) is satisfied.
Finally, we show that Θ satisfies the condition (A4) since y\mapsto \u3008yx,Ax\u3009 is convex and continuous; that is, y\mapsto \u3008yx,Ax\u3009 is convex and lower semicontinuous. Since y\mapsto f(x,y) is convex and lower semicontinuous, y\mapsto \mathrm{\Theta}(x,y) is convex and lower semicontinuous.
Therefore, \mathrm{\Theta}(x,y) satisfies the conditions (A1)(A4). From Lemma 2.7, we can conclude that there exists z\in C such that
This completes the proof. □
Lemma 2.11 Let C be a nonempty closed convex subset of a smooth, strictly convex and reflexive Banach space E. Let A:C\to {E}^{\ast} be a continuous and monotone mapping and f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4). Then, for any r>0 and x\in E, there exists z\in C such that
Define a mapping {K}_{r}:C\to C as follows:
Then we have the following:

(1)
{K}_{r} is singlevalued;

(2)
{K}_{r} is firmly nonexpansive, i.e., for all x,y\in E,
\u3008{K}_{r}x{K}_{r}y,J{K}_{r}xJ{K}_{r}y\u3009\le \u3008{K}_{r}x{K}_{r}y,JxJy\u3009; 
(3)
F({K}_{r})=GEP(f,A);

(4)
GEP(f,A) is closed and convex;

(5)
\varphi (p,{K}_{r}z)+\varphi ({K}_{r}z,z)\le \varphi (p,z) for all p\in F({K}_{r}) and z\in E.
Proof Define a bifunction \mathrm{\Theta}:C\times C\to \mathbb{R} by \mathrm{\Theta}(u,y)=f(u,y)+\u3008yu,Au\u3009 for all u,y\in C. From Lemma 2.8, it follows that Θ satisfies the conditions (A1)(A4). Now, we can rewrite the mapping {K}_{r}:C\to C given in (2.4) as follows:
Thus, from Lemmas 2.8 and 2.9, we obtain the conclusion. This completes the proof. □
Throughout this paper, we define a mapping {K}_{{r}_{i}}^{{\mathrm{\Theta}}_{i}}(x):C\to C by
where {\mathrm{\Theta}}_{i}(z,y)={f}_{i}(z,y)+\u3008yz,{A}_{i}z\u3009 for all z,y\in C and i=1,2,3,\dots ,m.
3 Main results
Theorem 3.1 Let C be a nonempty closed and convex subset of a uniformly smooth and strictly convex Banach space E with the KadecKlee property. For any i=1,2,3,\dots ,m, let {f}_{i} be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4) and let \{{A}_{i}\} be a finite family of continuous and monotone mappings from C to {E}^{\ast}. Let {B}_{j}\subset E\times {E}^{\ast} be maximal monotone operators satisfying D({B}_{j})\subset C and {J}_{{\lambda}_{j,n}}^{{B}_{j}}={(J+{\lambda}_{j,n}{B}_{j})}^{1}J for all {\lambda}_{j,n}>0 and j=1,2,\dots ,l. Assume that F:=({\bigcap}_{i=1}^{m}GEP({f}_{i},{A}_{i}))\cap ({\bigcap}_{j=1}^{l}{B}_{j}^{1}0)\ne \mathrm{\varnothing}. For arbitrary {x}_{1}\in C and {C}_{1}=C, generate a sequence \{{x}_{n}\} by
where \{{r}_{i,n}\}\subset [a,\mathrm{\infty}) for some a>0 for all i=1,2,\dots ,m and {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\lambda}_{j,n}>0 for all j=1,2,\dots ,l. Then the sequence \{{x}_{n}\} converges strongly to a point p\in F, where p={\mathrm{\Pi}}_{F}{x}_{1}.
Proof We split the proof into five steps as follows.
Step 1. We first show that {C}_{n+1} is closed and convex for all n\ge 1. Clearly, {C}_{1}=C is closed and convex. Suppose that {C}_{n} is closed and convex for all n\ge 1. Since, for any z\in {C}_{n}, we know that \varphi (z,{u}_{n})\le \varphi (z,{x}_{n}) is equivalent to the following:
Thus {C}_{n+1} is closed and convex for all n\ge 1.
Step 2. We show that F\subset {C}_{n} for all n\ge 1 and \{{x}_{n}\} is well defined. Since F\subset {C}_{1}=C, suppose that F\subset {C}_{n} for some n\ge 1. Let q\in F, from Lemma 2.11 and Lemma 2.5, we have that
This shows that q\in {C}_{n+1}, which implies that F\subset {C}_{n+1}. Hence F\subset {C}_{n} for all n\ge 1. This implies that the sequence \{{x}_{n}\} is well defined.
Step 3. We show that {lim}_{n\to \mathrm{\infty}}\parallel {u}_{n}{x}_{n}\parallel =0 and {lim}_{n\to \mathrm{\infty}}\parallel J{u}_{n}J{x}_{n}\parallel =0. By the definition of {C}_{n+1} with {x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{1} and {x}_{n+1}={\mathrm{\Pi}}_{{C}_{n+1}}{x}_{1}\in {C}_{n+1}\subset {C}_{n}, it follows that
that is, \{\varphi ({x}_{n},{x}_{1})\} is nondecreasing. By Lemma 2.4, we get
This implies that \{\varphi ({x}_{n},{x}_{1})\} is bounded and so {lim}_{n\to \mathrm{\infty}}\varphi ({x}_{n},{x}_{1}) exists. In particular, by (1.4), the sequence \{{(\parallel {x}_{n}\parallel \parallel {x}_{1}\parallel )}^{2}\} is bounded. This implies \{{x}_{n}\} is also bounded. So, \{{z}_{n}\} and \{{u}_{n}\} are also bounded. Since E is reflexive and {C}_{n} is closed and convex, without loss of generality, we may assume that there exists p\in {C}_{n} such that {x}_{n}\rightharpoonup p.
Since {x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{1}, we have
On the other hand, since
it follows that
This implies that {lim}_{n\to \mathrm{\infty}}\varphi ({x}_{n},{x}_{1})=\varphi (p,{x}_{1}). Hence we get \parallel {x}_{n}\parallel \to \parallel p\parallel as n\to \mathrm{\infty}. In view of the KadecKlee property of E, we obtain
Now, we claim that \parallel J{u}_{n}J{x}_{n}\parallel \to 0 as n\to \mathrm{\infty}. By the definition of {\mathrm{\Pi}}_{{C}_{n}}{x}_{1}, it follows that
Since {lim}_{n\to \mathrm{\infty}}\varphi ({x}_{n},{x}_{1}) exists, we obtain
Since {x}_{n+1}={\mathrm{\Pi}}_{{C}_{n+1}}{x}_{1}\in {C}_{n+1}\subset {C}_{n} and the definition of {C}_{n+1}, we have \varphi ({x}_{n+1},{u}_{n})\le \varphi ({x}_{n+1},{x}_{n}). By (3.6) we also have
From (2.2) it follows that
Since J is uniformly normtonorm continuous on bounded subsets of E, it follows that
This implies that \{\parallel J{u}_{n}\parallel \} is bounded in {E}^{\ast}. Note that E is reflexive and {E}^{\ast} is also reflexive, we can assume that J{u}_{n}\rightharpoonup {x}^{\ast}\in {E}^{\ast}. Since E is reflexive, we see that J(E)={E}^{\ast}. Hence there exists x\in E such that Jx={x}^{\ast}, and we have
Taking {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}} on both sides of the equation above, in view of the weak lower semicontinuity of the norm \parallel \cdot \parallel, it follows that
From Remark 2.1 we have p=x, which implies that {x}^{\ast}=Jp, and so J{u}_{n}\rightharpoonup Jp\in {E}^{\ast}. From the KadecKlee property, we have that
Note that {J}^{1}:{E}^{\ast}\to E is normweak^{∗}continuous, that is,
From (3.8), (3.10) and the KadecKlee property of E, it follows that
Since \parallel {x}_{n}{u}_{n}\parallel \le \parallel {x}_{n}p\parallel +\parallel p{u}_{n}\parallel, it follows that
Since J is uniformly normtonorm continuous on bounded subsets of E, we obtain
Step 4. We show that p\in F:=({\bigcap}_{i=1}^{m}GEP({f}_{i},{A}_{i}))\cap ({\bigcap}_{j=1}^{l}{B}_{j}^{1}0). First, we show that p\in {\bigcap}_{i=1}^{m}GEP({f}_{i},{A}_{i}). From (3.2), (3.5) and (3.11), it follows that for any q\in F,
Denote {\mathrm{\Delta}}_{n}^{j}:={J}_{{\lambda}_{j,n}}^{{B}_{j}}\circ {J}_{{\lambda}_{j1,n}}^{{B}_{j1}}\circ \cdots \circ {J}_{{\lambda}_{1,n}}^{{B}_{1}}{x}_{n} for each j=1,2,\dots ,l and {\mathrm{\Delta}}_{n}^{0}=I. We have that {z}_{n}={\mathrm{\Delta}}_{n}^{l}{x}_{n} for all n\ge 1. From Lemma 2.5(1), it follows that
Taking limit as n\to \mathrm{\infty} on both sides of the inequality, we have
From (2.2) it follows that {(\parallel {x}_{n}\parallel \parallel {z}_{n}\parallel )}^{2}\to 0. Since \parallel {x}_{n}\parallel \to \parallel p\parallel, we have
Since J is uniformly normtonorm continuous on bounded subsets of E, it follows that
This implies that \{\parallel J{z}_{n}\parallel \} is bounded in {E}^{\ast} and {E}^{\ast} is reflexive, we can assume that J{z}_{n}\rightharpoonup {z}^{\ast}\in {E}^{\ast}. In view of J(E)={E}^{\ast}, there exists z\in E such that Jz={z}^{\ast}, and so
Taking {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}} on both sides of the equality above and in view of the weak lower semicontinuity of the norm \parallel \cdot \parallel, it follows that
From Remark 2.1, we have p=z, which implies that {z}^{\ast}=Jp and so J{z}_{n}\rightharpoonup Jp\in {E}^{\ast}. From (3.16) and the KadecKlee property of {E}^{\ast}, we have J{z}_{n}\to Jp as n\to \mathrm{\infty}. Note that {J}^{1} is normweak^{∗}continuous, that is, {z}_{n}\rightharpoonup p. From (3.15) and the KadecKlee property of E, we have
For any q\in F, we note that
Thus it follows from \parallel {x}_{n}{u}_{n}\parallel \to 0 and \parallel J{x}_{n}J{u}_{n}\parallel \to 0 that
Denote {\mathrm{\Phi}}_{n}^{i}:={K}_{{r}_{i,n}}^{{\mathrm{\Theta}}_{i}}\circ {K}_{{r}_{i1,n}}^{{\mathrm{\Theta}}_{i1}}\circ \cdots \circ {K}_{{r}_{1,n}}^{{\mathrm{\Theta}}_{1}} for each i=1,2,\dots ,m and {\mathrm{\Phi}}_{n}^{0}=I. We can rewrite {u}_{n} as {u}_{n}={\mathrm{\Phi}}_{n}^{m}{z}_{n}. It follows that for each i=1,2,\dots ,m, we have
From Lemma 2.11(5), for each i=1,2,\dots ,m, we have
From (3.18) it follows that \varphi ({\mathrm{\Phi}}_{n}^{i}{z}_{n},{z}_{n})\to 0 as n\to \mathrm{\infty} for each i=1,2,\dots ,m, and so from (2.2), that
Since \parallel {z}_{n}\parallel \to \parallel p\parallel, we also have, for each i=1,2,\dots ,m,
Since \{{\mathrm{\Phi}}_{n}^{i}{z}_{n}\} is bounded for each i=1,2,\dots ,m and E is reflexive, without loss of generality, we may assume that {\mathrm{\Phi}}_{n}^{i}{z}_{n}\rightharpoonup h for all i=1,2,\dots ,m. From the first step, since {C}_{n} is closed and convex for each n\ge 1, it is obvious that h\in {C}_{n}. Again, since
taking {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}} on both sides of the equality above, we have
This implies that h=p for each i=1,2,\dots ,m, and so
From (3.21), (3.22) and the KadecKlee property, for each i=1,2,\dots ,m, we have
By using the triangle inequality, for each i=1,2,\dots ,m, we obtain
Hence, for each i=1,2,\dots ,m, we have
Since \{{r}_{i,n}\}\subset [a,\mathrm{\infty}) and J is uniformly normtonorm continuous on bounded subsets of E, for each i=1,2,3,\dots ,m, we have
From Lemma 2.11 we have, for each i=1,2,\dots ,m,
where {\mathrm{\Theta}}_{i}({u}_{n},y)={f}_{i}({u}_{n},y)+\u3008y{u}_{n},{A}_{i}{u}_{n}\u3009 for all {u}_{n},y\in C. From the condition (A2), it follows that for each i=1,2,\dots ,m,
From (3.23) and (3.25), for each i=1,2,\dots ,m, we have
For any t\in [0,1] and y\in C, let {y}_{t}=ty+(1t)p. Then we get {y}_{t}\in C. From (3.26) it follows that for each i=1,2,\dots ,m,
By the conditions (A1) and (A4), for each i=1,2,\dots ,m, we have
From the condition (A3), we get
Taking t\to 0 in the equality above, for each i=1,2,\dots ,m, we have
that is, {f}_{i}(p,y)+\u3008yp,{A}_{i}p\u3009\ge 0 for all y\in C and i=1,2,\dots ,m. This implies that p\in GEP({f}_{i},{A}_{i}) for each i=1,2,\dots ,m. Therefore, p\in {\bigcap}_{i=1}^{m}GEP({f}_{i},{A}_{i}).
Next, we show that p\in {\bigcap}_{j=1}^{l}{B}_{j}^{1}0. Let {z}_{n}={\mathrm{\Delta}}_{n}^{l}{x}_{n} for each n\ge 1. For any q\in F, it follows that for each j=1,2,\dots ,l,
By Lemma 2.5 we have, for j=1,2,3,\dots ,m,
Since {x}_{n}\to p and {z}_{n}\to p as n\to \mathrm{\infty}, we get \varphi ({\mathrm{\Delta}}_{n}^{j}{x}_{n},{x}_{n})\to 0 as n\to \mathrm{\infty} for j=1,2,3,\dots ,m. From (2.2) it follows that
Since \parallel {x}_{n}\parallel \to \parallel p\parallel, we also have
This implies that for each j=1,2,3,\dots ,m, \{{\mathrm{\Delta}}_{n}^{j}{x}_{n}\} is bounded and E is reflexive, without loss of generality, we assume that {\mathrm{\Delta}}_{n}^{j}{x}_{n}\rightharpoonup k. We know that {C}_{n} is closed and convex for each n\ge 1, it is obvious that k\in {C}_{n}. Again, since
taking {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}} on both sides of equality above, we have
That is, k=p, \mathrm{\forall}j=1,2,3,\dots ,l, it follows that
From (3.31), (3.32) and the KadecKlee property, it follows that
We also have
It follows that
Since J is uniformly normtonorm continuous on bounded subsets of E and
for each j=1,2,\dots ,l, we have
Let {\mathrm{\Delta}}_{n}^{j}{x}_{n}={J}_{{\lambda}_{j,n}}^{j}{\mathrm{\Delta}}_{n}^{j1}{x}_{n} for each j=1,2,\dots ,l. Then we have
For any (w,{w}^{\ast})\in G({B}_{j}) and ({\mathrm{\Delta}}_{n}^{j}{x}_{n},{A}_{{\lambda}_{j,n}}{\mathrm{\Delta}}_{n}^{j1}{x}_{n})\in G({B}_{j}) for each j=1,2,\dots ,l, it follows from the monotonicity of {B}_{j} that for all n\ge 0,
Letting n\to \mathrm{\infty} in the inequality above, we get \u3008wp,{w}^{\ast}\u3009\ge 0. Since {B}_{j} is maximal monotone for each j=1,2,\dots ,l, we obtain p\in {\bigcap}_{j=1}^{l}{B}_{j}^{1}0.
Step 5. We show that p={\mathrm{\Pi}}_{F}{x}_{1}. From {x}_{n}={\mathrm{\Pi}}_{{C}_{n}}{x}_{1}, we have \u3008J{x}_{1}J{x}_{n},{x}_{n}z\u3009\ge 0 for all z\in {C}_{n}. Since F\subset {C}_{n}, we also have
and so, taking limit n\to \mathrm{\infty}, we get
Therefore, by Lemma 2.3, we can conclude that p={\mathrm{\Pi}}_{F}{x}_{1} and {x}_{n}\to p as n\to \mathrm{\infty}. The proof is completed. □
If i=1 and j=1, we have the following.
Corollary 3.2 Let C be a nonempty closed and convex subset of a uniformly smooth and strictly convex Banach space E with the KadecKlee property. Let f be a bifunction from C\times C to ℝ satisfying the conditions (A1)(A4) and let A:C\to {E}^{\ast} be a continuous and monotone mapping. Let B\subset E\times {E}^{\ast} be a maximal monotone operator satisfying D(B)\subset C and {J}_{{\lambda}_{n}}={(J+{\lambda}_{n}B)}^{1}J for all {\lambda}_{n}>0. Assume that F:=GEP(f,A)\cap {B}^{1}0\ne \mathrm{\varnothing}. For arbitrary {x}_{1}\in C and {C}_{1}=C, generate a sequence \{{x}_{n}\} by
where \{{r}_{n}\}\subset [a,\mathrm{\infty}) for some a>0 and {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\lambda}_{n}>0. Then the sequence \{{x}_{n}\} converges strongly to a point p\in F, where p={\mathrm{\Pi}}_{F}{x}_{1}.
4 Applications
In this section, we apply our result to find a common solution of the variational inequality problems and zeros of the maximal operators.
We need the following lemma for our result, which is a special case of Lemmas 2.8 and 2.9 of [24].
Lemma 4.1 (Zegeye and Shahzad [16])
Let C be a closed convex subset of a uniformly smooth, strictly convex real Banach space E. Let A:C\to {E}^{\ast} be a continuous monotone mapping. For any r>0 and x\in E, define a mapping {T}_{r}:E\to C as follows:
Then we have the following:

(1)
{T}_{r} is singlevalued;

(2)
{T}_{r} is a firmly nonexpansivetype mapping, i.e., for any x,y\in E,
\u3008{T}_{r}x{T}_{r}y,J{T}_{r}xJ{T}_{r}y\u3009\le \u3008{T}_{r}x{T}_{r}y,JxJy\u3009; 
(3)
F({T}_{r})=VI(C,A);

(4)
VI(C,A) is closed and convex;

(5)
\varphi (p,{T}_{r}x)+\varphi ({T}_{r}x,x)\le \varphi (p,x) for any p\in F({T}_{r}).
Theorem 4.2 Let C be a nonempty closed and convex subset of a uniformly smooth and strictly convex Banach space E with the KadecKlee property. For each i=1,2,\dots ,m, let \{{A}_{i}\} be a finite family of continuous and monotone mappings C\to {E}^{\ast}. For {r}_{n}>0 and x\in E, define a mapping {T}_{{r}_{i,n}}:E\to C by
Let B\subset E\times {E}^{\ast} be a maximal monotone operator satisfying D(B)\subset C and {J}_{{\lambda}_{j,n}}^{{B}_{j}}={(J+{\lambda}_{j,n}{B}_{j})}^{1}J for all \lambda >0 and j=1,2,\dots ,l. Assume that F:=({\bigcap}_{i=1}^{m}VI(C,{A}_{i}))\cap ({\bigcap}_{j=1}^{l}{B}_{j}^{1}0)\ne \mathrm{\varnothing}. For an initial point {x}_{1}\in E with {C}_{1}=C, define the sequence \{{x}_{n}\} in C as follows:
where \{{r}_{i,n}\}\subset [a,\mathrm{\infty}) for some a>0 for all i=1,2,\dots ,m and {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\lambda}_{j,n}>0 for all j=1,2,\dots ,l. Then the sequence \{{x}_{n}\} converges strongly to a point p\in F, where p={\mathrm{\Pi}}_{F}{x}_{1}.
Proof Taking {f}_{i}({u}_{n},y)=0 for all i=1,2,\dots ,m in Theorem 3.1, we can get the desired conclusion. □
By Theorem 4.2, if we set {B}_{j}\equiv 0 for each j=1,2,\dots ,l, we obtain the following.
Corollary 4.3 Let C be a nonempty closed and convex subset of a uniformly smooth and strictly convex Banach space E with the KadecKlee property. For any i=1,2,\dots ,m, let \{{A}_{i}\} be a finite family of continuous and monotone mappings C\to {E}^{\ast}. Assume that F:={\bigcap}_{i=1}^{m}VI(C,{A}_{i})\ne \mathrm{\varnothing}. For an initial point {x}_{1}\in E with {C}_{1}=C, define the sequence \{{x}_{n}\} in C as follows:
where \{{r}_{i,n}\}\subset [a,\mathrm{\infty}) for some a>0 for each i=1,2,\dots ,m. Then the sequence \{{x}_{n}\} converges strongly to a point p\in F, where p={\mathrm{\Pi}}_{F}{x}_{1}.
Remark 4.4 Corollary 4.3 extends and improves the result of Zegeye and Shahzad [16] to a common solution of the variational inequality problems.
References
Takahashi W: Nonlinear Functional Analysis: Fixed Point Theory and Its Application. YokohamaPublishers, Yokohama; 2000.
Reich S: A weak convergence theorem for the alternating method with Bregman distance. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:313–318.
Kohsaka F, Takahashi W: Strong convergence of an iterative sequence for maximal monotone operator in Banach spaces. Abstr. Appl. Anal. 2004, 3: 239–249.
Takahashi W: Introduction to Nonlinear and Convex Analysis. YokohamaPublishers, Yokohama; 2009.
Rockafellar RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
Kim JK: Strong convergence theorems by hybrid projection methods for equilibriums problems and fixed point problems of the asymptotically quasi ϕ nonexpansive mappings. Fixed Point Theory Appl. 2011., 2011: Article ID 10
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. 2010., 2010: Article ID 357120
Saewan S, Kumam P: A hybrid iterative scheme for a maximal monotone operator and two countable families of relatively quasinonexpansive mappings for generalized mixed equilibrium and variational inequality problems. Abstr. Appl. Anal. 2010., 2010: Article ID 123027
Saewan S, Kumam P: The shrinking projection method for solving generalized equilibrium problem and common fixed points for asymptotically quasi ϕ nonexpansive mappings. Fixed Point Theory Appl. 2011., 2011: Article ID 9
Saewan S, Kumam P: Strong convergence theorems for countable families of uniformly quasi ϕ asymptotically nonexpansive mappings and a system of generalized mixed equilibrium problems. Abstr. Appl. Anal. 2011., 2011: Article ID 701675
Saewan S, Kumam P: A modified hybrid projection method for solving generalized mixed equilibrium problems and fixed point problems in Banach spaces. Comput. Math. Appl. 2011, 62: 1723–1735.
Shehu Y: Iterative approximation of zeroes of monotone operators and system of generalized mixed equilibrium problems. Optim. Lett. 2011. doi:10.1007/s11590–011–0343x
Takahashi W, Zembayashi K: Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings. Fixed Point Theory Appl. 2008., 2008: Article ID 528476
Li Y, Su Y: Strong convergence theorem by a new hybrid method for equilibrium problems and variational inequality problems. Nonlinear Anal. 2010, 72: 847–855. 10.1016/j.na.2009.07.037
Zegeye H, Shahzad N: Approximating common solution of variational inequality problems for two monotone mappings in Banach spaces. Optim. Lett. 2011. doi:10.1007/s11590–010–0235–5
Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht; 1990.
Alber YI, Reich S: An iterative method for solving a class of nonlinear operator equations in Banach spaces. Panam. Math. J. 1994, 4: 39–54.
Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartsatos AG. Dekker, New York; 1996:15–50.
Kamimura S, Takahashi W: Strong convergence of a proximaltype algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X
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. 2009, 225: 20–30. 10.1016/j.cam.2008.06.011
Kohsaka F, Takahashi W: Existence and approximation of fixed points of firmly nonexpansive type mappings in Banach spaces. SIAM J. Optim. 2008, 19: 824–835. 10.1137/070688717
Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 1970, 149: 75–88. 10.1090/S00029947197002822725
Takahashi W, Zembayashi K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 2009, 70: 45–57. 10.1016/j.na.2007.11.031
Acknowledgements
This work was supported by Thaksin University Research Fund and was also supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant Number: 20120008170).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Saewan, S., Kumam, P. & Cho, Y.J. Convergence theorems for finding zero points of maximal monotone operators and equilibrium problems in Banach spaces. J Inequal Appl 2013, 247 (2013). https://doi.org/10.1186/1029242X2013247
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013247