MathLabs

未解决问题,微分方程与动力系统, 几何学,1900年提出

希尔伯特第十六问题

未解决希尔伯特 #16斯梅尔 #13

该问题包含两部分:(1)确定 RP2\mathbb{R}\mathrm{P}^2 中 nn 次非奇异实代数曲线的连通分支(卵形线)之间可能的相对位置(以及 RP3\mathbb{R}\mathrm{P}^3 中实代数曲面的情形)。(2)对于平面多项式微分系统 x˙=P(x,y)\dot{x} = P(x,y), y˙=Q(x,y)\dot{y} = Q(x,y)(其中 P,QP, Q 为次数不超过 nn 的实多项式),判定其极限环(孤立周期轨道)的个数是否存在有限的一致上界 H(n)H(n),并刻画它们可能的相对位置。

研究前沿 截至2026年

截至2026年,希尔伯特第十六问题仍然悬而未决。在其动力系统的第二部分(同时也是斯梅尔第13问题)中,个体有限性问题——即单个多项式向量场 x˙=P(x,y)\dot{x}=P(x,y), y˙=Q(x,y)\dot{y}=Q(x,y) 能否拥有无穷多个极限环——已由尤里·伊利亚申科(1991年)和让·埃卡尔(1992年)给出否定回答:他们通过证明极限环不能在奇异闭轨(polycycle)上聚积,弥补了1981年发现的杜拉克1923年论文中的漏洞。然而,所有 nn 次多项式系统极限环个数的上确界——即一致上界 H(n)H(n)——对任何 n≥2n \ge 2 甚至都还不知道是否有限。即便对二次系统(n=2n=2),尽管史松龄(1980年)已构造出含4个极限环的例子且人们普遍猜想 H(2)=4H(2)=4,将证明 H(2)<∞H(2)<\infty 归结为检验庞加莱球面上121个退化奇异图有限环性的迪莫捷–鲁萨里–鲁索纲领仍未完成。一般 nn 的下界至少按 H(n)=Ω(n2log⁡n)H(n) = \Omega(n^2 \log n) 增长(克里斯托弗–劳埃德,1995年)。在实代数几何的第一部分中,非奇异平面曲线的同痕构型已完全分类到次数 n≤7n \le 7,而次数 88 及以上的情形依然开放。

已知最佳结果

  • 每个单独的平面多项式向量场只有有限多个极限环(伊利亚申科,1991年;埃卡尔,1992年)。
  • 对二次系统有 H(2)≥4H(2) \ge 4(史松龄,1980年),对一般次数 nn 有 H(n)=Ω(n2log⁡n)H(n) = \Omega(n^2 \log n)(克里斯托弗–劳埃德,1995年),而对所有 n≥2n \ge 2,H(n)<∞H(n) < \infty 是否成立均未知。
  • 在第一部分中,非奇异实射影平面曲线的卵形线排列已通过阿诺德-罗赫林-哈尔拉莫夫同余与维罗拼布法(1980年)完全分类到次数 n≤7n \le 7。

使用的方法及其局限

方法取得的结果局限所在
扇形正规化与复生函数(伊利亚申科、埃卡尔)利用复域渐近级数与埃卡尔的复生超级数分析奇异闭轨附近的杜拉克回归映射,证明其不动点不会聚积,从而解决了个体有限性问题。非聚积论证是定性的且依赖于单个向量场;当参数趋近分岔轨迹时该论证会退化,无法给出跨越整个参数空间的一致上界 H(n)H(n)。
有限环性与退化奇异图吹胀(迪莫捷–鲁萨里–鲁索)将二次向量场(n=2n = 2)的参数空间紧化,并把证明 H(2)<∞H(2) < \infty 归结为证明121个特定极限周期集(奇异图)各自只能分岔出有限多个极限环。121种情形中若干高度退化的奇异图仍难以通过迭代吹胀完全解决,而且当次数 n≥3n \ge 3 时情形数量呈组合爆炸。

尚未解决的问题

  • 平面二次向量场的希尔伯特数 H(2)H(2) 是否有限?如果有限,是否等于4?
  • 次数 n=8n = 8 的非奇异实平面曲线的卵形线同痕构型的完整分类是什么?

参考文献

  1. David Hilbert (1900). Mathematische Probleme
  2. Yulij S. Ilyashenko (1991). Finiteness theorems for limit cycles
  3. Jean Écalle (1992). Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac
  4. Yulij Ilyashenko (2002). Centennial history of Hilbert's 16th problem · DOI:10.1090/s0273-0979-02-00946-1