Beyond the Melnikov method. II: Multidimensional setting
From MaRDI portal
Publication:1671213
DOI10.1016/j.jde.2018.05.028zbMath1400.37031arXiv1803.01587OpenAlexW2964213388WikidataQ129743709 ScholiaQ129743709MaRDI QIDQ1671213
Piotr Zgliczyński, Maciej J. Capiński
Publication date: 6 September 2018
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1803.01587
Melnikov methodnormally hyperbolic invariant manifoldscomputer assisted prooftransversal homoclinic intersectionwhiskered tori
Invariant manifold theory for dynamical systems (37D10) Algorithms with automatic result verification (65G20) Homoclinic and heteroclinic orbits for dynamical systems (37C29)
Related Items
Parametric Resonance for Enhancing the Rate of Metastable Transition, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Breakdown of heteroclinic connections in the analytic Hopf-zero singularity: rigorous computation of the Stokes constant
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Beyond the Melnikov method: A computer assisted approach
- Geometric proof for normally hyperbolic invariant manifolds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- On the existence of separatrix loops in four-dimensional systems similar to the integrable Hamiltonian systems
- 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
- An example of bifurcation to homoclinic orbits
- Global bifurcations and chaos. Analytical methods
- Hyperbolic tori and asymptotic surfaces in Hamiltonian systems
- Normally hyperbolic invariant manifolds in dynamical systems
- Melnikov potential for exact symplectic maps
- \(C^1\) Lohner algorithm.
- Splitting potential and the Poincaré-Melnikov method for whiskered tori in Hamiltonian systems
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Geometric properties of the scattering map of a normally hyperbolic invariant manifold
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- Verification methods: Rigorous results using floating-point arithmetic
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Validated Computation of Heteroclinic Sets
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Melnikov’s method and Arnold diffusion for perturbations of integrable Hamiltonian systems
- Interval Methods for Systems of Equations
