Massimiliano Guzzo
Publications:
Guzzo M., Lega E.
The Nekhoroshev Theorem and the Observation of Longterm Diffusion in Hamiltonian Systems
2016, vol. 21, no. 6, pp. 707719
Abstract
The longterm diffusion properties of the action variables in real analytic quasiintegrable Hamiltonian systems is a largely open problem. The Nekhoroshev theorem provides bounds to such a diffusion as well as a set of techniques, constituting its proof, which have been used to inspect also the instability of the action variables on times longer than the Nekhoroshev stability time. In particular, the separation of the motions in a superposition of a fast drift oscillation and an extremely slow diffusion along the resonances has been observed in several numerical experiments. Global diffusion, which occurs when the range of the slow diffusion largely exceeds the range of fast drift oscillations, needs times larger than the Nekhoroshev stability times to be observed, and despite the power of modern computers, it has been detected only in a small interval of the perturbation parameter, just below the critical threshold of application of the theorem. In this paper we show through an example how sharp this phenomenon is.

Schirinzi G., Guzzo M.
Numerical Verification of the Steepness of Three and Four Degrees of Freedom Hamiltonian Systems
2015, vol. 20, no. 1, pp. 118
Abstract
We describe a new algorithm for the numerical verification of steepness, a necessary property for the application of Nekhoroshev’s theorem, of functions of three and four variables. Specifically, by analyzing the Taylor expansion of order four, the algorithm analyzes the steepness of functions whose Taylor expansion of order three is not steep. In this way, we provide numerical evidence of steepness of the Birkhoff normal form around the Lagrangian equilibrium points L4–L5 of the spatial restricted threebody problem (for the only value of the reduced mass for which the Nekhoroshev stability was still unknown), and of the fourdegreesoffreedom Hamiltonian system obtained from the Fermi–Pasta–Ulam problem by setting the number of particles equal to four.

Benettin G., Fasso F., Guzzo M.
Long term stability of proper rotations and local chaotic motions in the perturbed Euler rigid body
2006, vol. 11, no. 1, pp. 117
Abstract
The long term stability of the proper rotations of the perturbed Euler rigid body was recently investigated analytically in the framework of Nekhoroshev theory. In this paper we perform a parallel numerical investigation, with the double aim of illustrating the theory and to submit it to a critical test. We focus the attention on the case of resonant motions, for which the stability is not trivial (resonant proper rotations are indeed stable in spite of the presence of local chaotic motions, with positive Lyapunov exponent, around them). The numerical results indicate that the analytic results are essentially optimal, apart from a particular resonance, actually the lowest order one, where the system turns out to be more stable than the theoretical expectation.

Guzzo M.
Nekhoroshev stability of quasiintegrable degenerate hamiltonian systems
1999, vol. 4, no. 2, pp. 78102
Abstract
A perturbation of a degenerate integrable Hamiltonian system has the form $H=h(I)+\varepsilon f(I,\varphi ,p,q)$ with $(I,\varphi )\in {\bf R}^n\times {\bf T}^n$, $(p,q)\in {\cal B} \subseteq {\bf R}^{2m}$ and the twoform is $dI\wedge d\varphi + dp\wedge dq$. In the case $h$ is convex, Nekhoroshev theorem provides the usual bound to the motion of the actions $I$, but only for a time which is the smaller between the usual exponentiallylong time and the escape time of $p,q$ from ${\cal B}$. Furthermore, the theorem does not provide any estimate for the "degenerate variables" $p,q$ better than the a priori one $\dot p,\dot q\sim \varepsilon$, and in the literature there are examples of systems with degenerate variables that perform large chaotic motions in short times. The problem of the motion of the degenerate variables is relevant to understand the long time stability of several systems, like the three body problem, the asteroid belt dynamical system and the fast rotations of the rigid body.
In this paper we show that if the "secular" Hamiltonian of $H$, i.e. the average of $H$ with respect to the fast angles $\varphi$, is integrable (or quasiintegrable) and if it satisfies a convexity condition, then a Nekhoroshevlike bound holds for the degenerate variables (actually for the actions of the secular integrable system) for all initial data with initial action $I(0)$ outside a small neighbourhood of the resonant manifolds of order lower than $\ln \dfrac{1}{\varepsilon}$. This paper generalizes a result proved in connection with the problem of the longtime stability in the Asteroid Main Belt [9,13]. 
Benettin G., Fasso F., Guzzo M.
Nekhoroshevstability of $L_4$ and $L_5$ in the spatial restricted threebody problem
1998, vol. 3, no. 3, pp. 5672
Abstract
We show that $L_4$ and $L_5$ in the spatial restricted circular threebody problem are Nekhoroshevstable for all but a few values of the reduced mass up to the Routh critical value. This result is based on two extensions of previous results on Nekhoroshevstability of elliptic equilibria, namely to the case of "directional quasiconvexity", a notion introduced here, and to a (nonconvex) steep case. We verify that the hypotheses are satisfied for $L_4$ and $L_5$ by means of numerically constructed Birkhoff normal forms.
