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.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

zbMATH Keywords

normal forms; differential equations; rigorous computations

Mathematics Subject Classification ID

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

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