Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

DOI10.3934/DCDSB.2018164zbMATH Open1398.65092arXiv1704.03128OpenAlexW2605817388WikidataQ129627692 ScholiaQ129627692MaRDI QIDQ1670296FDOQ1670296

Authors: Maxime Breden, Jean-Philippe Lessard 

Publication date: 5 September 2018

Published in: Discrete and Continuous Dynamical Systems. Series B (Search for Journal in Brave)

Abstract: In this work, we introduce a method based on piecewise polynomial interpolation to enclose rigorously solutions of nonlinear ODEs. Using a technique which we call a priori bootstrap, we transform the problem of solving the ODE into one of looking for a fixed point of a high order smoothing Picard-like operator. We then develop a rigorous computational method based on a Newton-Kantorovich type argument (the radii polynomial approach) to prove existence of a fixed point of the Picard-like operator. We present all necessary estimates in full generality and for any nonlinearities. With our approach, we study two systems of nonlinear equations: the Lorenz system and the ABC flow. For the Lorenz system, we solve Cauchy problems and prove existence of periodic and connecting orbits at the classical parameters, and for ABC flows, we prove existence of ballistic spiral orbits.

Full work available at URL: https://arxiv.org/abs/1704.03128

Recommendations

• Polynomial and rational interpolation in the numerical solution of stiff systems
• Constructive polynomial approximation with \textit{a priori} error bounds for nonlinear initial value differential problems
• Computational bounds on polynomial differential equations
• Generating optimal derivative free iterative methods for nonlinear equations by using polynomial interpolation
• Rigorous numerical computation of polynomial differential equations over unbounded domains
• A new framework for polynomial approximation to differential equations
• Polynomial approximation of a nonlinear ordinary differential equation
• Computation of all polynomial solutions of a class of nonlinear differential equations
• Polynomial approximation of nonlinear differential systems with prefixed accuracy
• Computation of the solutions of nonlinear polynomial systems

zbMATH Keywords

computer-assisted proofnonlinear ODEspiecewise polynomial interpolationABC flowsPicard-like operator

Mathematics Subject Classification ID

Numerical integration (65D30) Periodic orbits of vector fields and flows (37C27) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99) Algorithms with automatic result verification (65G20)

Cites Work

• Approximation theory and approximation practice
• Validated numerics. A short introduction to rigorous computations.
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
• Global smooth solution curves using rigorous branch following
• Title not available (Why is that?)
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• \(C^1\) Lohner algorithm.
• Covering relations for multidimensional dynamical systems
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
• Stationary coexistence of hexagons and rolls via rigorous computations
• Rigorous and accurate enclosure of invariant manifolds on surfaces
• Covering relations, cone conditions and the stable manifold theorem
• Rigorous numerics in dynamics
• Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
• Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
• Rigorous verification of chaotic behaviour of maps using validated shadowing
• Periodic orbits of the ABC flow with \(A=B=C=1\)

Cited In (9)

• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Validated computations for connecting orbits in polynomial vector fields
• Validated integration of semilinear parabolic PDEs
• A Lorenz-type attractor in a piecewise-smooth system: rigorous results
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
• Automatic differentiation for Fourier series and the radii polynomial approach
• Validated integration of differential equations with state-dependent delay
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Sliding homoclinic bifurcations in a Lorenz-type system: analytic proofs

Uses Software

• INTLAB
• dcc
• CAPD
• PolyPaver
• Taylor
• CkAnalytic

This page was built for publication: Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670296)