[論文レビュー] A $N$-uniform quantitative Tanaka's theorem for the conservative Kac's $N$-particle system with Maxwell molecules

Mathias Rousset|arXiv (Cornell University)|Jul 8, 2014

Advanced Thermodynamics and Statistical Mechanics参考文献 35被引用数 6

ひとこと要約

本稿は、Kacの保存的$N$-粒子系にマクスウェル分子を適用した場合、新たなマコフカップリング構成を用いて$N$-一様な平衡への定量的傾向を確立した。同時に衝突球上での並列カップリングを導入することで、$t \to \infty$における$ t^{-\bar{\delta}} $のべき則的減衰率を証明し、$2(1+\delta)$より大きいモーメントに依存する明示的定数を得た。4次モーメントの場合に、混沌の伝播解析に依存せずにKacのプログラムを達成した。

ABSTRACT

This paper considers the space homogenous Boltzmann equation with Maxwell molecules and arbitrary angular distribution. Following Kac's program, emphasis is laid on the the associated conservative Kac's stochastic $N$-particle system, a Markov process with binary collisions conserving energy and total momentum. An explicit Markov coupling (a probabilistic, Markovian coupling of two copies of the process) is constructed, using simultaneous collisions, and parallel coupling of each binary random collision on the sphere of collisional directions. The euclidean distance between the two coupled systems is almost surely decreasing with respect to time, and the associated quadratic coupling creation (the time variation of the averaged squared coupling distance) is computed explicitly. Then, a family (indexed by $\\delta > 0$) of $N$-uniform ''weak'' coupling / coupling creation inequalities are proven, that leads to a $N$-uniform power law trend to equilibrium of order ${\\sim}_{ t \ o + \\infty} t^{-\\delta} $, with constants depending on moments of the velocity distributions strictly greater than $2(1 + \\delta)$. The case of order $4$ moment is treated explicitly, achieving Kac's program without any chaos propagation analysis. Finally, two counter-examples are suggested indicating that the method: (i) requires the dependance on $>2$-moments, and (ii) cannot provide contractivity in quadratic Wasserstein distance in any case.

研究の動機と目的

• 保存的Kacの$N$-粒子系にマクスウェル分子を適用した場合、$N$-一様な平衡への定量的傾向を確立すること。
• 2つのカップリングされた過程間のユークリッド距離がほとんど確実に減少する確率的・マコフ的カップリングを構築すること。
• $N$-一様なカップリング／生成不等式を導出し、べき則的減衰率を得ること。
• 特に4次速度モーメントの場合に、混沌の伝播解析に依存せずにKacのプログラムを達成すること。
• 反例を提示することで、方法の鋭さを特定し、$>2$-モーメントに依存することと、2次 Wasserstein 収縮性における制限を明らかにすること。

提案手法

• 衝突方向の球面上での二項衝突を用いて、Kac過程の2つのコピーの同時並列カップリングを構築する。
• カップリングされた系間のユークリッド距離が時間とともにほとんど確実に減少するマコフカップリングを定義する。
• 球座標および正規直交基底分解を用いて、2次カップリング生成率を明示的に計算する。
• ホルダーの不等式とWishart固有値比のモーメント推定を用いて、$N$-一様なカップリング不等式を導出する。
• グロンウォール型の議論と4次径方向モーメントの制御を組み合わせて、減衰率を評価する。
• $\delta > 0$でインデックス付けされたパラメトリックな不等式族を用い、明示的定数を伴う$ t^{-\delta} $の減衰率を導出する。

実験結果

リサーチクエスチョン

• RQ1 混沌の伝播に依存せずに、Kacの$N$-粒子系にマクスウェル分子を適用した場合に、$N$-一様なべき則的傾向を確立できるか？
• RQ2 保存的Kac過程において、$N$-一様な定数の観点から、収束の最適レートは何か？
• RQ3 この方法は初期速度分布のモーメントにどのように依存するか。有効性の閾値は何か？
• RQ4 カップリング法は2次 Wasserstein 距離で収縮性を達成できるか。もしそうでなければ、その理由は何か？
• RQ5 カップリングアプローチの鋭さの制限は、モーメント条件および収縮性の観点からどのように特定できるか？

主な発見

• 本稿では、$t \to \infty$における$N$-一様なべき則的傾向$ t^{-\delta} $を証明し、定数が$2(1+\delta)$より大きいモーメントに依存することを示した。
• 4次モーメントの場合、減衰率が明示的に$ t^{-1/2} $であることが示され、混沌の伝播解析に依存せずにKacのプログラムが達成された。
• カップリング構成により、2つのカップリングされた過程間の期待二乗距離が時間とともに決定的に減少することが保証された。
• 反例により、初期速度分布が$2(1+\delta)$より大きいモーメントを持つ必要があることが示された。
• 2つの反例により、方法が2次 Wasserstein 距離での収縮性を達成できないことが示され、本質的な制限が明らかになった。
• 減衰率の明示的定数は、$c_{\delta,N} = k_{\delta,\frac{2}{1-\delta},N} \left(\frac{2d+4}{d}\right)^{-1/2 - 1/2\delta}$ として与えられ、モーメント推定とカップリング不等式から導出された。