On the R-order of coupled sequences arising in single-step type methods (Q1109527)

The term R-convergence order \(\tau\) for sequences was introduced by \textit{J. M. Ortega} and \textit{W. C. Rheinboldt} [Iterative solution of nonlinear equations in several variables (1970; Zbl 0241.65046)]. The current authors consider the verification of a \(\tau\) for sequences coupled by a system of inequalities of the general form \[ 0\leq \epsilon_{n+1,i}\leq \sum^{k_ i}_{k=1}\alpha_{ik}\prod^{\infty}_{j=1}\epsilon_{n,j}^{m_{ij k}}\prod^{i-1}_{j=1}\epsilon^{r_{ijk}}_{n+1,j},\quad i=1(1)s. \] The exponents \(m_{ijk}\geq 0\) and \(r_{ijk}\geq 0\) are known constants and such systems usually result from a local convergence analysis. Earlier work reported in several papers by the authors showed that verification of \(\tau\) for a simplified inequality (the second continued product in the above inequality replaced by the single term \(\epsilon^{r_{ijk}}_{n+1,j})\) reduced to the positive solvability of a system of linear inequalities and this paper presents a more unified proof. It also shows that the best R-order \({\bar \tau}\) implied for the above general inequality is equal to the minimal spectral radius of matrices constructed from the exponents \(m_{ijk}\) and \(r_{ijk}\).