Strong convergence of Mann's-type iterations for nonexpansive semigroups in general Banach spaces (Q1780770)

In the present paper, the authors prove the following Theorem 4.2. Let \(S\) be a commutative semigroup with identity and let \(C\) be a nonempty compact convex subset of a Banach space \(E\). Let \(s=\{T(t): t\in S\}\) be a nonexpansive semigroup on \(C\). Let \(X\) be a subspace of \(B(S)\) such that \(1\in X\), it is \(r_s\)-invariant for each \(s\in S\), and the function \(t\mapsto\langle T(t)x,x^* \rangle\) is in \(X\) for each \(x\in C\) and \(x^*\in E^*\). Let \(\{\mu_n\}\) be a sequence of finite means on \(S\) such that \(\lim_{n\to\infty}\|\mu_n-r^*_s \mu_n\|=0\) for each \(s\in S\) and \(\lim_{n\to\infty}\|\mu_n-\mu_{n+1} \|=0\). Let \(x\in C\) and let \(\{x_n\}\) be the sequence defined by \(x_0=x\), \(x_{n+1} =\alpha_nx_n+(1-\alpha_n)T_{\mu_n}x_n\) for each \(n=0,1,2, \dots\), where \(\{\alpha_n\}\subset[0,1]\) satisfies \(0< \varliminf \alpha_n\leq \varlimsup\alpha_n <1\). Then \(\{x_n\}\) converges strongly to a fixed point of Fix\((s)\).