Abstract
Let E be a strictly convex real Banach space and let \(D\subseteq E\) be a nonempty closed convex subset of E. Let \(T_{i}: {D}\longrightarrow \mathcal{P}({D})\), \(i=1,2,3,\ldots \) be a countable family of quasinonexpansive multivalued maps that are continuous with respect to the Hausdorff metric, \(\mathcal{P}(D)\) is the family of proximinal and bounded subsets of D. Supposing that the family has at least one common fixed point, we show that a Krasnoselskii–Mann-type sequence converges strongly to a common fixed point. Our result generalizes and complements some important results for single-valued and multivalued quasinonexpansive maps.
Similar content being viewed by others
1 Introduction
Nonexpansive maps, that is, maps \(T:C\to C\), C subset of a normed space X, such that \(\|Tx-Ty\|\leq \|x-y\|\) for all \(x,y\in C\), constitute an important part of nonlinear operators that have been studied by numerous authors. Iterative processes for such maps turn out to be key tools in such areas as signal processing and image restoration (see, e.g., Byrne [1]). A proper superclass of the class of nonexpansive maps is that of quasinonexpansive maps, that is, maps \(T:C\to C\), C subset of a normed space X, such that \(\|Tx-y\|\leq \|x-y\|\) for all \(x,y\in C\) with \(Ty=y\). This class was introduced by Diaz and Metcalfe [2] and Dotson [3] independently. For a nonexpansive map \(T:C\to C\), Edelstein and O’brien [4] showed that \(\|x_{n}-Tx_{n}\|\to 0\) (uniformly), where \(x_{n+1}=\lambda x_{n}+(1-\lambda )Tx_{n}\), \(n\geq 0\), \(x_{0}\in C\) arbitrary and C a convex and bounded nonempty subset of any normed linear space. Their result gave an affirmative answer to the question of whether strict convexity of X can be dropped in showing that the sequence \(\{x_{n}\}\) defined by the algorithm above converges strongly to a fixed point of T (see Krasnoslskii [5], Edelstein [6] and Schaefer [7]). Concerning quasinonexpansive maps, Dotson [3] showed that the Mann sequence \(x_{n+1}=\alpha _{n} x_{n}+(1-\alpha _{n})Tx_{n}\), \(n\geq 0\), \(x_{0} \in K\) satisfies \(\|x_{n}-Tx_{n}\|\to 0\) in a uniformly convex space. Unlike the case of nonexpansive maps, this result does not hold in a general Banach space, as proved by Chidume [8].
Given a normed space X and \(\emptyset \ne C\subset X\), \(\mathcal{CB}(C)\), \(\mathcal{K}(C)\), \(\mathcal{KC}(C)\) and \(\mathcal{P}(C)\) denote the families of nonempty, closed and bounded, compact, compact and convex, and proximinal and bounded subsets of C, respectively, where a subset D of X is called proximinal if its distance from any point x in X is achieved, that is, \(\operatorname{dist}(x, D):=\inf \{\|x-d\|:d\in D\}=\|x-d_{0}\|\), for some \(d_{0}\in D\). The Hausdorff metric on \(\mathcal{CB}(C)\) is defined by
for all \(A,B\in \mathcal{CB}(C)\). A map \(T:C\to \mathcal{CB}(C)\) is said to be nonexpansive if
We denote by \(F(T)\) the set of all fixed points of T, that is, \(F(T):=\{x\in C:x\in Tx\}\). The mapping T is called quasinonexpansive if
For several decades, the fixed-point theory for multivalued maps has continued to receive the attention of many mathematicians (see, e.g., [9–18]). This may be connected to its numerous applications in so many areas, such as Game Theory, Market Economy, and Non-Smooth Differential Equations. Several works have been devoted to approximation of the fixed points of quasinonexpansive maps. Shahzad and Zegeye [19], using the Ishikawa iteration scheme, proved strong convergence theorems for quasinonexpansive multivalued maps in the setting of uniformly convex Banach space. Chidume and Minjibir [20] proved that a Krasnoselski sequence converges strongly to a fixed point of a multivalued quasinonexpansive map in uniformly convex spaces. They proved the following theorem.
Theorem CM
([20])
Let D be a nonempty closed convex subset of a uniformly convex real Banach space E. Suppose that \(T : D\to \mathcal{CB}(D)\) is a multivalued quasinonexpansive mapping such that \(Tp =\{p\}\) for some \(p\in F(T)\). Then, for any fixed \(x_{0}\in D\) and \(\lambda \in (0; 1)\), the sequence \(\{x_{n}\}\) defined iteratively, by \(x_{n+1} = (1-\lambda )x_{n} + \lambda y_{n}; y_{n} \in Tx_{n}\), \(n= 0,1,2, \ldots \) . Then, \(\lim_{n}\operatorname{dist}(x_{n}, Tx_{n})= 0\).
Under additional mild compactness-type conditions, they obtained strong convergence of \(\{x_{n}\}\) to a fixed point of the multivalued map.
Many authors devote time to studying methods for approximating common fixed points of the family of nonexpansive mapings and their generalizations, see, e.g., Uddin et al. [21]. The extension of the work of Chidume and Minjibir [20] to a finite family of quasinonexpansive mappings was given by Diop et al. [22]. They developed the algorithm:
where \(T_{i}:D\longrightarrow \mathcal{CB}(D)\), \(i=1,2,3,\ldots ,m\) are a finite family of multivalued quasinonexpansive mappings such that \(T_{i}p = \{p\}\) for every common fixed point and for all i. They proved that if D is a nonempty closed convex subset of a uniformly convex real Banach space and the maps \(T_{i}\)s have a common fixed point, then \(\lim_{n\longrightarrow \infty }\operatorname{dist}(x_{n}, T_{i}x_{n}) = 0\) for each i. They further obtained strong convergence of \(\{x_{n}\}\) to a common fixed point under additional mild conditions.
It is our purpose in this paper to develop a Krasnoselskii–Mann-type algorithm for approximating a common fixed point of a countable family of quasinonexpansive mappings in the setting of strictly convex Banach spaces and prove the strong convergence of the generated sequence to a common fixed point, given that such fixed point exists. The method of proof is akin to that of Dotson [3].
2 Preliminaries
In this section we state three lemmas that are used in the next section.
Lemma 2.1
([3])
Let E be a strictly convex Banach space. If we let \(x, y \in E\) such that \(\|x\| \leq \|y\|\) and \(\|(1-\lambda ) y+\lambda x\|=\|y\|\), for some \(\lambda \in (0,1)\), then \(y=x\).
Lemma 2.2
([23])
If K is a compact subset of a Banach space E, then the closed convex hull of K, \(\overline{\operatorname{co}}(K)\) is compact.
Lemma 2.3
([20])
If \(x,y,z \in D\) such that \(Ty = \{z\}\), then
3 Main results
We first prove the following lemmas that are key to the proof of our main theorem.
Lemma 3.1
Let E be a strictly convex Banach space and let \(\{x_{n}\}_{n} \subseteq E\).
-
(i)
If \(\{{\lambda }_{i}\}_{i=1}^{m} \subseteq (0,1)\) such that \(\sum_{i=1}^{m} \lambda _{i}= 1\), \(\|x_{i}\| \leq \|x_{1}\|\), for all i and \(\Vert \sum_{i=1}^{m}\lambda _{i} x_{i} \Vert =\|x_{1}\|\), then \(x_{i} = x_{1}\), for all i.
-
(ii)
If \(\{\lambda _{i}\}_{i} \subseteq (0,1)\) such that \(\sum_{i=1}^{\infty } \lambda _{i}= 1\), \(\|x_{i}\| \leq \|x_{1}\|\), for all i and \(\Vert \sum_{i=1}^{\infty }\lambda _{i} x_{i} \Vert =\|x_{1}\|\), then \(x_{i} = x_{1}\), for all i.
Proof
-
(i)
We proceed by induction. For \(m=2\) the assertion holds by Lemma 2.1. Suppose the assertion holds for some \(n\geq 2\). Let \(\{{\lambda }_{i}\}_{i=1}^{n+1} \subseteq (0,1)\) such that \(\sum_{i=1}^{n+1} \lambda _{i}= 1\), \(\|x_{i}\| \leq \|x_{1}\|\), for all i and \(\Vert \sum_{i=1}^{n+1}\lambda _{i} x_{i} \Vert =\|x_{1}\|\). Set \(W_{k} :=\sum_{i=1}^{k} \lambda _{i} x_{i}\), \(k\geq 1\). We have
$$ \begin{aligned} \Vert W_{n+1} \Vert &= \biggl\Vert W_{n-1} +(\lambda _{n} + \lambda _{n+1}) \biggl( \frac{\lambda _{n}}{(\lambda _{n} + \lambda _{n+1})}x_{n} + \frac{\lambda _{n+1}}{(\lambda _{n} + \lambda _{n+1})}x_{n+1} \biggr) \biggr\Vert \\ & = \Vert x_{1} \Vert . \end{aligned} $$Since
$$ \biggl\Vert \frac{\lambda _{n}}{(\lambda _{n} + \lambda _{n+1})}x_{n} + \frac{\lambda _{n+1}}{(\lambda _{n} + \lambda _{n+1})}x_{n+1} \biggr\Vert \leq \Vert x_{1} \Vert , $$by an inductive hypothesis we have
$$ x_{1}=x= \cdots =x_{n-1}= \frac{\lambda _{n}}{(\lambda _{n} + \lambda _{n+1})}x_{n} + \frac{\lambda _{n+1}}{(\lambda _{n} + \lambda _{n+1})}x_{n+1}. $$(3.1)We now show \(x_{n+1}=x_{n}\). If this is not the case, then \(\frac{x_{n}}{\|x_{1}\|},\frac{x_{n+1}}{\|x_{1}\|} \in B_{E}\) and \(\frac{x_{n}}{\|x_{1}\|}\neq \frac{x_{n+1}}{\|x_{1}\|}\) (if \(x_{1}=0\) the assertion follows immediately). By the strict convexity of E, we must have
$$ \biggl\Vert \frac{\lambda _{n}}{(\lambda _{n} + \lambda _{n+1})} \biggl( \frac{x_{n}}{ \Vert x_{1} \Vert } \biggr) + \frac{\lambda _{n+1}}{(\lambda _{n} + \lambda _{n+1})} \biggl( \frac{x_{n+1}}{ \Vert x_{1} \Vert } \biggr) \biggr\Vert < 1. $$This yields
$$ \biggl\Vert \frac{\lambda _{n}}{(\lambda _{n} + \lambda _{n+1})}x_{n} + \frac{\lambda _{n+1}}{(\lambda _{n} + \lambda _{n+1})}x_{n+1} \biggr\Vert < \Vert x_{1} \Vert , $$contradicting (3.1). Therefore, \(x_{n}=x_{n+1}\). It then follows from (3.1) that \(x_{i} = x_{j}\), for all i, j.
-
(ii)
We first note that the series \(\sum_{i=1}^{\infty }\lambda _{i} x_{i}\in E\) by the hypotheses. Let \(i_{0} \in \mathbb{N}\). We have
$$ \Biggl\Vert \sum_{i=1}^{i_{0}}\lambda _{i} x_{i} + \bigl( 1- {\lambda }^{*} \bigr) \sum_{i={i_{0} + 1}}^{\infty } \frac{\lambda _{i}}{ ( 1- {\lambda }^{*} )} x_{i} \Biggr\Vert = \Vert x_{1} \Vert , $$where \({\lambda }^{*}=\sum_{i=1}^{i_{0}}\lambda _{i} \). Noting that
$$ \Biggl\Vert \sum_{i={i_{0} + 1}}^{\infty } \frac{\lambda _{i}}{ ( 1- {\lambda }^{*} )} x_{i} \Biggr\Vert \leq \Biggl( \frac{1}{ ( 1- {\lambda }^{*} )} \sum_{i={i_{0} + 1}}^{\infty } \lambda _{i} \Biggr) \Vert x_{1} \Vert = \Vert x_{1} \Vert , $$we conclude by (i) that \(x_{i_{0}}= x_{1}\). Since \(i_{0} \in \mathbb{N}\) was arbitrarily chosen, it follows that \(x_{i} = x_{1}\), for all i.
□
Lemma 3.2
Let D be a nonempty, closed and convex subset of a normed space E. Let \(T_{i}\colon D\longrightarrow \mathcal{CB}(D)\) be quasinonexpansive for all \(i\in \mathbb{N}\). Let \(\lambda _{i} \in (0,1)\), for all \(i\in \mathbb{N}\cup \{0\}\) with \(\sum_{i=0}^{\infty } \lambda _{i}= 1\). Suppose D is bounded or \(\{T_{i}\}_{i}\) is uniformly bounded (that is, \(\bigcup_{i=1}^{\infty }T_{i}(B)\) is bounded for each bounded subset B of D). For any \(x_{0}\in D\), define the sequence \(\{x_{n}\}_{n}\) iteratively by \(x_{n+1} =\lambda _{0} x_{n} +\sum_{i=1}^{\infty } \lambda _{i}{u_{i,n}}\), where \({u_{i,n}}\in T_{i}x_{n}\), for all \(n\geq 0\). Suppose \(p\in \bigcap^{\infty }_{i=1}\mathit{F}(T_{i})\) such that \(T_{i}p = \{p\}\), for all \(i\in \mathbb{N}\). Then,
-
(i)
\(\|x_{n+1} -p\|\leq \|x_{n} - p\|\), for all \(n\geq 1\).
-
(ii)
If \(\{x_{n}\}_{n}\) clusters at y and z, then \(\|y-p\|=\|z-p\|\).
Proof
We first note that the series \(\sum_{i=1}^{\infty } \lambda _{i}{u_{i,n}}\) is absolutely convergent if D is bounded or \(\{T_{i}\}_{i}\) is uniformly bounded. Also, since D is closed and convex, the infinite sum belongs to D for each n. Thus, the iterative sequence is well defined.
-
(i)
By Lemma 2.3 and the quasinonexpansiveness of \(T_{i}\)s, we have
$$ \begin{aligned} \Vert x_{n+1} - p \Vert & = \Biggl\Vert \lambda _{0} (x_{n} - p)+ \sum _{i=1}^{\infty } \lambda _{i}(u_{i,n} -p) \Biggr\Vert \\ &\leq \lambda _{0} \Vert x_{n} - p \Vert +\sum _{i=1}^{\infty } \lambda _{i} \bigl\Vert (u_{i,n} -p) \bigr\Vert \\ &\leq \lambda _{0} \Vert x_{n} - p \Vert +\sum _{i=1}^{\infty } \lambda _{i} d_{H} (T_{i}x_{n}, Tp) \\ &\leq \lambda _{0} \Vert x_{n} - p \Vert +\sum _{i=1}^{\infty } \lambda _{i} \Vert x_{n} -p \Vert \\ & = \Vert x_{n} -p \Vert ,\quad \forall n\geq 1. \end{aligned} $$Hence, \(\|x_{n+1} - p\|\leq \|x_{n} -p\|\), \(\forall n\geq 1\).
-
(ii)
Let \(\{w_{n}\}_{n}\) and \(\{v_{n}\}_{n}\) be two subsequences of \(\{x_{n}\}_{n}\) such that \(w_{n}\longrightarrow y\) and \(v_{n}\longrightarrow z\). From (i), we have that \(\lim_{n\longrightarrow \infty }\|x_{n} - p\|\) exists. Therefore,
$$ \Vert y - p \Vert \leq \Vert y - w_{n} \Vert + \Vert w_{n} - p \Vert $$and letting n go to infinity, we have
$$ \Vert y - p \Vert \leq \lim_{n\longrightarrow \infty } \Vert x_{n} - p \Vert . $$Also,
$$ \Vert w_{n} - p \Vert \leq \Vert w_{n} - y \Vert + \Vert y - p \Vert . $$Letting n go to infinity, we have
$$ \lim_{n\longrightarrow \infty } \Vert x_{n} - p \Vert \leq \Vert y - p \Vert . $$It then follows that \(\|y-p\|=\lim_{n\longrightarrow \infty }\|x_{n} - p\|\). Similarly, we obtain \(\|z - p\|= \lim_{n\longrightarrow \infty }\|x_{n} - p\|\). Hence, \(\|y - p\|=\|z - p\|\).
□
Remark 1
We note that Lemma 3.2 applies to the sequence generated by a finite family:
where \(\lambda _{i}\in (0,1)\), \(i=1,2,3,\ldots ,m\) and \(\sum_{i=0}^{m} {\lambda _{i}}=1\). Indeed, Let \(i\in \mathbb{N}\) and assume that \(T_{i}= T_{m}\), for all \(i \geq m\); for each n, define the following
Then,
3.1 Convergence theorems for a finite family
Theorem 3.3
Let E be a strictly convex real Banach space and D be a nonempty, closed and convex subset of E. Let \(T_{i} \colon D \longrightarrow \mathcal{P}(D)\) be quasinonexpansive and continuous with respect to the Hausdorff metric, for all \(i\in \mathbb{I}\) with \(\bigcap^{m}_{i=1}\mathit{F}(T_{i})\neq \emptyset \) and \(T_{i}p=\{p\}\), for all \(p\in \bigcap^{m}_{i=1}\mathit{F}(T_{i})\). Suppose \(T_{i}(D)\) is contained in a compact set K for all \(i\in \mathbb{I}\). For any \(x_{0} \in D\) define a sequence \(\{x_{n}\}_{n}\) iteratively, by
where \(\{{\lambda _{i,n}}\}_{n}\subseteq (0,1)\), \(i\in \mathbb{I}\cup \{0\}\), \(\sum_{i=0}^{m} {\lambda _{i,n}}=1 \), \(n\geq 0\). If for each \(i\in \mathbb{I}\cup \{0\}, \{{\lambda _{i,n}}\}_{n}\) clusters at some point of \((0,1)\), then \(\{x_{n}\}_{n}\) converges strongly to a common fixed point of \(T_{i}\)s.
Proof
The fact that the finite union of compact sets is compact together with Lemma 2.2 make the set \(\overline{\operatorname{co}}(K\cup \{x_{0}\})\) compact. Since \(\{\lambda _{i,n}\}_{n}\) clusters at some point of \((0,1)\), for each \(i\in \mathbb{I}\cup \{0\}\), and \(\{x_{n}\}_{n\geq 1}\subseteq \overline{\operatorname{co}}(K\cup \{x_{0}\})\), we obtain \(\{\lambda _{i,n_{k}}\}_{k} \subseteq \{\lambda _{i,n}\}_{n}\) and \(\{x_{n_{k}}\}_{k}\subseteq \{x_{n}\}_{n\geq 1}\) such that \(\{\lambda _{i,n_{k}}\}\) converges to \(\lambda _{i}\) in \((0,1)\), for each i, and \(x_{n_{k}} \longrightarrow x^{*}\in \overline{\operatorname{co}}(K\cup \{x_{0}\}) \subseteq D\). This implies \(d_{H}(T_{i}x_{n_{k}} , T_{i}x^{*})\longrightarrow 0\). Also, since the corresponding sequences \(\{u_{i,n_{k}}\}_{k} \subseteq K\), it follows that there exists \(\{u_{i,n_{k_{j}}}\}_{j}\subseteq \{u_{i,n_{k}}\}_{k}\) such that \(u_{i,n_{k_{j}}} \longrightarrow {u_{i}}^{*} \in D\) for each i. Let \({w_{i}}^{*} \in T_{i}x^{*}\) such that \(\|{w_{i}}^{*}-{u_{i}}^{*}\| = \inf_{{u_{i}} \in T_{i}x^{*}} \|{u_{i}} - {u_{i}}^{*}\|\) (such \({w_{i}}^{*}\) exists, since \(T_{i}x^{*}\) is proximinal for each i). Hence,
Letting j go to infinity, we have \(\|{w_{i}}^{*}-{u_{i}}^{*} \| = 0\). Hence, \({u_{i}}^{*}={w_{i}}^{*} \in T_{i}x^{*}\). Therefore,
Thus, \(\{x_{n}\}_{n}\) clusters at \(x^{*}\) and \(\lambda _{0} x^{*}+ \sum_{i=1}^{m}\lambda _{i} {u_{i}}^{*}\). By Lemma 3.2(ii) and Remark 1, we have
Also, by Lemma 2.3 and the definition of a quasinonespansive multivalued map, we have that \(\|{u_{i}}^{*}-p\|\leq \|x^{*}-p\|\), for each \(i\in \mathbb{I}\). Since E is strictly convex, we have by Lemma 3.1(i) that \(x^{*}-p={u_{i}}^{*}-p\), for all i. This implies \(x^{*}={u_{i}}^{*}\in T_{i}x^{*}\), for all i. Thus, \(x^{*} \in \bigcap^{m}_{i=1}\mathit{F}(T_{i})\) and so \(T_{i}x^{*}= \{x^{*}\}\), for all i. Using Lemma 3.2(i) we conclude that \(x_{n}\longrightarrow x^{*}\). Hence, the sequence defined above converges strongly to a common fixed point of \(T_{i}\)s. □
Corollary 3.4
Let E be a strictly convex real Banach space and D be a nonempty, closed and convex subset of E. Let \(T_{i} \colon D \longrightarrow \mathcal{P}(D)\), \(i=1,2,3,\ldots , m\) be quasinonexpansive and continuous with respect to the Hausdorff metric such that \(\bigcap^{m}_{i=1}\mathit{F}(T_{i})\neq \emptyset \) and \(T_{i}p=\{p\}\), for all \(p\in \bigcap^{m}_{i=1}\mathit{F}(T_{i})\). Suppose there is a compact set K in D containing \(T_{i}(D)\) for all i. For any \(x_{0} \in D\), define a sequence \(\{x_{n}\}_{n}\) iteratively by
where for each i, \({\lambda _{i}}\in (0,1)\) and \(\sum_{i=0}^{m} {\lambda _{i}}=1\). Then, \(\{x_{n}\}_{n}\) converges strongly to an element of \(\bigcap^{m}_{i=1}\mathit{F}(T_{i})\).
Proof
We take \(\{\lambda _{i,n}\}_{n}\) to be the constant sequence \(\{\lambda _{i}\}_{n}\) for each i. Then, \(\{\lambda _{i,n}\}_{n}\) clusters at \(\lambda _{i}\) for each i and so Theorem 3.3 applies. □
Corollary 3.5
([5])
Let E be a uniformly convex normed space and D be a nonempty, closed and convex subset of E. Let \(f: D\longrightarrow D\) be nonexpansive and \(f(D)\subseteq K\subseteq D, K\) compact. For any \(x_{0} \in D\), let a sequence \(\{x_{n}\}_{n}\) be defined iteratively by
Then, \(\{x_{n}\}_{n}\) converges strongly to a fixed point of f.
Proof
By the Schauder fixed-point theorem [7], we have that \(F(f)\neq \emptyset \). Also, define \(T:D\longrightarrow \mathcal{P}(D)\) by \(Tx =\{f(x)\}\). Then, the proof follows from Corollary 3.4. □
Corollary 3.6
([3])
Let E be a strictly convex normed space and D be a nonempty, closed and convex subset of E. Let \(f: D\longrightarrow D\) be continuous and quasinonexpansive and \(f(D)\subseteq K\subseteq D, K\) compact. For any \(x_{0} \in D\), \(\{t_{n}\}_{n}\subseteq (0,1)\) such that \(\{t_{n}\}_{n}\) clusters at some \(t\in (0,1)\) let a sequence \(\{x_{n}\}_{n}\) be defined iteratively by
Then, \(\{x_{n}\}_{n}\) converges strongly to a fixed point of f.
Proof
By the Schauder fixed-point theorem [7], we have that \(F(f)\neq \emptyset \). Also, define \(T:D\longrightarrow \mathcal{P}(D)\) by \(Tx =\{f(x)\}\). Then, the proof follows from Corollary 3.4. □
3.2 Convergence theorems for an infinite family
Theorem 3.7
Let E be a strictly convex real Banach space and let D be a nonempty, closed and convex subset of E. Let \(T_{i} \colon D \longrightarrow \mathcal{P}(D)\) be quasinonexpansive and continuous with respect to the Hausdorff metric, for all \(i\in \mathbb{N}\) with \(\bigcap^{\infty }_{i=1}\mathit{F}(T_{i})\neq \emptyset \) and \(T_{i}p=\{p\}\), for all \(p\in \bigcap^{\infty }_{i=1}\mathit{F}(T_{i})\). Suppose there is a compact set K in D containing \(T_{i}(D)\) for all \(i\in \mathbb{N}\). For any \(x_{0} \in D\) define a sequence \(\{x_{n}\}_{n}\) iteratively, by
where \(\|u_{i,n}-u_{i,j}\|\leq \operatorname{dist}(T_{i}x_{n}, u_{i,j})\) for all \(j\leq n\), \({\lambda _{i}}\in (0,1)\), \(i\in \mathbb{N}\cup \{0\}\), \(\sum_{i=0}^{ \infty } {\lambda _{i}}=1\). Then, \(\{x_{n}\}_{n}\) converges strongly to a common fixed point of \(T_{i}\)s.
Proof
In the iterative formula, \(u_{i,n}\) is well defined since \(T_{i}x_{n}\) is proximal for every i. Also, the series in the formula is convergent since \((T_{i}(D))_{i}\) is uniformly bounded and \(\sum_{i=0}^{\infty } {\lambda _{i}}\) is convergent. Furthermore, since D is closed and convex, the series belongs to D. Thus, the sequence \(\{x_{n}\}_{n}\) is well defined and contained in \(\overline{\operatorname{co}}(K\cup \{x_{0}\})\). Moreover, by Lemma 2.2\(\overline{\operatorname{co}}(K\cup \{x_{0}\})\) is compact. It follows that there exists \(\{x_{n_{k}}\}_{k}\subseteq \{x_{n}\}_{n}\) such that \(x_{n_{k}} \longrightarrow x^{*}\in \overline{\operatorname{co}}(K\cup \{x_{0}\}) \subseteq D\). This implies \(d_{H}(T_{i}x_{n_{k}} , T_{i}x^{*})\longrightarrow 0\) for every i. From the choice of \(u_{i,n} \in T_{i}x_{n}\) in the iterative algorithm, we have
as \(k,l\to \infty \) for all i. Hence, \(\{u_{i,n_{k}}\}\) has a limit \(u_{i}^{*}\in D\). Let \({w_{i}}^{*} \in T_{i}x^{*}\) such that \(\|{w_{i}}^{*}-{u_{i}}^{*}\| = \inf_{{u_{i}} \in T_{i}x^{*}} \|{u_{i}} - {u_{i}}^{*}\|\) (\(T_{i}x^{*}\) is proximinal). Then,
Since \(T_{i}\) is continuous, letting k go to infinity we have \(\|{w_{i}}^{*}-{u_{i}}^{*} \| = 0\). Hence, \({u_{i}}^{*}={w_{i}}^{*} \in T_{i}x^{*}\). Therefore,
Thus, \(\{x_{n}\}_{n}\) clusters at \(x^{*}\) and \(\lambda _{0} x^{*} + \sum_{i=1}^{\infty } \lambda _{i}{u_{i}}^{*}\). By Lemma 3.2(ii), we have that
Also, by Lemma 2.3 and the definition of a quasinonexpansive multivalued map, we have that \(\|{u_{i}}^{*}-p\|\leq \|x^{*}-p\|\), for each \(i\in \mathbb{N}\). Thus, we have by Lemma 3.1(ii) that \(x^{*}-p={u_{i}}^{*}-p\) for all i. This implies \(x^{*}={u_{i}}^{*}\in T_{i}x^{*}\) for all i. It follows that \(x^{*} \in \bigcap^{\infty }_{i=1}\mathit{F}(T_{i})\) and so \(T_{i}x^{*} = \{x^{*}\}\). Using Lemma 3.2(i) we conclude that \(x_{n}\longrightarrow x^{*}\). Hence, \(\{x_{n}\}\) converges strongly to an element of \(\bigcap^{\infty }_{i=1}\mathit{F}(T_{i})\). □
4 Numerical experiments
The results of the numerical experiments carried out are presented in this section. All the codes and figures were written/generated using MATLAB R14a on a PC: Intel(R) Core(TM) i5-3427U CPU @ 1.80 GHz 2.30 GHz.
We consider the family \((T_{i})\) of mappings defined by \(T_{i}:[0,\pmb{\alpha }]\subseteq X\to X\), \(T_{i}x=[0,\frac{x}{i}]\), \(i=1,2,\ldots \) , where \(\pmb{\alpha }\) is a fixed vector in X, X a strictly convex Banach space, and \([x,y]\) denotes the set \(\{\alpha x+(1-\alpha )y: \alpha \in [0,1]\}\). This is a family of quasinonexpansive mappings having a common fixed point of 0. We use three different sets of parameters \((\lambda _{i,n}^{(1)})\), \((\lambda _{i,n}^{(2)})\) and \((\lambda _{i,n}^{(3)})\), where
-
\(\lambda _{i,n}^{(1)}:=\frac{1}{M+1}\), for all i, for all n,
-
\(\lambda _{0,n}^{(2)}:=\frac{1}{3}\), \(\lambda _{i,n}^{(2)}= \frac{2}{3M}\), \(i=1,2,\ldots , M\), for all n, and
-
\(\lambda _{0,n}^{(3)}:=\frac{1}{3n}\), and \(\lambda _{i,n}^{(3)}=\frac{3n-1}{3nM}\), \(i=1,2,\ldots , M\),
with M being the number of maps.
All the three sets of parameters above verify the requirements of our theorems: \((\lambda _{i,n}^{(j)})\subseteq (0,1)\), \(j=1,2,3\), \(\sum_{i=0}^{M} \lambda _{i,n}^{(j)}=1\) and \(\lambda _{i,n}^{(j)}\to \lambda _{j}^{*}\in (0,1)\), \(j=1,2,3\). We note here that while our algorithm (3.7) involves an infinite sum, for the purpose of implementation on a computer, one has to use one finite term at a time. In Table 1, we report the outcome of the numerical implementation of our algorithm for the given maps \(T_{i}\) defined above and for \(X=\mathbb{R}^{n}\). In the table, we use a tolerance of \(\epsilon =10^{-8}\), \(S/N\) denotes the serial number, Dim. denotes dimension (i.e., the n for which \(X=\mathbb{R}^{n}\)), \(x_{0}\) refers to the initial term, which is given in Table 2, N denotes the smallest n such that \(\|x_{n}\|<\epsilon \) and Time represents the CPU time in seconds.
It is clear from Table 1 that the convergence is faster, with regard to the number of iterations, for the case of \((\lambda _{i,n}^{(3)})\) in which the values of λ change with n. Following the case of \((\lambda _{i,n}^{(3)})\) is the case of \((\lambda _{i,n}^{(2)})\), while the case of \((\lambda _{i,n}^{(1)})\) has the highest number of iterations. With respect to CPU time, there is not much difference between the case of \((\lambda _{i,n}^{(2)})\) and that of \((\lambda _{i,n}^{(3)})\), both of which have a lower CPU time than the case of \((\lambda _{i,n}^{(1)})\).
Figures 1–3 represent the graphs depicting the convergence of our algorithm for the three sets of parameters: \((\lambda _{i,n}^{(1)})\), \((\lambda _{i,n}^{(2)})\) and \((\lambda _{i,n}^{(3)})\) (given above), respectively.
Availability of data and materials
Not applicable.
References
Byrne, C.: A unified treatment of some iterative algorithms in signal processing and image restoration. Inverse Probl. 20, 103–120 (2004)
Diaz, J.B., Metcalf, F.T.: On the structure of the set of subsequential limit points of successive approximations. Bull. Am. Math. Soc. 73, 516–519 (1967)
Dotson, W.G. Jr.: On the Mann iterative process. Trans. Am. Math. Soc. 149, 65–73 (1970)
Edelstein, M., O’brien, R.C.: Nonexpansive mappings, asypmtotic regularity and succesive approximations. J. Lond. Math. Soc. 17(2), 547–554 (1978)
Krasnosel’skii, M.A.: Two observations about the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955)
Edelstein, M.: A remark on a theorem of Krasnoselskii. Am. Math. Mon. 13, 507–510 (1966)
Schaefer, H.: Über die Methode sukzessiver Approximationen. Jahresber. Dtsch. Math.-Ver. 59, 131–140 (1957) (German)
Chidume, C.E.: Quasi-nonexpansive mappings and uniform asymptotic regularity. Kobe J. Math. 3(1), 29–35 (1986)
Nadler, S.B. Jr.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Lim, T.C.: A fixed point theorem for multivalued nonexpansive mappings in a uniformly convex Banach space. Bull. Am. Math. Soc. 80, 1123–1126 (1974)
Downing, D., Kirk, W.A.: Fixed point theorems for set-valued mappings in metric and Banach spaces. Math. Jpn. 22(1), 99–112 (1977)
Xu, H.-K.: Multivalued nonexpansive mappings in Banach spaces. Nonlinear Anal. 43, 693–706 (2001)
Abkar, A., Eslamian, M.: Convergence theorems for a finite family of generalized nonexpansive multi-valued mappings in cat(0) spaces. Nonlinear Anal. 75(4), 1895–1903 (2012)
Cardinali, T., Rubbioni, P.: Multivalued fixed point theorems in terms of weak topology and measure of weak noncompactness. J. Math. Anal. Appl. 405(2), 409–415 (2013)
Dinevari, T., Frigon, M.: Fixed point results for multivalued contractions on a metric space with a graph. J. Math. Anal. Appl. 405, 507–517 (2013)
Chidume, C.E., Chidume, C.O., Djitté, N., Minjibir, M.S.: Iterative algorithm for fixed points of multi-valued pseudo-contractive mappings in Banach spaces. J. Nonlinear Convex Anal. 15(2), 257–267 (2014)
Precup, R., Rodríguez-López, J.: Fixed point index theory for decomposable multivalued maps and applications to discontinuous ϕ-Laplacian problems. Nonlinear Anal. 199, 111958 (2020)
Chidume, C.E., Chidume, C.O., Djitté, N., Minjibir, M.S.: Convergence theorems for fixed points of multivalued strictly pseudocontractive mappings in Hilbert spaces. Abstr. Appl. Anal. 2013, Article ID 629468 (2013)
Shazad, N., Zegeye, H.: On Mann and Ishikawa iteration schemes for multi-valued maps in Banach spaces. Nonlinear Anal. 71, 838–844 (2009)
Chidume, C.E., Minjibir, M.S.: Krasnoselskii algorithm for fixed points of multi-valued quasi-nonexpansive mappings in certain Banach spaces. Fixed Point Theory 17(2), 301–312 (2016)
Uddin, I., Ali, J., Nieto, J.J.: An iteration scheme for a family of multivalued mappings in CAT(0) spaces with an application to image recovery. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112, 373–384 (2018)
Diop, C., Sene, M., Djitté, N.: Iterative algorithms for a finite family of multivalued quasi-nonexpansive mappings. Adv. Numer. Anal. 2014, Article ID 181049 (2014)
Mazur, S.: Über die kleinste konvexe menge, die eine gegebene kompakte menge enthält. Stud. Math. 2, 7–9 (1930)
Acknowledgements
The second author wishes to thank his institution for the support given to him as a student. The first author also wishes to thank both institutions for various forms of support given to them.
Funding
This work is supported partially by AfDB Research Grant Funds to AUST.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally in both carrying out the work and in writing the article. MSM and CI studied the problem, proposed the algorithm, gave the convergence proof and the numerical illustrations. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Minjibir, M.S., Izuazu, C. Iterative algorithm for approximating fixed points of multivalued quasinonexpansive mappings in Banach spaces. Fixed Point Theory Algorithms Sci Eng 2022, 8 (2022). https://doi.org/10.1186/s13663-022-00718-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-022-00718-7