Simulation with guaranteed accuracy [III] numerical method with guaranteed accuracy for ODEs

摘要

Two numerical methods are introduced to prove the existence of the solution of ordinary differential equations and to guarantee the accuracy for a given approximate solution. One is based on Taylor expansion method, which is one of single step methods for initial value problems. The other is based on Newton method on functional spaces.