 Research
 Open access
 Published:
Iterative common solutions for monotone inclusion problems, fixed point problems and equilibrium problems
Fixed Point Theory and Applications volume 2012, Article number: 181 (2012)
Abstract
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \alpha >0, and let A be an αinverse stronglymonotone mapping of C into H. Let T be a generalized hybrid mapping of C into H. Let B and W be maximal monotone operators on H such that the domains of B and W are included in C. Let 0<k<1, and let g be a kcontraction of H into itself. Let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator with \overline{\gamma}>0 and L>0. Take \mu ,\gamma \in \mathbb{R} as follows:
Suppose that F(T)\cap {(A+B)}^{1}0\cap {W}^{1}0\ne \mathrm{\varnothing}, where F(T) and {(A+B)}^{1}0, {W}^{1}0 are the set of fixed points of T and the sets of zero points of A+B and W, respectively. In this paper, we prove a strong convergence theorem for finding a point {z}_{0} of F(T)\cap {(A+B)}^{1}0\cap {W}^{1}0, where {z}_{0} is a unique fixed point of {P}_{F(T)\cap {(A+B)}^{1}0\cap {W}^{1}0}(IV+\gamma g). This point {z}_{0}\in F(T)\cap {(A+B)}^{1}0\cap {W}^{1}0 is also a unique solution of the variational inequality
Using this result, we obtain new and wellknown strong convergence theorems in a Hilbert space. In particular, we solve a problem posed by Kurokawa and Takahashi (Nonlinear Anal. 73:15621568, 2010).
MSC:47H05, 47H10, 58E35.
1 Introduction
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let ℕ and ℝ be the sets of positive integers and real numbers, respectively. A mapping T:C\to H is called generalized hybrid [1] if there exist \alpha ,\beta \in \mathbb{R} such that
for all x,y\in C. We call such a mapping an (α, β)generalized hybrid mapping. Kocourek, Takahashi and Yao [1] proved a fixed point theorem for such mappings in a Hilbert space. Furthermore, they proved a nonlinear mean convergence theorem of Baillon’s type [2] in a Hilbert space. Notice that the mapping above covers several wellknown mappings. For example, an (α, β)generalized hybrid mapping T is nonexpansive for \alpha =1 and \beta =0, i.e.,
It is also nonspreading [3, 4] for \alpha =2 and \beta =1, i.e.,
Furthermore, it is hybrid [5] for \alpha =\frac{3}{2} and \beta =\frac{1}{2}, i.e.,
We can also show that if x=Tx, then for any y\in C,
and hence \parallel xTy\parallel \le \parallel xy\parallel. This means that an (α, β)generalized hybrid mapping with a fixed point is quasinonexpansive. The following strong convergence theorem of Halpern’s type [6] was proved by Wittmann [7]; see also [8].
Theorem 1 Let C be a nonempty closed convex subset of H, and let T be a nonexpansive mapping of C into itself with F(T)\ne \mathrm{\varnothing}. For any {x}_{1}=x\in C, define a sequence \{{x}_{n}\} in C by
where \{{\alpha}_{n}\}\subset (0,1) satisfies
Then \{{x}_{n}\} converges strongly to a fixed point of T.
Kurokawa and Takahashi [9] also proved the following strong convergence theorem for nonspreading mappings in a Hilbert space; see also Hojo and Takahashi [10] for generalized hybrid mappings.
Theorem 2 Let C be a nonempty closed convex subset of a real Hilbert space H. Let T be a nonspreading mapping of C into itself. Let u\in C and define two sequences \{{x}_{n}\} and \{{z}_{n}\} in C as follows: {x}_{1}=x\in C and
for all n=1,2,\dots, where \{{\alpha}_{n}\}\subset (0,1), {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0 and {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}. If F(T) is nonempty, then \{{x}_{n}\} and \{{z}_{n}\} converge strongly to Pu, where P is the metric projection of H onto F(T).
Remark We do not know whether Theorem 1 for nonspreading mappings holds or not; see [9] and [10].
In this paper, we provide a strong convergence theorem for finding a point {z}_{0} of F(T)\cap {(A+B)}^{1}0\cap {W}^{1}0 such that it is a unique fixed point of
and a unique solution of the variational inequality
where T, A, B, W, g and V denote a generalized hybrid mapping of C into H, an αinverse stronglymonotone mapping of C into H with \alpha >0, maximal monotone operators on H such that the domains of B and W are included in C, a kcontraction of H into itself with 0<k<1 and a \overline{\gamma}strongly monotone and LLipschitzian continuous operator with \overline{\gamma}>0 and L>0, respectively. Using this result, we obtain new and wellknown strong convergence theorems in a Hilbert space. In particular, we solve a problem posed by Kurokawa and Takahashi [9].
2 Preliminaries
Let H be a real Hilbert space with inner product \u3008\cdot ,\cdot \u3009 and norm , respectively. When \{{x}_{n}\} is a sequence in H, we denote the strong convergence of \{{x}_{n}\} to x\in H by {x}_{n}\to x and the weak convergence by {x}_{n}\rightharpoonup x. We have from [11] that for any x,y\in H and \lambda \in \mathbb{R},
and
Furthermore, we have that for x,y,u,v\in H,
All Hilbert spaces satisfy Opial’s condition, that is,
if {x}_{n}\rightharpoonup u and u\ne v; see [12]. Let C be a nonempty closed convex subset of a Hilbert space H, and let T:C\to H be a mapping. We denote by F(T) the set of fixed points for T. A mapping T:C\to H is called quasinonexpansive if F(T)\ne \mathrm{\varnothing} and \parallel Txy\parallel \le \parallel xy\parallel for all x\in C and y\in F(T). If T:C\to H is quasinonexpansive, then F(T) is closed and convex; see [13]. For a nonempty closed convex subset C of H, the nearest point projection of H onto C is denoted by {P}_{C}, that is, for all x\in H and y\in C. Such {P}_{C} is called the metric projection of H onto C. We know that the metric projection {P}_{C} is firmly nonexpansive; for all x,y\in H. Furthermore, \u3008x{P}_{C}x,y{P}_{C}x\u3009\le 0 holds for all x\in H and y\in C; see [14]. The following result is in [15].
Lemma 3 Let H be a Hilbert space, and let C be a nonempty closed convex subset of H. Let T:C\to H be a generalized hybrid mapping. Suppose that there exists \{{x}_{n}\}\subset C such that {x}_{n}\rightharpoonup z and {x}_{n}T{x}_{n}\to 0. Then z\in F(T).
Let B be a mapping of H into {2}^{H}. The effective domain of B is denoted by D(B), that is, D(B)=\{x\in H:Bx\ne \mathrm{\varnothing}\}. A multivalued mapping B is said to be a monotone operator on H if \u3008xy,uv\u3009\ge 0 for all x,y\in D(B), u\in Bx, and v\in By. A monotone operator B on H is said to be maximal if its graph is not properly contained in the graph of any other monotone operator on H. For a maximal monotone operator B on H and r>0, we may define a singlevalued operator {J}_{r}={(I+rB)}^{1}:H\to D(B), which is called the resolvent of B for r. We denote by {A}_{r}=\frac{1}{r}(I{J}_{r}) the Yosida approximation of B for r>0. We know from [8] that
Let B be a maximal monotone operator on H, and let {B}^{1}0=\{x\in H:0\in Bx\}. It is known that {B}^{1}0=F({J}_{r}) for all r>0 and the resolvent {J}_{r} is firmly nonexpansive, i.e.,
We also know the following lemma from [16].
Lemma 4 Let H be a real Hilbert space, and let B be a maximal monotone operator on H. For r>0 and x\in H, define the resolvent {J}_{r}x. Then the following holds:
for all s,t>0 and x\in H.
From Lemma 4, we have that
for all \lambda ,\mu >0 and x\in H; see also [14, 17]. To prove our main result, we need the following lemmas.
Let \{{s}_{n}\} be a sequence of nonnegative real numbers, let \{{\alpha}_{n}\} be a sequence of [0,1] with {\sum}_{n=1}^{\mathrm{\infty}}{\alpha}_{n}=\mathrm{\infty}, let \{{\beta}_{n}\} be a sequence of nonnegative real numbers with {\sum}_{n=1}^{\mathrm{\infty}}{\beta}_{n}<\mathrm{\infty}, and let \{{\gamma}_{n}\} be a sequence of real numbers with {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\gamma}_{n}\le 0. Suppose that
for all n=1,2,\dots. Then {lim}_{n\to \mathrm{\infty}}{s}_{n}=0.
Lemma 6 ([20])
Let \{{\mathrm{\Gamma}}_{n}\} be a sequence of real numbers that does not decrease at infinity in the sense that there exists a subsequence \{{\mathrm{\Gamma}}_{{n}_{i}}\} of \{{\mathrm{\Gamma}}_{n}\} which satisfies {\mathrm{\Gamma}}_{{n}_{i}}<{\mathrm{\Gamma}}_{{n}_{i}+1} for all i\in \mathbb{N}. Define the sequence {\{\tau (n)\}}_{n\ge {n}_{0}} of integers as follows:
where {n}_{0}\in \mathbb{N} such that \{k\le {n}_{0}:{\mathrm{\Gamma}}_{k}<{\mathrm{\Gamma}}_{k+1}\}\ne \mathrm{\varnothing}. Then the following hold:

(i)
\tau ({n}_{0})\le \tau ({n}_{0}+1)\le \cdots and \tau (n)\to \mathrm{\infty};

(ii)
{\mathrm{\Gamma}}_{\tau (n)}\le {\mathrm{\Gamma}}_{\tau (n)+1} and {\mathrm{\Gamma}}_{n}\le {\mathrm{\Gamma}}_{\tau (n)+1}, \mathrm{\forall}n\in \mathbb{N}.
3 Strong convergence theorems
Let H be a real Hilbert space. A mapping g:H\to H is a contraction if there exists k\in (0,1) such that \parallel g(x)g(y)\parallel \le k\parallel xy\parallel for all x,y\in H. We call such a mapping g a kcontraction. A nonlinear operator V:H\to H is called strongly monotone if there exists \overline{\gamma}>0 such that \u3008xy,VxVy\u3009\ge \overline{\gamma}{\parallel xy\parallel}^{2} for all x,y\in H. Such V is also called \overline{\gamma}strongly monotone. A nonlinear operator V:H\to H is called Lipschitzian continuous if there exists L>0 such that \parallel VxVy\parallel \le L\parallel xy\parallel for all x,y\in H. Such V is also called LLipschitzian continuous. We know the following three lemmas in a Hilbert space; see Lin and Takahashi [21].
Lemma 7 ([21])
Let H be a Hilbert space, and let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator on H with \overline{\gamma}>0 and L>0. Let t>0 satisfy 2\overline{\gamma}>t{L}^{2} and 1>2t\overline{\gamma}. Then 0<1t(2\overline{\gamma}t{L}^{2})<1 and ItV:H\to H is a contraction, where I is the identity operator on H.
Lemma 8 ([21])
Let H be a Hilbert space, and let C be a nonempty closed convex subset of H. Let {P}_{C} be the metric projection of H onto C, and let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator on H with \overline{\gamma}>0 and L>0. Let t>0 satisfy 2\overline{\gamma}>t{L}^{2} and 1>2t\overline{\gamma}, and let z\in C. Then the following are equivalent:

(1)
z={P}_{C}(ItV)z;

(2)
\u3008Vz,yz\u3009\ge 0, \mathrm{\forall}y\in C;

(3)
z={P}_{C}(IV)z.
Such z\in C always exists and is unique.
Lemma 9 ([21])
Let H be a Hilbert space, and let g:H\to H be a kcontraction with 0<k<1. Let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator on H with \overline{\gamma}>0 and L>0. Let a real number γ satisfy 0<\gamma <\frac{\overline{\gamma}}{k}. Then V\gamma g:H\to H is a (\overline{\gamma}\gamma k)strongly monotone and (L+\gamma k)Lipschitzian continuous mapping. Furthermore, let C be a nonempty closed convex subset of H. Then {P}_{C}(IV+\gamma g) has a unique fixed point {z}_{0} in C. This point {z}_{0}\in C is also a unique solution of the variational inequality
Now, we prove the following strong convergence theorem of Halpern’s type [6] for finding a common solution of a monotone inclusion problem for the sum of two monotone mappings, of a fixed point problem for generalized hybrid mappings and of an equilibrium problem for bifunctions in a Hilbert space.
Theorem 10 Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \alpha >0, and let A be an αinverse stronglymonotone mapping of C into H. Let B and W be maximal monotone operators on H such that the domains of B and W are included in C. Let {J}_{\lambda}={(I+\lambda B)}^{1} and {T}_{r}={(I+rW)}^{1} be resolvents of B and W for \lambda >0 and r>0, respectively. Let S be a generalized hybrid mapping of C into H. Let 0<k<1, and let g be a kcontraction of H into itself. Let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator with \overline{\gamma}>0 and L>0. Take \mu ,\gamma \in \mathbb{R} as follows:
Suppose F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0\ne \mathrm{\varnothing}. Let {x}_{1}=x\in H, and let \{{x}_{n}\}\subset H be a sequence generated by
for all n\in \mathbb{N}, where \{{\alpha}_{n}\}\subset (0,1), \{{\beta}_{n}\}\subset (0,1), \{{\lambda}_{n}\}\subset (0,\mathrm{\infty}) and \{{r}_{n}\}\subset (0,\mathrm{\infty}) satisfy
Then \{{x}_{n}\} converges strongly to {z}_{0}\in F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0, where {z}_{0} is a unique fixed point in F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0 of {P}_{F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0}(IV+\gamma g).
Proof Let z\in F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0. We have that z=Sz, z={J}_{{\lambda}_{n}}(I{\lambda}_{n}A)z and z={T}_{{r}_{n}}z. Putting {w}_{n}={J}_{{\lambda}_{n}}(I{\lambda}_{n}A){T}_{{r}_{n}}{x}_{n} and {u}_{n}={T}_{{r}_{n}}{x}_{n}, we obtain that
Put \tau =\overline{\gamma}\frac{{L}^{2}\mu}{2}. Using {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, we have that for any x,y\in H,
Since 1{\alpha}_{n}\tau >0, we obtain that for any x,y\in H,
Putting {y}_{n}={\alpha}_{n}\gamma g({x}_{n})+(I{\alpha}_{n}V)S{J}_{{\lambda}_{n}}(I{\lambda}_{n}A){T}_{{r}_{n}}{x}_{n}, from z={\alpha}_{n}Vz+z{\alpha}_{n}Vz, (3.1) and (3.3) we have that
Using this, we get
Putting K=max\{\parallel {x}_{1}z\parallel ,\frac{\parallel \gamma g(z)Vz\parallel}{\tau \gamma k}\}, we have that \parallel {x}_{n}z\parallel \le K for all n\in \mathbb{N}. Then \{{x}_{n}\} is bounded. Furthermore, \{{u}_{n}\}, \{{w}_{n}\} and \{{y}_{n}\} are bounded. Using Lemma 9, we can take a unique {z}_{0}\in F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0 such that
From the definition of \{{x}_{n}\}, we have that
and hence
Thus, we have that
From (2.3) and (3.1), we have that
From (3.4) and (3.5), we also have that
Furthermore, using (2.3) and (3.6), we have that
Setting {\mathrm{\Gamma}}_{n}={\parallel {x}_{n}{z}_{0}\parallel}^{2}, we have that
Noting that
we have that
Thus, we have from (3.7) and (3.9) that
and hence
We divide the proof into two cases.
Case 1: Suppose that {\mathrm{\Gamma}}_{n+1}\le {\mathrm{\Gamma}}_{n} for all n\in \mathbb{N}. In this case, {lim}_{n\to \mathrm{\infty}}{\mathrm{\Gamma}}_{n} exists and then {lim}_{n\to \mathrm{\infty}}({\mathrm{\Gamma}}_{n+1}{\mathrm{\Gamma}}_{n})=0. Using 0<{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\beta}_{n}\le {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\beta}_{n}<1 and {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0, we have from (3.10) that
Using (3.8), we also have that
Since {x}_{n+1}{x}_{n}=(1{\beta}_{n})({y}_{n}{x}_{n}), we have from (3.12) that
We also have from (2.6) that
and hence
From (3.1) we have that
and hence
where M=sup\{\parallel {x}_{n}{z}_{0}\parallel +\parallel S{w}_{n}{z}_{0}\parallel :n\in \mathbb{N}\}. Thus, from (3.11) we have that
We show {lim}_{n\to \mathrm{\infty}}\parallel S{w}_{n}{w}_{n}\parallel =0. Since {\parallel \cdot \parallel}^{2} is a convex function, we have that
From {z}_{0}={\alpha}_{n}V{z}_{0}+{z}_{0}{\alpha}_{n}V{z}_{0} and (2.1), we also have that
Using (3.16) and (3.17), we have that
Thus, we have that
Then we have that
Since {J}_{{\lambda}_{n}} is firmly nonexpansive, we have that
Thus, we get
Using (3.17), we obtain
from which it follows that
Then we have
From (3.22) and (3.15), we have that
Since \parallel S{w}_{n}{w}_{n}\parallel \le \parallel S{w}_{n}{x}_{n}\parallel +\parallel {x}_{n}{w}_{n}\parallel, we have that
Take {\lambda}_{0}\in \mathbb{R} with 0<a\le {\lambda}_{0}\le b<2\alpha arbitrarily. Put {s}_{n}=(I{\lambda}_{n}A){u}_{n}. Using {u}_{n}={T}_{{r}_{n}}{x}_{n} and {w}_{n}={J}_{{\lambda}_{n}}(I{\lambda}_{n}A){u}_{n}, we have from Lemma 4 that
We also have from (3.25) that
We will use (3.25) and (3.26) later.
Let us show that {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}\u3008(V\gamma g){z}_{0},{x}_{n}{z}_{0}\u3009\ge 0. Put
Without loss of generality, we may assume that there exists a subsequence \{{x}_{{n}_{i}}\} of \{{x}_{n}\} such that A={lim}_{i\to \mathrm{\infty}}\u3008(V\gamma g){z}_{0},{x}_{{n}_{i}}{z}_{0}\u3009 and \{{x}_{{n}_{i}}\} converges weakly to some point w\in H. From \parallel {x}_{n}{w}_{n}\parallel \to 0 and \parallel {x}_{n}{u}_{n}\parallel \to 0, we also have that \{{w}_{{n}_{i}}\} and \{{u}_{{n}_{i}}\} converge weakly to w\in C. On the other hand, from \{{\lambda}_{{n}_{i}}\}\subset [a,b] there exists a subsequence \{{\lambda}_{{n}_{{i}_{j}}}\} of \{{\lambda}_{{n}_{i}}\} such that {\lambda}_{{n}_{{i}_{j}}}\to {\lambda}_{0} for some {\lambda}_{0}\in [a,b]. Without loss of generality, we assume that {w}_{{n}_{i}}\to w, {u}_{{n}_{i}}\to w and {\lambda}_{{n}_{i}}\to {\lambda}_{0}. From (3.24) we know {lim}_{n\to \mathrm{\infty}}\parallel S{w}_{n}{w}_{n}\parallel =0. Thus, we have from Lemma 3 that w=Sw. Since W is a monotone operator and \frac{{x}_{{n}_{i}}{u}_{{n}_{i}}}{{r}_{{n}_{i}}}\in W{u}_{{n}_{i}}, we have that for any (u,v)\in W,
Since {lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{r}_{n}>0, {u}_{{n}_{i}}\rightharpoonup w and {x}_{{n}_{i}}{u}_{{n}_{i}}\to 0, we have
Since W is a maximal monotone operator, we have 0\in Ww and hence w\in {W}^{1}0. Since {\lambda}_{{n}_{i}}\to {\lambda}_{0}, we have from (3.25) that
Furthermore, we have from (3.26) that
Since {J}_{{\lambda}_{0}}(I{\lambda}_{0}A) is nonexpansive, we have that w={J}_{{\lambda}_{0}}(I{\lambda}_{0}A)w. This means that 0\in Aw+Bw. Thus, we have
Then we have
Since {y}_{n}{z}_{0}={\alpha}_{n}(\gamma g({x}_{n})V{z}_{0})+(I{\alpha}_{n}V)S{w}_{n}(I{\alpha}_{n}V){z}_{0}, we have
Thus, we have
Consequently, we have that
By (3.27) and Lemma 5, we obtain that {x}_{n}\to {z}_{0}, where
Case 2: Suppose that there exists a subsequence \{{\mathrm{\Gamma}}_{{n}_{i}}\}\subset \{{\mathrm{\Gamma}}_{n}\} such that {\mathrm{\Gamma}}_{{n}_{i}}<{\mathrm{\Gamma}}_{{n}_{i}+1} for all i\in \mathbb{N}. In this case, we define \tau :\mathbb{N}\to \mathbb{N} by
Then we have from Lemma 6 that {\mathrm{\Gamma}}_{\tau (n)}<{\mathrm{\Gamma}}_{\tau (n)+1}. Thus, we have from (3.10) that for all n\in \mathbb{N},
Using {lim}_{n\to \mathrm{\infty}}{\alpha}_{n}=0 and 0<{lim\hspace{0.17em}inf}_{n\to \mathrm{\infty}}{\beta}_{n}\le {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}{\beta}_{n}<1, we have from (3.28) and Lemma 6 that
As in the proof of Case 1, we also have that
and
Furthermore, we have that {lim}_{n\to \mathrm{\infty}}\parallel {u}_{\tau (n)}{x}_{\tau (n)}\parallel =0, {lim}_{n\to \mathrm{\infty}}\parallel A{u}_{\tau (n)}A{z}_{0}\parallel =0, and . From these we have that {lim}_{n\to \mathrm{\infty}}\parallel S{w}_{\tau (n)}{w}_{\tau (n)}\parallel =0. As in the proof of Case 1, we can show that
We also have that
and hence
From {\mathrm{\Gamma}}_{\tau (n)}<{\mathrm{\Gamma}}_{\tau (n)+1}, we have that
Since (1{\beta}_{\tau (n)}){\alpha}_{\tau (n)}>0, we have that
Thus, we have that
and hence \parallel {x}_{\tau (n)}{z}_{0}\parallel \to 0 as n\to \mathrm{\infty}. Since {x}_{\tau (n)}{x}_{\tau (n)+1}\to 0, we have \parallel {x}_{\tau (n)+1}{z}_{0}\parallel \to 0 as n\to \mathrm{\infty}. Using Lemma 6 again, we obtain that
as n\to \mathrm{\infty}. This completes the proof. □
4 Applications
In this section, using Theorem 10, we can obtain wellknown and new strong convergence theorems in a Hilbert space. Let H be a Hilbert space, and let f be a proper lower semicontinuous convex function of H into (\mathrm{\infty},\mathrm{\infty}]. Then the subdifferential ∂f of f is defined as follows:
for all x\in H. From Rockafellar [22], we know that ∂f is a maximal monotone operator. Let C be a nonempty closed convex subset of H, and let {i}_{C} be the indicator function of C, i.e.,
Then, {i}_{C} is a proper lower semicontinuous convex function on H. So, we can define the resolvent {J}_{\lambda} of \partial {i}_{C} for \lambda >0, i.e.,
for all x\in H. We know that {J}_{\lambda}x={P}_{C}x for all x\in H and \lambda >0; see [11].
Theorem 11 Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let S be a generalized hybrid mapping of C into C. Suppose F(S)\ne \mathrm{\varnothing}. Let u,{x}_{1}\in C, and let \{{x}_{n}\}\subset C be a sequence generated by
for all n\in \mathbb{N}, where \{{\beta}_{n}\}\subset (0,1) and \{{\alpha}_{n}\}\subset (0,1) satisfy
and
Then the sequence \{{x}_{n}\} converges strongly to {z}_{0}\in F(S), where {z}_{0}={P}_{F(S)}u.
Proof Put A=0, B=W=\partial {i}_{C} and {\lambda}_{n}={r}_{n}=1 for all n\in \mathbb{N} in Theorem 10. Then we have {J}_{{\lambda}_{n}}={T}_{{r}_{n}}={P}_{C} for all n\in \mathbb{N}. Furthermore, put g(x)=u and V(x)=x for all x\in H. Then we can take \overline{\gamma}=L=1. Thus, we can take \mu =1. On the other hand, since \parallel g(x)g(y)\parallel =0\le \frac{1}{3}\parallel xy\parallel for all x,y\in H, we can take k=\frac{1}{3}. So, we can take \gamma =1. Then for u,{x}_{1}\in C, we get that
for all n\in \mathbb{N}. So, we have \{{x}_{n}\}\subset C. We also have
Thus, we obtain the desired result by Theorem 10. □
Theorem 11 solves the problem posed by Kurokawa and Takahashi [9]. The following result is a strong convergence theorem of Halpern’s type [6] for finding a common solution of a monotone inclusion problem for the sum of two monotone mappings, of a fixed point problem for nonexpansive mappings and of an equilibrium problem for bifunctions in a Hilbert space.
Theorem 12 Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let \alpha >0, and let A be an αinverse stronglymonotone mapping of C into H. Let B and W be maximal monotone operators on H such that the domains of B and W are included in C. Let {J}_{\lambda}={(I+\lambda B)}^{1} and {T}_{r}={(I+rW)}^{1} be resolvents of B and W for \lambda >0 and r>0, respectively. Let S be a nonexpansive mapping of C into H. Let 0<k<1, and let g be a kcontraction of H into itself. Let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator with \overline{\gamma}>0 and L>0. Take \mu ,\gamma \in \mathbb{R} as follows:
Suppose F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0\ne \mathrm{\varnothing}. Let {x}_{1}=x\in H, and let \{{x}_{n}\}\subset H be a sequence generated by
for all n\in \mathbb{N}, where \{{\alpha}_{n}\}\subset (0,1), \{{\beta}_{n}\}\subset (0,1), \{{\lambda}_{n}\}\subset (0,\mathrm{\infty}) and \{{r}_{n}\}\subset (0,\mathrm{\infty}) satisfy
Then the sequence \{{x}_{n}\} converges strongly to {z}_{0}\in F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0, where {z}_{0}={P}_{F(S)\cap {(A+B)}^{1}0\cap {W}^{1}0}(IV+\gamma g){z}_{0}.
Proof We know that a nonexpansive mapping T of C into H is a (1,0)generalized hybrid mapping. So, we obtain the desired result by Theorem 10. □
Let f:C\times C\to \mathbb{R} be a bifunction. The equilibrium problem (with respect to C) is to find \stackrel{\u02c6}{x}\in C such that
The set of such solutions \stackrel{\u02c6}{x} is denoted by EP(f), i.e.,
For solving the equilibrium problem, let us assume that the bifunction f:C\times C\to \mathbb{R} 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 all x,y,z\in C,
(A4) for all x\in C, f(x,\cdot ) is convex and lower semicontinuous.
The following lemmas were given in Combettes and Hirstoaga [23] and Takahashi, Takahashi and Toyoda [16]; see also [24, 25].
Lemma 13 ([23])
Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Assume that f:C\times C\to \mathbb{R} satisfies (A1)(A4). For r>0 and x\in H, define a mapping {T}_{r}:H\to C as follows:
for all x\in H. Then the following hold:

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

(2)
{T}_{r} is a firmly nonexpansive mapping, i.e., for all x,y\in H,
{\parallel {T}_{r}x{T}_{r}y\parallel}^{2}\le \u3008{T}_{r}x{T}_{r}y,xy\u3009; 
(3)
F({T}_{r})=EP(f);

(4)
EP(f) is closed and convex.
We call such {T}_{r} the resolvent of f for r>0.
Lemma 14 ([16])
Let H be a Hilbert space, and let C be a nonempty closed convex subset of H. Let f:C\times C\to \mathbb{R} satisfy (A1)(A4). Let {A}_{f} be a setvalued mapping of H into itself defined by
Then EP(f)={A}_{f}^{1}0 and {A}_{f} is a maximal monotone operator with D({A}_{f})\subset C. Furthermore, for any x\in H and r>0, the resolvent {T}_{r} of f coincides with the resolvent of {A}_{f}, i.e.,
Using Lemmas 13, 14 and Theorem 10, we also obtain the following result for generalized hybrid mappings of C into H with equilibrium problem in a Hilbert space; see also [26–28].
Theorem 15 Let H be a real Hilbert space, and let C be a nonempty closed convex subset of H. Let S be a generalised hybrid mapping of C into H. Let f be a bifunction of C\times C into ℝ satisfying (A1)(A4). Let 0<k<1, and let g be a kcontraction of H into itself. Let V be a \overline{\gamma}strongly monotone and LLipschitzian continuous operator of H into itself with \overline{\gamma}>0 and L>0. Take \mu ,\gamma \in \mathbb{R} as follows:
Suppose that F(S)\cap EP(f)\ne \mathrm{\varnothing}. Let {x}_{1}=x\in H, and let \{{x}_{n}\}\subset H be a sequence generated by
for all n\in \mathbb{N}, where \{{\beta}_{n}\}\subset (0,1), \{{\alpha}_{n}\}\subset (0,1) and \{{r}_{n}\}\subset (0,\mathrm{\infty}) satisfy
Then the sequence \{{x}_{n}\} converges strongly to {z}_{0}\in F(S)\cap EP(f), where {z}_{0}={P}_{F(S)\cap EP(f)}(IV+\gamma g){z}_{0}.
Proof Put A=0 and B=\partial {i}_{C} in Theorem 10. Furthermore, for the bifunction f:C\times C\to \mathbb{R}, define {A}_{f} as in Lemma 14. Put W={A}_{f} in Theorem 10, and let {T}_{{r}_{n}} be the resolvent of {A}_{f} for {r}_{n}>0. Then we obtain that the domain of {A}_{f} is included in C and {T}_{{r}_{n}}{x}_{n}={u}_{n} for all n\in \mathbb{N}. Thus, we obtain the desired result by Theorem 10. □
References
Kocourek P, Takahashi W, Yao JC: Fixed point theorems and weak convergence theorems for generalized hybrid mappings in Hilbert spaces. Taiwan. J. Math. 2010, 14: 2497–2511.
Baillon JB: Un theoreme de type ergodique pour les contractions non lineaires dans un espace de Hilbert. C. R. Acad. Sci. Paris Ser. AB 1975, 280: 1511–1514.
Kohsaka F, Takahashi W: Existence and approximation of fixed points of firmly nonexpansivetype mappings in Banach spaces. SIAM J. Optim. 2008, 19: 824–835. 10.1137/070688717
Kohsaka F, Takahashi W: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch. Math. 2008, 91: 166–177. 10.1007/s0001300825458
Takahashi W: Fixed point theorems for new nonlinear mappings in a Hilbert space. J. Nonlinear Convex Anal. 2010, 11: 79–88.
Halpern B: Fixed points of nonexpanding maps. Bull. Am. Math. Soc. 1967, 73: 957–961. 10.1090/S000299041967118640
Wittmann R: Approximation of fixed points of nonexpansive mappings. Arch. Math. 1992, 58: 486–491. 10.1007/BF01190119
Takahashi W: Convex Analysis and Approximation of Fixed Points. Yokohama Publishers, Yokohama; 2000. Japanese
Kurokawa Y, Takahashi W: Weak and strong convergence theorems for nonspreading mappings in Hilbert spaces. Nonlinear Anal. 2010, 73: 1562–1568. 10.1016/j.na.2010.04.060
Hojo M, Takahashi W: Weak and strong convergence theorems for generalized hybrid mappings in Hilbert spaces. Sci. Math. Jpn. 2011, 73: 31–40.
Takahashi W: Introduction to Nonlinear and Convex Analysis. Yokohama Publishers, Yokohama; 2009.
Opial Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 1967, 73: 591–597. 10.1090/S000299041967117610
Itoh S, Takahashi W: The common fixed point theory of singlevalued mappings and multivalued mappings. Pac. J. Math. 1978, 79: 493–508. 10.2140/pjm.1978.79.493
Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama; 2000.
Takahashi W, Yao JC, Kocourek K: Weak and strong convergence theorems for generalized hybrid nonselfmappings in Hilbert spaces. J. Nonlinear Convex Anal. 2010, 11: 567–586.
Takahashi S, Takahashi W, Toyoda M: Strong convergence theorems for maximal monotone operators with nonlinear mappings in Hilbert spaces. J. Optim. Theory Appl. 2010, 147: 27–41. 10.1007/s1095701097132
Eshita K, Takahashi W: Approximating zero points of accretive operators in general Banach spaces. Fixed Point Theory Appl. 2007, 2: 105–116.
Aoyama K, Kimura Y, Takahashi W, Toyoda M: Approximation of common fixed points of a countable family of nonexpansive mappings in a Banach space. Nonlinear Anal. 2007, 67: 2350–2360. 10.1016/j.na.2006.08.032
Xu HK: Another control condition in an iterative method for nonexpansive mappings. Bull. Aust. Math. Soc. 2002, 65: 109–113. 10.1017/S0004972700020116
Maingé PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. SetValued Anal. 2008, 16: 899–912. 10.1007/s112280080102z
Lin, LJ, Takahashi, W: A general iterative method for hierarchical variational inequality problems in Hilbert spaces and applications. Positivity. (to appear)
Rockafellar RT: On the maximal monotonicity of subdifferential mappings. Pac. J. Math. 1970, 33: 209–216. 10.2140/pjm.1970.33.209
Combettes PL, Hirstoaga SA: Equilibrium programming in Hilbert spaces. J. Nonlinear Convex Anal. 2005, 6: 117–136.
Aoyama K, Kimura Y, Takahashi W: Maximal monotone operators and maximal monotone functions for equilibrium problems. J. Convex Anal. 2008, 15: 395–409.
Blum E, Oettli W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 1994, 63: 123–145.
Takahashi W, Wong NC, Yao JC: Two generalized strong convergence theorems of Halpern’s type in Hilbert spaces and applications. Taiwan. J. Math. 2012, 16: 1151–1172.
Takahashi S, Takahashi W: Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space. Nonlinear Anal. 2008, 69: 1025–1033. 10.1016/j.na.2008.02.042
Takahashi, W: Strong convergence theorems for maximal and inversestrongly monotone mappings in Hilbert spaces and applications. J. Optim. Theory Appl. (to appear)
Acknowledgements
The first author was partially supported by GrantinAid for Scientific Research No. 23540188 from Japan Society for the Promotion of Science. The second and the third authors were partially supported by the grant Taiwan NSC 992115M110007MY3 and the grant Taiwan NSC 992115M037002MY3, respectively.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All three authors take equal roles in deriving results and writing of this paper.
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
Takahashi, W., Wong, NC. & Yao, JC. Iterative common solutions for monotone inclusion problems, fixed point problems and equilibrium problems. Fixed Point Theory Appl 2012, 181 (2012). https://doi.org/10.1186/168718122012181
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012181