Showing 1–44 of 44 results for author: Novikov, D

On boundary points of minimal continuously Hutchinson invariant sets

Authors: Per Alexandersson, Nils Hemmingsson, Dmitry Novikov, Boris Shapiro, Guillaume Tahar

Abstract: A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays,… ▽ More A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays, we subdivide this boundary into local and global arcs (the former being portions of integral curves of the rational vector field $\frac{Q(z)}{P(z)}\partial_{z}$), and singular points of different types which we classify below. The latter decomposition of the boundary of $M_{CH}^{T}$ is largely determined by its intersection with the plane algebraic curve formed by the inflection points of trajectories of the field $\frac{Q(z)}{P(z)}\partial_{z}$. We provide an upper bound for the number of local arcs in terms of degrees of $P$ and $Q$. As an application of our classification, we obtain a number of global geometric properties of minimal Hutchinson-invariant sets. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 59 pages, 12 figures

Nilpotence of Orbits under Monodromy and the Length of Melnikov Functions

Authors: Pavao Mardešić, Dmitry Novikov, Laura Ortiz-Bobadilla, Jessie Pontigo-Herrera

Abstract: Let $F\in\mathbb{C}[x,y]$ be a polynomial, $γ(z)\in π_1(F^{-1}(z))$ a non-trivial cycle in a generic fiber of $F$ and let $ω$ be a polynomial $1$-form, thus defining a polynomial deformation $dF+εω=0$ of the integrable foliation given by $F$. We study different invariants: the orbit depth $k$, the nilpotence class}$n$, the derivative length}$d$ associated with the couple $(F,γ)$. These invariant… ▽ More Let $F\in\mathbb{C}[x,y]$ be a polynomial, $γ(z)\in π_1(F^{-1}(z))$ a non-trivial cycle in a generic fiber of $F$ and let $ω$ be a polynomial $1$-form, thus defining a polynomial deformation $dF+εω=0$ of the integrable foliation given by $F$. We study different invariants: the orbit depth $k$, the nilpotence class}$n$, the derivative length}$d$ associated with the couple $(F,γ)$. These invariants bound the length $\ell$ of the first nonzero Melnikov function of the deformation $dF+εω$ along $γ$. We study in detail a simple example of a polynomial $F$ given as product of four lines. We show how these invariants vary depending on the relative position of the four lines and relate it also to the length of the corresponding Godbillon-Vey sequence. We formulate a conjecture motivated by the study of this example. △ Less

Submitted 10 January, 2024; originally announced January 2024.

MSC Class: 34C07; 34C05; 34C08; 14D05

Journal ref: Phys. D 427 (2021), Paper No. 133017

Infinitesimal and tangential 16-th Hilbert problem on zero-cycles

Authors: J. L. Bravo, P. Mardesic, D. Novikov, J. Pontigo-Herrera

Abstract: In this paper, given two polynomials $f$ and $g$ of one variable and a $0$-cycle $C$ of $f$, we consider the deformation $f+εg$. We define two functions: the displacement function $Δ(t,ε)$ and its first order approximation: the abelian integral $M_1(t)$. The infinitesimal and tangential 16-th Hilbert problem for zero-cycles are problems of counting isolated regular zeros of $Δ(t,ε)$, for $ε$ small… ▽ More In this paper, given two polynomials $f$ and $g$ of one variable and a $0$-cycle $C$ of $f$, we consider the deformation $f+εg$. We define two functions: the displacement function $Δ(t,ε)$ and its first order approximation: the abelian integral $M_1(t)$. The infinitesimal and tangential 16-th Hilbert problem for zero-cycles are problems of counting isolated regular zeros of $Δ(t,ε)$, for $ε$ small, or of $M_1(t)$, respectively. We show that the two problems are not equivalent and find optimal bounds, in function of the degrees of $f$ and $g$, for the infinitesimal and tangential 16-th Hilbert problem on zero-cycles. These two problems are the zero-dimensional analogue of the classical infinitesimal and tangential 16-th Hilbert problems for vector fields in the plane. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 28 pages

MSC Class: 34C08; 37G15; 14N10; 14H50

Bounds for rational points on algebraic curves, optimal in the degree, and dimension growth

Authors: Gal Binyamini, Raf Cluckers, Dmitry Novikov

Abstract: Bounding the number of rational points of height at most $H$ on irreducible algebraic plane curves of degree $d$ has been an intense topic of investigation since the work by Bombieri and Pila. In this paper we establish optimal dependence on $d$, by showing the upper bound $C d^2 H^{2/d} (\log H)^κ$ with some absolute constants $C$ and $κ$. This bound is optimal with respect to both $d$ and $H$, e… ▽ More Bounding the number of rational points of height at most $H$ on irreducible algebraic plane curves of degree $d$ has been an intense topic of investigation since the work by Bombieri and Pila. In this paper we establish optimal dependence on $d$, by showing the upper bound $C d^2 H^{2/d} (\log H)^κ$ with some absolute constants $C$ and $κ$. This bound is optimal with respect to both $d$ and $H$, except for the constants $C$ and $κ$. This answers a question raised by Salberger, leading to a simplified proof of his results on the uniform dimension growth conjectures of Heath-Brown and Serre, and where at the same time we replace the $H^ε$ factor by a power of $\log H$. The main strength of our approach comes from the combination of a new, efficient form of smooth parametrizations of algebraic curves with a century-old criterion of Pólya, which allows us to save one extra power of $d$ compared with the standard approach using Bézout's theorem. △ Less

Submitted 20 September, 2023; v1 submitted 8 February, 2023; originally announced February 2023.

MSC Class: Primary 11D45; Secondary 14G05; 34C10; 11G35

Rolle models in the real and complex world

Authors: Dmitry Novikov, Sergei Yakovenko

Abstract: Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential equations with algebraic right hand sides (both ordinary and Pfaffian). In the purely algebraic context the paradigm is given by the Bézout theorem: the number of… ▽ More Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential equations with algebraic right hand sides (both ordinary and Pfaffian). In the purely algebraic context the paradigm is given by the Bézout theorem: the number of isolated solutions of a system of polynomial equations of degree $\le d$ in the $n$-dimensional space does not exceed $d^n$, the bound polynomial in $d$ and exponential in $n$. This bound is optimal: if we count solutions properly (i.e., with multiplicities, including complex solutions and solutions on the infinite hyperplane), then the equality holds. This paradigm can be generalized for the transcendental case as described above. It turns out some counting problems admit similar bounds depending only on the degrees and dimensions, whereas other can be treated only locally, i.e., admit bounds for the number of solutions in some domains of limited size. There is only one class of counting problems, which admits global bounds, but besides the degree and dimension, the answer depends on the height of the corresponding Pfaffian system. The unifying feature for these results is the core fact that lies at the heart of their proofs. This fact can be regarded as a variety of distant generalizations of the Rolle theorem known from the undergraduate calculus, claiming that between any two roots of a univariate differentiable function on a segment must lie a root of its derivative. We discuss generalizations of the Rolle theorem for vector-valued and complex analytic functions (none of them straightforward) and for germs of holomorphic maps. △ Less

Submitted 7 February, 2023; originally announced February 2023.

MSC Class: 34C10; 34C08; 58A17; 30D35

Fortifying the Yomdin-Gromov Algebraic Lemma

Authors: Dmitri Novikov, Benny Zak

Abstract: We provide sharp cylindrical parametrizations of cylindrical cell decompositions by maps with bounded $C^{r}$ norm in the sharply o-minimal setting, thus generalizing and strengthening the Yomdin-Gromov Algebraic Lemma. We introduce forts, geometrical objects encoding the combinatorial structure of cylindrical cell decompositions in o-minimal geometry. Cylindical decompositions, refinements of suc… ▽ More We provide sharp cylindrical parametrizations of cylindrical cell decompositions by maps with bounded $C^{r}$ norm in the sharply o-minimal setting, thus generalizing and strengthening the Yomdin-Gromov Algebraic Lemma. We introduce forts, geometrical objects encoding the combinatorial structure of cylindrical cell decompositions in o-minimal geometry. Cylindical decompositions, refinements of such decompositions, and cylindrical parametrizations of such decomposition become morphisms in the category of forts. We formulate and prove the above results in the language of forts. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Sharply o-minimal structures and sharp cellular decomposition

Authors: Gal Binyamini, Dmitri Novikov, Benny Zack

Abstract: Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to each definable set a pair of integers known as \emph{format} and \emph{degree}, similar to the ambient dimension and degree in the algebraic case; gives bounds on… ▽ More Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to each definable set a pair of integers known as \emph{format} and \emph{degree}, similar to the ambient dimension and degree in the algebraic case; gives bounds on the growth of these quantities under the logical operations; and allows one to control the geometric complexity of a set in terms of its format and degree. These axioms have significant implications on arithmetic properties of definable sets -- for example, \so-minimality was recently used by the authors to settle Wilkie's conjecture on rational points in $\mathbb{R}_{\exp}$-definable sets. In this paper we develop some basic theory of sharply o-minimal structures. We introduce the notions of reduction and equivalence on the class of \so-minimal structures. We give three variants of the definition of \so-minimality, of increasing strength, and show that they all agree up to reduction. We also consider the problem of ``sharp cell decomposition'', i.e. cell decomposition with good control on the number of the cells and their formats and degrees. We show that every \so-minimal structure can be reduced to one admitting sharp cell decomposition, and use this to prove bounds on the Betti numbers of definable sets in terms of format and degree. △ Less

Submitted 22 September, 2022; originally announced September 2022.

MSC Class: 14Gxx; 11Jxx; 03Cxx

Linear first order differential operators and their Hutchinson-invariant sets

Authors: Per Alexandersson, Nils Hemmingsson, Dmitry Novikov, Boris Shapiro, Guillaume Tahar

Abstract: In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using… ▽ More In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$. △ Less

Submitted 17 May, 2024; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 46 pages

MSC Class: 37F10; 37E35; 34C05

Journal ref: Journal of Differential Equations 391, (2024) 265-320

Wilkie's conjecture for Pfaffian structures

Authors: Gal Binyamini, Dmitry Novikov, Benny Zack

Abstract: We prove an effective form of Wilkie's conjecture in the structure generated by restricted sub-Pfaffian functions: the number of rational points of height $H$ lying in the transcendental part of such a set grows no faster than some power of $\log H$. Our bounds depend only on the Pfaffian complexity of the sets involved. As a corollary we deduce Wilkie's original conjecture for… ▽ More We prove an effective form of Wilkie's conjecture in the structure generated by restricted sub-Pfaffian functions: the number of rational points of height $H$ lying in the transcendental part of such a set grows no faster than some power of $\log H$. Our bounds depend only on the Pfaffian complexity of the sets involved. As a corollary we deduce Wilkie's original conjecture for $\mathbb{R}_{\mathrm{exp}}$ in full generality. △ Less

Submitted 10 February, 2022; originally announced February 2022.

MSC Class: Primary 03C64; 11U09; Secondary 11G50; 14P10

On limit sets for geodesics of meromorphic connections

Authors: Dmitry Novikov, Boris Shapiro, Guillaume Tahar

Abstract: Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the the… ▽ More Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the theoretically possible asymptotic behaviours of such geodesics really exist. In order to fill the gap, we use the branched affine structure induced by a Fuchsian meromorphic connection to present several examples with geodesics having infinitely many self-intersections and quite peculiar omega-limit sets. △ Less

Submitted 22 January, 2022; v1 submitted 28 December, 2020; originally announced December 2020.

Comments: 15 pages, 4 figures

MSC Class: [2010] Primary 37F75; Secondary 32S65

Journal ref: Journal of Dynamical and Control Systems, 2022

Point counting and Wilkie's conjecture for non-archimedean Pfaffian and Noetherian functions

Authors: Gal Binyamini, Raf Cluckers, Dmitry Novikov

Abstract: We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${\mathbb{C}}(\!(t)\!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical Pila-Wilkie counting theorem in the archimean situation. Some non-archimedean analogs of this type have been developed in the work of Cluckers-Comte-Loeser for the fiel… ▽ More We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${\mathbb{C}}(\!(t)\!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical Pila-Wilkie counting theorem in the archimean situation. Some non-archimedean analogs of this type have been developed in the work of Cluckers-Comte-Loeser for the field ${\mathbb{Q}}_p$, but the situation in ${\mathbb{C}}(\!(t)\!)$ appears to be significantly different. We prove that the set of polynomial curves of a fixed degree $r$ on the transcendental part of a subanalytic set over ${\mathbb{C}}(\!(t)\!)$ is automatically finite, but give examples showing that their number may grow arbitrarily quickly even for analytic sets. Thus no analog of the Pila-Wilkie theorem can be expected to hold for general analytic sets. On the other hand we show that if one restricts to varieties defined by Pfaffian or Noetherian functions, then the number grows at most polynomially in $r$, thus showing that the analog of Wilkie's conjecture does hold in this context. △ Less

Submitted 12 August, 2021; v1 submitted 11 September, 2020; originally announced September 2020.

Comments: Revised version to appear in Duke Math J

MSC Class: Primary 14G05; 11U09; Secondary 03C98; 11D88; 11G50

The Yomdin-Gromov algebraic lemma revisited

Authors: Gal Binyamini, Dmitry Novikov

Abstract: In 1987, Yomdin proved a lemma on smooth parametrizations of semialgebraic sets as part of his solution of Shub's entropy conjecture for $C^\infty$ maps. The statement was further refined by Gromov, producing what is now known as the Yomdin-Gromov algebraic lemma. Several complete proofs based on Gromov's sketch have appeared in the literature, but these have been considerably more complicated tha… ▽ More In 1987, Yomdin proved a lemma on smooth parametrizations of semialgebraic sets as part of his solution of Shub's entropy conjecture for $C^\infty$ maps. The statement was further refined by Gromov, producing what is now known as the Yomdin-Gromov algebraic lemma. Several complete proofs based on Gromov's sketch have appeared in the literature, but these have been considerably more complicated than Gromov's original presentation due to some technical issues. In this note we give a proof that closely follows Gromov's original presentation. We prove a somewhat stronger statement, where the parameterizing maps are guaranteed to be \emph{cellular}. It turns out that this additional restriction, along with some elementary lemmas on differentiable functions in o-minimal structures, allows the induction to be carried out without technical difficulties. △ Less

Submitted 4 September, 2020; originally announced September 2020.

MSC Class: 03C64; 37B40; 14P10; 11U09

Infinite Orbit depth and length of Melnikov functions

Authors: Pavao Mardesic, Dmitry Novikov, Laura Ortiz-Bobadilla, Jessie Pontigo-Herrera

Abstract: In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+εω=0$. The first nonzero Melnikov function $M_μ=M_μ(F,γ,ω)$ of the Poincaré map along a loop $γ$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_μ$ by a geometric number $k=k(F,γ)$ which we call orbit… ▽ More In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+εω=0$. The first nonzero Melnikov function $M_μ=M_μ(F,γ,ω)$ of the Poincaré map along a loop $γ$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_μ$ by a geometric number $k=k(F,γ)$ which we call orbit depth. We conjectured that the bound is optimal. Here, we give a simple example of a Hamiltonian system $F$ and its orbit $γ$ having infinite orbit depth. If our conjecture is true, for this example there should exist deformations $dF+εω$ with arbitrary high length first nonzero Melnikov function $M_μ$ along $γ$. We construct deformations $dF+εω=0$ whose first nonzero Melnikov function $M_μ$ is of length three and explain the difficulties in constructing deformations having high length first nonzero Melnikov functions $M_μ$. △ Less

Submitted 22 July, 2019; originally announced July 2019.

MSC Class: 34C07; 34C05; 34C08

Godbillon-Vey sequence and Francoise algorithm

Authors: Pavao Mardesic, Dmitry Novikov, Laura Ortiz-Bobadilla, Jessie Pontigo-Herrera

Abstract: We consider foliations given by deformations $dF+εω$ of exact forms $dF$ in $\mathbb{C}^2$ in a neighborhood of a family of cycles $γ(t)\subset F^{-1}(t)$. In 1996 Francoise gave an algorithm for calculating the first nonzero term of the displacement function $Δ$ along $γ$ of such deformations. This algorithm recalls the well-known Godbillon-Vey sequences discovered in 1971 for investigation int… ▽ More We consider foliations given by deformations $dF+εω$ of exact forms $dF$ in $\mathbb{C}^2$ in a neighborhood of a family of cycles $γ(t)\subset F^{-1}(t)$. In 1996 Francoise gave an algorithm for calculating the first nonzero term of the displacement function $Δ$ along $γ$ of such deformations. This algorithm recalls the well-known Godbillon-Vey sequences discovered in 1971 for investigation integrability of a form $ω$. In this paper, we establish the correspondence between the two approaches and translate some results by Casale relating types of integrability for finite Godbillon-Vey sequences to the Francoise algorithm settings. △ Less

Submitted 26 January, 2019; originally announced January 2019.

MSC Class: 34C07 (primary); 34M15; 34C05; 34C08 (secondary)

Analysis of the problem of intervention control in the economy on the basis of solving the problem of tuning

Authors: Peter Shnurkov, Daniil Novikov

Abstract: The paper proposes a new stochastic intervention control model conducted in various commodity and stock markets. The essence of the phenomenon of intervention is described in accordance with current economic theory. A review of papers on intervention research has been made. A general construction of the stochastic intervention model was developed as a Markov process with discrete time, controlled… ▽ More The paper proposes a new stochastic intervention control model conducted in various commodity and stock markets. The essence of the phenomenon of intervention is described in accordance with current economic theory. A review of papers on intervention research has been made. A general construction of the stochastic intervention model was developed as a Markov process with discrete time, controlled at the time it hits the boundary of a given subset of a set of states. Thus, the problem of optimal control of interventions is reduced to a theoretical problem of control by the specified process or the problem of tuning. A general solution of the tuning problem for a model with discrete time is obtained. It is proved that the optimal control in such a problem is deterministic and is determined by the global maximum point of the function of two discrete variables, for which an explicit analytical representation is obtained. It is noted that the solution of the stochastic tuning problem can be used as a basis for solving control problems of various technical systems in which there is a need to maintain some main parameter in a given set of its values. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 15 pages, 1 figure. Keywords: controlled stochastic processes, absorbing Markov chains, stochastic problem of tuning, mathematical models of economic interventions, control in technical systems

Complex Cellular Structures

Authors: Gal Binyamini, Dmitry Novikov

Abstract: We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $δ\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension $\mathcal{C}\subset\mathcal{C}^δ$, which is again a complex cell. The hyperbolic geometry of $\mathcal{C}$ within $\mathcal{C}^δ$ provides the class of complex cells with a rich geometric function theor… ▽ More We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $δ\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension $\mathcal{C}\subset\mathcal{C}^δ$, which is again a complex cell. The hyperbolic geometry of $\mathcal{C}$ within $\mathcal{C}^δ$ provides the class of complex cells with a rich geometric function theory absent in the real case. We use this to prove a complex analog of the cellular decomposition theorem of real tame geometry. In the algebraic case we show that the complexity of such decompositions depends polynomially on the degrees of the equations involved. Using this theory, we refine the Yomdin-Gromov algebraic lemma on $C^r$-smooth parametrizations of semialgebraic sets: we show that the number of $C^r$ charts can be taken to be polynomial in the smoothness order $r$ and in the complexity of the set. The algebraic lemma was initially invented in the work of Yomdin and Gromov to produce estimates for the topological entropy of $C^\infty$ maps. For analytic maps our refined version, combined with work of Burguet, Liao and Yang, establishes an optimal refinement of these estimates in the form of tight bounds on the tail entropy and volume growth. This settles a conjecture of Yomdin who proved the same result in dimension two in 1991. A self-contained proof of these estimates using the refined algebraic lemma is given in an appendix by Yomdin. The algebraic lemma has more recently been used in the study of rational points on algebraic and transcendental varieties. We use the theory of complex cells in these two directions. In the algebraic context we refine a result of Heath-Brown on interpolating rational points in algebraic varieties. In the transcendental context we prove an interpolation result for (unrestricted) logarithmic images of subanalytic sets. △ Less

Submitted 18 April, 2019; v1 submitted 21 February, 2018; originally announced February 2018.

Comments: Includes an appendix by Yosef Yomdin; to appear in Ann. of Math

MSC Class: 14P10; 37B40; 03C64; 30C99

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

Authors: Pavao Mardesic, Dmitry Novikov, Laura Ortiz-Bobadilla, Jessie Pontigo-Herrera

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 th… ▽ More 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. △ Less

Submitted 10 March, 2017; originally announced March 2017.

MSC Class: 34C07; 34C05; 34C08

Wilkie's conjecture for restricted elementary functions

Authors: Gal Binyamini, Dmitry Novikov

Abstract: We consider the structure ${\mathbb R}^{\mathrm{RE}}$ obtained from $({\mathbb R},<,+,\cdot)$ by adjoining the restricted exponential and sine functions. We prove Wilkie's conjecture for sets definable in this structure: the number of rational points of height $H$ in the transcendental part of any definable set is bounded by a polynomial in $\log H$. We also prove two refined conjectures due to Pi… ▽ More We consider the structure ${\mathbb R}^{\mathrm{RE}}$ obtained from $({\mathbb R},<,+,\cdot)$ by adjoining the restricted exponential and sine functions. We prove Wilkie's conjecture for sets definable in this structure: the number of rational points of height $H$ in the transcendental part of any definable set is bounded by a polynomial in $\log H$. We also prove two refined conjectures due to Pila concerning the density of algebraic points from a fixed number field, or with a fixed algebraic degree, for ${\mathbb R}^{\mathrm{RE}}$-definable sets. △ Less

Submitted 16 May, 2016; originally announced May 2016.

MSC Class: 11G99 (Primary) 03C64 11U09 (Secondary)

The Pila-Wilkie theorem for subanalytic families: a complex analytic approach

Authors: Gal Binyamini, Dmitry Novikov

Abstract: We present a complex analytic proof of the Pila-Wilkie theorem for subanalytic sets. In particular, we replace the use of $C^r$-smooth parametrizations by a variant of Weierstrass division. We present a complex analytic proof of the Pila-Wilkie theorem for subanalytic sets. In particular, we replace the use of $C^r$-smooth parametrizations by a variant of Weierstrass division. △ Less

Submitted 15 May, 2016; originally announced May 2016.

MSC Class: 11G99 (Primary) 03C64 11U09 (Secondary)

Journal ref: Compositio Math. 153 (2017) 2171-2194

A tropical analog of Descartes' rule of signs

Authors: J. Forsgård, D. Novikov, B. Shapiro

Abstract: We prove that for any degree d, there exist (families of) finite sequences a_0, a_1,..., a_d of positive numbers such that, for any real polynomial P of degree d, the number of its real roots is less than or equal to the number of the so-called essential tropical roots of the polynomial obtained from P by multiplication of its coefficients by a_0, a_1,... a_d respectively. In particular, for any r… ▽ More We prove that for any degree d, there exist (families of) finite sequences a_0, a_1,..., a_d of positive numbers such that, for any real polynomial P of degree d, the number of its real roots is less than or equal to the number of the so-called essential tropical roots of the polynomial obtained from P by multiplication of its coefficients by a_0, a_1,... a_d respectively. In particular, for any real univariate polynomial P of degree d with non-vanishing constant term, we conjecture that one can take a_k = e^{-k^2}, k = 0, ... , d. The latter claim can be thought of as a tropical generalization of Descartes's rule of signs. We settle this conjecture up to degree 4 as well as a weaker statement for arbitrary real polynomials. Additionally we describe an application of the latter conjecture to the classical Karlin problem on zero-diminishing sequences. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Comments: 16 pages, no figures

MSC Class: 26C10

On global non-oscillation of linear ordinary differential equations with polynomial coefficients

Authors: Dmitry Novikov, Boris Shapiro

Abstract: In this note we show that a linear ordinary differential equation with polynomial coefficients is globally non-oscillating in $\mathbb{C} P^1$ if and only if it is Fuchsian, and at every its singular point any two distinct characteristic exponents have distinct real parts. As a byproduct of our study, we obtain a new explicit upper bound for the number of zeros of exponential polynomials in a hori… ▽ More In this note we show that a linear ordinary differential equation with polynomial coefficients is globally non-oscillating in $\mathbb{C} P^1$ if and only if it is Fuchsian, and at every its singular point any two distinct characteristic exponents have distinct real parts. As a byproduct of our study, we obtain a new explicit upper bound for the number of zeros of exponential polynomials in a horizontal strip. △ Less

Submitted 13 March, 2015; originally announced March 2015.

MSC Class: 34M10; 30D35; 11T23

Multiplicities of Noetherian deformations

Authors: Gal Binyamini, Dmitry Novikov

Abstract: The \emph{Noetherian class} is a wide class of functions defined in terms of polynomial partial differential equations. It includes functions appearing naturally in various branches of mathematics (exponential, elliptic, modular, etc.). A conjecture by Khovanskii states that the \emph{local} geometry of sets defined using Noetherian equations admits effective estimates analogous to the effective \… ▽ More The \emph{Noetherian class} is a wide class of functions defined in terms of polynomial partial differential equations. It includes functions appearing naturally in various branches of mathematics (exponential, elliptic, modular, etc.). A conjecture by Khovanskii states that the \emph{local} geometry of sets defined using Noetherian equations admits effective estimates analogous to the effective \emph{global} bounds of algebraic geometry. We make a major step in the development of the theory of Noetherian functions by providing an effective upper bound for the local number of isolated solutions of a Noetherian system of equations depending on a parameter $ε$, which remains valid even when the system degenerates at $ε=0$. An estimate of this sort has played the key role in the development of the theory of Pfaffian functions, and is expected to lead to similar results in the Noetherian setting. We illustrate this by deducing from our main result an effective form of the Lojasiewicz inequality for Noetherian functions. △ Less

Submitted 12 August, 2015; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: v2: reworked last section, accepted to GAFA

MSC Class: 32B10; 34C08; 14Q20

Multiplicity Operators

Authors: Gal Binyamini, Dmitry Novikov

Abstract: For functions of a single complex variable, points of multiplicity greater than $k$ are characterized by the vanishing of the first $k$ derivatives. There are various quantitative generalizations of this statement, showing that for functions that are in some sense close to having multiplicity greater than $k$, the first $k$ derivatives must be small. In this paper we aim to generalize this situa… ▽ More For functions of a single complex variable, points of multiplicity greater than $k$ are characterized by the vanishing of the first $k$ derivatives. There are various quantitative generalizations of this statement, showing that for functions that are in some sense close to having multiplicity greater than $k$, the first $k$ derivatives must be small. In this paper we aim to generalize this situation to the multi-dimensional setting. We define a class of differential operators, the \emph{multiplicity operators}, which act on maps from $\C^n$ to $\C^n$ and satisfy properties analogous to those described above. We demonstrate the usefulness of the construction by applying it to some problems in the theory of Noetherian functions. △ Less

Submitted 23 June, 2014; v1 submitted 7 September, 2013; originally announced September 2013.

Quasialgebraic Functions

Authors: Gal Binyamini, Dmitry Novikov, Sergei Yakovenko

Abstract: We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class is sufficiently rich to include all periods (integral of rational forms over algebraic cycles). We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class is sufficiently rich to include all periods (integral of rational forms over algebraic cycles). △ Less

Submitted 8 September, 2011; v1 submitted 8 August, 2011; originally announced August 2011.

Comments: minor corrections

MSC Class: 34C07; 34C08 (Primary) 34M10; 34M60; 14Q20; 32S40 (Secondary)

Intersection multiplicities of Noetherian functions

Authors: Gal Binyamini, Dmitry Novikov

Abstract: We provide a partial answer to the following problem: \emph{give an effective upper bound on the multiplicity of non-isolated common zero of a tuple of Noetherian functions}. More precisely, consider a foliation defined by two commuting polynomial vector fields $V_1,V_2$ in $\C^n$, and $p$ a nonsingular point of the foliation. Denote by $\cL$ the leaf passing through $p$, and let $F,G\in\C[X]$ be… ▽ More We provide a partial answer to the following problem: \emph{give an effective upper bound on the multiplicity of non-isolated common zero of a tuple of Noetherian functions}. More precisely, consider a foliation defined by two commuting polynomial vector fields $V_1,V_2$ in $\C^n$, and $p$ a nonsingular point of the foliation. Denote by $\cL$ the leaf passing through $p$, and let $F,G\in\C[X]$ be two polynomials. Assume that $F\onL=0,G\onL=0$ have several common branches. We provide an effective procedure which allows to bound from above multipllicity of intersection of remaining branches of $F\onL=0$ with $G\onL=0$ in terms of the degrees and dimensions only. △ Less

Submitted 8 August, 2011; originally announced August 2011.

MSC Class: 32B20

Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities

Authors: Mamuka Jibladze, Dmitry Novikov

Abstract: We single out a large class of semisimple singularities with the property that all roots of the Poincaré polynomial of the Lie algebra of derivations of the corresponding suitably (not necessarily quasihomogeneously) graded moduli algebra lie on the unit circle; for a still larger class there might occur exactly four roots outside the unit circle. We single out a large class of semisimple singularities with the property that all roots of the Poincaré polynomial of the Lie algebra of derivations of the corresponding suitably (not necessarily quasihomogeneously) graded moduli algebra lie on the unit circle; for a still larger class there might occur exactly four roots outside the unit circle. △ Less

Submitted 18 August, 2010; originally announced August 2010.

MSC Class: 32S10

Journal ref: Moscow Mathematical Journal, 7 (3) 2007, p. 481-487

Pseudo-Abelian integrals on slow-fast Darboux systems

Authors: Marcin Bobienski, Pavao Mardesic, Dmitry Novikov

Abstract: We study pseudo-Abelian integrals associated with polynomial deformations of slow-fast Darboux integrable systems. Under some assumptions we prove local boundedness of the number of their zeros. We study pseudo-Abelian integrals associated with polynomial deformations of slow-fast Darboux integrable systems. Under some assumptions we prove local boundedness of the number of their zeros. △ Less

Submitted 12 July, 2010; originally announced July 2010.

Comments: 11 pages, 6 figures

MSC Class: 34C07; 34C08

On the number of zeros of Melnikov functions

Authors: Dmitry Novikov, Sergey Benditkis

Abstract: We provide an effective uniform upper bond for the number of zeros of the first non-vanishing Melnikov function of a polynomial perturbations of a planar polynomial Hamiltonian vector field. The bound depends on degrees of the field and of the perturbation, and on the order $k$ of the Melnikov function. The generic case $k=1$ was considered by Binyamini, Novikov and Yakovenko (\cite{BNY-Inf16}). T… ▽ More We provide an effective uniform upper bond for the number of zeros of the first non-vanishing Melnikov function of a polynomial perturbations of a planar polynomial Hamiltonian vector field. The bound depends on degrees of the field and of the perturbation, and on the order $k$ of the Melnikov function. The generic case $k=1$ was considered by Binyamini, Novikov and Yakovenko (\cite{BNY-Inf16}). The bound follows from an effective construction of the Gauss-Manin connection for iterated integrals. △ Less

Submitted 5 July, 2010; originally announced July 2010.

MSC Class: 34C07; 34C08; 37F75; 32S65

Linear estimate for the number of zeros of Abelian integrals

Authors: S. G. Malev, D. Novikov

Abstract: We prove a linear in $\degω$ upper bound on the number of real zeros of the Abelian integral $I(t)=\int_{δ(t)}ω$, where $δ(t)\subset\R^2$ is the real oval $x^2y(1-x-y)=t$ and $ω$ is a one-form with polynomial coefficients. We prove a linear in $\degω$ upper bound on the number of real zeros of the Abelian integral $I(t)=\int_{δ(t)}ω$, where $δ(t)\subset\R^2$ is the real oval $x^2y(1-x-y)=t$ and $ω$ is a one-form with polynomial coefficients. △ Less

Submitted 29 March, 2009; originally announced March 2009.

Pseudo-Abelian integrals: unfolding generic exponential case

Authors: Marcin Bobienski, Pavao Mardesic, Dmitry Novikov

Abstract: We consider an integrable polynomial system with generalized Darboux first integral H_0. We assume that it defines a family of real cycles in a region bounded by a polycycle. To any polynomial form ηone can associate the pseudo-abelian integrals I(h), which is the first order term of the displacement function of the system perturbed by η. We consider Darboux first integrals unfolding H_0 (an… ▽ More We consider an integrable polynomial system with generalized Darboux first integral H_0. We assume that it defines a family of real cycles in a region bounded by a polycycle. To any polynomial form ηone can associate the pseudo-abelian integrals I(h), which is the first order term of the displacement function of the system perturbed by η. We consider Darboux first integrals unfolding H_0 (and its saddle-nodes) and pseudo-abelian integrals associated to these unfoldings. Under genericity assumptions we show the existence of a uniform local bound for the number of zeros of these pseudo-abelian integrals. The result is part of a program to extend Varchenko-Khovanskii's theorem from abelian integrals to pseudo-abelian integrals and prove the existence of a bound for the number of their zeros in function of the degree of the polynomial system only. △ Less

Submitted 15 March, 2009; originally announced March 2009.

MSC Class: 34C07; 34C08

On the Number of Zeros of Abelian Integrals: A Constructive Solution of the Infinitesimal Hilbert Sixteenth Problem

Authors: Gal Binyamini, Dmitry Novikov, Sergei Yakovenko

Abstract: We prove that the number of limit cycles generated by a small non-conservative perturbation of a Hamiltonian polynomial vector field on the plane, is bounded by a double exponential of the degree of the fields. This solves the long-standing tangential Hilbert 16th problem. The proof uses only the fact that Abelian integrals of a given degree are horizontal sections of a regular flat meromorphic… ▽ More We prove that the number of limit cycles generated by a small non-conservative perturbation of a Hamiltonian polynomial vector field on the plane, is bounded by a double exponential of the degree of the fields. This solves the long-standing tangential Hilbert 16th problem. The proof uses only the fact that Abelian integrals of a given degree are horizontal sections of a regular flat meromorphic connection (Gauss-Manin connection) with a quasiunipotent monodromy group. △ Less

Submitted 6 October, 2009; v1 submitted 21 August, 2008; originally announced August 2008.

Comments: Final revision

MSC Class: 34C07; 34C08 (Primary) 34M10; 34M60; 14Q20; 32S40 (Secondary)

Journal ref: Inventiones mathematicae, August 2010, Volume 181, Issue 2, pp 227-289

On the finite cyclicity of open period annuli

Authors: Lubomir Gavrilov, Dmitry Novikov

Abstract: Let $Π$ be an open, relatively compact period annulus of real analytic vector field $X_0$ on an analytic surface. We prove that the maximal number of limit cycles which bifurcate from $Π$ under a given multi-parameter analytic deformation $X_λ$ of $X_0$ is finite, provided that $X_0$ is either Hamiltonian, or generic Darbouxian vector field. Let $Π$ be an open, relatively compact period annulus of real analytic vector field $X_0$ on an analytic surface. We prove that the maximal number of limit cycles which bifurcate from $Π$ under a given multi-parameter analytic deformation $X_λ$ of $X_0$ is finite, provided that $X_0$ is either Hamiltonian, or generic Darbouxian vector field. △ Less

Submitted 3 July, 2008; originally announced July 2008.

Comments: 22 pages, 1 figure

MSC Class: 34C07; 34C10

Journal ref: Duke Math. J. 152, no. 1 (2010), 1-26

A direct proof of one Gromov's theorem

Authors: Yu. D. Burago, S. G. Malev, D. Novikov

Abstract: We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a function $Δ_{C,n}$ such that if the Gromov--Hausdorff distance between complete Riemannian $n$-manifolds $V$ and $W$ is not greater than $δ$, absolute values of their sectional curvatures $|K_σ|\leq C$, and their injectivity radii $\geq 1/C$, then the Lipschitz distance between $V$ and $W$ is less than… ▽ More We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a function $Δ_{C,n}$ such that if the Gromov--Hausdorff distance between complete Riemannian $n$-manifolds $V$ and $W$ is not greater than $δ$, absolute values of their sectional curvatures $|K_σ|\leq C$, and their injectivity radii $\geq 1/C$, then the Lipschitz distance between $V$ and $W$ is less than $Δ_{C,n}(δ)$ and $Δ_{C,n}\to 0$ as $δ\to 0$. △ Less

Submitted 1 February, 2008; originally announced February 2008.

MSC Class: 53C21;

On limit cycles appearing by polynomial perturbation of Darbouxian integrable systems

Authors: Dmitry Novikov

Abstract: We prove an existential finiteness Varchenko-Khovanskii type result for integrals of rational 1-forms over the level curves of Darbouxian integrals. We prove an existential finiteness Varchenko-Khovanskii type result for integrals of rational 1-forms over the level curves of Darbouxian integrals. △ Less

Submitted 24 April, 2007; originally announced April 2007.

Comments: 21 pages, 2 figures, LaTeX

MSC Class: 34C07; 44A10

Hahn decomposition and Radon-Nikodym theorem with a parameter

Authors: D. Novikov

Abstract: The paper contains a simple proof of the classical Hahn decomposition theorem for charges and, as a corollary, an explicit measurable in parameter construction of a Radon-Nikodym derivative of one measure by another. The paper contains a simple proof of the classical Hahn decomposition theorem for charges and, as a corollary, an explicit measurable in parameter construction of a Radon-Nikodym derivative of one measure by another. △ Less

Submitted 13 January, 2005; originally announced January 2005.

MSC Class: 28A99

Oscillation of Fourier Integrals with a spectral gap

Authors: A. Eremenko, D. Novikov

Abstract: Suppose that Fourier transform of a function f is zero on the interval [-a,a]. We prove that the lower density of sign changes of f is at least a/pi, provided that f is a locally integrable temperate distribution in the sense of Beurling, with non-quasianalytic weight. We construct an example showing that the last condition cannot be omitted. Suppose that Fourier transform of a function f is zero on the interval [-a,a]. We prove that the lower density of sign changes of f is at least a/pi, provided that f is a locally integrable temperate distribution in the sense of Beurling, with non-quasianalytic weight. We construct an example showing that the last condition cannot be omitted. △ Less

Submitted 7 January, 2003; originally announced January 2003.

Comments: 1 Figure

MSC Class: 42A38 46F12 46F20

Lectures on meromorphic flat connections

Authors: D. Novikov, S. Yakovenko

Abstract: These notes form an extended version of a minicourse delivered in Universite de Montreal (June 2002) within the framework of a NATO workshop ``Normal Forms, Bifurcations and Finiteness Problems in Differential Equations''. The focus is on Poincare--Dulac theory of ``Fuchsian'' (logarithmic) singularities of integrable systems, with applications to problems on zeros of Abelian integrals in view… ▽ More These notes form an extended version of a minicourse delivered in Universite de Montreal (June 2002) within the framework of a NATO workshop ``Normal Forms, Bifurcations and Finiteness Problems in Differential Equations''. The focus is on Poincare--Dulac theory of ``Fuchsian'' (logarithmic) singularities of integrable systems, with applications to problems on zeros of Abelian integrals in view. △ Less

Submitted 24 December, 2002; originally announced December 2002.

MSC Class: Primary 32S40; 34M35; Secondary 34C08; 58A17

Journal ref: In: Normal forms, Bifurcations and Finiteness Problems in Differential Equations (Yu. Ilyashenko and Ch. Rousseau, eds), Kluwer, 2004, 387--430

Quasialgebraicity of Picard--Vessiot fields

Authors: Dmitry Novikov, Sergei Yakovenko

Abstract: We prove that under certain spectral assumptions on the monodromy group, solutions of Fuchsian systems of linear equations on the Riemann sphere admit explicit global bounds on the number of their isolated zeros. We prove that under certain spectral assumptions on the monodromy group, solutions of Fuchsian systems of linear equations on the Riemann sphere admit explicit global bounds on the number of their isolated zeros. △ Less

Submitted 3 June, 2002; v1 submitted 20 March, 2002; originally announced March 2002.

Comments: 39 pages (AmSLaTeX/amsart). Second revision: typos corrected, one figure added

MSC Class: Primary 34C08; 34M10; Secondary 34M15; 14Q20; 32S40; 32S65

Journal ref: Mosc. Math. J. 3 (2003), no. 2, 551--591, 744

L-convex-concave sets in real projective space and L-duality

Authors: A. Khovanskii, D. Novikov

Abstract: We define a class of L-convex-concave subsets of $\Bbb{R}P^n$, where L is a projective subspace of dimension l in $\Bbb{R}P^n$. These are sets whose sections by any (l+1)-dimensional space L' containing L are convex and concavely depend on L'. We introduce an L-duality for these sets, and prove that the L-dual to an L-convex-concave set is an $L^*$-convex-concave subset of $(\Bbb RP^n)^*$. We di… ▽ More We define a class of L-convex-concave subsets of $\Bbb{R}P^n$, where L is a projective subspace of dimension l in $\Bbb{R}P^n$. These are sets whose sections by any (l+1)-dimensional space L' containing L are convex and concavely depend on L'. We introduce an L-duality for these sets, and prove that the L-dual to an L-convex-concave set is an $L^*$-convex-concave subset of $(\Bbb RP^n)^*$. We discuss a version of Arnold hypothesis for these sets and prove that it is true (or wrong) for an L-convex-concave set and its L-dual simultaneously. △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 23pp

MSC Class: 52A30; 26B25; 52A37

On affine hypersurfaces with everywhere nondegenerate Second Quadratic Form

Authors: A. Khovanskii, D. Novikov

Abstract: Consider a closed connected hypersurface in $\mathbb{R}^n$ with constant signature (k,l) of the second quadratic form, and approaching a quadratic cone at infinity. This hypersurface divides $\mathbb{R}^n$ into two pieces. We prove that one of them contains a k-dimensional subspace, and another contains a l-dimensional subspace, thus proving an affine version of Arnold hypothesis. We construct a… ▽ More Consider a closed connected hypersurface in $\mathbb{R}^n$ with constant signature (k,l) of the second quadratic form, and approaching a quadratic cone at infinity. This hypersurface divides $\mathbb{R}^n$ into two pieces. We prove that one of them contains a k-dimensional subspace, and another contains a l-dimensional subspace, thus proving an affine version of Arnold hypothesis. We construct an example of a surface of negative curvature in $\mathbb{R}^3$ with slightly different asymptotical behavior for which the previous claim is wrong. △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 18pp

MSC Class: 52A30;26B25; 52A37

Convex-concave body in $\mathbb{R}P^3$ contains a line

Authors: A. Khovanskii, D. Novikov

Abstract: We define a class of $L$-convex-concave subsets of $\mathbb{R}P^3$, where $L$ is a projective line in $\mathbb{R}P^3$. These are sets whose sections by any plane containing $L$ are convex and concavely depend on this plane. We prove a version of Arnold hypothesis for these sets, namely we prove that each such set contains a line. We define a class of $L$-convex-concave subsets of $\mathbb{R}P^3$, where $L$ is a projective line in $\mathbb{R}P^3$. These are sets whose sections by any plane containing $L$ are convex and concavely depend on this plane. We prove a version of Arnold hypothesis for these sets, namely we prove that each such set contains a line. △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 28pp. 37 figures (ups...)

MSC Class: 52A30; 26B25; 52A37

Modules of Abelian integrals and Picard-Fuchs systems

Authors: D. Novikov

Abstract: We give a simple proof of an isomorphism between the two $\mathbb{C}[t]$-modules: the module of relative cohomologies $Λ^2/dH\land Λ^1$ and the module of Abelian integrals corresponding to a regular at infinity polynomial $H$ in two variables. Using this isomorphism, we prove existence and deduce some properties of the corresponding Picard-Fuchs system. We give a simple proof of an isomorphism between the two $\mathbb{C}[t]$-modules: the module of relative cohomologies $Λ^2/dH\land Λ^1$ and the module of Abelian integrals corresponding to a regular at infinity polynomial $H$ in two variables. Using this isomorphism, we prove existence and deduce some properties of the corresponding Picard-Fuchs system. △ Less

Submitted 5 June, 2002; v1 submitted 11 October, 2001; originally announced October 2001.

Comments: A separate section discusses Fuchsian properties of the Picard-Fuchs system, Morse condition exterminated. Few errors were corrected

MSC Class: 30.46; 34C08

Systems of linear ordinary differential equations with bounded coefficients may have very oscillating solutions

Authors: D. Novikov

Abstract: An elementary example shows that the number of zeroes of a component of a solution of a system of linear ordinary differential equations cannot be estimated through the norm of coefficients of the system alone. An elementary example shows that the number of zeroes of a component of a solution of a system of linear ordinary differential equations cannot be estimated through the norm of coefficients of the system alone. △ Less

Submitted 17 July, 2000; originally announced July 2000.

MSC Class: 34C10

Redundant Picard-Fuchs system for Abelian integrals

Authors: D. Novikov, S. Yakovenko

Abstract: We derive an explicit system of Picard-Fuchs differential equations satisfied by Abelian integrals of monomial forms and majorize its coefficients. A peculiar feature of this construction is that the system admitting such explicit majorants, appears only in dimension approximately two times greater than the standard Picard-Fuchs system. The result is used to obtain a partial solution to the ta… ▽ More We derive an explicit system of Picard-Fuchs differential equations satisfied by Abelian integrals of monomial forms and majorize its coefficients. A peculiar feature of this construction is that the system admitting such explicit majorants, appears only in dimension approximately two times greater than the standard Picard-Fuchs system. The result is used to obtain a partial solution to the tangential Hilbert 16th problem. We establish upper bounds for the number of zeros of arbitrary Abelian integrals on a positive distance from the critical locus. Under the additional assumption that the critical values of the Hamiltonian are distant from each other (after a proper normalization), we were able to majorize the number of all (real and complex) zeros. In the second part of the paper an equivariant formulation of the above problem is discussed and relationships between spread of critical values and non-homogeneity of uni- and bivariate complex polynomials are studied. △ Less

Submitted 20 January, 2000; originally announced January 2000.

Comments: 31 page, LaTeX2e (amsart)

MSC Class: 34C07; 34C08; 32S40; 14D05; 14K20; 32S20

Journal ref: J.Diff.Eq. 177 (2001) 267-306