[論文レビュー] Initiation to mould calculus through the example of saddle-node singularities

David Sauzin|ArXiv.org|Dec 29, 2007

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

ひとこと要約

本稿では、2次元正則ベクトル場におけるサドルノード特異点の形式的および解析的正規化を分析するための組合せ論的道具として、Écalleのモールド微積分を導入する。正規化変換をモールドによって生成される級数として表現することにより、形式的級数が $1/x$ に関して再帰的であることを証明し、異方的微積分とブリッジ方程式を用いた完全な解析的分類を可能にする。

ABSTRACT

This article proposes an initiation to Écalle's mould calculus, a powerful combinatorial tool which yields surprisingly explicit formulas for the normalising series attached to an analytic germ of singular vector field. This is illustrated on the case of saddle-node singularities, generated by two-dimensional vector fields which are formally conjugate to Euler's vector field $x^2\frac{\pa}{\pa x}+(x+y)\frac{\pa}{\pa y}$, and for which the formal normalisation proves to be resurgent in $1/x$.

研究の動機と目的

• 形式的体系に馴染みのない研究者向けに、Écalleのモールド微積分の自己完結的な導入を提供すること。
• モールド微積分がサドルノード特異点の形式的正規化に対して明示的な公式を導く方法を示すこと。
• 正規化過程で生じる形式的級数の再帰的性質を確立すること。
• 再帰的および異方的微積分の手法を用いたサドルノード特異点の解析的分類の基盤を築くこと。

提案手法

• 形式的正規化は、$\varphi_n(x) = \sum \beta_\omega \mathcal{V}^{\omega}(x)$ と表されるモールドによって生成される級数として表現され、ここで $\mathcal{V}^{\omega}$ は再帰的関数の反復積分である。
• $\widehat{\mathcal{V}}^{\omega}(\zeta)$ は、$\zeta = -1/x$ 平面上での再帰的積分により構成され、$\zeta = \widehat{n}_i = n_i + \cdots + n_r$ に特異点を持つ。
• モールド微積分を用いて、$\widehat{\mathcal{V}}^{\omega}$ の特異構造を異方的微分作用素 $\Delta_m$ を通じて符号化し、$\Delta_m \widetilde{\mathcal{V}}^{\bullet} = \widetilde{\mathcal{V}}^{\bullet} \times V^{\bullet}(m)$ という式を得る。
• 主要級数の議論により、$\varphi_n$ の再帰的構造が証明され、モールドによって生成される級数の一致収率が保証される。
• 形式的積分 $\widetilde{Y}(z,u)$ を用いて $\widetilde{\varphi}_n(z)$ を導出し、これは $z$ における非線形常微分方程式を満たし、形式的級数とベクトル場の力学的挙動を結びつける。
• 微分同相写像を扱うために、モールド形式主義を非導分作用素に適応し、修正されたライブニッツ則を満たすように拡張する。

実験結果

リサーチクエスチョン

• RQ1 モールド微積分を用いて、サドルノード特異点の形式的正規化に対して明示的な公式を導く方法は何か？
• RQ2 サドルノード正規化の文脈において、形式的級数 $\varphi_n(x)$ の再帰的構造はどのように特定されるか？
• RQ3 異方的微分作用素 $\Delta_m$ は、モールドによって生成される関数 $\widehat{\mathcal{V}}^{\omega}$ にどのように作用するか？
• RQ4 主要級数の技法を用いて、形式的正規化級数が再帰的であることを示すことができるか？
• RQ5 モールド形式主義は、非共鳴スペクトルを有する微分同相写像の分類にどのように拡張可能か？

主な発見

• 形式的正規化級数 $\varphi_n(x)$ が $1/x$ に関して再帰的であることが示され、そのボレル変換が $\zeta = \widehat{n}_i$ に孤立した特異点を持つことを意味する。
• $\widehat{\mathcal{V}}^{\omega}(\zeta)$ は、$\zeta = \widehat{n}_1, \dots, \widehat{n}_r$ を除き正則であり、特異点はモールド $V^{\omega}(m)$ によって制御される。
• 異方的微分 $\Delta_m$ は $\widetilde{\mathcal{V}}^{\bullet}$ にスカラー・モールド $V^{\omega}(m)$ を用いて作用し、$\Delta_m \widetilde{\mathcal{V}}^{\bullet} = \widetilde{\mathcal{V}}^{\bullet} \times V^{\bullet}(m)$ を満たす。
• $\widehat{\varphi}_n = \sum \beta_\omega \widehat{\mathcal{V}}^{\omega}$ の級数はコンパクト集合上で一様収率するため、形式的解の再帰的性質が裏付けられる。
• 形式的積分 $\widetilde{Y}(z,u)$ は、$\widetilde{\varphi}_n(z)$ を生成するメカニズムを提供し、これは非線形常微分方程式 $\frac{d\widetilde{Y}}{dz} = A(-1/z, \widetilde{Y})$ を満たす。
• モールド形式主義は、'symmetrel' および 'alternel' モールドを用いて微分同相写像に拡張され、シャッフル係数の代わりに収縮シャッフル係数が用いられる。