Asynchronous iterative methods for equations with decomposable operator in ordered spaces (Q2739964)

This paper deals with the fixed point problem of mapping \(\overline y=F(\overline x)- G(\overline x)+\overline r,\;\overline x,\overline y\in \mathbb{R}^{n}\), where \(F, G\) are isotonic mappings. The mapping \(F: \mathbb{R}^{n}\to \mathbb{R}^{n}\) is called isotonic if for all \(\overline x\leq \overline y\in \mathbb{R}^{n}\) we have \(F(\overline x)\leq F(\overline y)\). Let us define a sequence of iterations NEWLINE\[NEWLINEx_{i}(j)=\begin{cases} x_{i}(j-1),& \text{if \(j\notin I_{j}\)};\\ (F(\overline z)-G(\overline u)+\overline r)_{i},&\text{if \(j\in I_{j}\)};\end{cases} \quad y_{i}(j)=\begin{cases} y_{i}(j-1),&\text{if \(j\notin I_{j}\)};\\ (F(\overline u)-G(\overline z)+\overline r)_{i}, &\text{if \(j\in I_{j}\)};\end{cases}NEWLINE\]NEWLINE where \(x_{i}(j), y_{i}(j)\) are the \(i\)-th coordinates of vectors \(\overline x(j)\) and \(\overline y(j)\); \(I=\{I_{j}\}\) is a sequence of subsets of \(\{1,2,\ldots,n\}\) defined in the article; NEWLINE\[NEWLINE\overline z=\{x_{1}(\sigma_{1}(j)),\ldots, x_{n}(\sigma_{n}(j))\},\quad \overline u=\{y_{1}(\sigma_{1}(j)),\ldots, y_{n}(\sigma_{n}(j))\};NEWLINE\]NEWLINE for any \(i=1,\ldots,n,\) \(j\in N: \sigma_{i}(j)\in N,\;0\leq \sigma_{i}(j)\leq j-1,\;\lim_{j\to\infty}\sigma_{i}(j)=\infty\). For arbitrary vectors \(\overline v(0),\overline w(0)\in \mathbb{R}^{n}\) let us consider sequences of iterations NEWLINE\[NEWLINE\overline v(j)=F(\overline v(j-1))-G(\overline w(j-1))+\overline r, \quad \overline w(j)=F(\overline w(j-1))-G(\overline v(j-1))+\overline r.NEWLINE\]NEWLINE If \(\overline v(0)\leq \overline w(0)\), \(\overline v(0)\leq \overline v(1)\), \(\overline w(1)\leq \overline w(0)\), then there exist limits \(\lim_{j\to\infty}\overline v(j)=\overline v^{*}\),NEWLINENEWLINENEWLINE\(\lim_{j\to\infty}\overline w(j)=\overline w^{*}\), \(\overline v^{*}\leq \overline w^{*}\). The author proves that for any parameters \(I,\sigma\) the sequences of iterations \(\{\overline x(j)\}\) and \(\{\overline y(j)\}\) converge to \(\overline v^{*}\) and \(\overline w^{*}\), respectively.