Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor

DOI10.1016/j.jde.2018.08.035zbMath1417.34068OpenAlexW2888005508MaRDI 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

zbMATH Keywords

normal formsdifferential equationsrigorous computations

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Interval and finite arithmetic (65G30) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items

Mode selection and stability of attractors in Chua circuit driven by piezoelectric sources, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Integrability and bifurcation of a three-dimensional circuit differential system

Uses Software

• CAPD
• RODES

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