Related papers: Critical homoclinics in a restricted four body pro…
We describe a method for computing an atlas for the stable or unstable manifold attached to an equilibrium point, and implement the method for the saddle-focus libration points of the planar equilateral restricted four body problem. We…
We consider a dynamical system, possibly infinite dimensional or non-autonomous, with fast and slow time scales which is oscillatory with high frequencies in the fast directions. We first derive and justify the limit system of the slow…
We study the existence of homoclic solutions for reversible Hamiltonian systems taking the family of differential equations u^4+au^2-u+f(u,b)=0 as a model. Here f is an analytic function and a, b real parameters. These equations are…
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 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…
By a classical theorem transversal homoclinic points of maps lead to shift dynamics on a maximal invariant set, also referred to as a homoclinic tangle. In this paper we study the fate of homoclinic tangles in parameterized systems from the…
The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection --…
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…
In this work, we perform a first study of basic invariant sets of the spatial Hill's four-body problem, where we have used both analytical and numerical approaches. This system depends on a mass parameter mu in such a way that the classical…
Heteroclinic connections between two distinct hyperbolic periodic orbits in conservative systems are important in a wide range of applications. On the other hand, it is theoretically challenging to find large amplitude connections from…
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…
In this article we study topological bifurcations of critical orbits of equivariant gradient equations. We give necessary and sufficient conditions for the existence of global bifurcations of solutions of these equations. Moreover, we apply…
Controllability properties are studied for control-affine systems depending on a parameter and with constrained control values. The uncontrolled systems in dimension two and three are subject to a homoclinic bifurcation. This generates two…
Following Part~I, we consider a class of reversible systems and study bifurcations of homoclinic orbits to hyperbolic saddle equilibria. Here we concentrate on the case in which homoclinic orbits are symmetric, so that only one control…
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…
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 presents methodology for the computation of whole sets of heteroclinic connections between iso-energetic slices of center manifolds of center x center x saddle fixed points of autonomous Hamiltonian systems. It involves: (a)…
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…
Bifurcation analysis collects techniques for characterizing the dependence of certain classes of solutions of a dynamical system on variations in problem parameters. Common solution classes of interest include equilibria and periodic…
We present a global analysis of the center manifold of the collinear points in the circular restricted three-body problem. The phase-space structure is provided by a family of resonant 2-DOF Hamiltonian normal forms. The near 1:1…