Fixed point theorems for asymptotically nonexpansive mappings in product spaces (Q1387747)

Let \(X\) and \(Y\) be locally convex Hausdorff topological linear spaces, and let \((X\times Y)_\infty\) denote the locally convex topological linear space obtained by setting \((x,y)\in X\times Y\): \[ \gamma_{\alpha, \beta,\infty}(x,y)= \max\{p_\alpha(x), q_\beta(y)\}, \] where \(\{p_\alpha\}_{\alpha\in J_1}\) and \(\{q_\beta\}_{\beta\in J_2}\) are families of seminorms which define the topologies of \(X\) and \(Y\) respectively. A mapping \(T: X\to X\) is said to be asymptotically nonexpansive if there is a sequence \(\{k_n\}\) of real numbers with \(k_n\geq 1\), \(k_n\geq k_{n+1}\) and \(k_n\to 1\) as \(n\to\infty\) such that \(p_\alpha(T^nx- T^ny)\leq k_np_\alpha(x- y)\) for all \(x,y\in X\). \(T\) is called uniformly asymptotically regular if for each \(\alpha\in J_1\) and \(\eta>0\), there is an integer \(N= N(\alpha,\eta)\) such that \(p_\alpha(T^nx- T^{n+1} x)<\eta\) for all \(n\geq N\) and for all \(x\in K_1\). The author proves the following interesting fixed point theorem: Let \(K_1\) be a weakly compact convex subset of \(X\), \(K_2\) a subset of \(Y\) and \(K= (K_1\times K_2)_\infty\). Let \(T:K\to K\) be an asymptotically nonexpansive, uniformly asymptotically regular mapping satisfying: \(T^n_y(x)= p_1\circ T^n(x, y)\) for all \(x\in K_1\) and \(n= 1,2,\dots\), (where \(p_1: K\to K_1\) is coordinate projection), such that \(I- Ty\) is demiclosed. Then \(T_y\) has a fixed point in \(K_1\). Thus the extends the several known results from Banach spaces to topological linear spaces.