Uniform finiteness in Hilbert's sixteenth problem

OPENIconicOpen problemProposed 1900 · Standard version

Canonical statement

For every integer d2d\ge2, there is an integer H(d)<H(d)<\infty such that every planar polynomial vector field
x˙=P(x,y),y˙=Q(x,y),max{degP,degQ}d, \dot x=P(x,y),\qquad \dot y=Q(x,y),\qquad \max\{\deg P,\deg Q\}\le d,
having only finitely many limit cycles has at most H(d)H(d) limit cycles. A limit cycle is an isolated periodic orbit.
View source LaTeX
For every integer \(d\ge2\), there is an integer \(H(d)<\infty\) such that every planar polynomial vector field \[ \dot x=P(x,y),\qquad \dot y=Q(x,y),\qquad \max\{\deg P,\deg Q\}\le d, \] having only finitely many limit cycles has at most \(H(d)\) limit cycles. A limit cycle is an isolated periodic orbit.

The second part of Hilbert's sixteenth problem asks whether the number of limit cycles — isolated periodic orbits — of a planar polynomial vector field x˙=P(x,y)\dot x=P(x,y), y˙=Q(x,y)\dot y=Q(x,y) can be bounded uniformly in terms of the degree alone: for each d2d\ge2 there should be a finite H(d)H(d) valid for every field with max{degP,degQ}d\max\{\deg P,\deg Q\}\le d. The problem appeared in Hilbert's celebrated 1900 list [Hilbert1902MathematicalProblems].

The non-uniform half of the question, Dulac's problem, is settled: Écalle and Ilyashenko independently proved that each fixed polynomial field has only finitely many limit cycles [Ilyashenko1991FinitenessLimitCycles]. Those proofs, however, yield no bound depending only on dd, and no value of H(d)H(d) is known even for d=2d=2. Quantitative progress has instead concentrated on restricted versions, notably the tangential Hilbert sixteenth problem for perturbations of Hamiltonian fields [Yakovenko2001QuantitativeHilbert].

Recently claimed elementary formulas for H(d)H(d) have been examined and explicitly refuted [BuzziNovaes2024HilbertAttempt]. The problem remains open; a resolution requires finiteness arguments that behave uniformly across the whole degree-dd family rather than working field by field.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.