arXiv:0712.1123 Abstract | arXiv Analytics

arXiv:0712.1123 [math.DS]Abstract References Reviews Resources

Period doubling in the Rossler system - a computer assisted proof

Published 2007-12-07Version 1

The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter range containing two period doubling bifurcations.

Comments: 39 pages, 3 figures

Categories: math.DS, math.NA

Keywords: computer assisted proof, rossler system, odes generating nontrivial dynamics, rigorous bifurcation diagram, periodic orbits

Related articles: Most relevant | Search more

arXiv:math/0201278 [math.DS] (Published 2002-01-29, updated 2002-04-17)

Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof

D. Wilczak, P. Zgliczynski

arXiv:0905.3924 [math.DS] (Published 2009-05-24)

Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum

Daniel Wilczak, Piotr Zgliczynski

arXiv:1112.4874 [math.DS] (Published 2011-12-20)

Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits