Hilbert’s sixteenth problem

The sixteenth problem of the Hilbert’s problems is one of the initial problem lectured at the International Congress of Mathematicians. The problem actually comes in two parts, the first of which is:

The maximum number of closed and separate branches which a plane algebraic curve of the $n$-th order can have has been determined by Harnack. There arises the further question as to the relative position of the branches in the plane. As to curves of the $6$-th order, I have satisfied myself-by a complicated process, it is true-that of the eleven branches which they can have according to Harnack, by no means all can lie external to one another, but that one branch must exist in whose interior one branch and in whose exterior nine branches lie, or inversely. A thorough investigation of the relative position of the separate branches when their number is the maximum seems to me to be of very great interest, and not less so the corresponding investigation as to the number, form, and position of the sheets of an algebraic surface in space. Till now, indeed, it is not even known what is the maxi mum number of sheets which a surface of the $4$-th order in three dimensional space can really have.[HD]

and the second problem:

In connection with this purely algebraic problem, I wish to bring forward a question which, it seems to me, may be attacked by the same method of continuous variation of coefficients, and whose answer is of corresponding value for the topology of families of curves defined by differential equations. This is the question as to the maximum number and position of Poincaré’s boundary cycles (cycles limites) for a differential equation of the first order and degree of the form

$$\frac{dy}{dx}=\frac{Y}{X}$$

where $X$ and $Y$ are rational integral functions of the $n$-th degree in $x$ and $y$. Written homogeneously, this is

$$X\left(y\frac{dz}{dt}-z\frac{dy}{dt}\right)+Y\left(z\frac{dx}{dt}-x\frac{dz}{dt}\right)+Z\left(x\frac{dy}{dt}-y\frac{dx}{dt}\right)=0$$

where $X$, $Y$, and $Z$ are rational integral homogeneous functions of the $n$-th degree in $x$, $y$, $z$, and the latter are to be determined as functions of the parameter $t$. [HD]

The first part:

The second part:
Find a maximum natural number $H(n)$ of the number of limit cycles and relative position of limit cycles of a vector field

$\dot{x}=p(x,y)$ $=$ ${\displaystyle \sum _{i+j=0}^n}{a}_{ij}{x}^i{y}^j$

$\dot{y}=q(x,y)$ $=$ ${\displaystyle \sum _{i+j=0}^n}{b}_{ij}{x}^i{y}^j.$

[DRR]

As of now neither part of the problem (i.e. the bound and the positions of the limit cycles) are solved. The difficulty of the problem can be demonstrated by the fact that even the quadratic case $H(2)$ is not solved (see Hilbert’s 16th problem for quadratic vector fields). The only known case is the linear case where $H(1)=0$.

Definition:
$H\mathbf{}\mathrm{(}n\mathrm{)}$ is called the Hilbert number.

Progress and attempts of the second part:

• 1923, $H(n)$ is finite for a polynomial system of degree $n$ (i.e. finite number of limit cycle) by Dulac [DH] (see Dulac’s Theorem).

• 1981, An error is found in the proof of Dulac of Dulac’s Theorem by Yulij Ilyashenko.

• 1988, Jean Ecalle[EJ], Jacques Martinet, Robert Moussu, Jean Pierre Ramis and independently Yulij Ilyashenko[IY91] prove Dulac’s Theorem.

• 1995, C. J. Christopher shows the following lower bound $H(n)\ge n^2\log n$.[CL]

See also:

• David Hilbert, http://www.mathematik.uni-bielefeld.de/ kersten/hilbert/rede.htmlMathematische Probleme

• David Hilbert, http://aleph0.clarku.edu/ djoyce/hilbert/problems.htmlMathematical Problems

• Wikipedia, http://en.wikipedia.org/wiki/Hilberts_sixteenth_problemHilbert’s sixteenth problem

note: Under construction! If someone can help with the first part that would be great. I will add reference to the historical notes when I go to school.

Title	Hilbert’s sixteenth problem
Canonical name	HilbertsSixteenthProblem
Date of creation	2013-03-22 16:05:54
Last modified on	2013-03-22 16:05:54
Owner	Daume (40)
Last modified by	Daume (40)
Numerical id	8
Author	Daume (40)
Entry type	Definition
Classification	msc 01A67
Classification	msc 34C07
Classification	msc 01A60
Defines	Hilbert number