Arnold Tongues in Area-Preserving Maps
Jing Zhou, Mark Levi
TL;DR
The paper investigates Arnold tongues in non-exact area-preserving cylinder maps with drift, showing that for a potential $V(x)=\delta x+\varepsilon F(x)$ the width of a $p/q$ tongue is bounded by $|\delta| \lesssim c\varepsilon^{\,[q/d]}$ when $F'$ is a trig polynomial of degree $d$. It develops a detailed remainder structure for iterates, proves the existence of $p/q$-periodic orbits via an implicit function framework, and derives a precise $\varepsilon$-expansion for the corresponding $y$-curve, with leading coefficients given by shift-averages of $f$; crucially, the leading term $\Delta_r(x)$ is a periodic trigonometric polynomial of degree at most $rd$, forcing $r>\left\lfloor q/d\right\rfloor$. This yields an explicit, sharp link between the harmonic content of the potential and resonance pinning, and connects to traveling waves in the discretized sine-Gordon equation. The results generalize Arnold–Keller–Levy phenomenology to area-preserving cylinder maps and provide a quantitative description of how higher harmonics stabilize or destabilize periodic orbits under drift.
Abstract
In the early 60's J. B. Keller and D. Levy discovered a fundamental property: the instability tongues in Mathieu-type equations lose sharpness with the addition of higher-frequency harmonics in the Mathieu potentials. 20 years later V. Arnold rediscovered a similar phenomenon on sharpness of Arnold tongues in circle maps (and rediscovered the result of Keller and Levy). In this paper we find a third class of objects where a similarly flavored behavior takes place: area-preserving maps of the cylinder. Speaking loosely, we show that periodic orbits of standard maps are extra fragile with respect to added drift (i.e. non-exactness) if the potential of the map is a trigonometric polynomial. That is, higher-frequency harmonics make periodic orbits more robust with respect to ``drift". The observation was motivated by the study of traveling waves in the discretized sine-Gordon equation which in turn models a wide variety of physical systems.
