Beyond the Melnikov method: A computer assisted approach

DOI10.1016/j.jde.2016.09.032zbMath1368.37035arXiv1603.07131OpenAlexW2963207027MaRDI QIDQ338453

Maciej J. Capiński, Piotr Zgliczyński

Publication date: 4 November 2016

Published in: Journal of Differential Equations (Search for Journal in Brave)

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

zbMATH Keywords

Melnikov methodcomputer assisted proofnormally hyperbolic invariant manifoldtransversal homoclinic intersectionwhiskered tori

Mathematics Subject Classification ID

Invariant manifold theory for dynamical systems (37D10) Algorithms with automatic result verification (65G20) Symmetries and conservation laws, reverse symmetries, invariant manifolds and their bifurcations, reduction for problems in Hamiltonian and Lagrangian mechanics (70H33) Numerical nonlinear stabilities in dynamical systems (65P40) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items

Validated Spectral Stability via Conjugate Points ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ Homoclinic points of 2D and 4D maps via the parametrization method ⋮ Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Rigorous numerics for fast-slow systems ⋮ Torus knot choreographies in the n-body problem ⋮ Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Wild pseudohyperbolic attractor in a four-dimensional Lorenz system ⋮ Breakdown of heteroclinic connections in the analytic Hopf-zero singularity: rigorous computation of the Stokes constant ⋮ Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Geometric proof for normally hyperbolic invariant manifolds
• Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
• An example of bifurcation to homoclinic orbits
• Normally hyperbolic invariant manifolds in dynamical systems
• Melnikov potential for exact symplectic maps
• \(C^1\) Lohner algorithm.
• 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
• Reliable Computation of Robust Response Tori on the Verge of Breakdown
• Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map
• 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
• Asymptotic stability with rate conditions for dynamical systems
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form