Normal forms with exponentially small remainder and Gevrey normalization for vector fields with a nilpotent linear part (Q1948154)

It is well known that two facts affect the convergence of analytic normal form transformations. One is of `small divisor conditions'; the other is about the resonant terms. Here the focus is on the second point, if we regard the linear nilpotent part as the first order resonant terms. It is shown that the local Gevery-\(\alpha\) vector field, which begins with the nilpotent linear part only, admits a formal Gevery-\((\alpha+1)\) transformation to its normal form. And such coordinates transformation remains Gevery-\(\alpha\), provided that the original vector field is formally linearizable. Moreover, the rest part can be exponentially small of the finite order normal forms, if the vector field is locally analytic.