[論文レビュー] On parametric Gevrey asymptotics for some nonlinear initial value problems in two complex time variables

Alberto Lastra, Stéphane Malek|arXiv (Cornell University)|Jun 12, 2018

Differential Equations and Numerical Methods参考文献 17被引用数 7

ひとこと要約

本稿では、2つの複素時間変数を含む特異摂動非線形偏微分方程式に対して、多段階のゲヴレー漸近展開を確立し、異なるゲヴレー順序においても共通の形式的漸近展開を共有する領域的解析的解の構成を行う。この手法は、バナッハ空間における固定点議論とボレル＝ラプラス変換を組み合わせ、解が摂動パラメータ $\varepsilon$ に関する形式的べき級数として表され、その係数が偏微分方程式の構造から導かれる再帰的系を満たすことを証明する。

ABSTRACT

The asymptotic behavior of a family of singularly perturbed PDEs in two time variables in the complex domain is studied. The appearance of a multilevel Gevrey asymptotics phenomenon in the perturbation parameter is observed. We construct a family of analytic sectorial solutions in $ε$ which share a common asymptotic expansion at the origin, in different Gevrey levels. Such orders are produced by the action of the two independent time variables.

研究の動機と目的

• 2つの複素時間変数における特異摂動非線形初期値問題の族の漸近的挙動を分析すること。
• 摂動パラメータ $\epsilon$ において共通の形式的漸近展開を共有する領域的解析的解の存在を確立すること。
• 2つの独立した時間変数の相互作用から生じる多段階ゲヴレー漸近現象を示すこと。
• $t_1$ および $t_2$ の単項式における指数的成長を考慮した、巧みに設計されたバナッハ空間における固定点議論によって解を構成すること。
• 形式的解が、異なるゲヴレー順序 $k_1$ および $k_2$ を通じて、解析的解と漸近的に関連づけられることを証明すること。

提案手法

• 問題は、2つの複素時間変数 $t_1, t_2$、微小パラメータ $\epsilon$、および $\epsilon$ に関してホロモーラルに依存する多項式係数を含む非線形積分微分方程式として定式化される。
• 解析的解は、$t_1$、$t_2$、$\epsilon$ に関して正則な関数のバナッハ空間における固定点議論を用いて構成され、$t_1$ および $t_2$ の単項式による指数的成長が制御される。
• 領域的解は、$\epsilon$-平面上の領域 $\mathcal{E}_{p_1,p_2}$ で得られ、それぞれゲヴレー順序 $k_1$ および $k_2$ の漸近展開を持つ。
• 形式的べき級数から解析的解を回復するためにボレル＝ラプラス変換が適用され、変換は多段階構造に基づいて定義される。
• 形式的解 $\hat{u}(\boldsymbol{t},z,\epsilon) = \sum_{m \geq 0} H_m(\boldsymbol{t},z) \frac{\epsilon^m}{m!}$ の係数 $H_m(\boldsymbol{t},z)$ に対する再帰的系は、偏微分方程式に対して $\epsilon$ で微分し、$\epsilon \to 0$ の極限を取ることで導出される。
• 漸近展開の収束は、適切な領域における $\epsilon \to 0$ の極限で剰余項が消えることによって確認される。

実験結果

リサーチクエスチョン

• RQ1 2つの独立した時間変数の存在が、特異摂動偏微分方程式のゲヴレー漸近構造にどのように影響するか？
• RQ2 1つの解析的解が、摂動パラメータ $\epsilon$ において複数のゲヴレー順序を通じて形式的解と漸近的に関連づけられるか？
• RQ3 $t_1$ および $t_2$ の両方における指数的成長を同時に制御するためのバナッハ空間フレームワークは何か？
• RQ4 偏微分方程式の非線形構造が、形式的べき級数における係数の再帰的決定にどのように影響するか？
• RQ5 形式的解 $\hat{u}(\boldsymbol{t},z,\epsilon)$ が、$\epsilon$ の領域的領域で実際に解析的解に対応するための条件は何か？

主な発見

• 解析的解 $u(\boldsymbol{t},z,\epsilon)$ は、$t_1$、$t_2$、$\epsilon$ における成長が制御された正則関数のバナッハ空間における固定点解として構成される。
• 解は形式的漸近展開 $\hat{u}(\boldsymbol{t},z,\epsilon) = \sum_{m \geq 0} H_m(\boldsymbol{t},z) \frac{\epsilon^m}{m!}$ を持ち、多段階ゲヴレー漸近的性質の意味で有効であることが示された。
• 係数 $H_m(\boldsymbol{t},z)$ は、$\epsilon$ で微分し、$\epsilon \to 0$ の極限を取ることで偏微分方程式から導かれる再帰的系を満たす。
• 形式的解 $\hat{u}(\boldsymbol{t},z,\epsilon)$ は、元の偏微分方程式 (81) の形式的解であることが証明され、代入して係数を一致させることで確認された。
• 漸近的関係が成り立つ：各 $p_1, p_2$ に対して、関数 $G^1_{p_1,p_2}(\epsilon)$ および $G^2_{p_1,p_2}(\epsilon)$ は、それぞれ $k_1$ および $k_2$ のゲヴレー順序の $\hat{G}^1_{p_1,p_2}(\epsilon)$ および $\hat{G}^2_{p_1,p_2}(\epsilon)$ を漸近展開として持つ。
• 構成は、$\epsilon = 0$ の近傍における $P_1$、$P_2$、$c_0$、および $f$ の正則性と有界性に依存しており、$\epsilon$ におけるテイラー級数の収束を保証する。