On the sharpness of the Rüssmann estimates

Abstract

Estimating the norm of the solution of the linear difference equation plays a fundamental role in KAM theory. Optimal (in certain sense) estimates for the solution of this equation were provided by Rüssmann in the mid 70's. The aim of this paper is to compare the sharpness of these classical estimates with more specific estimates obtained with the help of the computer. We perform several experiments to quantify the improvement obtained when using computer assisted estimates. By comparing these estimates with the actual norm of the solution, we can analyze the different sources of overestimation, thus encouraging future improvements.