Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
From MaRDI portal
Publication:2792369
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
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
- 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