Existence of ergodic retractions for semigroups in Banach spaces (Q955650)

Let \(E\) be a real Banach space and \(C\) be a nonempty subset of \(E\). A mapping \(T:C\to C\) is said to be: \(F\)-quasi-nonexpansive if, for a subset \(F\subset F(T)= \{x\in C:Tx=x\}\neq\emptyset\), \(\|Tx-f\|\leq\|x-f \|\) for all \(x\in C\) and \(f\in F\); quasi-contractive if \(\|Tx-f\|<\|x-f\|\) for all \(x\in C\backslash F(T)\) and \(f\in F(T)\); a retraction if \(T^2=T\). In the present paper, the author gives a partial answer to the still open problem of the existence of an ergodic retraction for noncommutative semigroups in Banach spaces. The main result of the paper goes as follows: If \(S\) is a right amenable semigroup and \(\varphi= \{T_s:s\in S\}\) is a (quasi-)nonexpansive semigroup on a closed convex subset \(C\) in a strictly convex reflexive Banach space \(E\) such that the set \(F(\varphi)\) of common fixed points of \(\varphi\) is nonempty, then there exists a (quasi-)nonexpansive retraction \(P\) from \(C\) onto \(F(\varphi)\) such that \(PT_t =T_tP=P\) for each \(t\in S\) and every closed convex \(\varphi\)-invariant subset of \(C\) is also \(P\)-invariant. Moreover, if the mappings are also affine, then \(T_\mu\) is a quasi-contractive affine retraction from \(C\) onto \(F(\varphi)\), such that \(T_\mu T_t=T_tT_\mu= T_\mu\) for each \(t\in S\), and \(T_\mu x\in\overline {\text{conv}}\{T_t x:t\in S\}\) for each \(x\in C\); and if \(R\) is an arbitrary retraction from \(C\) onto \(F(\varphi)\) such that \(Rx\in\overline{\text{conf}} \{T_tx:t\in S\}\) for each \(x\in C\), then \(R=T_\mu\). It is shown that if the \(T_t\)'s are \(F(\varphi)\)-quasi-contractive, then the results hold without the strict convexity condition on \(E\).