Transactions of the Japan Society for Industrial and Applied Mathematics
Online ISSN : 2424-0982
ISSN-L : 0917-2246
Numerical Verification of ordinary differential equations using Affine Arithmetic and Mean Value Form(Theory)
Keiichiro KashiwagiMasahide Kashiwagi
Author information
JOURNAL FREE ACCESS

2011 Volume 21 Issue 1 Pages 37-58

Details
Abstract
When we solve IVPs of ODEs with guaranteed accuracy, we have some problems about explosion of interval width and calculating cost, especially in the case of ODEs which is sensitive with initial value such as Lorenz equation. In this paper, we propose an accurate and fast method for IVPs using power series arithmetic, mean value form and affne arithmetic. Moreover, we show the efficiency of our method through some numerical examples and comparison with Lohner's AWA package.
Content from these authors
© 2011 The Japan Society for Industrial and Applied Mathematics
Previous article Next article
feedback
Top