A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
From MaRDI portal
Publication:2665531
DOI10.1007/s10884-020-09880-1zbMath1498.65111MaRDI QIDQ2665531
Jean-Philippe Lessard, Jason D. Mireles James
Publication date: 19 November 2021
Published in: Journal of Dynamics and Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10884-020-09880-1
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Computational fixed-point theory for differential delay equations with multiple time lags
- Fast polynomial multiplication and convolutions related to the discrete cosine transform
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- Period doubling bifurcations for families of maps on \(R^ n\)
- Periodic solutions of analytic functional differential equations are analytic
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- A rigorous ODE solver and Smale's 14th problem
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- A proof of Wright's conjecture
- A proof of Jones' conjecture
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- Validated solutions of initial value problems for ordinary differential equations
- A complete proof of the Feigenbaum conjectures
- \(C^1\) Lohner algorithm.
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- 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
- Spontaneous periodic orbits in the Navier-Stokes flow
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator
- Rigorous Numerics in Dynamics
- Chebyshev interpolation polynomial-based tools for rigorous computing
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Chebfun: A New Kind of Numerical Computing
- Period doubling in area-preserving maps: an associated one-dimensional problem
- Integration of Dissipative Partial Differential Equations: A Case Study
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- A computer-assisted proof of universality for area-preserving maps
- INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- A computer-assisted proof of the Feigenbaum conjectures
- A Test for Existence of Solutions to Nonlinear Systems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
- Oscillation and Chaos in Physiological Control Systems
- Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
