Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

DOI10.1137/13090883XzbMath1290.65060MaRDI QIDQ5415977

Christian Reinhardt, Jean-Philippe Lessard

Publication date: 19 May 2014

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

numerical examples boundary value problems initial value problems Chebyshev series contraction mapping theorem rigorous numerics Gray-Scott equation nonlinear ODEs Lorenz equation nonlinear vector field symmetric connecting orbits

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10)

Related Items (36)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Rigorous numerics for nonlinear heat equations in the complex plane of time ⋮ A computable criterion for the existence of connecting orbits in autonomous dynamics ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ 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 ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ A Chebyshev technique for the solution of optimal control problems with nonlinear programming methods ⋮ A certificate-based approach to formally verified approximations ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous validation of stochastic transition paths ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

Uses Software

This page was built for publication: Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series