Laskar's frequency map analysis revisited

Abstract

In this paper, we establish the exponential convergence of Laskar's pioneering frequency map analysis, strictly improving upon classical polynomial bounds. By utilizing appropriately chosen weighting functions, we achieve such exponential rates in the analytic quasi-periodic regime for frequency vectors satisfying Diophantine or Brjuno nonresonance conditions. Furthermore, we extend the theoretical framework beyond the analytic quasi-periodic regime into the analytic almost periodic setting. By…