On the formulation of new explicit conditions for steepness from a former result of N.N. Nekhoroshev

The application of the Nekhoroshev theorem to many problems arising in different fields of Physics and Astronomy depends on a non-degeneracy property, called steepness, that a suitable Hamiltonian approximation must satisfy. Since steepness is implicitly defined , we have the problem of recognizing whether a given function is steep or not. For this purpose, we here consider some sufficient conditions for steepness provided by Nekhoroshev in 1979, based on the solvability of a collection of systems depending on the number n of degrees of freedom, the derivatives of the function up to a certain order r, and some auxiliary parameters. These conditions are really explicit only for r=2, corresponding to quasi-convexity , and for r=3. Instead, for r \geq 4, the conditions are implicit, since they require an elaborate computation of the closure of a certain set. In this paper, we first revisit Nekhoroshev's result and we show that the number of parameters in the collections of systems can be suitably reduced. Then, we show that for r=4 Nekhoroshev's result is interesting only for n=2,3 and 4, and in these cases we find explicit conditions for steepness which are formulated in a purely algebraic form.