[論文レビュー] 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.

研究の動機と目的

• 多項式のスパarsityをニュートン多面体で捉えるスパースな場合に、古典的なダルブーおよびジアナウヌの定理を第一積分について拡張すること。
• これらの定理における次数に基づく境界を、ベクトル場のニュートン多面体内の整数点の数に基づく境界に置き換えること。
• 提案された境界が最適であることを、境界がタイトになる明示的な反例を構成することで示すこと。
• 係数がゼロである多項式系における可積分性を分析するための枠組みを提供すること。幾何学的・代数的道具をスパース多項式理論から用いる。

提案手法

• xᵢ が一般の複素数であるとき、ローレンツ多項式 ∑ᵢ xᵢ Aᵢ / Xᵢ の指数の凸包として、ニュートン多面体 ND を定義する。
• ベクトル ν ∈ ℤⁿ に対する多項式 f の重み付き次数 degν(f) を定義する。これは、多面体 N(f) 上での ν·m の最大値を測定する。
• 任意のダルブー多項式 f とその共因子 g に対して、N(g) ⊆ ND ∩ ℤⁿ であることを証明し、共因子のスパarsityを確立する。
• すべての共因子が、B = |ND ∩ ℤⁿ| 個の整数点を持つ複素ベクトル空間に属することを用いて、共因子同士の線形従属関係を導出する。
• [LZ10] の戦略を活用し、有理数係数を持つ n 個の線形従属な共因子関係が存在する場合、有理関数的第一積分が存在することを示す。
• 有理関数的第一積分をもたないが、正確に B + n − 1 個のダルブー多項式を持つ導分の反例を構成することで、境界が最適であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 スパースな場合において、ダルブーおよびジアナウヌの定理における古典的な次数に基づく境界を、ニュートン多面体のサイズに基づくものに置き換えることは可能か？
• RQ2 ニュートン多面体内の整数点の数に基づく提案された境界は、有理関数的第一積分の存在に関して最適か？
• RQ3 ニュートン多面体で測定される多項式ベクトル場のスパarsityは、ダルブー第一積分および有理関数的第一積分の存在と構造にどのように影響するか？
• RQ4 ダルブー多項式の共因子がスパースであることを示すことは可能か？また、そのスパarsityは、可能な第一積分の空間をどのように制約するか？

主な発見

• ローレンツ多項式 ∑ᵢ xᵢ Aᵢ / Xᵢ のニュートン多面体 ND に含まれる整数点の数 B が、可積分性の臨界閾値を決定する。
• 導分に少なくとも B + 1 個のダルブー多項式が存在する場合、それらの多項式のべき乗の積として表されるダルブー第一積分が存在する。
• 導分に少なくとも B + n 個のダルブー多項式が存在する場合、有理関数的第一積分が存在する。すなわち、ℂ(X₁, ..., Xₙ) に属する第一積分が存在する。
• 有理関数的第一積分の境界 B + n は、有理関数的第一積分をもたないが正確に B + n − 1 個のダルブー多項式を持つ導分の構成により、最適であることが示された。
• 密な場合（すべての係数が非ゼロ）では、B は二項係数 (n + d − 1 choose n) に等しくなる。これは、ダルブーおよびジアナウヌの古典的境界を回復する。
• スパース系、例えば 3 つの非ゼロ項（例：X₁^e X₂^e, X₁^{e−1} X₂^e, X₁^e X₂^{e−1}, X₁^0 X₂^0）を持つ系では、B = 3e となり、次数 d = 2e に対して線形に増加するが、古典的境界は二次的に増加するため、顕著な改善が得られる。