arXiv subjects

Renato Calleja

Publications and source records attributed to Renato Calleja.

18 recordsLinked to original sources

arXiv2026

From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture

For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 conference on Celestial Mechanics in Evanston Illinois, celebrating Donald Saari's 60th birthday.

math.DS↗

arXiv2025

Biological network dynamics: Poincaré-Lindstedt series and the effect of delays

This paper focuses on the Hopf bifurcation in an activator-inhibitor system without diffusion which can be modeled as a delay differential equation. The main result of this paper is the existence of the Poincaré-Lindstedt series to all orders for the bifurcating periodic solutions. The model has a non-linearity which is non-polynomial, and yet this allows us to exploit the use of Fourier-Taylor series to develop order-by-order calculations that lead to linear recurrence equations for the coefficients of the Poincaré-Lindstedt series. As applications, we implement the computation of the coefficients of these series for any finite order, and use a pseudo-arclength continuation to compute branches of periodic solutions.

math.DS↗

arXiv2025

Constructive QP-Time-dependent KAM Algorithm for Lagrangian Tori

In this paper, we present an algorithm to computea fiberwise Lagrangian torus in quasi-periodic (QP) Hamiltonian systems, whose convergence is proved in the [CHP25]. We exhibit the algorithm with two models. The first is a Tokamak model [CVC+05, VL21], which proposes a control method to create barriers to the diffusion of magnetic field lines through a small modification in the magnetic perturbation. The second model [dCN00], known as the vorticity defect model, describes the nonlinear evolution of localized vorticity perturbations in a constant vorticity flow. This model was originally derived in the context of plasma physics and fluid dynamics.

math.DS↗

arXiv2025

Constructive Approaches to QP-Time-Dependent KAM Theory for Lagrangian Tori in Hamiltonian Systems

In this paper, we prove a KAM theorem in a-posteriori format, using the parameterization method to look invariant tori in non-autonomous Hamiltonian systems with $n$ degrees of freedom that depend periodically or quasi-periodically (QP) on time, with $\ell$ external frequencies. Such a system is described by a Hamiltonian function in the $2n$-dimensional phase space, $\mathscr{M}$, that depends also on $\ell$ angles, $φ\in \mathbb{T}^\ell$. We take advantage of the fibbered structure of the extended phase space $\mathscr{M} \times \mathbb{T}^\ell$. As a result of our approach, the parameterization of tori requires the last $\ell$ variables, to be precise $φ$, while the first $2n$ components are determined by an invariance equation. This reduction decreases the dimension of the problem where the unknown is a parameterization from $2(n+\ell)$ to $2n$. We employ a quasi-Newton method, in order to prove the KAM theorem. This iterative method begins with an initial parameterization of an approximately invariant torus, meaning it approximately satisfies the invariance equation. The approximation is refined by applying corrections that reduce quadratically the invariance equation error. This process converges to a torus in a complex strip of size $ρ_\infty$, provided suitable Diophantine $(γ,τ)$ conditions and a non-degeneracy condition on the torsion are met. Given the nature of the proof, this provides a numerical method that can be effectively implemented on a computer, the details are given in the companion paper [CHP25]. This approach leverages precision and efficiency to compute invariant tori.

math.DS↗

arXiv2023

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

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.

math.DS↗

arXiv2021

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

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.

math.DS↗

arXiv2021

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

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.

math.NA↗

arXiv2021

A new method to compute periodic orbits in general symplectic maps

The search of high-order periodic orbits has been typically restricted to problems with symmetries that help to reduce the dimension of the search space. Well-known examples include reversible maps with symmetry lines. The present work proposes a new method to compute high-order periodic orbits in twist maps without the use of symmetries. The method is a combination of the parameterization method in Fourier space and a Newton-Gauss multiple shooting scheme. The parameterization method has been successfully used in the past to compute quasi-periodic invariant circles. However, this is the first time that this method is used in the context of periodic orbits. Numerical examples are presented showing the accuracy and efficiency of the proposed method. The method is also applied to verify the renormalization prediction of the residues' convergence at criticality (extensively studied in reversible maps) in the relatively unexplored case of maps without symmetries.

math.DS↗

arXiv2020

From the Lagrange polygon to the figure eight I: Numerical evidence extending a conjecture of Marchal

The present work studies the continuation class of the regular $n$-gon solution of the $n$-body problem. For odd numbers of bodies between $n = 3$ and $n = 15$ we apply one parameter numerical continuation algorithms to the energy/frequency variable, and find that the figure eight choreography can be reached starting from the regular $n$-gon. The continuation leaves the plane of the $n$-gon, and passes through families of spatial choreographies with the topology of torus knots. Numerical continuation out of the $n$-gon solution is complicated by the fact that the kernel of the linearization there is high dimensional. Our work exploits a symmetrized version of the problem which admits dense sets of choreography solutions, and which can be written as a delay differential equation in terms of one of the bodies. This symmetrized setup simplifies the problem in several ways. On one hand, the direction of the kernel is determined automatically by the symmetry. On the other hand, the set of possible bifurcations is reduced and the $n$-gon continues to the eight after a single symmetry breaking bifurcation. Based on the calculations presented here we conjecture that the $n$-gon and the eight are in the same continuation class for all odd numbers of bodies.

math.DS↗

arXiv2020

Torus knot choreographies in the $n$-body problem

We develop a systematic approach for proving the existence of choreographic solutions in the gravitational $n$ body problem. Our main focus is on spatial torus knots: that is, periodic motions where the positions of all $n$ bodies follow a single closed which winds around a $2$-torus in $\mathbb{R}^3$. After changing to rotating coordinates and exploiting symmetries, the equation of a choreographic configuration is reduced to a delay differential equation (DDE) describing the position and velocity of a single body. We study periodic solutions of this DDE in a Banach space of rapidly decaying Fourier coefficients. Imposing appropriate constraint equations lets us isolate choreographies having prescribed symmetries and topological properties. Our argument is constructive and makes extensive use of the digital computer. We provide all the necessary analytic estimates as well as a working implementation for any number of bodies. We illustrate the utility of the approach by proving the existence of some spatial choreographies for $n=4,5,7$, and $9$ bodies.

math.DS↗

arXiv2020

KAM theory for some dissipative systems

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".

math.DS↗

arXiv2020

Non-twist tori in conformally symplectic systems

Dissipative mechanical systems on the torus with a friction that is proportional to the velocity are modeled by conformally symplectic maps on the annulus, which are maps that transport the symplectic form into a multiple of itself (with a conformal factor smaller than 1). It is important to understand the structure and the dynamics on the attractors. With the aid of parameters, and under suitable non-degeneracy conditions, one can obtain that, by adjusting parameters, there is an attractor that is an invariant torus whose internal dynamics is conjugate to a rotation [CCdlL13]. By analogy with symplectic dynamics, there have been some debate in establishing appropriate definitions for twist and non-twist invariant tori (or systems). The purpose of this paper is two-fold: (a) to establish proper definitions of twist and non-twist invariant tori in families of conformally symplectic systems; (b) to derive algorithms of computation of non-twist invariant tori. The last part of the paper is devoted to implementations of the algorithms, illustrating the definitions presented in this paper, and exploring the mechanisms of breakdown of non-twist tori. For the sake of simplicity we have considered here 2D systems, i.e. defined in the 2D annulus, but generalization to higher dimensions is straightforward.

math.DS↗

arXiv2020

KAM estimates for the dissipative standard map

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.

math.DS↗

arXiv2018

Choreographies in the $n$-vortex problem

We consider the equations of motion of $n$ vortices of equal circulation in the plane, in a disk and on a sphere. The vortices form a polygonal equilibrium in a rotating frame of reference. We use numerical continuation in a boundary value setting to determine the Lyapunov families of periodic orbits that arise from the polygonal relative equilibrium. When the frequency of a Lyapunov orbit and the frequency of the rotating frame have a rational relationship then the orbit is also periodic in the inertial frame. A dense set of Lyapunov orbits, with frequencies satisfying a diophantine equation, corresponds to choreographies of the $n$ vortices. We include numerical results for all cases, for various values of $n$, and we provide key details on the computational approach.

math.DS↗

arXiv2018

Symmetry-breaking for a restricted n-body problem in the Maxwell-ring configuration

We investigate the motion of a massless body interacting with the Maxwell relative equilibrium, which consists of n bodies of equal mass at the vertices of a regular polygon that rotates around a central mass. The massless body has three equilibrium Zn-orbits from which families of Lyapunov orbits emerge. Numerical continuation of these families using a boundary value formulation is used to construct the bifurcation diagram for the case n=7, also including some secondary and tertiary bifurcating families. We observe symmetry-breaking bifurcations in this system, as well as certain period-doubling bifurcations.

math.DS↗

arXiv2018

Choreographies in the Discrete Nonlinear Schrödinger Equations

We study periodic solutions of the discrete nonlinear Schrödinger equation (DNLSE) that bifurcate from a symmetric polygonal relative equilibrium containing $n$ sites. With specialized numerical continuation techniques and a varying physically relevant parameter we can locate interesting orbits, including infinitely many choreographies. Many of the orbits that correspond to choreographies are stable, as indicated by Floquet multipliers that are extracted as part of the numerical continuation scheme, and as verified \textit{a posteriori} by simple numerical integration. We discuss the physical relevance and the implications of our results.

math.DS↗

arXiv2017

Symmetries and choreographies in families bifurcating from the polygonal relative equilibrium of the $n$-body problem

We use numerical continuation and bifurcation techniques in a boundary value setting to follow Lyapunov families of periodic orbits. These arise from the polygonal system of $n$ bodies in a rotating frame of reference. When the frequency of a Lyapunov orbit and the frequency of the rotating frame have a rational relationship then the orbit is also periodic in the inertial frame. We prove that a dense set of Lyapunov orbits, with frequencies satisfying a diophantine equation, correspond to choreographies. We present a sample of the many choreographies that we have determined numerically along the Lyapunov families and along bifurcating families, namely for the cases $n=4,~6,~7,~8$, and $9$. We also present numerical results for the case where there is a central body that affects the choreography, but that does not participate in it. Animations of the families and the choreographies can be seen at the link: http://mym.iimas.unam.mx/renato/choreographies/index.html

math.DS↗

arXiv2016

Global transport in a nonautonomous standard map

A non-autonomous version of the standard map with a periodic variation of the parameter is introduced and studied. Symmetry properties in the variables and parameters of the map are found and used to find relations between rotation numbers of invariant sets of the autonomous realization of the period-two case of the map. The role of the nonautonomous dynamics on period-one orbits, stability and bifurcation is studied. The critical boundaries for the global transport and the destruction of invariant circles with fixed rotation number are studied in detail using direct computation and a continuation method. In the case of global transport, the critical boundary has a particular symmetrical horn shape. The results are contrasted with similar calculations found in the literature.

math.DS↗