Runge–Kutta Theory and Constraint Programming - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Reliable Computing Journal Année : 2017

Runge–Kutta Theory and Constraint Programming

Résumé

There exist many Runge–Kutta methods (explicit or implicit), more or less adapted to specific problems. Some of them have interesting properties , such as stability for stiff problems or symplectic capability for problems with energy conservation. Defining a new method suitable to a given problem has become a challenge. The size, the complexity and the order do not stop growing. This race to the best method is interesting but an important unsolved problem. Indeed, the coefficients of Runge–Kutta methods are harder and harder to compute, and the result is often expressed in floating-point numbers, which may lead to erroneous integration schemes. Here, we propose to use interval analysis tools to compute Runge–Kutta coefficients. In particular, we use a solver based on guaranteed constraint programming. Moreover, with a global optimization process and a well chosen cost function, we propose a way to define some novel optimal Runge–Kutta methods.
Fichier principal
Vignette du fichier
RK_interval_hal.pdf (553.8 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-01762191 , version 1 (12-04-2018)

Identifiants

  • HAL Id : hal-01762191 , version 1

Citer

Julien Alexandre Dit Sandretto. Runge–Kutta Theory and Constraint Programming. Reliable Computing Journal, 2017. ⟨hal-01762191⟩
72 Consultations
1697 Téléchargements

Partager

Gmail Facebook X LinkedIn More