[論文レビュー] The Stationary Boltzmann equation for a two component gas in the slab with different molecular masses

Stéphane Brull|ArXiv.org|Oct 7, 2009

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

ひとこと要約

本稿は、二成分の気体（異なる分子質量を有する）がスラブ領域 $[-1,1]$ 内で定常状態のボルツマン方程式に対して $L^1$ 解の存在定理を確立する。エントロピー生成の制御と弱 $L^1$ コンパクトネスを用いて、一方の成分が与えられた境界入力プロファイルに従い、他方の成分が拡散反射境界条件を満たす場合に解の存在を証明する。

ABSTRACT

The stationary Boltzmann equation for hard and soft forces in the context of a two component gas is considered in the slab when the molecular masses of the 2 component are different. An $L^{1}$ existence theorem is proved when one component satisfies a given indata profile and the other component satisfies diffuse reflection at the boundaries. Weak $L^{1}$ compactness is extracted from the control of the entropy production term.

研究の動機と目的

• 境界付きスラブ領域における異なる分子質量を有する二成分気体の定常ボルツマン方程式の解の存在を確立すること。
• 標準的な DiPerna-Lions 理論が適用できない定常的・多成分ボルツマン方程式に対する解の存在結果の欠如に取り組むこと。
• 質量の違いのため、分布関数の和が単一成分ボルツマン方程式を満たさないという課題に対処すること。
• 境界条件と衝突不変量を用いてフラックスとエントロピーを制御し、近似インデックス $j$ に依存しない一様なバウンディングを保証するコンパクトネスのための条件を確保すること。

提案手法

• 硬力および軟力のための速度依存衝突作用素 $Q_{\bullet\bullet}$ を用いて、二種類の物質 $A$ および $B$ の定常ボルツマン系を定式化する。
• 成分 $A$ に対して境界で与えられた入力プロファイルを、成分 $B$ に対して拡散反射境界条件を課し、マクスウェル分布 $M_{/pm}$ を基準分布として用いる。
• 特性曲線法を用いて、$|v| \to 2$ の速度領域における $f_B^j$ の下界を導出し、正値性と一様な制御を保証する。
• Dunford-Pettis の基準を用いて、特に $f_B^j(1,\bullet)$ および $f_B^j(-1,\bullet)$ の境界フラックスの弱 $L^1$ コンパクトネスを抽出する。
• グリーンの公式によるエントロピー推定を用いてエントロピーフラックスを制御し、$f_B^j$ の $L^1$-弱コンパクトネスにおける有界性を保証する。
• 保存則（質量、運動量、エネルギー）および衝突核の対称性に依存して、近似インデックス $j$ に依存しない一様なバウンディングを導出する。

実験結果

リサーチクエスチョン

• RQ1 スラブ領域 $[-1,1]$ 内で異なる分子質量を有する二成分気体の定常ボルツマン方程式に対して、$L^1$ 解が存在しうるか。
• RQ2 分布関数の和が単一成分ボルツマン方程式を満たさない場合に、弱 $L^1$ コンパクトネスをどのように確立できるか。
• RQ3 エントロピー生成と境界フラックスは、質量が異なる成分に対して解の列を制御するために果たす役割は何か。
• RQ4 拡散反射境界条件と入力境界条件を同時に取り扱うことで、解の存在性とコンパクトネスを保証できるか。

主な発見

• スラブ領域 $[-1,1]$ 内で異なる分子質量を有する二成分気体の定常ボルツマン方程式に対して、$L^1$ 解の存在定理が確立された。
• エントロピー生成の制御から弱 $L^1$ コンパクトネスが抽出され、近似列の収束が可能となった。
• 拡散反射境界条件とマクスウェル基準状態のおかげで、成分 $B$ の境界フラックスは $L^1$ で一様に有界である。
• 保存則とエントロピー推定により、エネルギーおよびエントロピーフラックスが一様に制御され、解列の安定性が保証された。
• 解列 $f_B^j$ は境界で $L^1$ で弱コンパクトであり、極限が元の系の解として特定可能となった。
• 質量の差異のため、$f_A$ と $f_B$ の和が単一成分ボルツマン方程式を満たさないという障害を、本手法は克服した。