[論文レビュー] Incompressible Navier-Stokes-Fourier Limit from The Boltzmann Equation: Classical Solutions

Ning Jiang, Chao-Jiang Xu+1 more|arXiv (Cornell University)|Jan 24, 2014

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

ひとこと要約

本稿は、一般の衝突核を持つボルツマン方程式を、小さなクヌーゼン数の極限において、非圧縮性ナビエ＝ストークス＝フォーリエ方程式への厳密な導出を確立する。古典的解に対する一様ソボレフノルムの有界性を示すことにより、全空間における小さな初期データのもとで、巨視的流体変数が非圧縮性ナビエ＝ストークス＝フォーリエ系の解に収束することを示している。

ABSTRACT

The global classical solution to the incompressible Navier-Stokes-Fourier equation with small initial data in the whole space is constructed through a zero Knudsen number limit from the solutions to the Boltzmann equation with general collision kernels. The key point is the uniform estimate of the Sobolev norm on the global solutions to the Boltzmann equation.

研究の動機と目的

• ボルツマン方程式から非圧縮性ナビエ＝ストークス＝フォーリエ方程式への流体力学的極限を厳密に正当化すること。
• 全空間における小さな初期データのもとで、非圧縮性ナビエ＝ストークス＝フォーリエ系のグローバル古典的解の存在を確立すること。
• 小さなクヌーゼン数の範囲で、ボルツマン方程式の解に対する一様ソボレフ推定を証明すること。
• 導出において、グラードの角度的カットオフおよび非カットオフの両方の衝突核を取り扱うこと。

提案手法

• 著者たちは、小さなクヌーゼン数 ε を用いた非圧縮性ナビエ＝ストークススケーリングにおけるボルツマン方程式を用いる。
• マクスウェル分布まわりのフラクチュエーション分解を行い、平衡からのずれを gε として導入する。
• 非等方的ノルム | | |·| | | を用いて線形化ボルツマン作用素 L を分析し、速度空間の非等方性を捉える。
• マクロ・ミクロ分解により、gε を流体的成分 (P gε) と運動的成分 ((I−P)gε) に分離する。
• エネルギー推定と非等方的ノルムを用いて、ε に依存しない一様な gε のソボレフノルムの有界性を導出する。
• ε→0 の極限において、マクロな変数に対して弱収束およびコンパクト性の議論を適用し、極限方程式が得られる。

実験結果

リサーチクエスチョン

• RQ1 一般の衝突核を有するボルツマン方程式から、非圧縮性ナビエ＝ストークス＝フォーリエ方程式が流体力学的極限として導出可能か。
• RQ2 小さな初期データおよび小さなクヌーゼン数極限における一様ソボレフ有界性のもとで、ボルツマン方程式のグローバル古典的解が存在するか。
• RQ3 極限過程は、ナビエ＝ストークス＝フォーリエ系の非圧縮性およびエネルギー散逸構造を保存するか。
• RQ4 グラードの角度的カットオフと非カットオフの場合の結果にどのような相違があるか。

主な発見

• R³ における小さな初期データのもとで、非圧縮性ナビエ＝ストークス＝フォーリエ系のグローバル古典的解が、ボルツマン方程式のゼロクヌーゼン数極限によって構成される。
• クヌーゼン数 ε に依存しないボルツマン解 gε に対する一様ソボレフ推定が確立される。
• ε→0 のとき、マクロな流体変数（速度 u、温度 θ）は、粘性係数 ν および熱拡散係数 κ を有する非圧縮性ナビエ＝ストークス＝フォーリエ方程式の解に収束する。
• 極限系は非圧縮性条件 ∇x·u=0 と温度のエネルギー方程式を満たす。
• 極限系の初期データは、u(0,x)=Pu₀(x) および θ(0,x)=3/5 θ₀(x)−2/5 ρ₀(x) で与えられ、ここで ρ₀ は密度フラクチュエーションである。
• 収束は、N>1 に対して L∞([0,∞);H^N(R³)) の弱位相および C([0,∞);H^{N−1}(R³)) において成立する。