Computer assisted proof of chaos in the Rössler equations and in the Hénon map
From MaRDI portal
Publication:3841278
DOI10.1088/0951-7715/10/1/016zbMath0907.58048OpenAlexW2082172869MaRDI QIDQ3841278
Publication date: 16 August 1998
Published in: Nonlinearity (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/492cfb2435ea18785e48aa311c03fa0f19098446
Index theory and related fixed-point theorems on manifolds (58J20) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Local and nonlocal bifurcation theory for dynamical systems (37G99)
Related Items
Covering relations for multidimensional dynamical systems ⋮ Metric horseshoes ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Entropy for symbolic dynamics with overlapping alphabets ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Topological conjugacy for Lipschitz perturbations of non-autonomous systems ⋮ Qualitative analysis of the Rössler equations: bifurcations of limit cycles and chaotic attractors ⋮ Covering relations and Lyapunov condition for topological conjugacy ⋮ Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm ⋮ Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit ⋮ When chaos meets hyperchaos: 4D Rössler model ⋮ OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER ⋮ Search for invariant sets of the generalized tent map ⋮ Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics ⋮ Timing of transients: quantifying reaching times and transient behavior in complex systems ⋮ Unpredictable points and chaos ⋮ Nonintegrability of dynamical systems near degenerate equilibria ⋮ A topological horseshoe in the hyperchaotic Rössler attractor ⋮ Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. ⋮ Covering relations for coupled map networks ⋮ Computer assisted proof of chaos in the Lorenz equations ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ Complex dynamics in one-dimensional nonlinear Schrödinger equations with stepwise potential ⋮ A new proof for existence of horseshoe in the Rössler system ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Isolating segments, fixed point index, and symbolic dynamics ⋮ Periodic solutions and invariant torus in the Rössler system ⋮ Discontinuity of topological entropy for Lozi maps ⋮ A SIMPLE METHOD FOR FINDING TOPOLOGICAL HORSESHOES ⋮ The square of a map, symbolic dynamics and the Conley index ⋮ Sensitivity tools vs. Poincaré sections ⋮ Isolating segments, fixed point index, and symbolic dynamics. III: Applications ⋮ Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level ⋮ Isolating segments, fixed point index, and symbolic dynamics. II: Homoclinic solutions ⋮ DIGITAL CONTROL AS SOURCE OF CHAOTIC BEHAVIOR ⋮ An algorithmic approach to the construction of homomorphisms induced by maps in homology ⋮ On periodic points for systems of weakly coupled 1-dim maps. ⋮ Verification of chaotic behaviour in the planar restricted three body problem ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ Symbolic dynamics for nonhyperbolic systems ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Periodic orbits in the Rössler system ⋮ Period doubling in the Rössler system -- a computer assisted proof ⋮ On Topological Entropy of Finite Representations of the Hénon Map ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS AND STABILITY OF SARKOVSKĬ ORDERING ⋮ INTERVAL METHODS FOR RIGOROUS INVESTIGATIONS OF PERIODIC ORBITS ⋮ TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Discrete version of a geometric method for detecting chaotic dynamics ⋮ Homoclinic shadowing ⋮ Rigorous proof of chaotic behaviour in a dumbbell satellite model ⋮ Detection of renewal system factors via the Conley index
