[論文レビュー] From hard sphere dynamics to the Stokes-Fourier equations: An $L^2$ analysis of the Boltzmann-Grad limit

Thierry Bodineau, Isabelle Gallagher+1 more|arXiv (Cornell University)|Nov 10, 2015

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

ひとこと要約

本稿は、$N$ 個の2次元の硬い球体系が、ボルツマン＝グラード極限（$N \to \infty$, $\varepsilon \to 0$, $N\varepsilon = \alpha \to \infty$）において、線形ストークス＝フラワー方程式および音響方程式に収束することを、線形化ボルツマン方程式の定量的 $L^2$ 分析を通じて確立する。主な革新点は、一様な $L^2$ 事前推定と対称性に基づく積率展開を用いて粒子間の相関の解体を制御し、再衝突効果を排除することで、流体力学的時間スケールにわたる収束を可能にしたことにある。

ABSTRACT

We derive the linear acoustic and Stokes-Fourier equations as the limiting dynamics of a system of N hard spheres of diameter $ε$ in two space dimensions, when N $ ightarrow$ $\infty$, $ε$ $ ightarrow$ 0, N $ε$ = $α$ $ ightarrow$ $\infty$, using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford's strategy [18], and on the pruning procedure developed in [5] to improve the convergence time to all kinetic times with a quantitative control which allows us to reach also hydrodynamic time scales. The main novelty here is that uniform L 2 a pri-ori estimates combined with a subtle symmetry argument provide a weak version of chaos, in the form of a cumulant expansion describing the asymptotic decorrelation between the particles. A refined geometric analysis of recollisions is also required in order to discard the possibility of multiple recollisions.

研究の動機と目的

• 2次元の $N$ 個の硬い球体系の流体力学的極限として、線形ストークス＝フラワー方程式および音響方程式を厳密に導出すること。
• ランフォルトの元々の短時間収束の破綻を克服し、ボルツマン＝グラード極限を運動的時間より長く拡張すること。
• 定量的 $L^2$ 評価を用いて、すべての運動的時間にわたって線形化ボルツマン方程式への収束を確立すること。
• 積率展開と幾何的解析を用いて、粒子間の相関の解体を制御し、再衝突効果を排除すること。
• 粒子力学から流体力学方程式を導出可能な定量的 $L^2$ フレームワークを提供すること。

提案手法

• ボルツマン＝グラード極限のためのランフォルトの戦略を、線形化された状態に適応する。
• 収束時間を流体力学的スケールにまで延長するために、[5]のプルーニング手続きを採用する。
• 線形化ボルツマン方程式に対する一様な $L^2$ 事前推定を用いて、ゆらぎを制御する。
• 対称性に基づく積率展開を適用し、粒子間の漸近的非相関を記述する。
• 再衝突事象の精密な幾何的解析を実施し、複数回の再衝突を除外する。
• 得失項におけるキャンセルを活用するため、$\int M_\beta g_{\alpha,0} \, dz = 0$ のキャンセル条件を課す。

実験結果

リサーチクエスチョン

• RQ1 線形化ボルツマン方程式は、$L^2$ 評価を用いて、すべての運動的時間にわたって硬い球体の運動から導出可能か？
• RQ2 ボルツマン＝グラード極限において、粒子間の相関の解体をどのように定量的に記述できるか？
• RQ3 流体力学的方程式（ストークス＝フラワー、音響）への収束を短時間領域を超えて実現するための条件は何か？
• RQ4 幾何的および対称性に基づく議論を用いて、流体力学的極限において再衝突効果を厳密に除外できるか？
• RQ5 $L^2$ フレームワークは、ボルツマン散乱作用素における非線形キャンセルをどのように改善するか？

主な発見

• 硬い球体系の1次周辺密度は、$C(\beta,\mu)/\alpha$ のオーダーの時間区間において、ほとんど everywhere で線形化ボルツマン方程式の解に収束する。
• 定量的 $L^2$ 分析を通じて収束を流体力学的時間スケールにまで拡張し、ランフォルトの元々の結果の短時間制限を克服した。
• 対称性と $L^2$ 評価から導かれる積率展開は、弱いカオスの形で、漸近的粒子非相関を記述する。
• 幾何的解析により、$N\varepsilon = \alpha$ スケーリング下で複数回の再衝突の寄与が無視可能であることが示された。
• 周期性および零質量条件 $\int M_\beta g_{\alpha,0} \, dz = 0$ のため、項 $I_{2,2}(Z_s)$ は消える。これによりキャンセル制御が可能になった。
• 誤差項のバウンドは $s \exp(Cs) \alpha \varepsilon \|g_{\alpha,0}\|_{L^\infty}$ のオーダーとなり、$\varepsilon \to 0$, $N \to \infty$, $N\varepsilon = \alpha$ の極限において一様な制御が保証された。