Invariant curves of quasi-periodic reversible mappings and its application (Q6094877)

The authors consider mappings of the form \(M: \theta_1 = \theta + \gamma_0 + f(\theta, r)\) and \(r_1 = r + g(\theta, r)\) where \(f(\theta, r)\) and \(g(\theta, r) \) are quasi-periodic in \(\theta\) with frequency \(\omega = (\omega_1, \omega_2, \dots, \omega_m)\), real analytic in a neighborhood of \(r = 0\) and have \(f(\theta, 0) = g(\theta, 0) = 0\). The main result is as follows. Assume that the mapping \(M\) is reversible with respect to the involution \(G: (\theta, r) \rightarrow (-\theta, r)\) and that \(\gamma_0\) and \(\omega\) satisfy a Diophantine condition. If there exists a formal change of variables \(U\) defined by \(\theta = \xi + u(\xi, \eta)\) and \(r = \eta + v(\xi, \eta)\) where \(u\) and \(v\) are quasi-periodic in \(\xi\) such that the original mapping is transformed into a linearized form defined by \(U^{-1} M U\) and given explicitly by \(\xi_1 = \xi + \gamma_0\) and \(\eta_1 =\eta\), then there is a real analytic change of variables that transforms the original system into the new one. An application of the main theorem is used to show the boundedness of all solutions of the nonlinear resonant oscillator described by \(x'' = \varphi(x) f(x') + \omega^2 x + g(x) = p(t)\) where \(f, \varphi, g\) and \(p\) satisfy specified conditions. This result depends on the existence of a family of invariant curves.