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

DOI10.1016/J.CAM.2015.05.016zbMATH Open1323.65123OpenAlexW603547344MaRDI QIDQ495099FDOQ495099

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

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

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)

Cites Work

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

Cited In (8)

• Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
• Numerical computation of connecting orbits in planar piecewise smooth dynamical system
• 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
• Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• 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

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)