- Research
- Open access
- Published:
An algorithm for approximating a common solution of some nonlinear problems in Banach spaces with an application
Advances in Difference Equations volume 2021, Article number: 109 (2021)
Abstract
In this paper, we construct a new Halpern-type subgradient extragradient iterative algorithm. The sequence generated by this algorithm converges strongly to a common solution of a variational inequality, an equilibrium problem, and a J-fixed point of a continuous J-pseudo-contractive map in a uniformly smooth and two-uniformly convex real Banach space. Also, the theorem is applied to approximate a common solution of a variational inequality, an equilibrium problem, and a convex minimization problem. Moreover, a numerical example is given to illustrate the implementability of our algorithm. Finally, the theorem proved complements, improves, and unifies some related recent results in the literature.
1 Introduction
Let \(\mathcal{Q}^{*}\) be the dual space of a real normed linear space \(\mathcal{Q}\) and \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). In this paper, we study the classical variational inequality of Fichera [1] and Stampacchia [2], the equilibrium problem of Blum and Otelli [3], and some fixed point problems.
Let \(A:\mathcal{D}\to \mathcal{Q}^{*}\) be a given map. A variational inequality problem is the following:
Variational inequality was first developed to solve equilibrium problems, precisely the Signorini problem posed by Antonio [4] in the year 1959. This problem was later solved by Fichera [1] in the year 1963. In 1964, Stampacchia [2] studied the regularity problem for partial differential equations and thereby coined the name “variational inequality”, stating nothing but the principle of complementary virtual work in its inequality form. Variational inequality has been found to have numerous applications in many areas of sciences; see, for example, [5–7].
For earlier and more recent results on the existence of solutions and iterative methods for solving variational inequalities; see, for example, [8–19].
Let \(\Theta :\mathcal{D}\times \mathcal{D}\to \mathbb{R}\) be a bifunctional. An equilibrium problem is to find
Numerous problems in physics, optimization, and economics reduce to a problem of finding solutions of inequality (1.2). Some methods have been proposed to solve equilibrium problems in Hilbert spaces and more general Banach spaces; see, for example, [20–25].
We remark that the following conditions will be needed in solving the equilibrium problem (1.2):
- \((A_{1})\):
-
\(\Theta (x,x)=0\) for all \(x\in \mathcal{D}\);
- \((A_{2})\):
-
Θ is monotone, i.e., \(\Theta (x,y)+\Theta (y,x)\le 0\) for all \(x,y\in \mathcal{D}\);
- \((A_{3})\):
-
\(\limsup_{t\downarrow 0}\Theta (x+ t(z-x),y)\le \Theta (x,y)\) for all \(x,y,z\in \mathcal{D}\);
- \((A_{4})\):
-
for all \(x\in \mathcal{D}\), \(\Theta (x,\cdot )\) is convex and lower semi-continuous.
A map \(A :\mathcal{Q}\to \mathcal{Q}\) is called accretive if, for each \(x,y\in \mathcal{Q}\), there exists \(j(x-y)\in J(x-y)\) such that
where \(J:\mathcal{Q}\to 2^{\mathcal{Q}^{*}}\) is the normalized duality map. In Hilbert spaces, accretive maps are called monotone.
Accretive maps were introduced independently in the year 1967 by Browder [9] and Kato [26]. Interest in this class of maps stems mainly from their firm connection with the existence theory for nonlinear equations of evolution in Banach spaces, i.e., equations of the form
At equilibrium state, and setting \(v\equiv 0\) in equation (1.4), we obtain the following equation:
In many cases, where the map A is accretive, solutions of equation (1.5) represent the equilibrium state of the system described by equation (1.4).
For solving equation (1.5), Browder [9] in the year 1967 introduced a self-map \(S:=I-A\) on a real Banach space, which he called a pseudo-contractive map. Approximating zeros of accretive maps is equivalent to approximating fixed points of pseudo-contractive maps, assuming existence of such zeros. For earlier and more recent results on the approximation of fixed points of pseudo-contractive maps, the reader may consult any of the following: [27–36].
A map \(A:\mathcal{Q}\to \mathcal{Q}^{*}\) is called monotone if, for each \(x, y \in \mathcal{Q}\), the following inequality holds:
The sub-differential of a convex and proper function h, defined on a real Banach space and denoted by ∂h, is a monotone map, and for each x in the domain of h, \(0\in \partial h(x)\) if and only if x minimizes the function h; see, for example, [37]. In particular, setting the sub-differential equivalently as A, we have \(0\in Ax\), which reduces to \(Ax=0\) for the case where \(\partial h\equiv A\) is single-valued. Therefore, approximating zeros of such monotone maps is equivalent to finding a minimizer of some convex function.
It is obvious that the fixed point technique introduced by Browder in the year 1967 for approximating zeros of accretive maps is not applicable in this case, where A from a real Banach space to its dual space is monotone.
Hence, there is the need to develop techniques for approximating zeros of monotone maps.
To approximate zeros of monotone maps, Zegeye [38] in the year 2008 introduced a map \(S:=J-A\) from a real Banach space to its dual space. He called the map semi-pseudo mapping, where \(A:\mathcal{Q}\to 2^{\mathcal{Q}^{*}}\) is a monotone map. Also, in the year 2016, Chidume and Idu [39] studied this class of maps and called it J-pseudo-contractive.
An element x in \(\mathcal{D}\) is called a semi-fixed point (J-fixed point) of S from \(\mathcal{D}\) to \(\mathcal{Q}^{*}\) if
where J is the normalized duality map and single-valued in this case; see, for example, [38, 39].
Approximating zeros of these monotone maps is equivalent to approximating J-fixed points of J-pseudo-contractive maps, assuming the existence of such zeros, which is also equivalent to finding a minimizer of some convex functions.
We remark that in real Hilbert spaces, and also smooth and strictly convex real Banach spaces, the notion of J-fixed points coincides with the classical definition of fixed points. However, if the space is not strictly convex, J may fail to be one-to-one. Thus, the inverse of J may not exist. For more recent works on J-fixed points, see, for example, [40–48].
In 2014, Zegeye and Shazard [49] studied the problem of finding a common solution in the set of fixed points of a Lipschitz pseudo-contractive map S and solution sets of a variational inequality for a γ-inverse strongly monotone map A in a real Hilbert space H by considering the following iterative algorithm:
where \(P_{C}\) is the metric projection from H onto C and \(\{\delta _{n}\}\), \(\{\gamma _{n}\}\), \(\{\theta _{n}\}\), \(\{\alpha _{n} \}\), \(\{\beta _{n}\}\) are sequences in \(\mathopen]0,1\mathclose[\) satisfying appropriate conditions. They proved that the sequence generated by the algorithm converges strongly to an element in the solution set of the problem.
Also, in the year 2015, Alghamdi et al. [17] studied a Halpern-type extragradient method, to approximate a common solution of a variational inequality and a fixed point problem of a continuous pseudo-contractive map in a real Hilbert space. They proved the following theorem.
Theorem 1.1
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(S:C\rightarrow C\) be a continuous pseudo-contractive map. Let \(A:C\rightarrow H\) be an L-Lipschitz monotone map. Assume that \({\mathcal{F}:= F(S)\cap VI(A,C)\neq \emptyset }\), where \(F(S)\) is a fixed point set of S and \(VI(A,C)\) is the solution set of a variational inequality. Let \(\{x_{n}\}\) be a sequence generated by
where \(\{\gamma _{n}\}\subset \mathopen[a,b\mathclose[ \subset \mathopen]0,\frac{1}{L}\mathclose[\), and \(\{a_{n}\},\{b_{n}\},\{c_{n}\}\subset (a,b)\subset \mathopen]0,1\mathclose[\), \(\{\alpha _{n}\}\subset \mathopen]0,c\mathclose[\subset \mathopen]0,1\mathclose[\) satisfying the following conditions: \((i)\) \(a_{n}+b_{n}+c_{n}=1\), \((ii)\) \(\lim \alpha _{n}=0\), \(\sum \alpha _{n}=\infty \), and \(K^{S}_{r_{n}}\) is a resolvent map for S from H unto C. Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}\) of \(\mathcal{F}\) nearest to u.
Motivated by the results in [17, 39, 49], we present in this paper a Halpern-type subgradient-extragradient algorithm for which the sequence generated by the algorithm converges strongly to a common solution of a variational inequality, an equilibrium problem, and J-fixed points of a continuous J-pseudo-contractive map in a uniformly smooth and two-uniformly convex real Banach space. Also, the theorem is applied to approximate a common solution of a variational inequality, an equilibrium problem, and a convex minimization problem. Moreover, a numerical example is given to illustrate the implementability of our algorithm. Finally, the theorem proved complements, improves, and unifies some related recent results in the literature.
2 Preliminaries
Let \(\mathcal{Q}^{*}\) be the dual space of a real normed linear space \(\mathcal{Q}\) and \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). We denote \(x_{n}\rightharpoonup x^{*}\) and \({x_{n}\rightarrow x^{*}}\) to indicate that the sequence \(\{x_{n}\}\) converges weakly to \(x^{*}\) and converges strongly to \(x^{*}\), respectively. Also, \(VI(A,\mathcal{D})\), \(EP(\Theta )\), and \(F_{J}(S)\) denote the set of solutions of variational inequalities, the set of solutions of equilibrium problems, and the set of J-fixed points of S, respectively.
Let \(\mathcal{Q}\) be a smooth real normed linear space and \(\phi : \mathcal{Q}\times \mathcal{Q}\rightarrow \mathbb{R}\) be a map defined by
where \(J:\mathcal{Q}\rightarrow 2^{\mathcal{Q}^{*}}\) is the normalized duality map defined by
The map ϕ was introduced by Alber [7] and has been studied extensively by a host of other authors.
For any \(x,y,z\in \mathcal{Q}\) and \(\alpha \in \mathopen]0,1\mathclose[\), the following properties are true:
- (\(P_{1}\)):
-
\(( \Vert x \Vert - \Vert y \Vert )^{2}\le \phi (x,y)\le ( \Vert x \Vert + \Vert y \Vert )^{2}\),
- (\(P_{2}\)):
-
\(\phi (x,J^{-1}(\alpha Jy + (1-\alpha )Jz) )\le \alpha \phi (x,y)+(1- \alpha )\phi (x,z) \),
- (\(P_{3}\)):
-
\(\phi (x,z)=\phi (x,y)+\phi (y,z)+2\langle y-x,Jz-Jy\rangle \),
- (\(P_{4}\)):
-
\(\phi (x,y)\le \Vert x \Vert \Vert Jx-Jy \Vert + \Vert y \Vert \Vert x-y \Vert \).
Definition 2.1
([7])
Let \(\mathcal{Q}\) be a smooth, strictly convex, and reflexive real Banach space, and let \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). The map \(\Pi _{\mathcal{D}}:\mathcal{Q}\rightarrow \mathcal{D}\) defined by \(\tilde{x}=\Pi _{\mathcal{D}} (x) \in \mathcal{D}\) such that \(\phi (\tilde{x},x)=\inf_{y\in \mathcal{D}}\phi (y,x)\) is called the generalized projection of \(\mathcal{Q}\) onto \(\mathcal{D}\).
Definition 2.2
([9])
A map \(S:\mathcal{Q}\to \mathcal{Q}\) is called a pseudo-contractive map if, for all \(x, y\in \mathcal{Q}\), there exists \(j(x-y)\) in \(J(x-y) \) such that
where J is the normalized duality map on \(\mathcal{Q}\).
Definition 2.3
([39])
A map \(S:\mathcal{Q}\rightarrow \mathcal{Q}^{*}\) is called a J-pseudo-contractive map if, for all \(x, y\in \mathcal{Q}\), the following inequality holds:
In real Hilbert spaces, the of notion pseudo-contractive maps coincides with that of J-pseudo-contractive maps.
Definition 2.4
([37])
The sub-differential of a convex function h is a map \(\partial h:\mathcal{Q}\rightarrow 2^{\mathcal{Q}^{*}}\), defined by
Lemma 2.5
([7])
Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of a smooth, strictly convex, and reflexive real Banach space \(\mathcal{Q}\). Then:
-
1.
If \(x\in \mathcal{Q}\) and \(y \in \mathcal{D}\), then \(\tilde{x} =\Pi _{\mathcal{D}}x\) if and only if \(\langle \tilde{x}-y, Jx-J\tilde{x} \rangle \geq 0\) for all \(y\in \mathcal{D}\), where \(\Pi _{\mathcal{D}}\) is a generalized projection of \(\mathcal{Q}\) onto \(\mathcal{D}\) in Definition 2.1;
-
2.
\(\phi (y,\tilde{x})+\phi (\tilde{x},x)\leq \phi (y,x) \) for all \(x\in \mathcal{Q}\), \(y \in \mathcal{D}\).
Lemma 2.6
([50])
Let \(\mathcal{Q}\) be a two-uniformly convex and smooth real Banach space. Then there exists a positive constant c such that
Remark 1
Without loss of generality, we may assume \(c \in \mathopen]0,1\mathclose[\).
Lemma 2.7
([51])
Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be two sequences of a uniformly convex and smooth real Banach space. If either \(\{x_{n}\}\) or \(\{y_{n}\}\) is bounded and \(\lim_{n\to \infty }\phi (x_{n},y_{n} )=0\), then \(\lim_{n\to \infty } \Vert x_{n}-y_{n} \Vert = 0 \).
Remark 2
Using Condition \((P_{4})\), the converse of Lemma 2.7 is also true whenever \(\{x_{n}\}\) and \(\{y_{n}\}\) are bounded.
Lemma 2.8
([52])
Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of a reflexive space \(\mathcal{Q}\) and A be a monotone and hemi-continuous map from \(\mathcal{D}\) into \(\mathcal{Q}^{*}\). Let \(\mathcal{R}\subset \mathcal{Q}\times \mathcal{Q}^{*}\) be a map defined by
where \(N_{\mathcal{D}}(x)\) is defined as follows: \(N_{\mathcal{D}}(x)=\{w^{*}\in \mathcal{Q}^{*}:\langle x-z,w^{*} \rangle \geq 0, \forall z\in \mathcal{D}\}\). Then \(\mathcal{R}\) is maximal monotone and \(\mathcal{R}^{-1}(0)=VI(A,\mathcal{D})\).
Lemma 2.9
([53])
Let \(\{ a_{n} \}\) be a sequence of nonnegative numbers satisfying the condition
where \(\{ \alpha _{n} \}\) and \(\{ \beta _{n} \}\) are sequences of real numbers such that \((i)\) \(\{\alpha _{n}\}\subset [0,1]\) and \(\sum \alpha _{n}= \infty \); \((ii)\) \({\limsup } \beta _{n} \leq 0\). Then \({\lim } a_{n}=0 \).
Lemma 2.10
([54])
Let \(\{a_{n}\}\) be a sequence of real numbers such that there exists a subsequence \(\{a_{m_{j}}\}\) of \(\{a_{n}\}\) such that \(a_{m_{j}} < a_{m_{j}+1}\) for all \(j\in \mathbb{N}\). Then there exists a nondecreasing sequence \(\{n_{k}\}\) of \(\mathbb{N}\) such that \(\lim_{k\to \infty } n_{k}=\infty \), and the following properties are satisfied by all (sufficiently large) number \(k\in \mathbb{N}\):
In fact, \(n_{k}\) is the largest number n in the set \(\{1,\ldots , k\}\) such that \(a_{n} < a_{n+1}\) holds.
Lemma 2.11
([55])
Let \(\mathcal{Q}^{*}\) be the dual space of a reflexive, strictly convex, and smooth Banach space \(\mathcal{Q}\). Then
Lemma 2.12
([47])
Let \(\mathcal{Q}^{*}\) be the dual space of a uniformly smooth and strictly convex real Banach space \(\mathcal{Q}\). Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\) and \(S:\mathcal{D}\rightarrow \mathcal{Q}^{*}\) be a continuous J-pseudo-contractive map. Let \(r>0\) and \(x\in \mathcal{Q}\). Then the following conditions hold:
-
1.
There exists \(z\in \mathcal{D}\) such that \(\langle w-z,Sz \rangle - \frac{1}{r} \langle w-z,(1+r)Jz-Jx \rangle \le 0\), \(\forall w\in \mathcal{D}\).
-
2.
Define a map \(T^{S}_{r}:\mathcal{Q}\rightarrow \mathcal{D}\) by
$$ T^{S}_{r}(x):= \biggl\{ z\in \mathcal{D}: \langle w-z,Sz \rangle - \frac{1}{r} \bigl\langle w-z,(1+r)Jz-Jx \bigr\rangle \le 0, \forall w\in \mathcal{D} \biggr\} , \quad x \in \mathcal{Q}. $$
Then:
- \((a)\):
-
\(T^{S}_{r}\) is single-valued;
- \((b)\):
-
\(T^{S}_{r}\) is a firmly nonexpansive-type map, i.e.,
$$\begin{aligned}& \bigl\langle T^{S}_{r}x-T^{S}_{r}y,JT^{S}_{r}x-JT^{S}_{r}y \bigr\rangle \le \bigl\langle T^{S}_{r}x-T^{S}_{r}y,Jx-Jy \bigr\rangle ,\quad \forall x,y\in \mathcal{Q} ; \end{aligned}$$ - \((c)\):
-
\(F(T^{S}_{r})=F_{J}(S)\), where \(F(T^{S}_{r})\) denotes the fixed point set of the map \(T^{S}_{r}\);
- \((d)\):
-
\(F_{J}(S)\) is closed and convex;
- \((e)\):
-
\(\phi (q,T^{S}_{r}x)+\phi (T^{S}_{r}x,x)\le \phi (q,x)\), \(\forall q \in F(T^{S}_{r})\), \(x \in \mathcal{Q}\).
3 Main results
In the sequel, \(c\in \mathopen]0,1\mathclose[\) is the constant appearing in Lemma 2.6.
Theorem 3.1
Let \(\mathcal{Q}^{*}\) be the dual space of a uniformly smooth and two-uniformly convex real Banach space \(\mathcal{Q}\). Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). Let \({A:\mathcal{D} \to \mathcal{Q}^{*}}\) be a monotone and L-Lipschitz map, \(\Theta : \mathcal{D}\times \mathcal{D}\to \mathbb{R}\) be a bi-functional satisfying conditions \(A_{1}\) to \(A_{4}\), and \(S:\mathcal{D}\to \mathcal{Q}^{*}\) be a continuous J-pseudo-contractive map with \(\Omega :=F_{J}(S)\cap VI(A,\mathcal{D})\cap EP(\Theta )\neq \emptyset \). Let the sequence \(\{x_{n}\}\) be generated by
where \(v_{n}=K^{\Theta }_{r_{n}}T_{r_{n}}^{S}x_{n}\) with \(K_{r_{n}}^{\Theta }\) and \(T_{r_{n}}^{S}\) as the resolvent maps for Θ and S, respectively, \(\{r_{n}\}\subset \mathopen[a,\infty \mathclose[\) for some \(a>0\), \(w_{n}=\Pi _{T_{n}} J^{-1}( Jx_{n}-\tau Az_{n})\), \(\tau \in \mathopen]0,1\mathclose[\) with \(\tau <\frac{c}{L}\) and \(\{\alpha _{n}\} \subset \mathopen]0,1\mathclose[\) with \(\lim \alpha _{n} =0\) and \(\sum \alpha _{n}=\infty \). Then the sequence \(\{x_{n}\}\) converges strongly to a point \(\Pi _{\Omega }x_{0}\).
Proof
We divide the proof into two steps.
Step 1. We show that \(\{x_{n}\}\) is bounded.
Let \(p\in \Omega \). Setting \(t_{n}:=J^{-1}(Jx_{n}-\tau Az_{n})\) and \(y_{n}=T_{r_{n}}^{S}x_{n}\), then \(v_{n}=K_{r_{n}}^{\Theta }y_{n}\).
Applying the definition of A, Lemma 2.5, and property \(P_{3}\), we compute as follows:
Since \(w_{n}\in T_{n}\), we have that \(\langle w_{n}-z_{n},Jx_{n}-\tau Ax_{n}-Jz_{n} \rangle \leq 0\). Thus,
Substituting inequality (3.3) in inequality (3.2) and using the Lipschitz condition of A and Lemma 2.6, we have
Also, by a result of Blum and Otelli [3], and also by Lemma 2.12(2(e)), we have
Now, using the recursion formula (3.1), property \(P_{2}\), inequalities (3.4) and (3.5), we have
Hence, by induction, we have that \(\phi (p,x_{n})\le \phi (p,x_{0})\), \(\forall n\ge 0\), which implies that \(\{\phi (p,x_{n})\}\) is bounded. By property \(P_{1}\), \(\{x_{n}\}\) is bounded. Consequently, \(\{w_{n}\}\), \(\{v_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) are bounded.
Step 2. We show that \(\{x_{n}\}\) converges strongly to a point \(u:=\Pi _{\Omega }x_{0}\).
Two cases arise.
Case 1. There exists \(N_{0}\in \mathbb{N}\) such that \(\phi ( u,x_{n})\ge \phi ( u,x_{n+1})\), \(\forall n\ge N_{0}\).
This implies that \(\lim_{n\rightarrow \infty } \phi ( u,x_{n})\) exists.
Claim 1. \(\lim_{n\rightarrow \infty } \Vert y_{n}-x_{n} \Vert = \lim_{n\rightarrow \infty } \Vert v_{n}-y_{n} \Vert = \lim_{n\rightarrow \infty } \Vert w_{n}-z_{n} \Vert = \lim_{n\rightarrow \infty } \Vert z_{n}-x_{n} \Vert = \lim_{n\rightarrow \infty } \Vert x_{n+1}-x_{n} \Vert =0\).
Setting \(\sigma :=(1-\beta )(1-\alpha _{n}) (1-\frac{\tau L}{c} )>0\) and \(\xi :=(1-\alpha _{n})\beta >0\), from inequality (3.6), we have
Using the condition on \(\{\alpha _{n}\}\) and taking limit on both sides of inequalities (3.8) and (3.9), we have
By Lemma 2.7 and equation (3.10), we obtain that
Combining equation (3.11), recursion formula (3.1) and applying the triangle inequality, we have
Claim 2. We show that \(\Omega _{w}(x_{n}) \subset \Omega \); \(\Omega _{\omega }(x_{n})\) is the set of weak sub-sequential limits of \(\{x_{n}\}\).
First, we show that \(\Omega _{w}(x_{n}) \subset VI(A,\mathcal{D})\).
Let \(x^{*}\in \Omega _{\omega }(x_{n})\) and \(\{x_{n_{j}}\}\) be a subsequence of \(\{x_{n}\}\) such that \(x_{n_{j}}\rightharpoonup x^{*}\) as \(j\rightarrow \infty\).
Applying the weak convergence of \(\{x_{n}\}\) and equation (3.11), we have that \(y_{n_{j}}\rightharpoonup x^{*}\) as \(j\rightarrow \infty \).
Let
be as defined in Lemma 2.8. Then \(\mathcal{R}\) is maximal monotone, and \(0\in \mathcal{R}x \) ⇔ \(x\in VI(A,\mathcal{D})\). It is known that if \(\mathcal{R}\) is maximal monotone, then given \((x,v^{*})\in \mathcal{Q}\times \mathcal{Q}^{*} \) such that if \(\langle x-y, v^{*}-y^{*} \rangle \geq 0 \), \(\forall (y,y^{*}) \in G(\mathcal{R}) \), where \(G(\mathcal{R})\) denotes the graph of \(\mathcal{R}\), one has \(v^{*} \in \mathcal{R}x \).
Claim. \((x^{*},0)\in G(\mathcal{R})\).
Let \((x,z^{*}) \in G(\mathcal{R})\). It suffices to show that \(\langle x-x^{*}, z^{*} \rangle \geq 0 \).
Now, \((x,z^{*}) \in G(\mathcal{R})\implies z^{*} \in \mathcal{R}x = Ax+N_{\mathcal{D}}(x)\), ⇒ \(z^{*}-Ax \in N_{\mathcal{D}}(x)\).
This implies that \(\langle x-t, z^{*} - Ax \rangle \geq 0\), \(\forall t \in \mathcal{D}\). In particular, \(\langle x-z_{n} , z^{*} - Ax \rangle \geq 0 \).
But \(z_{n}=\Pi _{\mathcal{D}}J^{-1} (Jx_{n}-\tau Ax_{n} )\), \(\forall n \ge 0\), and \(x\in \mathcal{D}\). By the characterization of the generalized projection, we have
This implies that
Using inequality (3.13) and the fact that \(\langle x-z_{n} , z^{*} - Ax \rangle \geq 0\), we get that
Applying the monotonicity condition on A, equation (3.11), and the uniform continuity of J on bounded subset sets of \(\mathcal{Q}\), we have
which implies that \(\Omega _{w}(x_{n}) \subset VI(A,\mathcal{D})\).
Next, we show that \(\Omega _{w}(x_{n}) \subset F_{J}(S)\).
Since \(\lim_{n\rightarrow \infty } \Vert y_{n}-x_{n} \Vert =0\) and J is uniformly continuous on bounded set, and also \(\{r_{n}\}\subset \mathopen[a,\infty \mathclose[\) by assumption, we get that \(\lim_{n\rightarrow \infty } \frac{ \Vert Jy_{n} -J x_{n} \Vert }{r_{n}}=0\). But \(y_{n}=T_{r_{n}}^{S}x_{n}\). By Lemma 2.12(2), we have
Let \(\alpha \in \mathopen]0,1\mathclose]\) and \(y\in \mathcal{D}\). Then \(y_{\alpha }=\alpha y+(1-\alpha )x^{*}\in \mathcal{D}\). By inequality (3.14), Definition 2.3, and for some constant \(M_{0}>0\), we get that
Taking limit on both sides of inequality (3.15), we have
From inequality (3.16), we have
Using the fact that S is continuous and J is uniformly continuous on bounded subsets of \(\mathcal{Q}\), letting \(\alpha \downarrow 0\), we get from inequality (3.17) that
Set \(y:=J^{-1}(Sx^{*})\). Since \(\mathcal{Q}^{*}\) is strictly convex and \(J^{-1}\) is monotone, we get that
which implies that \(Sx^{*}=Jx^{*}\). Thus, \(x^{*}\in F_{J}(S)\), which implies that \(\Omega _{w}(x_{n})\subset F_{J}(S)\).
Finally, we show that \(\Omega _{w}(x_{n}) \subset EP(\Theta )\).
Since \(\lim_{n\rightarrow \infty } \Vert v_{n}-y_{n} \Vert =0\) and J is uniformly continuous on bounded sets, and also \(\{r_{n}\}\subset \mathopen[a,\infty\mathclose[\) by assumption, we get that \(\lim_{n\rightarrow \infty } \frac{ \Vert Jv_{n} -J y_{n} \Vert }{r_{n}}=0\). But \(v_{n}=K_{r_{n}}^{\Theta }y_{n}\). By a result of Blum and Otelli [3], we have
By \(A_{2}\), we have that \(\frac{1}{r_{n_{j}}}\langle y-v_{n_{j}}, Jv_{n_{j}} -Jy_{n_{j}}\rangle \ge \Theta (y,v_{n_{j}})\). Since \({y\mapsto \Theta (v,y)}\) is convex and lower semi-continuous, we obtain from the above inequality that \(0\ge \Theta (y,x^{*})\), \(\forall y\in \mathcal{D}\). For \(\alpha \in \mathopen]0,1\mathclose]\) and \(y\in \mathcal{D}\), letting \(y_{\alpha }=\alpha y+(1-\alpha )x^{*}\), then \(y_{\alpha }\in \mathcal{D}\), since \(\mathcal{D}\) is closed and convex. Hence,
By \(A_{1}\) and \(A_{4}\), we have
Letting \(\alpha \downarrow 0\), by \(A_{3}\), we obtain that \(\Theta (x^{*},y)\ge 0\). Hence, \(\Omega _{w}(x_{n}) \subset EP(\Theta )\). Using this and the fact that \(\Omega _{w}(x_{n}) \subset VI(A,\mathcal{D})\) and \(\Omega _{w}(x_{n}) \subset F_{J}(S)\), we conclude that
Claim 3. We show that \(\{x_{n}\}\) converges strongly to the point \(u:=\Pi _{\Omega }x_{0}\).
Since \(\{x_{n}\}\) is bounded, then there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{j}}\rightharpoonup w\) and
Now, applying Lemma 2.11, inequalities (3.4), (3.5), equation (3.12), and some \(M_{0}>0\), we have
By inequality (3.21), Lemmas 2.5 and 2.9, it follows from inequality (3.22) that \(\lim_{n\rightarrow \infty }\phi (u, x_{n})= 0\). Hence, by Lemma 2.7, we get that \(\lim_{n\rightarrow \infty } \Vert x_{n}-u \Vert = 0\).
Case 2. There exists a subsequence \(\{x_{m_{j}}\} \subset \{x_{n}\}\) such that \(\phi ( u,x_{m_{j}+1})> \phi ( u,x_{m_{j}})\) for all \(j\in \mathbb{N}\), \(u \in \Omega \). By Lemma 2.10, there exists a nondecreasing sequence \(\{n_{i}\}\subset \mathbb{N}\) such that \(\lim_{i \to \infty } n_{i}=\infty \) and the following inequalities hold:
Now, from inequality (3.6), we have
From inequality (3.23), with \(\sigma =(1-\beta )(1-\alpha _{n_{i}}) (1-\frac{\tau L}{c} )>0\) and \(\xi =(1-\alpha _{n_{i}})\beta >0\), we have
Since \(\alpha _{n_{i}} \to 0\) as \(i\to \infty \), we get that
Using similar arguments as in Case 1 above, we have the fact that
-
(1)
\(\lim_{i\rightarrow \infty } \Vert y_{n_{i}}-x_{n_{i}} \Vert = \lim_{i\rightarrow \infty } \Vert v_{n_{i}}-y_{n_{i}} \Vert = \lim_{i\rightarrow \infty } \Vert w_{n_{i}}-z_{n_{i}} \Vert = \lim_{i\rightarrow \infty } \Vert z_{n_{i}}-x_{n_{i}} \Vert = \lim_{i\rightarrow \infty } \Vert x_{n_{i}+1}-x_{n_{i}} \Vert =0\);
-
(2)
\(\Omega _{w}(x_{n_{i}})\subset \Omega :=F_{J}(S)\cap VI(A,\mathcal{D}) \cap EP(\Theta )\).
Next, we show that \(\{x_{i}\}\) converges strongly to a point \(u:=\Pi _{\Omega }x_{0}\).Since \(\{x_{n_{i}}\}\) is bounded, there exists a subsequence \(\{x_{n_{i_{j}}}\}\) of \(\{x_{n_{i}}\}\) such that \(x_{n_{i_{j}}}\rightharpoonup z \) as \(j\to \infty \) and
From inequality (3.22) and Lemma 2.10, we get that
Since \(\alpha _{n_{i}} >0\), for all \(i\geq 1\), we get that
By Lemma 2.5 and the fact that \(\lim_{i\to \infty } \Vert x_{n_{i}+1}-x_{n_{i}} \Vert =0\), we have
which implies that \(\limsup_{i\to \infty } \phi (u,x_{i}) \leq 0\). By Lemma 2.7, we conclude that \(x_{i} \to u\), as \(i\to \infty \). □
Corollary 3.2
Let \(\mathcal{Q}^{*}\) be the dual space of a uniformly smooth and two-uniformly convex real Banach space \(\mathcal{Q}\). Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). Let \({A:\mathcal{D} \to \mathcal{Q}^{*}}\) be a monotone and L-Lipschitz map, \(\Theta : \mathcal{D}\times \mathcal{D}\to \mathbb{R}\) be a bi-functional satisfying conditions \(A_{1}\) to \(A_{4}\), with \(K_{r_{n}}^{\Theta }\) as the resolvent map of Θ. Let \(B:\mathcal{D}\to \mathcal{Q}^{*}\) be a continuous monotone map with \(\Omega :=B^{-1}(0)\cap VI(A,\mathcal{D})\cap EP(\Theta )\neq \emptyset \) and \(\{x_{n}\}\) be a sequence generated by algorithm (3.1). Assume \(\tau \in \mathopen]0,1\mathclose[\) with \(\tau <\frac{c}{L}\), \(\{r_{n}\}\subset \mathopen[a,\infty \mathclose[\) for some \(a>0\) and \(\{\alpha _{n}\} \subset \mathopen]0,1\mathclose[\) with \(\lim \alpha _{n} =0\) and \(\sum \alpha _{n}=\infty \). Then the sequence \(\{x_{n}\}\) converges strongly to a point \(\Pi _{\Omega } x_{0}\).
Proof
Set \(S:=J-B\). Then we have that S is a continuous J-pseudo-contractive map with \({\Omega :=F_{J}(S)\cap VI(A,\mathcal{D})\cap EP(\Theta )=B^{-1}(0) \cap VI(A,\mathcal{D})\cap EP(\Theta )}\). Hence, the result follows from Theorem 3.1. □
4 Application to convex optimization problem
In this section, we apply our theorem to finding a minimizer of a convex function defined on a real Banach space.
Theorem 4.1
Let \(\mathcal{Q}^{*}\) be the dual space of a uniformly smooth and two-uniformly convex real Banach space \(\mathcal{Q}\). Let \(\mathcal{D}\) be a nonempty, closed, and convex subset of \(\mathcal{Q}\). Let \({A:\mathcal{D} \to \mathcal{Q}^{*}}\) be a monotone and L-Lipschitz map, \(\Theta : \mathcal{D}\times \mathcal{D}\to \mathbb{R}\) be a bi-functional satisfying conditions \(A_{1}\) to \(A_{4}\), with \(K_{r_{n}}^{\Theta }\) as the resolvent map of Θ. Let \(h:\mathcal{D}\to \mathcal{Q}\) be a Fréchet differentiable and convex functions and \(d h: \mathcal{D}\to \mathcal{Q}^{*}\) be a monotone and continuous map with \({\Omega :=d h^{-1}(0)\cap VI(A,\mathcal{D})\cap EP(\Theta )\neq \emptyset }\). Let \(\{x_{n}\}\) be a sequence generated by algorithm (3.1). Assume \(\tau \in \mathopen]0,1\mathclose[\) with \(\tau <\frac{c}{L}\), \(\{r_{n}\}\subset \mathopen[a,\infty \mathclose[\) for some \(a>0\) and \(\{\alpha _{n}\} \subset \mathopen]0,1\mathclose[\) with \(\lim \alpha _{n} =0\) and \(\sum \alpha _{n}=\infty \). Then the sequence \(\{x_{n}\}\) converges strongly to a point \(\Pi _{\Omega } x_{0}\).
Proof
Setting \(d h=B\) in Corollary 3.2, then \(J-d h\) is a continuous J-pseudo-contractive map. Furthermore, we get that \({d h^{-1}}(0)\cap VI(A,\mathcal{D})\cap EP(\Theta )= {\arg \inf } _{{ y\in \mathcal{D}}} h(y)\cap VI(A,\mathcal{D}) \cap EP(\Theta )\). Therefore, the result follows from Corollary 3.2. □
5 Numerical experiment
Here, we present an example to confirm the implementability of our algorithm (3.1).
Example 1
Let \(\mathcal{Q}=L^{\mathbb{R}}_{p}([0,1])\), \(1< p\le 2\).Then \(\mathcal{Q}^{*}=L^{\mathbb{R}}_{q}([0,1])\), \(\frac{1}{p}+\frac{1}{q}=1\). Let \(\mathcal{D}:=\overline{B_{p}(0,1)}\subset \mathcal{Q}\),
where \(A:\mathcal{D}\to \mathcal{Q}^{*}\) is a map defined by
Clearly, A monotone and L-Lipschitz and \(VI(A,\mathcal{D})=\{0\}\).
Let \(B:\mathcal{D}\to \mathcal{Q}^{*}\) be a map defined by
Clearly, B is monotone and continuous. Define \(S:=J-B\). Therefore, S is a continuous J-pseudo-contractive map with \(F_{J}(S)=\{0\}\). Furthermore, from Lemma 2.12, we have
Therefore, for any \(x\in \mathcal{Q}\) and for some \(z\in \mathcal{Q}\), we have
Let \(\Theta : \mathcal{D}\times \mathcal{D}\rightarrow \mathbb{R}\) be a map defined by \(\Theta (x,y)=\langle y-x,Jx\rangle \), \(\forall y\in \mathcal{D}\).
Clearly, Θ satisfies conditions \(A_{1}\) to \(A_{4}\) and \(0\in EP(\Theta )\). Moreover, from a result of Blum and Otelli, we have
Thus, for any \(x\in \mathcal{Q}\) and for some \(z\in \mathcal{D}\), we have that
Hence,
Therefore, \(\Omega :=F_{J}(S)\cap VI(A,\mathcal{D})\cap EP(\Theta )=\{0\}\).
Let \(P_{T}:\mathbb{R}\rightarrow T\) and \(P_{\mathcal{D}}:\mathbb{R}\rightarrow \mathcal{D}\) be maps defined by
where \(u:=Jx-\tau A(z)\) and \(a:= Jx-\tau A(x)-Jz\).
For implementation, we choose \(p=2\), \(\beta =\frac{1}{2}\), \(\tau =0.000868\), \(\alpha _{n}=\frac{1}{(n+5)}\), and \(r_{n}=10\), \(\forall n\ge 0\).
Then we compute the \((n+1)\)th iteration as follows:
Remark 3
Theorem 3.1 extends and improves the results in [17, 49] in the following ways:
- \((a)\):
-
Theorem 3.1 extends the results in [17, 49] from a real Hilbert space to a uniformly smooth and two-uniformly convex real Banach space.
- \((b)\):
-
In Theorem 3.1, a continuous J-pseudo-contractive map was studied, which contains the class of Lipschitz pseudo-contractive maps studied in [49].
- \((c)\):
-
The theorem in [17, 49] did not study equilibrium problems, whereas in Theorem 3.1 it was studied.
- \((d)\):
-
Finally, a subgradient-extragradient algorithm has an advantage in computing over the extragradient method proposed in [12] (see also [13]).
6 Conclusion
In this paper, we constructed a new Halpern-type subgradient-extragradient iterative algorithm whose sequence approximates a common solution of some nonlinear problems in Banach spaces. Also, the theorem is applied to approximate a common solution of a variational inequality, an equilibrium problem, and a convex minimization problem. Moreover, the theorem proved is applicable in \(L_{p}\) (\(l_{p}\) or \(W_{p}^{m}(\Omega )\) spaces, \(1< p\le 2\), where \(W_{p}^{m}(\Omega )\) denotes the usual Sobolev space. The analytical representations of the duality map in these spaces where \({p^{-1} + q^{-1} =1}\) is given in Theorem 3.1 of [55], page 36. Finally, a numerical example is given to illustrate the implementability of our algorithm.
Availability of data and materials
Data sharing is not applicable to this article.
References
Fichera, G.: Problemi elastostatici con vincoli unilaterali; il problema di Signorini con ambigue condizioni al contorno (Elastostatic problems with unilateral constraints; the Signorini’s problem with ambiguous boundary conditions). Mem. Accad. Naz. Lincei 7, 91–140 (1964)
Stampacchia, G.: Formes bilinéaires coercitives sur le ensembles convexes. C. R. Acad. Sci. Paris 258, 4413–4416 (1964)
Blum, E., Oettli, W.: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123–145 (1994)
Antonio, S.: Questioni di elasticità nonlinearizzata e semilinearizzata. Rend. Mat. 18, 1–45 (1959)
Ceng, L.C., Cho, S.Y., Qin, X., Yao, J.C.: A general system of variational inequalities with nonlinear mappings in Banach spaces. J. Nonlinear Convex Anal. 20, 395–410 (2019)
Kinderlehrer, D., Stampaccia, G.: An Iteration to Variational Inequalities and Their Applications. Academic Press, New York (1990)
Alber, Ya.: Metric and generalized projection operators in Banach spaces: properties and applications. In: Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, pp. 15–50. Dekker, New York (1996)
Ceng, L.C., Petrusel, A., Yao, J.C.: On Mann viscosity subgradient extragradient algorithms for fixed point problems of finitely many strict pseudocontractions and variational inequalities. Mathematics 7, Article ID 925 (2019) 14 pp.
Browder, F.E.: Nonlinear mappings of nonexpansive and accretive-type in Banach spaces. Bull. Am. Math. Soc. 73, 875–882 (1967)
Chidume, C.E., Nnyaba, U.V., Romanus, O.M., Ezea, C.G.: Convergence theorems for strictly J-pseudocontractions with application to zeros of Gamma-inverse strongly monotone maps. Panam. Math. J. 26, 57–76 (2016)
Yao, Y., Marino, G., Muglia, L.: A modified Korpelevich’s method convergent to the minimum-norm solution of a variational inequality. Optimization 63, 559–569 (2014)
Korpelevič, G.M.: An extragradient method for finding saddle points and for other problems. Èkon. Mat. Metody 12, 747–756 (1967) (in Russian)
Censor, Y., Gibali, A., Reich, S.: The subgradient extragradient method for solving variational inequalities in Hilbert space. J. Optim. Theory Appl. 148, 318–335 (2011)
Kraikaew, R., Saejung, S.: Strong convergence of the Halpern subgradient extragradient method for solving variational inequalities in Hilbert spaces. J. Optim. Theory Appl. 163, 399–412 (2014)
Ceng, L.C., Petrusel, A., Yao, J.C., Yao, Y.: Systems of variational inequalities with hierarchical variational inequality constraints for Lipschitzian pseudocontractions. Fixed Point Theory 20, 113–133 (2019)
Gibali, A., Reich, S., Zalas, R.: Outer approximation methods for solving variational inequalities in Hilbert space. Optimization 66, 417–437 (2017)
Alghamdi, M.A., Shahzad, N., Zegeye, H.: A scheme for a solution of a variational inequality for a monotone mapping and a fixed point of a pseudocontractive mapping. J. Inequal. Appl. 2015, 292 (2015). https://doi.org/10.1186/s13660-015-0804-3
Censor, Y., Gibali, A., Reich, S.: Strong convergence of subgradient extragradient methods for the variational inequality problem in Hilbert space. Optim. Methods Softw. 26, 827–845 (2011)
Chidume, C.E., Nnakwe, M.O.: Iterative algorithms for split variational inequalities and generalized split feasibility problems, with applications. J. Nonlinear Var. Anal. 3(2), 127–140 (2019)
Ezeora, J.N.: Convergence theorem for generalized mixed equilibrium problems and common fixed point problems for a family of multivalued mappings. Int. J. Anal. Appl. 10(1), 48–57 (2016)
Van Hieu, D.: Halpern subgradient extragradient method extended to equilibrium problems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 111, 823840 (2017). https://doi.org/10.1007/s13398-016-0328-9
Kumam, P.: A hybrid approximation method for equilibrium and fixed point problems for a monotone mapping and a nonexpansive. Nonlinear Anal. Hybrid Syst. 2, 1245–1255 (2008)
Moudafi, A.: Weak convergence theorems for nonexpansive mappings and equilibrium problems. J. Nonlinear Convex Anal. 9, 37–43 (2008)
Qin, X., Cho, Y.J., Kang, S.M.: Convergence theorems of common elements for equilibrium problems and fixed point problem in Banach spaces. J. Comput. Appl. Math. 225, 20–30 (2009)
Takahashi, W., Zembayashi, K.: Strong and weak convergence theorems for equilibrium problems and relatively nonexpansive mappings in Banach spaces. Nonlinear Anal. 70, 45–57 (2009)
Kato, T.: Nonlinear semigroups and evolution equations. J. Math. Soc. Jpn. 19, 511–520 (1967)
Chidume, C.E., Bello, A.U., Usman, B.: Iterative algorithms for zeros of strongly monotone Lipschitz maps in classical Banach spaces. SpringerPlus 4(1), 9
Chidume, C.E., Bello, A.U., Oyindo, M.O.: Convergence theorem for a countable family of multi-valued strictly pseudo-contractive mappings in Hilbert spaces. Int. J. Math. Anal. 9(27), 1331–1340 (2015)
Chidume, C.E., Ndambomve, P., Bello, A.U., Okpala, M.E.: The multiple-sets split equality fixed point problem for countable families of multi-valued demi-contractive mappings. Int. J. Math. Anal. 9(10), 453–469 (2015)
Chidume, C.E., Ndambomve, P., Bello, A.U., Okpala, M.E.: Strong convergence theorem for fixed points of nearly uniformly L-Lipschitzian asymptotically generalized Φ-hemicontractive mappings. Int. J. Math. Anal. 9(52), 2555–2569 (2015)
Bruck, R.E.: A strongly convergent iterative method for the solution of \(0\in Ux\) for a maximal monotone operator U in Hilbert space. J. Math. Anal. Appl. 48, 114–126 (1974)
Reich, S.: Extension problems for accretive sets in Banach spaces. J. Funct. Anal. 26, 378–395 (1977)
Schu, J.: Iterative construction of fixed points of asymptotically nonexpansive mappings. J. Math. Anal. Appl. 158, 407–413 (1991)
Kirk, W.A.: On local expansions and accretive mappings. Int. J. Math. Math. Sci. 6, 419–429 (1983)
Chidume, C.E., Mutangadura, S.A.: An example on the Mann iteration method for Lipschitz pseudocontrations. Proc. Am. Math. Soc. 129(8), 2359–2363 (2001)
Nnakwe, M.O., Ifebude, B.C.: A common fixed point of an infinite family of pseudo-contractive maps. Thai J. Math. 18(3), 1387–1400 (2020)
Rockarfellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1970). p. 242. ISBN 0-691-08069-0
Zegeye, H.: Strong convergence theorems for maximal monotone mappings in Banach spaces. J. Math. Anal. Appl. 343, 663–671 (2008)
Chidume, C.E., Idu, K.O.: Approximation of zeros of bounded maximal monotone maps, solutions of Hammerstein integral equations and convex minimization problems. Fixed Point Theory Appl. 2016, 97 (2016). https://doi.org/10.1186/s13663-016-0582-8
Liu, B.: Fixed point of strong duality pseudocontractive mappings and applications. Abstr. Appl. Anal. 2012, Article ID 623625 (2012). https://doi.org/10.1155/2012/623625
Su, Y., Xu, H.K.: A duality fixed point theorem and applications. Fixed Point Theory 13(1), 259–265 (2012)
Cheng, Q., Su, Y., Zhang, J.: Duality fixed point and zero point theorems and applications. Abstr. Appl. Anal. 2012, Article ID 391301 (2012). https://doi.org/10.1155/2012/391301
Chidume, C.E., Otubo, E.E., Ezea, C.G.: Strong convergence theorem for a common fixed point of an infinite family of J-nonexpansive maps with applications. Aust. J. Math. Anal. Appl. 13(1), 15, 1–13 (2016)
Chidume, C.E., Nnakwe, M.O.: A new Halpern-type algorithm for a generalized mixed equilibrium problem and a countable family of generalized-J-nonexpansive maps, with applications. Carpath. J. Math. 34(2), 191–198 (2018)
Chidume, C.E., Nnakwe, M.O., Otubo, E.E.: A new iterative algorithm for a generalized mixed equilibrium problem and a countable family of nonexpansive-type maps, with applications. Fixed Point Theory 21(1), 109–124 (2020)
Chidume, C.E., Nnakwe, M.O.: A strong convergence theorem for an inertial algorithm for a countable family of generalized nonexpansive maps. Fixed Point Theory 21(2), 441–452 (2020)
Nnakwe, M.O.: An algorithm for approximating a common solution of variational inequality and convex minimization problems. Optimization. https://doi.org/10.1080/02331934.2020.1777995
Chidume, C.E., Adamu, A., Chinwendu, L.O.: Strong convergence theorem for some nonexpansive mappings in certain Banach spaces. Thai J. Math. 18(3), 1537–1548 (2020)
Zegeye, H., Shahzad, H.: Solutions of variational inequality problems in the set of fixed points of pseudocontractive mappings. Carpath. J. Math. 30, 257–265 (2014)
Xu, H.K.: Inequalities in Banach spaces with applications. Nonlinear Anal. 16(12), 1127–1138 (1991)
Kamimura, S., Takahashi, W.: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 13, 938–945 (2002)
Rockafellar, R.T.: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 149, 75–88 (1970)
Xu, H.K.: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66(2), 240–256 (2002)
Mainge, P.E.: The viscosity approximation process for quasi-nonexpansive mappings in Hilbert spaces. Comput. Math. Appl. 59, 74–79 (2010)
Alber, Y., Ryazantseva, I.: Nonlinear Ill Posed Problems of Monotone Type. Springer, London (2006)
Acknowledgements
The authors appreciate the support of their institution and AfDB. Also, the authors are grateful to the anonymous referees and the editor for their valuable comments and suggestions that helped to improve the quality of this paper.
Funding
This work is supported from AfDB Research Grant Funds to AUST.
Author information
Authors and Affiliations
Contributions
All authors contributed equally. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bello, A.U., Nnakwe, M.O. An algorithm for approximating a common solution of some nonlinear problems in Banach spaces with an application. Adv Differ Equ 2021, 109 (2021). https://doi.org/10.1186/s13662-021-03268-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03268-1