[论文解读] 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$范数估计，以控制谱逼近引起的不稳定性。
• 通过证明初始负部分较小的解在时间演化过程中仍可控制，避免了强制全局正性的需求。
• 分析在环面通过域截断和周期化实现，对截断后的碰撞算子进行了细致处理。
• 利用Riesz-Thorin插值和相关积分算子的$L^p$有界性，推导出碰撞算子增益部分的关键估计。
• 证明利用了碰撞算子的平移不变性以及傅里叶基投影所引发的卷积结构。
• 在$L^2$和$L^p$空间中建立先验估计，以确保在有界时间区间内解的局部存在性、唯一性及全局适定性。

实验结果

研究问题

• RQ1 能否在不依赖碰撞算子正性或扩散性质的前提下，证明傅里叶-伽辽金谱方法的稳定性？
• RQ2 对初始数据（连续或不连续）有何条件可确保谱方法的稳定性？
• RQ3 如何控制解的负部分的$L^2$范数随时间的演化，以保证稳定性？
• RQ4 初始数据大小与方法稳定性阈值之间的精确关系是什么？
• RQ5 在对初始数据的正则性假设尽可能少的前提下，能否严格建立谱精度与收敛性？

主要发现

• 该方法对初始数据的负部分在$L^2$范数较小的情况下保持稳定，即使解并非全局正。
• 证明建立了截断后的傅里叶-伽辽金系统在$L^2$空间中解的局部存在性与唯一性。
• 在初始负部分在$L^2$范数下足够小的条件下，证明了在任意有界时间区间上解的全局适定性与稳定性。
• 该方法的收敛速度为谱精度，如预期，且证明对连续和不连续初始数据均成立。
• 该方法避免了使用保持正性的滤波器，从而在保持谱精度的同时维持了稳定性。
• 该结果相较于以往依赖碰撞算子‘扩散’性质的证明，提供了更简单且更通用的理论框架。