 Research
 Open Access
 Published:
A scheme for a solution of a variational inequality for a monotone mapping and a fixed point of a pseudocontractive mapping
Journal of Inequalities and Applications volumeÂ 2015, ArticleÂ number:Â 292 (2015)
Abstract
We introduce an iterative process which converges strongly to a common point of the solution set of a variational inequality problem for a Lipschitzian monotone mapping and the fixed point set of a continuous pseudocontractive mapping in Hilbert spaces. In addition, a numerical example which supports our main result is presented. Our theorems improve and unify most of the results that have been proved for this important class of nonlinear operators.
1 Introduction
Let C be a subset of a real Hilbert space H. A mapping \(T:C\to H\) is called Lipschitzian if there exists \(L>0\) such that \(\TxTy\\leq L\xy\\), \(\forall x,y\in C\). If \(L=1\) then T is called nonexpansive and if \(L\in(0,1)\) then T is called a contraction. The operator T is called pseudocontractive if for each \(x,y\in C\) we have
T is called strongly pseudocontractive if there exists \(k\in(0,1)\) such that
and T is said to be a kstrict pseudocontractive if there exists a constant \(0\leq k <1\) such that
Observe that the class of pseudocontractive mappings is a more general class of mappings in the sense that it includes the classes of nonexpansive, strongly pseudocontractive, and kstrict pseudocontractive mappings.
Interest in pseudocontractive mappings stems mainly from their firm connection with the important class of nonlinear monotone mappings, where a mapping A with domain \(D(A) \) and range \(R(A) \) in H is called monotone if
A mapping A is called Î±inverse strongly monotone if there exists a positive real number Î± such that
A mapping A is called Î±strongly monotone if there exists a positive real number Î± such that
It is obvious to see that the class of monotone mappings includes the class of Î±inverse strongly monotone and Î±strongly monotone mappings. Furthermore, we observe that any Î±inverse strongly monotone mappings A is a monotone and \(\frac{1}{\alpha}\)Lipschitzian mapping.
We observe that A is monotone if and only if \(T:=IA\) is pseudocontractive and thus a zero of A, \(N(A):=\{x\in D(A):Ax=0\}\), is a fixed point of T, \(F(T):=\{ x\in D(T):Tx=x\}\). It is now well known that if A is monotone then the solutions of the equation \(Ax=0 \) correspond to the equilibrium points of some evolution systems. Consequently, considerable research efforts have been devoted to iterative methods for approximating fixed points of T when T is nonexpansive or pseudocontractive (see, e.g., [1â€“10] and the references therein).
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. The classical variational inequality problem is to find a \(u\in C\) such that \(\langle vu, Au\rangle\geq0\) for all \(v\in C\), where A is a nonlinear mapping. The set of solutions of the variational inequality is denoted by \(VI(C, A)\). In the context of the variational inequality problem, this implies that \(u \in VI(C, A)\) if and only if \(u = P_{C}(u  \lambda Au)\), \(\forall\lambda>0\), where \(P_{C}\) is a metric projection of H into C.
It is now well known that variational inequalities cover disciplines such as partial differential equations, optimal control, optimization, mathematical programming, mechanics and finance. See, for instance, [11â€“16].
Variational inequalities were introduced and studied by Stampacchia [17] in 1964. Since then, several numerical methods have been developed for solving variational inequalities; see, for instance, [12, 15, 18â€“23] and the references therein.
In 2003, Takahashi and Toyoda [24] introduced the following iterative scheme under the assumption that a set \(C\subset H\) is closed and convex, a mapping T of C into itself is nonexpansive, and a mapping A of C into H is Î±inverse strongly monotone:
for all \(n\geq0\), where \(\{\alpha_{n}\}\) is a sequence in \((0, 1)\) and \(\{\lambda_{n}\}\) is a sequence in \((0, 2\alpha)\). They proved that if \(F(T)\cap VI(C,A)\) is nonempty, then the sequence \(\{x_{n}\}\) generated by (1.2) converges weakly to some \(z\in F(T)\cap VI(C,A)\).
In order to obtain a strong convergence theorem, Iiduka and Takahashi [19] reconsidered the common element problem via the following iterative algorithm:
for all \(n\geq0\), where \(T:C\to C\) is a nonexpansive mapping, \(A:C\to H\) is a Î±inverse strongly monotone mapping, \(\{\alpha_{n}\}\) is a sequence in \((0, 1)\) and \(\{\lambda_{n}\}\) is a sequence in \((0, 2\alpha)\). They proved that if \(F(T)\cap VI(C,A)\) is nonempty, then the sequence \(\{x_{n}\}\) generated by (1.3) converges strongly to some \(z\in F(T)\cap VI(C,A)\).
In 2006, Nadezhkina and Takahashi [25] introduced the following hybrid method for finding an element of \(F(S) \cap V I(C,A)\) and established the following strong convergence theorem for the sequence generated by this process.
Theorem NT
[25]
Let C be a closed convex subset of a real Hilbert space H. Let A be a Lipschitzian monotone mapping of C into H with Lipschitz constant L and let S be a nonexpansive mapping of C into itself such that \(F(S) \cap V I(C,A)\neq\emptyset\). Let \(\{x_{n}\}\), \(\{y_{n}\}\) and \(\{z_{n}\}\) be sequences generated by
for every \(n \geq0\), where \(\{\lambda_{n}\} \subset [a, b]\) for some \(a, b \in (0, \frac{1}{L})\) and \(\{\alpha_{n}\}\subset [0, c]\) for some \(c \in[0, 1)\). Then the sequences \(\{x_{n}\}\), \(\{y_{n}\}\) and \(\{z_{n}\}\) converge strongly to the same element of \(P_{F(S)\cap V I(C,A)}x\).
Our concern now is the following: can an approximation sequence \(\{x_{n}\}\) be constructed which converges to a common point of the solution set of a variational inequality problem for a monotone mapping and the fixed point set of a continuous pseudocontractive mapping?
In this paper, it is our purpose to introduce an iterative scheme which converges strongly to a common element of the solution set of a variational inequality problem for Lipschitzian monotone mapping and the fixed point set of a continuous pseudocontractive mapping in Hilbert spaces. Our results provide an affirmative answers to our concern. In addition, a numerical example which supports our main result is presented. Our theorems will extend and unify most of the results that have been proved for this important class of nonlinear operators.
2 Preliminaries
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. It is well known that for every point \(x\in H\), there exists a unique nearest point in C, denoted by \(P_{C}x\), i.e.,
The mapping \(P_{C}\) is called the metric projection of H onto C and characterized by the following properties (see, e.g., [26]):
In the sequel we shall make use of the following lemmas.
Lemma 2.1
[27]
Let H be a real Hilbert space. Then, for all \(x,y \in H\) and \(\alpha \in[0,1]\) the following equality holds:
Lemma 2.2
Let H be a real Hilbert space. Then for any given \(x,y\in H\), the following inequality holds:
Lemma 2.3
[28]
Let \(\{a_{n}\}\) be a sequence of nonnegative real numbers satisfying the following relation:
where \(\{\alpha_{n}\} \subset(0,1)\) and \(\{\delta_{n}\}\subset \mathbb{R}\) satisfying the following conditions: \(\lim_{n\to \infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty} \alpha_{n}=\infty\), and \(\limsup_{n\to\infty}\delta_{n}\leq0\). Then \(\lim_{n\to\infty}a_{n}=0\).
Lemma 2.4
[11]
Let \(\{a_{n}\}\) be sequences of real numbers such that there exists a subsequence \(\{n_{i}\}\) of \(\{n\}\) such that \(a_{n_{i}}< a_{{n_{i}}+1}\), for all \(i\in \mathbb{N}\). Then there exists a nondecreasing sequence \(\{m_{k}\} \subset \mathbb{N}\) such that \(m_{k}\to\infty\) and the following properties are satisfied by all (sufficiently large) numbers \(k\in \mathbb{N}\):
In fact, \(m_{k}=\max\{j\leq k:a_{j}< a_{j+1}\}\).
Lemma 2.5
[29]
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to H\) be continuous pseudocontractive mapping. For \(r>0\) and \(x\in H\), define a mapping \(F_{r}:H\to C\) as follows:
for all \(x\in H\). Then the following hold:

(1)
\(F_{r}\) is singlevalued;

(2)
\(F_{r}\) is firmly nonexpansive type mapping, i.e., for all \(x,y\in H\),
$$\F_{r}xF_{r}y\^{2} \leq\langle F_{r}xF_{r}y,xy\rangle; $$ 
(3)
\(F(F_{r})=F(T) \);

(4)
\(F(T)\) is closed and convex.
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to H\), be a continuous pseudocontractive mapping. Then, in what follows, \(T_{r_{n}}:H\to C\) are defined as follows: For \(x\in H\) and \(\{r_{n}\}\subset [e,\infty)\), for some \(e>0\), define
Now, we prove our main convergence theorem.
3 Main result
Theorem 3.1
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to C\) be a continuous pseudocontractive mapping. Let \(A: C\to H\) be a Lipschitzian monotone mapping with Lipschitz constant L. Assume that \(\mathcal{F}=F(T)\cap VI(C,A)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(P_{C}\) is a metric projection from H onto C, \(\gamma_{n}\subset [a,b]\subset (0,\frac{1}{L})\), and \(\{a_{n}\}, \{b_{n}\}, \{c_{n}\} \subset(a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset (0,c)\subset(0,1)\) satisfying the following conditions: (i) \(a_{n}+b_{n}+c_{n}=1\), (ii) \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha _{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}\) of \(\mathcal {F}\) nearest to u.
Proof
Let \(u_{n}=P_{C}(x_{n}\gamma_{n}Az_{n})\) and \(w_{n}=T_{r_{n}}x_{n}\) for all \(n\geq 0\). Let \(p\in\mathcal{F}\). Then from Lemma 2.5 we get \(\w_{n}p\\leq \T_{r_{n}}x_{n}T_{r_{n}}p\\leq\x_{n}p\\). In addition, from (2.3) we have
and from (2.2), we obtain
Thus, we get
Furthermore, from (3.1) and Lemma 2.1 we have the following:
and using (3.3) we get
Since \(\gamma_{n}L<1\), from (3.5) we get
Thus, by induction,
which implies that \(\{x_{n}\}\) and \(\{z_{n}\}\) are bounded.
Let \(x^{*}= P_{\mathcal{F}}(u)\). Then, using (3.1), Lemma 2.2, and following the methods used to get (3.5) we obtain that
which implies that
Now, we consider two cases.
Case 1. Suppose that there exists \(n_{0}\in \mathbb{N}\) such that \(\{ \x_{n}x^{*}\\}\) is decreasing for all \(n\geq n_{0}\). Then we get \(\{ \x_{n}x^{*}\\}\) is convergent. Thus, from (3.7) we have
and
Moreover, from the fact that \(\alpha_{n}\to0\), as \(n\to\infty\), (3.1), (3.9), and (3.10) we have
as \(n\to\infty\).
Furthermore, since \(\{x_{n+1} \}\) is bounded subset of H which is reflexive, we can choose a subsequence \(\{x_{n_{i}+1}\}\) of \(\{ x_{n+1}\}\) such that \(x_{n_{i}+1}\rightharpoonup z\) and \(\limsup_{n\to\infty}\langle ux^{*}, x_{n+1}x^{*}\rangle=\lim_{i\to\infty }\langle ux^{*},x_{n_{i}+1}x^{*}\rangle\). This implies from (3.11) that \(x_{n_{i}}\rightharpoonup z\).
Now, we show that \(z\in VI(C,A)\). But, since A is Lipschitz continuous, we have \(Az_{n}Au_{n}\to0\), as \(n\to\infty\) and from (3.9) and (3.10) we have \(u_{n_{i}}\rightharpoonup z\) and \(z_{n_{i}}\rightharpoonup z\). Let
Then T is maximal monotone and \(0\in Tv\) if and only if \(v\in VI(C,A)\) (see, e.g. [30]). Let \((v,w)\in G(T)\). Then we have \(w\in Tv=Av+N_{C}v\) and hence \(wAv\in N_{C}v\). So, we have \(\langle vu,wAv\rangle\geq0\), for all \(u\in C\). On the other hand, from \(u_{n}=P_{C}(x_{n}\gamma_{n}Az_{n})\) and \(v\in C\), we have \(\langle x_{n}\gamma_{n}Az_{n}u_{n}, u_{n}v\rangle\geq0\), and hence, \(\langle vu_{n},(u_{n}x_{n})/\gamma_{n}+Az_{n}\rangle\geq0\). Therefore, from \(wAv\in N_{C}v\) and \(u_{n_{i}}\in C\) we have
Hence, we have \(\langle vz,w\rangle\geq0\), as \(i\to\infty\). Since T is maximal monotone, we have \(z\in T^{1}(0)\) and hence \(z\in VI(C,A)\).
Now, we show that \(z\in F(T)\). Note that, from the definition of \(w_{n_{i}}\), we have
Put \(z_{t}=tv+(1t)z\) for all \(t\in(0,1]\) and \(v\in C\). Consequently, we get \(z_{t}\in C\). From (3.13) and pseudocontractivity of T it follows that
Then, since \(w_{n}x_{n}\to0\), as \(n\to\infty\) we obtain \(\frac{w_{n_{i}}x_{n_{i}}}{r_{n_{i}}}\to0\) as \(i\to\infty\). Thus, it follows that
and hence
Letting \(t\to0\) and using the fact that T is continuous we obtain
Now, let \(v=Tz\). Then we obtain \(z=Tz\) and hence \(z\in F(T)\). Therefore, by (2.2) we immediately obtain
Then it follows from (3.8), (3.14), and Lemma 2.3 that \(\x_{n}x^{*}\\to0\), as \(n\to\infty\). Consequently, \(\{x_{n}\}\) converges to the minimum norm point of \(\mathcal{F}\).
Case 2. Suppose that there exists a subsequence \(\{ n_{i}\}\) of \(\{n\}\) such that
for all \(i\in\mathbb{N}\). Then, by Lemma 2.4, there exists a nondecreasing sequence \(\{m_{k}\}\subset\mathbb{N}\) such that \(m_{k}\to\infty\), and
for all \(k\in\mathbb{N}\). Now, from (3.7) we get
and
Thus, like in Case 1, we obtain \(x_{m_{k}+1}x_{m_{k}}\to0\) and
Now, from (3.8) we have
and hence (3.15) and (3.19) imply that
But since that \(\alpha_{m_{k}}>0\), we obtain
Then, using (3.18), we get \(\ x_{m_{k}}x^{*}\\to0\), as \(k\to\infty\). This together with (3.19) imply that \(\ x_{{m_{k}}+1}x^{*}\\to0\), as \(k\to\infty\). But \(\ x_{k}x^{*}\\leq \ x_{{m_{k}}+1}x^{*}\\), for all \(k\in\mathbb {N}\), thus we obtain \(x_{k}\to x^{*}\). Therefore, from the above two cases, we can conclude that \(\{x_{n}\}\) converges strongly to the point \(x^{*}\) of \(\mathcal{F}\) nearest to u.â€ƒâ–¡
If, in Theorem 3.1, we assume that \(T=I\), the identity mapping on C, we obtain the following corollary.
Corollary 3.2
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(A: C\to H\) be a Lipschitzian monotone mapping with Lipschitz constant L. Assume that \(VI(C,A)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(P_{C}\) is a metric projection from H onto C, \(\gamma_{n}\subset [a,b]\subset (0,\frac{1}{L})\), and \(\{a_{n}\} \subset(a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset(0,c)\subset(0,1)\) satisfying \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha_{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}=P_{VI(C,A)}(u)\).
If, in Theorem 3.1, we assume that \(A=0\), we obtain the following corollary, which is Theorem 3.1 of [29].
Corollary 3.3
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to C\) be a continuous pseudocontractive mapping. Assume that \(F(T)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(\{a_{n}\} \subset(a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset (0,c)\subset(0,1)\) satisfying \(\lim_{n\to\infty} \alpha _{n}=0\), \(\sum\alpha_{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}=P_{F(T)}(u)\).
If, in Theorem 3.1, we assume that A is Î±inverse strongly monotone then A is Lipschitzian and we obtain the following corollary.
Corollary 3.4
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to C\) be a continuous pseudocontractive mapping. Let \(A: C\to H\) an Î±inverse strongly monotone mapping. Assume that \(\mathcal{F}=F(T)\cap VI(C,A)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(P_{C}\) is a metric projection from H onto C, \(\gamma_{n}\subset [a,b]\subset (0,\alpha)\), and \(\{a_{n}\}, \{b_{n}\}, \{c_{n}\} \subset (a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset(0,c)\subset(0,1)\) satisfying (i) \(a_{n}+b_{n}+c_{n}=1\), (ii) \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha _{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}=P_{\mathcal{F}}(u)\).
If, in Theorem 3.1, we assume that \(C=H\), a real Hilbert space, then \(P_{C}\) becomes identity mapping and \(VI(C,A)=A^{1}(0)\), and hence we get the following corollary.
Corollary 3.5
Let H be a real Hilbert space. Let \(T:H\to H\) be a continuous pseudocontractive mapping. Let \(A: H\to H\) be a Lipschitzian monotone mapping with Lipschitz constant L. Assume that \(\mathcal{F}=F(T)\cap A^{1}(0)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(\gamma_{n}\subset [a,b]\subset (0,\frac{1}{L})\) and \(\{a_{n}\}, \{ b_{n}\}, \{c_{n}\} \subset(a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset (0,c)\subset(0,1)\) satisfying the following conditions: (i) \(a_{n}+b_{n}+c_{n}=1\), (ii) \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha _{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}\) of \(\mathcal {F}\) nearest to u.
We also note that the method of proof of Theorem 3.1 provides the following theorem for approximating the common minimumnorm point of the solution set of a variational inequality problem for monotone mapping and fixed point set of a continuous pseudocontractive mapping.
Theorem 3.6
Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let \(T:C\to C\) be a continuous pseudocontractive mapping. Let \(A: C\to H\) be a Lipschitzian monotone mapping with Lipschitz constant L. Assume that \(\mathcal{F}=F(T)\cap VI(C,A)\) is nonempty. Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(P_{C}\) is a metric projection from H onto C, \(\gamma_{n}\subset [a,b]\subset (0,\frac{1}{L})\), and \(\{a_{n}\}, \{b_{n}\}, \{c_{n}\} \subset (a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset(0,c)\subset(0,1)\) satisfying the following conditions: (i) \(a_{n}+b_{n}+c_{n}=1\), (ii) \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha _{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the minimumnorm point \(x^{*}\) of \(\mathcal{F}\).
Remark 3.7
Theorem 3.1 extends Theorem 3.1 of Takahashi and Toyoda [24] and Theorem 3.2 of Yao et al. [22], Theorem 3.1 of Iiduka and Takahashi [19] and the results of Nadezhkina and Takahashi [25] in the sense that our scheme provides a common point of the solution set of variational inequalities for a more general class of monotone mappings and/or the fixed point set of a more general class of continuous pseudocontractive mappings. Our results provide an affirmative answer to our concern.
4 Applications to minimization problems
In this section, we study the problem of finding a minimizer of a continuously FrÃ©chet differentiable convex functional in Hilbert spaces. Let f be a continuously FrÃ©chet differentiable convex functionals of H into \((\infty,\infty)\) such that the gradient of f, \((\bigtriangledown f)\) is continuous and monotone. For \(\gamma>0\), and \(x\in H\), let \(T_{r_{n}}x:=\{z\in H:\langle yz,(I (\bigtriangledown f))z\rangle \frac{1}{\gamma}\langle yz, (1+\gamma)zx\rangle\leq0, \forall y\in H\}\). Then the following theorem holds.
Theorem 4.1
Let H be a real Hilbert space. Let f be a continuously FrÃ©chet differentiable convex functionals of H into \((\infty,\infty)\) such that the gradient of f, \((\bigtriangledown f)\) is continuous and monotone such that \(\mathcal{N}:=\arg\min_{y\in C}f(y)\neq\emptyset\). Let \(\{x_{n}\}\) be a sequence generated from an arbitrary \(x_{0},u\in C\) by
where \(\{a_{n}\} \subset(a,b)\subset (0,1)\), \(\{\alpha_{n}\} \subset (0,c)\subset(0,1)\) satisfying \(\lim_{n\to\infty} \alpha_{n}=0\), \(\sum\alpha_{n}=\infty\). Then \(\{x_{n}\}\) converges strongly to the point \(x^{*}\in\mathcal{N}\) nearest to u.
Proof
We note that \(T:=(I\bigtriangledown f)\) is continuous pseudocontractive mapping with \(F(T)= (\bigtriangledown f)^{1}(0)\) and from the convexity and FreÄ‡het differentiability of f we see that the zero of â–½f is given by \(\mathcal{N}=\arg\min_{y\in C}f(y)\). Thus, the conclusion follows from Corollary 3.3.â€ƒâ–¡
5 Numerical example
In this section, we give an example of a continuous pseudocontractive mapping T and a Lipschitzian monotone mapping with all the conditions of Theorem 3.1 and some numerical experiment results to explain the conclusion of the theorem.
Example 5.1
Let \(H=\mathbb{R}\) with Euclidean norm. Let \(C=[2,6]\) and \(T:C\to\mathbb{R}\) be defined by
and
Then we easily see that T is continuous pseudocontractive with \(F(T)=[0,6]\).
In addition, we observe that A is monotone with \(VI(C,A)= [2,\frac{1}{2}]\). Next, we show that A it is Lipschitzian with \(L=36\). If \(x,y\in[2,\frac{1}{2}]\) then
If \(x,y\in(\frac{1}{2},6]\) then
If \(x\in[2,\frac{1}{2}]\) and \(y\in(\frac{1}{2},6]\) then
Thus, we see that A is a Lipschtzian mapping with \(L=36\). It is also clear that \(F(T)\cap VI(C,A)= [0,1]\cap[2,\frac {1}{2}]=[0,\frac{1}{2}]\).
Furthermore, if \(x\in(0,6]\), the inequality
shows that we may take \(T_{r}(x)=x\). If \(x\in[2, 0]\), inequality (5.2) gives that
which implies that \(T_{r}(x)=z=\frac{x}{4r+1}\) and hence we get
Now, if we take, \(\alpha_{n}=\frac{1}{n+100}\), \(a_{n}=b_{n}=\frac{1}{n+100}+0.1\), \(c_{n}= 0.8\frac{2}{n+100}\); \(r_{n}=10\), \(\forall n\geq1\) and \(\gamma_{n}=0.01+\frac{1}{n+100}\), we observe that the conditions of Theorem 3.1 are satisfied and Scheme (3.1) reduces to
When \(u=0.1\) and \(x_{0}=0.8\) we see that Scheme (5.3) converges strongly to \(x^{*}=0.0\) as shown in Figure 1.
When \(u=0.6\) and \(x_{0}=2.0\) we see that Scheme (5.3) converges strongly to \(x^{*}=0.5\) as shown in Figure 2.
References
Browder, FE, Petryshyn, WV: Construction of fixed points of nonlinear mappings in Hilbert space. J. Math. Anal. Appl. 20, 197228 (1967)
Chidume, CE, Mutangadura, S: An example on the Mann iteration methods for Lipschitzian pseudocontractions. Proc. Am. Math. Soc. 129, 23592363 (2001)
Chidume, CE, Zegeye, H, Shahzad, N: Convergence theorems for a common fixed point of a finite family of nonself nonexpansive mappings. Fixed Point Theory Appl. 2005, 233241 (2005)
Halpern, B: Fixed points of nonexpanding maps. Bull. Am. Math. Soc. 73, 957961 (1967)
Ishikawa, S: Fixed points by a new iteration method. Proc. Am. Math. Soc. 44, 147150 (1974)
Ishikawa, S: Fixed points and iteration of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 59, 6571 (1976)
Lions, PL: Approximation de points fixes de contractions. C. R. Acad. Sci. Paris SÃ©r. AB 284, 13571359 (1977)
MatinezYanes, C, Xu, HK: Strong convergence of the CQ method for fixed point processes. Nonlinear Anal. 64, 24002411 (2006)
Reich, S: Weak convergence theorems for nonexpansive mappings in Banach spaces. J. Math. Anal. Appl. 67, 274276 (1979)
Qihou, L: The convergence theorems of the sequence of Ishikawa iterates for hemicontractive mappings. J. Math. Anal. Appl. 148, 5562 (1990)
Mainge, PE: Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization. SetValued Anal. 16, 899912 (2008)
Noor, MA: A class of new iterative methods for solving mixed variational inequalities. Math. Comput. Model. 31, 1119 (2000)
Yamada, I: The hybrid steepestdescent method for variational inequality problems over the intersection of the fixed point sets of nonexpansive mappings. In: Butnariu, D, Censor, Y, Reich, S (eds.) Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications, pp.Â 473504. NorthHolland, Amsterdam (2001)
Yao, Y, Xu, HK: Iterative methods for finding minimumnorm fixed points of nonexpansive mappings with applications. Optimization 60, 645658 (2011)
Zegeye, H, Shahzad, N: Approximating common solution of variational inequality problems for two monotone mappings in Banach spaces. Optim. Lett. 5, 691704 (2011)
Zegeye, H, Shahzad, N: Strong convergence theorems for a common zero of a countably infinite family of Î»inverse strongly accretive mappings. Nonlinear Anal. 71, 531538 (2009)
Stampacchia, G: Formes bilineaires coercivites sur les ensembles convexes. C. R. Acad. Sci. Paris 258, 44134416 (1964)
Cai, G, Bu, S: An iterative algorithm for a general system of variational inequalities and fixed point problems in quniformly smooth Banach spaces. Optim. Lett. 7, 267287 (2013)
Iiduka, H, Takahashi, W: Strong convergence theorems for nonexpansive mappings and inversestrongly monotone mappings. Nonlinear Anal. 61, 341350 (2005)
Iiduka, H, Takahashi, W, Toyoda, M: Approximation of solutions of variational inequalities for monotone mappings. Panam. Math. J. 14, 4961 (2004)
Kinderlehrer, D, Stampaccia, G: An Iteration to Variational Inequalities and Their Applications. Academic Press, New York (1990)
Yao, Y, Liou, YC, Kang, SM: Algorithms construction for variational inequalities. Fixed Point Theory Appl. 2011, Article ID 794203 (2011)
Zegeye, H, Shahzad, N: A hybrid approximation method for equilibrium, variational inequality and fixed point problems. Nonlinear Anal. Hybrid Syst. 4, 619630 (2010)
Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J.Â Optim. Theory Appl. 118, 417428 (2003)
Nadezhkina, N, Takahashi, W: Strong convergence theorem by a hybrid method for nonexpansive mappings and Lipschitzcontinuous monotone mappings. SIAM J. Optim. 16, 12301241 (2006)
Takahashi, W: Nonlinear Functional Analysis. Kindikagaku, Tokyo (1988)
Zegeye, H, Shahzad, N: Convergence of Mannâ€™s type iteration method for generalized asymptotically nonexpansive mappings. Comput. Math. Appl. 62, 40074014 (2011)
Xu, HK: Another control condition in an iterative method for nonexpansive mappings. Bull. Aust. Math. Soc. 65, 109113 (2002)
Zegeye, H: An iterative approximation method for a common fixed point of two pseudocontractive mappings. ISRN Math. Anal. 2011, Article ID 621901 (2011)
Rockafellar, RT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 149, 7588 (1970)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant no. (513036RG). The authors, therefore, acknowledge with thanks DSR technical and financial support. The authors are grateful to the reviewers for their meticulous reading of the paper.
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 and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 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
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/s1366001508043
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001508043
MSC
 47H09
 47H10
 47J20
 65J15
 47L25
Keywords
 fixed points of mappings
 monotone mappings
 pseudocontractive mappings
 strong convergence