Analytic linearization of a generalization of the semi-standard map: radius of convergence and Brjuno sum (Q2144281)

The celebrated standard map of the cylinder is characterized by a nonlinear term in the form \(\sin x\). It was observed that certain analytic aspects of the system become easier to analyze, albeit in the complex variable, when that nonlinear term is replaced by \(e^{ix}\) and the system is referred to as a semi-standard map. The present paper includes a further generalization with the nonlinear term in the form of a trigonometric polynomial which contains only positive powers of \(e^{ix}\). The specific problem is: what happens near a smooth invariant curve in the case of irrational rotation numbers? The mapping is expected to be analytically linearizable in a neighborhood of the curve provided that a typical arithmetic condition is satisfied by the rotation number. This is indeed a part of the first theorem of the paper, with the ``typical condition'' being the Brjuno condition, but quite remarkably the theorem also contains a lower estimate of the radius of the linearization domain given in terms of the exponential of a Brjuno sum which involves not only the rotation number, but the common divisor of powers in the trigonometric term. A second theorem provides a similar upper estimate for the trigonometric term in a rather special form, thus establishing the necessity of the Brjuno condition in general. The methods of the proof are classical, starting with a formal power series of the linearization and establishing conditions for its convergence. The paper makes a valuable contribution to understanding not only analytic linearizations, but also the persistence and breakdown of invariant curves in KAM theory. It should be remarked that the nonlinear term does not need to be small; in this respect the result can be compared to the work of \textit{J.-C. Yoccoz} [Petits diviseurs en dimension 1. Paris: Socièté Math. de France (1995; Zbl 0836.30001)] on Siegel disks for quadratic polynomials.