Simple exponential estimate for the number of real zeros of complete abelian integrals

Novikov, Dmitri ; Yakovenko, Sergei

Annales de l'Institut Fourier, Tome 45 (1995) no. 4, pp. 897-927

Abstract (VO)

We show that for a generic polynomial $H=H(x,y)$ and an arbitrary differential 1-form $\omega =P(x,y)dx+Q(x,y)dy$ with polynomial coefficients of degree $\le d$, the number of ovals of the foliation $H=\mathrm{const}$, which yield the zero value of the complete Abelian integral $I\left(t\right)={\oint }_{H=t}\omega$, grows at most as $exp{O}_H\left(d\right)$ as $d\to \infty$, where $O_H\left(d\right)$ depends only on $H$. The main result of the paper is derived from the following more general theorem on bounds for isolated zeros occurring in polynomial envelopes of linear differential equations. Let $f_1\left(t\right),\cdots ,f_n\left(t\right)$, $t\in K⋐ℝ$, be a fundamental system of real solutions to a linear ordinary differential equation $Lu=0$ with rational coefficients and without singularities on the interval $K$. If the differential operator $L$ is irreducible, then any real function representable in the form $\sum _{j,k=1}^n{p}_{jk}\left(t\right)f_j^{(k-1)}\left(t\right)$ with polynomial coefficients $p_{jk}\in ℂ\left[t\right]$ of degree less or equal to $d$, may have at most $exp{O}_{L,K}\left(d\right)$ real isolated zeros on $K$ as $d\to \infty$.

Résumé

Soit $H=H(x,y)$ un polynôme réel de deux variables et $\omega =P(x,y)dx+Q(x,y)dy$ une forme différentielle quelconque à coefficients polynomiaux réels de degré $d$. Nous montrons que le nombre des ovales (c’est-à-dire les composantes compactes connexes) des courbes de niveau $H=\mathrm{const}$, telles que l’intégrale de la forme s’annule, est au plus $exp{O}_H\left(d\right)$ quand $d\to \infty$, où $O_H\left(d\right)$ ne dépend que du polynôme $H$. En fait, on obtient ce résultat comme un corollaire du théorème plus général sur les zéros de fonctions dans les enveloppes polynomiales. Nous montrons que chaque fonction appartenant à l’enveloppe d’ordre $d$ d’un opérateur irréductible, a au plus $expO\left(d\right)$ zéros réels isolés, quand $d\to \infty$.

Détail

DOI : 10.5802/aif.1478