 Research
 Open access
 Published:
A viscosity approximation method for weakly relatively nonexpansive mappings by the sunny nonexpansive retractions in Banach spaces
Journal of Inequalities and Applications volume 2015, Article number: 36 (2015)
Abstract
In this paper, we introduce a new viscosity approximation method by using the shrinking projection algorithm to approximate a common fixed point of a countable family of nonlinear mappings in a Banach space. Under quite mild assumptions, we establish the strong convergence of the sequence generated by the proposed algorithm and provide an affirmative answer to an open problem posed by Maingé (Comput. Math. Appl. 59:7479, 2010) for quasinonexpansive mappings. In contrast with related processes, our method does not require any demiclosedness principle condition imposed on the involved operators belonging to the wide class of quasinonexpansive operators. As an application, we also introduce an iterative algorithm for finding a common element of the set of common fixed points of an infinite family of quasinonexpansive mappings and the set of solutions of a mixed equilibrium problem in a real Banach space. We prove a strong convergence theorem by using the proposed algorithm under some suitable conditions. Our results improve and generalize many known results in the current literature.
1 Introduction
Throughout this paper, the set of real numbers and the set of positive integers are denoted by ℝ and ℕ, respectively. Let E be a Banach space with the norm \(\\cdot\\) and the dual space \(E^{*}\). When \(\{x_{n}\}_{n\in\Bbb{N}}\) is a sequence in the Banach space E, we denote the strong convergence of \(\{x_{n}\}_{n\in\Bbb{N}}\) to \(x\in E\) by \(x_{n}\to x\) and the weak convergence by \(x_{n}\rightharpoonup x\). For any sequence \(\{x_{n}^{*}\}_{n\in\Bbb{N}}\) in \(E^{*}\), we denote the strong convergence of \(\{x_{n}^{*}\}_{n\in\Bbb{N}}\) to \(x^{*}\in E^{*}\) by \(x_{n}^{*}\to x^{*}\), the weak convergence by \(x_{n}^{*}\rightharpoonup x^{*}\) and the weakstar convergence by \(x_{n}^{*}\rightharpoonup^{*} x^{*}\). The modulus of convexity of a Banach space E is defined by
for every ϵ with \(0\leq\epsilon\leq2\). A Banach space E is said to be uniformly convex if \(\delta(\epsilon)>0\) for every \(\epsilon>0\). Let \(S_{E}=\{x\in E:\x\=1\}\). The norm of E is said to be Gâteaux differentiable if for each \(x,y\in S_{E}\), the limit
exists. In this case, E is called smooth. If the limit (1.1) is attained uniformly in \(x,y\in S_{E}\), then E is called uniformly smooth. The Banach space E is said to be strictly convex if \(\\frac{x+y}{2}\<1\) whenever \(x,y\in S_{E}\) and \(x\neq y\). It is well known that E is uniformly convex if and only if \(E^{*}\) is uniformly smooth. It is also known that if E is reflexive, then E is strictly convex if and only if \(E^{*}\) is smooth; for more details, see [1]. The normalized duality mapping \(J:E\to2^{E^{*}}\) is defined by
If a Banach space E admits a sequentially continuous duality mapping J from weak topology to weakstar topology, then J is singlevalued and also E is smooth; see for more details [2]. In this case, the normalized duality mapping J is said to be weakly sequentially continuous, i.e., if \(\{x_{n}\}_{n\in\Bbb{N}}\subset E\) is a sequence with \(x_{n}\rightharpoonup x\in E\), then \(J(x_{n})\rightharpoonup^{*}J(x)\) [2]. A Banach space E is said to satisfy the Opial property [3] if for any weakly convergent sequence \(\{x_{n}\}_{n\in \Bbb{N}}\) in E with weak limit x,
for all \(y\in E\) with \(y\neq x\). It is well known that all Hilbert spaces, all finite dimensional Banach spaces, and the Banach spaces \(l^{p}\) (\(1\leq p<\infty\)) satisfy the Opial property; see, for example [2, 3]. It is also known that if E admits a weakly sequentially continuous duality mapping, then E is smooth and enjoys the Opial property; see for more details [2]. Let C a nonempty subset of a real Banach space E and let \(T:C\to E\) be a mapping. The set of fixed points of T is denoted by \(F(T)\) and defined by
Recall that a mapping \(T:C\to E\) is called nonexpansive if \(\TxTy\\leq\xy\\) for all \(x,y\in C\). The mapping \(T:C\to E\) is called quasinonexpansive, if \(F(T)\neq\emptyset\) and
Let C be a nonempty, closed, and convex subset of a Banach space E and \(x\in E\). Then there exists a unique nearest point \(z\in C\) such that \(\xz\=\inf_{y\in C}\xy\\). We denote such a correspondence by \(z=P_{C}x\). The mapping \(P_{C}\) is called metric projection of E onto C.
Let C be a nonempty, closed, and convex subset of a Banach space E, let T be a mapping from C into itself. A point \(p\in C\) is said to be a weakly asymptotic fixed point [4] of T if there exists a sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) in C which converges weakly to p and \(\lim_{n\to \infty}\x_{n}Tx_{n}\=0\). We denote the set of all weakly asymptotic fixed points of T by \(\hat{F}(T)\). A point \(p\in C\) is called a strong asymptotic fixed point of T if there exists a sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) in C which converges strongly to p and \(\lim_{n\to\infty}\x_{n}Tx_{n}\=0\). We denote the set of all strong asymptotic fixed points of T by \(\tilde{F}(T)\). Recall that a mapping \(T:C\to C\) is said to be relatively nonexpansive if the following conditions are satisfied:

(1)
\(F(T)\) is nonempty;

(2)
\(\pTv\\leq\pv\\), \(\forall p\in F(T)\), \(v\in C\);

(3)
\(\hat{F}(T)=F(T)\).
A mapping \(T:C\to C\) is said to be weakly relatively nonexpansive if the following conditions are satisfied:

(1)
\(F(T)\) is nonempty;

(2)
\(\pTv\\leq\pv\\), \(\forall p\in F(T)\), \(v\in C\);

(3)
\(\tilde{F}(T)=F(T)\).
It is clear that any relatively nonexpansive mapping is a quasinonexpansive mapping. It is also obvious that every relatively nonexpansive mapping is a weakly relatively nonexpansive mapping, but the converse in not true in general. Below we show that there exists a weakly relatively nonexpansive mapping which is not a relatively nonexpansive mapping.
Example 1.1
Let \(E=l^{2}\), where
Let \(\{x_{n}\}_{n\in\mathbb{N}\cup\{0\}}\subset E\) be a sequence defined by
where
for all \(n\in\mathbb{N}\). Now, we define a mapping \(T:E\to E\) by
Then \(F(T)=\{0\}\) and T is a weakly relatively nonexpansive mapping which is not a relatively nonexpansive mapping. Next, we define a countable family of mappings \(T_{j}:E\to E\) by
for all \(j\geq1\) and \(n\geq0\). It is clear that \(F(T_{j})=\{0\}\) for all \(j\geq1\). Choose \(j\in\mathbb{N}\), then for any \(n\in\mathbb{N}\)
If \(x\neq x_{n}\), then we have
Therefore, \(T_{j}\) is a quasinonexpansive mapping. By similar arguments to Example 1.1 of [5], we can show that \(\hat{F}(T_{j})\neq F(T_{j})\) for all \(j\in\mathbb{N}\). This implies that \(\bigcap_{j=1}^{\infty}\hat{F}(T_{j})\ne\bigcap_{j=1}^{\infty}F(T_{j})\). Thus \(\{T_{n}\}_{n\in\Bbb{N}}\) is a sequence of weakly relatively nonexpansive mappings which is not a sequence of relatively nonexpansive mappings.
Let E be a Banach space and let \(E^{*}\) be the dual space of E. Let \(g:E\to\mathbb{R}\) be a convex and Gâteaux differentiable function. Then the Bregman distance [6, 7] corresponding to g is the function \(D_{g}:E\times E\to \mathbb{R}\) defined by
where \(\nabla g(y)\) stands the value of the gradient ∇g of g at y. It is clear that \(D_{g}(x,y)\geq0\) for all \(x,y\in E\). In that case when E is a Hilbert space, setting \(g(x)=\frac{1}{2}\x\^{2}\) for all \(x\in E\), we obtain \(\nabla g(x)=2x\) for all \(x\in E\) and hence \(D_{g}(x,y)=\frac{1}{2}\xy\^{2}\) for all \(x,y\in E\). Let C be a nonempty and convex subset of E. Then we know from [8] that for \(x\in E\) and \(x_{0}\in C\), \(D_{g}(x_{0},x)=\min_{y\in C}D_{g}(y,x)\) if and only if
Furthermore, if C is a nonempty, closed, and convex subset of a reflexive Banach space E and \(g:E\to\mathbb{R}\) is a strongly coercive Bregman function, then for each \(x\in E\), there exists a unique \(x_{0}\in C\) such that
The Bregman projection \(\operatorname{proj}^{g}_{C}\) from E onto C is defined by \(\operatorname{proj}^{g}_{C}(x)=x_{0}\) for all \(x\in E\). It is also well known that \(\operatorname{proj}^{g}_{C}\) has the following property:
for all \(y\in C\) and \(x\in E\) (see [9] for more details).
Remark 1.1
It is worth mentioning that the class of weakly relatively nonexpansive mappings introduced in the present paper is different from the class of Bregman weak relatively nonexpansive mappings introduced in [5]. It is well known that in a Banach space E the Bregman projection operator \(\operatorname{proj}^{g}_{C}\) is a Bregman weak relatively nonexpansisive mapping but it is not a quasinonexpansive mapping with respect to the norm of the space; see, for example, [5, 9].
Moudafi [10] introduced the following iterative process, which is called Moudafi’s viscosity approximation: \(x_{1}=x\in C\) and
for all \(n\in\Bbb{N}\), where \(\{\alpha_{n}\}_{n\in\Bbb{N}}\subset[0, 1)\) and \(f : C \to C\) is a contraction. See also [11]. It was proved that this sequence converges strongly to a unique fixed point of \(P_{F} f\) under similar conditions to those in [12]. Suzuki [13] considered the MeirKeeler contractions, which is an extended notion of contractions, and studied the equivalency of convergence of these approximation schemes.
Let C be a nonempty, closed, and convex subset of a reflexive Banach space E. Let \(n\in\Bbb{N}\) and \(T_{n}:C\to C\) be a quasinonexpansive mapping. For given \(x\in C\), let \(\{x_{n}\}_{n\in\Bbb{N}}\) be generated by the algorithm
where \(\{\alpha_{n}\}_{n\in\Bbb{N}} \subset(0,1)\) satisfies the following conditions: (i) \(\lim_{n\to\infty}\alpha_{n}=0\); (ii) \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\). Then \(\{x_{n}\}_{n\in\Bbb{N}}\) is said to satisfy condition (A) if for any subsequence \(x_{n_{k}} \rightharpoonup x\) and \(x_{n+1}T_{n}(x_{n})\to0\) implies that \(x\in F:=\bigcap_{n=1}^{\infty}F(T_{n})\); for more details, see [14]. Motivated by the above notation, we say that the sequence \(\{x_{n}\}_{n\in\Bbb{N}}\) satisfies condition (B) if for any subsequence \(x_{n_{k}} \to x\) and \(x_{n+1}T_{n}(x_{n})\to0\) implies that \(x\in F:=\bigcap_{n=1}^{\infty}F(T_{n})\). It is clear that if the sequence \(\{x_{n}\}_{n\in\Bbb{N}}\) satisfies condition (B), then it satisfies condition (A), however, the converse is not true in general. For instance, the sequence \(\{x_{n}\}_{n\in\Bbb{N}}\) defined in Example 1.1 satisfies condition (B) but it does not satisfy condition (A). Indeed, \(\lim_{n\to\infty}\x_{n+1}T_{n}x_{n}\=\lim_{n\to \infty}\\frac{n+1}{n+2}x \frac{n}{n+1}x\=\lim_{n\to \infty}\\frac{1}{(n+1)(n+2)}x\=0\) and the sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) converges weakly to \(x_{0}\) but \(x_{0}\notin\bigcap_{n=1}^{\infty} F(T_{n})\).
Definition 1.1
Let E be a real Banach space and D be a closed subset of E. A mapping \(T:D\to D\) is said to be demiclosed at the origin if, for any sequence \(\{x_{n}\}_{n\in \Bbb{N}}\) in D, the conditions \(x_{n}\rightharpoonup x_{0}\) and \(Tx_{n}\to0\) imply \(Tx_{0}=0\).
Let C and D be nonempty subsets of real Banach space E with \(D\subset C\). A mapping \(Q_{D}:C\to D\) is said to be sunny if
for each \(x\in E\) and \(t\geq0\). A mapping \(Q_{D}:C\to D\) is said to be a retraction if \(Q_{D}x=x\) for each \(x\in C\).
Recently, Zegeye and Shahzad [14] proved the following fixed point theorem for quasinonexpansive mappings in a Banach space.
Theorem 1.1
Let K be a nonempty, closed, and convex subset of a real reflexive Banach space E that has weakly continuous duality mapping \(J_{\phi}\) for some gauge ϕ. Let \(T_{i}:K \to K\), \(i = 1, 2 ,\ldots\) , be a family of quasinonexpansive mappings with \(F:=\bigcap_{i=1}^{\infty} F(T_{i})\neq\emptyset\); which is a sunny nonexpansive retract of K with Q a nonexpansive retraction. For given \(x_{0}\in K\), let \(\{x_{n}\}_{n\in\Bbb{N}}\) be generated by the algorithm
where \(f : K\to K\) is a contraction mapping with constant \(\beta\in(0, 1)\) and \(\{\alpha_{n}\}_{n\in\Bbb{N}} \subset(0, 1)\) satisfies the following conditions:

(i)
\(\lim_{n\to\infty}\alpha_{n} = 0\);

(ii)
\(\sum_{n=1}^{\infty}\alpha_{n}=\infty\).
Suppose that \(\{x_{n}\}_{n\in\Bbb{N}}\) satisfies condition (A). Then \(\{x_{n}\}_{n\in\Bbb{N}}\) converges strongly to a common fixed point \(\bar{x} = Q( f (\bar{x}))\) of a family \(T_{i} \), \(i = 1, 2,\ldots\) , as \(n\to\infty\). Moreover, \(\bar{x}\) is the unique solution in F to the variational inequality
Very recently, Maingé [15] studied strong convergence theorems for quasinonexpansive mappings and posed the following open problem in his final remark.
Question 1.1
Is there any strong convergence theorem of Moudafi’s type for quasinonexpansive mappings without using the demiclosedness principle in a Banach space E?
Many problems in nonlinear analysis can be formulated as a problem of finding a fixed point of a nonexpansivetype mapping. There exists an extensive literature regarding the convergence analysis of iterative methods for approximation fixed points of several types of mappings T, in the settings of Hilbert and Banach spaces (see, e.g., [16–21]). However, to the best of our knowledge, there is no strong convergence result regarding the viscosity approximation of a weakly relatively nonexpansive mapping in a Banach space. In this paper, we first introduce a new viscosity approximation method based on the shrinking projection algorithm to approximate a common fixed point of a countable family of nonlinear mappings in a Banach space. Under quite mild assumptions, we establish the strong convergence of the sequence generated by the proposed algorithm. In contrast with other related processes, our method does not require any demiclosedness principle condition imposed on the involved operators belonging to the vide class of quasinonexpansive operators. As an application, we also introduce an iterative algorithm for finding a common element of the set of common fixed points of an infinite family of quasinonexpansive mappings and the set of solutions of a mixed equilibrium problem in a real Banach space. We prove a strong convergence theorem by using the proposed algorithm under some suitable conditions. Our results improve and generalize many known results in the current literature; see, for example, [14, 15, 22].
2 Preliminaries
In this section, we collect some lemmas which will be used in the proofs for the main results in next sections.
Lemma 2.1
[21]
Let C and D be nonempty subsets of a real Banach space E with \(D\subset C\) and let \(Q_{D}:C\to D\) be a retraction from C into D. Then \(Q_{D}\) is sunny and nonexpansive if and only if
for all \(z\in C\) and \(y\in D\), where J is the normalized duality mapping of E.
Lemma 2.2
[21]
Let E be a real Banach space and J be the normalized duality mapping of E. Then
for all \(x,y\in E\).
Theorem 2.1
A MeirKeeler contraction defined on a complete metric space has a unique fixed point. We have the following result, given by Suzuki [13], for MeirKeeler contractions defined on a Banach space.
Lemma 2.3
(Suzuki [13])
Let C be a nonempty convex subset of a Banach space E and \(f:C\to E\) be a MeirKeeler contraction. Then, for every \(\epsilon> 0\), there exists \(r\in(0, 1)\) such that \(\xy\\geq\epsilon\) implies that \(\f(x)f(y)\\leq r\x  y\\) for \(x, y \in C\).
Let \(\{C_{n}\}_{n\in\Bbb{N}}\) be a sequence of nonempty, closed, and convex subsets of a reflexive Banach space E. We define a subset \(\mbox{sLi}_{n}C_{n}\) of E as follows: \(x\in\mbox{sLi}_{n}C_{n}\) if and only if there exists \(\{x_{n}\}_{n\in\Bbb{N}}\subset E\) such that \(\{x_{n}\}_{n\in\Bbb{N}}\) converges strongly to x and such that \(x_{n}\in C_{n}\) for all \(n\in\Bbb{N}\). Similarly, a subset \(\mbox{wLs}_{n}C_{n}\) of E is defined by the following: \(y\in \mbox{wLs}_{n}C_{n}\) if and only if there exist a subsequence \(\{C_{n_{i}}\}_{i\in\Bbb{N}}\) of \(\{C_{n}\}_{n\in\Bbb{N}}\) and a sequence \(\{y_{i}\}_{i\in\Bbb{N}}\subset E\) such that \(\{y_{i}\}_{i\in\Bbb{N}}\) converges weakly to y and such that \(y_{i}\in C_{n_{i}}\) for all \(i\in\Bbb{N}\). If \(C_{0}\subset E\) satisfies \(C_{0} =\mbox{sLi}_{n} C_{n} = \mbox{wLs}_{n} C_{n}\), it is said that \(\{C_{n}\}_{n\in\Bbb{N}}\) converges to \(C_{0}\) in the sense of Mosco [23], and we write \(C_{0}=\mbox{M}\!\lim_{n}C_{n}\). One of the simplest examples of Mosco convergence is a decreasing sequence \(\{C_{n}\}_{n\in\Bbb{N}}\) with respect to inclusion. The Mosco limit of such a sequence is \(\bigcap_{n=1}^{\infty}C_{n}\). For more details, see [24]. Tsukada [25] proved the following theorem for the metric projection in a Banach space.
Theorem 2.2
(Tsukada [25])
Let \(\{C_{n}\}_{n\in\Bbb{N}}\) be a sequence of nonempty, closed, and convex subsets of a Banach space E. If \(C_{0} =\mathrm{M}\mbox{}\!\lim_{n}C_{n}\) exists and is nonempty, then, for each \(x\in E\), \(\{P_{C_{n}}x\}_{n\in\Bbb{N}}\) converges strongly to \(P_{C_{0}}x\).
3 Strong convergence theorems
In this section, we prove a strong convergence theorem for approximating common fixed points of weakly relatively nonexpansive mappings in a Banach space.
Theorem 3.1
Let C be a nonempty, closed and convex subset of a Banach space E and \(\{T_{n}\}_{n\in \mathbb{N}}\) an infinite family of weakly relatively nonexpansive mappings from C into itself with \(F:=\bigcap_{n=1}^{\infty}F(T_{n})\neq\emptyset\) which is a sunny nonexpansive retract of C with Q a nonexpansive retraction. Let \(\{x_{n}\}_{n\in\mathbb{N}\cup\{0\}}\) be a sequence generated by
Then there exists \(v\in C\) such that \(\{x_{n}\}_{n\in\mathbb{N}}\) and \(\{ T_{n}x_{n}\}_{n\in\mathbb{N}}\), converge strongly to \(Q_{F}f(v)=v\).
Proof
In the light of [13, Proposition 3], we see that the composed mapping \(Q_{F} f\) of C into itself is a MeirKeeler contraction on C. Theorem 2.1 implies that there exists a unique fixed point \(v\in F\) of \(Q_{F} f\). Since \(D_{n}\) is a closed and convex subset of E and \(\emptyset\neq D_{n+1}\subset D_{n}\) for all \(n\in \Bbb{N}\), \(\{x_{n}\}_{n\in\Bbb{N}}\) is well defined. On the other hand, the composed mapping \(Q_{\bigcap_{n=1}^{\infty}D_{n}}f\) is a MeirKeeler contraction on C, so in light of Theorem 2.1 there exists a unique fixed point \(v\in\bigcap_{n=1}^{\infty}D_{n}\) of \(Q_{\bigcap_{n=1}^{\infty}D_{n}}f\). Furthermore, setting \(z_{n}= Q_{D_{n}}f(v)\) for each \(n\in\Bbb{N}\) and noting that \(F\subset D_{n+1}\subset D_{n}\) for every \(n\in\Bbb{N}\), we immediately obtain \(\bigcap_{n=1}^{\infty}D_{n} =\mbox{M}\!\lim_{n}D_{n}\). Thus, by Theorem 2.2,
Next, we prove that \(x_{n}\to v\) as \(n\to\infty\). Suppose on the contrary that \(\limsup_{n\to\infty}\x_{n}u\> 0\). Then there exists \(\epsilon>0\) such that \(\limsup_{n\to\infty}\x_{n}v\> 0\). By the definition of MeirKeeler contraction, there exists \(\delta>0\) with \(\delta+\epsilon<\limsup_{n\to\infty}\x_{n}v\\) such that \(\xy\ < \delta+\epsilon\) implies that \(\f (x)f (y)\ <\epsilon\) for all \(x, y\in C\). From Lemma 2.3, there exists \(r\in(0,1)\) such that \(\xy\\geq\delta+\epsilon\) implies that \(\f(x)f(y)\\leq r\xy\\) for every \(x,y \in C\). Then, from (3.2), we can choose \(n_{0} \in\Bbb{N}\) such that \(\z_{n}v\<\delta\) for each \(n\geq n_{0}\). As in the proof of [13, Theorem 8], we consider the following two cases.

(i)
There exists \(n_{1} \geq n_{0}\) such that \(\x_{n_{1}}v \< \delta+\epsilon\).

(ii)
\(\xy\\geq\delta+\epsilon\) for every \(n\geq n_{0}\).
In case (i), we have \(\x_{n_{1}+1} z_{n_{1}+1}\\leq\f(x_{n_{1}})f(v)\<\epsilon\) since \(\x_{n_{1}}y\\geq\delta+\epsilon\). It follows immediately that \(\x_{n_{1}+1}v\\leq\x_{n_{1}+1}z_{n_{1}+1}\+\z_{n_{1}+1}v\< \delta+\epsilon\). This means that
This is a contradiction. In case (ii), we have \(\f (x_{n}) f (u)\\leq r \x_{n}u\\) for all \(n\geq n_{0}\). Thus we get
for every \(n\geq n_{0}\). This latter result together with (3.2) amounts to
This is a contradiction. Therefore, we get
Since \(x_{n+1}=Q_{D_{n+1}}f(x_{n})\), we have \(\langle f(x_{n})x_{n+1}, x_{n+1}y\rangle\geq0\) for each \(y\in D_{n+1}\). Using \(F\subset D_{n+1}\), we get \(\langle f(x_{n})x_{n+1}, x_{n+1}y\rangle\geq0\) for every \(n\in\Bbb{N}\) and \(y \in F\), which implies that
for each \(y\in F\). On the other hand, since \(P_{D_{n+1}}x_{n}=T_{n}x_{n}\) and \(x_{n+1}\in D_{n+1}\), we have
It turns out that
It follows that \(v\in \bigcap_{n=1}^{\infty}F(T_{n})\). Hence v is a strong limit of \(\{x_{n}\}_{n\in\Bbb{N}}\) and \(\{T_{n}x_{n}\}_{n\in\mathbb{N}}\), which completes the proof. □
Remark 3.1
(1) Theorem 3.1 extends and improves Theorem 1.1. We did not use the demiclosedness principle (the condition (A) of the sequence \(\{x_{n}\}_{n\in\Bbb{N}}\)) in our discussion. Our Theorem 3.1 is also valid in a wide class of general Banach spaces while Theorem 1.1 is valid in Banach spaces having weakly sequentially duality mappings.
(2) We note also that the main result of the paper provides a positive answer to open Question 1.1. So, our Theorem 3.1 improves the main result of [15] from a Hilbert space to a Banach space.
4 Application to equilibrium problems
The equilibrium problem was first introduced by Fan in [26] (see, also [27]). It is well known that the equilibrium problem includes many important problems in nonlinear analysis and optimization such as the Nash equilibrium problem, variational inequalities, complementarity problems, vector optimization problems, fixed point problems, saddle point problems, and game theory; see for example [28] and its references. Existence results for solutions to equilibrium problems have been extensively studied, as can be seen in [27, 28].
Let C be a nonempty, closed, and convex subset of a Banach space E. Let \(h:C\times C\to\mathbb{R}\) be a bifunction and let \(\phi:C\to\Bbb{R}\) be a function. Consider the following equilibrium problem: Find \(p\in C\) such that
The mixed equilibrium problem is to find \(q\in C\) such that
Problem (4.2) was first introduced by Ceng and Yao [29]. The solution set of (4.2) is denoted by \(MEP(h,\phi)\). If \(\phi\equiv 0\), then the mixed equilibrium problem (4.2) reduces to the equilibrium problem (4.1).
For solving the mixed equilibrium problem, let us assume that \(h:C\times C\to\mathbb{R}\) satisfies the following conditions:

(A1)
\(h(x,x)=0\) for all \(x\in C\);

(A2)
h is monotone, i.e., \(h(x,y)+h(y,x)\leq0\) for all \(x,y\in C\);

(A3)
for all \(y\in C\), \(h(\cdot,y)\) is weakly upper semicontinuous;

(A4)
for all \(x\in C\), \(h(x,\cdot)\) is convex.
In this section, we prove a strong convergence theorem concerning equilibrium problems in a Banach space. Let E be a smooth, strictly convex, and reflexive Banach space. Let C be a nonempty, bounded, closed, and convex subset of E, let h be a bifunction from \(C\times C\) to ℝ satisfying (A1)(A4) and let ϕ be a lower semicontinuous and convex function from C to ℝ. For all \(r>0\), we define the mapping \(T_{r}:E\to2^{C}\) as follows:
for all \(x\in E\).
Lemma 4.1
[30]
Let E be a Banach space and C be a nonempty, bounded, closed, and convex subset of E and \(h:C\times C\to \mathbb{R}\) a bifunction satisfying (A1)(A4) and \(MEP(h,\phi)\neq\emptyset\). For \(r>0\), let \(T_{r}:E\to C\) be the mapping defined by (4.3). Then the following statements hold:

(1)
\(T_{r}(x)\) is nonempty for every \(x\in E\);

(2)
\(T_{r}\) is singlevalued;

(3)
\(\langle T_{r}xT_{r}y,J(T_{r}xx)\rangle\leq \langle T_{r}xT_{r}y,J(T_{r}yy)\rangle\), for all \(x, y\in E\);

(4)
\(F(T_{r})=MEP(h,\phi)\);

(5)
\(MEP(h,\phi)\) is nonempty, closed, and convex.
Theorem 4.1
Let E be a uniformly convex and smooth Banach space and let C be a nonempty, bounded, closed, and convex subset of E. Let h be a bifunction from \(C\times C\) to ℝ satisfying (A1)(A4), let ϕ be a lower semicontinuous and convex function from C to ℝ and let \(\{T_{n}\}_{n\in \Bbb{N}}\) be a sequence of weakly relatively nonexpansive mappings of C into itself such that \(F:=\bigcap_{n=1}^{\infty} F(T_{n})\cap MEP(h,\phi)\neq\emptyset\) which is a sunny nonexpansive retract of C with Q a nonexpansive retraction. For \(r>0\), let \(T_{r}:E\to C\) be the mapping defined by (4.3). Let \(\{r_{n}\}_{n\in\Bbb{N}}\) be a sequence in \((0,\infty)\) such that \(\liminf_{n\to\infty}r_{n}>0\). Let \(\{x_{n}\}_{n\in\mathbb{N}}\) be a sequence generated by
Then there exists \(v\in C\) such that \(\{x_{n}\}_{n\in\mathbb{N}}\) converges strongly to \(Q_{F}f(v)=v\).
Proof
We first show that the sequence \(\{x_{n}\}_{n\in \Bbb{N}}\) is well defined. It is easy to verify that \(D_{n} \cap Q_{n}\) is closed and convex and \(F\subset D_{n}\) for all \(n\geq0\). Since \(D_{0}=C\), we also have \(F\subset D_{0}\cap Q_{0}\). Suppose that \(F\subset D_{m1}\cap Q_{m1}\) for \(m\geq2\). It follows from Lemma 4.1(3) that
This implies that
for all \(u\in F\). Hence \(F\subset Q_{m}\). By mathematical induction, we get \(F\subset D_{n}\cap Q_{n}\) for each \(n\geq0\) and hence \(\{x_{n}\}_{n\in\Bbb{N}}\) is well defined.
Since \(Q_{F}\) is nonexpansive, the composed mapping \(Q_{F} f\) of C into itself is a MeirKeeler contraction on C; see [13, Proposition 3]. In view of Theorem 2.1, there exists a unique fixed point \(v\in F\) of \(Q_{F} f\). Since \(D_{n}\) is a closed and convex subset of E and \(\emptyset\neq D_{n+1}\subset D_{n}\) for all \(n\in \Bbb{N}\), \(\{x_{n}\}_{n\in\Bbb{N}}\) is well defined. On the other hand, the composed mapping \(Q_{\bigcap_{n=1}^{\infty}D_{n}}f\) is a MeirKeeler contraction on C, so in view of Theorem 2.1 there exists a unique fixed point \(v\in\bigcap_{n=1}^{\infty}D_{n}\) of \(Q_{\bigcap_{n=1}^{\infty}D_{n}}f\). Furthermore, setting \(z_{n}= Q_{D_{n}}f(v)\) for each \(n\in\Bbb{N}\) and noting that \(F\subset D_{n+1}\subset D_{n}\) for every \(n\in\Bbb{N}\), we immediately obtain \(\bigcap_{n=1}^{\infty}D_{n} =\mbox{M}\!\lim_{n}D_{n}\). Thus, by Theorem 2.2,
By the same arguments, as in the proof of Theorem 3.1, we can prove that \(x_{n}\to v\) as \(n\to\infty\).
Next, we show that \(v\in MEP(h,\phi)\). By the construction of \(Q_{n}\), we see from (4.4) that \(T_{r_{n}}x_{n} = P_{Q_{n}}x_{n}\). Since \(x_{n+1}\in Q_{n}\), we obtain
which together with (4.5) leads to
From the assumption \(\liminf_{n\to\infty}r_{n}>0\), we also have
Since \(x_{n}\to v\), we also have \(T_{r_{n}}x_{n}\to v\) as \(n\to\infty\). By the definition of \(T_{r_{n}}\), for each \(y\in C\), we deduce that
By (A3), (4.6), and the weakly lower semicontinuity of ϕ, we have
This shows that \(v\in MEP(h,\phi)\) and hence \(v\in F=\bigcap_{n=1}^{\infty } F(T_{n})\cap MEP(h,\phi)\). □
Remark 4.1
The main result of [30] gave a strong convergence theorem to approximate fixed point of an infinite family of nonexpansive mappings, while the main result of the present paper gives a strong convergence theorem to approximate common fixed points of an infinite family of weakly relatively nonexpansive mappings in a uniformly convex Banach space. We note that the proof of Theorem 3.1 (lines 2425, where the authors used the nonexpansivity of the mapping T) in [30] is not valid in our discussion. So our result extends and improves the corresponding results of [30].
Remark 4.2
(1) In Theorem 4.1, we present a strong convergence result for a system of equilibrium problems with new algorithms and new control conditions. This is complementary to the main results of [31–34]. In addition, our scheme in Theorem 4.1 has an advantage that it does not require any demiclosedness principle condition imposed on the involved operators belonging to the wide class of quasinonexpansive operators. Indeed, we propose different approaches, based on shrinking projection algorithms, to solve the equilibrium problem in a Banach space. So, our Theorem 4.1 improves the main results of [31–34].
References
Takahashi, W: Nonlinear Functional Analysis, Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama (2000)
Gossez, JP, Dozo, EL: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pac. J. Math. 40, 565573 (1972)
Geobel, K, Kirk, WA: In: Topics on Metric FixedPoint Theory. Cambridge Studies in Advanced Mathematics, vol. 28. Cambridge University Press, Cambridge (1990)
Reich, S: A weak convergence theorem for the altering method with Bregman distances. In: Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, pp. 313318. Dekker, New York (1996)
Naraghirad, E, Yao, JC: Bregman weak relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2013, 141 (2013)
Bregman, LM: The relation method of finding the common point of convex sets and its application to the solution of problems in convex programming. USSR Comput. Math. Math. Phys. 7, 200217 (1967)
Censor, Y, Lent, A: An iterative rowaction method for interval convex programming. J. Optim. Theory Appl. 34, 321358 (1981)
Naraghirad, E, Takahashi, W, Yao, JC: Generalized retraction and fixed point theorems using Bregman functions in Banach spaces. J. Nonlinear Convex Anal. 13(1), 141156 (2012)
Butnariu, D, Iusem, AN: Totally Convex Functions for Fixed Points Computation and Infinite Dimensional Optimization. Kluwer Academic, Dordrecht (2000)
Moudafi, A: Viscosity approximation methods for fixedpoints problems. J. Math. Anal. Appl. 241, 4655 (2000)
Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 298, 279291 (2004)
Wittmann, R: Approximation of fixed points of nonexpansive mappings. Arch. Math. (Basel) 58, 486491 (1992)
Suzuki, T: Moudafi viscosity approximations with MeirKeeler contractions. J. Math. Anal. Appl. 325, 342352 (2007)
Zegeye, H, Shahzad, N: Viscosity methods of approximation for a common fixed point of a family of quasinonexpansive mappings. Nonlinear Anal. 68, 20052012 (2008)
Maingé, PE: The viscosity approximation process for quasinonexpansive mappings in Hilbert spaces. Comput. Math. Appl. 59, 7479 (2010)
Mann, WR: Mean value methods in iteration. Proc. Am. Math. Soc. 4, 506510 (1953)
Halpern, B: Fixed points of nonexpanding mappings. Bull. Am. Math. Soc. 73, 957961 (1967)
Reich, S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 67, 274276 (1979)
Aoyama, K, Kohsaka, F, Takahashi, W: Shrinking projection methods for firmly nonexpansive mappings. Nonlinear Anal. 71, e1626e1632 (2009)
Genel, A, Lindenstrauss, J: An example concerning fixed points. Isr. J. Math. 22, 8186 (1975)
Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York (1984)
Kimura, Y, Nakajo, K: Viscosity approximations by the shrinking projection method in Hilbert spaces. Comput. Math. Appl. 63, 14001408 (2012)
Mosco, U: Convergence of convex sets and of solutions of variational inequalities. Adv. Math. 3, 510585 (1969)
Beer, G: Topologies on Closed and Closed Convex Sets. Kluwer Academic, Dordrecht (1993)
Tsukada, M: Convergence of best approximations in a smooth Banach space. J. Approx. Theory 40, 301309 (1984)
Fan, K: A minimax inequality and applications. In: Shisha, O (ed.) Inequalities III. Academic Press, New York (1972)
Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 62, 127169 (1994)
Iusem, AN, Kassay, G, Sosa, W: On certain conditions for the existence of solutions of equilibrium problems. Math. Program. 116, 259273 (2009)
Ceng, LC, Yao, JC: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. J. Comput. Appl. Math. 214, 186201 (2008)
Cholamjiak, P, Suantai, S: Existence and iteration for a mixed equilibrium problem and countable family of nonexpansive mappings in Banach spaces. Comput. Math. Appl. 61, 27252733 (2011)
Ceng, LC, Ansari, QH, Yao, JC: Viscosity approximation methods for generalized equilibrium problems and fixed point problems. J. Glob. Optim. 43(4), 487502 (2009)
Ceng, LC, Ansari, QH, Yao, JC: Hybrid proximaltype and hybrid shrinking projection algorithms for equilibrium problems, maximal monotone operators and relatively nonexpansive mappings. Numer. Funct. Anal. Optim. 31(7), 763797 (2010)
Ceng, LC, Ansari, QH, Schaible, S, Yao, JC: Hybrid viscosity approximate method for zeros of maccretive operators in Banach spaces. Numer. Funct. Anal. Optim. 33(2), 142165 (2012)
Ceng, LC, AlOtaibi, A, Ansari, QH, Latif, A: Relaxed and composite viscosity methods for variational inequalities, fixed points of nonexpansive mappings and zeros of accretive operators. Fixed Point Theory Appl. 2014, 29 (2014)
Acknowledgements
This research was partially supported by a grant from NSC.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Pang, CT., Naraghirad, E. & Wen, CF. A viscosity approximation method for weakly relatively nonexpansive mappings by the sunny nonexpansive retractions in Banach spaces. J Inequal Appl 2015, 36 (2015). https://doi.org/10.1186/s1366001405467
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001405467