Stability islands in domains of separatrix crossings in slow-fast Hamiltonian systems

We consider a 2 d.o.f. Hamiltonian system with one degree of freedom corresponding to fast motion and the other corresponding to slow motion. The ratio of the time derivatives of slow and fast variables is of order $0<\eps \ll 1$. At frozen values of the slow variables there is a separatrix on the phase plane of the fast variables and there is a region in the phase space (the domain of separatrix crossings) where the projections of phase points onto the plane of the fast variables repeatedly cross the separatrix in the process of evolution of the slow variables. Under a certain symmetry condition we prove existence of many (of order $1/\eps$) stable periodic trajectories in the domain of the separatrix crossings. Each of these trajectories is surrounded by a stability island whose measure is estimated from below by a value of order $\eps$. Thus, the total measure of the stability islands is estimated from below by a value independent of $\eps$. The proof is based on an analysis of the asymptotic formulas for the corresponding Poincaré map.