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

DOI10.1016/J.CAM.2015.05.016MaRDI QIDQ495099zbMATH OpenOpenAlexFDO

Authors Marcio Gameiro, Jean-Philippe Lessard, Yann Ricaud

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

rigorous numericsperiodic orbitscontraction mapping theorempiecewise smooth systemsChebyshev series(Filippov) piecewise-smooth systemsChua's circuit systemcomputer-assisted proofs

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)

Recommendations

• Rigorous numerics for nonlinear differential equations using Chebyshev series
• Numerical computation of connecting orbits in planar piecewise smooth dynamical system
• On rigorous integration of continuous piecewise linear systems
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• STABILITY CALCULATIONS FOR PIECEWISE-SMOOTH DELAY EQUATIONS

Cites work

• scientific article; zbMATH DE number 41285 (Why is no real title available?)
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Approximation theory and approximation practice
• Canonical realization of Chua's circuit family
• Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• One-Parameter Bifurcations in Planar Filippov Systems
• Periodic orbits for planar piecewise smooth systems with a line of discontinuity
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
• Reality of chaos in the double scroll circuit: A computer-assisted proof
• Rigorous Study of the Chua's Circuit Spiral Attractor
• Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
• Stationary coexistence of hexagons and rolls via rigorous computations
• The Numerical Computation of Connecting Orbits in Dynamical Systems
• The double scroll family
• 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
• The parameterization method for invariant manifolds. III: Overview and applications

Cited in

(8)

• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
• Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
• Analysis of pandemic closing-reopening cycles using rigorous homotopy continuation: a case study with Montreal COVID-19 data
• Numerical computation of connecting orbits in planar piecewise smooth dynamical system
• On rigorous integration of continuous piecewise linear systems
• Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q495099)