Suppression of the Wrapping Effect by Taylor Model-based Verified Integrators: Long-term Stabilization by Preconditioning
AbstractThe verified integration of ranges of initial conditons through ODEs faces two
major challenges, namely the precise representation of the flow over the short
term, and the avoidance of unfavorable buildup of errors in the long term. The
Taylor model approach is very well suited to overcome the problems of short
term flow representation. In this paper we discuss a method based on
preconditioning that stabilizes the long-term evolution of the flow. Examples
of the performance of the method and comparisons to other approaches are given.
K. Makino, M. Berz,
International Journal of Differential Equations and Applications 10(4) (2005) 353-384.
This paper won
the 3rd Moore Prize for Applications of Interval Analysis in 2008.
DownloadClick on the icon to download the corresponding file.
Download Adobe PDF version (390385 Bytes).
Go Back to the reprint server.
Go Back to the home page.
This page is maintained by Kyoko Makino. Please contact her if there are any problems with it.