Numerical Verification of ordinary differential equations using Affine Arithmetic and Mean Value Form(Theory)
-
- Kashiwagi Keiichiro
- NTT Network Innovation Laboratories:Waseda University
-
- Kashiwagi Masahide
- Waseda University
Bibliographic Information
- Other Title
-
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法
- ヘイキンチ ケイシキ ト アフィン エンザン オ モチイタ ジョウ ビブン ホウテイシキ ノ セイド ホショウホウ
Search this article
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.
Journal
-
- Transactions of the Japan Society for Industrial and Applied Mathematics
-
Transactions of the Japan Society for Industrial and Applied Mathematics 21 (1), 37-58, 2011
The Japan Society for Industrial and Applied Mathematics
- Tweet
Details 詳細情報について
-
- CRID
- 1390001205767427456
-
- NII Article ID
- 110008593901
-
- NII Book ID
- AN10367166
-
- ISSN
- 09172246
- 24240982
-
- NDL BIB ID
- 11068886
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed