Validated computation of heteroclinic sets
From MaRDI portal
Publication:2967809
invariant manifoldsvalidated numericsNewton's methodparameterization methodheteroclinic orbitscomputer assisted proofrigorous enclosure of level sets
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)
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 .
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
Cites work
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- scientific article; zbMATH DE number 776267 (Why is no real title available?)
- scientific article; zbMATH DE number 918596 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- 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
- Chaotic advection in three-dimensional stationary vortex-breakdown bubbles: Shil'nikov's chaos and the devil's staircase
- Computation of heteroclinic arcs with application to the volume preserving Hénon family
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Differentiable dynamical systems
- Direct numerical simulation of vortex ring evolution from the laminar to the early turbulent regime
- Global smooth solution curves using rigorous branch following
- Probabilistic validation of homology computations for nodal domains
- Quadratic Volume-Preserving Maps: Invariant Circles and Bifurcations
- Quadratic volume preserving maps: An extension of a result of Moser
- Quadratic volume-preserving maps
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic 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
- The parameterization method for invariant manifolds. III: Overview and applications
- Thirty years of turnstiles and transport
- Transport in 3D volume-preserving flows
- Validated Continuation for Equilibria of PDEs
- Validated computation of heteroclinic sets
- Verification methods: rigorous results using floating-point arithmetic
- Verified homology computations for nodal domains
- \(C^1\) Lohner algorithm.
Cited in
(11)- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- Numerical analysis and accurate computation of heteroclinic orbits in the case of center manifolds
- Continuation of solutions and studying delay differential equations via rigorous numerics
- Recent results on the dynamics of higher-dimensional Hénon maps
- Computation of heteroclinic arcs with application to the volume preserving Hénon family
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- Homoclinic points of 2D and 4D maps via the parametrization method
- 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
- Validated computation of heteroclinic sets
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)
