arXiv subjects

Chiara Caracciolo

Publications and source records attributed to Chiara Caracciolo.

8 recordsLinked to original sources

arXiv2026

Improved stability estimates at elliptic equilibria of Hamiltonian systems

This paper deals with an improvement of the "a-priori stability bounds" on the variation of the action variables and on the stability time obtained from a given Birkhoff normal form around the elliptic equilibrium point of an Hamiltonian system satisfying a non-resonance condition of finite order N. In particular, we improve the standard a-priori lower bound on the stability time from a purely linear dependence on the inverse of the polynomial norm of the remainder of the normal form to the sum of a linear term (which is still present but with a different constant coefficient) and a quadratic one. The prevalence between the linear and the quadratic term depends on the resonance properties of all the monomials in the remainder of the normal form with degree from N to a finite order M. We also provide a comparative example of the new estimates and the traditional a priori ones in the framework of computer-assisted proofs.

math.DS↗

arXiv2024

A parametrization algorithm to compute lower dimensional elliptic tori in Hamiltonian systems

We present an algorithm for the construction of lower dimensional elliptic tori in parametric Hamiltonian systems by means of the parametrization method with the tangent and normal frequencies being prescribed. This requires that the Hamiltonian system has as many parameters as the dimension of the normal dynamics, and the algorithm must adjust these parameters. We illustrate the methodology with an implementation of the algorithm computing $2$--dimensional elliptic tori in a system of $4$ coupled pendula (4 degrees of freedom).

math.DS↗

arXiv2022

A numerical criterion evaluating the robustness of planetary architectures; applications to the $\upsilon$ Andromedæ system

We revisit the problem of the existence of KAM tori in extrasolar planetary systems. Specifically, we consider the $\upsilon$ Andromedæ system, by modelling it with a three-body problem. This preliminary study allows us to introduce a natural way to evaluate the robustness of the planetary orbits, which can be very easily implemented in numerical explorations. We apply our criterion to the problem of the choice of a suitable orbital configuration which exhibits strong stability properties and is compatible with the observational data that are available for the $\upsilon$ Andromedæ system itself.

astro-ph.EP↗

arXiv2022

Invariant KAM tori: from theory to applications to exoplanetary systems

We consider the classical problem of the construction of invariant tori exploiting suitable Hamiltonian normal forms. This kind of approach can be translated by means of the Lie series method into explicit computational algorithms, which are particularly suitable for applications in the field of Celestial Mechanics. First, the algorithm constructing the Kolmogorov normal form is described in detail. Then, the extension to lower-dimensional elliptic tori is provided. We adopt the same formalism and notations in both cases, with the aim of making the latter easier to understand. Finally, they are both used in a combined way in order to approximate carefully the secular dynamics of the extrasolar system hosting two planets orbiting around the HD 4732 star.

math-ph↗

arXiv2021

Normal form for lower dimensional elliptic tori in Hamiltonian systems

We give a proof of the convergence of an algorithm for the construction of lower dimensional elliptic tori in nearly integrable Hamiltonian systems. The existence of such invariant tori is proved by leading the Hamiltonian to a suitable normal form. In particular, we adapt the procedure described in a previous work by Giorgilli and co-workers, where the construction was made so as to be used in the context of the planetary problem. We extend the proof of the convergence to the cases in which the two sets of frequencies, describing the motion along the torus and the transverse oscillations, have the same order of magnitude.

math.DS↗

arXiv2021

Librational KAM tori in the secular dynamics of the $\upsilon$ Andromedæ planetary system

We study the planetary system of $\upsilon$~Andromedæ, considering the three-body problem formed by the central star and the two largest planets, $\upsilon$~And~\emph{c} and $\upsilon$~And~\emph{d}. We adopt a secular, three-dimensional model and initial conditions within the range of the observed values. The numerical integrations highlight that the system is orbiting around a one-dimensional elliptic torus (i.e., a periodic orbit that is linearly stable). This invariant object is used as a seed for an algorithm based on a sequence of canonical transformations. The algorithm determines the normal form related to a KAM torus, whose shape is in excellent agreement with the orbits of the secular model. We rigorously prove that the algorithm constructing the final KAM invariant torus is convergent, by adopting a suitable technique based on a computer-assisted proof.

math.DS↗

arXiv2021

Elliptic tori in FPU non-linear chains with a small number of nodes

We revisit an algorithm constructing elliptic tori, that was originally designed for applications to planetary hamiltonian systems. The scheme is adapted to properly work with models of chains of $N+1$ particles interacting via anharmonic potentials, thus covering also the case of FPU chains. After having preliminarily settled the Hamiltonian in a suitable way, we perform a sequence of canonical transformations removing the undesired perturbative terms by an iterative procedure. This is done by using the Lie series approach, that is explicitly implemented in a programming code with the help of a software package, which is especially designed for computer algebra manipulations. In the cases of FPU chains with $N=4,\, 8$, we successfully apply our new algorithm to the construction of elliptic tori for wide sets of the parameter ruling the size of the perturbation, i.e., the total energy of the system. Moreover, we explore the stability regions surrounding 1D elliptic tori. We compare our semi-analytical results with those provided by numerical explorations of the FPU-model dynamics, where the latter ones are obtained by using techniques based on the so called frequency analysis. We find that our procedure works up to values of the total energy that are of the same order of magnitude with respect to the maximal ones, for which elliptic tori are detected by numerical methods.

math-ph↗

arXiv2021

Computer-assisted estimates for Birkhoff normal forms

Birkhoff normal forms are commonly used in order to ensure the so called "effective stability" in the neighborhood of elliptic equilibrium points for Hamiltonian systems. From a theoretical point of view, this means that the eventual diffusion can be bounded for time intervals that are exponentially large with respect to the inverse of the distance of the initial conditions from such equilibrium points. Here, we focus on an approach that is suitable for practical applications: we extend a rather classical scheme of estimates for both the Birkhoff normal forms to any finite order and their remainders. This is made for providing explicit lower bounds of the stability time (that are valid for initial conditions in a fixed open ball), by using a fully rigorous computer-assisted procedure. We apply our approach in two simple contexts that are widely studied in Celestial Mechanics: the Hénon-Heiles model and the Circular Planar Restricted Three-Body Problem. In the latter case, we adapt our scheme of estimates for covering also the case of resonant Birkhoff normal forms and, in some concrete models about the motion of the Trojan asteroids, we show that it can be more advantageous with respect to the usual non-resonant ones.

math-ph↗