Quasi-periodic motions in a special class of dynamical equations with dissipative effects: a pair of detection methods

We consider a particular class of equations of motion, generalizing to n degrees of freedom the "dissipative spin-orbit problem", commonly studied in Celestial Mechanics. Those equations are formulated in a pseudo-Hamiltonian framework with action-angle coordinates; they contain a quasi-integrable conservative part and friction terms, assumed to be linear and isotropic with respect to the action variables. In such a context, we transfer two methods determining quasi-periodic solutions, which were originally designed to analyze purely Hamiltonian quasi-integrable problems. First, we show how the frequency map analysis can be adapted to this kind of dissipative models. Our approach is based on a key remark: the method can work as usual, by studying the behavior of the angular velocities of the motions as a function of the so called "external frequencies", instead of the actions. Moreover, we explicitly implement the Kolmogorov's normalization algorithm for the dissipative systems considered here. In a previous article, we proved a theoretical result: such a constructing procedure is convergent under the hypotheses usually assumed in KAM theory. In the present work, we show that it can be translated to a code making algebraic manipulations on a computer, so to calculate effectively quasi-periodic solutions on invariant tori (and the attracting dynamics in their neighborhoods). Both the methods are carefully tested, by checking that their predictions are in agreement, in the case of the so called ``dissipative forced pendulum''. Furthermore, the results obtained by applying our adaptation of the frequency analysis method to the dissipative standard map are compared with some existing ones in the literature