结果族 143：Hilbert’s sixteenth problem: uniform bounds for limit cycles · 学科：Dynamical systems and ergodic theory · 验证状态：主结果已 Lean 形式化
一只特别的钟摆：回复力是标准的，”摩擦”却由一个五次多项式随便怎么给——有的位置给它加油、有的位置给它刹车。这样的摆可能自我维持出固定的摆动节奏，也就是极限环。1977 年三位数学家猜想：五次多项式摩擦最多逼出 2 个极限环。本文证明：猜对了，而且 2 确实取得到。
关键词卡片
@@M@@\dot x=y-F(x)@@、@@M@@\dot y=-x@@，等价于带多项式阻尼的振动方程@@M@@\deg F=n@@ 时极限环至多 @@M@@\lfloor(n-1)/2\rfloor@@ 个看个具体例子
下界靠一个显式例子（公式卡）：
@@M@@DF_\varepsilon(x)=\varepsilon\Bigl(4x-\tfrac{20}{3}x^3+\tfrac{8}{5}x^5\Bigr)\ \Longrightarrow\ Q(s,0)=-\pi s^2\,(s^2-1)(s^2-4)@@
这里 @@M@@Q(s,0)@@ 是振幅为 @@M@@s@@ 的一圈里能量净变化。它在 @@M@@s=1@@ 与 @@M@@s=2@@ 处各有一个单零点：摆幅小于 1 时能量净增、介于 1 与 2 之间时净减——于是长出两个双曲极限环，内环排斥、外环吸引，摆锤要么被推向大圈、要么被大圈收编。上界定理则保证第三个环不可能出现：无论五次多项式的系数怎么写，精确最大值就是 2。整个上界推理对 @@M@@F@@ 不设奇偶性、系数符号或环振幅的限制，退化（多重、非双曲）的环也被直接计数，不靠扰动绕过去。
为什么值得关心
五次是该猜想的最后决胜点（六次以上已被反例推翻），本文给出肯定回答，且证明已通过 Lean 机器检验，是这一结果族中最扎实的支点。
已 Lean 形式化
第一级台阶
导读里”特别的钟摆”现在可以说得更准：对象是一个回复力是标准线性、而”摩擦”由一个五次多项式随意给定的振子——有的位置给它加油、有的位置给它刹车。操作是数节奏：摩擦让能量一圈一圈地净变化，净变化恰好为零且孤立的固定摆幅，就是自我维持的极限环。1977 年的猜想问：这样的节奏最多逼出几个？本文答：两个，而且确实取得到。
第二级台阶
精确概念有三个。Liénard 系统：ẋ=y−F(x)、ẏ=−x，等价于二阶方程 x″+F′(x)x′+x=0，其中原函数 F 是次数至多 5 的实多项式，阻尼多项式 F′ 次数至多 4。极限环：孤立于其他周期轨道的闭合轨道，几何像只计一次，不问重数、稳定性与双曲性。Lins Neto–de Melo–Pugh 猜想：deg F=n 时极限环至多 ⌊(n−1)/2⌋ 个；五次给 2，而六次起已被反例推翻，故五是最后的决胜点。
第三级台阶
定理在无任何奇偶性、系数符号、振幅限制的语境下陈述：deg F≤5 时至多两个极限环，且显式例子达到 2。挡住麻烦的假设恰是”deg F≤5”本身——证明依赖五次系数结构的完备符号分割（按奇部两个系数的符号分四种情形），高次不再成立。方法上，在每个半平面换元 u=x²/2 把轨道写成拱，偶系数给出左右两个剖面的公共二次部分、奇部分只变号，于是以二次剖面为比较族；全局插值定理把每段拱的形状拟合为斜率与曲率两个参数，输运方程与模型不等式控制它们沿拱演化，周期轨道最终化为一个中点差函数的孤立零点，按四种情形分别数清。
对经典 Liénard 系统 @@M@@\dot x=y-F(x)@@、@@M@@\dot y=-x@@，当 @@M@@F@@ 是次数至多 5 的实多项式时，系统至多有两个几何上不同的孤立周期轨道，且该界可以达到——精确最大值就是 2。这证明了 Lins Neto–de Melo–Pugh 猜想的五次情形。
经典 Liénard 系统等价于标量方程 @@M@@x''+F'(x)x'+x=0@@：阻尼项由多项式 @@M@@F'(x)@@ 给出，回复力恰为 @@M@@x@@，因此长期被视为希尔伯特第十六问题第二部分中最著名、兼具简单性与代表性的试验场。1977 年 Lins Neto、de Melo 与 Pugh 猜想：@@M@@\deg F=n@@ 时极限环（limit cycle）至多 @@M@@\lfloor(n-1)/2\rfloor@@ 个。Rychkov 证明了奇五次原函数（odd primitive）的情形；此后 Dumortier–Panazzolo–Roussarie 在 7 次造出 4 个环，De Maesschalck–Dumortier 在 6 次造出 4 个环，De Maesschalck–Huzak 更在每个 @@M@@n\ge6@@ 造出至少 @@M@@n-2@@ 个环——猜想在 6 次及以上被推翻，唯独 5 次悬而未决。此前已知 Li–Llibre 的 4 次界为 1，Li–Lu 的结果只覆盖非退化慢-快（slow–fast）环的极限体制。论文还顺带澄清：Hernández Rosales 提议的五次 4 环例子经换元后恰是 Odani 的例子，实际只有两个环，其振幅计算有误。
定理：若 @@M@@\deg F\le5@@，则系统在全平面至多有两个极限环；类中存在恰有两个极限环的成员，故精确最大值为 2。证明对 @@M@@F@@ 不设奇偶性、系数符号或环振幅的限制，几何像只计一次；退化（多重、非双曲）环被直接计数，不借助通用扰动移除。由于 @@M@@\lfloor(5-1)/2\rfloor=2@@ 而反例从 6 次才开始，五次正是 Lins Neto–de Melo–Pugh 猜想的最后决胜点，本文给出肯定回答。
上界证明采用”逐半轨比较”。偶次系数阻止化归到奇五次族，小振幅计算又管不住远处的环，于是在每个半平面令 @@M@@u=x^2/2@@，把轨道改写成满足 @@M@@u_y=\phi_\pm(u)-y@@ 的拱，其中 @@M@@\phi_\pm(u)=F(\pm\sqrt{2u})=d_0u+b_0u^2\pm p(u)@@，@@M@@p(u)=eu^{1/2}+cu^{3/2}+au^{5/2}@@：偶系数给出两个剖面的公共二次部分，奇部分只变号。以二次剖面 @@M@@q_{\lambda,\kappa}(u)=\lambda u+\kappa u^2/2@@ 为比较族。先证全局插值定理：每个容许的中点数据 @@M@@(M,M_r)@@（@@M@@r@@ 为半宽）在 @@M@@r>0@@、@@M@@|M|<r@@、@@M@@|M_r|<1@@ 内被 @@M@@(\lambda,\kappa)@@ 唯一拟合，且 Jacobi 行列式非零。拟合参数沿拱满足两条输运方程，其系数是二次中点函数的导数；核心的模型不等式 @@M@@(R/G)_r\le0@@ 把符号控制化归为量 @@M@@\mathcal W=RS_r-SR_r@@ 的符号传输：小宽度展开提供初值，端点恒等式与 Riccati 线性化排除可能的零点，其证明还用到 Schwarzian 导数恒等式。沿拱输运后，@@M@@\phi'''@@ 与 @@M@@(\phi'-d)/u@@ 的条件转化为拟合曲率与斜率截距的单调性、分离性命题（对一般光滑剖面成立）。周期轨道则是公共宽度区间上两个高度零中点函数之差 @@M@@\Delta(r)@@ 的零点。按 @@M@@e,c@@ 的符号分四种情形：@@M@@e\ge0,c\ge0@@ 时两拱不可能闭合，根本无周期轨道；@@M@@e\ge0,c<0@@ 时 @@M@@p'''>0@@ 使 @@M@@q=\kappa_+-\kappa_-@@ 非减，且 @@M@@\Delta'=A\Delta+Bq@@（@@M@@B>0@@），乘积分因子后 @@M@@\Delta'@@ 等于正因子乘非减函数，由计数引理至多两个孤立零；@@M@@e<0,c\ge0@@ 与 @@M@@e<0,c<0@@ 两种情形分别用曲率间隙与截距分离证得 @@M@@\Delta@@ 在每个零点处导数为正，至多一个零。下界取 @@M@@F_\varepsilon(x)=\varepsilon\bigl(4x-\frac{20}{3}x^3+\frac85x^5\bigr)@@：能量恒等式 @@M@@\dot E=-\varepsilon xf(x)@@ 给出平均化位移 @@M@@Q(s,0)=-\pi s^2(4-5s^2+s^4)@@，在 @@M@@s=1,2@@ 处有单零点，隐函数定理据此产生两个双曲环，内环斥、外环吸，最大值 2 达到。
本篇主结果已附 Lean 形式化证明，是族 143 中目前获机器检验背书的断言。姊妹篇《Uniform bounds for planar polynomial limit cycles》在同一族内证明一般多项式向量场的一致有界性（常数有限但非有效），本篇则在最受限的 Liénard 子族给出精确常数，两篇共同支撑该族的核心叙事。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇上界推理已形式化，姊妹篇仍待社区核验。另外，对 Hernández Rosales 例子的澄清基于文献中 Odani 的经典结论，读者可独立核对。
问 1：证明中最关键、最脆弱的一步是什么？
（答：模型不等式 (R/G)_r≤0（thm:model-inequality）。二次拟合的斜率与曲率沿拱满足两条输运方程，符号控制被归结为 W=RS_r−SR_r 的符号传输；该不等式把比较法从局部小振幅推到一切横截振幅，证明组合了端点变分、Riccati 线性化与端点对应关系的 Schwarzian 恒等式。若传输在某宽度失效，后续的四情形计数全部失去地基。）
问 2：为什么不干脆化归到 Rychkov 已证的奇五次情形？
（答：化归被偶次系数堵死：换元 u=x²/2 后左右两剖面 φ±(u)=d₀u+b₀u²±p(u)，偶系数给公共二次部分、奇部分变号——只有奇 F 时两剖面对称，一般情形必须分别处理。同样，小振幅计算管不住远处的环，所以比较必须在”每个横截振幅都可用”的坐标下进行。这也是为什么 Li–Lu 的非退化慢–快极限体制结果不能直接回答无限制问题——2026 年 8 月的 CLZZ 预印本仍把该问题列为公开。）
问 3：与已有工作相比真正的新意是什么？
（答：这是首个无奇偶性、无系数符号假设、退化环直接计数的五次全局界。Rychkov 只证奇五次原函数；Li–Llibre 给四次界 1；Li–Lu 只覆盖非退化慢–快环。另一个新意是纠错：Hernández Rosales 提议的五次 4 环例子经 x=√5·u 换元后恰是 Odani 的例 3，实际只有两个环——其振幅方程 2X⁴−10X²+5=0 的根是 X²=(5±√15)/2，不是宣称的 1 和 4。）
问 4：为什么坚持直接计数退化环，而不像多数文献那样用通用扰动移除？
（答：本文计数约定是几何像只计一次、中心的周期轨道族不算极限环；若靠扰动把多重环打散，扰动后的环数与孤立周期轨道数的关系需要额外论证，且非双曲孤立环容易被漏计。计数引理走的是另一条路：Δ′=A·Δ+B·q（B>0）乘积分因子后 Δ′ 等于正因子乘非减函数，孤立零点至多两个——即使零点多重甚至成区间也成立。）
问 5：作为 AI 生成证明，它最可能的出错模式是什么？
| （答：主结果已 Lean 形式化，核心风险显著低于姊妹篇；剩余风险在形式化与文本的对接处：四情形符号分割是否覆盖全部参数组合、输运方程系数（二次中点函数的导数）的推导、以及全局插值定理 Jacobi 行列式在边界 | M | <r、 | M_r | <1 附近的非退化性。此外下界例子的能量恒等式 Q(s,0)=−πs²(s²−1)(s²−4) 与隐函数定理产生双曲环的论证属常规但量多。） |
问 6：这个结果谁会用到？
（答：希尔伯特第十六问题社区得到了最著名试验场的精确答案：五次 Liénard 系统的最大极限环数就是 2，为姊妹篇的非有效一致界 B(d) 提供了 d=5 附近的校准点。逐半轨比较＋二次拟合＋Schwarzian 传输的工具组合对一般光滑剖面成立（论文的命题独立于多项式应用陈述），可能推广到其他 Liénard 类或更广的方程。）
总评
这是 Lins Neto–de Melo–Pugh 猜想最后决胜点的干净解决：精确常数、Lean 检验、顺带纠正文献错误，是结果族 143 最扎实的支点；最大剩余风险只在形式化覆盖范围之外的分析细节。