Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

DOI10.1090/mcom/3046zbMath1332.65114OpenAlexW1906421350MaRDI QIDQ2792369

Jason D. Mireles James, Jean-Philippe Lessard, Allan Hungria

Publication date: 9 March 2016

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.11794/1201

Mathematics Subject Classification ID

Periodic solutions to ordinary differential equations (34C25) Reaction-diffusion equations (35K57) General methods in interval analysis (65G40) Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60)

Related Items (46)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ 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 ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS ⋮ A proof of Wright's conjecture ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ A certificate-based approach to formally verified approximations ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Torus knot choreographies in the n-body problem ⋮ 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 ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ A new method to compute periodic orbits in general symplectic maps ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Spiderweb central configurations ⋮ Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Free Vibrations in a Wave Equation Modeling MEMS ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

Uses Software

• INTLAB
• Taylor
• galepu

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Existence of secondary bifurcations or isolas for PDEs
• Computational fixed-point theory for differential delay equations with multiple time lags
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Validated continuation over large parameter ranges for equilibria of PDEs
• Covering relations for multidimensional dynamical systems. II
• Rigorous numerics for NLS: bound states, spectra, and controllability
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
• Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
• Verification methods: Rigorous results using floating-point arithmetic
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• A computer-assisted proof of universality for area-preserving maps
• A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• A computer-assisted proof of the Feigenbaum conjectures
• Chaos in the Lorenz equations: a computer-assisted proof
• Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
• Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Rigorous Computations of Homoclinic Tangencies
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

This page was built for publication: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach