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

一句话总结

本文建立了复域中奇异摄动线性偏微分方程多层级Gevrey渐近解的存在性。通过将Borel-Laplace求和程序应用于形式幂级数解，作者证明了解表现出不同的Gevrey阶——源于两个不同的非正则奇点——导致解被分解为具有不同摄动参数$\varepsilon$渐近增长速率的分量。关键贡献是一项适用于多层级Gevrey阶的Malgrange-Sibuya型定理，实现了对解结构的精确渐近控制。

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$的正式幂级数表示的全纯解。
• 建立一种多层级Gevrey渐近结构，其中解的不同分量由于奇点的几何结构而表现出不同的Gevrey阶。
• 将经典的Borel-Laplace求和方法扩展至处理问题中由不同类型奇点引起的多层级Gevrey阶。
• 证明形式解在摄动参数$\epsilon$的不同扇形区域内由具有不同Gevrey阶的解析解渐近表示。

提出的方法

• 作者通过变量替换$Y(t,z,\epsilon) = X(\epsilon^{-r}t,z,\epsilon)$将原始奇异摄动问题转化为以$T = \epsilon^{-r}t$为变量的新柯西问题。
• 他们定义了一个修正的$m_k$-Laplace变换，通过在合适的Banach空间中对函数$W_\beta(\tau,\epsilon)$进行Laplace变换，构造解$Y(T,z,\epsilon)$。
• 通过Borel-Laplace求和构造形式解$\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$分别为具有不同Gevrey阶$\hat{r}_1, \hat{r}_2$的形式级数。
• 通过协胞条件及估计证明了全纯解的存在性，表明相邻扇形中解的差值为Gevrey阶$\hat{r}_i$的指数平坦量，从而可在多层级Gevrey框架下应用Malgrange-Sibuya定理。
• 该方法依赖于假设(D)以确保方程中的算子可表示为适合求和程序的形式，并利用全纯有界函数的Banach空间控制解的范数。

实验结果

研究问题

• RQ1 当存在两个不同的非正则奇点时，奇异摄动线性PDE解的渐近性质如何变化？
• RQ2 具有多层级Gevrey阶的形式解是否可通过Borel-Laplace求和得到扇形区域内的全纯解？
• RQ3 当摄动参数$\epsilon$在复平面的不同扇形内变化时，解的渐近展开的精确结构是什么？
• RQ4 解被分解为具有不同Gevrey阶的分量，这种分解如何反映奇点的内在几何结构？
• RQ5 经典Malgrange-Sibuya定理在多层级Gevrey阶渐近展开中可被推广到何种程度？

主要发现

• 形式解$\hat{X}(t,z,\epsilon)$被证明是奇异摄动PDE（47）的解，在形式幂级数意义下满足该方程。
• 解析解$X(t,z,\epsilon)$在域$\mathcal{T} \times \mathcal{U} \times \mathcal{E}$内全纯，其中$\mathcal{T}, \mathcal{E}$为顶点在原点的扇形，$\mathcal{U}$为原点的邻域。
• 解可分解为$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$中分别具有不同Gevrey渐近展开阶$\hat{r}_1, \hat{r}_2$。
• 形式解的系数$H_\ell(t,z)$满足由取$\ell$阶导数并令$\epsilon \to 0$导出的递推公式，证实其与PDE的一致性。
• 相邻扇形间解的差值$\Delta_i(\epsilon)$为Gevrey阶$\hat{r}_i$的指数平坦量，使得可在多层级下应用Malgrange-Sibuya定理。
• 当$r_1 - s_1 r_k < 0$时，奇点移至无穷远，但该方法仍适用，可得到类似的多层级Gevrey结构。