[論文レビュー] Geometric analysis of the linear Boltzmann equation I. Trend to equilibrium

Daniel Han-Kwan, Matthieu Léautaud|arXiv (Cornell University)|Jan 31, 2014

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

ひとこと要約

本稿は、制御理論的概念を用いて、退化した衝突カーネルを伴う線形ボルツマン方程式における平衡状態への収束のための幾何学的条件を確立する。ほぼ everywhere における幾何学的制御条件が収束の必要十分条件であることを証明し、Lebeau定数を用いて指数的減衰を特徴づける。結果はトーラス、鏡面反射を伴う有界領域、および一般の衝突カーネル仮定の下でのコンパクトなリーマン多様体へと拡張される。

ABSTRACT

This work is devoted to the analysis of the linear Boltzmann equation in a bounded domain, in the presence of a force deriving from a potential. The collision operator is allowed to be degenerate in the following two senses: (1) the associated collision kernel may vanish in a large subset of the phase space; (2) we do not assume that it is bounded below by a Maxwellian at infinity in velocity. We study how the association of transport and collision phenomena can lead to convergence to equilibrium, using concepts and ideas from control theory. We prove two main classes of results. On the one hand, we show that convergence towards an equilibrium is equivalent to an almost everywhere geometric control condition. The equilibria (which are not necessarily Maxwellians with our general assumptions on the collision kernel) are described in terms of the equivalence classes of an appropriate equivalence relation. On the other hand, we characterize the exponential convergence to equilibrium in terms of the Lebeau constant, which involves some averages of the collision frequency along the flow of the transport. We handle several cases of phase spaces, including those associated to specular reflection in a bounded domain, or to a compact Riemannian manifold.

研究の動機と目的

• 有界領域におけるポテンシャル駆動力と退化した衝突カーネルを伴う線形ボルツマン方程式の長期的挙動を分析すること。
• 衝突カーネルが位相空間の広範な部分集合で消える可能性がある場合に、平衡状態への収束のための必要十分な幾何学的条件を確立すること。
• Lebeau定数を用いて、平衡状態への指数的収束を特徴づけること。Lebeau定数は、輸送軌道に沿った衝突頻度の平均値を表す。
• トーラス、鏡面反射を伴う有界領域、コンパクトなリーマン多様体などのさまざまな幾何的設定へと結果を拡張すること。
• 線形化BGKモデルや非マクスウェル型平衡を持つ他のキネティック輸送方程式へと分析を一般化すること。

提案手法

• 幾何学的制御理論を用いて、衝突集合の構造と長期的収束挙動との関係を結びつける。
• 平衡状態への収束のための必要十分条件として、almost everywhere における幾何学的制御条件（a.e.i.t. GCC）を導入する。
• フローによって誘導される同値類の概念を用いて、平衡状態の形を記述する。このとき、平衡状態は一般にマクスウェル型であるとは限らない。
• 重み付きLebesgue空間と一意継続性の性質を用いて、解の正則性と伝播を分析する。
• Lebeau定数（軌道に沿った衝突頻度の平均値の下界）を定義し、指数的収束を特徴づける。
• 速度平均化補題とコンパクト性の議論を用いて、hypocoercive枠組みにおける散逸推定を確立する。

実験結果

リサーチクエスチョン

• RQ1 衝突集合のどの幾何学的条件下で、線形ボルツマン方程式が平衡状態に収束するか。
• RQ2 特に、位相空間の広範な部分集合で消える衝突カーネルの退化が、平衡状態への収束にどのように影響するか。
• RQ3 輸送フローが平衡状態への収束速度を決定づける役割は何か。
• RQ4 無限遠点における衝突頻度に下界がない状況下で、Lebeau定数はどのように指数的収束を定量的に評価するか。
• RQ5 結果は、非マクスウェル型平衡状態や、コンパクト多様体、または鏡面反射を伴う有界領域といった異なる幾何的設定へどの程度拡張可能か。

主な発見

• 平衡状態への収束は、almost everywhere における幾何学的制御条件（a.e.i.t. GCC）と同値であり、これはすべての軌道が衝突集合に正の測度の時間を費やすことを保証する。
• 平衡状態は、フローによって誘導される同値類上で定数となる関数として特徴づけられ、一般の衝突カーネル仮定のもとではマクスウェル型であるとは限らない。
• 指数的収束は、Lebeau定数が正であることによって特徴づけられ、これは軌道に沿った衝突頻度の平均値に依存する。
• 本稿では、同じ幾何学的およびスペクトル的条件下で、線形化BGKモデルについて $\mathcal{L}^2_{bgk}$-ノルムにおける指数的減衰を確立する。
• BGKモデルでは、指数的収束が成り立つための必要十分条件は $C^{-}(\infty) > 0$ である、すなわち無限遠点における衝突頻度が下界を持つことである。
• 結果は、コンパクトなリーマン多様体および鏡面反射を伴う有界領域へと拡張され、幾何学的制御条件が依然として主要な基準のまま保たれることが示された。