[論文レビュー] Nonlinear analysis with endlessly continuable functions

Shingo Kamimoto, David Sauzin|arXiv (Cornell University)|Sep 4, 2015

Mathematical and Theoretical Analysis参考文献 3被引用数 3

ひとこと要約

本稿では、定数項のない再発的級数を収束するべきべき級数に代入する非線形操作が、再発的構造を保存することを示している。具体的には、任意個の無限に継続可能な関数の畳み込み積が依然として無限に継続可能であることを証明することで、その結果、形式的再発的級数の環が非線形操作に関して閉じていることを確立している。主な結果は、得られる形式的級数が再発的級数の環に留まることであり、畳み込みの定量的評価と離散的フィルター付き集合を用いた変形技術により、再発的理論における非線形解析が可能になる。

ABSTRACT

We give estimates for the convolution product of an arbitrary number of endlessly continuable functions. This allows us to deal with nonlinear operations for the corresponding resurgent series, e.g. substitution into a convergent power series.

研究の動機と目的

• 再発的形式的級数の環が、収束べき級数への代入などの非線形操作に関して閉じていることを確立すること。
• 任意個の無限に継続可能な関数の畳み込み積に関する定量的評価を提供すること。
• Ω-再発的性の概念を加法的半群を超える、より広い離散的フィルター付き集合へ一般化すること。
• 無限に継続可能な関数の畳み込みが依然として無限に継続可能であることを証明し、非線形結合の収束性と解析接続を保証すること。
• Ω-再発的級数の結果をより一般的な無限に継続可能な関数のクラスへ拡張することで、再発的理論における非線形解析の基盤を築くこと。

提案手法

• 形式的ボレル変換を用いて、形式的べき級数とボレル平面上の収束べき級数を関連付ける。
• 加法的半群を超える継続可能性の一般化のため、『離散的フィルター付き集合』の概念を導入する。
• モジュライ空間の積上でのベクトル場構成を用いて、ボレル平面上の経路の変形を制御する。
• 非定常ベクトル場の流れを用いてγ-適切な変形写像を定義し、離散的集合を避ける経路に沿った解析接続を保証する。
• 変形写像のヤコビアン行列式の評価を適用し、畳み込み級数の成長を制御し収束を保証する。
• 距離に基づく重みと指数的減衰評価を用いて、変形の大きさを制限し、無限に継続可能性を維持する。

実験結果

リサーチクエスチョン

• RQ1 任意個の無限に継続可能な関数の畳み込み積が依然として無限に継続可能であるか。その挙動を支配する定量的境界は何か？
• RQ2 定数項のない再発的級数を収束べき級数に代入することで、再発的級数が得られるか？
• RQ3 特異点の加法的半群を超える、より広いクラスの離散的フィルター付き集合へ、Ω-再発的性の概念をどのように一般化できるか？
• RQ4 非線形操作の下で、再発的級数の畳み込みが再発的級数のまま保たれるための条件は何か？
• RQ5 ボレル平面上での変形技術を用いて、多変数畳み込み積の解析接続をどのように制御できるか？

主な発見

• 任意の有限個の無限に継続可能な関数の畳み込み積は、依然として無限に継続可能であり、畳み込みに関して閉じていることが示された。
• 任意のリプシッツ連続経路（長さL）に対して、畳み込み積の解析接続は、Lにのみ依存する有限集合FLの外側で保証される。
• 定数項のないr個の再発的級数を収束べき級数Fに代入した畳み込みは再発的級数となり、定理1.2が証明された。
• 変形写像のヤコビアン行列式は、|det(∂ζi^t / ∂sj)| ≤ (c(t))^n の形の評価を満たし、c(t)は経路長に指数的に増加する。
• 変形プロセスにより、フロー下での単体の像が特異点集合からの一様距離の領域内に保たれ、δ(t)は経路長に指数的に減少する。
• これらの評価により、ボレル平面上での級数∑ck φ1^{*k1} * ⋯ * φr^{*kr} が一様収束し、結果として得られる級数が再発的級数であることが保証された。