Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
Résumé
We present in this report our tool based on Ibex library which provides an innovative and generic pro- cedure to simulate an ordinary differential equation with any Runge-Kutta scheme (explicit or implicit). Our validated approach is based on the classical two steps integration: the Picard-Lindelöf operator to enclose all the solutions on a one step, and the computation of the approximated solution and its Local Troncature Error. This latter is computed with a generic and elegant approach using interval arithmetic and Fréchêt derivatives. We perform a strong experimentation through many numerical experiments coming from three different benchmarks and the results are shown and compared with competition.
Origine | Fichiers produits par l'(les) auteur(s) |
---|