[论文解读] 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

一句话总结

本文为两个复时间变量的奇异摄动非线性偏微分方程建立了多层级Gevrey渐近理论，构造了在不同Gevrey阶数下共享同一形式渐近展开的扇形解析解。该方法结合Borel-Laplace变换与巴拿赫空间中的不动点论证，证明了解在摄动参数 $\epsilon$ 上存在形式幂级数展开，其系数满足由PDE结构导出的递推系统。

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.

研究动机与目标

• 分析一类在两个复时间变量下奇异摄动的非线性初值问题的渐近行为。
• 建立在摄动参数 $\epsilon$ 上共享共同形式渐近展开的扇形解析解的存在性。
• 展示由两个独立时间变量相互作用引发的多层级Gevrey渐近现象。
• 通过在精心设计的巴拿赫空间中采用不动点论证构造解，以控制 $t_1$ 和 $t_2$ 的单项式中的指数增长。
• 证明形式解通过不同的Gevrey阶数 $k_1$ 和 $k_2$ 与解析解存在渐近关系。

提出的方法

• 将问题表述为一个涉及两个复时间变量 $t_1, t_2$、小参数 $\epsilon$ 及关于 $\epsilon$ 具有全纯依赖关系的多项式系数的非线性积分微分PDE。
• 通过在巴拿赫空间中采用不动点论证构造解析解，该空间由在 $t_1$、$t_2$ 和 $\epsilon$ 上全纯的函数构成，且其指数增长受 $t_1$ 和 $t_2$ 的单项式控制。
• 在 $\epsilon$-平面上的扇形 $\mathcal{E}_{p_1,p_2}$ 中获得扇形解，其Gevrey阶数分别为 $k_1$ 和 $k_2$。
• 应用Borel-Laplace变换从形式幂级数恢复解析解，变换的定义基于多层级结构。
• 通过对方程在 $\epsilon$ 上求导并取 $\epsilon \to 0$ 的极限，从PDE中推导出形式解 $\hat{u}(\boldsymbol{t},z,\epsilon) = \sum_{m \geq 0} H_m(\boldsymbol{t},z) \frac{\epsilon^m}{m!}$ 的系数 $H_m(\boldsymbol{t},z)$ 的递推系统。
• 通过证明余项在适当扇形中趋于零，验证了渐近展开的收敛性。

实验结果

研究问题

• RQ1 两个独立时间变量的存在如何影响奇异摄动PDE的Gevrey渐近结构？
• RQ2 是否可以利用多个Gevrey阶数使单个解析解与形式解在摄动参数 $\epsilon$ 上渐近相关？
• RQ3 需要何种巴拿赫空间框架以同时控制解构造中 $t_1$ 和 $t_2$ 的指数增长？
• RQ4 PDE的非线性结构如何影响形式幂级数中系数的递推确定？
• 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!}$，其在多层级Gevrey渐近意义下被证明有效。
• 系数 $H_m(\boldsymbol{t},z)$ 满足通过对方程关于 $\epsilon$ 求导并取 $\epsilon \to 0$ 极限而导出的递推系统。
• 形式解 $\hat{u}(\boldsymbol{t},z,\epsilon)$ 被证明是原PDE（81）的形式解，通过代入方程并匹配系数得以验证。
• 渐近关系成立：对每个 $p_1, p_2$，函数 $G^1_{p_1,p_2}(\epsilon)$ 和 $G^2_{p_1,p_2}(\epsilon)$ 分别具有 $\hat{G}^1_{p_1,p_2}(\epsilon)$ 和 $\hat{G}^2_{p_1,p_2}(\epsilon)$ 作为Gevrey阶数 $k_1$ 和 $k_2$ 的渐近展开。
• 该构造依赖于 $P_1$、$P_2$、$c_0$ 和 $f$ 在 $\epsilon = 0$ 邻域内的全纯性与有界性，从而保证了在 $\epsilon$ 上泰勒级数的收敛性。