English

Complete hyperelliptic integrals of the first kind and their non-oscillation

Dynamical Systems 2008-05-31 v1

Abstract

Let P(x)P(x) be a real polynomial of degree 2g+12g+1, H=y2+P(x)H=y^2+P(x) and δ(h)\delta(h) be an oval contained in the level set {H=h}\{H=h\}. We study complete Abelian integrals of the form I(h)=δ(h)(α0+α1x+...+αg1xg1)dxy,hΣ,I(h)=\int_{\delta(h)} \frac{(\alpha_0+\alpha_1 x+... + \alpha_{g-1}x^{g-1})dx}{y}, h\in \Sigma, where αi\alpha_i are real and ΣR\Sigma\subset \R is a maximal open interval on which a continuous family of ovals {δ(h)}\{\delta(h)\} exists. We show that the gg-dimensional real vector space of these integrals is not Chebyshev in general: for any g>1g>1, there are hyperelliptic Hamiltonians HH and continuous families of ovals δ(h){H=h}\delta(h)\subset\{H=h\}, hΣh\in\Sigma, such that the Abelian integral I(h)I(h) can have at least [32g]1[\frac32g]-1 zeros in Σ\Sigma. Our main result is Theorem \ref{main} in which we show that when g=2g=2, exceptional families of ovals {δ(h)}\{\delta(h)\} exist, such that the corresponding vector space is still Chebyshev.

Keywords

Cite

@article{arxiv.math/0211386,
  title  = {Complete hyperelliptic integrals of the first kind and their non-oscillation},
  author = {Lubomir Gavrilov and Iliya D. Iliev},
  journal= {arXiv preprint arXiv:math/0211386},
  year   = {2008}
}