invariant circles, isochrons, parameterization method, Nash-Moser implicit function theorem, phase-locked regions