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
Newton's methodinvariant manifoldsheteroclinic orbitsvalidated numericsparameterization methodcomputer assisted proofrigorous enclosure of level sets
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)
Uses Software
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