[論文レビュー] On the Number of Zeros of Abelian Integrals: A Constructive Solution of the Infinitesimal Hilbert Sixteenth Problem

Gal Binyamini, Dmitry Novikov+1 more|arXiv (Cornell University)|Aug 21, 2008

Advanced Differential Equations and Dynamical Systems参考文献 49被引用数 5

ひとこと要約

この論文は、ハミルトニアン系の小さな多項式摂動における非特異なエネルギー準位オービットから分岐する極小サイクルの数に対する二重指数的上界を確立することで、無限小ヒルベルト16番目の問題に対する構成的解法を提供する。証明は、準単位的モノドロミーを有する正則な平坦な有理型接続としてのアーベル積分の構造に依拠し、ファクス型系の性質とピカード＝フック方程式の複雑さに対する有効な境界を活用する。

ABSTRACT

We prove that the number of limit cycles generated by a small non-conservative perturbation of a Hamiltonian polynomial vector field on the plane, is bounded by a double exponential of the degree of the fields. This solves the long-standing tangential Hilbert 16th problem. The proof uses only the fact that Abelian integrals of a given degree are horizontal sections of a regular flat meromorphic connection (Gauss-Manin connection) with a quasiunipotent monodromy group.

研究の動機と目的

• ハミルトニアン系の多項式摂動における非特異なエネルギー準位オービットから生じる極小サイクルの数に対する有効な上界を提供することで、長年の未解決問題である無限小ヒルベルト16番目の問題を解決すること。
• このような摂動から生じるアーベル積分の零点数に対する、定性的または漸近的議論に依存しない、構成的かつ定量的な境界を確立すること。
• 極小サイクルの数がハミルトニアンおよび摂動多項式の次数の二重指数関数的に有界であることを示すこと。
• ガウス＝ミン接続とモノドロミー性質に基づく枠組みを構築し、数論的および代数的幾何的設定においてアーベル積分の零点構造を分析すること。
• アーベル積分に関連するピカード＝フック系の複雑さが有効に制御され、係数の次数とサイズがハミルトニアンの次数の二重指数関数的に有界であることを証明すること。

提案手法

• ガウス＝ミン接続を用いて、アーベル積分を有理数体上に定義された準単位的モノドロミーを有する正則な平坦な有理型接続の水平切断として扱う。
• アーベル積分の零点数を数える問題を、正則な特異点を有する線形微分方程式系（ファクス型系）の解の解析に還元する。
• 導出された微分方程式族の勾配の増大を制御するための「量子化原理」を適用し、零点数に対する有効な境界を保証する。
• ゲルファンド＝レーラー微分を用いて、周期の偏微分を有理型1次形式の積分として表現し、ピカード＝フック系の再帰的導出を可能にする。
• 余りを用いたdHによる除法を用いてピカード＝フック系を明示的に導出し、次数とサイズが制御された行列関数として高階微分を表現する。
• ペトロフモジュールにおける有効な分解と多項式ノルムを用いて、得られる微分方程式およびその解の複雑さを有効に制限する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン系の小さな多項式摂動において、非特異なエネルギー準位オービットから生じる極小サイクルの最大数は何か？
• RQ2 アーベル積分の零点数は、摂動の具体的な形に依存せずに有効に境界づけられるか？
• RQ3 与えられた次数のアーベル積分に関連するピカード＝フック系の複雑さは何か？ そしてそれは零点構造にどのように影響するか？
• RQ4 ガウス＝ミン接続のモノドロミーと勾配を用いて、多価関数としての行列関数の零点数に対する有効な境界を導出できるか？
• RQ5 ハミルトニアンおよび摂動多項式の次数に関して、構成的で二重指数的境界を極小サイクルの数に対して確立できるか？

主な発見

• ハミルトニアン系の小さな多項式摂動において、非特異なエネルギー準位オービットから生じる極小サイクルの数は、ハミルトニアンの次数の二重指数関数的に有界である。
• アーベル積分に関連するピカード＝フック系の係数はℚ(λ)に属し、ハミルトニアンの次数nに関する多項式で次数が有界であり、サイズは2^{Poly(n)}で有界である。
• ゲルファンド＝レーラー微分により、周期の偏微分を有理型1次形式の積分として効率的に計算でき、ピカード＝フック系の再帰的導出が可能になる。
• ガウス＝ミン接続のモノドロミー群は準単位的であり、これによりファクス型系の解の零点数に対する有効な境界の適用が可能になる。
• アーベル積分の零点のクラスタ直径は半代数的であり、1パラメータの準単位的族において局所的に有界であるため、零点分布の制御が可能になる。
• 証明により、無限小ヒルベルト16番目の問題に対する構成的解法が確立され、力学系および微分方程式分野における長年の未解決問題が解決された。