Period doubling in the Rossler system - a computer assisted proof
arXiv:0712.112339 citationsh-index: 27
Originality Synthesis-oriented
AI Analysis
It provides a rigorous computational method for verifying bifurcations in ODEs, but the result is incremental as it applies existing techniques to a well-known system.
The paper presents a computer-assisted proof of period doubling bifurcations in the Rossler system, producing a rigorous bifurcation diagram for periodic orbits in a specific parameter range.
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.