On the phase change for perturbations of Hamiltonian systems (non-parametric case)

We consider perturbations of Hamiltonian systems with one degree of freedom such that the evolution leads to separatrix crossings. Such crossings are described by a parameter called the pseudo-phase. We prove a formula for the dependence of the pseudo-phase on the initial conditions.