Abstract
Computer simulation of the trajectories of deterministic systems involve truncation and rounding errors. A theorem is presented which describes a computer-assisted method for checking whether there is a true trajectory near the computer-generated one.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Bowen, ω-limit sets for Axiom A diffeomorphisms, J. of Differential Equations, 18 (1975), pp. 333–339.
C. Grebogi, S. Hammel, and J. Yorke, Do numerical orbits of chaotic dynamical processes represent true orbits?, J. Complexity, 3 (1987), pp. 136–145.
C. Grebogi, S. Hammel, and J. Yorke, Numerical orbits of chaotic processes represent true orbits, Bulletin A.M.S., 19 (1988), pp. 465–470.
T. Sauer and J. Yorke, A shadowing theorem for differential equations.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Sauer, T., Yorke, J.A. (1991). Shadowing Trajectories of Dynamical Systems. In: Meyer, K.R., Schmidt, D.S. (eds) Computer Aided Proofs in Analysis. The IMA Volumes in Mathematics and Its Applications, vol 28. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9092-3_19
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9092-3_19
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9094-7
Online ISBN: 978-1-4613-9092-3
eBook Packages: Springer Book Archive