Validated Computation of Heteroclinic Sets

DOI10.1137/16M1060674zbMath1418.37125arXiv1602.02973MaRDI QIDQ2967809

Jason D. Mireles James, Maciej J. Capiński

Publication date: 2 March 2017

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

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

zbMATH Keywords

Newton's methodinvariant manifoldsheteroclinic orbitsvalidated numericsparameterization methodcomputer assisted proofrigorous enclosure of level sets

Mathematics Subject Classification ID

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

Related Items (9)

Beyond the Melnikov method: A computer assisted approach ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Homoclinic points of 2D and 4D maps via the parametrization method ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Validated Computation of Heteroclinic Sets ⋮ Recent results on the dynamics of higher-dimensional Hénon maps ⋮ Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems

Uses Software

• INTLAB
• galepu

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• 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
• Quadratic volume preserving maps: An extension of a result of Moser
• Transport in 3D volume-preserving flows
• \(C^1\) Lohner algorithm.
• Probabilistic validation of homology computations for nodal domains
• The parameterization method for invariant manifolds. III: Overview and applications
• Chaotic advection in three-dimensional stationary vortex-breakdown bubbles: šil'nikov's chaos and the devil's staircase
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Verification methods: Rigorous results using floating-point arithmetic
• Validated Computation of Heteroclinic Sets
• Validated Continuation for Equilibria of PDEs
• Direct numerical simulation of vortex ring evolution from the laminar to the early turbulent regime
• Global smooth solution curves using rigorous branch following
• Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
• Quadratic Volume-Preserving Maps: Invariant Circles and Bifurcations
• Verified Homology Computations for Nodal Domains
• Quadratic volume-preserving maps
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Thirty years of turnstiles and transport
• Differentiable dynamical systems

This page was built for publication: Validated Computation of Heteroclinic Sets