Rigorous Enclosures of Solutions of Neumann Boundary Value Problems
arXiv:2005.02755
Abstract
This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary conditions.
23 pages and 3 figures