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.
This is a preview of subscription content, log in via an institution to check access.
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