Related papers: Beyond the Melnikov method: a computer assisted ap…
We consider the planar circular restricted three-body problem (PCRTBP), as a model for the motion of a spacecraft relative to the Earth-Moon system. We focus on the Lagrange equilibrium points $L_1$ and $L_2$. There are families of Lyapunov…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
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…
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a…
This paper develops a computational method for studying stable/unstable manifolds attached to periodic orbits of differential equations. The method uses high order Chebyshev-Taylor series approximations in conjunction with the…
We illustrate a completely analytic approach to Mel'nikov theory, which is based on a suitable extension of a classical method, and which is parallel and -- at least in part -- complementary to the standard procedure. This approach can be…
This work is devoted to studying normally hyperbolic invariant manifolds (NHIMs) for a class of quasi-periodically forced systems subject to additional stochastic noise. These systems can be understood as skew-product systems. The existence…
We consider a Hamiltonian system with 2 degrees of freedom, with a hyperbolic equilibrium point having a loop or homoclinic orbit (or, alternatively, two hyperbolic equilibrium points connected by a heteroclinic orbit), as a step towards…
This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the…
The topic of this article is the numerical search of codimension 2 Normally Hyperbolic Invariant Manifolds (NHIM) in Hamiltonian systems with 3 degrees of freedom and their internal dynamics. We point out relations between different…
Studying 2 degree-of-freedom (DOF) Hamiltonian dynamical systems often involves the computation of stable & unstable manifolds of periodic orbits, due to the homoclinic & heteroclinic connections they can generate. Such study is generally…
We assign some kind of invariant manifolds to a given integrable PDE (its discrete or semi-discrete variant). First, we linearize the equation around its arbitrary solution $u$. Then we construct a differential (respectively, difference)…
A computational procedure that allows the detection of a new type of high-dimensional chaotic saddle in Hamiltonian systems with three degrees of freedom is presented. The chaotic saddle is associated with a so-called normally hyperbolic…
We consider the planar restricted $N$-body problem where the $N-1$ primaries are assumed to be in a central configuration whereas the infinitesimal particle escapes to infinity in a parabolic orbit. We prove the existence of transversal…
Chemical reactions in multidimensional systems are often described by a rank-1 saddle, whose stable and unstable manifolds intersect in the normally hyperbolic invariant manifold (NHIM). Trajectories started on the NHIM in principle never…
Rigorous Melnikov analysis is accomplished for Davey-Stewartson II equation under singular perturbation. Unstable fiber theorem and center-stable manifold theorem are established. The fact that the unperturbed homoclinic orbit, obtained via…
We provide a new approach to stable ergodicity of systems with dominated splittings, based on a geometrical analysis of global stable and unstable manifolds of hyperbolic points. Our method suggests that the lack of uniform size of Pesin's…
In this work the Melnikov method for perturbed Hamiltonian wave equations is considered in order to determine possible chaotic behaviour in the systems. The backbone of the analysis is the multi-symplectic formulation of the unperturbed PDE…
In Hamiltonian systems subjected to periodic perturbations the stable and unstable manifolds of the unstable periodic orbits provide the dynamical "skeleton" that drives the mixing process and bounds the chaotic regions of the phase space.…
We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a…