[論文レビュー] Hydrodynamic limit of granular gases to pressureless Euler in dimension 1

Pierre‐Emmanuel Jabin, Thomas Rey|arXiv (Cornell University)|Feb 29, 2016

Gas Dynamics and Kinetic Theory参考文献 37被引用数 18

ひとこと要約

本稿は、Knudsen数が0に近づく極限において、強い非弾性を示す1次元の砂状ガスの流体力学的極限が、圧力なしのEuler系へ収束することを厳密に証明している。著者らは、新たな散乱的関数を導入し、運動論的レベルでの分散関係を活用することで、Oleinikのエントロピー条件を確立し、モノキネティック極限への収束を保証し、圧力なしのEuler方程式が非弾性粒子系の巨視的記述として正当化されることを示している。

ABSTRACT

We investigate the behavior of granular gases in the limit of small Knudsen number, that is very frequent collisions. We deal with the strongly inelastic case, in one dimension of space and velocity. We are able to prove the convergence toward the pressureless Euler system. The proof relies on dispersive relations at the kinetic level, which leads to the so-called Oleinik property at the limit.

研究の動機と目的

• 強い非弾性を示す砂状ガスの1次元流体力学的極限が圧力なしのEuler系へ収束することを正当化すること。
• エネルギー散逸と系の特異性のため、古典的Hilbert展開およびChapman-Enskog展開が失敗する状況を克服すること。
• 小Knudsen数極限における運動論的解がモノキネティック分布へ収束することを確立すること。
• 運動論的レベルにおける新たな散乱的関数を用いて、極限系がOleinikのエントロピー条件を満たすことを証明すること。
• 圧力なしのEuler方程式が非弾性粒子系の流体力学的モデルとして、厳密な数学的基盤を提供すること。

提案手法

• 著者らは、運動論方程式におけるエネルギー散逸および分散効果を捉える新たな散乱的関数を導入した。
• 衝突作用素から導かれる分散関係を用いて、速度モーメントの時間発展を制御し、Oleinikの性質を強制した。
• $L^p$における一様な有界性とモーメント推移の見積もりを用いて、速度空間における質量の集中を制御した。
• 重要なステップとして、$L^2$型関数 $\Lambda_{f_\varepsilon,k}$ が $\varepsilon \to 0$ の極限で消えることを示し、モノキネティック性を示した。
• 弱いコンパクト性と、対数的特異性を制御する修正されたリャプノフ関数 $\mathcal{L}_{\eta,\mu,0}$ を用いて収束を確立した。
• エネルギー見積もり、モーメントの伝播、一様可積分性を組み合わせ、運動論方程式における極限への移行を実現した。

実験結果

リサーチクエスチョン

• RQ1 強い非弾性を示す砂状ガスの流体力学的極限が、1次元で厳密に導出可能か？
• RQ2 小Knudsen数領域において、圧力なしのEuler方程式が非弾性Boltzmann方程式の巨視的極限として出現するか？
• RQ3 運動論的レベルにおける分散的および散乱的効果は、極限においてOleinikのエントロピー条件をどのように強制するか？
• RQ4 圧力が存在しないにもかかわらず、極限系の特異的挙動を制御するための関数的枠組みは何か？
• RQ5 初期データの弱収束のもとで、モノキネティック分布への収束は安定的かつ一様か？

主な発見

• 非弾性Boltzmann方程式の解 $f^\varepsilon$ は、$\varepsilon \to 0$ の極限で、モノキネティック分布 $\rho(x)\delta_{u(x)}(v)$ へ弱収束する。
• 巨視的場 $\rho$ と $u$ は、圧力なしのEuler系を満たす：$\partial_t \rho + \partial_x(\rho u) = 0$, $\partial_t(\rho u) + \partial_x(\rho u^2) = 0$。
• 衝突作用素の分散的性質と新たな散乱的関数のおかげで、極限においてOleinikのエントロピー条件が回復される。
• $f^\varepsilon$ に対する $L^p$ およびモーメントの有界性は $\varepsilon$ に依存せず一様であり、弱位相における前コンパクト性を保証する。
• 速度集中を測る関数 $\Lambda_{f_\varepsilon,k}$ は極限で消えるため、モノキネティック性が確認される。
• 初期データは $L^p$（$p>2$）かつ有界なモーメントを満たすと仮定され、収束はコンパクト区間上で一様に成立する。