Showing 1–50 of 65 results for author: de la Llave, R

Simultaneous computation of whiskered tori and their whiskers in Hamiltonian systems using flow maps

Authors: Álvaro Fernández-Mora, Àlex Haro, Rafael de la Llave, Josep-Maria Mondelo

Abstract: We consider autonomous Hamiltonian systems and present an algorithm to compute at the same time partially hyperbolic invariant tori (whiskered tori), as well as high-order expansions of their stable and unstable manifolds. Such whiskered tori have been shown to be important for transport phenomena in phase space. For instance, by following their invariant manifolds one could obtain zero-cost traje… ▽ More We consider autonomous Hamiltonian systems and present an algorithm to compute at the same time partially hyperbolic invariant tori (whiskered tori), as well as high-order expansions of their stable and unstable manifolds. Such whiskered tori have been shown to be important for transport phenomena in phase space. For instance, by following their invariant manifolds one could obtain zero-cost trajectories in space mission design. We present in detail the case when the (un)stable directions are one-dimensional. The strategy to compute tori and their invariant manifolds is based on the parameterization method. We formulate a functional equation for a parameterization of both the torus and its whiskers expressing that they are invariant. This equation is naturally discretized in Fourier-Taylor series or, equivalently, in a grid of Taylor series. Using a return map, we are reduced to study functions of n - 1 variables where n is the number of degrees of freedom (the phase space is 2n dimensional). Then, we implement a Newton-like method that converges quadratically. They key advantage of our approach is that, using geometric identities coming from the Hamiltonian nature of the problem, the algorithm has small storage requirements and a low operation count per step which is highly efficient. The simultaneous computation of the torus and the whiskers improves the efficiency and the stability of the algorithm. We present implementations and extensive numerical experiments in the Circular Restricted Three Body Problem. △ Less

Submitted 8 July, 2025; originally announced July 2025.

Persistence of hyperbolic solutions of ODE's under functional perturbations: Applications to the motion of relativistic charged particles

Authors: Joan Gimeno, Rafael de la Llave, Jiaqi Yang

Abstract: We rigorously construct a variety of orbits for certain delay differential equations, including the electrodynamic equations formulated by Wheeler and Feynman in 1949. These equations involve delays and advances that depend on the trajectory itself, making it unclear how to formulate them as evolution equations in a conventional phase space. Despite their fundamental significance in physics, their… ▽ More We rigorously construct a variety of orbits for certain delay differential equations, including the electrodynamic equations formulated by Wheeler and Feynman in 1949. These equations involve delays and advances that depend on the trajectory itself, making it unclear how to formulate them as evolution equations in a conventional phase space. Despite their fundamental significance in physics, their mathematical treatment remains limited. Our method applies broadly to various functional differential equations that have appeared in the literature, including advanced/delayed equations, neutral or state-dependent delay equations, and nested delay equations, under appropriate regularity assumptions. Rather than addressing the notoriously difficult problem of proving the existence of solutions for all the initial conditions in a set, we focus on the direct construction of a diverse collection of solutions. This approach is often sufficient to describe physical phenomena. For instance, in certain models, we establish the existence of families of solutions exhibiting symbolic dynamics. Our method is based on the assumption that the system is, in a weak sense, close to an ordinary differential equation (ODE) with "hyperbolic" solutions as defined in dynamical systems. We then derive functional equations to obtain space-time corrections. As a byproduct of the method, we obtain that the solutions constructed depend very smoothly on parameters of the model. Also, we show that many formal approximations currently used in physics are valid with explicit error terms. Several of the relations between different orbits of the ODE persist qualitatively in the full problem. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: 44 pages

MSC Class: 34K05; 34K19; 34K13; 34D15; 34K26

KAM Theory for almost-periodic equilibria in one dimensional almost-periodic media

Authors: Yujia An, Rafael de la Llave, Xifeng Su, Donghua Wang, Dongyu Yao

Abstract: We consider one dimensional chains of interacting particles subjected to one dimensional almost-periodic media. We formulate and prove two KAM type theorems corresponding to both short-range and long-range interactions respectively. Both theorems presented have an a posteriori format and establish the existence of almost-periodic equilibria. The new part here is that the potential function is give… ▽ More We consider one dimensional chains of interacting particles subjected to one dimensional almost-periodic media. We formulate and prove two KAM type theorems corresponding to both short-range and long-range interactions respectively. Both theorems presented have an a posteriori format and establish the existence of almost-periodic equilibria. The new part here is that the potential function is given by some almost-periodic function with infinitely many incommensurate frequencies. In both cases, we do not need to assume that the system is close to integrable. We will show that if there exists an approximate solution for the functional equations, which satisfies some appropriate non-degeneracy conditions, then a true solution nearby is obtained. This procedure may be used to validate efficient numerical computations. Moreover, to well understand the role of almost-periodic media which can be approximated by quasi-periodic ones, we present a different approach -- the step by step increase of complexity method -- to the study of the above results of the almost-periodic models. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Comments: 45 pages

MSC Class: 37K55; 37K58

4th Body-Induced Secondary Resonance Overlapping Inside Unstable Resonant Orbit Families: a Jupiter-Ganymede 4:3 + Europa Case Study

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: The overlapping of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show… ▽ More The overlapping of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show that despite their high order, secondary resonances between the 4:3 orbits and Europa have a large effect, including 11/34, 12/37, 23/71, and 25/77. Computing newly generated objects inside the secondary resonances definitively confirms their overlap, which causes a complete structural change of the higher-energy unstable 4:3 orbits whose manifolds are most useful for low-TOF orbit transfers. We believe this phenomenon is general, with major implications for resonant orbit use in tour design. △ Less

Submitted 16 September, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 20 pages, 12 figures

MSC Class: 70M20

Journal ref: Proceedings of the 2023 AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 23-397

A simple proof of Gevrey estimates for expansions of quasi-periodic orbits: dissipative models and lower dimensional tori

Authors: Adrián P. Bustamante, Rafael de la Llave

Abstract: We consider standard-like/Froeschlé maps with a dissipation and nonlinear perturbation. That is \[ T_\varepsilon(p,q) = \left( (1 - γ\varepsilon^3) p + μ+ \varepsilon V'(q), q + (1 - γ\varepsilon^3) p + μ+ \varepsilon V'(q) \mod 2 π\right) \] where $p \in \mathbb{R}^D$, $q \in 2 π\mathbb{T}^D$ are the dynamical variables. The $μ\in \mathbb{R}^D, γ\in \mathbb{R}$ are parameters of the model. We… ▽ More We consider standard-like/Froeschlé maps with a dissipation and nonlinear perturbation. That is \[ T_\varepsilon(p,q) = \left( (1 - γ\varepsilon^3) p + μ+ \varepsilon V'(q), q + (1 - γ\varepsilon^3) p + μ+ \varepsilon V'(q) \mod 2 π\right) \] where $p \in \mathbb{R}^D$, $q \in 2 π\mathbb{T}^D$ are the dynamical variables. The $μ\in \mathbb{R}^D, γ\in \mathbb{R}$ are parameters of the model. We assume that the potential $V$ is a trigonometric polynomial. Note that when $γ\ne 0$, the perturbation parameter $\varepsilon$ creates dissipation, which has a drastic effect on the existence of quasi-periodic orbits, hence it is a singular perturbation. We fix a frequency $ω\in \mathbb{R}^D$ and study the existence of quasiperiodic orbits. When there is dissipation, having a quasiperiodic orbit of frequency $ω$ requires adjusting the parameter $μ$, called \textit{the drift}. We first study the Lindstedt series (formal power series in $\varepsilon$) for quasiperidic orbits with $D$ independent frequencies and the drift when $γ\ne 0$. We show that, when $ω$ is irrational, the series exist to all orders, and when $ω$ is Diophantine, we show that the formal Lindstedt series are Gevrey. We also study the case when $D = 2$, but the quasi-periodic orbits have only one independent frequency (Lower dimensional tori). Both when $γ= 0$ and when $γ\ne 0$, we show that, under some mild non-degeneracy conditions on $V$, there are (at least two) formal Lindstedt series defined to all orders and that they are Gevrey. Furthermore, we can take $μ$ along a $1$ dimensional space. △ Less

Submitted 30 March, 2023; originally announced March 2023.

MSC Class: 35C20; 34K26; 37J40; 70K43; 70K70

Accurate computations up to break-down of quasi-periodic attractors in the dissipative spin-orbit problem

Authors: Renato Calleja, Alessandra Celletti, Joan Gimeno, Rafael de la Llave

Abstract: We consider a Celestial Mechanics model: the spin-orbit problem with a dissipative tidal torque, which is a singular perturbation of a conservative system. The goal of this paper is to show that it is possible to compute quasi-periodic attractors accurately and reliably for parameter values extremely close to the breakdown. Therefore, it is possible to obtain information on mathematical phenomena… ▽ More We consider a Celestial Mechanics model: the spin-orbit problem with a dissipative tidal torque, which is a singular perturbation of a conservative system. The goal of this paper is to show that it is possible to compute quasi-periodic attractors accurately and reliably for parameter values extremely close to the breakdown. Therefore, it is possible to obtain information on mathematical phenomena at breakdown. The method we use incorporates the same time numerical and rigorous improvements. Among them (i) the formalism is based on studying the time-one map of the spin-orbit problem (which reduces the dimensionality of the problem) and has mathematical advantages; (ii) very accurate integration of the ODE (high order Taylor methods implemented with extended precision) for the map at its jets; (iii) a very efficient KAM method for maps which computes the attractor and its tangent spaces ( quadratically convergent step with low storage requirements, and low operation count); (iv) the algorithms are backed by a rigorous a-posteriori KAM Theorem, which establishes that if the algorithm, produces a very approximate solution of functional equation with reasonable condition numbers. then there is a true solution nearby; and (v) the continuation algorithm is guaranteed to reach arbitrarily close to the border of existence if it is given enough computer resources. As a byproduct of the accuracy that we maintain till breakdown, we study several scale invariant observables of the tori used in the renormalization group of infinite dimensional spaces. In contrast with previously studied simple models, the behavior at breakdown of the spin-orbit problem does not satisfy standard scaling relations which implies that the spin-orbit problem is not described by a hyperbolic fixed point of a renormalization operator. △ Less

Submitted 4 August, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: 37 pages, 13 figures

MSC Class: 70K43; 37J40; 37N05; 70F15; 82B28

Nonconmutative coboundary equations over integrable systems

Authors: Rafael de la Llave, Maria Saprykina

Abstract: \def\G{\mathcal G} \def\M{\mathcal M} \def\cE{\mathcal E} We prove an analog of Livšic theorem for real-analytic families of cocycles over an integrable system with values in a Banach algebra $\G$ or a Lie group. Namely, we consider an integrable dynamical system $f:\M \equiv\torus^d \times [-1,1]^d\to \M$, $f(θ, I)=(θ+ I, I)$, and a real-analytic family of cocycles $η_\eps : \M \to \G$, index… ▽ More \def\G{\mathcal G} \def\M{\mathcal M} \def\cE{\mathcal E} We prove an analog of Livšic theorem for real-analytic families of cocycles over an integrable system with values in a Banach algebra $\G$ or a Lie group. Namely, we consider an integrable dynamical system $f:\M \equiv\torus^d \times [-1,1]^d\to \M$, $f(θ, I)=(θ+ I, I)$, and a real-analytic family of cocycles $η_\eps : \M \to \G$, indexed by a complex parameter $\eps$ in an open ball $\cE_ρ\in\CC$. We show that if $η_\eps$ has trivial periodic data, i.e., $$ η_\eps(f^{n-1}(p))\dots η_{\eps} (f(p))\cdot η_{\eps} (p)=Id $$ for each periodic point $p=f^n p$ and each $\eps \in \cE_ρ$, then there exists a real-analytic family of maps $φ_\eps: \M \to \G$ satisfying the coboundary equation $$ η_\eps(θ, I)=φ_\eps^{-1}\circ f(θ, I)\cdot φ_\eps (θ, I) $$ for all $(θ, I)\in \M$ and $\eps \in \cE_{ρ/2}$. We also show that if the coboundary equation above with an analytic left-hand side $η_\eps$ has a solution in the sense of formal power series in $\eps$, then it has an analytic solution. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 24 paged

MSC Class: 37A20; 70H08

Resonances and Phase Locking Phenomena for Foliation Preserving Torus Maps

Authors: Xiaolong He, Rafael de la Llave

Abstract: It is well known for experts that resonances in nonlinear systems lead to new invariant objects that lead to new behaviors. The goal of this paper is to study the invariant sets generated by resonances under foliation preserving torus maps. That is torus which preserve a foliation of irrational lines $L_{θ_{0}}=\{θ_{0}+Ωt | t\in\mathbb{R}\}\subset\mathbb{T}^{d}$. Foliation preserving maps appe… ▽ More It is well known for experts that resonances in nonlinear systems lead to new invariant objects that lead to new behaviors. The goal of this paper is to study the invariant sets generated by resonances under foliation preserving torus maps. That is torus which preserve a foliation of irrational lines $L_{θ_{0}}=\{θ_{0}+Ωt | t\in\mathbb{R}\}\subset\mathbb{T}^{d}$. Foliation preserving maps appear naturally as reparametrization of linear flows in the torus and also play an important role in several applications involving coupled oscillators, delay equations, resonators with moving walls, etc. The invariant objects we find here, lead to predictions on the behavior of these models. Since the results of this paper are meant to be applied for other problems, we have developed very quantitative results giving very explicit descriptions of the phenomena and the invariant objects that control them. The structure of the phase locking regions for foliation preserving maps is very different than for generic maps of the torus. Indeed, for the sake of completeness, we have developed similar analysis for the case of generic maps of the torus and shown that the objects that appear in foliation preserving maps are quantitatively and qualitatively different from those of generic torus maps. This has consequences in applications. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Computing the Invariant Circle and the Foliation by Stable Manifolds for a 2-D Map by the Parameterization Method: Numerical Implementation and Results

Authors: Yian Yao, Rafael De La Llave

Abstract: We present and implement an algorithm for computing the invariant circle and the corresponding stable manifolds for 2-dimensional maps. The algorithm is based on the parameterization method, and it is backed up by an a-posteriori theorem established in [YdlL21]. The algorithm works irrespective of whether the internal dynamics in the invariant circle is a rotation or it is phase-locked. The algori… ▽ More We present and implement an algorithm for computing the invariant circle and the corresponding stable manifolds for 2-dimensional maps. The algorithm is based on the parameterization method, and it is backed up by an a-posteriori theorem established in [YdlL21]. The algorithm works irrespective of whether the internal dynamics in the invariant circle is a rotation or it is phase-locked. The algorithm converges quadratically and the number of operations and memory requirements for each step of the iteration is linear with respect to the size of the discretization. We also report on the result of running the implementation in some standard models to uncover new phenomena. In particular, we explored a bundle merging scenario in which the invariant circle loses hyperbolicity because the angle between the stable directions and the tangent becomes zero even if the rates of contraction are separated. We also discuss and implement a generalization of the algorithm to 3 dimensions, and implement it on the 3-dimensional Fattened Arnold Family (3D-FAF) map with non-resonant eigenvalues and present numerical results. △ Less

Submitted 29 October, 2021; originally announced October 2021.

MSC Class: 37M22; 37M21; 37C86; 65P40; 37D05; 65D07

Computing the Invariant Circle and its Stable Manifolds for a 2-D Map by the Parameterization Method: Effective Algorithms and Rigorous Proofs of Convergence

Authors: Yian Yao, Rafael De La Llave

Abstract: We present and analyze rigorously a quadratically convergent algorithm to compute an invariant circle for 2-dimensional maps along with the corresponding foliation by stable manifolds. We prove that when the algorithm starts from an initial guess that satisfies the invariance equation very approximately (depending on some condition numbers, evaluated on the approximate solution), then the algorith… ▽ More We present and analyze rigorously a quadratically convergent algorithm to compute an invariant circle for 2-dimensional maps along with the corresponding foliation by stable manifolds. We prove that when the algorithm starts from an initial guess that satisfies the invariance equation very approximately (depending on some condition numbers, evaluated on the approximate solution), then the algorithm converges to a true solution which is close to the initial guess. The convergence is faster than exponential in smooth norms. The distance from the exact solution and the approximation is bounded by the initial error. This allows validating the numerical approximations (a-posteriori results). It also implies the usual persistence formulations since the exact solutions of the invariance equation for a model are approximate solutions for a similar model. The algorithm we present works irrespective of whether the dynamics on the invariant circle is a rotation or it is phase-locked. The condition numbers required do not involve any global qualitative properties of the map. They are obtained by evaluating derivatives of the initial guess, derivatives of the map in a neighborhood of the guess, performing algebraic operations, and taking suprema. The proof of the convergence is based on a general Nash-Moser implicit function theorem specially tailored for this problem. The Nash-Moser procedure has unusual properties. As it turns out, the regularity requirements are not very severe (only 2 derivatives suffice). We hope that this implicit function theorem may be of independent interest and have presented it in a self-contained appendix. The algorithm in this paper is very practical since it converges quadratically, and it requires moderate storage and operation count. Details of the implementation and results of the runs are described in a companion paper [YdlL21]. △ Less

Submitted 29 October, 2021; originally announced October 2021.

MSC Class: 37M22; 37M21; 37D10; 47J07; 37C86; 46-08

Computation and Analysis of Jupiter-Europa and Jupiter-Ganymede Resonant Orbits in the Planar Concentric Circular Restricted 4-Body Problem

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave, Brian Gunter

Abstract: Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace r… ▽ More Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace resonance between Europa and Ganymede's orbits, we then attempt the continuation of a Jupiter-Europa 3:4 resonant orbit from the CCR4BP into the Jupiter-Ganymede PCRTBP. We strongly believe that the resulting dynamical object is a KAM torus lying near but not on the 3:2 Jupiter-Ganymede resonance. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 20 pages, 18 figures

Journal ref: Proceedings of the 2021 AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 21-651

Rapid GPU-Assisted Search and Parameterization-Based Refinement and Continuation of Connections between Tori in Periodically Perturbed Planar Circular Restricted 3-Body Problems

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sect… ▽ More When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sections used in PCRTBP studies no longer work to find these intersections. Thus, in this study, we develop new fast methods to search for and compute such heteroclinics. First, the dynamics are used to restrict the intersection search to only certain manifold subsets, greatly reducing the required computational effort. Next, we present a massively parallel procedure for carrying out this search by representing the manifolds as discrete meshes and adapting methods from computer graphics collision detection algorithms. Implementing the method in Julia and OpenCL, we obtain a 5-7x speedup by leveraging GPUs versus CPU-only execution. Finally, we show how to use manifold parameterizations to refine the approximate intersections found in the mesh search to very high accuracy, as well as to numerically continue the connections through families of tori; the families' Whitney differentiability enables interpolation of needed parameterizations. The ability to very rapidly find a heteroclinic intersection between tori of fixed frequencies thus allows the systematic exploration of intersections for tori of nearby frequencies as well, yielding a variety of potential zero-fuel spacecraft trajectories. We demonstrate the tools on the Jupiter-Europa planar elliptic RTBP. △ Less

Submitted 17 October, 2023; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 38 pages, 15 figures

MSC Class: 70M20; 37J46; 37M21

High-Order Resonant Orbit Manifold Expansions For Mission Design In the Planar Circular Restricted 3-Body Problem

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximation… ▽ More In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximations are not accurate except very close to the base invariant object, this requires large amounts of numerical integration to globalize the manifolds and locate intersections. In this paper, we study hyperbolic resonant periodic orbits in the planar circular restricted 3-body problem, and transfer trajectories between them, by: 1) determining where to search for resonant periodic orbits; 2) developing and implementing a parameterization method for accurate computation of their invariant manifolds as Taylor series; and 3) developing a procedure to compute intersections of the computed stable and unstable manifolds. We develop and implement algorithms that accomplish these three goals, and demonstrate their application to the problem of transferring between resonances in the Jupiter-Europa system. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 17 pages, 8 figures

MSC Class: 37C27; 37C29; 37M21; 70M20

Journal ref: Commun Nonlinear Sci Numer Simulat 97(2021): 105691

The existence of solutions for nonlinear elliptic equations: Simple proofs and extensions of a paper by Y. Shi

Authors: Xiaodan Xu, Rafael de la Llave, Fenfen Wang

Abstract: The paper [Shi19] uses the Craig-Wayne-Bourgain method to construct solutions of an elliptic problem involving parameters. The results of [Shi19] include regularity assumptions on the perturbation and involve excluding parameters. The paper [Shi19] also constructs response solutions to a quasi-periodically perturbed (ill-posed evolution) problem. In this paper, we use several classical methods (… ▽ More The paper [Shi19] uses the Craig-Wayne-Bourgain method to construct solutions of an elliptic problem involving parameters. The results of [Shi19] include regularity assumptions on the perturbation and involve excluding parameters. The paper [Shi19] also constructs response solutions to a quasi-periodically perturbed (ill-posed evolution) problem. In this paper, we use several classical methods (freezing of coefficients, alternative methods for nonlinear elliptic equations) to extend the results of [Shi19]. We weaken the regularity assumptions on the perturbation and we describe the phenomena that happens for all parameters. In the ill-posed problem, we use a recently developed time-dependent center manifold theorem which allows to reduce the problem to a finite-dimensional ODE with quasi-periodic dependence on time. The bounded and sufficiently small solutions of these ODE give solutions of the ill-posed PDE. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Comments: 34 pages

KAM quasi-periodic tori for the dissipative spin-orbit problem

Authors: Renato Calleja, Alessandra Celletti, Joan Gimeno, Rafael de la Llave

Abstract: We provide evidence of the existence of KAM quasi-periodic attractors for a dissipative model in Celestial Mechanics. We compute the attractors extremely close to the breakdown threshold. We consider the spin-orbit problem describing the motion of a triaxial satellite around a central planet under the simplifying assumption that the center of mass of the satellite moves on a Keplerian orbit, the… ▽ More We provide evidence of the existence of KAM quasi-periodic attractors for a dissipative model in Celestial Mechanics. We compute the attractors extremely close to the breakdown threshold. We consider the spin-orbit problem describing the motion of a triaxial satellite around a central planet under the simplifying assumption that the center of mass of the satellite moves on a Keplerian orbit, the spin-axis is perpendicular to the orbit plane and coincides with the shortest physical axis. We also assume that the satellite is non-rigid; as a consequence, the problem is affected by a dissipative tidal torque that can be modeled as a time-dependent friction, which depends linearly upon the velocity. Our goal is to fix a frequency and compute the embedding of a smooth attractor with this frequency. This task requires to adjust a drift parameter. The goal of this paper is to provide numerical calculations of the condition numbers and verify that, when they are applied to the numerical solutions, they will lead to the existence of the torus for values of the parameters extremely close to the parameters of breakdown. Computing reliably close to the breakdown allows to discover several interesting phenomena, which we will report in [CCGdlL20a]. The numerical calculations of the condition numbers presented here are not completely rigorous, since we do not use interval arithmetic to estimate the round off error and we do not estimate rigorously the truncation error, but we implement the usual standards in numerical analysis (using extended precision, checking that the results are not affected by the level of precision, truncation, etc.). Hence, we do not claim a computer-assisted proof, but the verification is more convincing that standard numerics. We hope that our work could stimulate a computer-assisted proof. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: 33 pages, 1 figure

Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction

Authors: Renato Calleja, Alessandra Celletti, Joan Gimeno, Rafael de la Llave

Abstract: We consider the dissipative spin-orbit problem in Celestial Mechanics, which describes the rotational motion of a triaxial satellite moving on a Keplerian orbit subject to tidal forcing and "drift". Our goal is to construct quasi-periodic solutions with fixed frequency, satisfying appropriate conditions. With the goal of applying rigorous KAM theory, we compute such quasi-periodic solution wit… ▽ More We consider the dissipative spin-orbit problem in Celestial Mechanics, which describes the rotational motion of a triaxial satellite moving on a Keplerian orbit subject to tidal forcing and "drift". Our goal is to construct quasi-periodic solutions with fixed frequency, satisfying appropriate conditions. With the goal of applying rigorous KAM theory, we compute such quasi-periodic solution with very high precision. To this end, we have developed a very efficient algorithm. The first step is to compute very accurately the return map to a surface of section (using a high order Taylor's method with extended precision). Then, we find an invariant curve for the return map using recent algorithms that take advantage of the geometric features of the problem. This method is based on a rapidly convergent Newton's method which is guaranteed to converge if the initial error is small enough. So, it is very suitable for a continuation algorithm. The resulting algorithm is quite efficient. We only need to deal with a one dimensional function. If this function is discretized in $N$ points, the algorithm requires $O(N \log N) $ operations and $O(N) $ storage. The most costly step (the numerical integration of the equation along a turn) is trivial to parallelize. The main goal of the paper is to present the algorithms, implementation details and several sample results of runs. We also present both a rigorous and a numerical comparison of the results of averaged and not averaged models. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Comments: 37 pages, 6 figures

Rapid and Accurate Methods for Computing Whiskered Tori and their Manifolds in Periodically Perturbed Planar Circular Restricted 3-Body Problems

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as we… ▽ More When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as well as rotation numbers; 3) compute Fourier-Taylor parameterizations of the stable and unstable manifolds; 4) regularize the equations of motion; and 5) globalize these manifolds. Our methodology improves on efficiency and accuracy compared to prior studies, and applies to a variety of periodic perturbations. We demonstrate the tools near resonances in the planar elliptic RTBP. △ Less

Submitted 4 October, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 39 pages, 7 figures

MSC Class: 70

Melnikov method for non-conservative perturbations of the three-body problem

Authors: Marian Gidea, Rafael de la Llave, Maxwell Musser

Abstract: 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 periodic orbits around either $L_1$ or $L_2$, forming Lyapunov manifolds. There also exist homoclinic orbits to the Lyapunov manifolds around either $L_1$ or… ▽ More 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 periodic orbits around either $L_1$ or $L_2$, forming Lyapunov manifolds. There also exist homoclinic orbits to the Lyapunov manifolds around either $L_1$ or $L_2$, as well as heteroclinic orbits between the Lyapunov manifold around $L_1$ and the one around $L_2$. The motion along the homoclinic/heteroclinic orbits can be described via the scattering map, which gives the future asymptotic of a homoclinic orbit as a function of the past asymptotic. In contrast with the more customary Melnikov theory, we do not need to assume that the asymptotic orbits have a special nature (periodic, quasi-periodic, etc.). We add a non-conservative, time-dependent perturbation, as a model for a thrust applied to the spacecraft for some duration of time, or for some other effect, such as solar radiation pressure. We compute the first order approximation of the perturbed scattering map, in terms of fast convergent integrals of the perturbation along homoclinic/heteroclinic orbits of the unperturbed system. As a possible application, this result can be used to determine the trajectory of the spacecraft upon using the thrust. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Convergence of the Birkhoff normal form sometimes implies convergence of a normalizing transformation

Authors: Rafael de la Llave, Maria Saprykina

Abstract: Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an analytic function of its non-degenerate quadratic part. We prove that in this case there is an analytic canonical transformation -- not just a formal power ser… ▽ More Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an analytic function of its non-degenerate quadratic part. We prove that in this case there is an analytic canonical transformation -- not just a formal power series -- bringing the Hamiltonian into its Birkhoff normal form. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Persistence and Smooth Dependence on Parameters of Periodic Orbits in Functional Differential Equations Close to an ODE or an Evolutionary PDE

Authors: Jiaqi Yang, Joan Gimeno, Rafael de la Llave

Abstract: We consider functional differential equations(FDEs) which are perturbations of smooth ordinary differential equations(ODEs). The FDE can involve multiple state-dependent delays or distributed delays (forward or backward). We show that, under some mild assumptions, if the ODE has a nondegenerate periodic orbit, then the FDE has a smooth periodic orbit. Moreover, we get smooth dependence of the peri… ▽ More We consider functional differential equations(FDEs) which are perturbations of smooth ordinary differential equations(ODEs). The FDE can involve multiple state-dependent delays or distributed delays (forward or backward). We show that, under some mild assumptions, if the ODE has a nondegenerate periodic orbit, then the FDE has a smooth periodic orbit. Moreover, we get smooth dependence of the periodic orbit and its frequency on parameters with high regularity. The result also applies to FDEs which are perturbations of some evolutionary partial differential equations(PDEs). The proof consists in solving functional equations satisfied by the parameterization of the periodic orbit and the frequency using a fixed point approach. We do not need to consider the smoothness of the evolution or even the phase space of the FDEs. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 52 pages

MSC Class: 34K19 34K13 34D15

Analytic genericity of diffusing orbits in a priori unstable Hamiltonian systems

Authors: Qinbo Chen, Rafael de la Llave

Abstract: The genericity of Arnold diffusion in the analytic category is an open problem. In this paper, we study this problem in the following a priori unstable Hamiltonian system with a time-periodic perturbation \[\mathcal{H}_\varepsilon(p,q,I,\varphi,t)=h(I)+\sum_{i=1}^n\pm \left(\frac{1}{2}p_i^2+V_i(q_i)\right)+\varepsilon H_1(p,q,I,\varphi, t), \] where $(p,q)\in \mathbb{R}^n\times\mathbb{T}^n$,… ▽ More The genericity of Arnold diffusion in the analytic category is an open problem. In this paper, we study this problem in the following a priori unstable Hamiltonian system with a time-periodic perturbation \[\mathcal{H}_\varepsilon(p,q,I,\varphi,t)=h(I)+\sum_{i=1}^n\pm \left(\frac{1}{2}p_i^2+V_i(q_i)\right)+\varepsilon H_1(p,q,I,\varphi, t), \] where $(p,q)\in \mathbb{R}^n\times\mathbb{T}^n$, $(I,\varphi)\in\mathbb{R}^d\times\mathbb{T}^d$ with $n, d\geq 1$, $V_i$ are Morse potentials, and $\varepsilon$ is a small non-zero parameter. The unperturbed Hamiltonian is not necessarily convex, and the induced inner dynamics does not need to satisfy a twist condition. Using geometric methods we prove that Arnold diffusion occurs for generic analytic perturbations $H_1$. Indeed, the set of admissible $H_1$ is $C^ω$ dense and $C^3$ open (a fortiori, $C^ω$ open). Our perturbative technique for the genericity is valid in the $C^k$ topology for all $k\in [3,\infty)\cup\{\infty, ω\}$. △ Less

Submitted 31 December, 2021; v1 submitted 5 March, 2021; originally announced March 2021.

MSC Class: 37J40; 37J25; 70H08; 70H33

Journal ref: Nonlinearity, vol.35, no.4, 2022

Gevrey estimates for asymptotic expansions of tori in weakly dissipative systems

Authors: Adrian P. Bustamante, Rafael de la Llave

Abstract: We consider a singular perturbation for a family of analytic symplectic maps of the annulus possessing a KAM torus. The perturbation introduces dissipation and contains an adjustable parameter. By choosing the adjustable parameter, one can ensure that the torus persists under perturbation. Such models are common in celestial mechanics. In field theory, the adjustable parameter is called the counte… ▽ More We consider a singular perturbation for a family of analytic symplectic maps of the annulus possessing a KAM torus. The perturbation introduces dissipation and contains an adjustable parameter. By choosing the adjustable parameter, one can ensure that the torus persists under perturbation. Such models are common in celestial mechanics. In field theory, the adjustable parameter is called the counterterm and in celestial mechanics, the drift. It is known that there are formal expansions in powers of the perturbation both for the quasi-periodic solution and the counterterm. We prove that the asymptotic expansions for the quasiperiodic solutions and the counterterm satisfy Gevrey estimates. That is, the $n$-th term of the expansion is bounded by a power of $n!$. The Gevrey class (the power of $n!$) depends only on the Diophantine condition of the frequency and the order of the friction coefficient in powers of the perturbative parameter. The method of proof we introduce may be of interest beyond the problem considered here. We consider a modified Newton method in a space of power expansions. As it is custumary in KAM theory, each step of the method is estimated in a smaller domain. In contrast with the KAM results, the domains where we control the Newton method shrink very fast and the Newton method does not prove that the solutions are analytic. On the other hand, by examining carefully the process, we can obtain estimates on the coefficients of the expansions and conclude the series are Gevrey. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 40 pages

MSC Class: 35C20; 70K70; 70K43; 37J40; 34K26; 30E10

KAM theory for some dissipative systems

Authors: Renato Calleja, Alessandra Celletti, Rafael de la Llave

Abstract: Dissipative systems play a very important role in several physical models, most notably in Celestial Mechanics, where the dissipation drives the motion of natural and artificial satellites, leading them to migration of orbits, resonant states, etc. Hence the need to develop theories that ensure the existence of structures such as invariant tori or periodic orbits and device efficient computational… ▽ More Dissipative systems play a very important role in several physical models, most notably in Celestial Mechanics, where the dissipation drives the motion of natural and artificial satellites, leading them to migration of orbits, resonant states, etc. Hence the need to develop theories that ensure the existence of structures such as invariant tori or periodic orbits and device efficient computational methods. In this work we concentrate on the existence of invariant tori for the specific case of dissipative systems known as "conformally symplectic" systems, which have the property that they transform the symplectic form into a multiple of itself. To give explicit examples of conformally symplectic systems, we will present two different models: a discrete system, the standard map, and a continuous system, the spin-orbit problem. In both cases we will consider the conservative and dissipative versions, that will help to highlight the differences between the symplectic and conformally symplectic dynamics. For such dissipative systems we will present a KAM theorem in an a-posteriori format. The method of proof is based on extending geometric identities originally developed in [39] for the symplectic case. Besides leading to streamlined proofs of KAM theorem, this method provides a very efficient algorithm which has been implemented. Coupling an efficient numerical algorithm with an a-posteriori theorem, we have a very efficient way to provide rigorous estimates close to optimal. Indeed, the method gives a criterion (the Sobolev blow up criterion) that allows to compute numerically the breakdown. We will review this method as well as an extension of J. Greene's method and present the results in the conservative and dissipative standard maps. Computing close to the breakdown, allows to discover new mathematical phenomena such as the "bundle collapse mechanism". △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 40 pages, 10 figures

MSC Class: 70K43; 70K20; 34D35

Lyapunov exponents everywhere and rigidity

Authors: Fernando Micena, Rafael de la Llave

Abstract: In the present work we obtain rigidity results analysing the set of regular points, in the sense of Oseledec's Theorem. It is presented a study on the possibility of an Anosov diffeomorphisms having all Lyapunov exponents defined everywhere. We prove that this condition implies local rigidity of an Anosov automorphism of the torus $\mathbb{T}^d, d \geq 3,$ $C^1-$close to a linear automorphism diag… ▽ More In the present work we obtain rigidity results analysing the set of regular points, in the sense of Oseledec's Theorem. It is presented a study on the possibility of an Anosov diffeomorphisms having all Lyapunov exponents defined everywhere. We prove that this condition implies local rigidity of an Anosov automorphism of the torus $\mathbb{T}^d, d \geq 3,$ $C^1-$close to a linear automorphism diagonalizable over $\mathbb{R}$ and such that its characteristic polynomial is irreducible over $\mathbb{Q}.$ △ Less

Submitted 16 March, 2022; v1 submitted 30 May, 2020; originally announced June 2020.

Comments: Accepted form in Journal of Dynamical and Control Systems

Numerical computation of periodic orbits and isochrons for state-dependent delay perturbation of an ODE in the plane

Authors: Joan Gimeno, Jiaqi Yang, Rafael de la Llave

Abstract: We present algorithms and their implementation to compute limit cycles and their isochrons for state-dependent delay equations (SDDE's) which are perturbed from a planar differential equation with a limit cycle. Note that the space of solutions of an SDDE is infinite dimensional. We compute a two parameter family of solutions of the SDDE which converge to the solutions of the ODE as the perturba… ▽ More We present algorithms and their implementation to compute limit cycles and their isochrons for state-dependent delay equations (SDDE's) which are perturbed from a planar differential equation with a limit cycle. Note that the space of solutions of an SDDE is infinite dimensional. We compute a two parameter family of solutions of the SDDE which converge to the solutions of the ODE as the perturbation goes to zero in a neighborhood of the limit cycle. The method we use formulates functional equations among periodic functions (or functions converging exponentially to periodic). The functional equations express that the functions solve the SDDE. Therefore, rather than evolving initial data and finding solutions of a certain shape, we consider spaces of functions with the desired shape and require that they are solutions. The mathematical theory of these invariance equations is developed in a companion paper, which develops "a posteriori" theorems. They show that, if there is a sufficiently approximate solution (with respect to some explicit condition numbers), then there is a true solution close to the approximate one. Since the numerical methods produce an approximate solution, and provide estimates of the condition numbers, we can make sure that the numerical solutions we consider approximate true solutions. In this paper, we choose a systematic way to approximate functions by a finite set of numbers (Taylor-Fourier series) and develop a toolkit of algorithms that implement the operators -- notably composition -- that enter into the theory. We also present several implementation results and present the results of running the algorithms and their implementation in some representative cases. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Comments: 32 pages

MSC Class: 37M05; 65T50; 37M15

Parameterization method for state-dependent delay perturbation of an ordinary differential equation

Authors: Jiaqi Yang, Joan Gimeno, Rafael de la Llave

Abstract: We consider state-dependent delay equations (SDDE) obtained by adding delays to a planar ordinary differential equation with a limit cycle. These situations appear in models of several physical processes, where small delay effects are added. Even if the delays are small, they are very singular perturbations since the natural phase space of an SDDE is an infinite dimensional space. We show that t… ▽ More We consider state-dependent delay equations (SDDE) obtained by adding delays to a planar ordinary differential equation with a limit cycle. These situations appear in models of several physical processes, where small delay effects are added. Even if the delays are small, they are very singular perturbations since the natural phase space of an SDDE is an infinite dimensional space. We show that the SDDE admits solutions which resemble the solutions of the ODE. That is, there exist a periodic solution and a two parameter family of solutions whose evolution converges to the periodic solution. Even if the phase space of the SDDE is naturally a space of functions, we show that there are initial values which lead to solutions similar to that of the ODE. The method of proof bypasses the theory of existence, uniqueness, dependence on parameters of SDDE. We consider the class of functions of time that have a well defined behavior (e.g. periodic, or asymptotic to periodic) and derive a functional equation which imposes that they are solutions of the SDDE. These functional equations are studied using methods of functional analysis. We provide a result in "a posteriori" format: Given an approximate solution of the functional equation, which has some good condition numbers, we prove that there is true solution close to the approximate one. Thus, we can use the result to validate the results of numerical computations. The method of proof leads also to practical algorithms. In a companion paper, we present the implementation details and representative results. One feature of the method presented here is that it allows to obtain smooth dependence on parameters for the periodic solutions and their slow stable manifolds without studying the smoothness of the flow (which seems to be problematic for SDDEs, for now the optimal result on smoothness of the flow is $C^1$). △ Less

Submitted 12 May, 2020; originally announced May 2020.

Comments: 43 pages

MSC Class: 34K19 39A23 39A60 39A30 37G15

KAM estimates for the dissipative standard map

Authors: Renato Calleja, Alessandra Celletti, Rafael de la Llave

Abstract: From the beginning of KAM theory, it was realized that its applicability to realistic problems depended on developing quantitative estimates on the sizes of the perturbations allowed. In this paper we present results on the existence of quasi-periodic solutions for conformally symplectic systems in non-perturbative regimes. We recall that, for conformally symplectic systems, finding the solution r… ▽ More From the beginning of KAM theory, it was realized that its applicability to realistic problems depended on developing quantitative estimates on the sizes of the perturbations allowed. In this paper we present results on the existence of quasi-periodic solutions for conformally symplectic systems in non-perturbative regimes. We recall that, for conformally symplectic systems, finding the solution requires also to find a "drift parameter". We present a proof on the existence of solutions for values of the parameters which agree with more than three figures with the numerically conjectured optimal values. The verification of the estimates presented here is not completely rigorous since we do not control the round-off error. Nevertheless, running with different precision shows very little difference in the results. Given the high precision of the calculation and the simplicity of the estimates, this does not seem to affect the results. A full verification should be done implementing interval arithmetic. We make available the approximate solutions, the highly efficient algorithms to generate them (incorporating high precision based on the MPFR library) and the routines used to verify the applicability of the theorem. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Comments: 57 pages

MSC Class: 70K43; 37J40; 34D35

Response solutions to the quasi-periodically forced systems with degenerate equilibrium: A simple proof of a result of W. Si and J. Si. and extensions

Authors: Hongyu Cheng, Rafael de la Llave, Fenfen Wang

Abstract: We give a simple proof of the existence of response solutions in some quasi-periodically forced systems with a degenerate fixed points. The same questions were answered in \cite{ss18} using two versions of KAM theory. Our method is based on reformulating the existence of response solutions as a fixed point problem in appropriate spaces of smooth functions. By algebraic manipulations, the fixed p… ▽ More We give a simple proof of the existence of response solutions in some quasi-periodically forced systems with a degenerate fixed points. The same questions were answered in \cite{ss18} using two versions of KAM theory. Our method is based on reformulating the existence of response solutions as a fixed point problem in appropriate spaces of smooth functions. By algebraic manipulations, the fixed point problem is transformed into a contraction. Compared to the KAM method, the present method does not incur a loss of regularity. That is, the solutions we obtain have the same regularity as the forcing. Moreover, the method here applies when problems are only finitely differentiable. It also weakens slightly the non-degeneracy conditions. Since the method is based on the contraction mapping principle, we also obtain automatically smooth dependence on parameters and, when studying complex versions of the problem we discover the new phenomenon of monodromy. We also present results for higher dimensional systems, but for higher dimensional systems, the concept of degenerate fixed points is much more subtle than in one dimensional systems. To illustrate the power of the method, we also consider two problems not studied in \cite{ss18}: the forcing with zero average and second order oscillators. We show that in the zero average forcing case, the solutions are qualitatively different, but the second order oscillators is remarkably similar. △ Less

Submitted 21 September, 2019; originally announced September 2019.

Global effect of non-conservative perturbations on homoclinic orbits

Authors: Marian Gidea, Rafael de la Llave, Maxwell Musser

Abstract: We study the effect of time-dependent, non-conservative perturbations on the dynamics along homoclinic orbits to a normally hyperbolic invariant manifold. We assume that the unperturbed system is Hamiltonian, and the normally hyperbolic invariant manifold is parametrized via action-angle coordinates. The homoclinic excursions can be described via the scattering map, which gives the future asymptot… ▽ More We study the effect of time-dependent, non-conservative perturbations on the dynamics along homoclinic orbits to a normally hyperbolic invariant manifold. We assume that the unperturbed system is Hamiltonian, and the normally hyperbolic invariant manifold is parametrized via action-angle coordinates. The homoclinic excursions can be described via the scattering map, which gives the future asymptotic of an orbit as a function of the past asymptotic. We provide explicit formulas, in terms of convergent integrals, for the perturbed scattering map expressed in action-angle coordinates. We illustrate these formulas in the case of a perturbed rotator-pendulum system. △ Less

Submitted 4 September, 2019; originally announced September 2019.

MSC Class: 37J40; 37C29; 34C37; 70H08

Response solutions to quasi-periodically forced systems, even to possibly ill-posed PDEs, with strong dissipation and any frequency vectors

Authors: Fenfen Wang, Rafael de la Llave

Abstract: We consider several models (including both multidimensional ordinary differential equations (ODEs) and partial differential equations (PDEs), possibly ill-posed), subject to very strong damping and quasi-periodic external forcing. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under some regularity assumptions on the nonlineari… ▽ More We consider several models (including both multidimensional ordinary differential equations (ODEs) and partial differential equations (PDEs), possibly ill-posed), subject to very strong damping and quasi-periodic external forcing. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under some regularity assumptions on the nonlinearity and forcing, without any arithmetic condition on the forcing frequency $ω$, we show that the response solutions indeed exist. Moreover, the solutions we obtained possess optimal regularity in $\varepsilon$ (where $\varepsilon$ is the inverse of the coefficients multiplying the damping) when we consider $\varepsilon$ in a domain that does not include the origin $\varepsilon=0$ but has the origin on its boundary. We get that the response solutions depend continuously on $\varepsilon$ when we consider $\varepsilon $ tends to $0$. However, in general, they may not be differentiable at $\varepsilon=0$. In this paper, we allow multidimensional systems and we do not require that the unperturbed equations under consideration are Hamiltonian. One advantage of the method in the present paper is that it gives results for analytic, finitely differentiable and low regularity forcing and nonlinearity, respectively. As a matter of fact, we do not even need that the forcing is continuous. Notably, we obtain results when the forcing is in $L^2$ space and the nonlinearity is just Lipschitz as well as in the case that the forcing is in $H^1$ space and the nonlinearity is $C^{1 + \text{Lip}}$. In the proof of our results, we reformulate the existence of response solutions as a fixed point problem in appropriate spaces of smooth functions. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: 41 pages including necessary appendix and references

Existence of whiskered KAM tori of conformally symplectic systems

Authors: Renato C. Calleja, Alessandra Celletti, Rafael de la Llave

Abstract: We study the existence of whiskered tori in a family $f_μ$ of conformally symplectic maps depending on parameters $μ$. Whiskered tori are tori on which the motion is a rotation, but they have as many expanding/contracting directions as allowed by the preservation of the geometric structure. Our main result is formulated in an "a-posteriori" format. We fix $ω$ satisfying Diophantine conditions. W… ▽ More We study the existence of whiskered tori in a family $f_μ$ of conformally symplectic maps depending on parameters $μ$. Whiskered tori are tori on which the motion is a rotation, but they have as many expanding/contracting directions as allowed by the preservation of the geometric structure. Our main result is formulated in an "a-posteriori" format. We fix $ω$ satisfying Diophantine conditions. We assume that we are given 1) a value of the parameter $μ_0$, 2) an embedding of the torus $K_0$ into the phase space, approximately invariant under $f_{μ_0}$ in the sense that $f_{μ_0} \circ K_0 - K_0 \circ T_ω$ is small, 3) a splitting of the tangent space at the range of $K_0$, into three bundles which are approximately invariant under $D f_{μ_0}$ and such that the derivative satisfies "rate conditions" on each of the components. Then, if some non-degeneracy conditions are satisfied, we show that there is another parameter $μ_\infty$, an embedding $K_\infty$ and splittings close to the original ones which are invariant under $f_{μ_\infty}$. We also bound $|μ_\infty - μ_0|$, $\|K_\infty - K_0 \|$ and the distance of the initial and final splittings in terms of the initial error. The proof of the main theorem consists in describing an iterative process that takes advantage of cancellations coming from the geometry. Then, we show that the process converges to a true solution when started from an approximate enough solution. The iterative process leads to an efficient algorithm that is quite practical to implement. As an application, we study the singular problem of effects of small dissipation on whiskered tori. We develop formal expansions in the perturbative parameter and use them as input for the a-posteriori theorem. This allows to obtain lower bounds for the domain of analyticity of the tori as function of the perturbative parameter. △ Less

Submitted 22 January, 2019; originally announced January 2019.

Comments: 78 pages

MSC Class: 70K43; 70K20; 34D35

Whiskered KAM Tori of Conformally Symplectic Systems

Authors: Renato C. Calleja, Alessandra Celletti, Rafael de la Llave

Abstract: We investigate the existence of whiskered tori in some dissipative systems, called \sl conformally symplectic \rm systems, having the property that they transform the symplectic form into a multiple of itself. We consider a family $f_μ$ of conformally symplectic maps which depend on a drift parameter $μ$. We fix a Diophantine frequency of the torus and we assume to have a drift $μ_0$ and an embe… ▽ More We investigate the existence of whiskered tori in some dissipative systems, called \sl conformally symplectic \rm systems, having the property that they transform the symplectic form into a multiple of itself. We consider a family $f_μ$ of conformally symplectic maps which depend on a drift parameter $μ$. We fix a Diophantine frequency of the torus and we assume to have a drift $μ_0$ and an embedding of the torus $K_0$, which satisfy approximately the invariance equation $f_{μ_0} \circ K_0 - K_0 \circ T_ω$ (where $T_ω$ denotes the shift by $ω$). We also assume to have a splitting of the tangent space at the range of $K_0$ into three bundles. We assume that the bundles are approximately invariant under $D f_{μ_0}$ and that the derivative satisfies some "rate conditions". Under suitable non-degeneracy conditions, we prove that there exists $μ_\infty$, $K_\infty$ and splittings, close to the original ones, invariant under $f_{μ_\infty}$. The proof provides an efficient algorithm to construct whiskered tori. Full details of the statements and proofs are given in [CCdlL18]. △ Less

Submitted 24 January, 2019; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 15 pages, 1 figure

On a remarkable example of F. Almgren and H. Federer in the global theory of minimizing geodesics

Authors: Xifeng Su, Rafael de la Llave

Abstract: We present an exposition of a remarkable example attributed to Frederick Almgren Jr. in \cite[Section 5.11]{Federer74} to illustrate the need of certain definitions in the calculus of variations. The Almgren-Federer example, besides its intended goal of illustrating subtle aspects of geometric measure theory, is also a problem in the theory of geodesics. Hence, we wrote an exposition of the beau… ▽ More We present an exposition of a remarkable example attributed to Frederick Almgren Jr. in \cite[Section 5.11]{Federer74} to illustrate the need of certain definitions in the calculus of variations. The Almgren-Federer example, besides its intended goal of illustrating subtle aspects of geometric measure theory, is also a problem in the theory of geodesics. Hence, we wrote an exposition of the beautiful ideas of Almgren and Federer from the point of view of geodesics. In the language of geodesics, Almgren-Federer example constructs metrics in $\mathbb{S}^1\times \mathbb{S}^2$, with the property that none of the Tonelli geodesics (geodesics which minimize the length in a homotopy class) are Class-A minimizers in the sense of Morse (any finite length segment in the universal cover minimizes the length between the end points; this is also sometimes given other names). In other words, even if a curve is a minimizer of length among all the curves homotopic to it, by repeating it enough times, we get a closed curve which does not minimize in its homotopy class. In that respect, the example is more dramatic than a better known example due to Hedlund of a metric in $\mathbb{T}^3$ for which only 3 Tonelli minimizers (and their multiples) are Class-A minimizers. For dynamics, the example also illustrates different definitions of `integrable' and clarifies the relation between minimization and hyperbolicity and its interaction with topology. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Comments: 28 pages, 1 figure

MSC Class: 37J50; 49Q15; 34C25; 53C22; 37J35

Global persistence of Lyapunov-subcenter-manifolds as spectral submanifolds under dissipative perturbations

Authors: Rafael de la Llave, Florian Kogelbauer

Abstract: For a nondegenerate analytic system with a conserved quantity, a classic result by Lyapunov guarantees the existence of an analytic manifold of periodic orbits tangent to any two-dimensional, elliptic eigenspace of a fixed point satisfying nonresonance conditions. These two dimensional manifolds are referred as Lyapunov Subcenter Manifolds (LSM). Numerical and experimental observations in the no… ▽ More For a nondegenerate analytic system with a conserved quantity, a classic result by Lyapunov guarantees the existence of an analytic manifold of periodic orbits tangent to any two-dimensional, elliptic eigenspace of a fixed point satisfying nonresonance conditions. These two dimensional manifolds are referred as Lyapunov Subcenter Manifolds (LSM). Numerical and experimental observations in the nonlinear vibrations literature suggest that LSM's often persist under autonomous, dissipative perturbations. These perturbed manifolds are useful since they provide information of the asymptotics of the convergence to equilibrium. In this paper, we formulate and prove precise mathematical results on the persistence of LSM under dissipation. We show that, under mild non-degeneracy conditions on the perturbation, for small enough dissipation, there are analytic invariant manifolds of the perturbed system that approximate (in the analytic sense) the LSM in a fixed neighborhood. We also provide examples that show that some non-degeneracy conditions on the perturbations are needed for the results to hold true. We also study the dependence of the manifolds on the dissipation parameter. If $\varepsilon$ is the dissipation parameter, we show that the manifolds are real analytic in $(-\varepsilon_0, \varepsilon_0) \setminus \{0\} $ and $C^\infty $ in $(-\varepsilon_0, \varepsilon_0)$. We construct explicit asymptotic expansions in powers of $\varepsilon$ (which presumably do not converge). Finally, we present applications of our results to several mechanical systems. △ Less

Submitted 14 July, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Global Melnikov Theory in Hamiltonian Systems with General Time-dependent Perturbations

Authors: Marian Gidea, Rafael de la Llave

Abstract: We consider a mechanical system consisting of $n$ penduli and a $d$-dimensional generalized rotator subject to a time-dependent perturbation. The perturbation is not assumed to be either Hamiltonian, or periodic or quasi-periodic. The strength of the perturbation is given by a parameter $ε\in\mathbb{R}$. For all $|ε|$ sufficiently small, the augmented flow has a $(2d + 1)$-dimensional normally hyp… ▽ More We consider a mechanical system consisting of $n$ penduli and a $d$-dimensional generalized rotator subject to a time-dependent perturbation. The perturbation is not assumed to be either Hamiltonian, or periodic or quasi-periodic. The strength of the perturbation is given by a parameter $ε\in\mathbb{R}$. For all $|ε|$ sufficiently small, the augmented flow has a $(2d + 1)$-dimensional normally hyperbolic locally invariant manifold $\tildeΛ_ε$. We define a Melnikov vector, which gives the first order expansion of the displacement of the stable and unstable manifolds of $\tildeΛ_0$ under the perturbation. We provide an explicit formula for the Melnikov vector in terms of convergent improper integrals of the perturbation along homoclinic orbits of the unperturbed system. We show that if the perturbation satisfies some explicit non-degeneracy conditions, then the stable and unstable manifolds of $\tildeΛ_ε$, $W^s(\tildeΛ_ε)$ and $W^u(\tildeΛ_ε)$, respectively, intersect along a transverse homoclinic manifold, and, moreover, the splitting of $W^s(\tildeΛ_ε)$ and $W^u(\tildeΛ_ε)$ can be explicitly computed, up to the first order, in terms of the Melnikov vector. This implies that the excursions along some homoclinic trajectories yield a non-trivial increase of order $O(ε)$ in the action variables of the rotator, for all sufficiently small perturbations. The formulas that we obtain are independent of the unperturbed motions and give, at the same time, the effects on periodic, quasi-periodic, or general orbits. When the perturbation is Hamiltonian, we express the effects of the perturbation, up to the first order, in terms of a Melnikov potential. In addition, if the perturbation is periodic, we obtain that the non-degeneracy conditions on the Melnikov potential are generic. △ Less

Submitted 4 October, 2017; originally announced October 2017.

On the Global Dynamics of an Electroencephalographic Mean Field Model of the Neocortex

Authors: Farshad Shirani, Wassim M. Haddad, Rafael de la Llave

Abstract: This paper investigates the global dynamics of a mean field model of the electroencephalogram developed by Liley et al., 2002. The model is presented as a system of coupled ordinary and partial differential equations with periodic boundary conditions. Existence, uniqueness, and regularity of weak and strong solutions of the model are established in appropriate function spaces, and the associat… ▽ More This paper investigates the global dynamics of a mean field model of the electroencephalogram developed by Liley et al., 2002. The model is presented as a system of coupled ordinary and partial differential equations with periodic boundary conditions. Existence, uniqueness, and regularity of weak and strong solutions of the model are established in appropriate function spaces, and the associated initial-boundary value problems are proved to be well-posed. Sufficient conditions are developed for the phase spaces of the model to ensure nonnegativity of certain quantities in the model, as required by their biophysical interpretation. It is shown that the semigroups of weak and strong solution operators possess bounded absorbing sets for the entire range of biophysical values of the parameters of the model. Challenges towards establishing a global attractor for the model are discussed and it is shown that there exist parameter values for which the constructed semidynamical systems do not possess a compact global attractor due to the lack of the asymptotic compactness property. Finally, using the theoretical results of the paper, instructive insights are provided into the complexity of the behavior of the model and computational analysis of the model. △ Less

Submitted 4 May, 2017; v1 submitted 10 October, 2016; originally announced October 2016.

MSC Class: 35Q92; 37L30; 35B40; 92C20

Journal ref: SIAM J. Appl. Dyn. Syst., 16(4), 1969-2029

A Framework for the Numerical Computation and a Posteriori Verification of Invariant Objects of Evolution Equations

Authors: Jordi-Lluís Figueras, Marcio Gameiro, Jean Philippe Lessard, Rafael de la Llave

Abstract: We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators… ▽ More We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators are in general not continuous, so one needs to smooth them by means of preconditioners before classical fixed point theorems can be applied. We develop in detail all the aspects of how to work with these objects: how to precondition the equations, how to work with the nonlinear terms, which function spaces can be useful, and how to work with them in a computationally rigorous way. In two companion papers, we present two different implementations of the tools developed in this paper to study periodic orbits. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 17 pages

Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto-Sivashinsky Equation

Authors: Jordi-Lluís Figueras, Rafael de la Llave

Abstract: We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton's algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interval… ▽ More We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This leads to the use of Newton's algorithm for the numerical computation of the solutions and, with some a posteriori analysis in combination with rigorous interval arithmetic, to the rigorous verification of the existence of solutions. This is a particular case of the methodology developed in [19] for several types of orbits. An independent implementation, covering overlapping but different ground, using different functional setups appears in [33]. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 19 pages, 7 figures

An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations

Authors: Rafael de la Llave, Yannick Sire

Abstract: The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an \emph{a-posteriori} format, i.e., we show that if there is an approximate solution of an invariance equation which also satisfies some non-degeneracy conditions, then there is a true solution nearby.… ▽ More The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an \emph{a-posteriori} format, i.e., we show that if there is an approximate solution of an invariance equation which also satisfies some non-degeneracy conditions, then there is a true solution nearby. The a-posteriori format also has other automatic consequences (smooth dependence on parameters, bootstrap of regularity, etc.). The method of proof is based on an iterative method to solve a functional equation for the parameterization of the torus satisfying the invariance equations and for parametrization of directions invariant under the linearizatation. The iterative method does not use transformation theory or action-angle variables. It does not assume that the system is close to integrable. We first develop an abstract theorem. Then, we show how this abstract result applies to some concrete examples, including the scalar Boussinesq equation and the Boussinesq system so that we construct {\sl small amplitude} tori for the equations, which are even in the spatial variable. Note that the equations we use as examples are ill-posed. △ Less

Submitted 11 February, 2016; originally announced February 2016.

Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification

Authors: Maciej J. Capinski, Marian Gidea, Rafael de la Llave

Abstract: We present a diffusion mechanism for time-dependent perturbations of autonomous Hamiltonian systems introduced in [25]. This mechanism is based on shadowing of pseudo-orbits generated by two dynamics: an `outer dynamics', given by homoclinic trajectories to a normally hyperbolic invariant manifold, and an `inner dynamics', given by the restriction to that manifold. On the inner dynamics the only a… ▽ More We present a diffusion mechanism for time-dependent perturbations of autonomous Hamiltonian systems introduced in [25]. This mechanism is based on shadowing of pseudo-orbits generated by two dynamics: an `outer dynamics', given by homoclinic trajectories to a normally hyperbolic invariant manifold, and an `inner dynamics', given by the restriction to that manifold. On the inner dynamics the only assumption is that it preserves area. Unlike other approaches, [25] does not rely on the KAM theory and/or Aubry-Mather theory to establish the existence of diffusion. Moreover, it does not require to check twist conditions or non-degeneracy conditions near resonances. The conditions are explicit and can be checked by finite precision calculations in concrete systems. As an application, we study the planar elliptic restricted three-body problem. We present a rigorous theorem that shows that if some concrete calculations yield a non zero value, then for any sufficiently small, positive value of the eccentricity of the orbits of the main bodies, there are orbits of the infinitesimal body that exhibit a change of energy that is bigger than some fixed number, which is independent of the eccentricity. We verify numerically these calculations for values of the masses close to that of the Jupiter/Sun system. The numerical calculations are not completely rigorous, because we ignore issues of round-off error and do not estimate the truncations, but they are not delicate at all by the standard of numerical analysis. (Standard tests indicate that we get 7 or 8 figures of accuracy where 1 would be enough). The code of this verifications is available. We hope that some full computer assisted proofs will be obtained in a near future since there are packages (CAPD) designed for problems of this type. △ Less

Submitted 19 December, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: 34 pages, 11 figures

MSC Class: Primary: 37J25; 37J40; secondary: 70F07; 70F15; 70K44; 34C37

Journal ref: Nonlinearity 30 (2017) 329-360

A continuous family of equilibria in ferromagnetic media are ground states

Authors: Xifeng Su, Rafael de la Llave

Abstract: We show that a foliation of equilibria (a continuous family of equilibria whose graph covers all the configuration space) in ferromagnetic models are ground states. The result we prove is very general, and it applies to models with long range interactions and many body. As an application, we consider several models of networks of interacting particles including models of Frenkel-Kontorova type o… ▽ More We show that a foliation of equilibria (a continuous family of equilibria whose graph covers all the configuration space) in ferromagnetic models are ground states. The result we prove is very general, and it applies to models with long range interactions and many body. As an application, we consider several models of networks of interacting particles including models of Frenkel-Kontorova type on $\mathbb{Z}^d$ and one-dimensional quasi-periodic media. The result above is an analogue of several results in the calculus variations (fields of extremals) and in PDE's. Since the models we consider are discrete and long range, new proofs need to be given. We also note that the main hypothesis of our result (the existence of foliations of equilibria) is the conclusion (using KAM theory) of several recent papers. Hence, we obtain that the KAM solutions recently established are minimizers when the interaction is ferromagnetic (and transitive). △ Less

Submitted 11 June, 2015; originally announced June 2015.

Comments: 18 pages

MSC Class: 82B20; 37J50; 49J21; 82D30

Domains of analyticity of Lindstedt expansions of KAM tori in dissipative perturbations of Hamiltonian systems

Authors: Renato C. Calleja, Alessandra Celletti, Rafael de la Llave

Abstract: Many problems in Physics are described by dynamical systems that are conformally symplectic (e.g., mechanical systems with a friction proportional to the velocity, variational problems with a small discount or thermostated systems). Conformally symplectic systems are characterized by the property that they transform a symplectic form into a multiple of itself. The limit of small dissipation, which… ▽ More Many problems in Physics are described by dynamical systems that are conformally symplectic (e.g., mechanical systems with a friction proportional to the velocity, variational problems with a small discount or thermostated systems). Conformally symplectic systems are characterized by the property that they transform a symplectic form into a multiple of itself. The limit of small dissipation, which is the object of the present study, is particularly interesting. We provide all details for maps, but we present also the modifications needed to obtain a direct proof for the case of differential equations. We consider a family of conformally symplectic maps $f_{μ, ε}$ defined on a $2d$-dimensional symplectic manifold $\mathcal M$ with exact symplectic form $Ω$; we assume that $f_{μ,ε}$ satisfies $f_{μ,ε}^*Ω=λ(ε) Ω$. We assume that the family depends on a $d$-dimensional parameter $μ$ (called drift) and also on a small scalar parameter $ε$. Furthermore, we assume that the conformal factor $λ$ depends on $ε$, in such a way that for $ε=0$ we have $λ(0)=1$ (the symplectic case). We study the domains of analyticity in $ε$ near $ε=0$ of perturbative expansions (Lindstedt series) of the parameterization of the quasi--periodic orbits of frequency $ω$ (assumed to be Diophantine) and of the parameter $μ$. Notice that this is a singular perturbation, since any friction (no matter how small) reduces the set of quasi-periodic solutions in the system. We prove that the Lindstedt series are analytic in a domain in the complex $ε$ plane, which is obtained by taking from a ball centered at zero a sequence of smaller balls with center along smooth lines going through the origin. The radii of the excluded balls decrease faster than any power of the distance of the center to the origin. △ Less

Submitted 29 May, 2015; originally announced June 2015.

MSC Class: 70K43; 70K20; 37J40

Resonant equilibrium configurations in quasi-periodic media: KAM theory

Authors: Rafael de la Llave, Xifeng Su, Lei Zhang

Abstract: We develop an a-posteriori KAM theory for the equilibrium equations for quasi-periodic solutions in a quasi-periodic Frenkel-Kontorova model when the frequency of the solutions resonates with the frequencies of the substratum. The KAM theory we develop is very different both in the methods and in the conclusions from the more customary KAM theory for Hamiltonian systems or from the KAM theory in… ▽ More We develop an a-posteriori KAM theory for the equilibrium equations for quasi-periodic solutions in a quasi-periodic Frenkel-Kontorova model when the frequency of the solutions resonates with the frequencies of the substratum. The KAM theory we develop is very different both in the methods and in the conclusions from the more customary KAM theory for Hamiltonian systems or from the KAM theory in quasi-periodic media for solutions with frequencies which are Diophantine with respect to the frequencies of the media. The main difficulty is that we cannot use transformations (as in the Hamiltonian case) nor Ward identities (as in the case of frequencies Diophantine with those of the media). The technique we use is to add an extra equation that ensures the linearization of the equilibrium equation factorizes. To solve the extra equation requires an extra counterterm. We compare this phenomenon with other phenomena in KAM theory. It seems that this technique could be used in several other problems. As a conclusion, we obtain that the perturbation expansions developed in the previous paper \cite{SuZL15} converge when the potentials are in a codimension one manifold in a space of potentials. The method of proof also leads to efficient (low storage requirements and low operation count) algorithms to compute the quasi-periodic solutions. △ Less

Submitted 16 November, 2015; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 32 pages

Resonant Equilibrium configurations in quasi-periodic media: perturbative expansions

Authors: Rafael de la Llave, Xifeng Su, Lei Zhang

Abstract: We consider 1-D quasi-periodic Frenkel-Kontorova models. We study the existence of equilibria whose frequency (i.e. the inverse of the density of deposited material) is resonant with the frequencies of the substratum. We study perturbation theory for small potential. We show that there are perturbative expansions to all orders for the quasi-periodic equilibria with resonant frequencies. Under… ▽ More We consider 1-D quasi-periodic Frenkel-Kontorova models. We study the existence of equilibria whose frequency (i.e. the inverse of the density of deposited material) is resonant with the frequencies of the substratum. We study perturbation theory for small potential. We show that there are perturbative expansions to all orders for the quasi-periodic equilibria with resonant frequencies. Under very general conditions, we show that there are at least two such perturbative expansions for equilibria for small values of the parameter. We also develop a dynamical interpretation of the equilibria in these quasi-periodic media. We show that equilibria are orbits of a dynamical system which has very unusual properties. We obtain results on the Lyapunov exponents of the dynamical systems, i.e. the phonon gap of the resonant quasi-periodic equilibria. We show that the equilibria can be pinned even if the gap is zero. △ Less

Submitted 12 November, 2015; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 19 pages

Response solutions for quasi-periodically forced, dissipative wave equations

Authors: Renato C. Calleja, Alessandra Celletti, Livia Corsi, Rafael de la Llave

Abstract: We consider several models of nonlinear wave equations subject to very strong damping and quasi-periodic external forcing. This is a singular perturbation, since the damping is not the highest order term. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under very general non-resonance conditions on the frequency, we show the exi… ▽ More We consider several models of nonlinear wave equations subject to very strong damping and quasi-periodic external forcing. This is a singular perturbation, since the damping is not the highest order term. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under very general non-resonance conditions on the frequency, we show the existence of asymptotic expansions of the response solution; moreover, we prove that the response solution indeed exists and depends analytically on $\varepsilon$ (where $\varepsilon$ is the inverse of the coefficient multiplying the damping) for $\varepsilon$ in a complex domain, which in some cases includes disks tangent to the imaginary axis at the origin. In other models, we prove analyticity in cones of aperture $π/2$ and we conjecture it is optimal. These results have consequences for the asymptotic expansions of the response solutions considered in the literature. The proof of our results relies on reformulating the problem as a fixed point problem, constructing an approximate solution and studying the properties of iterations that converge to the solutions of the fixed point problem. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: 58 pages

MSC Class: 70K43; 70K20; 34D35

Construction of invariant whiskered tori by a parameterization method. Part II: Quasi-periodic and almost periodic breathers in coupled map lattices

Authors: Ernest Fontich, Rafael de la Llave, Yannick Sire

Abstract: We construct quasi-periodic and almost periodic solutions for coupled Hamiltonian systems on an infinite lattice which is translation invariant. The couplings can be long range, provided that they decay moderately fast with respect to the distance. For the solutions we construct, most of the sites are moving in a neighborhood of a hyperbolic fixed point, but there are oscillating sites clustered a… ▽ More We construct quasi-periodic and almost periodic solutions for coupled Hamiltonian systems on an infinite lattice which is translation invariant. The couplings can be long range, provided that they decay moderately fast with respect to the distance. For the solutions we construct, most of the sites are moving in a neighborhood of a hyperbolic fixed point, but there are oscillating sites clustered around a sequence of nodes. The amplitude of these oscillations does not need to tend to zero. In particular, the almost periodic solutions do not decay at infinity. We formulate an invariance equation. Solutions of this equation are embeddings of an invariant torus on which the motion is conjugate to a rotation. We show that, if there is an approximate solution of the invariance equation that satisfies some non-degeneracy conditions, there is a true solution close by. The proof of this \emph{a-posteriori} theorem is based on a Nash-Moser iteration, which does not use transformation theory. Simpler versions of the scheme were developed in E. Fontich, R. de la Llave,Y. Sire \emph{J. Differential. Equations.} {\bf 246}, 3136 (2009). One technical tool, important for our purposes, is the use of weighted spaces that capture the idea that the maps under consideration are local interactions. Using these weighted spaces, the estimates of iterative steps are similar to those in finite dimensional spaces. In particular, the estimates are independent of the number of nodes that get excited. Using these techniques, given two breathers, we can place them apart and obtain an approximate solution, which leads to a true solution nearby. By repeating the process infinitely often, we can get solutions with infinitely many frequencies which do not tend to zero at infinity. △ Less

Submitted 4 June, 2014; originally announced June 2014.

Comments: This is a revised version of the paper located at http://www.ma.utexas.edu/mp_arc-bin/mpa?yn=12-26

A General Mechanism of Diffusion in Hamiltonian Systems: Qualitative Results

Authors: Marian Gidea, Rafael de la Llave, Tere Seara

Abstract: We present a general mechanism to establish the existence of diffusing orbits in a large class of nearly integrable Hamiltonian systems. Our approach relies on successive applications of the `outer dynamics' along homoclinic orbits to a normally hyperbolic invariant manifold. The information on the outer dynamics is encoded by a geometrically defined map, referred to as the `scattering map'. We… ▽ More We present a general mechanism to establish the existence of diffusing orbits in a large class of nearly integrable Hamiltonian systems. Our approach relies on successive applications of the `outer dynamics' along homoclinic orbits to a normally hyperbolic invariant manifold. The information on the outer dynamics is encoded by a geometrically defined map, referred to as the `scattering map'. We find pseudo-orbits of the scattering map that keep advancing in some privileged direction. Then we use the recurrence property of the `inner dynamics', restricted to the normally hyperbolic invariant manifold, to return to those pseudo-orbits. Finally, we apply topological methods to show the existence of true orbits that follow the successive applications of the two dynamics. This method differs, in several crucial aspects, from earlier works. Unlike the well known `two-dynamics' approach, the method we present relies on the outer dynamics alone. There are virtually no assumptions on the inner dynamics, as its invariant objects (e.g., primary and secondary tori, lower dimensional hyperbolic tori and their stable/unstable manifolds, Aubry-Mather sets) are not used at all. The method applies to unperturbed Hamiltonians of arbitrary degrees of freedom that are not necessarily convex. In addition, this mechanism is easy to verify (analytically or numerically) in concrete examples, as well as to establish diffusion in generic systems. We include several applications, such as bridging large gaps in a priori unstable models in any dimension, and establishing diffusion in cases when the inner dynamics is a non-twist map. △ Less

Submitted 24 April, 2017; v1 submitted 5 May, 2014; originally announced May 2014.

MSC Class: 37J40; 37C50; 37C29; 37B30

Localized Stable Manifolds for Whiskered Tori in Coupled Map Lattices with Decaying Interaction

Authors: Daniel Blazevski, Rafael de la Llave

Abstract: In this paper we consider lattice systems coupled by local interactions. We prove invariant manifold theorems for whiskered tori (we recall that whiskered tori are quasi-periodic solutions with exponentially contracting and expanding directions in the linearized system). The invariant manifolds we construct generalize the usual (strong) (un) stable manifolds and allow us to consider also non-reson… ▽ More In this paper we consider lattice systems coupled by local interactions. We prove invariant manifold theorems for whiskered tori (we recall that whiskered tori are quasi-periodic solutions with exponentially contracting and expanding directions in the linearized system). The invariant manifolds we construct generalize the usual (strong) (un) stable manifolds and allow us to consider also non-resonant manifolds. We show that if the whiskered tori are localized near a collection of specific sites, then so are the invariant manifolds. We recall that the existence of localized whiskered tori has recently been proven for symplectic maps and flows in Fontich et. al. (submitted), but our results do not need that the systems are symplectic. For simplicity we will present first the main results for maps, but we will show tha the result for maps imply the results for flows. It is also true that the results for flows can be proved directly following the same ideas. △ Less

Submitted 9 July, 2013; originally announced July 2013.

Comments: This version corrects a bibliographical typo that appears in the version published in Annales Henri Poincare: Reference [FdlLS12] was wrongly listed by the publisher as "submitted to Jour. Diff. Equ." in the published version. Reference [FdlLS12] has not been submitted to Jour. Diff. Equ

Journal ref: Annales Henri Poincare (2013), online only version;

Perturbations of geodesic flows by recurrent dynamics

Authors: Marian Gidea, Rafael de la Llave

Abstract: We consider a geodesic flow on a compact manifold endowed with a Riemannian (or Finsler, or Lorentz) metric satisfying some generic, explicit conditions. We couple the geodesic flow with a time-dependent potential, driven by an external flow on some other compact manifold. If the external flow satisfies some very general recurrence condition, and the potential satisfies some explicit conditions th… ▽ More We consider a geodesic flow on a compact manifold endowed with a Riemannian (or Finsler, or Lorentz) metric satisfying some generic, explicit conditions. We couple the geodesic flow with a time-dependent potential, driven by an external flow on some other compact manifold. If the external flow satisfies some very general recurrence condition, and the potential satisfies some explicit conditions that are also very general, we show that the coupled system has orbits whose energy grows at a linear rate with respect to time. This growth rate is optimal. We also show the existence of symbolic dynamics. The existence of orbits whose energy grows unboundedly in time is related to Arnold's diffusion problem. A particular case of this phenomenon is obtained when the external dynamical system is quasi-periodic, of rationally independent frequency vector, not necessarily Diophantine, thus extending earlier results. We also recover `Mather's acceleration theorem' for time-periodic perturbations. Since the general class of perturbations that we consider in this paper are not characterized by a frequency of motion, we are not able to use KAM or Aubry-Mather or averaging theory. We devise a new mechanism to construct orbits whose energy evolves in a prescribed fashion. This mechanism intertwines the inner dynamics restricted to some normally hyperbolic manifold with the outer dynamics corresponding to two distinct choices of homoclinic excursions to that manifold. As this mechanism uses very coarse information on the dynamics, it is potentially of wider applicability. △ Less

Submitted 5 July, 2013; originally announced July 2013.

MSC Class: 37J40; 37C50; 37C29; 37B30

Instability of high dimensional Hamiltonian Systems: Multiple resonances do not impede diffusion

Authors: Amadeu Delshams, Rafael de la Llave, Tere M. Seara

Abstract: We consider models given by Hamiltonians of the form $$H(I,φ,p,q,t;ε) = h(I) + \sum_{j = 1}^n \pm(\frac{1}{2} p_j^2 + V_j(q_j)) + εQ(I,φ,p,q,t;ε)$$ where $I,φ$ are d-dimensional actions and angles, $p,q$ are n-dimensional real conjugated variables, and $t$ is an angle. These are higher dimensional analogues, both in the center and hyperbolic directions, of the models studied in previous papers by… ▽ More We consider models given by Hamiltonians of the form $$H(I,φ,p,q,t;ε) = h(I) + \sum_{j = 1}^n \pm(\frac{1}{2} p_j^2 + V_j(q_j)) + εQ(I,φ,p,q,t;ε)$$ where $I,φ$ are d-dimensional actions and angles, $p,q$ are n-dimensional real conjugated variables, and $t$ is an angle. These are higher dimensional analogues, both in the center and hyperbolic directions, of the models studied in previous papers by the athors. All these models present the large gap problem. We show that, for $ε$ small enough, under regularity and explicit non-degeneracy conditions on the model, there are orbits whose action variables $I$ perform rather arbitrary excursions in a domain of size O(1). This domain includes resonance lines and, hence, large gaps among $d$-dimensional KAM tori. The method of proof follows closely the strategy of [DLS(=Delshams, Llave and Seara) 2006]. The main new phenomenon that appears when the dimension $d$ of the center directions is larger than one, is the existence of multiple resonances. We show that, since these multiple resonances happen in sets of codimension greater than one in the space of actions $I$, they can be contoured. This corresponds to the mechanism called diffusion across resonances in the Physics literature. The present paper, however, differs substantially from [DLS 2006]. On the technical details of the proofs, we have taken advantage of the theory of the scattering map [DLS 2008], not available when the above papers were written. We have analyzed the conditions imposed on the resonances in more detail. More precisely, we have found that there is a simple condition on the Melnikov potential which allows us to conclude that the resonances are crossed. In particular, this condition does not depend on the resonances. So that the results are new even when applied to the models in [DLS 2006]. △ Less

Submitted 19 June, 2013; originally announced June 2013.

MSC Class: 37J40