Beyond the Melnikov method: A computer assisted approach
From MaRDI portal
computer assisted proofMelnikov methodnormally hyperbolic invariant manifoldtransversal homoclinic intersectionwhiskered tori
Invariant manifold theory for dynamical systems (37D10) Approximation methods and numerical treatment of dynamical systems (37M99) Algorithms with automatic result verification (65G20) Numerical nonlinear stabilities in dynamical systems (65P40) Symmetries and conservation laws, reverse symmetries, invariant manifolds and their bifurcations, reduction for problems in Hamiltonian and Lagrangian mechanics (70H33)
Abstract: We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally hyperbolic invariant manifold theorem, which establishes the existence of a NHIM, together with its associated invariant manifolds and bounds on their first and second derivatives. We do not need to know the explicit formulas for the homoclinic orbits prior to the perturbation. We also do not need to compute any integrals along such homoclinics. All needed bounds are established using rigorous computer assisted numerics. Lastly, and most importantly, the method establishes intersections for an explicit range of parameters, and not only for perturbations that are `small enough', as is the case in the classical Melnikov approach.
Recommendations
- Beyond the Melnikov method. II: Multidimensional setting
- scientific article; zbMATH DE number 5183521
- The method of Melnikov for perturbations of multi-degree-of-freedom Hamiltonian systems
- The Existence of Homoclinic Orbits and the Method of Melnikov for Systems in R^n
- Canonical Melnikov theory for diffeomorphisms
Cites work
- C^1 Lohner algorithm.
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- An example of bifurcation to homoclinic orbits
- Asymptotic stability with rate conditions for dynamical systems
- Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Geometric proof for normally hyperbolic invariant manifolds
- Geometric properties of the scattering map of a normally hyperbolic invariant manifold
- scientific article; zbMATH DE number 3139999 (Why is no real title available?)
- scientific article; zbMATH DE number 4041188 (Why is no real title available?)
- scientific article; zbMATH DE number 3569457 (Why is no real title available?)
- scientific article; zbMATH DE number 1787320 (Why is no real title available?)
- scientific article; zbMATH DE number 3219808 (Why is no real title available?)
- scientific article; zbMATH DE number 3315695 (Why is no real title available?)
- Melnikov potential for exact symplectic maps
- Melnikov’s method and Arnold diffusion for perturbations of integrable Hamiltonian systems
- Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
- Normally hyperbolic invariant manifolds in dynamical systems
- Parameterization of invariant manifolds for periodic orbits. I: Efficient numerics via the Floquet normal form
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Reliable computation of robust response tori on the verge of breakdown
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
- The parameterization method for invariant manifolds. III: Overview and applications
- Validated computation of heteroclinic sets
Cited in
(17)- Beyond the Melnikov method. II: Multidimensional setting
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- 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
- Homoclinic points of 2D and 4D maps via the parametrization method
- Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
- Wild pseudohyperbolic attractor in a four-dimensional Lorenz system
- Validated Spectral Stability via Conjugate Points
- Torus knot choreographies in the \(n\)-body problem
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- scientific article; zbMATH DE number 2210666 (Why is no real title available?)
- Rigorous numerics for fast-slow systems
- Polynomial normal forms for ODEs near a center-saddle equilibrium point
- Periodic perturbation of a 3D conservative flow with a heteroclinic connection to saddle-foci
- Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence
- A numerical study of the hyperbolic manifolds in a priori unstable systems. A comparison with Melnikov approximations
This page was built for publication: Beyond the Melnikov method: A computer assisted approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q338453)
