Abstract
During the last decade, substantial progress has been made in fighting the wrapping effect in self-validated integrations of linear systems. However, it is still the main problem limiting the applicability of such methods to the long-term integration of non-linear systems. Here we show how high-order self-validated methods can successfully overcome this obstacle.
We study and compare the validated integration of a Kepler problem with conventional and high-order methods represented by AWA and Taylor models, respectively. We show that this simple model problem exhibits significant wrapping that is particularly difficult to control for conventional first-order methods. It will become clear that utilizing high-order methods with shrink wrapping allows the system to be analyzed in a fully validated context over large integration times. By comparing high-order Taylor model integrations with Taylor model methods subjected to an artificial wrapping effect, we show that utilizing high-order methods to propagate initial conditions is indeed the foremost reason for the successful suppression of the wrapping effect.
To further demonstrate that high-order Taylor model methods can be used for the integration of complicated non-linear systems, we summarize results obtained from a fully verified and self-validated orbit integration of the near earth asteroid 1997 XF11. Since this asteroid will have several close encounters with Earth, its analysis is an important application of reliable computations.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berz, M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83–97.
Berz, M. and Makino, K.: Verified Integration of ODEs and Flows with Differential Algebraic Methods on Taylor Models, Reliable Computing 4 (4) (1998), pp. 361–369.
Fock, V.: The Theory of Space Time and Gravitation, Pergamon Press, 1959.
Goldstein, H.: Classical Mechanics, Addison-Wesley, Reading, 1980.
Hoefkens, J.: Rigorous Numerical Analysis with High-Order TaylorModels, Ph.D. thesis,Michigan State University, East Lansing, 2001, also MSUCL-1217.
Hohnerkamp, J. and Römer, H.: Klassische Theoretische Physik, Springer Verlag, Berlin, third edition, 1993.
Kühn, W.: Rigorously Computed Orbits of Dynamical Systems without the Wrapping Effect, Computing 61 (1998), pp. 47–67.
Kühn, W.: Towards an Optimal Control of the Wrapping Effect, in: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, 2000.
Jet Propulsion Laboratory: Solar System Dynamics Group, 2001, http://ssd.jpl.nasa.gov/.
Levi-Civita, T.: The n-Body Problem in General Relativity, D. Reidel, Dordrecht, 1964.
Lohner, R. J.: Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems, in: Cash, J. R. and Gladwel, I. (eds), Computational Ordinary Differential Equations, Clarendon Press, Oxford, 1992, pp. 425–435.
Lohner, R. J.: Enclosing the Solutions of Ordinary Initial and Boundary Value Problems, in: Kaucher, E. W., Kulisch, U. W., and Ullrich, Ch. (eds), Computer Arithmetic: Scientific Computation and Programming Languages, Wiley-Teubner Series in Computer Science, Stuttgart, 1987, pp. 255–286.
Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Ph.D. thesis, Michigan State University, East Lansing, Michigan, 1998, also MSUCL-1093.
Makino, K. and Berz, M.: Efficient Control of the Dependency Problem Based on Taylor Model Methods, Reliable Computing 5 (1) (1999), pp. 3–12.
Makino, K. and Berz, M.: Remainder Differential Algebras and Their Applications, in: Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 63–74.
Moore, R. E.: Interval Analysis, Prentice Hall, Englewood Cliffs, 1966.
Moore, R. E.: Interval Arithmetic and Automatic Error Analysis in Digital Computing, Ph.D. thesis, Stanford University, 1962.
Moore, R. E.: Private communication, 1998.
Nedialkov, N. S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, Ph.D. thesis, University of Toronto, 1999.
Seidelmann, P. K.: Explanatory Supplement to the Astronomical Almanac, University Science Books, Mill Valley, 1992.
Solar System Dynamics Group: The HORIZONS On-Line Ephemeris System, Solar System Dynamics Group at JPL, NASA, 2000, ftp://ssd.jpl.nasa.gov/pub/ssd/Horizons doc.ps, version 2.80.
Standish, E. M.: JPL Planetary and Lunar Ephemerides, DE405/LE405, Jet Propulsion Laboratory, Interoffice Memorandum, IOM 312, F–98–048, 1998.
Verschuur, G. L.: Impact!: The Threat of Comets and Asteroids, Oxford University Press, 1996.
Walster, W.: Compiler Support to Compute Sharp Intervals without Wasted Splitting, in: Corliss, G. F., Faure, C., Griewank, A., Hascoët, L., and Naumann, U. (eds), Automatic Differentiation: From Simulation to Optimization, Springer Verlag, New York, 2001.
Will, C. M.: The Theoretical Tools of Experimental Gravitation, in: Bertotti, B. (ed.), Experimental Gravitation, Proceedings of the International School of Physics “Enrico Fermi”-Course LVI, Academic Press, New York, 1974, pp. 1–110.
Yeomans, D. K.: Comet and Asteroid Ephemerides for Spacecraft Encounters, Celestial Mechanics and Dynamical Astronomy (1997), pp. 1–12.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hoefkens, J., Berz, M. & Makino, K. Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. Reliable Computing 9, 21–41 (2003). https://doi.org/10.1023/A:1023009910949
Issue Date:
DOI: https://doi.org/10.1023/A:1023009910949