Loading…
Numerical computation of orbits and rigorous verification of existence of snapback repellers
In this paper we show how analysis from numerical computation of orbits can be applied to prove the existence of snapback repellers in discrete dynamical systems. That is, we present a computer-assisted method to prove the existence of a snapback repeller of a specific map. The existence of a snapba...
Saved in:
Published in: | Chaos (Woodbury, N.Y.) N.Y.), 2007-03, Vol.17 (1), p.013107-013107 |
---|---|
Main Author: | |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | In this paper we show how analysis from numerical computation of orbits can be applied to prove the existence of snapback repellers in discrete dynamical systems. That is, we present a computer-assisted method to prove the existence of a snapback repeller of a specific map. The existence of a snapback repeller of a dynamical system implies that it has chaotic behavior [F. R. Marotto, J. Math. Anal. Appl.
63, 199 (1978)]. The method is applied to the logistic map and the discrete predator-prey system. |
---|---|
ISSN: | 1054-1500 1089-7682 |
DOI: | 10.1063/1.2430907 |