Almost-conservative second-order differential equations

Extract

During the last thirty years an immense amount of research has been done on differential equations of the form

where ε > 0 is small. It is usually assumed that the perturbing term on the right-hand side is a ‘good’ function of its arguments and that its dependence on t is purely trigonometric; this means that there is an expansion of the form

where the ω_n are constants, and that one may impose any conditions on the rate of convergence of the series which turn out to be convenient. Without loss of generality we can assume

and for convenience we shall sometimes write ω₀ = 0. Often f is assumed to be periodic in t, in which case it is implicit that the period is independent of x and ẋ (We can also allow f to depend on ε, provided it does so in a sensible manner.)