Nonlinear ergodic theorems of nonexpansive type mappings (Q2389254): Difference between revisions

The article deals with ergodic properties of a continuous representation \(\{T_s: S \to \{C \to C\}\}\) of a semitopological semigroup \(S\) into the space of mappings leaving invariant a nonempty closed convex subset \(C\) in a uniformly convex Banach space \(E\) whose norm is Fréchet differentiable. It is assumed that the mapping \(T_s\) is of almost asymptotically nonexpansive type, that is, for each \(x \in C\), there exist functions \(\varphi:S \times [0,\infty) \to [0,\infty)\) with \(\limsup_{s \in S}\varphi_s(k) \leq k\), \(\gamma_s(x):S \to [0,\infty)\) with \(\lim_{s \in S}\gamma_s(x) = 0\) and \(\mu:S \to [0,\infty)\) with \(\lim_{s \in S}\mu(s) = 0\) such that \[ \|T_sx - T_sy\| \leq \varphi_s(\|x - y\|) + \gamma_s(x) + \mu(s) \] for all \(y \in C\) and \(s \in S\). It is assumed that \(S\) is right reversible and the common fixed point set \(F\) of \(\{T_t\}\) in \(C\) is nonempty and it is proved that, for each \(x\in C\), the closed convex set \(\bigcap_{s \in S} \overline{\text{co}}\, \{T_tx:t\succcurlyeq s\}\cap F\) is nonempty. Moreover, under the assumption that \(S\) is reversible, it is proved that the intersection \(\bigcap_{s \in S} \overline{\text{co}}\, \{T_tx:t \succcurlyeq s\} \cap F\) is nonempty for each \(x \in C\) if and only if there exists a nonexpansive retraction \(P:C \to F\) such that \(PT_s = T_sP = P\), \(s \in S\), and \(Px \in \overline{\text{co}}\, \{T_sx:s \in S\}\), \(x \in X\).