Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
type: Item
instance of: scholarly article
title: Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
zbMATH Open document ID: 1323.65123
author: Marcio Gameiro
author: Jean-Philippe Lessard
author: Yann Ricaud
published in: Journal of Computational and Applied Mathematics
publication date: 2015-09-09T00:00:00Z
Mathematics Subject Classification ID: 65P99
Mathematics Subject Classification ID: 37C27
Mathematics Subject Classification ID: 37M99
zbMATH DE Number: 6479586
zbMATH Keywords: rigorous numerics
zbMATH Keywords: piecewise smooth systems
zbMATH Keywords: periodic orbits
zbMATH Keywords: contraction mapping theorem
zbMATH Keywords: Chebyshev series
zbMATH Keywords: (Filippov) piecewise-smooth systems
zbMATH Keywords: computer-assisted proofs
zbMATH Keywords: Chua's circuit system
MaRDI profile type: Publication
full work available at URL: j.cam.2015.05.016
OpenAlex ID: W603547344
cites work: One-Parameter Bifurcations in Planar Filippov Systems
cites work: Q3994508
cites work: Periodic orbits for planar piecewise smooth systems with a line of discontinuity
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
cites work: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
cites work: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
cites work: Canonical realization of Chua's circuit family
cites work: The double scroll family
cites work: Reality of chaos in the double scroll circuit: A computer-assisted proof
cites work: Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
cites work: Rigorous Study of the Chua's Circuit Spiral Attractor
cites work: Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
cites work: Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
cites work: Q4904857
cites work: Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
cites work: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
cites work: The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
cites work: The parameterization method for invariant manifolds II: regularity with respect to parameters
cites work: The parameterization method for invariant manifolds. III: Overview and applications
cites work: Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
cites work: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
cites work: The Numerical Computation of Connecting Orbits in Dynamical Systems
DOI: 10.1016/J.CAM.2015.05.016
description: scientific article; zbMATH DE number 6479586