Approximation methods for common fixed points of infinite countable family of nonexpansive mappings (Q2373827): Difference between revisions

The authors, motivated by results of \textit{H.\,H.\thinspace Bauschke} [J.~Math.\ Anal.\ Appl.\ 202, No.\,1, 150--159 (1996; Zbl 0956.47024)], \textit{S.\,S.\thinspace Chang} [J.~Math.\ Anal.\ Appl.\ 323, No.\,2, 1402--1416 (2006; Zbl 1111.47057)], \textit{J.\,S.\thinspace Jung} [J.~Math.\ Anal.\ Appl.\ 302, No.\,2, 509--520 (2005; Zbl 1062.47069)], \textit{J.\,G.\,O'Hara, P.\,Pillay} and \textit{H.\,K.\thinspace Xu} [Nonlinear Anal., Theory Methods Appl.\ 64, No.\,9 (A), 2022--2042 (2006; Zbl 1139.47056)], \textit{K.\,Shimoji} and \textit{W.\,Takahashi} [Taiwanese J.~Math.\ 5, No.\,2, 387--404 (2001; Zbl 0993.47037)], \textit{Y.\,S.\thinspace Song} and \textit{R.\,D.\thinspace Chen} [Nonlinear Anal., Theory Methods Appl.\ 66, No.\,3 (A), 591--603 (2007; Zbl 1114.47055)], \textit{M.\,Kikkawa} and \textit{W.\,Takahashi} [J.~Optimization Theory Appl.\ 117, No.\,1, 93--101 (2003; Zbl 1033.65037)], \textit{Y.--S.\thinspace Song} and \textit{R.--D.\thinspace Chen} [Appl.\ Math.\ Comput.\ 180, No.\,1, 275--287 (2006; Zbl 1139.47050)], prove the following result. Theorem. Let \(E\) be a real strictly convex and reflexive Banach space with a uniform Gâteaux differentiable norm and \(C\) be a nonempty closed convex subset of \(E\). Consider the iterative sequence \[ x_{n+1}=\lambda_{n+1}f(x_{n})+\beta x_{n}+(1-\beta-\lambda_{n+1})W_{n}x_{n}, \] where \(W_{n}\) is the \(W\)-mapping generated by the infinite countable family of nonexpansive mappings \(T_{n},T_{n-1},\dots,T_{1}\) and scalars \(\{\alpha_{i}\}_{i=1}^{n}\subset [0,1]\) such that the common fixed point sets \(F:= \bigcap _{n=1}^{\infty } \neq \varnothing\) and \(f: C \to C\) is a given contractive mapping. Under very mild conditions on the parameters, the sequence \(\{ x_{n}\}\) converges strongly to \(p\in F\), where \(p\) is the unique solution to the variational inequality \[ \langle (I-f)p, j(p-x^{*})\rangle\geq 0\text{ for all }x^{*}\in F. \]