Rigorous numerics for ODEs using Chebyshev series and domain decomposition
type: Item
instance of: scholarly article
title: Rigorous numerics for ODEs using Chebyshev series and domain decomposition
zbMATH Open document ID: 1481.65115
author: Ray Sheombarsing
author: Jan Bouwe Van den Berg
published in: Journal of Computational Dynamics
publication date: 2021-09-10T00:00:00Z
Mathematics Subject Classification ID: 65L99
Mathematics Subject Classification ID: 34B15
zbMATH DE Number: 7394009
zbMATH Keywords: validated computations
zbMATH Keywords: domain decomposition
zbMATH Keywords: Chebyshev series
zbMATH Keywords: boundary value problems
zbMATH Keywords: ordinary differential equations
describes a project that uses: Chebfun
describes a project that uses: CAPD
describes a project that uses: INTLAB
describes a project that uses: Lorenz-Database
describes a project that uses: kv
MaRDI profile type: Publication
full work available at URL: jcd.2021015
OpenAlex ID: W3186613051
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
cites work: Integration of Dissipative Partial Differential Equations: A Case Study
cites work: A topological method for rigorously computing periodic orbits using Fourier modes
cites work: A database of rigorous and high-precision periodic orbits of the Lorenz model
cites work: Rigorous Reachability Analysis and Domain Decomposition of Taylor Models
cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
cites work: Chebyshev and Fourier spectral methods.
cites work: Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
cites work: Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
cites work: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
cites work: A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
cites work: Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
cites work: The parameterization method for invariant manifolds. III: Overview and applications
cites work: Transversal connecting orbits from shadowing
cites work: Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
cites work: Validated Continuation for Equilibria of PDEs
cites work: A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
cites work: Topological horseshoes of traveling waves for a fast-slow predator-prey system
cites work: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
cites work: Robust rational interpolation and least-squares
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Automatic differentiation for Fourier series and the radii polynomial approach
cites work: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
cites work: Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
cites work: Q4036851
cites work: Verified Computations Using Taylor Models and Their Applications
cites work: Q4791752
cites work: Fast and stable rational interpolation in roots of unity and Chebyshev points
cites work: Q4949347
cites work: Q4904857
cites work: Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
cites work: Global smooth solution curves using rigorous branch following
cites work: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
cites work: Validated computations for connecting orbits in polynomial vector fields
cites work: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
cites work: \(C^1\) Lohner algorithm.
DOI: 10.3934/JCD.2021015
description: scientific article; zbMATH DE number 7394009