Boundedness in a Piecewise Linear Oscillator and a Variant of the Small Twist Theorem

Consider the differential equation $$\ddot{x} +n^2 x+h_L (x) =p(t),$$ where $n=1,2,\dots$ is an integer, $p$ is a $2\pi$-periodic function and $h_L$ is the piecewise linear function $$ h_L (x)=\begin{cases} L & \text{if $x\geq 1$},\\ Lx & \text{if $|x|\leq 1$},\\ -L & \text{if $x\leq -1$}.\end{cases}$$ A classical result of Lazer and Leach implies that this equation has a $2\pi$-periodic solution if and only if \begin{equation}\label{ll} |\hat{p}_n |<{2L\over \pi}, \end{equation} where $$\hat{p}_n :={1\over 2\pi}\int_0^{2\pi} p(t)e^{-int}\, dt.$$ In this paper I prove that if $p$ is of class $C^5$ then the condition (\ref{ll}) is also necessary and sufficient for the boundedness of all the solutions of the equation. The proof of this theorem motivates a new variant of Moser's Small Twist Theorem. This variant guarantees the existence of invariant curves for certain mappings of the cylinder which have a twist that may depend on the angle. 1991 Mathematics Subject Classification: 34C11, 58F35.

[1]  Stability of degenerate fixed points of analytic area-preserving mappings , 1982 .

[2]  M. R. Herman,et al.  Sur les courbes invariantes par les difféomorphismes de l'anneau. 2 , 1983 .

[3]  J. Littlewood Unbounded Solutions of an Equation ÿ+g{y)=p(t), with p(t) Periodic and Bounded, and g(y)/y → ∞ as y→±∞ , 1966 .

[4]  G. Sell Topological dynamics and ordinary differential equations , 1971 .

[5]  G. Seifert Resonance in undamped second-order nonlinear equations with periodic forcing , 1990 .

[6]  Rafael Ortega,et al.  Unbounded solutions of semilinear equations at resonance , 1996 .

[7]  E. Zehnder,et al.  Boundedness of solutions via the twist-theorem , 1987 .

[8]  A. Lazer,et al.  Bounded perturbations of forced harmonic oscillators at resonance , 1969 .

[9]  W. S. Loud Branching phenomena for periodic solutions of non-autonomous piecewise linear systems , 1968 .

[10]  J. W. Norris,et al.  Boundedness in Periodically Forced Second Order Conservative Systems , 1992 .

[11]  J. Moser On invariant curves of area-preserving mappings of an anulus , 1962 .

[12]  Vimal Singh,et al.  Stability Theory and the Existence of Periodic Solutions and Almost Periodic Solutions , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  F. Zanolin,et al.  Multiplicity results for periodic solutions of second order ODEs with asymmetric nonlinearities , 1996 .

[14]  M. Levi On Littlewood’s Counterexample of Unbounded Motions in Superquadratic Potentials , 1992 .

[15]  G. R. Morris A case of boundedness in Littlewood's problem on oscillatory differential equations , 1976, Bulletin of the Australian Mathematical Society.

[16]  J. Kovalevsky,et al.  Lectures in celestial mechanics , 1989 .

[17]  V. Alekseev,et al.  QUASIRANDOM DYNAMICAL SYSTEMS. II. ONE-DIMENSIONAL NONLINEAR OSCILLATIONS IN A FIELD WITH PERIODIC PERTURBATION , 1968 .

[18]  Stephane Laederich,et al.  Invariant curves and time-dependent potentials , 1991, Ergodic Theory and Dynamical Systems.

[19]  Rafael Ortega,et al.  Asymmetric Oscillators and Twist Mappings , 1996 .

[20]  Mark Levi,et al.  Quasiperiodic motions in superquadratic time-periodic potentials , 1991 .

[21]  Invariant curves around a parabolic fixed point at infinity , 1990, Ergodic Theory and Dynamical Systems.

[22]  M. Pei Aubry-Mather Sets for Finite-Twist Maps of a Cylinder and Semilinear Duffing Equations , 1994 .