The first nonzero Melnikov function for a family of good divides (Q2331751)

The author studies Hamiltonian systems $dF=0$ and their perturbations $dF+\varepsilon \omega =0$ by polynomial 1-forms $\omega$. The displacement function $\Delta (t,\varepsilon )=\sum _{j=\mu}^{\infty}\varepsilon ^jM_j(t)$ along a cycle $\gamma (t)$ on a given level set $F^{-1}(t)$ is considered, where $M_{\mu}$ is the first nonzero Melnikov function. \textit{Y. S. Ilyashenko} [Mat. Sb. (N.S.), 78, 360--373, (1969)] and \textit{J. P. Francoise} [Ergodic Theory Dyn. Syst. 16, No. 1, 87--96 (1996; Zbl 0852.34008)] have shown that $M_{\mu}$ is an abelian integral. \textit{L. Gavrilov} [Ann. Fac. Sci. Toulouse, Math. (6) 14, No. 4, 663--682 (2005; Zbl 1104.34024)] has shown that in general it is an iterated integral of length at most $\mu$. The author continues the study of linear deformations of a family of non-generic Hamiltonian systems fulfilling certain geometric conditions. It turns out that the first nonzero Melnikov function is an iterated integral of length at most two.