[論文レビュー] A new stability and convergence proof of the Fourier-Galerkin spectral method for the spatially homogeneous Boltzmann equation

Jingwei Hu, Kunlun Qi+1 more|arXiv (Cornell University)|Jul 10, 2020

Gas Dynamics and Kinetic Theory参考文献 21被引用数 5

ひとこと要約

本稿では、空間的に均一なボルツマン方程式に適用されたフーリエ・ガレルキンスペクトル法の安定性および収束性に関する新しい証明を提示する。この手法は、衝突演算子の正値性または「拡散」性に依存せず、解の負の部分の $L^2$ 評価を用いる。この方法により、連続的および不連続な初期データの両方に対して安定性が保証され、従来の手法よりも単純かつ一般的な収束フレームワークを提供する。

ABSTRACT

Numerical approximation of the Boltzmann equation is a challenging problem due to its high-dimensional, nonlocal, and nonlinear collision integral. Over the past decade, the Fourier-Galerkin spectral method has become a popular deterministic method for solving the Boltzmann equation, manifested by its high accuracy and potential of being further accelerated by the fast Fourier transform. Albeit its practical success, the stability of the method is only recently proved by Filbet, F. & Mouhot, C. in [$ Trans. Amer. Math. Soc.$ 363, no. 4 (2011): 1947-1980.] by utilizing the "spreading" property of the collision operator. In this work, we provide a new proof based on a careful $L^2$ estimate of the negative part of the solution. We also discuss the applicability of the result to various initial data, including both continuous and discontinuous functions.

研究の動機と目的

• 空間的に均一なボルツマン方程式に適用されたフーリエ・ガレルキンスペクトル法の、新たなより単純な安定性証明を確立すること。
• 従来の証明で用いられた衝突演算子の「拡散」性または正値性に依存しないようにすること。
• 初期データの条件を定量化し、特に不連続関数に対しても安定性が保証される条件を同定すること。
• 初期データに最小限の仮定を置いた状態で、スペクトル精度を伴う厳密な収束証明を提供すること。
• この手法のキネティクス・シミュレーションにおける実用的成功を支えるより一般的かつアクセスしやすい理論的基盤を提供すること。

提案手法

• スペクトル近似に起因する不安定性を制御するために、解の負の部分の $L^2$ ノルム推定を用いる。
• 解が全体的に正であることを強制する必要を避け、初期の小さな負の部分が時間経過においても制御可能であることを示す。
• ドメインの切断と周期化を用いてトーラス上での解析を実施し、切断された衝突演算子の取り扱いに注意を払う。
• リース＝トールン補間および関連する積分演算子の $L^p$ 有界性を用いて、衝突演算子の増加部に対する主要な推定を導出する。
• 衝突演算子の平行移動不変性と、フーリエ基底射影によって得られる畳み込み型構造を活用する。
• 局所的存在性、一意性、および有界時間区間における大域的適切性を保証するため、$L^2$ および $L^p$ 空間における事前限界を確立する。

実験結果

リサーチクエスチョン

• RQ1 衝突演算子の正値性または拡散性に依存せずに、フーリエ・ガレルキンスペクトル法の安定性を証明できるか？
• RQ2 初期データが連続的か不連続的かにかかわらず、スペクトル法の安定性を保証する条件は何か？
• RQ3 時間経過に伴い、解の負の部分の $L^2$ ノルムをどのように制御できるか？
• RQ4 初期データの大きさと、この手法の安定性閾値との正確な関係は何か？
• RQ5 初期データに最小限の正則性仮定を置いた状態で、スペクトル精度および収束性を厳密に確立できるか？

主な発見

• 初期データの負の部分の $L^2$ ノルムが小さい限り、解が全体的に正でなくても安定性が達成される。
• 切断されたフーリエ・ガレルキン系に対して、$L^2$ における局所的存在性と一意性が証明される。
• 初期の負の部分が $L^2$ で十分に小さいという条件下では、任意の有界時間区間において大域的適切性と安定性が証明される。
• 収束速度は期待通りスペクトル的であり、連続的および不連続的初期データの両方に対して証明が有効である。
• 正値性を保つためのフィルタを用いる必要がなく、スペクトル精度を保持しつつ安定性を確保できる。
• 従来の「拡散」性に依存する証明よりも、より単純かつ一般的な理論的枠組みを提供する。