[論文レビュー] Strong diffusive limit of the Boltzmann equation with Maxwell boundary condition

Yan Guo, Jung, Junhwa+1 more|arXiv (Cornell University)|Sep 18, 2018

Gas Dynamics and Kinetic Theory参考文献 33被引用数 3

ひとこと要約

本稿は、すべての吸収係数 α ∈ [0, 1] に対して、ボルツマン方程式の時間全域における強い拡散極限を、非圧縮性ナビエ＝ストークス＝フォーリエ（INSF）系と、マクスウェルの境界条件のもとで初めて確立した。長年の未解決問題を解消した。ε-スケーリング法を導入し、回転するマクスウェル分布を用いた新しい散逸的分解を構築することで、近鏡面領域（α ≪ ε）においても、すべてのαの範囲で一様な収束を強解フレームワークで達成した。

ABSTRACT

While weak diffusive limit from the Boltzmann equation to the incompressible Navier-Stokes-Fourier system was established for the Maxwell boundary condition within renormalized solutions framework [Saint.Raymond2009][Jiang-Masmoudi2017], the corresponding strong diffusive limit has remained outstanding except when the accommodation coefficient $α\sim \varepsilon^{1/2}$ [Jiang-Masmoudi2017]. We establish global in time strong diffusive limit for all accommodation coefficients $α\in [0, 1]$ within strong solutions framework. The main novelties of our proof include: (1) a $\varepsilon$-stretching method for reduction to a single-bounce $L^\infty$ estimate; (2) a dissipation estimate for a carefully constructed rotating Maxwellian in the near-specular regime $α\ll \varepsilon$.

研究の動機と目的

• マクスウェル境界条件の下で、ボルツマン方程式の非圧縮性ナビエ＝ストークス＝フォーリエ（INSF）系への強い拡散極限を確立すること。
• α ∈ [0, 1] のすべての吸収係数に対して強い極限が成立することを解明し、特に近鏡面領域 α ≪ ε における挑戦的ケースを解決すること。
• 従来の結果が α ∼ ε^{1/2} に限られていたのを拡張し、時間全域における収束を強解フレームワークで確立する新しい枠組みを構築すること。
• 近鏡面領域における散逸的構造を捉えるために、回転するマクスウェル分布 ˜µ = Mρ,u,T を構築・分析すること。
• ε ≲ α ≤ 1 および 0 ≤ α ≪ ε の両領域において、異なるが補完的な解析的手法を用いて境界層の取り扱いを統一すること。

提案手法

• ボルツマン方程式をグローバルマクスウェル分布 µ のまわりで線形化するため、F = µ + ε√µf とスケーリングし、スケーリングされた衝突演算子を伴う摂動線形運動方程式に変換する。
• ε-スケーリング法を導入し、全L∞推定を1回の散乱に帰着させることで、時間にわたる解のess sup-ノルムの制御を可能にする。
• 近鏡面領域（α ≪ ε）における境界層をモデル化するため、速度のずれ u と回転角 θ を持つ回転マクスウェル分布 ˜µ = Mρ,u,T を構築する。
• 回転マクスウェル分布を用いて衝突演算子の散逸的分解を導出し、f のL2およびL6ノルムにおけるエネルギー推定を可能にする。
• 楕円型推定と適合条件を適用し、流体極限から得られる巨視的方程式を解き、INSF系の可解性を保証する。
• L∞、L2、L6ノルムの推定を組み合わせたブートストラップ法を用いて非線形推定を閉じ、時間全域における存在性と収束性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ボルツマン方程式のINSF系への強い拡散極限が、すべての吸収係数 α ∈ [0, 1] に対して時間全域で確立可能か？
• RQ2 標準的なマクスウェル分布が正しく散逸を捉えない近鏡面領域（α ≪ ε）において、境界層構造をどのように制御できるか？
• RQ3 拡散的（α ≳ ε）と近鏡面的（α ≪ ε）の領域の間の遷移を扱うために、どのような新しい解析的手法が必要か？
• RQ4 回転マクスウェル分布を用いて、近鏡面状況におけるエネルギー推定を可能にする散逸的構造を構築できるか？
• RQ5 すべての α ∈ [0, 1] の範囲で、強解ノルムにおける一様収束を達成できるか？

主な発見

• 本稿は、α ∈ [0, 1] のすべての吸収係数に対して、ボルツマン方程式のINSF系への時間全域における最初の強い拡散極限を確立した。特に、以前未解決だった α ≪ ε のケースも含む。
• ε ≲ α ≤ 1 の領域では、フラクチュエーション f がINSF系の解に L∞、L2、L6 ノルムで収束することを証明し、収束速度は初期データと領域の正則性に依存する。
• 近鏡面領域（0 ≤ α ≪ ε）では、速度のずれ u と角速度 θ を持つ回転マクスウェル分布 ˜µ を構築することで、散逸的分解が可能となり、フラクチュエーション f のエネルギーが制御できる。
• ε-スケーリング法により、全L∞推定が1回の散乱に帰着され、解のess sup-ノルムが時間にわたって一様に制御された。
• 回転マクスウェル分布に対して正確な境界積分恒等式を導出し、特に ˆ_{n·v>0} |v−u|^2 ˜µ[n·v] dv = 4ρT^{3/2}/(2π)^{1/2} が得られた。これはエネルギー推定に不可欠である。
• 流体極限から得られる巨視的方程式は、楕円型理論により可解であることが示され、速度場および温度場のL2およびL6ノルムがεに依存せずに一様に有界であることが分かった。