Bounding the length of iterated integrals of the first nonzero Melnikov function

Abstract

We consider small polynomial deformations of integrable systems of the form $dF=0$, $F\in\mathbb{C}[x,y]$ and the first nonzero term $M_μ$ of the displacement function $Δ(t,ε)=\sum_{i=μ}M_i(t)ε^i$ along a cycle $γ(t)\in F^{-1}(t)$. It is known that $M_μ$ is an iterated integral of length at most $μ$. The bound $μ$ depends on the deformation of $dF$. In this paper we give a universal bound for the length of the iterated integral expressing the first nonzero term $M_μ$ depending only on the topology of the unperturbed system $dF=0$. The result generalizes the result of Gavrilov and Iliev providing a sufficient condition for $M_μ$ to be given by an abelian integral i.e. by an iterated integral of length $1$. We conjecture that our bound is optimal.