\(C^1\) Lohner algorithm.

DOI10.1007/s102080010025zbMath1049.65038OpenAlexW3182252275MaRDI QIDQ1865828

Publication date: 2002

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s102080010025

Mathematics Subject Classification ID

Theoretical approximation of solutions to ordinary differential equations (34A45) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ A study of rigorous ODE integrators for multi-scale set-oriented computations ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Recent development in rigorous computational methods in dynamical systems ⋮ Beyond the Melnikov method: A computer assisted approach ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Uncertainty propagation or box propagation ⋮ Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Rigorous numerics for fast-slow systems ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Validated Computation of Heteroclinic Sets ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action ⋮ Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. ⋮ EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis ⋮ Torus knot choreographies in the n-body problem ⋮ Topological horseshoes of traveling waves for a fast-slow predator-prey system ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Complexity in a Hybrid van der Pol System ⋮ On the construction of Lyapunov functions with computer assistance ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ A computer-assisted proof of existence of a periodic solution ⋮ New bifurcations in the simplest passive walking model ⋮ On the stability of periodic N-body motions with the symmetry of Platonic polyhedra ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Period doubling in the Rössler system -- a computer assisted proof ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ A Four-Leaf Chaotic Attractor of a Three-Dimensional Dynamical System ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Rigorous validation of stochastic transition paths ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations