[論文レビュー] Exponential asymptotics, transseries, and generalized Borel summation for analytic rank one systems of ODE's

Ovidiu Costin|ArXiv.org|Aug 16, 2006

Advanced Differential Equations and Dynamical Systems参考文献 3被引用数 9

ひとこと要約

本稿では、不規則特異点をもつ解析的非線形ランク1系の常微分方程式に対する形式的トランス-シリーズ解が、Borel和可能であることを確立し、特定の領域で減衰する実際の解とそのトランス-シリーズ展開との間に一対一の対応関係が成り立つことを示している。一般化されたBorel和により再和することが、正確な解を回復できることを証明し、指数的成長を保つリジューレンス関係および平均化公式を導出している。

ABSTRACT

For analytic nonlinear systems of ordinary differential equations, under some non-degeneracy and integrability conditions we prove that the formal exponential series solutions (trans-series) at an irregular singularity of rank one are Borel summable (in a sense similar to that of Ecalle). The functions obtained by re-summation of the trans-series are precisely the solutions of the differential equation that decay in a specified sector in the complex plane. We find the dependence of the correspondence between the solutions of the differential equation and trans-series as the ray in the complex plane changes (local Stokes phenomenon). We study, in addition, the general solution in $\lloc$ of the convolution equations corresponding, by inverse Laplace transform, to the given system of ODE's, and its analytic properties. Simple analytic identities lead to ``resurgence'' relations and to an averaging formula having, in addition to the properties of the medianization of Ecalle, the property of preserving exponential growth at infinity.

研究の動機と目的

• 不規則特異点をもつ解析的非線形ランク1系の常微分方程式の実際の解とその形式的トランス-シリーズ展開との間の厳密な対応関係を確立すること。
• 形式的トランス-シリーズ解が一般化された意味でBorel和可能であり、複素平面の特定の領域で減衰する正確な解を回復できることを証明すること。
• 局所的ストークス現象を分析し、複素平面内の方向が変化するにつれて解とトランス-シリーズとの対応関係がどのように変化するかを記述すること。
• 逆ラプラス変換を用いて得られる畳み込み方程式の$L^1_{\text{loc}}$における一般解を調べ、その解析的性質を特徴づけること。
• リジューレンス関係を導出し、エカレーのメディアン化を拡張した指数的成長を保つ平均化公式を導入すること。

提案手法

• 指数的漸近論およびトランス-シリーズ形式的枠組みを用いて、べき級数と指数的に小さい項を含む漸近的展開として解を表現する。
• 一般化されたBorel和を発散するトランス-シリーズに適用し、複素平面の領域内で実際に収束する解が得られることを示す。
• トランス-シリーズ項の係数に対する再帰的線形系(1.5)を導出し、非同次項が低次の成分に依存することを示す。
• 逆ラプラス変換を用いてトランス-シリーズをラプラス領域における畳み込み方程式に写像し、$L^1_{\text{loc}}$解の解析を可能にする。
• 畳み込みと可換であり、解析的構造および指数的成長を保つバランスの取れた平均化手順(AC)を導入する。
• ラプラス領域における解析接続およびホモトピー不変性を用いた接続を用いて、ストークス現象を分析し、解析接続と畳み込みの非可換性を検証する。

実験結果

リサーチクエスチョン

• RQ1 不規則特異点をもつ解析的非線形ランク1系の常微分方程式の形式的トランス-シリーズ解は、実際の解が得られるようにBorel和可能か？
• RQ2 複素平面内の方向が変化するにつれて、トランス-シリーズと実際の解との対応関係はどのように変化する（局所的ストークス現象）？
• RQ3 リジューレンス関係は、異なるトランス-シリーズ成分を接続し、解析的構造を保つ役割を果たすか？
• RQ4 提案された平均化手順は、無限遠点における指数的成長を保ち、畳み込み演算と可換か？
• RQ5 トランス-シリーズの逆ラプラス変換が、制御された解析的性質をもつ$L^1_{\text{loc}}$解をもたらす条件は何か？

主な発見

• 形式的トランス-シリーズ解(1.4)はBorel和可能であり、再和により、特定の領域$\Re(xe^{-i\phi})>0$で減衰する一意の実際の解が得られる。
• 特定の領域で減衰する実際の解とトランス-シリーズ展開との間に一対一の対応関係が成立し、(1.4)における自由パrameter $C$が解多様体$M^+$をパrameter化する。
• 局所的ストークス現象は完全に記述されている：方向$\phi$がストークス線を crosses する際、解の表現は異なるトランス-シリーズ成分に切り替わる。
• $L^1_{\text{loc}}$における畳み込み方程式の一般解は、トランス-シリーズのBorel和により得られ、孤立した分岐点を除き解析的である。
• バランスの取れた平均化手順(AC)は、システム内のすべての操作と可換であり、無限遠点における指数的成長を保ち、エカレーのメディアン化を拡張する。
• 解析接続と畳み込みの非可換性は一般的である：例A.4で示されるように、ラプラス変換に分岐点が存在するため、$AC(f*g) \neq AC(f)*AC(g)$である。