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

DOI10.1090/mcom/3046zbMath1332.65114MaRDI 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

34C25: Periodic solutions to ordinary differential equations

35K57: Reaction-diffusion equations

65G40: General methods in interval analysis

65L60: Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations

Related Items

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

Uses Software

Cites Work