Quasi-periodic response solutions in forced reversible systems with Liouvillean frequencies (Q2013157)

The authors prove that the existence of response solutions for the following quasi-periodically forced oscillators: \[ \ddot{x}+\lambda^2x=\epsilon f(\omega t,x,\dot{x}), \qquad x\in \mathbb{R} , \lambda \in \mathcal{O}, \tag{1} \] where \(0<\epsilon<1\), \(\omega = (1, \alpha)\) , \(\alpha\in \mathbb{R} \backslash \mathbb{Q}\). Suppose that \(f: \mathbb{T}^2 \times \mathbb{R} \times \mathbb{R}\rightarrow \mathbb{R}\) is real analytic in a neighborhood of \((x,\dot{x}) = (0, 0)\) and that Equation (1) is reversible with respect to the involution \(S:(x,y)\rightarrow ( x,-y) \), i.e., \[ f(\theta,x,y)=f(-\theta,x,-y). \] Then for any sufficiently small \(\gamma>0\), there exist \(\epsilon_0>0\) and a Cantor subset \(\mathcal{O}_\gamma\subset \mathcal{O}\) with meas\((\mathcal{O}\backslash \mathcal{O}_\gamma) = O(\gamma )\) such that if \(0<\epsilon<\epsilon_0\), Equation (1) has a response solution \(x(t,\lambda)\) with \(\lambda\in \mathcal{O}_\gamma \).