On order-interval methods for bounding zeros of order convex operators (Q1124282)

The paper deals with bounds for a zero \(x^*\) of an order convex operator f: \(X\to X\), where X is a Banach space, partially ordered by a regular cone. Under frequently satisfied hypotheses for f a method is derived with which one can construct a sequence \(\{x_ R^{(k)}\}^{\infty}_{k=0}\) of upper bounds for \(x^*\) if a sequence \(\{x_ L^{(k)}\}^{\infty}_{k=0}\) of lower bounds for \(x^*\) is computed by some iterative procedure (and vice versa). Monotone convergence of \(\{x_ R^{(k)}\}^{\infty}_{k=0}\) towards \(x^*\) is proved if the same holds for \(\{x_ L^{(k)}\}^{\infty}_{k=0}\); the behaviour of \(\| x_ R^{(k)}-x_ L^{(k)}\|\) is estimated. The theoretical results are applied on some classes of nonlinear algebraic equations which often arise when discretizing certain boundary value problems. Practical realizations of these results are given using interval arithmetic.