Abstract: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 the homoclinic intersections of invariant manifolds of a saddle point located at the origin of a class of $2\mathcal{N}$--dimensional invertible maps. In this paper we apply the parametrization method to express these manifolds analytically as series expansions and compute their intersections numerically to high precision. We first carry out this procedure for a 2--dimensional (2--D) family of generalized Henon maps ($\mathcal{N}$=1), prove the existence of a hyperbolic set in the non-dissipative case and show that it is directly connected to the existence of a homoclinic orbit at the origin. Introducing dissipation we demonstrate that a homoclinic tangency occurs beyond which the homoclinic intersection disappears. Proceeding to $\mathcal{N}=2$, we use the same approach to determine the homoclinic intersections of the invariant manifolds of a saddle point at the origin of a 4--D map consisting of two coupled 2--D cubic Hénon maps. In dependence of the coupling the homoclinic intersection is determined, which ceases to exist once a certain amount of dissipation is present. We discuss an application of our results to the study of discrete breathers in two linearly coupled 1--dimensional particle chains with nearest--neighbor interactions and a Klein--Gordon on site potential.

A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map

A proof of a Dumortier-Roussarie's conjecture

Symbolic dynamics for Hénon maps near the boundary of the horseshoe locus

Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps

Computer assisted proofs for transverse heteroclinics by the parameterization method

Chaotic polynomial maps

Diffeomorphisms with infinitely many Smale horseshoes

Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence

The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns

Dynamics of composite symplectic Dehn twists

A numerical study of rigidity of hyperbolic splittings in simple two-dimensional maps

Chaotic behaviors and coexisting homoclinic cycles in a class of 3D piecewise systems

A new computable version of Hall's Harem Theorem

Homoclinic points of 2-D and 4-D maps via the Parametrization Method

Homology and K-theory of dynamical systems III. Beyond stably disconnected Smale spaces

Proof of the Caratheodory Conjecture

Coupled Hénon Map, Part II: Doubly and Singly Folded Horseshoes in Four Dimensions

Chaotic dynamics at the boundary of a basin of attraction via non-transversal intersections for a non-global smooth diffeomorphism

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

Constructive proofs for some semilinear PDEs on $H^2(e^{|x|^2/4},\mathbb{R}^d)$