Validated computation of heteroclinic sets

DOI10.1137/16M1060674zbMATH Open1418.37125arXiv1602.02973MaRDI QIDQ2967809FDOQ2967809

Authors: Maciej Capiński, J. D. Mireles James 

Publication date: 2 March 2017

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Abstract: In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order Taylor approximation of the local stable/unstable manifolds. The curve following argument is a uniform interval Newton method applied on short line segments. The definition of the heteroclinic sets involve compositions of the map and we use a Lohner-type representation to overcome the accumulation of roundoff errors. Our argument requires precise control over the local unstable and stable manifolds so that we must first obtain validated a-posteriori error bounds on the truncation errors associated with the manifold approximations. We illustrate the utility of our method by proving some computer assisted theorems about heteroclinic invariant sets for a volume preserving map of $mathbb{R}^3$.

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

Recommendations

• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• Validated computations for connecting orbits in polynomial vector fields
• The Numerical Computation of Homoclinic Orbits for Maps
• Numerical analysis and accurate computation of heteroclinic orbits in the case of center manifolds
• Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps

zbMATH Keywords

invariant manifoldsvalidated numericsNewton's methodparameterization methodheteroclinic orbitscomputer assisted proofrigorous enclosure of level sets

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Invariant manifolds for ordinary differential equations (34C45) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Computational methods for ergodic theory (approximation of invariant measures, computation of Lyapunov exponents, entropy, etc.) (37M25) Finite difference and finite volume methods for ordinary differential equations (65L12) Error bounds for numerical methods for ordinary differential equations (65L70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differentiable dynamical systems
• Verification methods: rigorous results using floating-point arithmetic
• The parameterization method for invariant manifolds. III: Overview and applications
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• Global smooth solution curves using rigorous branch following
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• \(C^1\) Lohner algorithm.
• Validated Continuation for Equilibria of PDEs
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Computation of heteroclinic arcs with application to the volume preserving Hénon family
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
• A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
• Computation of maximal local (un)stable manifold patches by the parameterization method
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Validated computation of heteroclinic sets
• Transport in 3D volume-preserving flows
• Chaotic advection in three-dimensional stationary vortex-breakdown bubbles: Shil'nikov's chaos and the devil's staircase
• Direct numerical simulation of vortex ring evolution from the laminar to the early turbulent regime
• Quadratic Volume-Preserving Maps: Invariant Circles and Bifurcations
• Quadratic volume-preserving maps
• Verified homology computations for nodal domains
• Probabilistic validation of homology computations for nodal domains
• Quadratic volume preserving maps: An extension of a result of Moser
• Thirty years of turnstiles and transport

Cited In (11)

• Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
• Homoclinic points of 2D and 4D maps via the parametrization method
• Numerical analysis and accurate computation of heteroclinic orbits in the case of center manifolds
• High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
• Continuation of solutions and studying delay differential equations via rigorous numerics
• Validated numerics for continuation and bifurcation of connecting orbits of maps
• Beyond the Melnikov method: A computer assisted approach
• Beyond the Melnikov method. II: Multidimensional setting
• Recent results on the dynamics of higher-dimensional Hénon maps
• Computation of heteroclinic arcs with application to the volume preserving Hénon family
• Validated computation of heteroclinic sets

Uses Software

• INTLAB
• galepu

This page was built for publication: Validated computation of heteroclinic sets

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