A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173)

The author discusses a numerical technique for verifying the existence of solutions for nonlinear two-point boundary value problems. The problem is formulated as a fixed point of a Newton-like operator and a verification algorithm by computer based on Sadovskii's fixed point theorem is presented. In order to compute the Newton-type iterative sequences in an infinite- dimensional space, the two concepts of rounding and of rounding errors for functions are introduced by the use of an appropriate projection into a finite dimensional space and its error estimates. Some numerical examples (Duffing equation) are illustrated.