On exponentially accurate approximation of a near the identity map by an autonomous flow

This paper contains a proof of a refined version of Neishtadt's theorem which states that an analytic near-identity map can be approximated by the time-one map of an autonomous flow with exponential accuracy. We provide explicit expressions for the vector fields and give explicit bounds for the error terms.