Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
From MaRDI portal
(Redirected from Publication:1670296)
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.
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
Cites work
- scientific article; zbMATH DE number 3234338 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Approximation theory and approximation practice
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Covering relations for multidimensional dynamical systems
- Covering relations, cone conditions and the stable manifold theorem
- Global smooth solution curves using rigorous branch following
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Periodic orbits of the ABC flow with \(A=B=C=1\)
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Rigorous numerics in dynamics
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- Stationary coexistence of hexagons and rolls via rigorous computations
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Validated numerics. A short introduction to rigorous computations.
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- \(C^1\) Lohner algorithm.
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
- Sliding homoclinic bifurcations in a Lorenz-type system: analytic proofs
- Automatic differentiation for Fourier series and the radii polynomial approach
- 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
- Validated integration of differential equations with state-dependent delay
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
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)
