arXiv subjects
Publications and source records attributed to Amadeu Delshams.
The existence of translated curves for quasiperiodically forced maps is established, under very mild regularity hypotheses, for rotation numbers of constant type. Among the translated curves, the invariant curves are characterized as the solutions of a scalar bifurcation equation, from which their existence, stability as well as bifurcation can be easily described.
Consider the spatial restricted three-body problem, as a model for the motion of a spacecraft relative to the Sun-Earth system. We focus on the dynamics near the equilibrium point $L_1$, located between the Sun and the Earth. We show that we can transfer the spacecraft from a quasi-periodic orbit that is nearly planar relative to the ecliptic to a quasi-periodic orbit that has large vertical amplitude, at zero energy cost. (In fact, the final orbit has the maximum vertical amplitude that can be obtained through the particular mechanism that we consider. Moreover, the transfer can be made through any prescribed sequence of quasi-periodic orbits in between). Our transfer mechanism is based on selecting trajectories homoclinic to a normally hyperbolic invariant manifold (NHIM) near $L_1$, and then gluing them together. We present a theoretical result establishing the existence of such transfer orbits, and we verify numerically its applicability to our model. We provide several explicit constructions of such transfers, and also develop an algorithm to design trajectories that achieve the shortest transfer time for this particular mechanism. The change in the vertical amplitude along a homoclinic trajectory can be described via the scattering map. We develop a new tool, the `Standard Scattering Map' (SSM), which is a series representation of the exact scattering map. We use the SSM to obtain a complete description of the dynamics along homoclinic trajectories. The SSM can be used in many other situations, from Arnold diffusion problems to transport phenomena in applications.
We show that given a general uncoupled a priori unstable Hamiltonian \[ \frac12 p^2 + V(q) + G(I) + εh(p, q, I, φ, t), \] where $h$ is a generic Mañé analytic function and $ε$ is small enough, there is an orbit for which the momentum $I$ changes by any arbitrarily prescribed value. We call this phenomenon as global diffusion since the size of the change in $I$ is independent of both $ε$ and $h$. The fact that the pendulum and rotor variables are uncoupled is used essentially in our proof. The proof is based on simple and constructive geometrical methods, carefully studying the reduced Poincaré functions of the problem which generate the corresponding scattering maps.
We consider the Rydberg electron in a circularly polarized microwave field, whose dynamics is described by a 2 d.o.f. Hamiltonian, which is a perturbation of size $K>0$ of the standard rotating Kepler problem. In a rotating frame, the largest chaotic region of this system lies around a center-saddle equilibrium point $L_1$ and its associated invariant manifolds. We compute the distance between stable and unstable manifolds of $L_1$ by means of a semi-analytical method, which consists of combining normal form, Melnikov, and averaging methods with numerical methods. Also, we introduce a new family of Hamiltonians, which we call Toy CP systems, to be able to compare our numerical results with the existing theoretical results in the literature. It should be noted that the distance between these stable and unstable manifolds is exponentially small in the perturbation parameter $K$ (in analogy with the $L_3$ libration point of the R3BP).
In this work we consider a saddle-center equilibrium for general vector fields as well as Hamiltonian systems, and we transform it locally into a polynomial normal form in the saddle variables by a change of coordinates. This problem was first solved by Bronstein and Kopanskii in 1995, as well as by Banyaga, de la Llave and Wayne in 1996 [BLW] in the saddle case. The proof used relies on the deformation method used in [BLW], which in particular implies the preservation of the symplectic form for a Hamiltonian system, although our proof is different and, we believe, simpler. We also show that if the system has sign-symmetry, then the transformation can be chosen so that it also has sign-symmetry. This issue is important in our study of shadowing non-transverse heteroclinic chains (Delshams and Zgliczynski 2018 and 2024) for the toy model systems (TMS) of the cubic defocusing nonlinear Schrödinger equation (NLSE) on $2D$-torus or similar Hamiltonian PDE, which are used to prove energy transfer in these PDE.
We deal with dynamical systems on complex lattices possessing chains of non-transversal heteroclinic connections between several periodic orbits. The systems we consider are inspired by the so-called \emph{toy model systems} (TMS) used to prove the existence of energy transfer from low to high frequencies in the \emph{nonlinear cubic Schrödinger equation} (NLS) or generalizations. Using the geometric properties of the complex projective space as a base space, we generate in a natural way collections of such systems containing this type of chains, both in the Hamiltonian and in the non-Hamiltonian setting. On the other hand, we characterize the property of block diagonal dynamics along the heteroclinic connections that allows these chains to be shadowed, a property which in general only holds for transversal heteroclinic connections. Due to the lack of transversality, only finite chains are shadowed, since there is a dropping dimensions mechanism in the evolution of any disk close to them. The main shadowing technical tool used in our work is the notion of covering relations as introduced by one of the authors.
In the present paper we apply the geometrical mechanism of diffusion in an \emph{a priori} unstable Hamiltonian system with 3 $+$ 1/2 degrees of freedom. This mechanism consists of combining iterations of the \emph{inner} and \emph{outer} dynamics associated to a \emph{Normallly Hyperbolic Invariant Manifold} (NHIM), to construct diffusing \emph{pseudo-orbits} and subsequently apply shadowing results to prove the existence of diffusing orbits of the system. In addition to proving the existence of diffusion for a wide range of the parameters of the system, an important part of our study focuses on the search for \emph{Highways}, a particular family of orbits of the outer map (the so-called \emph{scattering} map), whose existence is sufficient to ensure a very large drift of the action variables, with a diffusion time near them that agrees with the optimal estimates in the literature. Moreover, this optimal diffusion time is calculated, with an explicit calculation of the constants involved. All these properties are proved by analytical methods and, where necessary, supplemented by numerical calculations.
We study the splitting of invariant manifolds of whiskered (hyperbolic) tori with three frequencies in a nearly-integrable Hamiltonian system, whose hyperbolic part is given by a pendulum. We consider a 3-dimensional torus with a fast frequency vector $ω/\sqrt\varepsilon$, with $ω=(1,Ω,\widetildeΩ)$ where $Ω$ is a cubic irrational number whose two conjugates are complex, and the components of $ω$ generate the field $\mathbb Q(Ω)$. A paradigmatic case is the cubic golden vector, given by the (real) number $Ω$ satisfying $Ω^3=1-Ω$, and $\widetildeΩ=Ω^2$. For such 3-dimensional frequency vectors, the standard theory of continued fractions cannot be applied, so we develop a methodology for determining the behavior of the small divisors $\langle k,ω\rangle$, $k\in{\mathbb Z}^3$. Applying the Poincaré-Melnikov method, this allows us to carry out a careful study of the dominant harmonic (which depends on $\varepsilon$) of the Melnikov function, obtaining an asymptotic estimate for the maximal splitting distance, which is exponentially small in $\varepsilon$, and valid for all sufficiently small values of~$\varepsilon$. This estimate behaves like $\exp\{-h_1(\varepsilon)/\varepsilon^{1/6}\}$ and we provide, for the first time in a system with 3 frequencies, an accurate description of the (positive) function $h_1(\varepsilon)$ in the numerator of the exponent, showing that it can be explicitly constructed from the resonance properties of the frequency vector $ω$, and proving that it is a quasiperiodic function (and not periodic) with respect to $\ln\varepsilon$. In this way, we emphasize the strong dependence of the estimates for the splitting on the arithmetic properties of the frequencies.
We consider heteroclinic attractor networks motivated by models of competition between neural populations during binocular rivalry. We show that Gamma distributions of dominance times observed experimentally in binocular rivalry and other forms of bistable perception, commonly explained by means of noise in the models, can be achieved with quasi-periodic perturbations. For this purpose, we present a methodology based on the separatrix map to model the dynamics close to heteroclinic networks with quasi-periodic perturbations. Our methodology unifies two different approaches, one based on Melnikov integrals and another one based on variational equations. We apply it to two models: first, to the Duffing equation, which comes from the perturbation of a Hamiltonian system and, second, to a heteroclinic attractor network for binocular rivalry, for which we develop a suitable method based on Melnikov integrals for non-Hamiltonian systems. In both models, the perturbed system shows chaotic behavior while dominance times achieve good agreement with Gamma distributions. Moreover, the separatrix map provides a new (discrete) model for bistable perception which, in addition, replaces the numerical integration of time-continuous models and, consequently, reduces the computational cost and avoids numerical instabilities.
The restricted planar elliptic three body problem (RPETBP) describes the motion of a massless particle (a comet) under the gravitational field of two massive bodies (the primaries, say the Sun and Jupiter) revolving around their center of mass on elliptic orbits with some positive eccentricity. The aim of this paper is to show the existence of orbits whose angular momentum performs arbitrary excursions in a large region. In particular, there exist diffusive orbits, that is, with a large variation of angular momentum. The leading idea of the proof consists in analysing parabolic motions of the comet. By a well-known result of McGehee, the union of future (resp. past) parabolic orbits is an analytic manifold. In a properly chosen coordinate system these manifolds are stable (resp. unstable) manifolds of a manifold at infinity $P_\infty$, which we call manifold at parabolic infinity. On this manifold, it is possible to define two scattering maps, which contain the map structure of the homoclinic trajectories to it, i.e. orbits parabolic both in the future and the past. Since the inner dynamics inside $P_\infty$ is trivial, two different scattering maps are used. The combination of these two scattering maps permits the design of the desired diffusive pseudo-orbits. Using shadowing techniques and these pseudo orbits we show the existence of true trajectories of the RPETBP whose angular momentum varies in any predetermined fashion.
We prove that for any non-trivial perturbation depending on any two independent harmonics of a pendulum and a rotor there is global instability. The proof is based on the geometrical method and relies on the concrete computation of several scattering maps. A complete description of the different kinds of scattering maps taking place as well as the existence of piecewise smooth global scattering maps is also provided.
In this paper we analyze in detail a collection of motivating examples to consider $b^m$-symplectic forms and folded-type symplectic structures. In particular, we provide models in Celestial Mechanics for every $b^m$-symplectic structure. At the end of the paper, we introduce the odd-dimensional analogue to $b$-symplectic manifolds: $b$-contact manifolds.
We present a new result about the shadowing of nontransversal chain of heteroclinic connections based on the idea of dropping dimensions. We illustrate this new mechanism with several examples. As an application we discuss this mechanism in a simplification of a toy model system derived by Colliander et al. in the context of cubic defocusing nonlinear Schrödinger equation.
In this work we illustrate the Arnold diffusion in a concrete example---the \emph{a priori} unstable Hamiltonian system of $2+1/2$ degrees of freedom $H(p,q,I,φ,s) = p^{2}/2+\cos q -1 +I^{2}/2 + h(q,φ,s;\varepsilon)$---proving that for \emph{any} small periodic perturbation of the form $h(q,φ,s;\varepsilon) = \varepsilon\cos q\left( a_{00} + a_{10}\cosφ+ a_{01}\cos s \right)$ ($a_{10}a_{01} \neq 0$) there is global instability for the action. For the proof we apply a geometrical mechanism based in the so-called Scattering map. This work has the following structure: In a first stage, for a more restricted case ($I^*\thicksimπ/2μ$, $μ= a_{10}/a_{01}$), we use only one scattering map, with a special property: the existence of simple paths of diffusion called highways. Later, in the general case we combine a scattering map with the inner map (inner dynamics) to prove the more general result (the existence of the instability for any $μ$). The bifurcations of the scattering map are also studied as a function of $μ$. Finally, we give an estimate for the time of diffusion, and we show that this time is primarily the time spent under the scattering map.
We present a collection of examples borrowed from celestial mechanics and projective dynamics. In these examples symplectic structures with singularities arise naturally from regularization transformations, Appell's transformation or classical changes like McGehee coordinates, which end up blowing up the symplectic structure or lowering its rank at certain points. The resulting geometrical structures that model these examples are no longer symplectic but symplectic with singularities which are mainly of two types: $b^m$-symplectic and $m$-folded symplectic structures. These examples comprise the three body problem as non-integrable exponent and some integrable reincarnations such as the two fixed-center problem. Given that the geometrical and dynamical properties of $b^m$-symplectic manifolds and folded symplectic manifolds are well-understood [GMP, GMP2, GMPS, KMS, Ma, CGP, GL,GLPR, MO, S, GMW], we envisage that this new point of view in this collection of examples can shed some light on classical long-standing problems concerning the study of dynamical properties of these systems seen from the Poisson viewpoint.
The splitting of invariant manifolds of whiskered (hyperbolic) tori with two frequencies in a nearly-integrable Hamiltonian system, whose hyperbolic part is given by a pendulum, is studied. We consider a torus with a fast frequency vector $ω/\sqrt\varepsilon$, with $ω=(1,Ω)$ where the frequency ratio $Ω$ is a quadratic irrational number. Applying the Poincaré-Melnikov method, we carry out a careful study of the dominant harmonics of the Melnikov potential. This allows us to provide an asymptotic estimate for the maximal splitting distance, and show the existence of transverse homoclinic orbits to the whiskered tori with an asymptotic estimate for the transversality of the splitting. Both estimates are exponentially small in $\varepsilon$, with the functions in the exponents being periodic with respect to $\ln\varepsilon$, and can be explicitly constructed from the continued fraction of $Ω$. In this way, we emphasize the strong dependence of our results on the arithmetic properties of $Ω$. In particular, for quadratic ratios $Ω$ with a 1-periodic or 2-periodic continued fraction (called metallic and metallic-colored ratios respectively), we provide accurate upper and lower bounds for the splitting. The estimate for the maximal splitting distance is valid for all sufficiently small values of $\varepsilon$, and the transversality can be established for a majority of values of $\varepsilon$, excluding small intervals around some transition values where changes in the dominance of the harmonics take place, and bifurcations could occur.
We study bifurcations of area-preserving maps, both orientable (symplectic) and non-orientable, with quadratic homoclinic tangencies. We consider one and two parameter general unfoldings and establish results related to the appearance of elliptic periodic orbits. In particular, we find conditions for such maps to have infinitely many generic (KAM-stable) elliptic periodic orbits of all successive periods starting at some number.
We study bifurcations of non-orientable area-preserving maps with quadratic homoclinic tangencies. We study the case when the maps are given on non-orientable two-dimensional surfaces. We consider one and two parameter general unfoldings and establish results related to the emergence of elliptic periodic orbits.