[論文レビュー] On Borel summation and Stokes phenomena of nonlinear differential systems

Ovidiu Costin|ArXiv.org|Aug 16, 2006

Polynomial and algebraic computation参考文献 6被引用数 14

ひとこと要約

本稿では、不規則特異点におけるランク1の非線形常微分方程式のトランスシリーズ解について、一般化されたボレル和算法を確立する。形式的漸近解が指数関数が減衰する方向においてボレル和算可能であることを証明する。実際の解とトランスシリーズの一般化ボレル和の間には一対一対応が成り立ち、局所的ストークス現象によりストークス線を越えて解析接続を行うと不連続になる。

ABSTRACT

In this paper we study analytic (linear or) nonlinear systems of ordinary differential equations, at an irregular singularity of rank one, under nonresonance conditions. It is shown that the formal asymptotic exponential series solutions (transseries solutions: countable linear combinations of formal power series multiplied by small exponentials) are Borel summable in a generalized sense along any direction in which the exponentials decay. Conversely, any solution that decreases along some direction is the Borel sum of a transseries. The summation procedure introduced is an extension of Borel summation which is linear, multiplicative, commutes with differentiation and complex conjugation. The summation algorithm uses the formal solutions alone (and not the differential equation that they solve). Along singular (Stokes) directions, the functions reconstructed by summation are shown to be given by Laplace integrals along special paths, a subset of Ecalle's median paths. The one-to-one correspondence established between actual solutions and generalized Borel sums of transseries is constant between Stokes lines and changes if a Stokes line is crossed (local Stokes phenomenon). We analyze the connection between local and classical Stokes phenomena.

研究の動機と目的

• 不規則特異点をもつランク1の非線形常微分方程式の形式的トランスシリーズ解に対する一般化ボレル和算手順を開発すること。
• 任意の方向で減衰する解が、一意なトランスシリーズのボレル和として得られることを証明すること。
• トランスシリーズ成分のボレル変換の解析的構造とその特異点を特徴づけること。
• 再帰的構造、局所的ストークス現象、トランスシリーズ解の構造との間の関係を確立すること。
• 非共鳴非線形系に対するボレル和算のすべての適切な拡張を分類し、再帰的方程式を導出すること。

提案手法

• 形式的解のみを用いて、線形的で、乗法的であり、微分および複素共役と可換であり、形式的解にのみ依存する一般化ボレル和算手順を導入する。
• 指数関数が減衰する方向における解の再構成に、エクレのメディアン経路に沿ったラプラス積分を適用する。
• トランスシリーズ成分のボレル変換に対する畳み込み方程式の階層を導出し、超関数空間内で解く。
• 形式的逆ラプラス変換を用いて、トランスシリーズ成分の微分方程式をラプラス領域における畳み込み方程式に変換する。
• ボレル変換の特異点を分析し、エクレの意味での再帰的関数であることを証明する。
• 異なるトランスシリーズ成分を結ぶ再帰的方程式を導出し、それらを局所的ストークス現象に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ランク1の非線形常微分方程式の形式的トランスシリーズ解は、指数関数が減衰する方向において和算可能であり、実際に解が得られるか。
• RQ2 トランスシリーズ成分のボレル変換の解析的性質は、微分方程式系の構造とどのように関係するか。
• RQ3 局所的ストークス現象とトランスシリーズの再帰的構造との間の正確な関係は何か。
• RQ4 ボレル和算は非共鳴非線形系のトランスシリーズ解に対して体系的にどのように拡張できるか。
• RQ5 エクレのメディアン経路は、一般化ボレル和算による解の再構成において果たす役割は何か。

主な発見

• 指数関数が減衰する任意の方向において、形式的トランスシリーズ解はボレル和算可能であり、そのようなすべての解は一意なトランスシリーズのボレル和として得られる。
• 一般化ボレル和算手順は線形的で、乗法的であり、微分および複素共役と可換であり、形式的解にのみ依存する。
• 和算により再構成された解は、エクレのメディアン経路に沿ったラプラス積分として与えられ、これは標準的メディアン経路の部分集合である。
• ストークス線の間では、実際の解と一般化ボレル和の間の一対一対応が成り立つが、ストークス線を越えると不連続に変化する（局所的ストークス現象）。
• トランスシリーズ成分のボレル変換は、畳み込み方程式の階層を満たし、その一般解は超関数空間内で構成される。
• ボレル変換はエクレの意味での再帰的関数であり、再帰的構造は局所的ストークス現象および導出された再帰的方程式と直接的に関連している。