Rigorous numerics for ODEs using Chebyshev series and domain decomposition
From MaRDI portal
Publication:1983482
DOI10.3934/jcd.2021015zbMath1481.65115OpenAlexW3186613051MaRDI QIDQ1983482
Ray Sheombarsing, Jan Bouwe Van Den Berg
Publication date: 10 September 2021
Published in: Journal of Computational Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3934/jcd.2021015
domain decompositionboundary value problemsordinary differential equationsChebyshev seriesvalidated computations
Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical methods for ordinary differential equations (65L99)
Related Items (10)
Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- \(C^1\) Lohner algorithm.
- Automatic differentiation for Fourier series and the radii polynomial approach
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Validated computations for connecting orbits in polynomial vector fields
- Transversal connecting orbits from shadowing
- Robust rational interpolation and least-squares
- Topological horseshoes of traveling waves for a fast-slow predator-prey system
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A topological method for rigorously computing periodic orbits using Fourier modes
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Fast and Stable Rational Interpolation in Roots of Unity and Chebyshev Points
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Verified Computations Using Taylor Models and Their Applications
- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
This page was built for publication: Rigorous numerics for ODEs using Chebyshev series and domain decomposition
