arXiv subjects

Marco Sansottera

Publications and source records attributed to Marco Sansottera.

At least 19 recordsLinked to original sources

arXiv2023

Kolmogorov variation: KAM with knobs (à la Kolmogorov)

In this paper we reconsider the original Kolmogorov normal form algorithm with a variation on the handling of the frequencies. At difference with respect to the Kolmogorov approach, we do not keep the frequencies fixed along the normalization procedure. Besides, we select the frequencies of the final invariant torus and determine a posteriori the corresponding starting ones. In particular, we replace the classical translation step with a change of the frequencies. The algorithm is based on the original scheme of Kolmogorov, thus exploiting the fast convergence of the Newton-Kantorovich method.

math.DS↗

arXiv2023

Existence proof of librational invariant tori in an averaged model of HD60532 planetary system

We investigate the long-term dynamics of HD60532, an extrasolar system hosting two giant planets orbiting in a 3:1 mean motion resonance. We consider an average approximation at order one in the masses which results (after the reduction of the constants of motion) in a resonant Hamiltonian with two libration angles. In this framework, the usual algorithms constructing the Kolmogorov normal form approach do not easily apply and we need to perform some untrivial preliminary operations, in order to adapt the method to this kind of problems. First, we perform an average over the fast angle of libration which provides an integrable approximation of the Hamiltonian. Then, we introduce action-angle variables that are adapted to such an integrable approximation. This sequence of preliminary operations brings the Hamiltonian in a suitable form to successfully start the Kolmogorov normalization scheme. The convergence of the KAM algorithm is proved by applying a technique based on a computer-assisted proof. This allows us to reconstruct the quasi-periodic motion of the system, with initial conditions that are compatible with the observations.

math-ph↗

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

Continuation of spatially localized periodic solutions in discrete NLS lattices via normal forms

We consider the problem of the continuation with respect to a small parameter $ε$ of spatially localised and time periodic solutions in 1-dimensional dNLS lattices, where $ε$ represents the strength of the interaction among the sites on the lattice. Specifically, we consider different dNLS models and apply a recently developed normal form algorithm in order to investigate the continuation and the linear stability of degenerate localised periodic orbits on lower and full dimensional invariant resonant tori. We recover results already existing in the literature and provide new insightful ones, both for discrete solitons and for invariant subtori.

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↗

arXiv2020

On the continuation of degenerate periodic orbits via normal form: lower dimensional resonant tori

We consider the classical problem of the continuation of periodic orbits surviving to the breaking of invariant lower dimensional resonant tori in nearly integrable Hamiltonian systems. In particular we extend our previous results (presented in CNSNS, 61:198-224, 2018) for full dimensional resonant tori to lower dimensional ones. We develop a constructive normal form scheme that allows to identify and approximate the periodic orbits which continue to exist after the breaking of the resonant torus. A specific feature of our algorithm consists in the possibility of dealing with degenerate periodic orbits. Besides, under suitable hypothesis on the spectrum of the approximate periodic orbit, we obtain information on the linear stability of the periodic orbits feasible of continuation. A pedagogical example involving few degrees of freedom, but connected to the classical topic of discrete solitons in dNLS-lattices, is also provided.

math.DS↗

arXiv2019

Resonant Laplace-Lagrange theory for extrasolar systems in mean-motion resonance

Extrasolar systems with planets on eccentric orbits close to or in mean-motion resonances are common. The classical low-order resonant Hamiltonian expansion is unfit to describe the long-term evolution of these systems. We extend the Laplace-Lagrange secular approximation for coplanar systems with two planets by including (near-)resonant harmonics, and realize an expansion at high order in the eccentricities of the resonant Hamiltonian both at orders one and two in the masses. We show that the expansion at first order in the masses gives a qualitative good approximation of the dynamics of resonant extrasolar systems with moderate eccentricities, while the second order is needed to reproduce more accurately their orbital evolutions. The resonant approach is also required to correct the secular frequencies of the motion given by the Laplace-Lagrange secular theory in the vicinity of a mean-motion resonance. The dynamical evolutions of four (near-)resonant extrasolar systems are discussed, namely GJ 876 (2:1 resonance), HD 60532 (3:1), HD 108874 and GJ 3293 (close to 4:1).

astro-ph.EP↗

arXiv2019

Exponential stability in the perturbed central force problem

We consider the spatial central force problem with a real analytic potential. We prove that for all analytic potentials, but the Keplerian and the Harmonic ones, the Hamiltonian fulfills a nondegeneracy property needed for the applicability of Nekhoroshev's theorem. We deduce stability of the actions over exponentially long times when the system is subject to arbitrary analytic perturbation. The case where the central system is put in interaction with a slow system is also studied and stability over exponentially long time is proved.

math-ph↗

arXiv2017

Improved convergence estimates for the Schröder-Siegel problem

We reconsider the Schröder-Siegel problem of conjugating an analytic map in $\mathbb{C}$ in the neighborhood of a fixed point to its linear part, extending it to the case of dimension $n>1$. Assuming a condition which is equivalent to Bruno's one on the eigenvalues $λ_1,\ldots,λ_n$ of the linear part we show that the convergence radius $ρ$ of the conjugating transformation satisfies $\ln ρ(λ)\geq -CΓ(λ)+C'$ with $Γ(λ)$ characterizing the eigenvalues $λ$, a constant $C'$ not depending on $λ$ and $C=1$. This improves the previous results for $n>1$, where the known proofs give $C=2$. We also recall that $C=1$ is known to be the optimal value for $n=1$.

math.DS↗

arXiv2017

A reverse KAM method to estimate unknown mutual inclinations in exoplanetary systems

The inclinations of exoplanets detected via radial velocity method are essentially unknown. We aim to provide estimations of the ranges of mutual inclinations that are compatible with the long-term stability of the system. Focusing on the skeleton of an extrasolar system, i.e., considering only the two most massive planets, we study the Hamiltonian of the three-body problem after the reduction of the angular momentum. Such a Hamiltonian is expanded both in Poincaré canonical variables and in the small parameter $D_2$, which represents the normalised Angular Momentum Deficit. The value of the mutual inclination is deduced from $D_2$ and, thanks to the use of interval arithmetic, we are able to consider open sets of initial conditions instead of single values. Looking at the convergence radius of the Kolmogorov normal form, we develop a reverse KAM approach in order to estimate the ranges of mutual inclinations that are compatible with the long-term stability in a KAM sense. Our method is successfully applied to the extrasolar systems HD 141399, HD 143761 and HD 40307.

math-ph↗

arXiv2017

Rigorous estimates for the relegation algorithm

We revisit the relegation algorithm by Deprit et al. (Celest. Mech. Dyn. Astron. 79:157-182, 2001) in the light of the rigorous Nekhoroshev's like theory. This relatively recent algorithm is nowadays widely used for implementing closed form analytic perturbation theories, as it generalises the classical Birkhoff normalisation algorithm. The algorithm, here briefly explained by means of Lie transformations, has been so far introduced and used in a formal way, i.e. without providing any rigorous convergence or asymptotic estimates. The overall aim of this paper is to find such quantitative estimates and to show how the results about stability over exponentially long times can be recovered in a simple and effective way, at least in the non-resonant case.

math.DS↗

arXiv2017

On the continuation of degenerate periodic orbits via normal form: full dimensional resonant tori

We reconsider the classical problem of the continuation of degenerate periodic orbits in Hamiltonian systems. In particular we focus on periodic orbits that arise from the breaking of a completely resonant maximal torus. We here propose a suitable normal form construction that allows to identify and approximate the periodic orbits which survive to the breaking of the resonant torus. Our algorithm allows to treat the continuation of approximate orbits which are at leading order degenerate, hence not covered by classical averaging methods. We discuss possible future extensions and applications to localized periodic orbits in chains of weakly coupled oscillators.

math.DS↗

arXiv2017

Secular dynamics of a planar model of the Sun-Jupiter-Saturn-Uranus system; effective stability into the light of Kolmogorov and Nekhoroshev theories

We investigate the long-time stability of the Sun-Jupiter-Saturn-Uranus system by considering a planar secular model, that can be regarded as a major refinement of the approach first introduced by Lagrange. Indeed, concerning the planetary orbital revolutions, we improve the classical circular approximation by replacing it with a solution that is invariant up to order two in the masses; therefore, we investigate the stability of the secular system for rather small values of the eccentricities. First, we explicitly construct a Kolmogorov normal form, so as to find an invariant KAM torus which approximates very well the secular orbits. Finally, we adapt the approach that is at basis of the analytic part of the Nekhoroshev's theorem, so as to show that there is a neighborhood of that torus for which the estimated stability time is larger than the lifetime of the Solar System. The size of such a neighborhood, compared with the uncertainties of the astronomical observations, is about ten times smaller.

math-ph↗

arXiv2015

Effective stability around the Cassini state in the spin-orbit problem

We investigate the long-time stability in the neighborhood of the Cassini state in the conservative spin-orbit problem. Starting with an expansion of the Hamiltonian in the canonical Andoyer-Delaunay variables, we construct a high-order Birkhoff normal form and give an estimate of the effective stability time in the Nekhoroshev sense. By extensively using algebraic manipulations on a computer, we explicitly apply our method to the rotation of Titan. We obtain physical bounds of Titan's latitudinal and longitudinal librations, finding a stability time greatly exceeding the estimated age of the Universe. In addition, we study the dependence of the effective stability time on three relevant physical parameters: the orbital inclination, $i$, the mean precession of the ascending node of Titan orbit, $\dotΩ$, and the polar moment of inertia, $C$.

math.DS↗

arXiv2014

On the convergence of an algorithm constructing the normal form for lower dimensional elliptic tori in planetary systems

We give a constructive proof of the existence of lower dimensional elliptic tori in nearly integrable Hamiltonian systems. In particular we adapt the classical Kolmogorov's normalization algorithm to the case of planetary systems, for which elliptic tori may be used as replacements of elliptic keplerian orbits in Lagrange-Laplace theory. With this paper we support with rigorous convergence estimates the semi-analytical work in our previous article (2011), where an explicit calculation of an invariant torus for a planar model of the Sun-Jupiter-Saturn-Uranus system has been made. With respect to previous works on the same subject we exploit the characteristic of Lie series giving a precise control of all terms generated by our algorithm. This allows us to slightly relax the non-resonance conditions on the frequencies.

math-ph↗

arXiv2013

On the extension of the Laplace-Lagrange secular theory to order two in the masses for extrasolar systems

We study the secular evolution of several exoplanetary systems by extending the Laplace-Lagrange theory to order two in the masses. Using an expansion of the Hamiltonian in the Poincaré canonical variables, we determine the fundamental frequencies of the motion and compute analytically the long-term evolution of the keplerian elements. Our study clearly shows that, for systems close to a mean-motion resonance, the second order approximation describes their secular evolution more accurately than the usually adopted first order one. Moreover, this approach takes into account the influence of the mean anomalies on the secular dynamics. Finally, we set up a simple criterion that is useful to discriminate between three different categories of planetary systems: (i) {\it secular} systems (HD 11964, HD 74156, HD 134987, HD 163607, HD 12661 and HD 147018); (ii) systems {\it near a mean-motion resonance} (HD 11506, HD 177830, HD 9446, HD 169830 and $\upsilon$ Andromedae); (iii) systems {\it really close to} or {\it in a mean-motion resonance} (HD 108874, HD 128311 and HD 183263).

math-ph↗

arXiv2013

Su un'estensione della teoria di Lagrange per i moti secolari

La teoria di Lagrange per i moti secolari delle eccentricità ed inclinazioni delle orbite planetarie si fondava su un'approssimazione, dettata in larga misura dalla complessità dei calcoli necessari, che consisteva nel considerare solo equazioni lineari. In questa memoria riprendiamo in considerazione i metodi di Lagrange alla luce della teoria della stabilità esponenziale di Nekhoroshev. Grazie agli algoritmi sviluppati negli ultimi anni e alle tecniche di manipolazione algebrica possiamo tener conto anche dei contributi non lineari alle equazioni. Come applicazione cerchiamo di determinare i tempi di stabilità per il problema dei tre corpi nel caso del Sole e dei due pianeti maggiori, Giove e Saturno, mostrando che si possono ottenere risultati realistici, ancorché non ottimali. Lagrange's theory for the secular motion of perihelia and nodes of the planetary orbits was based on consideration of a linear approssimation of the dynamical equations, compatible with the complexity of the calculations. We extend Lagrange's investigations in the light of Nekhoroshev's theory of exponential stability. Using effective algorithms recently developed and computer algebra we investigate the non linear problem. We apply our methods to the problem of three bodies in the Sun-Jupiter-Saturn case, thus showing that realistic results, although not optimal, can be obtained.

math-ph↗