Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

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.
Fichier principal
Vignette du fichier
report_rk.pdf (1.2 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01107685 , version 1 (23-01-2015)
hal-01107685 , version 2 (26-01-2015)
hal-01107685 , version 3 (27-01-2015)
hal-01107685 , version 4 (29-01-2015)
hal-01107685 , version 5 (10-02-2015)
hal-01107685 , version 6 (13-03-2015)

Identifiants

  • HAL Id : hal-01107685 , version 1

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes. [Research Report] ENSTA ParisTech. 2015. ⟨hal-01107685v1⟩
351 Consultations
359 Téléchargements

Partager

Gmail Facebook X LinkedIn More