Convergence of perturbed iterates of set-valued mappings (Q644464)

Let \((X,\rho)\) be a metric space and \(T:X\rightarrow 2^X\setminus \{\emptyset\}\) a multivalued nonexpansive mapping, that is, \(T\) satisfies the contraction condition \[ H(T(x),T(y))\leq \rho(x,y)\text{ for all }x,y\in X, \] where \(H\) is the Pompeiu-Hausdorff metric induced by \(\rho\). Let \(\{T_i\}_{i=0}^{\infty}\), \(T_i:X\rightarrow 2^X\setminus \{\emptyset\}\), \(i=0,1,\dots,\) be a sequence of multivalued perturbations of \(T\), i.e., \[ H(T_i(x),T(x))\leq \epsilon_i\text{ for all }x\in X, \] where the sequence \(\{\epsilon_i\}_{i=0}^{\infty}\subset (0,\infty)\) satisfies the summability condition \(\sum_{i=0}^{\infty} \epsilon_i<\infty\). Assume that \(F\) is a nonempty subset of \(X\) for which the following condition holds: \((A_1)\) For each \(x\in X\), there exists a sequence \(\{x_i\}_{i=0}^{\infty}\subset X\) such that \(x_0=x\) and \(x_{i+1}\in T(x_i)\), for all integers \(i\geq 0\), and \[ \lim_{i\rightarrow \infty}\rho(x_i,F)=0. \tag{1} \] By assuming some other additional conditions, the main result of the paper (Theorem 1.2) essentially states that property (1) is stable in some sense under summable perturbations of \(T\) to \(T_i\), and reads as follows: for a given \(x\in X\), there exists a sequence \(\{x_i\}_{i=0}^{\infty}\subset X\) such that \(x_0=x\) and \(x_{i+1}\in T_i(x_i)\), for all integers \(i\geq 0\), such that for any \(\epsilon>0\), \[ \lim_{n\rightarrow \infty}n^{-1}\operatorname{Card}\{i\in \{0,\dots,n-1\}:\rho(x_i,F)>\epsilon\}=0. \]