arXiv subjects
Publications and source records attributed to Luigi Chierchia.
In this note, we briefly discuss how singular KAM Theory - which was worked out in a previous work by L.B. and L.C. for the mechanical case $\frac12 |y|^2+\varepsilon f(x)$ - can be extended to convex real analytic nearly integrable Hamiltonian systems with Hamiltonian in action-angle variables given by $h(y)+\varepsilon f(x)$ with $h$ convex and generic $f$.
In this short note, we discuss the topology of Diophantine numbers, giving simple explicit examples of Diophantine isolated numbers (among those with same Diophantine constatnts), showing that, Diophantine sets are not always Cantor sets. General properties of isolated Diophantine numbers are also briefly discussed.
We review Kolmogorov's 1954 fundamental paper {\sl On the Conservation of Conditionally Periodic Motions under Small Perturbation of the Hamiltonian} (Dokl. akad. nauk SSSR,1954, vol. {\bf 98}, pp.527--530), both from the historical and the mathematical point of view. In particular, we discuss Theorem~2 (which deals with the measure in phase space of persistent tori), the proof of which is not discussed at all by the author, notwithstanding its centrality in Kolmogorov's program in classical mechanics. \\ In Appendix, a recent interview to Ya. Sinai on KAM Theory is reported.
The question of the total measure of invariant tori in analytic, nearly--integrable Hamiltonian systems is considered. In 1985, Arnol'd, Kozlov and Neishtadt, in the Encyclopaedia of Mathematical Sciences \cite{AKN1}, and in subsequent editions, conjectured that in $n=2$ degrees of freedom the measure of the non torus set of general analytic nearly--integrable systems away from critical points is exponentially small with the size $\e$ of the perturbation, and that for $n\ge 3$ the measure is, in general, of order $\e$ (rather than $\sqrt\e$ as predicted by classical KAM Theory). In the case of generic natural Hamiltonian systems, we prove lower bounds on the measure of primary and secondary invariant tori, which are in agreement, up to a logarithmic correction, with the above conjectures. The proof is based on a new {\sl singular} KAM theory, particularly designed to study analytic properties in neighborhoods of the secular separatrices generated by the perturbation at simple resonances.
We introduce a new class $\mathbb{G}^n_s$ of generic real analytic potentials on $\mathbb{T}^n$ and study global analytic properties of natural nearly-integrable Hamiltonians $\frac12 |y|^2+\varepsilon f(x)$, with potential $f\in \mathbb{G}^n_s$, on the phase space $\varepsilon = B \times \mathbb{T}^n$ with $B$ a given ball in $\mathbb{R}^n$. The phase space $\mathcal{M}$ can be covered by three sets: a `non-resonant' set, which is filled up to an exponentially small set of measure $e^{-c K}$ (where $K$ is the maximal size of resonances considered) by primary maximal KAM tori; a `simply resonant set' of measure $\sqrt{\varepsilon} K^a$ and a third set of measure $\varepsilon K^b$ which is `non perturbative', in the sense that the $H$-dynamics on it can be described by a natural system which is {\sl not} nearly-integrable. We then focus on the simply resonant set -- the dynamics of which is particularly interesting (e.g., for Arnol'd diffusion, or the existence of secondary tori) -- and show that on such a set the secular (averaged) 1 degree-of-freedom Hamiltonians (labelled by the resonance index $k\in\mathbb{Z}^n$) can be put into a universal form (which we call `Generic Standard Form'), whose main analytic properties are controlled by {\sl only one parameter, which is uniform in the resonance label $k$}.
We discuss the holomorphic properties of the complex continuation of the classical Arnol'd-Liouville action-angle variables for real analytic 1 degree--of--freedom Hamiltonian systems depending on external parameters in suitable `generic standard form', with particular regard to the behaviour near separatrices.
In this note we present and briefly discuss results, which include as a particular case the theorem announced in [L. Biasco, and L. Chierchia. On the measure of Lagrangian invariant tori in nearly-integrable mechanical systems. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 26 (2015), 1-10], concerning the typical behaviour of nearly-integrable mechanical systems with generic analytic potentials.
We consider a 1D mechanical system $$\bar {\mathtt H}(\mathtt P,\mathtt Q)=\mathtt P^2+\bar {\mathtt G}(\mathtt Q)$$ in action-angle variable $(\mathtt P,\mathtt Q)$ where $\bar {\mathtt G}$ is a $2π$-periodic analytic function with non degenerate critical points. Then, we consider a small analytic perturbation of $\bar {\mathtt H}$ of the form $${\mathtt H}^*(\mathtt P,\mathtt Q;\hat{\mathtt P}) = \mathtt P^2+\bar {\mathtt G}(\mathtt Q)+ η{\mathtt F} (\mathtt P,\mathtt Q;\hat{\mathtt P})=:\mathtt P^2 + {\mathtt G}^*(\mathtt P,\mathtt Q;\hat{\mathtt P})\,, \qquad η\ll 1\ ,$$ where the perturbed potential $ {\mathtt G}^*$ may depend on the action $\mathtt P$ and also on parameters $\hat{\mathtt P}$ ("the adiabatic actions"); indeed, this is the form of a finite dimensional mechanical system close to an exact simple resonance after averaging over fast angles and disregarding the exponentially small remainder, see [5]. Up to a finite number of separatrices and elliptic/hyperbolic points the phase space of ${\mathtt H}^*$ is divided into a finite number of open connected components foliated by invariant circles. On every connected component we perform a (Arnold-Liouville) symplectic action-angle transformation which integrates the system. We give a complete and quantitative description of the analyticity properties of such integrating transformations, estimating, in particular, how such transformations differ from the integrating transformation for $\bar {\mathtt H}$; compare Theorem 6.1 below.
A conjecture of Arnold, Kozlov and Neishtadt on the exponentially small measure of the non-torus set in analytic systems with two degrees of freedom is discussed.
We review V.I. Arnold's 1963 celebrated paper \cite{ARV63} {\sl Proof of A.N. Kolmogorov's theorem on the conservation of conditionally periodic motions with a small variation in the Hamiltonian}, and prove that, optimizing Arnold's scheme, one can get "sharp" asymptotic quantitative conditions (as $\varepsilon\to 0$, $\varepsilon$ being the strength of the perturbation). All constants involved are explicitly computed.
In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian system with real-analytic Hamiltonian $$H(y,x)=\frac12 \sum_{i=1}^n y_i^2 +εf(x)\ ,$$ $(y,x)\in{\mathbb R}^n\times{\mathbb T}^n$ being standard action--angle variables. For "general non-degenerate" potentials $f$'s there exists $ε_0,a>0$ such that, if $0<ε<ε_0$, then the Liouville measure of the complementary of $H$-invariant tori is smaller than $ε|\log ε|^a$. In this paper we provide a proof of such result.
From KAM Theory it follows that the measure of phase points which do not lie on Diophantine, Lagrangian, "primary" tori in a nearly--integrable, real--analytic Hamiltonian system is $O(\sqrt{\varepsilon})$, if $\varepsilon$ is the size of the perturbation. In this paper we discuss how the constant in front of $\sqrt{\varepsilon}$ depends on the unperturbed system and in particular on the phase--space domain.
Revising Nekhoroshev's geometry of resonances, we provide a fully constructive and quantitative proof of Nekhoroshev's theorem for steep Hamiltonian systems proving, in particular, that the exponential stability exponent can be taken to be $1/ (2n α_1\cdotsα_{n-2}$) ($α_i$'s being Nekhoroshev's steepness indices and $n\ge 3$ the number of degrees of freedom).
In the mathematical framework of a restricted, slightly dissipative spin-orbit model, we prove the existence of periodic orbits for astronomical parameter values corresponding to all satellites of the Solar system observed in exact spin-orbit resonance.
In 2004, Féjoz [Démonstration du 'théoréme d'Arnold' sur la stabilité du système planétaire (d'après M. Herman). Ergod. Th. & Dynam. Sys. 24(5) (2004), 1521-1582], completing investigations of Herman's [Démonstration d'un théoréme de V.I. Arnold. Séminaire de Systémes Dynamiques et manuscripts, 1998], gave a complete proof of 'Arnold's Theorem' [V. I. Arnol'd. Small denominators and problems of stability of motion in classical and celestial mechanics. Uspekhi Mat. Nauk. 18(6(114)) (1963), 91-192] on the planetary many-body problem, establishing, in particular, the existence of a positive measure set of smooth (C\infty) Lagrangian invariant tori for the planetary many-body problem. Here, using Rüßmann's 2001 KAM theory [H. Rüßmann. Invariant tori in non-degenerate nearly integrable Hamiltonian systems. R. & C. Dynamics 2(6) (2001), 119-203], we prove the above result in the real-analytic class.
The behaviour of resonances in the spin-orbit coupling in Celestial Mechanics is investigated. We introduce a Hamiltonian nearly-integrable model describing an approximation of the spin-orbit interaction. A parametric representation of periodic orbits is presented. We provide explicit formulae to compute the Taylor series expansion in the perturbing parameter of the function describing this parametrization. Then we compute approximately the radius of convergence providing an indication of the stability of the periodic orbit. This quantity is used to describe the different probabilities of capture into resonance. In particular, we notice that for low values of the orbital eccentricity the only significative resonance is the synchronous one. Higher order resonances (including 1:2, 3:2, 2:1) appear only as the orbital eccentricity is increased.
In this paper, one-dimensional (1D) nonlinear wave equations $u_{tt} -u_{xx}+V(x)u =f(u)$, with periodic boundary conditions are considered; V is a periodic smooth or analytic function and the nonlinearity f is an analytic function vanishing together with its derivative at u=0. It is proved that for ``most'' potentials V(x), the above equation admits small-amplitude periodic or quasi-periodic solutions corresponding to finite dimensional invariant tori for an associated infinite dimensional dynamical system. The proof is based on an infinite dimensional KAM theorem which allows for multiple normal frequencies.