[論文レビュー] Action de derivations irreductibles sur les algebres quasi-regulieres d'Hilbert

Abderaouf Mourtada|ArXiv.org|Dec 8, 2009

Advanced Differential Equations and Dynamical Systems参考文献 12被引用数 4

ひとこと要約

本稿は、原点における実解析的関数の芽のヒルベルトの準正則代数への非可約導分作用の作用を調査し、これらの代数が局所的に $χ$-有限であり、微分イデアルと横断的イデアルの間に二重包含性を満たすことを確立する。主たる貢献は、$S^2$ 上のコンパクトな解析的ベクトル場族における双曲的多角形の極小周期軌道の非蓄積性の証明であり、微分代数と帰納的漸近解析によるリターン写像の分析を通じて、一般化されたヒルベルト16番目の問題の中心的ケースを解決する。

ABSTRACT

We study the action of irreducible derivations X on some Hilbert's quasi-regular algebras QRH of germes at 0 of analytic functions on (U,0), where U is a semi-algebraic set: that is, we show that these algebras are X-finite or locally X-finite, ie. the degre of the integral projection is finite by restriction to fibers of elements of QRH, and the differential ideals are noetherian or locally noetherian. We then give an important application of this material to the Hilbert's 16th problem about limit cycles: there is no accumulation of limit cycles on hyperbolic polycycles, inside compact analytic families of vector fields on the 2-sphere. This is a highly non trivial result as it includes the case of polycycle that is an accumulation of cycles.

研究の動機と目的

• 準正則ヒルベルト代数における実解析的関数の芽の微分イデアルの非可約導分作用下での有限性性質の確立。
• 境界因子を除く微分イデアルとその横断的イデアルの飽和との間の二重包含性の証明。
• 双曲的多角形における極小周期軌道の蓄積がないことを示すことにより、$S^2$ 上のコンパクトな解析的ベクトル場族に対する一般化されたヒルベルト16番目の問題の解決。
• 微分イデアルとリターン写像の文脈において、代数的および漸近的技法を用いたベクトル場の局所的力学の分析フレームワークの構築。
• ジェット近似とリターン写像の局所的準備を用いて、コホヴァンスキーの少項式理論を退化的かつ非一般的状況へと拡張する。

提案手法

• 本稿は、$χ$-正則性と $χ$-有限性の概念を用いて、導分 $χ$ の軌道に沿った射影写像の次数を分析する。
• 有限ジェットを用いた摂動された多角形のリターン写像 $p_ν$ の局所的準備を適用し、これによりコホヴァンスキー理論の適用が可能になる。
• 主な技術的手段として、$χ$ のフローに関して不変な領域の局所的有限分割を構成し、微分イデアルの局所ネーター性を保証する。
• パラメータにおける単項式の辞書式順序と、代数 ${\cal B}$ における形式的・解析的除法アルゴリズムを用いるが、クルル位相と収束性に適合させる。
• 形式的級数と収束級数を結ぶジェット切断写像 $\mathbb{j}_X^n$ を用い、代数的設定下での陰関数定理の適用を可能にする。
• 主結果の証明には、代数 $QR{\cal H}(x,\alpha^\prime)$ における除法の一意性と、ジェット切断によるサポートの不変性を用い、収束性および有限性性質の持ち上げを行う。

実験結果

リサーチクエスチョン

• RQ1 準正則ヒルベルト代数における関数の芽 $f$ の微分イデアルは、境界因子を除いてその横断的イデアルの飽和と一致するか？
• RQ2 有限ジェット近似を用いて、双曲的多角形のリターン写像を制御することは可能か？その結果、固定点の数とその重複度が有限になるように保証できるか？
• RQ3 半代数的集合 $Υ$ 上の実解析的関数の芽の代数は、非可約導分 $χ$ の作用下で $Υ$-有限か？
• RQ4 コンパクトな解析的ベクトル場族において、多角形が蓄積集合であっても、$S^2$ 上の双曲的多角形における極小周期軌道の非蓄積性は成立するか？
• RQ5 リターン写像のジェットの少項式構造から、その固定点の数の有限性を導くことは可能か？

主な発見

• 代数 $QR{\cal H}$ は局所的に $\chi$-有限である：任意の関数の芽 $f$ に対して、微分イデアル $I_{\chi,f}$ は代数の局所的拡張においてネーター的である。
• 任意の関数の芽 $f$ に対して、代数的重複度 $ma_\chi(f)$ が存在し、$f$ の微分イデアルは、境界 $(\partial U,0)$ 上でのみ消える因子を除いて、その横断的イデアルの飽和と一致する。
• 摂動された双曲的多角形のリターン写像 $p_\nu$ は、有限個の固定点と有限重複度を持ち、これは写像の有限ジェットによって制御される。
• 主結果として、コンパクトな解析的ベクトル場族における $S^2$ 上の双曲的多角形では、極小周期軌道の蓄積がないことが確立された。退化的状況でも成立する。
• $QR{\cal H}(x,\alpha^\prime)$ における除法アルゴリズムにより、サポートの制御が可能となり、一意因数分解が保証され、解の収束性および解析接続が可能になる。
• $QR{\cal H}$ において逆関数定理が成り立つ：$f = x(1+O(x))$ ならば、代数内に一意に逆関数 $g = y(1+O(y))$ が存在する。