[论文解读] Geometric analysis of a truncated Galerkin discretization of fast-slow PDEs with transcritical singularities

Maximilian Engel, Christian Kuehn|arXiv (Cornell University)|Jul 20, 2020

Advanced Mathematical Modeling in Engineering被引用 5

一句话总结

该论文通过应用谱伽辽金离散化和域自适应爆破技术，对具有穿越型奇点的快慢反应-扩散PDE进行了几何爆破分析。它在有限维近似中建立了不变流形结构，并证明了向无限维问题的收敛性，揭示了入口/出口图中的拟线性自由边界PDE，以及中心图中的有限时间奇点PDE。

ABSTRACT

We consider a fast-slow partial differential equation (PDE) with reaction-diffusion dynamics in the fast variable and the slow variable driven by a differential operator on a bounded domain. Assuming a transcritical normal form for the reaction term and viewing the slow variable as a dynamic bifurcation parameter, we analyze the passage through the fast subsystem bifurcation point for the spectral Galerkin approximation of the PDE. We characterize the invariant manifolds for the finite-dimensional Galerkin ODEs using geometric desingularization via a blow-up analysis. In addition to the crucial approximation procedure, we also make the domain dynamic during the blow-up analysis. Finally, we elaborate in which sense our results approximate the infinite-dimensional problem. Within our analysis, we find that the PDEs appearing in entry and exit blow-up charts are quasi-linear free boundary value problems, while in the central/scaling chart we obtain a PDE, which is often encountered in classical reaction-diffusion problems exhibiting solutions with finite-time singularities.

研究动机与目标

• 分析快慢PDE中在双曲性丧失情况下的穿越型分岔点通过行为。
• 通过将谱伽辽金离散化与几何去奇化相结合，将爆破方法从ODE推广至PDE。
• 刻画快慢PDE系统在有限维伽辽金近似中的不变流形结构。
• 严格证明截断伽辽金系统对无限维PDE动力学的逼近有效性。
• 识别爆破图中出现的PDE结构，包括自由边界问题和有限时间奇点问题。

提出的方法

• 应用谱伽辽金逼近，利用拉普拉斯算子在Neumann边界条件下的特征函数，将PDE转化为无限维ODE系统。
• 通过爆破变换进行几何去奇化，以解析原点处的非双曲穿越型奇点。
• 在爆破分析中引入动态域，以在各图之间保持几何一致性。
• 使用渐近展开和摄动技术分析入口图、出口图和中心（缩放）图中的结果PDE。
• 通过一致的$L^2$有界性和抛物正则性，在不同图之间匹配解，以确保当$\varepsilon \to 0$时的收敛性。
• 利用奇异极限$\varepsilon = 0$，将中心图中的PDE约化为具有有限时间奇点的经典反应-扩散PDE。

实验结果

研究问题

• RQ1 如何将爆破方法适配于处理无限维快慢PDE中的双曲性丧失问题？
• RQ2 具有穿越型非线性的快慢PDE的有限维伽辽金近似中，不变流形的结构是什么？
• RQ3 伽辽金截断系统在何种意义下逼近原始无限维PDE的动力学？
• RQ4 在不同爆破图中出现的PDE类型是什么？它们与已知PDE类有何关联？
• RQ5 爆破分析中的动态域如何影响逼近的有效性和收敛性？

主要发现

• 入口图和出口图中的爆破分析由于爆破变换与空间域的相互作用，产生拟线性自由边界值问题。
• 中心（缩放）图产生了一类类似于经典反应-扩散方程的PDE，其表现出有限时间奇点。
• 伽辽金逼近保持了爆破方法的几何结构，使得在有限维空间中对不变流形进行严格分析成为可能。
• 中心图中PDE的解在$L^2$范数下收敛于奇异极限$\varepsilon \to 0$时的ODE动力学，这是由于一致有界性和抛物正则性。
• 爆破方法成功地在PDE设定下解析了穿越型奇点，将其适用范围从ODE扩展至PDE。
• 通过$L^2$有界性和入口/出口图中的匹配，建立了伽辽金系统在有限时间尺度上向无限维问题收敛的结论。