Pendulum: separatrix splitting

An exact expression for the determinant of the splitting matrix is derived: it allows us to analyze the asympotic behaviour needed to amend the large angles theorem proposed in Ann. Inst. H. Poincar'e, B-60, 1, 1994. The asymptotic validity of Melnokov’s formulae is proved for the class of models considered, which include polynomial perturbations.