[論文レビュー] A gradient flow approach to the Boltzmann equation

Matthias Erbar|arXiv (Cornell University)|Mar 2, 2016

Advanced Mathematical Modeling in Engineering被引用数 5

ひとこと要約

本稿は、粒子の衝突を記述する新たなリーマン幾何学を導入することで、空間的に均一なボルツマン方程式にきめ細かな勾配流構造を確立する。この構造により、ボルツマン方程式がエントロピー汎関数の最も急な降下流として生じることを証明し、$γ$-収束による勾配流の収束を用いてカックの混合性の伝播を新たな方法で証明する。

ABSTRACT

We show that the spatially homogeneous Boltzmann equation evolves as the gradient flow of the entropy with respect to a suitable geometry on the space of probability measures which takes the collision process into account. This gradient flow structure allows to give a new proof for the convergence of Kac's random walk to the homogeneous Boltzmann equation, exploiting the stability of gradient flows.

研究の動機と目的

• 空間的均一なボルツマン方程式の確率測度空間における勾配流構造の確立。
• 粒子の衝突ダイナミクスを組み込んだ、確率測度空間上の新たなリーマン計量の同定。
• Kacの確率的多粒子系の混合性の伝播を、勾配流の$γ$-収束を示すことにより、新たな証明を与える。
• 新しい幾何学におけるエントロピー散逸率$D(f)$と計量勾配$|∂^-ℓ\mathcal{H}|$の関係の特定。
• 時間ステップ$\tau \to 0$における最小化移動スキームによる勾配流構造の妥当性の検証とボルツマン方程式への収束。

提案手法

• 衝突カーネル$B$と速度遷移を記述する新たなリーマン計量$\mathcal{W}_B$を$\mathcal{P}_p(\mathbb{R}^d)$に導入する。
• 対数平均$\Lambda$と衝突勾配$\bar{\nabla}\varphi = \varphi' + \varphi'_* - \varphi - \varphi_*$を用いて、オンサガー作用素$\mathcal{K}^B_f$を定義する。
• ボルツマン衝突作用素を$Q(f) = -\mathcal{K}^B_f D\mathcal{H}(f)$として表現し、エントロピー$\mathcal{H}(f) = \int f\log f$の勾配流として方程式を同定する。
• 最小化移動スキームを構築する：$\mu_n^\tau \in \arg\min_\nu \left[ \mathcal{H}(\nu) + \frac{1}{2\tau} \mathcal{W}_B(\nu, \mu_{n-1}^\tau)^2 \right]$、および区分的定数補間$\bar{\mu}_t^\tau$を用いる。
• 時間ステップ$\tau \to 0$において、離散的軌道$\bar{\mu}_t^\tau$が弱収束して、ボルツマン方程式を満たす曲線$\mu_t$に収束することを証明する。
• 計量勾配$|\partial^-\mathcal{H}|$が$\sqrt{D(f)} \leq |\partial^-\mathcal{H}(f)|$を満たすことを確立し、エントロピー散逸率と勾配流構造との関連を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 空間的に均一なボルツマン方程式は、確率測度空間上の適切な幾何構造において、きめ細かく勾配流として定式化可能だろうか？
• RQ2 $\mathcal{P}(\mathbb{R}^d)$上に、ボルツマン方程式の衝突ダイナミクスを自然に組み込む幾何的構造は何か？
• RQ3 確率的多粒子系をモデル化するKac系は、ボルツマン方程式の勾配流に$\gamma$-収束する勾配流構造を持つだろうか？
• RQ4 新しい幾何学におけるエントロピー散逸率$D(f)$と計量勾配$|\partial^-\mathcal{H}|$の関係は何か？
• RQ5 時間ステップ$\tau \to 0$における$\mathcal{W}_B$-計量における最小化移動スキームは、ボルツマン方程式を回復できるだろうか？

主な発見

• 粒子の衝突を記述する新たなリーマン計量$\mathcal{W}_B$を用いることで、ボルツマン方程式がエントロピー$\mathcal{H}(f) = \int f\log f$の勾配流としてきめ細かく示された。
• 対数平均と衝突勾配を用いてオンサガー作用素$\mathcal{K}^B_f$が構成され、$Q(f) = -\mathcal{K}^B_f D\mathcal{H}(f)$が得られ、勾配流構造の確認がなされた。
• $\mathcal{W}_B$-計量における最小化移動スキームにより生成された離散的軌道は、$\tau \to 0$においてボルツマン方程式の解に弱収束する。これは抽象的勾配流理論による存在の証明を示している。
• $\sqrt{D(f)} \leq |\partial^-\mathcal{H}(f)|$が証明され、計量勾配がエントロピー散逸率を支配することを示し、勾配流特徴付けに不可欠であることがわかった。
• Kac系のボルツマン方程式への収束が、勾配流の$\gamma$-収束を用いて再証明され、確率的粒子系と運動論方程式の間の新たな関係が確立された。
• 極限曲線は強い上部勾配$\sqrt{D}$に関する最大勾配曲線であることが確認され、勾配流の意味でボルツマン方程式を解くことが確認された。