[论文解读] 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

一句话总结

本文通过一种新颖的马尔可夫耦合构造，为具有麦克斯韦分子的科赫保守 $N$-粒子系统建立了 $N$-一致的定量趋化趋势。通过在碰撞球面上引入同时并行耦合，作者证明了当 $t \to \infty$ 时，衰减速率为 $t^{-\bar{\delta}}$ 的幂律形式，其中常数显式依赖于超过 $2(1+\delta)$ 阶的矩，从而在不依赖混沌传播分析的前提下实现了科赫程序，特别适用于四阶矩情形。

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.

研究动机与目标

• 为具有麦克斯韦分子的保守科赫 $N$-粒子系统建立定量的、$N$-一致的趋化趋势。
• 构造一种概率性、马尔可夫性的耦合，确保两个耦合过程之间欧氏距离以几乎必然方式递减。
• 推导出显式的 $N$-一致耦合/生成不等式，从而获得幂律衰减速率。
• 在不依赖混沌传播分析的前提下实现科赫程序，特别是针对四阶速度矩的情形。
• 通过反例识别方法的精确性，表明其对 $>2$-阶矩的依赖性以及在二次 Wasserstein 拓扑收缩性上的局限性。

提出的方法

• 通过在碰撞方向球面上使用二元碰撞，构建两个科赫过程副本的同时并行耦合。
• 定义一种马尔可夫耦合，使得耦合系统之间的欧氏距离随时间几乎必然减小。
• 利用球坐标系和正交基分解，显式计算二次耦合生成速率。
• 应用赫尔德不等式和威沙特特征值比的矩估计，推导出 $N$-一致的耦合不等式。
• 结合四阶径向矩的矩控制与格朗沃尔型论证，对衰减速率进行有界估计。
• 采用以 $\delta > 0$ 为参数的不等式族，推导出具有显式常数的 $t^{-\delta}$ 衰减速率。

实验结果

研究问题

• RQ1 能否在不依赖混沌传播分析的前提下，为具有麦克斯韦分子的科赫 $N$-粒子系统建立 $N$-一致的幂律趋化趋势？
• RQ2 对于保守科赫过程，$N$-一致常数下的最优收敛速率是什么？
• RQ3 该方法对初始速度分布的矩有何依赖性？其有效性的临界阈值是什么？
• RQ4 该耦合方法能否实现二次 Wasserstein 距离的收缩性？若不能，原因是什么？
• RQ5 从矩条件和收缩性角度出发，该耦合方法的精确性限制是什么？

主要发现

• 本文证明了当 $t \to \infty$ 时，$N$-一致的幂律趋化趋势为 $t^{-\delta}$，其中常数依赖于严格大于 $2(1+\delta)$ 阶的矩。
• 对于四阶矩情形，衰减速率被显式证明为 $t^{-1/2}$，在不依赖混沌传播分析的前提下实现了科赫程序。
• 耦合构造确保了两个耦合过程之间期望平方距离随时间确定性地减小。
• 方法要求初始速度分布具有大于 $2(1+\delta)$ 阶的矩，反例已证明此条件的必要性。
• 该方法无法实现二次 Wasserstein 距离的收缩性，两个反例表明其存在固有局限性。
• 衰减速率中的显式常数为 $c_{\delta,N} = k_{\delta,\frac{2}{1-\delta},N} \left(\frac{2d+4}{d}\right)^{-1/2 - 1/2\delta}$，由矩估计和耦合不等式推导得出。