Generic Super-exponential Stability of Elliptic Equilibrium Positions for Symplectic Vector Fields

In this article, we consider linearly stable elliptic fixed points (equilibrium) for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. We will focus on the neighborhood of elliptic fixed points but the case of linearly stable isotropic reducible invariant tori in a Hamiltonian system should be similar.
More specifically, Morbidelli and Giorgilli have proved a result of stability over superexponentially long times if one considers an analytic Lagrangian torus, invariant for an analytic Hamiltonian system, with a diophantine translation vector which admits a sign-definite torsion. Then, the solutions of the system move very little over times which are super-exponentially long with respect to the inverse of the distance to the invariant torus.
The proof proceeds in two steps: first one constructs a high-order Birkhoff normal form, then one applies the Nekhoroshev theory. Bounemoura has shown that the second step of this construction remains valid if the Birkhoff normal form linked to the invariant torus or the elliptic fixed point belongs to a generic set among the formal series.
This is not sufficient to prove this kind of super-exponential stability results in a general setting. We should also establish that the most strongly non resonant elliptic fixed point or invariant torus in a Hamiltonian system admits Birkhoff normal forms fitted for the application of the Nekhoroshev theory. Actually, the set introduced by Bounemoura is already very large but not big enough to ensure that a typical Birkhoff normal form falls into this class. We show here that this property is satisfied generically in the sense of the measure (prevalence) through infinitedimensional probe spaces (that is, an infinite number of parameters chosen at random) with methods similar to those developed in a paper of Gorodetski, Kaloshin and Hunt in another setting.