Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
From MaRDI portal
Publication:2423256
DOI10.1016/j.jde.2018.08.035zbMath1417.34068MaRDI QIDQ2423256
Zbigniew Galias, Warwick Tucker
Publication date: 21 June 2019
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2018.08.035
34C05: Topological structure of integral curves, singular points, limit cycles of ordinary differential equations
34C20: Transformation and reduction of ordinary differential equations and systems, normal forms
65G30: Interval and finite arithmetic
37M99: Approximation methods and numerical treatment of dynamical systems
Related Items
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Integrability and bifurcation of a three-dimensional circuit differential system, Mode selection and stability of attractors in Chua circuit driven by piezoelectric sources
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- A rigorous ODE solver and Smale's 14th problem
- \(C^1\) Lohner algorithm.
- The parameterization method for invariant manifolds. III: Overview and applications
- The double scroll family
- Reality of chaos in the double scroll circuit: A computer-assisted proof
- The Lorenz attractor exists
- ON PERIODIC ORBITS AND HOMOCLINIC BIFURCATIONS IN CHUA’S CIRCUIT WITH A SMOOTH NONLINEARITY
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
- FITTING TRAPPING REGIONS FOR CHUA'S ATTRACTOR — A NOVEL METHOD BASED ON ISOCHRONIC LINES
- GLOBAL BIFURCATION ANALYSIS OF THE DOUBLE SCROLL CIRCUIT