[論文レビュー] 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の構造の同定、特に自由境界問題および有限時刻特異性問題を含む。

提案手法

• ラプラシアンのノイマン境界条件を満たす固有関数を用いて、PDEを無限個のODE系に還元するスペクトルガレルキン近似の適用。
• 原点における非双曲的特異的分岐を解消するため、ブロー・アップ変換による幾何的特異性除去の実施。
• 図間の幾何的整合性を保つために、ブロー・アップ解析に動的ドメインを導入。
• 漸近展開および摂動技法を用いて、エントリ図、エグジット図、中心（スケーリング）図における結果のPDEを分析。
• 均一な$L^2$有界性と放物型正則性を用いて、$\varepsilon \to 0$における収束を保証するため、図間での解のマッチング。
• 特異極限$\varepsilon = 0$を用いて、中心図におけるPDEを有限時刻特異性を示す古典的反応拡散PDEに簡約。

実験結果

リサーチクエスチョン

• RQ1 無限次元の高速・低速PDEにおいて双曲性の喪失を扱うために、ブロー・アップ法をどのように適合させることができるか。
• RQ2 特異的非線形性を有する高速・低速PDEの有限次元ガレルキン近似における不変多様体の構造はいかなるものか。
• RQ3 ガレルキン切断系が元の無限次元PDE動的挙動をどの意味で近似するのか。
• RQ4 異なるブロー・アップ図で出現するPDEの種類は何か。それらは既知のPDEクラスとどのように関係するか。
• RQ5 ブロー・アップ解析における動的ドメインは、近似の有効性および収束性にどのように影響するか。

主な発見

• エントリ図およびエグジット図では、ブロー・アップ変換と空間領域の相互作用により、準線形自由境界値問題が生じる。
• 中心（スケーリング）図では、有限時刻特異性を示す古典的反応拡散方程式に類似したPDEが得られる。
• ガレルキン近似はブロー・アップ法の幾何的構造を保持しており、有限次元における不変多様体の厳密な解析を可能にする。
• 中心図におけるPDEの解は、均一有界性と放物型正則性のおかげで、特異極限$\varepsilon \to 0$において$L^2$でODE動的挙動に収束する。
• ブロー・アップ法はPDE設定において特異的分岐を効果的に解消し、ODEを超えてその適用範囲を拡張する。
• $L^2$有界性とエントリ/エグジット図におけるマッチングを用いて、ガレルキン系が有限時間スケールで無限次元問題に収束することが確立される。