Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series

DOI10.1016/j.cam.2015.05.016zbMath1323.65123OpenAlexW603547344MaRDI QIDQ495099

Marcio Gameiro, Yann Ricaud, Jean-Philippe Lessard

Publication date: 9 September 2015

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2015.05.016

zbMATH Keywords

periodic orbitsChebyshev seriescomputer-assisted proofscontraction mapping theoremrigorous numericspiecewise smooth systems(Filippov) piecewise-smooth systemsChua's circuit system

Mathematics Subject Classification ID

Periodic orbits of vector fields and flows (37C27) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99)

Related Items (6)

Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ On rigorous integration of continuous piecewise linear systems ⋮ Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications

Cites Work

• Unnamed Item
• Unnamed Item
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Periodic orbits for planar piecewise smooth systems with a line of discontinuity
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• The parameterization method for invariant manifolds. III: Overview and applications
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• The Numerical Computation of Connecting Orbits in Dynamical Systems
• Canonical realization of Chua's circuit family
• The double scroll family
• Reality of chaos in the double scroll circuit: A computer-assisted proof
• Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
• One-Parameter Bifurcations in Planar Filippov Systems
• Rigorous Study of the Chua's Circuit Spiral Attractor
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

This page was built for publication: Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series