[論文レビュー] Multi-level Gevrey solutions of singularly perturbed linear partial differential equations

Alberto Lastra, Stéphane Malek|arXiv (Cornell University)|Jul 8, 2014

Differential Equations and Numerical Methods被引用数 10

ひとこと要約

本稿は、複素領域における特異摂動線形偏微分方程式に対して、多層級のゲヴレーア漸近解の存在を確立する。形式的べき級数解にボレル＝ラプラス和算手続きを適用することで、著者らは、二つの異なる不規則特異点に起因する、異なるゲヴレーオーダーを示す解の構造を示し、摂動パラメータ $\epsilon$ における異なる漸近的成長率を示す成分に解を分解することを明らかにする。主な貢献は、複数のゲヴレーレベルに適応されたマルグラング＝シブヤ型定理であり、解構造の精密な漸近的制御を可能にする。

ABSTRACT

We study the asymptotic behavior of the solutions related to a family of singularly perturbed linear partial differential equations in the complex domain. The analytic solutions obtained by means of a Borel-Laplace summation procedure are represented by a formal power series in the perturbation parameter. Indeed, the geometry of the problem gives rise to a decomposition of the formal and analytic solutions so that a multi-level Gevrey order phenomenon appears. This result leans on a Malgrange-Sibuya theorem in several Gevrey levels.

研究の動機と目的

• 二つの異なる不規則特異点を有する特異摂動線形偏微分方程式の解の漸近的挙動を分析すること。
• 摂動パラメータ $\epsilon$ についての形式的べき級数で表される、複素領域における解析的解の構成。
• 異なる特異点の幾何構造に起因して、解の異なる成分が異なるゲヴレーオーダーを示す多層級ゲヴレーア漸近構造の確立。
• 古典的ボレル＝ラプラス和算法を、問題に現れる異なる種類の特異点に起因する複数のゲヴレーレベルに対応させるように拡張すること。
• 形式的解が、摂動パラメータ $\epsilon$ の異なる領域（セクタ）において、異なるゲヴレーオーダーを持つ解析的解によって漸近的に表されることを証明すること。

提案手法

• 著者らは、元の特異摂動問題を新しい $T = \epsilon^{-r}t$ 変数におけるコーシー問題に変換するために、変数変換 $Y(t,z,\epsilon) = X(\epsilon^{-r}t,z,\epsilon)$ を行う。
• 適切なバナッハ空間内での関数 $W_\beta(\tau,\epsilon)$ のラプラス変換として、解 $Y(T,z,\epsilon)$ を構成するため、修正された $m_k$-ラプラス変換を定義する。
• 形式的解 $\hat{X}(t,z,\epsilon) = \sum_{\beta \geq 0} H_\beta(t,z) \frac{\epsilon^\beta}{\beta!}$ はボレル＝ラプラス和算により構成され、複素 $\epsilon$-平面のセクタ内で収束することが保証される。
• 解は $\hat{X} = a(t,z,\epsilon) + \hat{X}^1 + \hat{X}^2$ の形に分解され、ここで $a$ は収束級であり、$\hat{X}^1, \hat{X}^2$ はそれぞれ異なるゲヴレーオーダー $\hat{r}_1, \hat{r}_2$ を持つ形式的級数である。
• コycle条件と、隣接するセクタにおける解の差が $\hat{r}_i$ 階の指数的平坦性であることを示す推計により、ホロモーフィック解の存在が証明され、マルグラング＝シブヤ定理を複数のゲヴレーレベルに応用可能となる。
• 和算手続きに適した形に演算子を表現できるよう保証するため、仮定 (D) に依存しており、解のノルムを制御するため、ホロモーフィックかつ有界な関数のバナッハ空間を用いる。

実験結果

リサーチクエスチョン

• RQ1 二つの異なる不規則特異点が存在する場合、特異摂動線形偏微分方程式の解の漸近的性質はどのように変化するか？
• RQ2 複数のゲヴレーオーダーを持つ形式的解は、ボレル＝ラプラス和算により、セクタ領域におけるホロモーフィック解に和算可能か？
• RQ3 摂動パラメータ $\epsilon$ が複素平面の異なるセクタを動くとき、解の漸近展開の正確な構造は何か？
• RQ4 解が異なるゲヴレーオーダーを持つ成分に分解されるとき、その構造は特異点の背後にある幾何的性質をどのように反映するか？
• RQ5 古典的マルグラング＝シブヤ定理は、漸近展開における複数のゲヴレーレベルを扱えるように、どの程度一般化可能か？

主な発見

• 形式的解 $\hat{X}(t,z,\epsilon)$ が特異摂動偏微分方程式 (47) の解であることが示され、形式的べき級数の意味で方程式を満たす。
• 解析的解 $X(t,z,\epsilon)$ は、原点を頂点とするセクタ $\mathcal{T}, \mathcal{E}$ と原点の近傍 $\mathcal{U}$ を含む領域 $\mathcal{T} \times \mathcal{U} \times \mathcal{E}$ でホロモーフィックである。
• 解は $X(t,z,\epsilon) = a(t,z,\epsilon) + X^1(t,z,\epsilon) + X^2(t,z,\epsilon)$ の形に分解され、ここで $a$ は収束級であり、$X^1, X^2$ はそれぞれ異なるセクタ $\mathcal{E}_i$ において異なるゲヴレーオーダー $\hat{r}_1, \hat{r}_2$ のゲヴレーア漸近展開を持つ。
• 形式的解の係数 $H_\ell(t,z)$ は、$\ell$ 階微分をとった後 $\epsilon \to 0$ にしたときの再帰的公式から導かれることが確認され、PDEと整合的であることが裏付けられる。
• 隣接するセクタにおける解の差 $\Delta_i(\epsilon)$ は、ゲヴレーオーダー $\hat{r}_i$ の指数的平坦性を示し、マルグラング＝シブヤ定理を複数のレベルに応用可能となる。
• $r_1 - s_1 r_k < 0$ の場合、特異点は無限遠に移動するが、方法は依然として適用可能であり、同様の多層級ゲヴレーア構造が得られる。