[論文レビュー] Quantitative theory of ordinary differential equations and tangential Hilbert 16th problem

Sergeî Yakovenko|arXiv (Cornell University)|Apr 12, 2001

Advanced Differential Equations and Dynamical Systems参考文献 32被引用数 14

ひとこと要約

本稿は、Fuchs型常微分方程式系の解の零点に関する定量的理論を構築し、行列の因数分解と漸近解析を用いて、孤立した零点の数に対する明示的な上界を確立する。主な貢献は、系のパラメータに関して構成的で原始再帰的な上界としての循環性の上限を提示することであり、解析的・代数的技法を用いて、接線型ヒルベルト16番目の問題への重要な一歩を解決する。

ABSTRACT

These highly informal lecture notes aim at introducing and explaining several closely related problems on zeros of analytic functions defined by ordinary differential equations and systems of such equations. The main incentive for this study was its potential application to the tangential Hilbert 16th problem on zeros of complete Abelian integrals. The exposition consists mostly of examples illustrating various phenomena related to this problem. Sometimes these examples give an insight concerning the proofs, though the complete exposition of the latter is mostly relegated to separate expositions. For related and quoted articles, check the author's homepage http://www.wisdom.weizmann.ac.il/~yakov .

研究の動機と目的

• Fuchs型系の解の孤立零点の均一的有限性を確立し、接線型ヒルベルト16番目の問題の核心的課題に対処する。
• 微分方程式から生じるパラメトリックな解析関数族における零点の循環性を推定する定量的枠組みを構築する。
• 行列の因数分解と漸近展開を用いて、孤立零点の数に対する明示的で原始再帰的な上界を提示する。
• Abel積分に関する上界を構成的に提示することで、零点の解析的数論と代数幾何学、微分ガロア理論を結びつける。

提案手法

• 特異点付近での零点の蓄積を制御するため、単項式 $ t^r \ln^k t $ における漸近展開を用いる。
• Birkhoff–Grothendieckの行列因数分解を適用し、モノドロミー行列を成長が制御された正則成分に分解する。
• アニュラス領域における明示的構成を通じて、行列ノルムとローラン係数の上限を確立し、摂動に対して安定性を保証する。
• 定理14で提示される修正因数分解定理を用い、$ \|H_0\|, \|H_0^{-1}\|, \|H_\infty\|, \|H_\infty^{-1}\| $ およびローラン係数に対する均一な上限を保証する。
• 系の次数に関する帰納法を用い、$ n, R, \varepsilon $ の初等関数として表される上限を提示することで、原始的かつ計算可能であることを保証する。
• 微小な $ C^0 $-摂動下でも不連続性を避けるために、部分指数を安定化する正則化手続きを導入する。

実験結果

リサーチクエスチョン

• RQ1 Fuchs型系の解の孤立零点の数は、系のパラメータに関して均一に上界で抑えられるか？
• RQ2 解が $ t^r \ln^k t $ における漸近展開をもつ場合、特異点付近での零点の定量的挙動はいかなるものか？
• RQ3 行列因数分解を微小摂動に対して定量的かつ安定的に保証するにはどうすればよいか？零点数の制御にどう応用できるか？
• RQ4 特異点における局所的データのみを用いて、パラメトリック関数族の循環性をどの程度まで上界で抑えられるか？
• RQ5 多項式ベクトル場から生じるAbel積分の零点数に対して、明示的で原始再帰的な上界を構成可能か？

主な発見

• 非退化な解析的関数族の一点における循環性は、中心関数の零点の重複度に依存し、零点の順序が $ \mu $ の場合、$ \mathcal{N}_f(0,0) \leq \mu $ が成り立つ。
• 実解析的係数をもつFuchs型系の解は、特異点を含まない任意の区間上で、$ t^r \ln^k t $ 展開による漸近的制御のおかげで、孤立零点を有限個しか持たない。
• アニュラス $ K $ で正則かつ正則な行列関数 $ W(t) $ は、$ W(t) = H_0^{-1} H_\infty(t) $ の形に因数分解可能であり、$ H_0 $ は $ |t| < 1+\varepsilon $ で正則、$ H_\infty $ は無限大で極を持つメラモーフィック関数で、極の位数が $ \nu $、すべてのノルムが $ R' $ で抑えられる。
• 上記の上限 $ R' $、$ \nu $、およびローラン係数 $ C_{\pm,i} $ は、すべて $ n, R, \varepsilon $ の初等関数として明示的に表現可能であり、計算可能性を保証する。
• この構成により、解の孤立零点数に対する原始再帰的上界が得られるが、ネストされた帰納法のため、現在のところ過剰な上界となっている。
• Grigorievの最近の研究により、上界を二重指数関数的形にまで削減可能である可能性が示唆されており、この手法の実用性が著しく向上する可能性がある。