[论文解读] Darboux theory of integrability in the sparse case

Guillaume Chèze|arXiv (Cornell University)|Oct 29, 2012

Advanced Differential Equations and Dynamical Systems参考文献 20被引用 10

一句话总结

本文通过用向量场关联的洛朗多项式牛顿多面体中的整数点数量代替传统的次数界，推广了达布和朱阿诺的多项式向量场首次积分定理。证明了 B + 1 个达布多项式蕴含一个达布首次积分，B + n 个则蕴含一个有理首次积分，其中 B 为牛顿多面体中的整数点数量；通过显式反例证明该界是最优的。

ABSTRACT

Darboux's theorem and Jouanolou's theorem deal with the existence of first integrals and rational first integrals of a polynomial vector field. These results are given in terms of the degree of the polynomial vector field. Here we show that we can get the same kind of results if we consider the size of a Newton polytope associated to the vector field. Furthermore, we show that in this context the bound is optimal.

研究动机与目标

• 将经典的达布与朱阿诺首次积分定理推广至稀疏情形，其中多项式稀疏性由牛顿多面体刻画。
• 将这些定理中的基于次数的界替换为基于向量场洛朗多项式牛顿多面体中整数点数量的界。
• 通过构造显式反例，证明所提出的界是最优的。
• 提供一种分析系数为零的多项式系统可积性的框架，结合稀疏多项式理论中的几何与代数工具。

提出的方法

• 将牛顿多面体 ND 定义为洛朗多项式 ∑ᵢ xᵢ Aᵢ / Xᵢ 的指数的凸包，其中 xᵢ 为一般复数。
• 为关于向量 ν ∈ ℤⁿ 的多项式 f 引入加权次数 degν(f)，其度量 ν·m 在多面体 N(f) 上的最大值。
• 证明任一达布多项式 f 与其余因子 g 满足 N(g) ⊆ ND ∩ ℤⁿ，从而确立余因子的稀疏性。
• 利用所有余因子属于维数为 B 的复向量空间（其中 B 为 ND ∩ ℤⁿ 中的整数点数量）的性质，推导出余因子之间的线性相关关系。
• 借鉴 [LZ10] 的策略，证明当存在 n 个具有有理系数的线性相关余因子关系时，蕴含存在有理首次积分。
• 构造一个反例：其无有理首次积分，但恰好有 B + n − 1 个达布多项式，从而证明该界是紧致的。

实验结果

研究问题

• RQ1 经典达布与朱阿诺定理中的基于次数的界是否可被稀疏情形下基于牛顿多面体大小的界所替代？
• RQ2 以牛顿多面体中整数点数量表示的该界是否对有理首次积分的存在性是最优的？
• RQ3 以牛顿多面体衡量的多项式向量场稀疏性如何影响达布首次积分与有理首次积分的存在性与结构？
• RQ4 能否证明达布多项式的余因子具有稀疏性，以及这种稀疏性如何约束可能的首次积分空间？

主要发现

• 洛朗多项式 ∑ᵢ xᵢ Aᵢ / Xᵢ 的牛顿多面体 ND 中的整数点数量 B 决定了可积性的临界阈值。
• 若一个导出算子至少包含 B + 1 个达布多项式，则其存在一个达布首次积分，即这些多项式的幂的乘积。
• 若一个导出算子至少包含 B + n 个达布多项式，则其存在一个有理首次积分，即属于 ℂ(X₁, ..., Xₙ) 的首次积分。
• 有理首次积分的界 B + n 是最优的，通过构造一个无有理首次积分但恰好有 B + n − 1 个达布多项式的导出算子得以证明。
• 在稠密情形（所有系数非零）下，B 等于二项式系数 (n + d − 1 choose n)，从而恢复达布与朱阿诺的经典界。
• 对于稀疏系统（如仅含三项非零项，例如 X₁^e X₂^e, X₁^{e−1} X₂^e, X₁^e X₂^{e−1}, X₁^0 X₂^0），B = 3e 随次数 d = 2e 线性增长，而经典界呈二次增长，显示出显著改进。