Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877)

The purpose of this work is to suggest a method to solve a general two points boundary value problem with Neumann boundary condition of the form \[ u^{\prime \prime}=f\left(x, u, u^{\prime}\right), \quad u^{\prime}(0)=u^{\prime}(s)=0. \] The main idea of the presented method consists in the representation of the considered problem in the form \(\mathcal{F}(u)=0\) for \(u\) in an appropriate Hilbert space, where \(\mathcal{F}(u)=u^{\prime \prime}-f\left(x, u, u^{\prime}\right)\). The first step is to obtain numerically a candidate \(w\) for a zero of \(\mathcal{F}\) using a finite dimensional approximation of \(\mathcal{F}\). Then a version of the Newton-Kantorovich theorem is used to guarantee the existence of a zero of \(\mathcal{F}\) close to \(w\). Three examples are considered to illustrate the method.