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

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.Comment: Final revisio

On the Number of Embeddings of Minimally Rigid Graphs

Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with $n$ vertices. We show that, modulo planar rigid motions, this number is at most ${{2n-4}\choose {n-2}} \approx 4^n$. We also exhibit several families which realize lower bounds of the order of $2^n$, $2.21^n$ and $2.88^n$. For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety $CM^{2,n}(C)\subset P_{{{n}\choose {2}}-1}(C)$ over the complex numbers $C$. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with $2n-4$ hyperplanes yields at most $deg(CM^{2,n})$ zero-dimensional components, and one finds this degree to be $D^{2,n}={1/2}{{2n-4}\choose {n-2}}$. The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences. The same approach works in higher dimensions. In particular we show that it leads to an upper bound of $2 D^{3,n}= {\frac{2^{n-3}}{n-2}}{{n-6}\choose{n-3}}$ for the number of spatial embeddings with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions

Error analysis and model adaptivity for flows in gas networks

In the simulation and optimization of natural gas flow in a pipeline network, a hierarchy of models is used that employs different formulations of the Euler equations. While the optimization is performed on piecewise linear models, the flow simulation is based on the one to three dimensional Euler equations including the temperature distributions. To decide which model class in the hierarchy is adequate to achieve a desired accuracy, this paper presents an error and perturbation analysis for a two level model hierarchy including the isothermal Euler equations in semilinear form and the stationary Euler equations in purely algebraic form. The focus of the work is on the effect of data uncertainty, discretization, and rounding errors in the numerical simulation of these models and their interaction. Two simple discretization schemes for the semilinear model are compared with respect to their conditioning and temporal stepsizes are determined for which a well-conditioned problem is obtained. The results are based on new componentwise relative condition numbers for the solution of nonlinear systems of equations. More- over, the model error between the semilinear and the algebraic model is computed, the maximum pipeline length is determined for which the algebraic model can be used safely, and a condition is derived for which the isothermal model is adequate.DFG, TRR 154, Mathematische Modellierung, Simulation und Optimierung am Beispiel von Gasnetzwerke

On the number of zeros of Melnikov functions

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