Invariant curves of analytic reversible mappings under Brjuno-Rüssmann's non-resonant condition (Q487948)

The authors consider the real analytic planar mapping \(A\) defined by \(A:(x,z)\mapsto ( x+h(z)+f(x,z), z+g(x,z) )\), where the small perturbations \(f\) and \(g\) are \(2\pi\)-periodic in \(x\). One of the assumptions is that \(A\) is reversible with respect to the involution \(R:(x,y)\mapsto (-x,y)\). The Brjuno-Rüssmann's non-resonant condition is also assumed. The main result proves the existence of invariant curves for such mappings. The proof is based on the KAM technique, a sequence of transformations are found to arrive closer to the mapping \(A_* :(x,y)\mapsto ( x+\omega_*(p), y)\). Previous ideas of \textit{J. Pöschel} [Regul. Chaotic Dyn. 16, No.~ 1--2, 17--23 (2011; Zbl 1219.37044)] and \textit{H. Rüssmann} [Discrete Contin. Dyn. Syst., Ser.~S 3, No.~4, 683--718 (2010; Zbl 1221.37114)] are used to introduce an artificial parameter \(q\) and make the steps of KAM iteration infinitely small in the speed of function \(q^n\varepsilon\), \(0<q<1\).