Abstract
The purpose of this paper is to study a viscosity iterative algorithm for finding a common element of the set of solutions of a general variational inequality problem for two inverse strongly accretive operators and the set of fixed points of a δ-strict pseudocontraction in a real q-uniformly smooth Banach space. Some strong convergence theorems are obtained under appropriate conditions. As an application, we prove some strong convergence theorems for fixed point problems and variational inequality problems or equilibrium problems in Hilbert spaces. These results improve and extend the corresponding results announced by many others.
Similar content being viewed by others
1 Introduction
Let C be a subset of a real Banach space X and T be a mapping from C into itself. In what follows, we use \(F(T)\) to denote the set of fixed points of T. Let \(X^{*}\) be a dual space of X and \(q>1\) be a real number. We recall that the generalized duality mapping \(J_{q}:X\rightarrow2^{X^{*}}\) is defined by
In particular, \(J=J_{2}\) is called a normalized duality mapping and \(J_{q}(x)=\Vert x\Vert ^{q-2}J_{2}(x)\) for \(x\neq0\). We know that \(J_{q}\) is single-valued if X is smooth, which is denoted by \(j_{q}\). Now we recall the following definitions.
A mapping \(T:C\rightarrow C\) is said to be L-Lipschitzian if there exists a constant \(L>0\) such that
A mapping \(T:C\rightarrow C\) is said to be nonexpansive if
A mapping \(f:C\rightarrow C\) is said to be a contraction if there exists a constant \(\alpha\in(0,1)\) such that
We use \(\Pi_{C}\) to denote the collection of all contractions on C.
A mapping \(T:C\rightarrow C\) is called a λ-strict pseudocontraction if there exists a constant \(\lambda\in(0,1)\) such that
for every \(x,y\in C\) and for some \(j(x-y)\in J(x-y)\).
A mapping \(A:C\rightarrow X\) is said to be α-inverse-strongly accretive if there exist \(j_{q}(x-y)\in J_{q}(x-y)\) and a constant \(\alpha>0\) such that
In recent years, a variational inequality problem in Hilbert spaces and Banach spaces has been studied by many authors, see [1–15] and the references therein.
Let C be a nonempty closed convex subset of a real Hilbert space H. The classical variational inequality problem is to find \(x^{*}\in C\) such that
Recently, Ceng et al. [4] considered the following general variational inequality problem of finding \((x^{*},y^{*})\in C\times C\) such that
where \(\lambda>0\) and \(\mu>0\) are two constants and \(A,B:C\rightarrow H\) are two operators. In particular, if \(A=B\) and \(x^{*}=y^{*}\), then problem (1.7) reduces to the classical variational inequality problem (1.6).
Let C be a nonempty closed convex subset of a smooth Banach space X and \(A:C\rightarrow X\) be an accretive operator. Aoyama et al. [3] first considered the following generalized variational inequality problem in Banach spaces which is finding a point \(x^{*}\in C\) such that
Very recently, Yao et al. [8] considered the following problem of finding \((x^{*},y^{*})\in C\times C\) such that
which is called the system of general variational inequalities in a real Banach space, where \(A,B:C\rightarrow X\) are two operators.
For finding a common element of the set of solutions of problem (1.7) and the set of fixed points of a nonexpansive mapping T, Ceng et al. [4] introduced the following iterative algorithm:
and proved a strong convergence theorem under some suitable conditions.
Yao et al. [8] studied the following iterative algorithm:
and proved that the sequence \(\{x_{n} \}\) converges strongly to an element of the set of solutions of problem (1.9) under appropriate conditions.
Let C be a nonempty closed convex subset of a real Banach space X. For given two operators \(A,B:C\rightarrow X\), we consider the problem of finding \((x^{*},y^{*})\in C\times C\) such that
where \(\lambda>0\) and \(\mu>0\) are two constants. When \(\lambda=\mu=1\) and \(q=2\), problem (1.12) reduces to problem (1.9). When X is a Hilbert space, problem (1.12) becomes problem (1.7). Therefore problem (1.12) contains (1.7) or (1.9) as a special case. We also note that problem (1.12) was studied by Cai and Bu [9] when \(q=2\).
In this paper, we introduce a viscosity iterative algorithm for finding a common element of the set of solutions of a general variational inequality (1.12) and the set of fixed points of a δ-strict pseudocontraction in a real q-uniformly smooth Banach space. Then we prove some strong convergence theorems under suitable conditions. The results obtained in this paper extend and improve the results of Ceng et al. [4], Yao et al. [8] and many others.
2 Preliminaries
A Banach space X is called uniformly smooth if \(\frac{\rho_{X}(t)}{t}\rightarrow0\) as \(t\rightarrow0\), where \(\rho_{X}:[0,\infty)\rightarrow[0,\infty)\) is the modulus of smoothness of X which is defined by
A Banach space X is said to be q-uniformly smooth if there exists a constant \(c>0\) such that \(\rho_{X}(t)\leq ct^{q}\). If X is q-uniformly smooth, then \(q\leq2\) and X is uniformly smooth.
Let C and D be two nonempty subsets of X such that C is nonempty closed convex and \(D\subset C\). We say that a mapping \(Q:C\rightarrow D\) is sunny if \(Q(Qx+t(x-Qx))=Qx\), whenever \(Qx+t(x-Qx)\in C\) for \(x\in C\) and \(t\geq0\). A mapping \(Q:C\rightarrow D\) is said to be a retraction if \(Qx=x\) for any \(x\in D\). Q is called a sunny nonexpansive retraction from C onto D if Q is a retraction from C onto D and Q is sunny and nonexpansive. A retraction Q is said to be orthogonal if for each \(x,x-Q(x)\) is normal to D in the sense of James [16].
We know that a projection mapping is a sunny nonexpansive retraction Q of X onto C (see Bruck [17]). If X is a real smooth Banach space, then Q is an orthogonal projection of X onto C if and only if
In order to prove our main results, we need the following lemmas.
Lemma 2.1
([18], p.63)
Let \(q>1\), then the following inequality holds:
for arbitrary positive real numbers a, b.
Lemma 2.2
([19])
Let X be a real q-uniformly smooth Banach space, then there exists a constant \(C_{q}>0\) such that
for all \(x,y\in X\). In particular, if X is a real 2-uniformly smooth Banach space, then there exists a best smooth constant \(K>0\) such that
for all \(x,y\in X\).
Lemma 2.3
([20])
Assume that \(\{a_{n} \}\) is a sequence of nonnegative real numbers such that \(a_{n+1}\leq(1-\alpha_{n})a_{n}+\delta_{n}\), \(n\geq0\), where \(\{\alpha_{n} \}\) is a sequence in \((0,1)\) and \(\{ \delta_{n} \}\) is a sequence in \(\mathbb{R}\) such that
-
(i)
\(\sum_{n=0}^{\infty}\alpha_{n}=\infty\);
-
(ii)
\(\limsup_{n\rightarrow\infty}\frac{\delta_{n}}{\alpha_{n}}\leq 0\) or \(\sum_{n=0}^{\infty} \vert \delta_{n}\vert <\infty\).
Then \(\lim_{n\rightarrow\infty}a_{n}=0\).
Lemma 2.4
([21])
Let \(\{x_{n} \}\) and \(\{z_{n} \}\) be bounded sequences in a Banach space X, and let \(\{\beta_{n} \}\) be a sequence in \([0,1]\) which satisfies the condition \(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\). Suppose \(x_{n+1}=\beta_{n}x_{n}+(1-\beta_{n})z_{n}\), \(n\geq0\) and \(\limsup_{n\rightarrow\infty}(\Vert z_{n+1}-z_{n}\Vert -\Vert x_{n+1}-x_{n}\Vert )\leq0\). Then \(\lim_{n\rightarrow\infty} \Vert z_{n}-x_{n}\Vert =0\).
Lemma 2.5
([22])
Let C be a nonempty convex subset of a real q-uniformly smooth Banach space X and \(T:C\rightarrow C\) be a λ-strict pseudocontraction. For \(\alpha\in(0,1)\), we define \(T_{\alpha}x=(1-\alpha)x+\alpha Tx\). Then, as \(\alpha\in(0,\mu]\), \(\mu=\min{ \{{1,{ \{\frac{q\lambda}{C_{q}} \}}^{\frac {1}{q-1}}} \}}\), \(T_{\alpha}:C\rightarrow C\) is nonexpansive such that \(F(T_{\alpha})=F(T)\).
Lemma 2.6
([23])
Let X be a q-uniformly smooth Banach space, C be a closed convex subset of X, \(T:C\rightarrow C\) be a nonexpansive mapping with \(F(T)\neq\emptyset\) and \(f\in\Pi_{C}\) with contractive constant \(\alpha\in(0,1)\). Then \(\{x_{t} \}\) defined by \(x_{t}=tf(x_{t})+(1-t)Tx_{t}\) for \(t\in(0,1)\) converges strongly to a point in \(F(T)\). If we define \(Q:\Pi_{C}\rightarrow F(T)\) by
then \(Q(f)\) solves the following variational inequality:
Lemma 2.7
([23])
Let C be a closed convex subset of a real q-uniformly smooth Banach space X, and let \(T:C\rightarrow C\) be a nonexpansive mapping with \(F(T)\neq\emptyset\). Assume that \(\{x_{n} \}\) is a bounded sequence such that \(x_{n}-Tx_{n}\rightarrow0\) as \(n\rightarrow\infty\). Let \(x_{t}=tf(x_{t})+(1-t)Tx_{t}\), \(\forall t\in(0,1)\), where \(f\in\Pi_{C}\) with contractive constant \(\alpha\in(0,1)\). Assume that \(Q(f):=\lim_{t\rightarrow0}x_{t}\) exists. Then
Lemma 2.8
Let X be a q-uniformly smooth Banach space. Let C be a nonempty closed convex subset of X, and let \(S:C\rightarrow C\) be a nonexpansive mapping and \(T:C\rightarrow C\) be a δ-strict pseudocontraction such that \(F(S)\cap F(T)\neq\emptyset\). Let W be a mapping from C into itself defined by \(Wx=[(1-\alpha)I+\alpha T]Sx\) for any \(x\in C\), where \(\alpha\in(0,\mu)\), \(\mu=\min{ \{{1,{ \{\frac{q\delta}{C_{q}} \}}^{\frac {1}{q-1}}} \}}\). Then \(F(W)=F(S)\cap F(T)\).
Proof
First we show that \(F(S)\cap F(T)\subseteq F(W)\). Indeed, for any \(x\in F(S)\cap F(T)\), we have
which implies that \(x\in F(W)\). Hence \(F(S)\cap F(T)\subseteq F(W)\) holds. Next we prove that \(F(W)\subseteq F(S)\cap F(T)\). For any \(x\in F(W)\) and \(y\in F(S)\cap F(T)\), it follows from Lemma 2.2 that
which implies that
Therefore we obtain
It follows that
This implies that \(x\in F(S)\). By (2.2) and (2.3), we have \(x=Sx=TSx=Tx\), and hence \(x\in F(T)\). So \(x\in F(S)\cap F(T)\). Consequently, \(F(W)\subseteq F(S)\cap F(T)\) also holds. This proof is complete. □
Lemma 2.9
Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space X. Let the mapping \(A:C\rightarrow X\) be α-inverse-strongly accretive. Then we have
where \(\lambda>0\). In particular, if \(\lambda\leq(\frac{q\alpha}{C_{q}})^{\frac{1}{q-1}}\), then \(I-\lambda A\) is nonexpansive.
Proof
For all \(x,y\in C\), we have by Lemma 2.2
Therefore when \(\lambda\leq(\frac{q\alpha}{C_{q}})^{\frac{1}{q-1}}\), we have that \(I-\lambda A\) is nonexpansive. □
Lemma 2.10
Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space X. Let \(P_{C}\) be a sunny nonexpansive retraction from X onto C. Let the mapping \(A:C\rightarrow X\) be α-inverse-strongly accretive, and let \(B:C\rightarrow X\) be β-inverse-strongly accretive. Let \(G:C\rightarrow C\) be a mapping defined by
If \(0<\lambda\leq(\frac{q\alpha}{C_{q}})^{\frac{1}{q-1}}\) and \(0<\mu\leq(\frac{q\beta}{C_{q}})^{\frac{1}{q-1}}\), then \(G:C\rightarrow C\) is nonexpansive.
Proof
For all \(x,y\in C\), it follows from Lemma 2.9 that
which implies that G is nonexpansive. □
Lemma 2.11
([23])
Let C be a nonempty closed convex subset of a real q-uniformly smooth Banach space X. Let \(P_{C}\) be a sunny nonexpansive retraction from X onto C. Let \(A,B:C\rightarrow X\) be two nonlinear mappings. For given \(x^{*},y^{*}\in C\), \((x^{*},y^{*})\) is a solution of problem (1.12) if and only if \(x^{*}=P_{C}(y^{*}-\lambda Ay^{*})\), where \(y^{*}=P_{C}(x^{*}-\mu Bx^{*})\).
3 Main results
Theorem 3.1
Let C be a closed convex subset of a real q-uniformly smooth Banach space X (\(q>1\)) which is also a sunny nonexpansive retraction of X. Let the mapping \(A:C\rightarrow X\) be α-inverse-strongly accretive, and let \(B:C\rightarrow X\) be β-inverse-strongly accretive. Let \(f\in\Pi_{C}\) with the coefficient \(0<\eta<1\) and \(T:C\rightarrow C\) be a δ-strict pseudocontraction such that \(F:=F(G)\cap F(T)\neq\emptyset\), where G is defined by Lemma 2.10. For given \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(Q_{C}\) is a sunny nonexpansive retraction of X onto C, \(0<\lambda\leq(\frac{q\alpha}{C_{q}})^{\frac{1}{q-1}}\), \(0<\mu\leq(\frac{q\beta}{C_{q}})^{\frac{1}{q-1}}\) and \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), where \(\theta\in(0,\rho)\), \(\rho=\min{ \{{1,{ \{\frac{q\delta}{C_{q}} \}}^{\frac {1}{q-1}}} \}}\). Suppose that \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\) and \(\{\gamma_{n} \}\) are sequences in \([0,1]\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\).
Then \(\{x_{n} \}\) converges strongly to \(Q(f)\), where \(Q(f)\in F\) solves the following variational inequality:
Proof
First we prove that \(\{x_{n} \}\) is bounded. Let \(W:C\rightarrow C\) be a mapping defined by \(Wx=T_{\theta}Gx\) for all \(x\in C\). By Lemma 2.8, we have \(F(W)=F(G)\cap F(T)\). It follows from Lemma 2.5 that \(T_{\alpha}\) is nonexpansive, then W is also nonexpansive. We can rewrite (3.1) as
Take \(p\in F\), by (3.2), we have
by induction. This implies that \(\{x_{n} \}\) is bounded.
Next we show that \(\lim_{n\rightarrow\infty} \Vert x_{n+1}-x_{n}\Vert =0\). Put \(x_{n+1}=\beta_{n}x_{n}+(1-\beta_{n})l_{n}\), then we have
which implies
It follows that
By condition (ii), we have that
By Lemma 2.4, we obtain \(\lim_{n\rightarrow\infty} \Vert l_{n}-x_{n}\Vert =0\). Therefore,
Again using (3.2), we have
which implies
By conditions (i)-(iii) and (3.3), we have
Let \(Q(f)=\lim_{n\rightarrow\infty}x_{t}\) and \(x_{t}\) be the unique fixed point of the contraction \(T_{t}:C\rightarrow C\) given by
In view of Lemma 2.6, we obtain \(Q(f)\in F(W)=F\) which solves the following variational inequality:
By Lemma 2.7 and (3.4), we get
where \(z=Q(f)\).
Finally we prove that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). In fact, by Lemma 2.1, we have
which implies
Applying Lemma 2.3 to (3.6), we obtain that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). This completes the proof. □
Corollary 3.2
Let C be a closed convex subset of a real 2-uniformly smooth Banach space X which is also a sunny nonexpansive retraction of X. Let the mapping \(A:C\rightarrow X\) be α-inverse-strongly accretive, and let \(B:C\rightarrow X\) be β-inverse-strongly accretive. Let \(f\in\Pi_{C}\) with the coefficient \(0<\eta<1\) and \(T:C\rightarrow C\) be a δ-strict pseudocontraction such that \(F:=F(G)\cap F(T)\neq\emptyset\), where G is defined by Lemma 2.10. For given \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(Q_{C}\) is a sunny nonexpansive retraction of X onto C, \(0<\lambda\leq\frac{\alpha}{K^{2}}\), \(0<\mu\leq\frac{\beta}{K^{2}}\) and \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), \(\theta\in(0,\rho)\), \(\rho=\min{ \{1,\frac{\delta}{K^{2}} \}}\), where K is the 2-uniformly smooth constant. Suppose that \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\) and \(\{ \gamma_{n} \}\) are sequences in \([0,1]\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\).
Then \(\{x_{n} \}\) converges strongly to \(Q(f)\), where \(Q(f)\in F\) solves the variational inequality
Proof
Take \(q=2\) in Theorem 3.1, we obtain the desired result by Theorem 3.1. □
Corollary 3.3
Let C be a closed convex subset of a real Hilbert space H. Let the mapping \(A:C\rightarrow H\) be α-inverse-strongly accretive, and let \(B:C\rightarrow H\) be β-inverse-strongly accretive. Let \(f\in\Pi_{C}\) with the coefficient \(0<\eta<1\) and \(T:C\rightarrow C\) be a δ-strict pseudocontraction such that \(F:=F(G)\cap F(T)\neq\emptyset\), where G is defined by Lemma 2.10. For given \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(0<\lambda\leq2\alpha\), \(0<\mu\leq2\beta\) and \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), where \(\theta\in(0,\rho)\), \(\rho=\min{ \{1,2\delta \}}\). Suppose that \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\) and \(\{ \gamma_{n} \}\) are sequences in \([0,1]\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\).
Then \(\{x_{n} \}\) converges strongly to \(Q(f)\), where \(Q(f)\in F\) solves the variational inequality
Proof
We note that if X is a Hilbert space, then H is 2-uniformly smooth and \(C_{q}=1\), therefore we obtain the desired result by Theorem 3.1. □
Remark 3.4
Theorem 3.1 extends and improves Theorem 3.1 of Ceng et al. [4] in the following aspects.
-
(i)
From a Hilbert space to a more general q-uniformly smooth Banach space.
-
(ii)
From a nonexpansive mapping to a more general strict pseudocontraction.
-
(iii)
From variational inequality problem (1.7) to more general variational inequality problem (1.12).
-
(iv)
u is replaced by \(f(x_{n})\), where f is a contractive mapping.
-
(v)
The proof method of Theorem 3.1 is more simple than the ones of Ceng et al. [4] because we do not need to use the relaxed extragradient method. In fact, in the course of proof of Theorem 3.1, Lemma 2.8 plays an important role. By using Lemma 2.8, we can transform our iterative algorithm (3.1) into more uncomplicated form (3.2). In this way, we simplify the proof of Theorem 3.1.
4 Applications
(I) Application to variational inequality problems for two strict pseudocontractive mappings in Hilbert space.
Definition 4.1
A mapping \(T:C\rightarrow C\) is said to be a k-strict pseudocontractive mapping if there exists \(k\in[0,1)\) such that
Let \(T:C\rightarrow C\) be k-strict pseudocontractive, we define a mapping \(A=I-T:C\rightarrow H\), then A is a \(\frac{1-k}{2}\)-inverse-strongly accretive mapping. In fact, from (4.1) we have
On the other hand,
Hence we have
This shows that A is a \(\frac{1-k}{2}\)-inverse-strongly accretive mapping.
Theorem 4.2
Let C be a closed convex subset of a real Hilbert space H. Let \(T_{1},T_{2}:C\rightarrow C\) be a \(k_{1}\)-strict pseudocontractive mapping and a \(k_{2}\)-strict pseudocontractive mapping, respectively. Let \(f\in\Pi_{C}\) with the coefficient \(0<\eta<1\) and \(T:C\rightarrow C\) be a δ-strict pseudocontraction such that \(F:=F(G)\cap F(T)\neq\emptyset\), where G is defined by Lemma 2.10. For given \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(0<\lambda\leq1-k_{1}\), \(0<\mu\leq1-k_{2}\) and \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), where \(\theta\in(0,\rho)\), \(\rho=\min{ \{1,2\delta \}}\). Suppose that \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\) and \(\{\gamma_{n} \}\) are sequences in \([0,1]\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\).
Then \(\{x_{n} \}\) converges strongly to \(Q(f)\), where \(Q(f)\in F\) solves the following variational inequality:
Proof
Taking \(A=I-T_{1}:C\rightarrow H\) and \(B=I-T_{2}:C\rightarrow H\), from (4.2) we know that \(A:C\rightarrow H\) is α-inverse-strongly accretive with \(\alpha=\frac{1-k_{1}}{2}\) and \(B:C\rightarrow H\) is β-inverse-strongly monotone with \(\beta=\frac{1-k_{2}}{2}\). On the other hand, we have
and
The conclusion of Theorem 4.2 can be obtained from Theorem 3.1 immediately. □
(II) Application to equilibrium problems.
Let \(\phi:C\times C\rightarrow\mathbb{R}\) be a bifunction, where \(\mathbb{R}\) is a set of real numbers. The equilibrium problem for the function ϕ is to find a point \(x\in C\) such that
The set of solutions of (4.4) is denoted by \(\operatorname{EP}(\phi)\).
For solving the equilibrium problem, we assume that the bifunction ϕ satisfies the following conditions (see [24]):
-
(A1)
\(\phi(x,x)=0\) for all \(x\in C\);
-
(A2)
ϕ is monotone, i.e., \(\phi(x,y)+\phi(y,x)\leq0\) for any \(x,y\in C\);
-
(A3)
ϕ is upper-hemicontinuous, i.e., for each \(x,y,z\in C\),
$$\limsup_{t\rightarrow0^{+}}\phi\bigl(tz+(1-t)x,y\bigr)\leq\phi(x,y); $$ -
(A4)
\(\phi(x,\cdot)\) is convex and weakly lower semicontinuous for each \(x\in C\).
Lemma 4.1
([24])
Let C be a nonempty closed convex subset of H, and let ϕ be a bifunction of \(C\times C\) into \(\mathbb{R}\) satisfying (A1)-(A4). Let \(r>0\) and \(x\in H\). Then there exists \(z\in C\) such that
Lemma 4.2
([25])
Assume that \(\phi:C\times C\rightarrow\mathbb{R}\) satisfies (A1)-(A4). For \(r>0\) and \(x\in H\), define a mapping \(T_{r}:H\rightarrow C\) as follows:
for all \(z\in H\). Then the following hold:
-
(1)
\(T_{r}\) is single-valued;
-
(2)
\(T_{r}\) is firmly nonexpansive, i.e., for any \(x,y\in H\), \(\Vert T_{r}x-T_{r}y\Vert ^{2}\leq \langle T_{r}x-T_{r}y,x-y \rangle\). This implies that \(\Vert T_{r}x-T_{r}y\Vert \leq \Vert x-y\Vert \), \(\forall x,y\in H\), i.e., \(T_{r}\) is nonexpansive;
-
(3)
\(F(T_{r})=\operatorname{EP}(\phi)\), \(\forall r>0\);
-
(4)
\(\operatorname{EP}(\phi)\) is a closed and convex set.
Combining Lemma 2.8 and the proof of Theorem 3.1, we obtain the following result.
Theorem 4.3
Let C be a closed convex subset of a real q-uniformly smooth Banach space X (\(q>1\)) which is also a sunny nonexpansive retraction of X. Let \(f\in\Pi_{C}\) with the coefficient \(0<\eta<1\) and \(T, S:C\rightarrow C\) be a δ-strict pseudocontraction and a nonexpansive mapping, respectively, such that \(F:=F(S)\cap F(T)\neq\emptyset\). For given \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), where \(\theta\in(0,\rho)\), \(\rho=\min{ \{{1,{ \{\frac{q\delta}{C_{q}} \}}^{\frac {1}{q-1}}} \}}\). Suppose that \(\{\alpha_{n} \}\), \(\{\beta_{n} \}\) and \(\{\gamma_{n} \}\) are sequences in \([0,1]\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha_{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow \infty}\beta_{n}<1\).
Then \(\{x_{n} \}\) converges strongly to \(Q(f)\), where \(Q(f)\in F\) solves the following variational inequality:
Using Theorem 4.3, we can obtain the following strong convergence theorem for the fixed point problem of a strict pseudocontraction and the equilibrium problem in a Hilbert space.
Theorem 4.4
Let C be a nonempty closed convex subset of a real Hilbert space H. Let \(\Phi:C\times C\rightarrow\mathbb{R}\) be a bifunction satisfying conditions (A1)-(A4). Let \(T:C\rightarrow C\) a δ-strict pseudocontraction such that \(F=F(T)\cap \operatorname{EP}(\Phi)\neq\emptyset\). Let \(f:C\rightarrow C\) be an η-contraction with \(\eta\in(0,1)\). Suppose that \(\{\alpha _{n} \}\), \(\{\beta_{n} \}\) and \(\{\gamma_{n} \}\) are three real sequences in \((0,1)\) satisfying the following conditions:
-
(i)
\(\alpha_{n}+\beta_{n}+\gamma_{n}=1\);
-
(ii)
\(\lim_{n\rightarrow\infty}\alpha_{n}=0\), \(\sum_{n=1}^{\infty}\alpha _{n}=\infty\);
-
(iii)
\(0<\liminf_{n\rightarrow\infty}\beta_{n}\leq\limsup_{n\rightarrow\infty}\beta_{n}<1\).
For any \(x_{1}\in C\), let \(\{x_{n} \}\) be a sequence generated by
where \(T_{\theta}:C\rightarrow C\) is a mapping defined by \(T_{\theta}x=(1-\theta)x+\theta Tx\), where \(\theta\in(0,\rho)\), \(\rho=\min{ \{1,2\delta \}}\). Then \(\{x_{n} \}\) converges strongly to z, where \(z\in F\) solves the following variational inequality:
Proof
By Lemma 4.2, we know that \(T_{r}\) is nonexpansive and \(F(T_{r})=\operatorname{EP}(\phi )\). Hence we obtain the desired result by Theorem 4.3. This proof is complete. □
References
Iiduka, H, Takahashi, W, Toyoda, M: Approximation of solutions of variational inequalities for monotone mappings. Panam. Math. J. 14, 49-61 (2004)
Zeng, LC, Yao, JC: Strong convergence theorem by an extragradient method for fixed point problems and variational inequality problems. Taiwan. J. Math. 10, 1293-1303 (2006)
Aoyama, K, Iiduka, H, Takahashi, W: Weak convergence of an iterative sequence for accretive operators in Banach spaces. Fixed Point Theory Appl. 2006, Article ID 35390 (2006)
Ceng, LC, Wang, C, Yao, JC: Strong convergence theorems by a relaxed extragradient method for a general system of variational inequalities. Math. Methods Oper. Res. 67, 375-390 (2008)
Yao, Y, Noor, MA: On viscosity iterative methods for variational inequalities. J. Math. Anal. Appl. 325, 776-787 (2007)
Noor, MA: New approximation schemes for general variational inequalities. J. Math. Anal. Appl. 251, 217-229 (2000)
Qin, X, Cho, SY, Kang, SM: Convergence of an iterative algorithm for systems of variational in equalities and nonexpansive mappings with applications. J. Comput. Appl. Math. 233, 231-240 (2009)
Yao, Y, Noor, MA, Noor, KI, Liou, YC, Yaqoob, H: Modified extragradient methods for a system of variational inequalities in Banach spaces. Acta Appl. Math. 110, 1211-1224 (2010)
Cai, G, Bu, S: Strong convergence theorems based on a new modified extragradient method for variational inequality problems and fixed point problems in Banach spaces. Comput. Math. Appl. 62, 2567-2579 (2011)
Ceng, LC, Hadjisavvas, N, Wong, NC: Strong convergence theorem by a hybrid extragradient-like approximation method for variational inequalities and fixed point problems. J. Glob. Optim. 46, 635-646 (2010)
Plubtieng, S, Thammathiwat, T: A viscosity approximation method for equilibrium problems, fixed point problems of nonexpansive mappings and a general system of variational inequalities. J. Glob. Optim. 46, 447-464 (2010)
Yao, Y, Chen, R, Xu, HK: Schemes for finding minimum-norm solutions of variational inequalities. Nonlinear Anal. 72, 3447-3456 (2010)
Qin, X, Cho, SY, Kang, SM: Iterative algorithms for variational inequality and equilibrium problems with applications. J. Glob. Optim. 48, 423-445 (2010)
Katchang, P, Kumam, P: An iterative algorithm for finding a common solution of fixed points and a general system of variational inequalities for two inverse strongly accretive operators. Positivity 15, 281-295 (2011)
Kumam, W, Kumam, P: Hybrid iterative scheme by relaxed extragradient method for solutions of equilibrium problems and a general system of variational inequalities with application to optimization. Nonlinear Anal. Hybrid Syst. 3, 640-656 (2009)
James, RC: Orthogonality and linear functionals in normed linear spaces. Trans. Am. Math. Soc. 61, 265-292 (1947)
Bruck, RE: Nonexpansive projections on subsets of Banach space. Pac. J. Math. 47, 341-355 (1973)
Mitrinović, DS: Analytic Inequalities. Springer, New York (1970)
Xu, HK: Inequalities in Banach spaces with applications. Nonlinear Anal. 16, 1127-1138 (1991)
Xu, HK: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 298, 279-291 (2004)
Suzuki, T: Strong convergence of Krasnoselskii and Mann’s type sequences for one parameter nonexpansive semigroups without Bochner integrals. J. Math. Anal. Appl. 305, 227-239 (2005)
Zhang, H, Su, Y: Strong convergence theorems for strict pseudo-contractions in q-uniformly smooth Banach spaces. Nonlinear Anal. 70, 3236-3242 (2009)
Cai, G, Bu, S: Strong convergence theorems for general variational inequality problems and fixed point problems in q-uniformly smooth Banach spaces. Fixed Point Theory 13, 383-402 (2012)
Blum, E, Oettli, W: From optimization and variational inequalities to equilibrium problems. Math. Stud. 63, 123-145 (1994)
Combettes, PL, Hirstoaga, SA: Equilibrium programming in Hilbert space. J. Nonlinear Convex Anal. 6, 117-136 (2005)
Acknowledgements
This work was supported by the NSF of China (Nos. 11171172, 11401063), the Specialized Research Fund for the Doctoral Program of Higher Education (20120002110044) and the Natural Science Foundation of Chongqing (cstc2014jcyjA00016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Cai, G. Viscosity iterative algorithm for variational inequality problems and fixed point problems in a real q-uniformly smooth Banach space. Fixed Point Theory Appl 2015, 67 (2015). https://doi.org/10.1186/s13663-015-0316-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0316-3