Bounding Solutions of a Forced Oscillator

K. R. Meyer, D. S. Schmidt

Our proof is based on a generalization of action-angle variables, a convergent Lie transformation, and Moser's invariant curve theorem. As an overall outline we give a quick proof…