Abstract
We are concerned with the problem of solving variational inequalities which are defined on the set of fixed points of a multivalued nonexpansive mapping in a reflexive Banach space. Both implicit and explicit approaches are studied. Strong convergence of the implicit method is proved if the space satisfies Opial’s condition and has a duality map weakly continuous at zero, and the strong convergence of the explicit method is proved if the space has a weakly continuous duality map. An essential assumption on the multivalued nonexpansive mapping is that the mapping be single valued on its nonempty set of fixed points.
Similar content being viewed by others
1 Introduction
In this paper, we are concerned with the problem of solving variational inequalities in Banach spaces. More precisely, let X be a Banach space, let C be a nonempty closed convex subset of X, and let \(A: \subset D(A)\subset X\rightarrow X\) be an operator, such that \(C\subset D(A)\). The variational inequality (VI), associated with A and C, is the problem of finding a point \(x^*\in C\) with the property:
where \(j(x-x^*)\in J(x-x^*)\) and J is the normalized duality map on X defined by:
It is easily understood that the existence and uniqueness of solutions of VI (1.1) require the operator A to satisfy certain conditions. For instance, if A is \(\eta \)-strongly accretive for some \(\eta >0\) (i.e., \( \langle Ax-Ay,j(x-y)\rangle \ge \eta \Vert x-y\Vert ^2 \) for all \(x,y\in C\)), then VI (1.1) has at most one solution. Indeed, if w and z are solutions of VI (1.1), then adding up the inequalities
yields \(-\eta \Vert z-w\Vert ^2\ge -\langle Az-Aw,j(z-w)\rangle \ge 0;\) hence, \(z=w\).
Observe that in a Hilbert space H, we may rewrite VI (1.1) as a variational inequality that is defined on the fixed point set Fix(T) of a nonexpansive mapping \(T: C\rightarrow C\) (i.e., \(\Vert Tx-Ty\Vert \le \Vert x-y\Vert \) for \(x,y\in C\)):
As a matter of fact, we may take \(T=P_C\) to be the metric projection onto C. This shows an equivalence of VIs defined on an arbitrary closed convex subset C and VIs defined on the fixed point set of an arbitrary nonexpansive mapping on C.
This is, however, no longer true in the setting of Banach spaces, due to the fact that there exist closed convex sets of a Banach space X which are not fixed point sets of nonexpansive mappings \(T: X\rightarrow X\). Such an example can be found in [1, p. 25]. However, if X is strictly convex, then every nonexpansive mapping \(T: C\rightarrow C\) has a closed convex fixed point set Fix(T).
In this paper, we will study VI (1.3) in the case where the feasible set C is the set of fixed points of a multivalued nonexpansive mapping in a Banach space. In what follows, we will denote by CB(X) the collection of nonempty closed bounded subsets of X and by K(X) the collection of nonempty compact subsets of X, respectively. Moreover, we will use \(H(\cdot ,\cdot )\) to stand for the Hausdorff metric on CB(X) (see definition in Section 2).
Now, recall that a multivalued mapping \(T: C\rightarrow CB(C)\) is said to be an \(\eta \)-contraction if there exists \(\eta \in [0,1)\), such that:
In the case of \(\eta =1\), that is:
T is said to be a (multivalued) nonexpansive mapping. Recall that a point \(x\in C\) is said to be a fixed point of a multivalued mapping \(T: C\rightarrow CB(C)\) if \(x\in Tx\). The set of fixed points of T is denoted as Fix(T). That is, \(Fix(T)=\{x\in C: x\in Tx\}\).
Existence of fixed points of multivalued mappings is, in general, intricate and, sometimes, surprising. For instance, Nadler [2] proved the existence of a fixed point of a multivalued contraction on a complete metric space, but not uniqueness, as opposed to the single-valued contraction which has a unique fixed point.
Fundamental results about the existence of fixed points for multivalued nonexpansive mappings can be found in Lami Dozo [3] in the setting of Banach spaces satisfying the Opial condition and in Lim [4] in the setting of uniformly convex Banach spaces. Let us remark that the set of fixed points of a multivalued nonexpansive mapping \(T:C\rightarrow K(C)\) on a strictly convex Banach spaces is, in general, not a convex set (see [5, Section 3]). More existence results on fixed points of multivalued mappings may be found in the survey article [6]. In this connection, see also the paper by Reich [7].
Observe that approximation methods for fixed points of multivalued mappings seem to be much less developed than those for single-valued mappings. As a matter of fact, some well-known method for approximating fixed points of single-valued nonexpansive mappings may fail to work for multivalued nonexpansive mappings. For instance, a counterexample, due to Pietramala [8], shows that the famous Browder’s approximation result [9, Theorem 1] for a single-valued nonexpansive mapping cannot be extended to the genuine multivalued case even in the Euclidean space \(\mathbb {R}^2\).
On the other hand, Lopez and Xu [10] verified the convergence of Browder’s approximation for multivalued nonexpansive-type mappings upon supposing that \(Fix(T)=\{z\}\) is singleton. Sahu [11] and later Jung [12] extended Lopez-Xu’s result to the setting of a uniformly convex Banach space and the setting of reflexive spaces with a uniformly Gateaux differentiable norm, respectively. Moreover, they relaxed the condition of [10] by supposing that T is single valued on the set of fixed points, i.e., \(Tw=\{w\}\) if \(w\in Fix(T)\).
Nevertheless, Jung [12] declares that, in his opinion, this last hypothesis seems to be restrictive; therefore, he asked the question if it could be dropped. In 2007, Shahzad and Zegeye [13] gave a partial answer to Jung’s question: noting that, in view of the example shown by Pietramala, it was not completely possible to omit it. They proposed an alternative approach by introducing in their iterative sequence the metric projection \(P_T\) as follows:
where \(T:C\rightarrow K(C)\) is given and \(d(x,Tx):=\inf _{y\in Tx}\Vert x-y\Vert \) is the distance to Tx from x. Instead of studying the asymptotic behavior of the implicitly defined curve \(x_t\):
Shahzad and Zegeye [13] studied the asymptotic behavior of the implicitly defined net \((x_t)\):
The following result was proved in [14] (also in [15]).
Theorem 1.1
Let X be a uniformly convex Banach space with a uniformly Gateaux differentiable norm, C be a nonempty closed convex subset of X, and \(T: C\rightarrow K(E)\) be such that \(P_T\) is nonexpansive. Suppose that C is a nonexpansive retract of X, and that for each \(t\in (0,1)\), the contraction \(S_t\) defined by:
has a fixed point \(x_t\in C\), where \(f: C\rightarrow C\) is a contraction with constant \(\beta \in [0,1)\). Then, T has fixed points if and only if \((x_t)\) remains bounded as \(t\rightarrow 1^-\); in this case, \((x_t)\) strongly converges, as \(t\rightarrow 1^-\), to a fixed point of T.
Remark 1.2
In Theorem 1.1, the authors supposed that C is a nonexpansive retract of the space X. The existence of such a nonexpansive retract for C remains an unsolved problem in general (the answer is, however, affirmative [16] if C is the set of fixed points of a nonexpansive mapping in a uniformly smooth Banach space). Recall that the classical metric projection onto a closed convex C in Banach spaces is a continuous mapping but not necessarily nonexpansive (though true in Hilbert spaces). Moreover, it is proved in [1] that if X is not a Hilbert space with \(\mathrm{dim}\, X\ge 3\), then not every closed convex subset of X is a nonexpansive retract of the space. In this connection, see also Reich [17] and Kopecká-Reich [18].
Note that for \(f(x)=u\), the main theorem in [13] can be recovered from Theorem 1.1.
Iteration methods based on (1.4), which use contractions as a regularizer of nonexpansive mappings, are known as viscosity approximations, which amount to selecting a particular fixed point of a given nonexpansive mapping. This notion was first introduced to optimization by Attouch [19] and then extended to nonexpansive mappings by Moudafi [20] in the Hilbert space setting (see [21] for an extension to the setting of uniformly smooth Banach spaces). A novel element of this kind of iteration methods is the strong convergence to the unique solution of the variational inequality (VI):
where \((I-f)\) is a strongly monotone operator. In the particular case \(f(x)=u\) and \(X=H\), VI (1.5) becomes:
This is equivalent to the minimum problem \(\displaystyle \min _{x\in Fix(T)}\Vert x-u\Vert ^2\).
The multivalued case of viscosity approximations has been studied by Cui et al. [22] in the setting of a reflexive space with a weakly sequentially continuous normalized duality mapping. Let us note that, in their paper, the authors assumed that T is single valued on Fix(T). Wu and Zhao [23] studied a viscosity method in the setting of uniformly convex and smooth Banach spaces; Panyanak and Suantai [24] considered the viscosity approximation method in geodesic spaces.
In 2017, Xu et al. [25] published a note to give the convergence analysis of the implicit Mann iteration process:
where \(y_{n+1}\in Tx_{n+1}\) and, in particular, weak convergence is proved in a uniformly convex Banach space that satisfies Opial’s property.
In the paper [25], besides the main interesting results, we find other interesting elements:
-
the authors showed examples of implicit and explicit Mann iterations that fail to converge if the condition \(Tw=\{w\}\) for \(w\in Fix(T)\) is dropped.
-
The authors pointed out two gaps in the proof of the main result in [26].
Let us spend a few words about one of the gaps, because it connects to a very useful tool.
In many papers on iterative methods (see, e.g., [12, 13, 15, 26]), Banach limits (see [27, p. 26]) are used to define a function \(\phi \) by:
where \((x_n)\) is a bounded sequence in X (which is generated by an iterative method). It is easily found that \(\phi \) is continuous, convex, and coercive (i.e., \(\phi (x)\rightarrow \infty \) as \(\Vert x\Vert \rightarrow \infty \)). Then, the reflexivity of the space X ensures that \(\phi \) attains its minimum on a closed convex set C. Let \(p\in C\) be a minimizer of \(\phi \) over C. If C is a nonexpansive retract of X, this minimum is a global minimum on X. The key is to prove that p is a fixed point of T. Using compactness arguments, they proved that, given \((w_n)_{n\in \mathbb {N}}\subset Tp\), there exists a subsequence strongly convergent to \(w\in Tp\) (wrongfully indicated by the same sequence \((w_n)_{n\in \mathbb {N}}\)). Therefore, using the formula that defines the iteration, they proved that:
and then drew the conclusion that \(w=p\) and thus \(p\in Tp\).
Unfortunately, the above argument holds for a subsequence \((w_{n_k})_{k\in \mathbb {N}}\) of \((w_n)_{n\in \mathbb {N}}\) only, and so (1.7) holds for a subsequence \((x_{n_k})\) only; that is, the correct statement of (1.7) should be:
Consequently, the conclusion \(w=p\) cannot be drawn from (1.8). Notice that Banach limits are sensitive to subsequences, as the following simple example shows: consider the real sequence \(a_n=1+(-1)^n\); then, we have:
Therefore, the claim \(w=p\) in the above proof is not convinced.
In this paper, taking into account the above background, we study the VI (1.3) in the case where the feasible set C is the set of fixed points of a multivalued nonexpansive mapping and the controlling operator A is strongly accretive, which will be relabeled as D. Namely, our VI is restated as finding a point \(x^*\in Fix(T)\) satisfying the property:
where T is a multivalued nonexpansive mapping on a Banach space X having a nonempty set of fixed points. The VI (1.9) encompasses, as a particular case, viscosity problems (1.5) if \(D=I-f\) and minimum problems on Hilbert spaces (1.6) if \(D=I-u\).
We will introduce implicit and explicit iterative approaches that generate a sequence converging strongly to a solution of VI (1.9). In our argument, we do not use Banach limit.
The rest of the paper is organized as follows. Section 2 includes definitions of multivalued nonexpansive mappings and some Banach space concepts. We also present some basic tools which are used in the proof of the main results of the paper.
In Section 3, we state and prove the main results of this paper on implicit and explicit methods for solving a variational inequality which is defined on the set of fixed points of a multivalued nonexpansive mapping in a reflexive Banach space that satisfies Opial’s condition and has a duality map \(J_{\varphi }\) weakly continuous at zero. In addition, we will raise some open problems.
2 Preliminaries
Let \((X,\Vert \cdot \Vert )\) be a Banach space and let C be a nonempty closed convex subset of X. Denote by CB(C) the collection of all nonempty closed bounded subsets of C and by K(C) the collection of nonempty compact subsets of C, respectively.
Recall that the Hausdorff distance between \(A,B\in CB(C)\) is defined as:
where \(d(x,E):=\inf _{e\in E}\Vert e-x\Vert \) for \(x\in X\) and subset \(E\subset X\).
The lemma below will be used to verify that our approaches are well defined; here, we include the proof for the sake of completeness.
Lemma 2.1
Let \(A,B\subset X\) and \(x,y\in X\). For any given \(\lambda \in (0,1)\), let \(A_\lambda := \lambda x+(1-\lambda )A\) and \(B_\lambda := \lambda y+(1-\lambda )B\). Then:
Proof
Let \(a_\lambda :=\lambda x+(1-\lambda )a\) and \(b_\lambda :=\lambda y+(1-\lambda )b\) with \(a\in A\) and \(b\in B\), respectively. Then:
In a similar way, \(d(b_\lambda ,A_\lambda )\le \lambda \Vert x-y\Vert +(1-\lambda )d(b,A)\); therefore:
\(\square \)
Recall that the norm \(\Vert \cdot \Vert \) of a Banach space X is said to be Gateaux differentiable (and X is said to be smooth) if the limit
exists for all x, y in the unit sphere of X.
It is known (cf. [27]) that X is smooth if and only if the normalized duality map \(J_X\) defined by (1.2) is single valued. Another notion is the Opial’s condition [28]: a Banach space X is said to satisfy Opial’s condition if
whenever \((w_n)\) is a sequence in X weakly convergent to w and \(p\not =w\). Opial’s condition plays an important role in the fixed point theory (see [3, 29,30,31]).
The notion of the normalized duality map can be extended to more general case. Recall that a function \(\varphi :\mathbb {R}^+\rightarrow \mathbb {R}^+\) is said to be a gauge if it satisfies the properties: (i) \(\varphi (0)=0\), (ii) \(\varphi \) is continuous and strictly increasing, and (iii) \(\varphi (t)\rightarrow +\infty \) as \(t\rightarrow +\infty \). Associated to a gauge \(\varphi \) is the duality map \(J_{\varphi }\) defined by [32]:
When \(\varphi (t)=t^{p-1}\) for some \(p\in (1,+\infty )\), the duality map is referred to as the generalized duality map of order p. In particular, when \(p=2\), we recover the normalized duality map J. It is a well-known result due to Asplund (see, for instance, [33, 34]) that \(J_\varphi (x)\) is the subdifferential \(\partial \varPhi (\Vert x\Vert )\) of the convex functional \(\varPhi (t)\) defined by \(\displaystyle \varPhi (t)=\int _0^t\varphi (s) ds.\) The relationship between \(J_{\varphi }\) and J is given by the equation:
Following Browder [32], we say that a Banach space X has a weakly sequentially continuous duality map \(J_{\varphi }\) for some gauge \(\varphi \) if \(J_{\varphi }x_n\rightarrow J_{\varphi }x\) in the weak\(^*\) topology of \(X^*\) whenever \(x_n\rightarrow x\) in the weak topology of X. The following result is useful in fixed point theory and geometry of Banach spaces [35, 36].
Lemma 2.2
Let X be a Banach space with a weakly sequentially continuous duality map \(J_{\varphi }\) for some gauge \(\varphi \). Assume that \((x_n)\) is a sequence in X weakly converging to \(x^*\). Then:
for all \(x\in X\). In particular, X satisfies Opial’s condition (but not vice versa [31, 38]).
Lemma 2.3
[31, Theorem 2] Let X be a Banach space with the properties:
-
(i)
X satisfies the weak Opial condition: \(\liminf _{n\rightarrow \infty }\Vert x_n-x\Vert \le \liminf _{n\rightarrow \infty } \Vert x_n-y\Vert \) whenever \(x_n\rightharpoonup x\) and \(y\in X\).
-
(ii)
The norm of X is uniformly Gateaux differentiable.
Then, the duality map \(J_{\phi }\) associated with any gauge \(\phi \) is weakly sequentially continuous at zero (but not necessarily weakly sequentially continuous at other nonzero points [38]).
Definition 2.4
(cf. [37]) Let X be a Banach space and let \(D: X\rightarrow X\) be an operator.
-
(i)
We say that D is \(\eta \)-strongly accretive for some \(\eta \in (0,1)\) if, for every \(x,y\in X\), there exists \(j(x-y)\in J(x-y)\), such that:
$$\begin{aligned} \langle Dx-Dy,j(x-y)\rangle \ge \eta \Vert x-y\Vert ^2. \end{aligned}$$ -
(ii)
We say that D is \(\tau \)-strict pseudocontractive for some \(\tau \in (0,1)\) if, for every \(x,y\in X\), there exists \(j(x-y)\in J(x-y)\), such that:
$$\begin{aligned} \langle Dx-Dy,j(x-y)\rangle \le \Vert x-y\Vert ^2-\tau \Vert (I-D)x-(I-D)y\Vert ^2. \end{aligned}$$
The next proposition, proved in [37], will be used in what follows to define our iterative approach.
Proposition 2.5
[37] Let X be a smooth Banach space and let \(D: X\rightarrow X\) be an operator. Given \(\eta , \tau \in (0,1)\).
-
(i)
If D is \(\tau \)-strictly pseudocontractive, then D is L-Lipschitzian with \(L=1+\tau ^{-1}\).
-
(ii)
If D is \(\eta \)-strongly accretive and \(\tau \)-strictly pseudocontractive with \(\eta +\tau >1\), then \((I-\lambda D)\) is a \((1-\lambda \rho )\)-contraction for all \(\lambda \in (0,1)\), where \(\rho =(1-\sqrt{(1-\eta )/\tau })\).
Remark 2.6
The statement (i) of Proposition 2.5 is not vice versa; for instance, the mapping \(Dx:=\frac{3}{2}x\) in the one-dim case is not a strict pseudocontractive mapping.
If \(X=H\) is a Hilbert space, it is well known (see [38]) that if D is an \(\eta \)-strongly monotone and L-Lipschitzian operator, then \((I-\lambda D)\) is a contraction if \(0<\lambda <\frac{2\eta }{L^2}\).
3 Convergence results
We begin with a simple example which shows that iterative methods for multivalued mappings are quite uncertain in terms of convergence.
Example 3.1
Define \(T:\mathbb {R}\rightarrow 2^{\mathbb {R}}\) by \(Tx=\{x,x+1\}\) and let f be a \(\rho \)-contraction for some \(\rho \in [0,1)\). It is easily seen that T is nonexpansive. Notice that every point x is a fixed point of T; however, T is not single valued on Fix(T). Let us consider the implicit iteration:
where \(\alpha _n\in (0,1)\) and \(x^T_n\in Tx_n\). Notice that we have two options for \(x_n^T\), namely, either \(x^T_n=x_n\) or \(x^T_n=x_n+1\). Consider the particular case where \(f(x)\equiv u\) is constant. In addition, consider the choice \(x^T_n=x_n\) for odd n and \(x^T_n=x_n+1\) for even n. It turns out that \(x_n=u\) for odd n and \(x_n=u-1+\alpha _n^{-1}\) for even n. Therefore, the sequence \((x_n)\) diverges unless \(\alpha _{2n}\rightarrow 1\).
If we consider the explicit method that defines a sequence \((x_n)\) by the iteration process:
where the initial guess \(x_0\in \mathbb {R}\) is arbitrary, \((\alpha _n)\subset (0,1)\) and \(x_n^T\in Tx_n\). Again, if we take \(f(x)\equiv u\not =x_0\) and \(x_n^T=x_n\), then we have \(x_{n+1}=\alpha _nu+(1-\alpha _n)x_n\). It turns out that:
Consequently, if we take \((\alpha _n)\),such that \(\sum _{n=0}^\infty \alpha _n=\infty \) (e.g., \(\alpha _n=\frac{1}{(n+1)^{\alpha }}\) with \(0<\alpha \le 1\)), then the sequence \((x_n)\) diverges.
This simple example shows that iterative methods for a multivalued nonexpansive mapping T may diverge if T is not single valued on its set of fixed points. We will study convergence of implicit and explicit methods for VI (3.2) under the condition that the multivalued nonexpansive mapping is single valued on its set of fixed points.
We begin with the demiclosedness principle for multivalued nonexpansive mappings in a Banach space with Opial’s condition.
Lemma 3.2
[3, Theorem 3.1] Let C be a nonempty closed convex subset of a Banach space X which satisfies the Opial condition (2.1). Let \(T: C\rightarrow K(C)\) be a multivalued nonexpansive mapping with fixed points. Let \((y_n)_{n\in \mathbb {N}}\) be a bounded sequence, such that:
Then, the weak cluster points of \((y_n)_{n\in \mathbb {N}}\) belong to Fix(T) (i.e., \(\omega _w(y_n)\subset Fix(T)\)).
3.1 Implicit method
In this subsection, we consider an implicit method for solving the VI (3.2) in a Banach space satisfying Opial’s condition.
Theorem 3.3
Let X be a reflexive Banach space satisfying Opial’s condition and having a duality map \(J_{\varphi }\) (for some gauge \(\varphi \)) weakly continuous at zero. Let \(T: X\rightarrow K(X)\) be a multivalued nonexpansive mappings, such that \(Fix(T)\not =\emptyset \) and \(Tx=\{x\}\) for all \(x\in Fix(T)\). Let \(D: X\rightarrow X\) be an \(\eta \)-strongly accretive and \(\kappa \)-strictly pseudocontractive for some \(\eta ,\, \kappa \in (0,1)\), such that \(\eta +\kappa >1\). Let \((\mu _n)_{n\in \mathbb {N}}\subset (0,1]\) and let \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1]\) satisfy the condition: \(\alpha _n\rightarrow 0\) as \(n\rightarrow \infty \). Then, the implicit iteration
where \(x^T_n\in Tx_n\), is well defined and strongly converges, as \(n\rightarrow \infty \), to the unique solution of the variational inequality:
Proof
For any \(n\in \mathbb {N}\), let us consider the multivalued mappings:
It is easy to verify that \(\varGamma _n\) is a contraction. Indeed, setting \(w:=(I-\mu _nD)x\) and \(v:=(I-\mu _nD)y\) for \(x,y\in X\), and applying Lemma 2.1 to \(\varGamma _nx\) and \(\varGamma _ny\), we obtain that:
Then, by Nadler’s multivalued contraction fixed point theorem [2], \(\varGamma _n\) has a fixed point; hence, the implicit scheme (3.1) is well defined. Let \(p\in Fix(T)\). Since \(Tp=\{p\}\) by assumption, we have:
It follows that:
It turns out that:
In particular, the sequence \((x_n)\) is bounded. Moreover, for \(w\in Fix(T)\), we have:
It turns out that:
Now, since D is \(\eta \)-strongly accretive, it follows from (3.5) that:
This implies that:
Since \((x_n)\) is bounded and \(\alpha _n\rightarrow 0\) and using (3.3) and (3.1), we see that \((x_n^T)\) is bounded, and
Consequently, \(d(x_n,Tx_n)\rightarrow 0\) as \(n\rightarrow \infty \). By Lemma 3.2, every weak limit point z of \((x_n)_{n\in \mathbb {N}}\) is a fixed point of T. We claim that z also solves VI (3.2). To verify this, take a subsequence \((x_{n_k})\) of \((x_n)\), such that \(x_{n_k}\rightharpoonup z\), which implies that \(J_{\varphi }(x_{n_k}-z)\overset{*}{\rightharpoonup }0\) by the assumption that \(J_{\varphi }\) is weakly continuous at zero. Using (2.2), we can equivalently rewrite (3.5) and (3.6) as:
and respectively:
Passing to the subsequence \((x_{n_k})\), we get:
and
We then obtain \(x_{n_k}\rightarrow z\) in norm from (3.10) and furthermore from (3.9):
This proves that z solves VI (3.2); hence, \(z=x^*\) by the uniqueness of solutions of VI (3.2). Therefore, we have proved that \(x_n\rightarrow x^*\) in norm. \(\square \)
Corollary 3.4
Suppose X is a reflexive Banach space. Suppose, in addition, X either satisfies Opial’s condition and has a uniformly Gateaux differentiable norm or has a weakly continuous duality map \(J_{\varphi }\) for some gauge \(\varphi \). Then, the conclusion of Theorem 3.3 holds.
Proof
In either case, we see that X satisfies the assumptions in Theorem 3.3, i.e., Opial’s condition and a duality map \(J_{\varphi }\) weakly continuous at zero. Indeed, this follows from Lemma 2.3 in the first case and trivially in the second case. \(\square \)
3.2 Explicit method
To define an explicit algorithm, let us recall a relevant property regarding the Hausdorff metric.
Lemma 3.5
[2, p. 480] Let (M, d) be a complete metric space and A, B compact subset of M. Then, for any \(a\in A\), there exists \(b\in B\), such that:
Now, consider VI (3.2) where we assume \(T: X\rightarrow K(X)\) has a nonempty set of fixed points. Take an arbitrary starting point \(x_0\in X\) to define explicitly a sequence \((x_n)\) by the procedure:
where \(x_n^T\in Tx_n\) is chosen in such a way (guaranteed by Lemma 3.5) that:
for \(n\ge 1\).
The next Lemma, proved in [40], will be used in our proof.
Lemma 3.6
Assume \((b_{n})_{n\in \mathbb {N}}\) is a sequence of nonnegative numbers for which:
where \((a_{n})_{n\in \mathbb {N}}\) is a sequence in (0, 1) and \((\delta _{n})_{n\in \mathbb {N}}\) is a sequence in \(\mathbb {R}\), such that:
-
1.
\(\sum _{n=1}^{\infty }a_{n}=\infty ;\)
-
2.
\(\lim \sup _{n\rightarrow \infty }\frac{\delta _{n}}{a_{n}}\le 0\) or \(\sum _{n=1}^{\infty }|\delta _{n}|<\infty .\)
Then, \(\lim _{n\rightarrow \infty }b_{n}=0.\)
Theorem 3.7
Let X be a reflexive space with a weakly sequentially continuous duality mapping \(J_\varphi \). Let \(T:X\rightarrow K(X)\) a nonexpansive multivalued mapping, such that Fix(T) is nonempty and \(Tx=\{x\}\) for all \(x\in Fix(T)\). Let \(D:X\rightarrow X\) an \(\eta \)-strongly accretive and \(\kappa \)-strictly pseudocontractive, such that \(\eta +\kappa >1\). Let \((\mu _n)_{n\in \mathbb {N}}\subset (0,1]\) and \((\lambda _n)_{n\in \mathbb {N}}\subset [0,a]\) for some \(a\in (0,1)\), such that:
-
(i)
\(\lim _{n\rightarrow \infty }\mu _n=0\) and \(\sum _{n=0}^{\infty }\mu _n=\infty \).
-
(ii)
\(\lim _{n\rightarrow \infty }\frac{|\lambda _n-\lambda _{n-1}|}{\mu _n}=0\).
-
(iii)
\(\lim _{n\rightarrow \infty }\frac{|\mu _n-\mu _{n-1}|}{\mu _n}=0\).
Then, the sequence \((x_n)\) defined by the explicit iteration (3.12) strongly converges, as \(n\rightarrow \infty \), to the unique solution of the VI (3.2).
Proof
At first, defining \(B_n:=(I-\mu _nD)\) rewrites our iteration (3.12) as:
Notice that each \(B_n\) is a contraction by Proposition 2.5 (ii).
Take \(p\in Fix(T)\) to derive that (noting \(Tp=\{p\}\) by assumption which implies that \(\Vert x_n^T-p\Vert \le \Vert x_n-p\Vert \)):
It turns out that \((x_n)\) is bounded.
The next step is to claim that \(\omega _w(x_n)\subset Fix(T)\), for which we use (3.14) to estimate \(\Vert x_{n+1}-x_n\Vert \) as follows:
Now, since \((x_n)\) is bounded, we have a constant \(M>0\), such that:
It follows from Proposition 2.5(ii):
Substituting (3.16–3.17) into (3.15) yields:
Setting
we can rewrite the last relation as:
It is easily seen from conditions (i)–(iii) that \((a_n)\) and \((\delta _n)\) satisfy the conditions \(\sum _{n=0}^\infty a_n=\infty \) and \(\lim _{n\rightarrow \infty } \delta _n/a_n=0\). Consequently, we can apply Lemma 3.6 to obtain that \(\lim _{n\rightarrow \infty } b_n=0\); namely, \(\lim _{n\rightarrow \infty } \Vert x_{n+1}-x_n\Vert =0\).
Now, we have:
It follows that:
since \(\mu _n\rightarrow 0\) and \(0\le \lambda _n\le a\) for some \(0<a<1\). This implies that:
Consequently, Lemma 3.2 ensures that every weak limit of \((x_n)\) is a fixed point of T. To prove the strong convergence of \((x_n)\), let \(x^*\in Fix(T)\) denote the unique solution of VI (3.2). Since \(J_{\varphi }\) is the subdifferential of \(\varPhi \), we have:
where
Now, take a subsequence \((x_{n_k})\) of \((x_n)\), such that:
We may further assume \(x_{n_k}\rightarrow \hat{x}\) weakly. As a result, the last relation is reduced to:
since \(x^*\) is the solution of the VI (3.2) and \(\hat{x}\in Fix(T)\). In other words, we have \(\limsup _{n\rightarrow \infty }\gamma _n\le 0\). Consequently, Lemma 3.6 is applicable to (3.19) to get \(\varPhi (\Vert x_n-x^*\Vert )\rightarrow 0\), or \(x_n\rightarrow x^*\) in norm. This finishes the proof. \(\square \)
Remark 3.8
The choices of \((\mu _n)\) and \((\lambda _n)\) given by \(\mu _n=(n+1)^{-\mu }\) and \(\lambda _n=(n+1)^{-\lambda }\) with \(0<\mu \le 1\) and \(\lambda +1-\mu >0\) satisfy the conditions (i)–(iii) in Theorem 3.7.
3.3 Open questions
We conclude the paper by raising some open problems which we think are of interest.
-
(i)
Does the conclusion of Theorem 3.3 hold under weaker conditions on the underlying Banach space X? In particular, X is assumed to satisfy Opial’s condition only.
-
(ii)
Does the conclusion of Theorem 3.7 hold under conditions weaker than the condition of a duality map \(J_{\varphi }\) being weakly continuous? In particular, X is assumed to satisfy Opial’s condition only.
References
Goebel, K., Reich, S.: Uniform convexity, hyperbolic geometry, and nonexpansive mappings. Dekker, New York (1984)
Nadler, S.: Multi-valued contraction mappings. Pac. J. Math. 30(2), 475–488 (1969)
Lami, Dozo E.: Multivalued nonexpansive mappings and Opial condition. Proc. Am. Math. Soc. 38(2), 286–292 (1973)
Lim, T.C.: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80(6), 1123–1126 (1974)
Ko, H.M.: Fixed point theorems for point-to-set mappings and the set of fixed points. Pac. J. Math. 42(2), 369–379 (1972)
Xu, H.K.: Metric fixed point theory for multivalued mappings. Dissert. Math. 389, 39 (2000)
Reich, S.: Approximate selections, best approximations, fixed points, and invariant sets. J. Math. Anal. Appl. 62, 104–113 (1978)
Pietramala, P.: Convergence of approximating fixed points sets for multivalued nonexpansive mappings. Comment. Math. Univ. Carolin 32(4), 697–701 (1991)
Browder, F.E.: Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces. Arch. Rat. Mech. and Anal. 24(1), 82–90 (1967)
López, Acedo G., Xu, H.K.: Remarks on multivalued nonexpansive mappings. Soochow J. Mathe. 21(1), 107–115 (1995)
Sahu, D.R.: Strong convergence theorems for nonexpansive type and non-self multi-valued mappings. Nonlinear Anal. TMA 37(3), 401–407 (1999)
Jung, J.S.: Strong convergence theorems for multivalued nonexpansive nonself-mappings in Banach spaces. Nonlinear Anal. TMA 66(11), 2345–2354 (2007)
Shahzad, N., Zegeye, H.: Strong convergence results for nonself multimaps in Banach spaces. Proc. Am. Math. Soc. 136(2), 539–548 (2007)
Shahzad, N., Zegeye, H.: On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces. Nonlinear Anal. TMA 71(3–4), 838–844 (2009)
Zegeye, H., Shahzad, N.: Viscosity approximation methods for nonexpansive multimaps in Banach spaces. Acta Math. Sin, English Ser. 26(6), 1165–1176 (2010)
Reich, S.: Strong convergence theorems for resolvents of accretive operators in Banach spaces. J. Math. Anal. Appl. 75(1), 287–292 (1980)
Reich, S.: Extension problems for accretive sets in Banach spaces. J. Funct. Anal. 26, 378–395 (1977)
Kopecká, E., Reich, S.: Nonexpansive retracts in Banach spaces. Banach Center Publ. 77, 161–174 (2007)
Attouch, H.: Viscosity approximation methods for minimization problems. SIAM J. Optim. 6(3), 769–806 (1996)
Moudafi, A.: Viscosity approximation methods for fixed-points problems. J. Math. Anal. Appl. 241(1), 46–55 (2000)
Xu, H.K.: Viscosity approximation methods for nonexpansive mappings. J. Math. Anal. Appl. 298(1), 279–291 (2004)
Cui, Y., Fei, Z.Z., Hudzik, H.: Viscosity approximation methods for multivalued mappings in Banach spaces. Numer. Funct. Anal. Opt. 33(11), 1288–1303 (2012)
Wu, X., Zhao, L.: Viscosity approximation methods for multivalued nonexpansive mappings. Mediterranean J. Math. 13(5), 2645–2657 (2016)
Panyanak B., Suantai S.: Viscosity approximation methods for multivalued nonexpansive mappings in geodesic spaces, Fixed Point Theory and Appl., (1), 114 (2015)
Xu, H.K., Alghamdi, M.A., Shahzad, N.: Remarks on iterative methods for multivalued nonexpansive mappings. J. Nonlinear Conv. Anal. 18(1), 161–171 (2017)
He, H., Liu, S., Chen, R.: Convergence results of multi-valued nonexpansive mappings in Banach spaces, J. Inequal. Appl., (1), 483 (2014)
Takahashi, W.: Nonlinear functional analysis: fixed point theory and its applications. Yokohama publishers, Yokohama (2000)
Opial, Z.: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73(4), 591–597 (1967)
Emmanuele, G.: Asymptotic behavior of iterates of nonexpansive mappings in Banach spaces with Opial’s condition. Proc. Am. Math. Soc. 94(1), 103–109 (1985)
Engl, H.W.: Some random fixed point theorems for strict contractions and nonexpansive mappings. Nonlinear Anal. TMA 2(5), 619–626 (1978)
Gossez, J.P., Lami, Dozo E.: Some geometric properties related to the fixed point theory for nonexpansive mappings. Pac. J. Math. 40(3), 565–573 (1972)
Browder, F.E.: Fixed point theorems for nonlinear semicontractive mappings in Banach spaces. Arch. Rat. Mech. Anal. 21(4), 259–269 (1966)
Cioranescu, I.: Geometry of Banach spaces, duality mappings and nonlinear problems, vol. 62. Springer Science & Business Media, Berlin (2012)
Xu, H.K., Kim, T.H., Yin, X.: Weak continuity of the normalized duality map. J. Nonlinear Convex Anal. 15(3), 595–604 (2014)
Lim, T.C., Xu, H.K.: Fixed point theorems of asymptotically nonexpansive mappings. Nonlinear Anal. TMA 22(11), 1345–1355 (1994)
Xu, H.K.: Banach space properties of Opial’s type and fixed point theorems of nonlinear mappings, Annales Universitatis Mariae Curie-Sklodowska. Sect. A 51(2), 293–303 (1997)
Ceng, L.C., Ansari, Q.H., Yao, J.C.: Mann-type steepest-descent and modified hybrid steepest-descent methods for variational inequalities in Banach spaces. Numer. Funct. Anal. Optim. 29(9–10), 987–1033 (2008)
Xu, H.K., Kim, T.H.: Convergence of hybrid steepest-descent methods for variational inequalities. J. Opt. Theory Appl. 119(1), 185–201 (2003)
Marino, G., Muglia, L., Yao, Y.: The uniform asymptotical regularity of families of mappings and solutions of variational inequality problems. J. Nonlinear Convex Anal. 15(3), 477–492 (2014)
Xu, H.K.: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66(1), 240–256 (2002)
Acknowledgements
This work was completed, while the second author were visiting the School of Science, Hangzhou Dianzi University, Hangzhou, China. The second author is grateful for the hospitality. The first author was supported in part by an Australian Research Council/Discovery Project DP 200100124.
Funding
Open access funding provided by Università della Calabria within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Xu, HK., Muglia, L. On solving variational inequalities defined on fixed point sets of multivalued mappings in Banach spaces. J. Fixed Point Theory Appl. 22, 79 (2020). https://doi.org/10.1007/s11784-020-00817-1
Published:
DOI: https://doi.org/10.1007/s11784-020-00817-1
Keywords
- Accretive operator
- variational inequality
- iterative method
- multivalued nonexpansive mapping
- opial condition
- duality map