Abstract
In this paper, we investigate common solutions to a family of mixed equilibrium problems with a relaxed η-α-monotone mapping and a nonlinear operator equation involving an infinite family of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense. Strong convergence theorems of common solutions are established in a strictly convex and uniformly smooth Banach space. These results extend many important recent ones in the literature.
Similar content being viewed by others
1 Introduction
It is well known that equilibrium problems and mixed equilibrium problems have been important tools for solving problems arising in the fields of linear or nonlinear programming, complementary problems, optimization problems, variational inequalities, fixed point problems and in certain applications to economics, physics, mechanics and engineering sciences, etc. One of the most significant topics in the theory of equilibria is to develop effective and implementable algorithms for solving equilibrium problems and mixed equilibrium problems (see, e.g., [1–13] and the references therein).
The aim of this paper is to present an iterative method for solving solutions of a family of mixed equilibrium problems with a relaxed η-α-monotone mapping and a nonlinear operator equation involving an infinite family of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense.
The organization of this paper is as follows. In Section 2, we provide some necessary preliminaries. In Section 3, an iterative algorithm is presented. A strong convergence theorem is established in a reflexive Banach space. Some results in Hilbert spaces are also discussed.
2 Preliminaries
In this paper, without other specifications, let \(N^{+}\) and \(\mathbb{R}\) be the sets of positive integers and real numbers, respectively, C be a nonempty, closed, and convex subset of a real reflexive Banach space E with the dual space \(E^{*}\). The norm and the dual pair between \(E^{*}\) and E are denoted by \(\|\cdot\|\) and \(\langle\cdot,\cdot\rangle\), respectively. Recall that the normalized duality mapping J from E to \(2^{E^{*}}\) is defined by \(Jx=\{x^{*}\in E^{*}:\langle x,x^{*}\rangle =\|x\|^{2}=\|x^{*}\|^{2}\}\).
Recall that E is said to be strictly convex if \(\|\frac{x+y}{2}\|<1\) for all \(x,y\in E\) with \(\|x\|=\|y\|=1\) and \(x\neq y\). It is said to be uniformly convex if \(\lim_{n\to\infty}\|x_{n}-y_{n}\|=0\) for any two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in E such that \(\|x_{n}\|=\|y_{n}\|=1\) and \(\lim_{n\to\infty}\|\frac{x_{n}+y_{n}}{2}\|=1\). Let \(U=\{x\in E:\|x\|=1\}\) be the unit sphere of E. A Banach space E is said to be smooth provided \(\lim_{t\to0}\frac{\|x+ty\|-\|x\|}{t}\) exists for each \(x,y\in U\). It is said to be uniformly smooth if the limit is attained uniformly for \(x,y\in E\). It is well known that if E is uniformly smooth, then J is uniformly norm-to-norm continuous on each bounded subset of E and E is uniformly smooth if and only if \(E^{*}\) is uniformly convex.
In the paper, we use → and ⇀ to denote the strong convergence and weak convergence, respectively. Recall that a Banach space E enjoys the Kadec-Klee property if for any sequence \(\{x_{n}\} \subset E\), and \(x\in E\) with \(x_{n}\rightharpoonup x\), and \(\|x_{n}\|\to \|x\|\), then \(\|x_{n}-x\|\to0\) as \(n\to\infty\) (see, e.g., [14] and the references therein). It is well known that if E is a uniformly convex Banach space, then E enjoys the Kadec-Klee property.
As we all know, if C is a nonempty closed convex subset of a Hilbert space H and \(P_{C}:H\to C\) is the metric projection of H onto C, then \(P_{C}\) is nonexpansive. This fact actually characterizes Hilbert spaces and consequently, it is not available in more general Banach spaces. In this connection, recently, Alber [15] introduced a generalized projection operator \(\Pi_{C}\) in a Banach space E which is an analog of the metric projection in Hilbert spaces.
Next, we assume that E is a smooth Banach space. Let \(\phi:E\times E\to\mathbb{R}\) be a function defined by
Observe that, in a Hilbert space H, (2.1) is reduced to \(\phi (x,y)=\|x-y\|^{2}\) for all \(x,y\in H\). Recall that the generalized projection \(\Pi_{C}:E\to C\) is a mapping that assigns to an arbitrary point \(x\in E\) the minimum point of the functional \(\phi(x,y)\); that is, \(\Pi_{C}x=\hat{x}\), where x̂ is a solution to the minimization problem
the existence and uniqueness of the operator \(\Pi_{C}\) follow from the properties of the functional \(\phi(x,y)\) and strict monotonicity of the mapping J (see, e.g., [14, 15]). In Hilbert spaces, \(\Pi_{C}=P_{C}\). It is obvious from the definition of function ϕ that
and
Remark 2.1
If E is a smooth, strictly convex, and reflexive Banach space, then \(\phi(x,y)=0\) if and only if \(x=y\) (see [14, 15] and the references therein).
In [16], Fang and Huang introduced a concept called a relaxed η-α-monotone mapping. A mapping \(A:C\to E^{*}\) is said to be relaxed η-α-monotone if there exists a mapping \(\eta :C\times C\to E\) and a function \(\alpha:E\to\mathbb{R}\) with \(\alpha (tz)=t^{p}\alpha(z)\) for all \(t>0\) and \(z\in E\), where \(p>1\) is a constant, such that
Especially, if \(\eta(x,y)=x-y\) for all \(x,y\in C\) and \(\alpha (z)=k\|z\|^{p}\), where \(p>1\) and \(k>1\) are two constants, then A is said to be p-monotone (see, e.g., [17–19]). They proved that, under some suitable assumptions, the following variational inequality is solvable: find \(x\in C\) such that
where f is a function from C to \(\mathbb{R}\cup\{\infty\}\). They also proved that the variational inequality (2.5) is equivalent to the following: find \(x\in C\) such that
Recently, in [5], Chen et al. studied the following mixed equilibrium problem: find \(x\in C\) such that
Here Θ is a bifunction from \(C\times C\) to \(\mathbb{R}\), \(f:C\times C\to\mathbb{R}\cup\{+\infty\}\) is a proper convex function, \(A:C\to E^{*}\) is a relaxed η-α-monotone mapping and η is a mapping from \(C\times C\) to E. Denote the set of solutions of the problem (2.7) by \(EP(\Theta,A)\), i.e.,
Special cases: (I) If \(A=0\), then the problem (2.7) is equivalent to find \(x\in C\) such that
This is called the mixed equilibrium problem. Denote the set of solutions of (2.8) by \(MEP(\Theta,f)\).
(II) If \(A=0\), \(f=0\), then the problem (2.7) is equivalent to find \(x\in C\) such that
This is called the equilibrium problem. Denote the set of solutions of (2.9) by \(EP(\Theta)\).
(III) If \(\Theta=0\), then the problem (2.7) is equivalent to the variational inequality (2.5) and (2.6). Denote the set of solutions of (2.5) and (2.6) by Ω.
In order to solve the equilibrium problem, the bifunction Θ is usually to be assumed that following conditions are satisfied:
-
(C1)
\(\Theta(x,x)=0\) for all \(x\in C\);
-
(C2)
Θ is monotone; that is, \(\Theta(x,y)+\Theta(y,x)\leq0\) for all \(x,y\in C\);
-
(C3)
for all \(x,y,z\in C\), \(\limsup_{t\downarrow0}\Theta (tz+(1-t)x,y)\leq\Theta(x,y)\);
-
(C4)
for all \(x\in C\), \(\Theta(x,\cdot)\) is convex and lower semicontinuous.
Let C be a nonempty subset of E and let \(T:C\to C\) be a mapping. In this paper, we use \(F(T)\) to denote the fixed point set of T. T is said to be asymptotically regular on C if for any bounded subset K of C, \(\lim_{n\to+\infty}\sup_{x\in K}\|T^{n+1}x-T^{n}x\|=0\). T is said to be closed if for any sequence \(\{x_{n}\}\subset C\) such that \(\lim_{n\to\infty}x_{n}=x_{0}\) and \(\lim_{n\to\infty}Tx_{n}=y_{0}\), then \(Tx_{0}=y_{0}\).
Recall that a point p in C is said to be an asymptotic fixed point of T [20] if C contains a sequence \(\{x_{n}\}\) which converges weakly to p such that \(\lim_{n\to\infty}\|x_{n}-Tx_{n}\|=0\). The set of asymptotic fixed points of T will be denoted by \(\widetilde{F}(T)\).
A mapping T is said to be relatively nonexpansive if
A mapping T is said to be relatively asymptotically nonexpansive if
where \(\{\mu_{n}\}\subset[0,\infty)\) is a sequence such that \(\mu_{n}\to0\) as \(n\to\infty\).
Remark 2.2
The class of relatively asymptotically nonexpansive mappings was first considered in [21] (see also, [22] and the reference therein).
Recall that a mapping T is said to be quasi-ϕ-nonexpansive if
Recall that a mapping T is said to be asymptotically quasi-ϕ-nonexpansive if there exists a sequence \(\{\mu_{n}\}\subset[0,\infty)\) with \(\mu_{n}\to0\) as \(n\to\infty\) such that
Remark 2.3
The class of quasi-ϕ-nonexpansive mappings was first considered in [23]. The class of asymptotically quasi-ϕ-nonexpansive mappings that was studied in [24] and [25] includes the class of quasi-ϕ-nonexpansive mappings as a special cases.
Remark 2.4
The class of quasi-ϕ-nonexpansive mappings and the class of asymptotically quasi-ϕ-nonexpansive mappings are more general than the class of relatively nonexpansive mappings and the class of relatively asymptotically nonexpansive mappings which require the strong restriction that \(\widetilde{F}(T)=F(T)\).
Remark 2.5
The class of quasi-ϕ-nonexpansive mappings and the class of asymptotically quasi-ϕ-nonexpansive mappings are generalizations of the class of quasi-nonexpansive mappings and the class of asymptotically quasi-nonexpansive mappings in Banach spaces.
Recall that T is said to be asymptotically quasi-ϕ-nonexpansive in the intermediate sense if \(F(T)\neq\emptyset\) and the following inequality holds:
Putting
it follows that \(\xi_{n}\to0\) as \(n\to\infty\). Then (2.10) is reduced to the following:
Remark 2.6
The class of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense was first considered by Qin and Wang in [26].
The following Example 2.1 and Example 2.2 show that there is an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense with the nonempty fixed point set which is not ϕ-nonexpansive mapping.
Example 2.1
Let \(E=R^{1}=\{x\mid |x|<+\infty\}\) and \(C=[0,1]\). Define the following mapping \(T:C\to C\) by
Then \(F(T)=\{0\}\) (≠∅), E is a Hilbert space and \(\phi(\cdot ,\cdot)\) is reduced to \(\phi(x,y)=|x-y|^{2}\) for all \(x,y\in E\). We also have the following:
Let \(x_{0}=\frac{1}{2}\), \(y_{0}=\frac{1}{2}+\frac{1}{2^{5}}\in C=[0,1]\), then
These imply that T is an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense which is not ϕ-nonexpansive mapping. In fact, we may prove that T is an asymptotically ϕ-nonexpansive mapping in the intermediate sense.
Example 2.2
Let \(E=l^{2}\) and \(C=\{x\in l^{2} \mid \|x\|\leq1\}\), where \(l^{2}= \{\sigma=(\sigma_{1},\sigma_{2},\ldots,\sigma _{n},\ldots) \mid \sum_{n=1}^{+\infty}|\sigma_{n}|^{2}<+\infty \}\). \(\|\sigma\|= (\sum_{n=1}^{+\infty}|\sigma_{n}|^{2} )^{\frac{1}{2}}\), \(\forall\sigma=(\sigma _{1},\sigma_{2},\ldots,\sigma_{n},\ldots)\in l^{2}\); \(\langle\sigma,\eta\rangle =\sum_{n=1}^{+\infty}\sigma_{n}\eta_{n}\), \(\forall\sigma=(\sigma_{1},\sigma _{2},\ldots,\sigma_{n},\ldots)\), \(\eta=(\eta_{1},\eta_{2},\ldots,\eta_{n},\ldots )\in l^{2}\).
Let \(T:C\to C\) be a mapping defined by
where \(\{a_{j}\}\) is a sequence in \((0,1)\) such that \(\prod_{j=2}^{+\infty }a_{j}=\frac{1}{2}\).
It is proved in Goebel and Kirk [27] that
-
(i)
\(\|Tx-Ty\|\leq2\|x-y\|\), \(\forall x,y\in C\);
-
(ii)
\(\|T^{n}x-T^{n}y\|\leq(2\prod_{j=2}^{n}a_{j})\|x-y\|\), \(\forall x,y\in C\), \(\forall n\geq2\).
It is clear that \(F(T)=\{0\}\) (≠∅), E is a Hilbert space, \(\phi(x,y)=\|x-y\|^{2}\) for all \(x,y\in E\), and from (i) and (ii), we have
and
Let \(x_{0}=(1,0,0,\ldots)\), \(y_{0}=(\frac{1}{2},0,0,\ldots)\), and \(z_{0}=(-\frac{1}{2},0,0,\ldots)\in C\), then
and
These imply that \(T:C\to C\) is an asymptotically quasi-ϕ-nonexpansive nonlinear mapping in the intermediate sense with the nonempty fixed point set which is not a ϕ-nonexpansive nonlinear mapping.
Remark 2.7
The class of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense is a generalization of the class of asymptotically quasi-nonexpansive mappings in the intermediate sense, which was considered by Kirk [28], in the framework of Banach spaces.
The following lemmas are needed for the proof of our main results in next section.
Lemma 2.1
[15]
Let C be a nonempty closed convex subset of a smooth Banach space E and \(x\in E\). Then \(x_{0}=\Pi_{C}x\) if and only if
Lemma 2.2
[15]
Let E be a reflexive, strictly convex, and smooth Banach space, let C be a nonempty closed convex subset of E and \(x\in E\). Then
Lemma 2.3
[5]
Let E be a strictly convex, uniformly smooth Banach space with the dual space \(E^{*}\) and let C be a nonempty closed convex subset of E. Let \(A:C\to E^{*}\) be an η-hemicontinuous and relaxed η-α-monotone mapping, let Θ be a bifunction from \(C\times C\) to \(\mathbb{R}\) satisfying (C1), (C2), and (C4), and let f be a proper convex function from \(C\times C\) to \(\mathbb{R}\cup\{+\infty\}\). Let \(r>0\) and define a mapping \(T_{r}:E\to C\) as follows:
for all \(x\in E\). Assume that
-
(i)
\(\eta(x,y)+\eta(y,x)=0\), for all \(x,y\in C\);
-
(ii)
for any fixed \(u,v\in C\), the mapping \(x\mapsto\langle Av,\eta (x,u)\rangle\) is convex and lower semicontinuous;
-
(iii)
\(\alpha:E\to\mathbb{R}\) is weakly lower semicontinuous; that is, for any net \(\{x_{\beta}\}\), \(x_{\beta}\) converges to x in \(\sigma (E,E^{*})\) implying that \(\alpha(x)\leq\liminf\alpha(x_{\beta})\);
-
(iv)
for any \(x,y\in C\), \(\alpha(x-y)+\alpha(y-x)\geq0\);
-
(v)
\(\langle A(tz_{1}+(1-t)z_{2}),\eta(y,tz_{1}+(1-t)z_{2})\rangle\geq t\langle Az_{1},\eta(y,z_{1})\rangle+(1-t)\langle Az_{2},\eta(y,z_{2})\rangle\), for any \(z_{1},z_{2},y\in C\) and \(t\in[0,1]\).
Then the following hold:
-
(1)
\(T_{r}\) is single-valued;
-
(2)
\(T_{r}\) is a firmly nonexpansive-type mapping; that is, for all \(x,y\in E\),
$$\langle T_{r}x-T_{r}y,JT_{r}x-JT_{r}y \rangle\leq\langle T_{r}x-T_{r}y,Jx-Jy\rangle; $$ -
(3)
\(F(T_{r})=EP(\Theta,A)\);
-
(4)
\(T_{r}\) is quasi-ϕ-nonexpansive satisfying \(\phi(w,T_{r}x)+\phi (T_{r}x,x)\leq\phi(w,x)\) for all \(w\in F(T_{r})\) and \(x\in E\);
-
(5)
\(EP(\Theta,A)\) is closed and convex.
Lemma 2.4
[29]
Let E be an uniformly convex Banach space, and let \(r>0\). Then there exists a strictly increasing, continuous, and convex function \(g:[0,2r]\to\mathbb{R}\) such that \(g(0)=0\) and
for all \(x_{1},x_{2},\ldots,x_{N},\ldots\in B_{r}:=\{x\in E:\|x\|\leq r\}\) and \(\alpha_{1},\alpha_{2},\ldots,\alpha_{N},\ldots\in[0,1]\) such that \(\sum_{i=1}^{\infty}\alpha_{i}=1\).
3 Main results
Theorem 3.1
Let E be a strictly convex, and uniformly smooth Banach space such that E has the Kadec-Klee property. Let C be a nonempty closed and convex subset of E and let △ be an index set. Let \(A:C\to E^{*}\) be an η-hemicontinuous and relaxed η-α-monotone mapping, let \(\Theta_{j}\) be a bifunction from \(C\times C\) to \(\mathbb{R}\) satisfying (C1)-(C4) for every \(j\in \triangle\), and let f be a proper convex and lower semicontinuous function from \(C\times C\) to \(\mathbb{R}\cup\{+\infty\}\). Let \(T_{i}:C\to C\) be an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense for every \(i\geq1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\cap \bigcap_{j\in\triangle}EP(\Theta_{j},A)\) is nonempty and bounded. Also assume that the conditions (i)-(v) in Lemma 2.3 and the following condition hold:
-
(vi)
for all \(x,y,z,w\in C\),
$$\limsup_{t\downarrow0}\bigl\langle Az,\eta\bigl(x,ty+(1-t)w\bigr)\bigr\rangle \leq\bigl\langle Az,\eta(x,w)\bigr\rangle . $$
Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\phi (p,T_{i}^{n}x)-\phi(p,x))\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\), \(\{r_{n,j}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty}\alpha _{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\Pi_{F}x_{1}\), where \(\Pi_{F}\) is the generalized projection from E onto F.
Proof
The proof is split into the following six steps.
Step 1. We first show that F is closed and convex.
From Theorem 3.1 in [26], we see that \(\bigcap_{i=1}^{\infty}F(T_{i})\) is closed and convex, which combines with Lemma 2.3 shows that the common element set F is closed and convex.
Step 2. Next, we show that \(C_{n}\) is closed and convex for each \(n\geq1\).
It suffices to show, for any fixed but arbitrary \(j\in\triangle\), that \(C_{n,j}\) is closed and convex. This can be proved by induction on n. It is obvious that \(C_{1,i}=C\) is closed and convex. Assume that \(C_{h,j}\) is closed and convex for some \(h\geq1\). We next prove that \(C_{h+1,j}\) is closed and convex for the same h. This completes the proof that \(C_{n}\) is closed and convex. It is clear that \(C_{h+1,j}\) is closed. We only prove the convexity. Indeed, \(\forall a_{1},a_{2}\in C_{h+1,j}\), we see that \(a_{1},a_{2}\in C_{h,j}\), and
and
Notice that the two inequalities above are equivalent to the following inequalities, respectively:
and
These imply that
Since \(C_{h,j}\) is convex, we see that \(ta_{1}+(1-t)a_{2}\in C_{h,j}\). Notice that the above inequality is equivalent to
It follows that \(C_{h+1,j}\) is convex. This in turn implies that \(C_{n}\) is closed and convex for all \(n\geq1\).
Step 3. We prove that \(F\subset C_{n}\) for each \(n\geq1\).
It suffices to claim that \(F\subset C_{n,j}\) for every \(j\in\triangle\). In fact, it is obvious that \(F\subset C_{1,j}=C\). Suppose that \(F\subset C_{h,j}\) for some \(h\geq1\) and for every \(j\in\triangle\). On the other hand, since \(T_{r_{n,j}}\) is quasi-ϕ-nonexpansive, according to Lemma 2.3(4), we have, for any \(w\in F\subset C_{h,j}\),
which shows that \(w\in C_{h+1,j}\). This implies that \(F\subset C_{n,j}\) for all \(n\geq1\) and for every \(j\in\triangle\). Therefore we obtain \(F\subset C_{n}\). This in turn shows that the sequence \(\{x_{n}\}\) generated by the algorithm (3.1) is well defined.
Step 4. Next, we prove that the sequence \(\{x_{n}\}\) is bounded.
Observe that \(x_{n}=\Pi_{C_{n}}x_{1}\), we find from Lemma 2.1 that \(\langle x_{n}-z,Jx_{1}-Jx_{n}\rangle\geq0\) for each \(z\in C_{n}\). Since \(F\subset C_{n}\), we know that
It then follows from Lemma 2.2 that
This shows that the sequence \(\{\phi(x_{n},x_{1})\}\) is bounded. We can know from (2.3) that the sequence \(\{x_{n}\}\) is also bounded.
Step 5. Now we show that \(x_{n}\to x^{*}\), where \(x^{*}\in F\) as \(n\to\infty\).
Note that E is an uniformly smooth Banach space, it follows from the uniformly convexity of \(E^{*}\) that the space E is reflexive. Since \(\{ x_{n}\}\) is bounded, we may assume that \(x_{n}\rightharpoonup x^{*}\). Since \(C_{n}\) is closed and convex, we see that \(x^{*}\in C_{n}\). On the other hand, we see from the weakly lower semicontinuity of \(\|\cdot\|\) that
from which it follows that \(\lim_{n\to\infty}\phi(x_{n},x_{1})=\phi (x^{*},x_{1})\). Hence, we obtain
In view of the Kadec-Klee property of E, we see that \(x_{n}\to x^{*}\) as \(n\to\infty\). Next, we show that \(x^{*}\in F\).
(a) First we prove that \(x^{*}\in\bigcap_{i=1}^{\infty}F(T_{i})\).
Since \(x_{n}=\Pi_{C_{n}}x_{1}\) and \(x_{n+1}=\Pi_{C_{n+1}}x_{1}\in C_{n+1}\subset C_{n}\), we find that \(\phi(x_{n},x_{1})\leq\phi(x_{n+1},x_{1})\), which shows that \(\{\phi(x_{n},x_{1})\}\) is nondecreasing. From the boundedness, \(\lim_{n\to\infty}\phi(x_{n},x_{1})\) exists. By \(x_{n+1}=\Pi _{C_{n+1}}x_{1}\in C_{n+1}\subset C_{n}\), we have
It follows that
In the light of \(x_{n+1}=\Pi_{C_{n+1}}x_{1}\in C_{n+1}\), we arrive at
This in turn implies from (3.4) that
From (2.3), we see that \(\lim_{n\to\infty}(\|x_{n+1}\|-\|u_{n,j}\|)=0\). This in turn implies that
It follows that
This implied that \(\{Ju_{n,j}\}\) is bounded. Since both E and \(E^{*}\) are reflexive, we may assume that \(Ju_{n,j}\rightharpoonup u^{*,j}\in E^{*}\). In view of the reflexivity of E, we see that \(J(E)=E^{*}\). This implies that there exists an element \(u^{j}\in E\) such that \(Ju^{j}=u^{*,j}\). It follows that
Taking \(\liminf_{n\to\infty}\) on the both sides of the equality above yields
That is, \(x^{*}=u^{j}\), which shows that \(u^{*,j}=Jx^{*}\). It follows that \(Ju_{n,j}\rightharpoonup Jx^{*}\in E^{*}\). In view of the Kadec-Klee property of \(E^{*}\), we have from (3.5) that \(\lim_{n\to\infty }Ju_{n,j}=Jx^{*}\). In view of the demicontinuity of \(J^{-1}:E^{*}\to E\) and the Kadec-Klee property of E, we have \(u_{n,j}\to x^{*}\), as \(n\to \infty\). Note that
It follows that
Since J is uniformly norm-to-norm continuous on any bounded set, we have
On the other hand, we have
From (3.6) and (3.7), we obtain
Since E is uniformly smooth, we see that \(E^{*}\) is uniformly convex. We find from Lemma 2.4 that
It follows that
By the restriction on the sequences, we find from (3.8) that
It follows that
Notice that \(\|JT_{i}^{n}x_{n}-Jx^{*}\|\leq\|JT_{i}^{n}x_{n}-Jx_{n}\|+\|Jx_{n}-Jx^{*}\|\). It follows that
In view of the demicontinuity of \(J^{-1}:E^{*}\to E\), we have \(T_{i}^{n}x_{n}\rightharpoonup x^{*}\). Note that
It follows from (3.9) that \(\lim_{n\to\infty}\|T_{i}^{n}x_{n}\|=\|x^{*}\|\). In view of the Kadec-Klee property of E, we have \(\lim_{n\to\infty }\|T_{i}^{n}x_{n}-x^{*}\|=0\). On the other hand, we have
It follows from the uniformly asymptotic regularity of \(T_{i}\) that
That is, \(T_{i}T_{i}^{n}x_{n}\to x^{*}\). In view of the closedness of \(T_{i}\), we obtain \(x^{*}=T_{i}x^{*}\) for each \(i\geq1\). This proves that \(x^{*}\in\bigcap_{i=1}^{\infty}F(T_{i})\).
(b) Next, we show that \(x^{*}\in\bigcap_{j\in\triangle}EP(\Theta_{j},A)\).
From (3.2), we arrived at \(\phi(w,y_{n})\leq\phi(w,x_{n})+\xi_{n}\). From \(u_{n,j}=T_{r_{n,j}}y_{n}\) and Lemma 2.3(4), one has
Thus, it follows from (3.8) that
From (2.3), we see that \(\lim_{n\to\infty}(\|u_{n,j}\|-\|y_{n}\|)=0\). This in turn implies from (3.6) that
It follows that
This implied that \(\{Jy_{n}\}\) is bounded. Since \(E^{*}\) are reflexive, we may assume that \(Jy_{n}\rightharpoonup v^{*}\in E^{*}\). In view of \(J(E)=E^{*}\), we see that there exists an element \(v\in E\) such that \(Jv=v^{*}\). It follows that
Taking \(\liminf_{n\to\infty}\) on the both sides of the equality above yields
That is, \(x^{*}=v\), which shows that \(v^{*}=Jx^{*}\). It follows that \(Jy_{n}\rightharpoonup Jx^{*}\in E^{*}\). In view of the Kadec-Klee property of \(E^{*}\), we have from (3.10) that \(\lim_{n\to\infty}Jy_{n}=Jx^{*}\). In view of the demicontinuity of \(J^{-1}:E^{*}\to E\) and the Kadec-Klee property of E, we have \(y_{n}\to x^{*}\), as \(n\to\infty\). Note that
It follows that
Since J is uniformly norm-to-norm continuous on any bounded set, we have
Note that
From (C2) and (i), it follows that
Noticing that \(r_{n,j}\geq k>0\) for all \(n\geq1\), it follows from (C4), (ii), (3.11), and (3.12) that
For all \(0< t_{j}\leq1\) and \(y\in C\), define \(y_{t_{j}}=t_{j}y+(1-t_{j})x^{*}\). Noticing that \(x^{*},y\in C\), one obtains \(y_{t_{j}}\in C\), which yields
It follows from (C1), (C4), (i), (ii), the convexity of f, and (3.13) that
That is,
Letting \(t\downarrow0\), it follows from (C3), (vi), and the lower semicontinuity of f that
This implies that \(x^{*}\in\bigcap_{j\in\triangle}EP(\Theta_{j},A)\).
Step 6. Finally, we prove \(x^{*}=\Pi_{F}x_{1}\).
Letting \(n\to\infty\) in (3.3), we obtain
In view of Lemma 2.1, we have \(x^{*}=\Pi_{F}x_{1}\). This completes the proof. □
Remark 3.1
Theorem 3.1 improves and generalizes the main theorem in Chen et al. [5] in the following aspects.
-
(1)
From a quasi-ϕ-nonexpansive mapping to an infinite family of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense.
-
(2)
From a mixed equilibrium problem to a finite family of mixed equilibrium problems.
-
(3)
From a uniformly smooth and uniformly convex Banach space to a uniformly smooth and strictly convex Banach space such that the space has the Kadec-Klee property.
The space in Theorem 3.1 can be applicable to \(L^{P}\), \(P>1\). Now, we give Example 3.1 in order to support Theorem 3.1.
Example 3.1
Let \(E=l^{2}\) and \(C=\{x\in l^{2} \mid \|x\|\leq1\}\), where \(l^{2}= \{\sigma=(\sigma_{1},\sigma_{2},\ldots,\sigma _{n},\ldots) \mid \sum_{n=1}^{+\infty}|\sigma_{n}|^{2}<+\infty \}\). \(\|\sigma\|= (\sum_{n=1}^{+\infty}|\sigma_{n}|^{2} )^{\frac{1}{2}}\), \(\forall\sigma=(\sigma _{1},\sigma_{2},\ldots,\sigma_{n},\ldots)\in l^{2}\); \(\langle\sigma,\eta\rangle =\sum_{n=1}^{+\infty}\sigma_{n}\eta_{n}\), \(\forall\sigma=(\sigma_{1},\sigma _{2},\ldots,\sigma_{n},\ldots)\), \(\eta=(\eta_{1},\eta_{2},\ldots,\eta_{n},\ldots )\in l^{2}\). Set \(x_{0}\in C\) and \(\|x_{0}\|=1\). Define the following a countable family of mappings \(T_{i}:C\to C\) by
for all \(i\in N^{+}\) and \(n\in N^{+}\).
It is clear that \(F(T_{i})=\{0\}\) for all \(i\in N^{+}\), E is a Hilbert space, \(\phi(x,y)=\|x-y\|^{2}\) for all \(x,y\in E\), and
Choose \(i\in N^{+}\), for any \(n\in N^{+}\), we set \(x_{n}=\frac {x_{0}}{2^{n+1}}\), then \(x_{n}\in C\), \(x_{n}\to0\in F(T_{i})=\{0\}\) as \(n\to +\infty\), and
This implies that \(T_{i}:C\to C\) is an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense for every \(i\in N^{+}\). Next, we claim that \(T_{i}\) is not ϕ-nonexpansive mapping for all \(i\in N^{+}\). Indeed, let \(p=\frac{x_{0}}{2}\), \(q=\frac{3x_{0}}{5}\in C\), then
for all \(i\in N^{+}\).
For any bounded subset K of C, we have
This implies that \(\limsup_{n\to+\infty}\sup_{y\in K}\|T_{i}^{n+1}y-T_{i}^{n}y\|=0\), i.e., \(T_{i}\) is an asymptotically regular on C.
For any sequence \(\{y_{n}\}\subseteq C\) such that \(\lim_{n\to+\infty }y_{n}=x^{0}\) and \(\lim_{n\to+\infty}T_{i}y_{n}=y^{0}\), we consider the following two cases:
(1) If the sequence \(y_{n}=\frac{x_{0}}{2^{n}}\) and \(\lim_{n\to+\infty }y_{n}=x^{0}\), then we have \(x^{0}=0\) and
this implies that \(y^{0}=0\) and \(T_{i}x^{0}=-\frac{x^{0}}{i+1}=0=y^{0}\).
(2) If \(y_{n}\neq\frac{x_{0}}{2^{n}}\), \(y_{n}\in C\) and \(\lim_{n\to+\infty }y_{n}=x^{0}\), then it follows from
that \(y^{0}=-\frac{x^{0}}{i+1}\), thus \(T_{i}x^{0}=-\frac{1}{i+1}x^{0}=y^{0}\).
In summary, we can see that \(T_{i}\) is closed for every \(i\in N^{+}\).
Finally, it is obvious that the family \(\{T_{i}\}_{i\in N^{+}}\) satisfies all the aspects of the hypothesis of Theorem 3.1.
For a single mapping and bifunction in Theorem 3.1, we have Corollary 3.1.
Corollary 3.1
Let E be a strictly convex, and uniformly smooth Banach space such that E has the Kadec-Klee property. Let C be a nonempty closed and convex subset of E. Let \(A:C\to E^{*}\) be an η-hemicontinuous and relaxed η-α-monotone mapping, let Θ be a bifunction from \(C\times C\) to \(\mathbb{R}\) satisfying (C1)-(C4), and let f be a proper convex and lower semicontinuous function from \(C\times C\) to \(\mathbb{R}\cup\{+\infty\}\). Let \(T:C\to C\) be an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense. Assume that T is closed asymptotically regular on C and \(F=F(T)\cap EP(\Theta,A)\) is nonempty and bounded. Also assume that the conditions (i)-(v), Lemma 2.3, and the following condition hold:
-
(vi)
for all \(x,y,z,w\in C\), \(\limsup_{t\downarrow0}\langle Az,\eta(x,ty+(1-t)w)\rangle\leq\langle Az,\eta(x,w)\rangle\).
Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\max\{0,\sup_{p\in F(T),x\in C}(\phi(p,T^{n}x)-\phi(p,x))\} \), \(\{\alpha_{n}\}\) is a real number sequences in \((0,1)\), \(\{r_{n}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\liminf_{n\to\infty}\alpha_{n}(1-\alpha_{n})>0\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\Pi_{F}x_{1}\), where \(\Pi _{F}\) is the generalized projection from E onto F.
Remark 3.2
Corollary 3.1 improves and generalizes the main theorem in Chen et al. [5] in the following aspects:
-
(1)
From a quasi-ϕ-nonexpansive mapping to an asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense.
-
(2)
From a uniformly smooth and uniformly convex Banach space to a uniformly smooth and strictly convex Banach space such that the space has the Kadec-Klee property.
Setting \(A\equiv0\) in Theorem 3.1, we have Corollary 3.2.
Corollary 3.2
Let E be a strictly convex, and uniformly smooth Banach space such that E has the Kadec-Klee property. Let C be a nonempty closed and convex subset of E and let △ be an index set. Let \(\Theta_{j}\) be a bifunction from \(C\times C\) to \(\mathbb {R}\) satisfying (C1)-(C4) for every \(j\in\triangle\), and let f be a proper convex and lower semicontinuous function from \(C\times C\) to \(\mathbb{R}\cup\{+\infty\}\). Let \(T_{i}:C\to C\) be an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense for every \(i\geq1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\cap\bigcap_{j\in\triangle}MEP(\Theta _{j},f)\) is nonempty and bounded. Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\phi (p,T_{i}^{n}x)-\phi(p,x))\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\), \(\{r_{n,j}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty}\alpha _{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\Pi_{F}x_{1}\), where \(\Pi_{F}\) is the generalized projection from E onto F.
Setting \(A\equiv0\), \(f\equiv0\) in Theorem 3.1, we have Corollary 3.3.
Corollary 3.3
Let E be a strictly convex, and uniformly smooth Banach space such that E has the Kadec-Klee property. Let C be a nonempty closed and convex subset of E and let △ be an index set. Let \(\Theta_{j}\) be a bifunction from \(C\times C\) to \(\mathbb {R}\) satisfying (C1)-(C4) for every \(j\in\triangle\). Let \(T_{i}:C\to C\) be an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense for every \(i\geq1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\cap \bigcap_{j\in\triangle}EP(\Theta_{j})\) is nonempty and bounded. Let \(\{ x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\phi (p,T_{i}^{n}x)-\phi(p,x))\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\), \(\{r_{n,j}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty}\alpha _{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\Pi_{F}x_{1}\), where \(\Pi_{F}\) is the generalized projection from E onto F.
Remark 3.3
Corollary 3.3 improves the main theorem in Huang and Ma [8] from an equilibrium problem to a family of equilibrium problems.
Setting \(\Theta\equiv0\) in Theorem 3.1, we have Corollary 3.4.
Corollary 3.4
Let E be a strictly convex, and uniformly smooth Banach space such that E has the Kadec-Klee property. Let C be a nonempty closed and convex subset of E. Let \(A:C\to E^{*}\) be an η-hemicontinuous and relaxed η-α-monotone mapping, and let f be a proper convex and lower semicontinuous function from \(C\times C\) to \(\mathbb{R}\cup\{+\infty\}\). Let \(T_{i}:C\to C\) be an asymptotically quasi-ϕ-nonexpansive mapping in the intermediate sense for every \(i\geq1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\cap\Omega\) is nonempty and bounded. Also assume that the conditions (i)-(v), Lemma 2.3, and the following condition hold:
-
(vi)
for all \(x,y,z,w\in C\), \(\limsup_{t\downarrow0}\langle Az,\eta(x,ty+(1-t)w)\rangle\leq\langle Az,\eta(x,w)\rangle\).
Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\phi (p,T_{i}^{n}x)-\phi(p,x))\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\), \(\{r_{n}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty}\alpha _{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\Pi_{F}x_{1}\), where \(\Pi_{F}\) is the generalized projection from E onto F.
Remark 3.4
Corollary 3.4 improves Corollary 15 in Chen et al. [5] from a quasi-ϕ-nonexpansive mapping to an infinite family of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense, from a mixed equilibrium problem to a family of mixed equilibrium problems, and from a uniformly smooth and uniformly convex Banach space to a uniformly smooth and strictly convex Banach space such that the space has the Kadec-Klee property.
Setting E to be a Hilbert space in Corollary 3.3, we have Corollary 3.5.
Corollary 3.5
Let E be a Hilbert space. Let C be a nonempty closed and convex subset of E and let △ be an index set. Let \(\Theta_{j}\) be a bifunction from \(C\times C\) to \(\mathbb{R}\) satisfying (C1)-(C4) for every \(j\in\triangle\). Let \(T_{i}:C\to C\) be an asymptotically quasi-nonexpansive mapping in the intermediate sense for every \(i\geq1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\cap\bigcap_{j\in \triangle}EP(\Theta_{j})\) is nonempty and bounded. Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\|p-T_{i}^{n}x\|^{2}-\|p-x\|^{2})\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\), \(\{r_{n,j}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty }\alpha_{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{ x_{n}\}\) converges strongly to \(\operatorname{Proj}_{F}x_{1}\), where \(\operatorname{Proj}_{F}\) is the metric projection from E onto F.
Proof
Note that \(\phi(x,y)=\|x-y\|^{2}\), \(J=I\), the identity mapping, and the generalized projection is reduced to the metric projection. In the framework of Hilbert spaces, the class of asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense is reduced to the class of asymptotically quasi-nonexpansive mappings in the intermediate sense. By Corollary 3.3, we draw the desired conclusion immediately. □
Remark 3.5
Corollary 3.5 improves Theorem 4.1 in Zhang and Wu [9] from asymptotically quasi-nonexpansive mappings to asymptotically quasi-nonexpansive mappings in the intermediate sense.
Setting \(T_{i}=I\) in Corollary 3.5, we have Corollary 3.6.
Corollary 3.6
Let E be a Hilbert space. Let C be a nonempty closed and convex subset of E and let △ be an index set. Let \(\Theta_{j}\) be a bifunction from \(C\times C\) to \(\mathbb{R}\) satisfying (C1)-(C4) for every \(j\in\triangle\). Assume that \(F=\bigcap_{j\in\triangle}EP(\Theta_{j})\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\{r_{n,j}\}\) is a real number sequence in \([k,\infty)\), where k is some positive real number. Then the sequence \(\{x_{n}\}\) converges strongly to \(\operatorname{Proj}_{F}x_{1}\), where \(\operatorname{Proj}_{F}\) is the metric projection from E onto F.
Setting \(\Theta\equiv0\) in Corollary 3.5, we have Corollary 3.7.
Corollary 3.7
Let E be a Hilbert space. Let C be a nonempty closed and convex subset of E. Let \(T_{i}:C\to C\) be an asymptotically quasi-nonexpansive mapping in the intermediate sense for every \(i\geq 1\). Assume that \(T_{i}\) is closed asymptotically regular on C and \(F=\bigcap_{i=1}^{\infty}F(T_{i})\) is nonempty and bounded. Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\xi_{n}=\sup_{i\in N^{+}}\{0,\sup_{p\in F(T_{i}),x\in C}(\|p-T_{i}^{n}x\|^{2}-\|p-x\|^{2})\}\), \(\{\alpha_{n,i}\}\) is a real number sequence in \((0,1)\) for every \(i\geq1\). Assume that \(\sum_{i=0}^{\infty}\alpha_{n,i}=1\) and \(\liminf_{n\to\infty}\alpha_{n,0}\alpha_{n,i}>0\) for every \(i\geq1\). Then the sequence \(\{x_{n}\}\) converges strongly to \(\operatorname{Proj}_{F}x_{1}\), where \(\operatorname{Proj}_{F}\) is the metric projection from E onto F.
Remark 3.6
Corollary 3.7 improves Corollary 4.3 in Zhang and Wu [9] from asymptotically quasi-nonexpansive mappings to asymptotically quasi-nonexpansive mappings in the intermediate sense.
From Corollary 3.7, we can obtain Corollary 3.8 easily.
Corollary 3.8
Let E be a Hilbert space. Let C be a nonempty, closed, and convex subset of E. Let \(T:C\to C\) be a closed quasi-nonexpansive mapping. Let \(\{x_{n}\}\) be a sequence generated in the following manner:
where \(\{\alpha_{n}\}\) is a real number sequence in \((0,1)\) such that \(\liminf_{n\to\infty}\alpha_{n}(1-\alpha_{n})>0\). Then the sequence \(\{ x_{n}\}\) converges strongly to \(\operatorname{Proj}_{F}x_{1}\), where \(\operatorname{Proj}_{F}\) is the metric projection from E onto F.
Remark 3.7
Corollary 3.8 is a shrinking version of the corresponding results in Nakajo and Takahashi [30]. Note that the mapping in our result is quasi-nonexpansive. The restriction of the demiclosed principal is relaxed.
References
Tada, A, Takahashi, W: Weak and strong convergence theorems for a nonexpansive mapping and an equilibrium problem. J. Optim. Theory Appl. 133, 359-370 (2007)
Takahashi, W, Zembayashi, K: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal., Theory Methods Appl. 70(1), 45-57 (2009)
Qin, XL, Cho, YJ, Kang, SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J. Comput. Appl. Math. 225(1), 20-30 (2009)
Wang, SH, Marino, G, Wang, FH: Strong convergence theorems for a generalized equilibrium problem with a relaxed monotone mapping and a countable family of nonexpansive mappings in a Hilbert space. Fixed Point Theory Appl. 2010, Article ID 230304 (2010)
Chen, MJ, Song, JM, Wang, SH: New mixed equilibrium problems and iterative algorithms for fixed point problems in Banach spaces. J. Appl. Math. 2014, Article ID 193749 (2014)
Yuan, Q, Shang, MJ: Ky Fan inequalities, ϕ-distances, and generalized asymptotically quasi-ϕ-nonexpansive mappings. J. Fixed Point Theory 2013, 8 (2013)
Yuan, Q, Lv, ST: A strong convergence theorem for solutions of equilibrium problems and asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense. Fixed Point Theory Appl. 2013, Article ID 305 (2013)
Huang, CY, Ma, XY: Some results on asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense and equilibrium problems. J. Inequal. Appl. 2014, Article ID 202 (2014)
Zhang, QN, Wu, HL: Hybrid algorithms for equilibrium and common fixed point problems with applications. J. Inequal. Appl. 2014, Article ID 221 (2014)
Saewan, S, Kumam, P: A hybrid iterative scheme for a maximal monotone operator and two countable families of relatively quasi-nonexpansive mappings for generalized mixed equilibrium and variational inequality problems. Abstr. Appl. Anal. 2010, Article ID 123027 (2010)
Wattanawitoon, K, Kumam, P: Generalized mixed equilibrium problems for maximal monotone operators and two relatively quasi-nonexpansive mappings. Thai J. Math. 9(1), 165-189 (2011)
Petrot, N, Wattanawitoon, K, Kumam, P: A hybrid projection method for generalized mixed equilibrium problems and fixed point problems in Banach spaces. Nonlinear Anal. Hybrid Syst. 4(4), 631-643 (2010)
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, Article ID 357120 (2010)
Cioranescu, I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic, Dordrecht (1990)
Alber, Y: Metric and generalized projection operators in Banach spaces: properties and applications. In: Kartsatos, AG (ed.) Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Dekker, New York (1996)
Fang, YP, Huang, NJ: Variational-like inequalities with generalized monotone mappings in Banach spaces. J. Optim. Theory Appl. 118(2), 327-338 (2003)
Goeleven, D, Motreanu, D: Eigenvalue and dynamic problems for variational and hemivariational inequalities. Commun. Appl. Nonlinear Anal. 3, 1-21 (1996)
Saddqi, AH, Ansari, QH, Kazmi, KR: On nonlinear variational inequalities. Indian J. Pure Appl. Math. 25, 969-973 (1994)
Verma, RU: Nonlinear variational inequalities on convex subsets of Banach spaces. Appl. Math. Lett. 10(4), 25-27 (1997)
Reich, S: A weak convergence theorem for the alternating method with Bregman distance. In: Kartsatos, AG (ed.) Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Dekker, New York (1996)
Agarwal, R, Qin, XL, Cho, YJ: Generalized projection algorithms for nonlinear operators. Numer. Funct. Anal. Optim. 28, 1197-1215 (2007)
Su, YF, Qin, XL: Strong convergence of modified Ishikawa iterations for nonlinear mappings. Proc. Indian Acad. Sci. Math. Sci. 117, 97-107 (2007)
Qin, XL, Cho, YJ, Kang, SM: Convergence theorems of common elements for equilibrium problems and fixed point problems in Banach spaces. J. Comput. Appl. Math. 225, 20-30 (2009)
Qin, XL, Cho, YJ, Kang, SM: On hybrid projection methods for asymptotically quasi-ϕ-nonexpansive mappings. Appl. Math. Comput. 215, 3874-3883 (2010)
Zhou, HY, Gao, G, Tan, B: Convergence theorems of a modified hybrid algorithm for a family of quasi-ϕ-asymptotically nonexpansive mappings. J. Appl. Math. Comput. 32, 453-464 (2010)
Qin, XL, Wang, L: On asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense. Abstr. Appl. Anal. 2012, Article ID 636217 (2012)
Goebel, K, Kirk, WA: A fixed point theorems for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)
Kirk, WA: Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type. Isr. J. Math. 17, 339-346 (1974)
Hao, Y: Some weak convergence theorems for a family of asymptotically nonexpansive nonself mappings. Fixed Point Theory Appl. 2010, Article ID 218573 (2010)
Nakajo, K, Takahashi, W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 279, 372-379 (2003)
Acknowledgements
The research of the first author was partially supported by the National Natural Science Foundation of China (Grant No. 10971194). The research of the third author was partially supported by the grant MOST 104-2115-M-037-001.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
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 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ni, RX., Jin, JS. & Wen, CF. Strong convergence theorems for equilibrium problems and asymptotically quasi-ϕ-nonexpansive mappings in the intermediate sense. Fixed Point Theory Appl 2015, 161 (2015). https://doi.org/10.1186/s13663-015-0404-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0404-4