Related papers: Computer assisted proof of Shil'nikov homoclinics:…
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…
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…
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular…
We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds. We do not need to know the explicit formulas for the homoclinic orbits prior…
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…
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…
We describe and characterize rigorously the chaotic behavior of the sine-Gordon equation. The existence of invariant manifolds and the persistence of homoclinic orbits for a perturbed sine--Gordon equation are established. We apply a…
An interesting problem in solid state physics is to compute discrete breather solutions in $\mathcal{N}$ coupled 1--dimensional Hamiltonian particle chains and investigate the richness of their interactions. One way to do this is to compute…
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…
We develop a Melnikov method for volume-preserving maps with codimension one invariant manifolds. The Melnikov function is shown to be related to the flux of the perturbation through the unperturbed invariant surface. As an example, we…
we consider a system with homoclinic orbit, We decompose the corresponding variational equation on the space of solutions and provide sufficient conditions for the permanency of homoclinic in the space of $C^1$ vector fields. We also…
We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but…
The Koper model is a three-dimensional vector field that was developed to study complex electrochemical oscillations arising in a diffusion process. Koper and Gaspard described paradoxical dynamics in the model: they discovered complicated,…
Using the technique of Poincar\'{e} return maps, we disclose an intricate order of the subsequent homoclinics near the primary homoclinic bifurcation of the Shilnikov saddle-focus in systems with reflection symmetry. We also reveal the…
Chaotic dynamics can be effectively studied by continuation from an anti-integrable limit. We use this limit to assign global symbols to orbits and use continuation from the limit to study their bifurcations. We find a bound on the…
Homoclinic snaking is a widespread phenomenon observed in many pattern-forming systems. Demonstrating its occurrence in non-perturbative regimes has proven difficult, although a forcing theory has been developed based on the identification…
The radii polynomial approach is an a posteriori validation method based on the contraction of a quasi-Newton operator. We apply this strategy to give a computer-assisted proof of a transverse heteroclinic orbit in the Shimizu--Morioka…
We prove an analog of Shilnikov Lemma for a normally hyperbolic symplectic critical manifold $M\subset H^{-1}(0)$ of a Hamiltonian system. Using this result, trajectories with small energy $H=\mu>0$ shadowing chains of homoclinic orbits to…
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…