Scaling properties for the radius of convergence of a Lindstedt series: The standard map (Q1305121)

The authors deal with a problem of KAM theory. The standard map of the form \(T:\;X=x+y+\varepsilon \sin x,\;Y=y+\varepsilon \sin x, \) which is area-preserving on cylinder, is considered. The homotopically nontrivial invariant curves with rotation number \(\omega\) of the map \(T\) may be determined by changing the coordinates \(x=\alpha +u,\;y=2\pi \omega +v.\) It is well known that the function \(v\) is expressed through the function \(u\). The conjugate of the function \(u\) has a formal series -- the Lindstedt series of the Fourier-Taylor coefficients of both sides. The Lindstedt series is plagued by the small divisors problem. The behavior of the convergence radius is studied as the rotation number tends to a resonant value. The problem of Bryuno's interpolation arises in this case. The main result is a theorem to describe the domain of convergence of Lindstedt series. The proof uses a version of the tree expansion for the standard map.