Abstract
In this article, we propose a new iterative method for approximating a common element of the set of common fixed points of a finite family of k-strictly pseudononspreading single-valued mappings, the set of common fixed points of a finite family of quasi-nonexpansive multi-valued mappings, and the set of common solutions of a finite family of variational inequality problems in Hilbert spaces. Furthermore, we prove that the proposed iterative method converges strongly to a common element of the above three sets, and we also apply our results to complementarity problems. Finally, we give two numerical examples to support our main result.
Similar content being viewed by others
1 Introduction
Let D be a nonempty subset of a real Hilbert space X. Let \(CB(D)\) denote the families of nonempty closed bounded subsets of D. The Hausdorff metric on \(CB(D)\) is defined by
where \(\operatorname{dist}(x,D)=\inf\{\|x-y\|:y\in D\}\). Let \(T:D\to CB(D)\) be a multi-valued mapping. An element \(x\in D\) is said to be a fixed point of T if \(x\in Tx\). The set of fixed points of T will be denoted by \(F(T)\). A multi-valued mapping \(T:D\to CB(D)\) is called
-
(i)
nonexpansive if
$$H(Tx,Ty)\leq\|x-y\| \quad\mbox{for all }x,y\in D; $$ -
(ii)
quasi-nonexpansive if \(F(T)\ne\emptyset\) and
$$H(Tx,Tp)\leq\|x-p\| \quad\mbox{for all }x\in D \mbox{ and }p\in F(T); $$ -
(iii)
L-Lipschitzian if there exists \(L > 0\) such that
$$H(Tx,Ty)\leq L\|x-y\| \quad\mbox{for all }x,y\in D. $$
It is clear that every nonexpansive multi-valued mapping T with \(F(T)\ne\emptyset\) is quasi-nonexpansive. It is known that if T is a quasi-nonexpansive multi-valued mapping, then \(F(T)\) is closed. In general, the fixed point set of a quasi-nonexpansive multi-valued mapping T is not necessary to be convex. In the next lemma, we show that \(F(T)\) is convex under the assumption that \(Tp=\{p\}\) for all \(p\in F(T)\). The proof of this fact is very easy, therefore we omit it.
Lemma 1.1
Let D be a nonempty closed convex subset of a real Hilbert space X. Assume that \(T:D\to CB(D)\) is a quasi-nonexpansive multi-valued mapping. If \(Tp=\{p\}\) for all \(p\in F(T)\), then \(F(T)\) is convex.
The fixed point theory of multi-valued mappings is much more complicated and harder than the corresponding theory of single-valued mappings. However, some classical fixed point theorems for single-valued mappings have already been extended to multi-valued mappings; see [1, 2]. The recent fixed point results for multi-valued mappings can be found in [3–11] and the references cited therein.
For a single-valued case, a mapping \(t:D\to D\) is called nonexpansive if \(\|tx-ty\|\leq\|x-y\|\) for all \(x,y\in D\). An element \(x\in D\) is called a fixed point of t if \(x=tx\). Recall that a single-valued mapping \(t:D\to D\) is said to be nonspreading [12, 13] if
In 2010, Kurokawa and Takahashi [14] obtained a weak mean ergodic theorem of Baillon’s type for nonspreading single-valued mappings in Hilbert spaces. They also proved a strong convergence theorem for this class of single-valued mappings using an idea of mean convergence in Hilbert spaces. Later in 2011, Osilike and Isiogugu [15] introduced a new class of nonspreading type of mappings, which is more general than the class studied in [14], as follows: A single-valued mapping \(t:D\to D\) is called k-strictly pseudononspreading if there exists \(k\in[0,1)\) such that
Obviously, every nonspreading mapping is k-strictly pseudononspreading. Osilike and Isiogugu proved weak and strong convergence theorems for this mapping in Hilbert spaces. They also provided a property of a k-strictly pseudononspreading mapping as follows.
Lemma 1.2
([15])
Let D be a nonempty closed convex subset of a real Hilbert space X, and let \(t : D\to D\) be a k-strictly pseudononspreading mapping. If \(F(t)\ne\emptyset\), then it is closed and convex.
Many researchers studied the existence and convergence theorems of those single-valued mappings in both Hilbert spaces and Banach spaces (e.g., see [16–23]).
The problem of finding common fixed points has been extensively studied by mathematicians. To deal with a fixed point problem of a family of nonlinear mappings, several ways have appeared in the literature. For example, in 1999, Atsushiba and Takahashi [24] introduced a new mapping, called W-mapping, for finding a common fixed point of a finite family of nonexpansive mappings. This mapping is defined as follows. Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of nonexpansive mappings of D into itself. Let \(W : D\to D\) be a mapping defined by
where I is the identity mapping of D and \(\{\beta_{i}\}_{i=1}^{N}\) is a sequence in \((0,1)\). This mapping is called the W-mapping generated by \(t_{1}, t_{2},\ldots, t_{N}\) and \(\beta_{1},\beta_{2},\ldots,\beta_{N}\). They also proved that if X is a strictly convex Banach space, then \(F(W) = \bigcap_{i=1}^{N} F(t_{i})\).
In 2009, Kangtunyakarn and Suantai [25] introduced a new concept of the S-mapping for finding a common fixed point of a finite family of nonexpansive mappings as follows: Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of nonexpansive mappings of D into itself. Let \(S : D\to D\) be a mapping defined by
where I is the identity mapping of D and \(\delta_{j}=(\delta_{1}^{j}, \delta_{2}^{j}, \delta_{3}^{j})\in[0,1]\times[0,1]\times[0,1]\), \(j=1,2,\ldots,N\), where \(\delta_{1}^{j}+ \delta_{2}^{j}+ \delta_{3}^{j}=1\) for all \(j=1,2,\ldots,N\). This mapping is called the S-mapping generated by \(t_{1}, t_{2},\ldots, t_{N}\) and \(\delta_{1},\delta_{2},\ldots,\delta_{N}\). They proved the following lemma important for our results.
Lemma 1.3
Let D be a nonempty closed convex subset of a strictly convex Banach space X. Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of nonexpansive mappings of D into itself with \(\bigcap_{i=1}^{N} F(t_{i})\ne\emptyset\), and let \(\delta_{j}=(\delta_{1}^{j}, \delta_{2}^{j}, \delta_{3}^{j})\in[0,1]\times[0,1]\times[0,1]\), \(j=1,2,\ldots,N\), where \(\delta_{1}^{j}+ \delta_{2}^{j}+ \delta_{3}^{j}=1\), \(\delta_{1}^{j}\in(0,1)\) for all \(j=1,2,\ldots,N-1\), \(\delta_{1}^{N}\in(0,1]\), and \(\delta_{2}^{j}, \delta_{3}^{j}\in[0,1)\) for all \(j=1,2,\ldots,N\). Let S be the S-mapping generated by \(t_{1}, t_{2},\ldots, t_{N}\) and \(\delta_{1},\delta_{2},\ldots,\delta_{N}\). Then S is a nonexpansive mapping and \(F(S) = \bigcap_{i=1}^{N} F(t_{i})\).
Applications of W-mappings and S-mappings for fixed point problems can be found in [26–31].
Let \(B : D\to X\) be a nonlinear mapping. The variational inequality problem is to find a point \(u\in D\) such that
The set of solutions of (1.1) is denoted by \(VI(D,B)\).
A mapping \(B : D\to X\) is called ϕ-inverse strongly monotone [32] if there exists a positive real number ϕ such that
Variational inequality theory, which was first introduced by Stampacchia [33] in 1964, emerged as an interesting and fascinating branch of applicable mathematics with a wide range of applications in economics, industry, network analysis, optimizations, pure and applied sciences etc. In recent years, much attention has been given to developing efficient iterative methods for treating solution problems of variational inequalities (e.g., see [34–39]).
In 2003, Takahashi and Toyoda [40] introduced an iterative method for finding a common element of the set of fixed points of nonexpansive single-valued mappings and the set of solutions of variational inequalities for ϕ-inverse strongly monotone mappings in Hilbert spaces. Recently, by using the concept of S-mapping, Kangtunyakarn [41] introduced a new method for finding a common element of the set of fixed points of k-strictly pseudononspreading single-valued mappings and the set of solutions of variational inequality problems in Hilbert spaces.
Question A
How can we construct an iteration process for finding a common element of the set of common fixed points of a finite family of k-strictly pseudononspreading single-valued mappings, the set of common fixed points of a finite family of quasi-nonexpansive multi-valued mappings, and the set of common solutions of a finite family of variational inequality problems?
In the recent years, the problem of finding a common element of the set of fixed points of single-valued mappings and multi-valued mappings in the framework of Hilbert spaces and Banach spaces has been intensively studied by many researchers. However, no researchers have studied the problem of finding a common element of three sets, i.e., the set of common fixed points of a finite family of single-valued mappings, the set of common fixed points of a finite family of multi-valued mappings, and the set of common solutions of a finite family of variational inequality problems.
In this article, motivated by [41] and the research described above, we propose a new hybrid iterative method for finding a common element of the set of a common fixed point of a finite family of k-strictly pseudononspreading single-valued mappings, the set of common fixed points of a finite family of quasi-nonexpansive multi-valued mappings, and the set of common solutions of a finite family of variational inequality problems in Hilbert spaces and provide an affirmative answer to Question A.
2 Preliminaries
In this section, we give some useful lemmas for proving our main results. Let D be a nonempty closed convex subset of a real Hilbert space X. Let \(P_{D}\) be the metric projection of X onto D, i.e., for \(x\in X\), \(P_{D}x\) satisfies the property \(\|x-P_{D}x\|=\min_{y\in D}\|x-y\|\). It is well known that \(P_{D}\) is a nonexpansive mapping of X onto D.
Lemma 2.1
([42])
Let X be a Hilbert space, let D be a nonempty closed convex subset of X, and let B be a mapping of D into X. Let \(u\in D\). Then, for \(\lambda>0\),
Lemma 2.2
([43])
Let D be a nonempty closed convex subset of a real Hilbert space X, and let \(P_{D}:X\to D\) be the metric projection. Given \(x\in X\) and \(z\in D\), then \(z=P_{D}x\) if and only if the following holds:
Lemma 2.3
([44])
Let D be a nonempty closed convex subset of a real Hilbert space X, and let \(P_{D}:X\to D\) be the metric projection. Then the following inequality holds:
Lemma 2.4
([43])
Let X be a real Hilbert space. Then
Lemma 2.5
([45])
Let X be a Hilbert space. Let \(x_{1},x_{2},\ldots,x_{N}\in X\) and \(\alpha_{1},\alpha_{2},\ldots,\alpha_{N}\) be real numbers such that \(\sum_{i=1}^{N}\alpha_{i}=1\). Then
Lemma 2.6
([46])
Let D be a nonempty closed convex subset of a real Hilbert space X. Given \(x,y,z\in X\) and \(b\in\mathbb{R}\), the set
is closed and convex.
Lemma 2.7
([42])
In a strictly convex Banach space X, if
for all \(x, y\in X\) and \(\lambda\in(0,1)\), then \(x = y\).
The following lemma obtained by Kangtunyakarn [41] is useful for our results.
Lemma 2.8
Let D be a nonempty closed convex subset of a Hilbert space X. Let \(t:D\to D\) be a k-strictly pseudononspreading mapping with \(F(t)\ne\emptyset\). Then \(F(t)=VI(D,I-t)\).
Remark 2.9
([41])
From Lemmas 2.1 and 2.8, we have
3 Main results
In this section, we prove a strong convergence theorem which solves the problem of finding a common element of the set of common fixed points of a finite family of k-strictly pseudononspreading single-valued mappings, the set of common fixed points of a finite family of quasi-nonexpansive multi-valued mappings, and the set of common solutions of a finite family of variational inequality problems in Hilbert spaces. Before starting the main theorem of this section, we need to prove the following useful lemma in Hilbert spaces.
Lemma 3.1
Let D be a nonempty closed convex subset of a real Hilbert space X, and let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of k-strictly pseudononspreading single-valued mappings of D into itself such that \(\bigcap_{i=1}^{N}F(t_{i})\ne\emptyset\). Let \(R_{i}:D\to D\) be defined by \(R_{i}x=P_{D}(I-\lambda(I-t_{i}))x\) for all \(x\in D\), \(\lambda\in(0,1-k)\), and \(i=1,2,\ldots,N\). Suppose that \(\beta_{1},\beta_{2},\ldots,\beta_{N}\) are real numbers such that \(0<\beta_{i}<1\) for all \(i=1,2,\ldots,N-1\) and \(0<\beta_{N}\leq1\). Let W be the W-mapping generated by \(R_{1},R_{2},\ldots,R_{N}\) and \(\beta_{1},\beta_{2},\ldots,\beta_{N}\). Then the following hold:
-
(i)
W is quasi-nonexpansive;
-
(ii)
\(F(W)=\bigcap_{i=1}^{N}F(t_{i})=\bigcap_{i=1}^{N}F(R_{i})\).
Proof
(i) For each \(x\in D\) and \(z\in \bigcap_{i=1}^{N}F(t_{i})\),
By \(t_{i}\) is k-strictly pseudononspreading, we have
Since
it follows by (3.2) that
Therefore, by (3.1), we have
This implies that
Let \(j\in\{1,2,\ldots,N\}\), we get
So, we have
Thus, W is a quasi-nonexpansive mapping.
(ii) Since \(\bigcap_{i=1}^{N}F(t_{i})\subset F(W)\) is trivial, it suffices to show that \(F(W) \subset\bigcap_{i=1}^{N}F(t_{i})\). To show this, we suppose that \(p\in F(W)\) and \(z\in\bigcap_{i=1}^{N}F(t_{i})\). Then we have
This shows that
Thus,
Again by (3.5), we have
This implies by Lemma 2.7 that \(R_{1}p=p\) and hence \(U_{1}p=p\).
Again by (3.5), we get
and hence
By (3.5), we get
From \(U_{1}p=p\) and (3.6), we have
This implies by Lemma 2.7 that \(R_{2}p=p\) and hence \(U_{2}p=p\).
By continuing this process, we can conclude that \(R_{i}p=p\) and \(U_{i}p=p\) for all \(i=1,2,\ldots,N-1\). Since
which yields that \(p=R_{N}p\) since \(p\in F(W)\). Hence \(p=R_{i}p\) for all \(i=1,2,\ldots,N\) and thus \(p\in\bigcap_{i=1}^{N}F(R_{i})\). From Remark 2.9, we have
This implies that \(\bigcap_{i=1}^{N}F(R_{i})=\bigcap_{i=1}^{N}F(t_{i})\), and hence \(p\in\bigcap_{i=1}^{N}F(t_{i})\). Therefore, \(F(W)=\bigcap_{i=1}^{N}F(t_{i})\). This completes the proof. □
We now prove our main theorem.
Theorem 3.2
Let D be a nonempty closed convex subset of a real Hilbert space X. Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of continuous and k-strictly pseudononspreading mappings of D into itself, let \(\{T_{i}\}_{i=1}^{N}\) be a finite family of quasi-nonexpansive and L-Lipschitzian mappings from D into \(CB(D)\) with \(T_{i}p=\{p\}\) for all \(i=1,2,\ldots,N\), \(p\in \bigcap_{i=1}^{N}F(T_{i})\), and let \(\{B_{i}\}_{i=1}^{N}\) be a finite family of \(\phi_{i}\)-inverse strongly monotone mappings from D into X. Let \(R_{i}:D\to D\) be defined by \(R_{i}x=P_{D}(I-\lambda(I-t_{i}))x\) for all \(x\in D\), \(\lambda\in(0,1)\), and \(i=1,2,\ldots,N\). Suppose that \(\beta_{1},\beta_{2},\ldots,\beta_{N}\) are real numbers such that \(0<\beta_{i}<1\) for all \(i=1,2,\ldots,N-1\) and \(0<\beta_{N}\leq1\). Let \(W:D\to D\) be the W-mapping generated by \(R_{1},R_{2},\ldots,R_{N}\) and \(\beta_{1}, \beta_{2},\ldots,\beta_{N}\). Let \(G_{i}:D\to D\) be defined by \(G_{i}x=P_{D}(I-\eta B_{i})x\) for all \(x\in D\), \(\eta\in(0,2\phi_{i})\), and \(i=1,2,\ldots,N\). Suppose \(\delta_{j}=(\delta_{1}^{j}, \delta_{2}^{j}, \delta_{3}^{j})\in[0,1]\times[0,1]\times[0,1]\), \(j=1,2,\ldots,N\), where \(\delta_{1}^{j}+ \delta_{2}^{j}+ \delta_{3}^{j}=1\), \(\delta_{1}^{j}\in(0,1)\) for all \(j=1,2,\ldots,N-1\), \(\delta_{1}^{N}\in(0,1]\), and \(\delta_{2}^{j}, \delta_{3}^{j}\in[0,1)\) for all \(j=1,2,\ldots,N\). Let \(S:D\to D\) be the S-mapping generated by \(G_{1},G_{2},\ldots,G_{N}\) and \(\delta_{1}, \delta_{2},\ldots,\delta_{N}\). Assume that \(\mathcal{F}:= \bigcap_{i=1}^{N}F(t_{i}) \cap\bigcap_{i=1}^{N}F(T_{i}) \cap \bigcap_{i=1}^{N}VI(D,B_{i})\ne\emptyset\). Let \(x_{1}\in D\) with \(C_{1} =D\), and let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be sequences defined by
where \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(i)}\}\) (\(i=0,1,\ldots,N\)) are sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\alpha_{n}^{(1)}+\alpha_{n}^{(2)}+\alpha_{n}^{(3)}=1\), \(\lim_{n\to \infty}\alpha_{n}^{(1)}=0\), and \(0< a\leq\alpha_{n}^{(2)},\alpha_{n}^{(3)}<1\);
-
(ii)
\(0< b\leq\gamma_{n}^{(i)}<1\) for all \(i=0,1,\ldots,N\) and \(\sum_{i=0}^{N} \gamma_{n}^{(i)}=1\).
Then \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to \(u=P_{\mathcal{F}}x_{1}\).
Proof
We shall divide our proof into 6 steps.
Step 1. We show that \(P_{C_{n+1}}x_{1}\) is well defined for every \(x_{1}\in X\).
Let \(x,y\in X\). Since \(B_{i}\) is a \(\phi_{i}\)-inverse strongly monotone mapping and \(\eta\in(0,2\phi_{i})\), for \(i=1,2,\ldots,N\), we get that
This shows that \(G_{i}=P_{D}(I-\eta B_{i})\) is a nonexpansive mapping for all \(i=1,2,\ldots,N\). By Lemma 2.1, the closedness and convexity of \(F(G_{i})\), we have that \(VI(D,B_{i})=F(P_{D}(I-\eta B_{i}))=F(G_{i})\) is closed and convex for all \(i=1,2,\ldots,N\). So, \(\bigcap_{i=1}^{N}VI(D,B_{i})\) is closed and convex. By Lemmas 1.1 and 1.2, we also know that \(\bigcap_{i=1}^{N}F(T_{i})\) and \(\bigcap_{i=1}^{N}F(t_{i})\) are closed and convex. Hence, \(\mathcal{F}:= \bigcap_{i=1}^{N}F(t_{i}) \cap\bigcap_{i=1}^{N}F(T_{i}) \cap\bigcap_{i=1}^{N}VI(D,B_{i})\) is also closed and convex. By Lemma 2.6, we observe that \(C_{n}\) is closed and convex. Let \(p\in\mathcal{F}\). Since \(G_{i}\) is nonexpansive and \(t_{i}\) is k-strictly pseudononspreading for all \(i=1,2,\ldots,N\), it implies by Lemmas 1.3 and 3.1 that \(p\in F(S)\) and \(p\in F(W)\). So, we have
This shows that \(p\in C_{n+1}\) and hence \(\mathcal{F}\subset C_{n+1}\subset C_{n}\). Therefore, \(P_{C_{n+1}}x_{1}\) is well defined.
Step 2. We show that \(\lim_{n\rightarrow\infty} x_{n}=q\) for some \(q\in D\).
Since ℱ is a nonempty closed convex subset of a real Hilbert space X, there exists a unique \(\nu\in\mathcal{F}\) such that \(\nu=P_{\mathcal{F}}x_{1}\). From \(x_{n}=P_{C_{n}}x_{1}\) and \(x_{n+1}\in C_{n+1}\subset C_{n}\), for all \(n\in\mathbb{N}\), we get that
On the other hand, by \(\mathcal{F}\subset C_{n}\), we obtain that
This implies that \(\{x_{n}\}\) is bounded and nondecreasing. So, \(\lim_{n\rightarrow\infty}\|x_{n}-x_{1}\|\) exists. For \(m>n \in \mathbb{N}\), we have \(x_{m}=P_{C_{m}} x_{1}\in C_{m} \subset C_{n}\). It implies by Lemma 2.3 that
Since \(\lim_{n\rightarrow\infty}\|x_{n}-x_{1}\|\) exists, it implies that \(\{x_{n}\}\) is a Cauchy sequence. Hence, there exists an element \(q\in D\) such that \(\lim_{n\rightarrow\infty} x_{n}=q\).
Step 3. We show that \(q\in\bigcap_{i=1}^{N}F(T_{i})\).
From Step 2, we have
Since \(x_{n+1}\in C_{n+1}\), we get that
and
This implies by (3.8) that
and
Thus, \(\lim_{n\rightarrow\infty}z_{n}=q\) and \(\lim_{n\rightarrow \infty}y_{n}=q\).
Let \(p\in\mathcal{F}\). By Lemma 2.5 and the definition of \(z_{n}\), for each \(j=1,2,\ldots,N\), we have
By condition (ii), it implies that
Thus, by (3.9), we have
For each \(i=1,2,\ldots,N\), we get
Since \(\lim_{n\rightarrow\infty} y_{n}=q\), it implies by (3.11) that
This shows that \(q\in T_{i}q\) for all \(i=1,2,\ldots,N\), and hence \(q\in\bigcap^{N}_{i=1} F(T_{i})\).
Step 4. We show that \(q\in\bigcap^{N}_{i=1} VI(D,B_{i})\).
For \(p\in\mathcal{F}\), we have
This implies by condition (i) that
Then, by (3.10), we have
Since
it follows by condition (i) and (3.12) that
From (3.10) and (3.13), we obtain that
Since \(y_{n}-x_{n}=\alpha^{(2)}_{n}(Wx_{n}-x_{n})+\alpha^{(3)}_{n}(Sx_{n}-x_{n})\) and \(0< a<\alpha^{(3)}_{n}<1\), we get
This implies by (3.10) and (3.14) that
Since \(x_{n}\rightarrow q\in D\) as \(n\to\infty\), it follows by (3.15) and the nonexpansiveness of S that
This shows that \(q\in F(S)\). Since \(P_{D}(I-\eta B_{i})x=G_{i}x\) for all \(x\in D\) and \(i=1,2,\ldots,N\), by Lemma 2.1, we have \(VI(D,B_{i})=F(P_{D}(I-\eta B_{i}))=F(G_{i})\) for all \(i=1,2,\ldots,N\). By Lemma 1.3, we obtain
Thus, \(q\in\bigcap^{N}_{i=1} VI(D,B_{i})\).
Step 5. We show that \(q\in\bigcap^{N}_{i=1}F(t_{i})\).
Since \(t_{i}\) is continuous for all \(i=1,2,\ldots,N\), it follows that \(P_{D}(I-\lambda(I-t_{i}))\) is continuous for all \(i=1,2,\ldots,N\). So, W is continuous. This implies by \(x_{n}\rightarrow q\) that \(Wx_{n}\rightarrow Wq\) as \(n\rightarrow\infty\). Then, by (3.14), we have
This shows that \(q\in F(W)\). By Lemma 3.1, we have \(q\in \bigcap^{N}_{i=1}F(t_{i})\).
Step 6. Finally, we show that \(q=u=P_{\mathcal{F}}x_{1}\).
Since \(x_{n}=P_{C_{n}}x_{1}\) and \(\mathcal{F} \subset C_{n}\), we obtain
Taking limits in the above inequality, we get
This shows that \(q=P_{\mathcal{F}}x_{1}=u\).
By Step 1 to Step 6, we conclude that \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to \(u=P_{\mathcal{F}}x_{1}\). This completes the proof. □
As a direct consequence of Theorem 3.2, we have the following two corollaries.
Corollary 3.3
Let D be a nonempty closed convex subset of a real Hilbert space X. Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of continuous and k-strictly pseudononspreading mappings of D into itself, and let \(\{T_{i}\}_{i=1}^{N}\) be a finite family of quasi-nonexpansive and L-Lipschitzian mappings from D into \(CB(D)\) with \(T_{i}p=\{p\}\) for all \(i=1,2,\ldots,N\), \(p\in \bigcap_{i=1}^{N}F(T_{i})\). Let \(R_{i}:D\to D\) be defined by \(R_{i}x=P_{D}(I-\lambda(I-t_{i}))x\) for all \(x\in D\), \(\lambda\in(0,1)\), and \(i=1,2,\ldots,N\). Suppose that \(\beta_{1},\beta_{2},\ldots,\beta_{N}\) are real numbers such that \(0<\beta_{i}<1\) for all \(i=1,2,\ldots,N-1\) and \(0<\beta_{N}\leq1\). Let \(W:D\to D\) be the W-mapping generated by \(R_{1},R_{2},\ldots,R_{N}\) and \(\beta_{1}, \beta_{2},\ldots,\beta_{N}\). Assume that \(\mathcal{F}:= \bigcap_{i=1}^{N}F(t_{i}) \cap \bigcap_{i=1}^{N}F(T_{i}) \ne\emptyset\). Let \(x_{1}\in D\) with \(C_{1} =D\), and let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be sequences defined by
where \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(i)}\}\) \((i=0,1,\ldots,N)\) are sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\alpha_{n}^{(1)}+\alpha_{n}^{(2)}+\alpha_{n}^{(3)}=1\), \(\lim_{n\to \infty}\alpha_{n}^{(1)}=0\), and \(0< a\leq\alpha_{n}^{(2)},\alpha_{n}^{(3)}<1\);
-
(ii)
\(0< b\leq\gamma_{n}^{(i)}<1\) for all \(i=0,1,\ldots,N\) and \(\sum_{i=0}^{N} \gamma_{n}^{(i)}=1\).
Then \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to \(u=P_{\mathcal{F}}x_{1}\).
Proof
Let \(B_{i}x = 0\) for all \(x\in D\) and \(i=1,2,\ldots,N\) in Theorem 3.2. Then we obtain that \(Sx_{n}=x_{n}\) for all \(n\in \mathbb{N}\). Therefore the conclusion follows. □
Corollary 3.4
Let D be a nonempty closed convex subset of a real Hilbert space X. Let \(t:D\to D\) be a continuous and k-strictly pseudononspreading mapping, let \(T:D\to CB(D)\) be a quasi-nonexpansive and L-Lipschitzian mapping with \(Tp=\{p\}\) for all \(p\in F(T)\), and let \(B:D\to X\) be a ϕ-inverse strongly monotone mapping. Assume that \(\mathcal{F}:= F(t) \cap F(T) \cap VI(D,B)\ne\emptyset\). Let \(x_{1}\in D\) with \(C_{1} =D\), and let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be sequences defined by
where \(\lambda\in(0,1)\), \(\eta\in(0,2\phi)\), and \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(0)}\}\), \(\{\gamma_{n}^{(1)}\}\) are sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\alpha_{n}^{(1)}+\alpha_{n}^{(2)}+\alpha_{n}^{(3)}=1\), \(\lim_{n\to \infty}\alpha_{n}^{(1)}=0\), and \(0< a\leq\alpha_{n}^{(2)},\alpha_{n}^{(3)}<1\);
-
(ii)
\(0< b\leq\gamma_{n}^{(0)}, \gamma_{n}^{(1)}<1\) and \(\gamma _{n}^{(0)} + \gamma_{n}^{(1)}=1\).
Then \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to \(u=P_{\mathcal{F}}x_{1}\).
Proof
In Theorem 3.2, put \(N=1\), \(t_{1}=t\), \(T_{1}=T\), \(B_{1}=B\), \(\beta_{1}=1\), and \(\delta_{1}^{1}=1\). Then \(W=P_{D}(I-\lambda(I-t))\) and \(S=P_{D}(I-\eta B)\). Hence, we obtain the desired result from Theorem 3.2. □
Remark 3.5
It is known that the class of k-strictly pseudononspreading mappings contains the classes of nonexpansive mappings and nonspreading mappings. Thus, Lemma 3.1, Theorem 3.2, Corollaries 3.3 and 3.4 can be applied to these classes of mappings.
4 Applications to complementarity problems
In this section, we apply our results to complementarity problems in Hilbert spaces. Let D be a nonempty closed convex cone in a real Hilbert space X, i.e., a nonempty closed set with \(rD+sD\subset D\) for all \(r,s\in[0,\infty)\). The polar of D is the set
Let \(B:D\to X\) be a nonlinear mapping. The complementarity problem is to find an element \(u\in D\) such that
The set of solutions of (4.1) is denoted by \(CP(D,B)\).
A complementarity problem is a special case of a variational inequality problem. The following lemma indicates the equivalence between the complementarity problem and the variational inequality problem. The proof of this fact can be found in [42]; for convenience of the readers, we include the details.
Lemma 4.1
Let D be a nonempty closed convex cone in a real Hilbert space X, and let \(D^{*}\) be the polar of D. Let B be a mapping of D into X. Then \(VI(D,B)=CP(D,B)\).
Proof
Let \(x\in VI(D,B)\). Then we have
In particular, if \(u=0\), we have \(\langle x, Bx\rangle\leq0\). If \(u=\lambda x\) with \(\lambda>1\), we have \(\langle\lambda x-x, Bx\rangle= (\lambda-1)\langle x, Bx\rangle\geq0\) and hence \(\langle x, Bx\rangle\geq0\). Therefore, \(\langle x, Bx\rangle=0\). Next, we show that \(Bx\in D^{*}\). To show this, suppose not. Then there exists \(u_{0}\in D\) such that \(\langle u_{0}, Bx\rangle<0\). By (4.2), we obtain
So, we get
This is a contradiction. Thus, \(Bx\in D^{*}\). So, \(x\in CP(D,B)\).
Conversely, let \(x\in CP(D,B)\). Then we have
For any \(u\in D\), we get
Thus, \(x\in VI(D,B)\). This completes the proof. □
Theorem 4.2
Let D be a nonempty closed convex cone in a real Hilbert space X. Let \(\{t_{i}\}_{i=1}^{N}\) be a finite family of continuous and k-strictly pseudononspreading mappings of D into itself, let \(\{T_{i}\}_{i=1}^{N}\) be a finite family of quasi-nonexpansive and L-Lipschitzian mappings from D into \(CB(D)\) with \(T_{i}p=\{p\}\) for all \(i=1,2,\ldots,N\), \(p\in \bigcap_{i=1}^{N}F(T_{i})\), and let \(\{B_{i}\}_{i=1}^{N}\) be a finite family of \(\phi_{i}\)-inverse strongly monotone mappings from D into X. Let \(R_{i}:D\to D\) be defined by \(R_{i}x=P_{D}(I-\lambda(I-t_{i}))x\) for all \(x\in D\), \(\lambda\in(0,1)\), and \(i=1,2,\ldots,N\). Suppose that \(\beta_{1},\beta_{2},\ldots,\beta_{N}\) are real numbers such that \(0<\beta_{i}<1\) for all \(i=1,2,\ldots,N-1\) and \(0<\beta_{N}\leq1\). Let \(W:D\to D\) be the W-mapping generated by \(R_{1},R_{2},\ldots,R_{N}\) and \(\beta_{1}, \beta_{2},\ldots,\beta_{N}\). Let \(G_{i}:D\to D\) be defined by \(G_{i}x=P_{D}(I-\eta B_{i})x\) for all \(x\in D\), \(\eta\in(0,2\phi_{i})\), and \(i=1,2,\ldots,N\). Suppose \(\delta_{j}=(\delta_{1}^{j}, \delta_{2}^{j}, \delta_{3}^{j})\in[0,1]\times[0,1]\times[0,1]\), \(j=1,2,\ldots,N\), where \(\delta_{1}^{j}+ \delta_{2}^{j}+ \delta_{3}^{j}=1\), \(\delta_{1}^{j}\in(0,1)\) for all \(j=1,2,\ldots,N-1\), \(\delta_{1}^{N}\in(0,1]\), and \(\delta_{2}^{j}, \delta_{3}^{j}\in[0,1)\) for all \(j=1,2,\ldots,N\). Let \(S:D\to D\) be the S-mapping generated by \(G_{1},G_{2},\ldots,G_{N}\) and \(\delta_{1}, \delta_{2},\ldots,\delta_{N}\). Assume that \(\mathcal{F}:= \bigcap_{i=1}^{N}F(t_{i}) \cap\bigcap_{i=1}^{N}F(T_{i}) \cap \bigcap_{i=1}^{N}CP(D,B_{i})\ne\emptyset\). Let \(x_{1}\in D\) with \(C_{1} =D\), and let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be sequences defined by
where \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(i)}\}\) \((i=0,1,\ldots,N)\) are sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\alpha_{n}^{(1)}+\alpha_{n}^{(2)}+\alpha_{n}^{(3)}=1\), \(\lim_{n\to \infty}\alpha_{n}^{(1)}=0\), and \(0< a\leq\alpha_{n}^{(2)},\alpha_{n}^{(3)}<1\);
-
(ii)
\(0< b\leq\gamma_{n}^{(i)}<1\) for all \(i=0,1,\ldots,N\) and \(\sum_{i=0}^{N} \gamma_{n}^{(i)}=1\).
Then \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to \(u=P_{\mathcal{F}}x_{1}\).
Proof
By Lemma 4.1, we get that
Then we obtain the result. □
5 Numerical results
In this section, we give two numerical examples to support our main result.
Example 5.1
We consider the nonempty closed convex subset \(D=[0,5]\) of the real Hilbert space ℝ. Define two single-valued mappings \(t_{1}\) and \(t_{2}\) on \([0,5]\) as follows:
Also we define two multi-valued mappings \(T_{1}\) and \(T_{2}\) on \([0,5]\) as follows:
For \(i=1,2\), let \(B_{i}:[0,5]\to[0,5]\subset\mathbb{R}\) be defined by
Let W be the W-mapping generated by \(R_{1}\), \(R_{2}\) and \(\beta_{1}\), \(\beta_{2}\), where \(R_{i}x=P_{[0,5]}(I-\frac{1}{2} (I-t_{i}))x\) for all \(i=1,2\), and \(\beta_{1}=\beta_{2}=\frac{1}{2}\). Let S be the S-mapping generated by \(G_{1}\), \(G_{2}\) and \(\delta_{1}\), \(\delta_{2}\), where \(G_{i}x=P_{[0,5]}(I-\frac{1}{2} B_{i})x\) for all \(i=1,2\), and \(\delta_{1}=\delta_{2}=(\frac{1}{3},\frac{1}{3},\frac{1}{3})\). Let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be generated by (3.7), where \(\alpha_{n}^{(1)}=\frac{1}{10n}\), \(\alpha_{n}^{(2)}=\frac{10n-1}{30n}\), \(\alpha_{n}^{(3)}=\frac{10n-1}{15n}\), \(\gamma_{n}^{(0)}=\frac{1}{5}+\frac{4}{75n}\), \(\gamma_{n}^{(1)}=\frac{15n-1}{75n}\), \(\gamma_{n}^{(2)}=\frac{15n-1}{25n}\) for all \(n\in\mathbb{N}\). Then the sequences \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge strongly to 0, where \(\{0\}=\bigcap_{i=1}^{2}F(t_{i}) \cap \bigcap_{i=1}^{2}F(T_{i}) \cap\bigcap_{i=1}^{2}VI([0,5],B_{i})\).
Solution. It is easy to see that \(t_{1}\), \(t_{2}\) are k-strictly pseudononspreading, \(T_{1}\), \(T_{2}\) are quasi-nonexpansive and Lipschitzian, and \(B_{1}\), \(B_{2}\) are inverse strongly monotone. Obviously, \(\{T_{i}\}_{i=1}^{2}\) satisfies the condition \(T_{i}p=\{p\}\) for all \(i=1,2\), \(p\in\bigcap_{i=1}^{2}F(T_{i})\) since \(\bigcap_{i=1}^{2}F(T_{i})=\{0\}\). From the definitions of these mappings, we get that
For every \(n\in\mathbb{N}\), \(\alpha_{n}^{(1)}=\frac{1}{10n}\), \(\alpha_{n}^{(2)}=\frac{10n-1}{30n}\), \(\alpha_{n}^{(3)}=\frac{10n-1}{15n}\), \(\gamma_{n}^{(0)}=\frac{1}{5}+\frac{4}{75n}\), \(\gamma_{n}^{(1)}=\frac{15n-1}{75n}\), \(\gamma_{n}^{(2)}=\frac{15n-1}{25n}\). Then the sequences \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(0)}\}\), \(\{\gamma_{n}^{(1)}\}\), and \(\{\gamma_{n}^{(2)}\}\) satisfy all the conditions of Theorem 3.2. For any arbitrary \(x_{1}\in C_{1}=[0,5]\), it follows by (3.7) that \(0\leq z_{1}\leq y_{1}\leq x_{1}\leq5\). Then we have
Since \(\frac{z_{1}+y_{1}}{2}\leq x_{1}\), we get
By continuing this process, we obtain that
and hence
Now, we have the following algorithm:
Since W is the W-mapping generated by \(R_{1}\), \(R_{2}\) and \(\beta_{1}\), \(\beta_{2}\), where \(R_{i}x=P_{[0,5]}(I-\frac{1}{2} (I-t_{i}))x\) for all \(i=1,2\) and \(\beta_{1}=\beta_{2}=\frac{1}{2}\), and S is the S-mapping generated by \(G_{1}\), \(G_{2}\) and \(\delta_{1}\), \(\delta_{2}\), where \(G_{i}x=P_{[0,5]}(I-\frac{1}{2} B_{i})x\) for all \(i=1,2\) and \(\delta_{1}=\delta_{2}=(\frac{1}{3},\frac{1}{3},\frac{1}{3})\), we obtain that
Put \(q_{n}^{(1)}=\frac{y_{n}}{6}\) and \(q_{n}^{(2)}=\frac{y_{n}}{7}\). Then we rewrite (5.1) as follows:
Using algorithm (5.2) with the initial point \(x_{1}=4.5\), we have numerical results in Table 1.
From Table 1, we see that the sequences \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) converge to 0. We observe that \(x_{27}=0.0000007\) is an approximation of the common element in \(\bigcap_{i=1}^{2}F(t_{i}) \cap\bigcap_{i=1}^{2}F(T_{i}) \cap\bigcap_{i=1}^{2}VI([0,5],B_{i})\) with accuracy at 6 significant digits.
Next, we give the numerical example to support our main theorem in a two-dimensional space of real numbers.
Example 5.2
Let \(\mathbf{x}=(x^{(1)},x^{(2)})\), \(\mathbf{y}=(y^{(1)},y^{(2)})\in \mathbb{R}^{2}\), and let the inner product \(\langle\cdot,\cdot\rangle:\mathbb{R}^{2}\times\mathbb{R}^{2}\to \mathbb{R}\) be defined by \(\langle\mathbf{x},\mathbf{y}\rangle =x^{(1)}y^{(1)} + x^{(2)}y^{(2)}\) and the usual norm \(\|\cdot\|:\mathbb{R}^{2}\to\mathbb{R}\) be defined by \(\|\mathbf{x}\|=\sqrt{(x^{(1)})^{2} + (x^{(2)})^{2}}\). We consider the nonempty closed convex subset \(D=[0,100]\times[0,100]\) of the real Hilbert space \(\mathbb{R}^{2}\). Define three single-valued mappings \(t_{1}\), \(t_{2}\), and \(t_{3}\) on D as follows:
Define three multi-valued mappings \(T_{1}\), \(T_{2}\), and \(T_{3}\) on D as follows:
For \(i=1,2,3\), let \(B_{i}:D\to D\subset\mathbb{R}^{2}\) be defined by
Let W be the W-mapping generated by \(R_{1}\), \(R_{2}\), \(R_{3}\) and \(\beta_{1}\), \(\beta_{2}\), \(\beta_{3}\), where \(R_{i}\mathbf{x}=P_{D}(I-\frac{1}{2} (I-t_{i}))\mathbf{x}\) for all \(i=1,2,3\), and \(\beta_{1}=\beta_{2}=\beta_{3}=\frac{1}{2}\). Let S be the S-mapping generated by \(G_{1}\), \(G_{2}\), \(G_{3}\) and \(\delta_{1}\), \(\delta_{2}\), \(\delta_{3}\), where \(G_{i}\mathbf{x}=P_{D}(I-\frac{1}{2} B_{i})\mathbf{x}\) for all \(i=1,2,3\), and \(\delta_{1}=\delta_{2}=\delta_{3}=(\frac{1}{3},\frac{1}{3},\frac{1}{3})\). Let \(\mathbf{x}_{n}=(x_{n}^{(1)},x_{n}^{(2)})\), \(\mathbf{y}_{n}=(y_{n}^{(1)},y_{n}^{(2)})\), and \(\mathbf{z}_{n}=(z_{n}^{(1)},z_{n}^{(2)})\) and the sequences \(\{\mathbf{x}_{n}\}\), \(\{\mathbf{y}_{n}\}\), and \(\{\mathbf{z}_{n}\}\) be generated by (3.7), where \(\alpha_{n}^{(1)}=\frac{1}{12n}\), \(\alpha_{n}^{(2)}=\frac{12n-1}{36n}\), \(\alpha_{n}^{(3)}=\frac{12n-1}{18n}\), \(\gamma_{n}^{(0)}=\frac{1}{5}+\frac{7}{80n}\), \(\gamma_{n}^{(1)}=\frac{16n-1}{80n}\), \(\gamma_{n}^{(2)}=\gamma_{n}^{(3)}=\frac{24n-3}{80n}\) for all \(n\in \mathbb{N}\). Then the sequences \(\{\mathbf{x}_{n}\}\), \(\{\mathbf{y}_{n}\}\), and \(\{\mathbf{z}_{n}\}\) converge strongly to \((0,0)\), where \(\{(0,0)\}=\bigcap_{i=1}^{3}F(t_{i}) \cap \bigcap_{i=1}^{3}F(T_{i}) \cap\bigcap_{i=1}^{3}VI(D,B_{i})\).
Solution. It is obvious that \(t_{1}\), \(t_{2}\), \(t_{3}\) are k-strictly pseudononspreading, \(T_{1}\), \(T_{2}\), \(T_{3}\) are quasi-nonexpansive and Lipschitzian, and \(B_{1}\), \(B_{2}\), \(B_{3}\) are inverse strongly monotone. Also, \(\{T_{i}\}_{i=1}^{3}\) satisfies the condition \(T_{i}\mathbf{p}=\{\mathbf{p}\}\) for all \(i=1,2,3\), \(\mathbf{p}\in \bigcap_{i=1}^{3}F(T_{i})\) since \(\bigcap_{i=1}^{3}F(T_{i})=\{(0,0)\}\). Obviously, \(\bigcap_{i=1}^{3}F(t_{i}) \cap\bigcap_{i=1}^{3}F(T_{i}) \cap\bigcap_{i=1}^{3}VI(D,B_{i})= \{(0,0)\}\). For every \(n\in \mathbb{N}\), \(\alpha_{n}^{(1)}=\frac{1}{12n}\), \(\alpha_{n}^{(2)}=\frac{12n-1}{36n}\), \(\alpha_{n}^{(3)}=\frac{12n-1}{18n}\), \(\gamma_{n}^{(0)}=\frac{1}{5}+\frac{7}{80n}\), \(\gamma_{n}^{(1)}=\frac{16n-1}{80n}\), \(\gamma_{n}^{(2)}=\gamma_{n}^{(3)}=\frac{24n-3}{80n}\). Then the sequences \(\{\alpha_{n}^{(1)}\}\), \(\{\alpha_{n}^{(2)}\}\), \(\{\alpha_{n}^{(3)}\}\), \(\{\gamma_{n}^{(0)}\}\), \(\{\gamma_{n}^{(1)}\}\), \(\{\gamma_{n}^{(2)}\}\) and \(\{\gamma_{n}^{(3)}\}\) satisfy all the conditions of Theorem 3.2. Now, we get the following algorithm:
Since W is the W-mapping generated by \(R_{1}\), \(R_{2}\), \(R_{3}\) and \(\beta_{1}\), \(\beta_{2}\), \(\beta_{3}\), where \(R_{i}\mathbf{x}=P_{D}(I-\frac{1}{2} (I-t_{i}))\mathbf{x}\) for all \(i=1,2,3\) and \(\beta_{1}=\beta_{2}=\beta_{3}=\frac{1}{2}\), and S is the S-mapping generated by \(G_{1}\), \(G_{2}\), \(G_{3}\) and \(\delta_{1}\), \(\delta_{2}\), \(\delta_{3}\), where \(G_{i}\mathbf{x}=P_{D}(I-\frac{1}{2} B_{i})\mathbf{x}\) for all \(i=1,2,3\) and \(\delta_{1}=\delta_{2}=\delta_{3}=(\frac{1}{3},\frac{1}{3},\frac{1}{3})\), we obtain that
Put \(\mathbf{q}_{n}^{(1)}=\frac{\mathbf{y}_{n}}{12}\), \(\mathbf{q}_{n}^{(2)}=\frac{\mathbf{y}_{n}}{5}\), and \(\mathbf{q}_{n}^{(3)}=\frac{\mathbf{y}_{n}}{2}\). Then algorithm (5.3) becomes
For any arbitrary \((x_{n}^{(1)},x_{n}^{(2)})\in D\), by algorithm (5.4), we see that
The numerical results for the sequences \(\{\mathbf{x}_{n}\}\), \(\{\mathbf{y}_{n}\}\), and \(\{\mathbf{z}_{n}\}\) are shown in Table 2 and Table 3.
References
Markin, JT: Continuous dependence of fixed point sets. Proc. Am. Math. Soc. 38, 545-547 (1973)
Nadler, SB Jr.: Multivalued contraction mappings. Pac. J. Math. 30, 475-488 (1969)
Assad, NA, Kirk, WA: Fixed point theorems for set-valued mappings of contractive type. Pac. J. Math. 43, 553-562 (1972)
Blasi, FS, Myjak, J, Reich, S, Zaslavski, AJ: Generic existence and approximation of fixed points for nonexpansive set-valued maps. Set-Valued Var. Anal. 17(1), 97-112 (2009)
Cholamjiak, W, Suantai, S: A hybrid method for a countable family of multivalued maps, equilibrium problems, and variational inequality problems. Discrete Dyn. Nat. Soc. 2010, Article ID 349158 (2010)
Dominguez Benavides, T, Gavira, B: A fixed point property for multivalued nonexpansive mappings. J. Math. Anal. Appl. 328, 1471-1483 (2007)
Downing, D, Kirk, WA: Fixed point theorems for set-valued mappings in metric and Banach spaces. Math. Jpn. 22, 99-112 (1977)
Geobel, K: On a fixed point theorem for multivalued nonexpansive mappings. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 29, 70-72 (1975)
Lim, TC: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80, 1123-1126 (1974)
Markin, JT: A fixed point theorem for set valued mappings. Bull. Am. Math. Soc. 74, 639-640 (1968)
Xu, HK: Multivalued nonexpansive mappings in Banach spaces. Nonlinear Anal. 43, 693-706 (2001)
Iemoto, S, Takahashi, W: Approximating common fixed points of nonexpansive mappings and nonspreading mappings in a Hilbert space. Nonlinear Anal. 71, 2080-2089 (2009)
Kohsaka, F, Takahashi, W: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch. Math. (Basel) 91, 166-177 (2008)
Kurokawa, Y, Takahashi, W: Weak and strong convergence theorems for nonspreading mappings in Hilbert spaces. Nonlinear Anal. 73, 1562-1568 (2010)
Osilike, MO, Isiogugu, FO: Weak and strong convergence theorems for nonspreading-type mappings in Hilbert spaces. Nonlinear Anal. 74, 1814-1822 (2011)
Aoyama, K, Kohsaka, F: Fixed point theorem for α-nonexpansive mappings in Banach spaces. Nonlinear Anal. 74, 4387-4391 (2011)
Cao, S: The split common fixed point problem for ϱ-strictly pseudononspreading mappings. J. Appl. Math. 2013, Article ID 241789 (2013)
Deng, BC, Chen, T, Li, ZF: Viscosity iteration algorithm for a ϱ-strictly pseudononspreading mapping in a Hilbert space. J. Inequal. Appl. 2013, Article ID 80 (2013)
Isiogugu, FO, Osilike, MO: Fixed point and convergence theorems for certain classes of mappings. J. Niger. Math. Soc. 31, 147-165 (2012)
Kocourek, P, Takahashi, W, Yao, JC: Fixed point theorems and weak convergence theorems for generalized hybrid mappings in Hilbert spaces. Taiwan. J. Math. 14, 2497-2511 (2010)
Lin, LJ, Chuang, CS, Yu, ZT: Fixed point theorems for some new nonlinear mappings in Hilbert spaces. Fixed Point Theory Appl. 2011, Article ID 51 (2011)
Takahashi, W: Fixed point theorems for new nonlinear mappings in a Hilbert space. J. Nonlinear Convex Anal. 11, 79-88 (2010)
Takahashi, W, Yao, JC: Weak convergence theorems for generalized hybrid mappings in Banach spaces. J. Nonlinear Anal. Optim. 2, 147-158 (2011)
Atsushiba, S, Takahashi, W: Strong convergence theorems for a finite family of nonexpansive mappings and applications. B. N. Prasad birth centenary commemoration volume. Indian J. Math. 41, 435-453 (1999)
Kangtunyakarn, A, Suantai, S: Hybrid iterative scheme for generalized equilibrium problems and fixed point problems of finite family of nonexpansive mappings. Nonlinear Anal. Hybrid Syst. 3, 296-309 (2009)
Ceng, LC, Cubiotti, P, Yao, JC: Strong convergence theorems for finitely many nonexpansive mappings and applications. Nonlinear Anal. 67, 1464-1473 (2007)
Colao, V, Marino, G, Xu, H-K: An iterative method for finding common solutions of equilibrium and fixed point problems. J. Math. Anal. Appl. 344, 340-352 (2008)
Nakajo, K, Shimoji, K, Takahashi, W: On strong convergence by the hybrid method for families of mappings in Hilbert spaces. Nonlinear Anal. 71, 112-119 (2009)
Takahashi, W: Weak and strong convergence theorems for families of nonexpansive mappings and their applications. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 51, 277-292 (1997)
Takahashi, W, Shimoji, K: Convergence theorems for nonexpansive mappings and feasibility problems. Math. Comput. Model. 32, 1463-1471 (2000)
Yao, Y: A general iterative method for a finite family of nonexpansive mappings. Nonlinear Anal. 66, 2676-2687 (2007)
Iiduka, H, Takahashi, W: Weak convergence theorem by Cesáro means for nonexpansive mappings and inverse-strongly monotone mappings. J. Nonlinear Convex Anal. 7, 105-113 (2006)
Stampacchia, G: Formes bilinéaires coercitives sur les ensembles convexes. C. R. Acad. Sci. Paris 258, 4413-4416 (1964)
Ansari, QH, Yao, JC: Systems of generalized variational inequalities and their applications. Appl. Anal. 76(3-4), 203-217 (2000)
Ceng, LC, Ansari, QH, Schaible, S, Yao, JC: Iterative methods for generalized equilibrium problems, systems of general generalized equilibrium problems and fixed point problems for nonexpansive mappings in Hilbert spaces. Fixed Point Theory 12(2), 293-308 (2011)
Latif, A, Ceng, LC, Ansari, QH: Multi-step hybrid viscosity method for systems of variational inequalities defined over sets of solutions of equilibrium problem and fixed point problems. Fixed Point Theory Appl. 2012, Article ID 186 (2012)
Ceng, LC, Latif, A, Yao, JC: On solutions of system of variational inequalities and fixed point problems in Banach spaces. Fixed Point Theory Appl. 2013, Article ID 176 (2013)
Latif, A, Luc, DT: Variational relation problems: existence of solutions and fixed points of set-valued contraction mappings. Fixed Point Theory Appl. 2013, Article ID 315 (2013)
Ceng, LC, Latif, A, Ansari, QH, Yao, YC: Hybrid extragradient method for hierarchical variational inequalities. Fixed Point Theory Appl. 2014, Article ID 222 (2014)
Takahashi, W, Toyoda, M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 118, 417-428 (2003)
Kangtunyakarn, A: The methods for variational inequality problems and fixed point of κ-strictly pseudononspreading mapping. Fixed Point Theory Appl. 2013, Article ID 171 (2013)
Takahashi, W: Nonlinear Function Analysis. Yokohama Publishers, Yokohama (2000)
Marino, G, Xu, HK: Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces. J. Math. Anal. Appl. 329, 336-346 (2007)
Nakajo, K, Takahashi, W: Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl. 279, 372-379 (2003)
Zegeye, H, Shahzad, N: Convergence of Mann’s type iteration method for generalized asymptotically nonexpansive mappings. Comput. Math. Appl. 62, 4007-4014 (2011)
Martinez-Yanesa, C, Xu, HK: Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal. 64, 2400-2411 (2006)
Acknowledgements
The authors would like to thank the referees for valuable suggestions on the research 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 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
Onjai-uea, N., Phuengrattana, W. A hybrid iterative method for common solutions of variational inequality problems and fixed point problems for single-valued and multi-valued mappings with applications. Fixed Point Theory Appl 2015, 16 (2015). https://doi.org/10.1186/s13663-015-0265-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0265-x