Darboux systems with a cusp point and pseudo-abelian integrals (Q2333391)

Consider a Darboux integrable system \(\omega_0 = M \frac{dH}{H} \), where \(M\) is an integrating factor, \[ H = P^a_0 \prod_{i=1}^k P^{a_i}_i, \ \ M = P_0 \prod_{i=1}^k P_i, \ \ P_i \in \mathbb{R}[x,y], \tag{1} \] \(P_0 = y^2-x^3\), \(P_i(0,0) \neq 0\) for all \(i \geq 1\), and \(a,a_i\) are positive integers. Let \(\omega_{\epsilon} = M_{\epsilon} \frac{dH_{\epsilon}}{H_{\epsilon}}\) be an unfolding of the form \(\omega_0\), where \(\omega_{\epsilon}\) are one-forms with the Darboux first integral, where the polynomials \(H_{\epsilon}, M_{\epsilon}\) are given by the formula obtained from (1) by replacing \(P_0\) with \(P_{\epsilon} = y^2-x^3 - \epsilon x^2\). Assume that the system \(\omega_{\epsilon} = M_{\epsilon} \frac{dH_{\epsilon}}{H_{\epsilon}} \) has a family of cycles \(\gamma_{\epsilon}(h)\subset H_{\epsilon}^{-1}(h)\). Consider the family of pseudo-abelian integrals \[ I_{\epsilon}(h) = \int\limits_{\gamma_{\epsilon}(h)} \frac{\eta}{M_{\epsilon}}, \ \ \eta = R\,dx + S\,dy, \ \ R,S \in \mathbb{R}[x,y]. \] The main result of the paper is the following. Under some genericity hypothesis, there exists an upper bound for the number of isolated zeros of the pseudo-abelian integrals \(I_{\epsilon}(h)\), for \(h \in (0, h_0)\). The bound is locally uniform with respect to all parameters, i.e., the parameters of the one-form \(\eta\), the coefficients of the polynomials \(P_i\) , the exponents \(a, a_i\) and the parameter \(\epsilon\).