[论文解读] Phase transition and asymptotic behaviour of flocking Cucker-Smale model

Xingyu Li|arXiv (Cornell University)|Jun 18, 2019

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 13被引用 6

一句话总结

该论文确定了在带有噪声和自推进力的连续Cucker-Smale聚群模型中控制相变的关键噪声强度 $ D_* $。证明表明，当 $ D < D_* $ 时，会涌现出稳定的极化（聚群）状态；而当 $ D > D_* $ 时，仅存在各向同性（无序）状态。此外，论文进一步表明，解会以由线性化算子谱隙决定的速率指数收敛到稳定的聚群状态，且该速率是在适配非局部项的范数下确定的。

ABSTRACT

In this paper, we study a continuous ocking Cucker-Smale model with noise, which has isotropic and polarized stationary solutions depending on the intensity of the noise. The first result establishes the threshold value of the noise parameter which drives the phase transition. This threshold value is used to classify all stationary solutions and their linear stability properties. Using an entropy, these stability properties are extended to the non-linear regime. The second result is concerned with the asymptotic behaviour of the solutions of the evolution problem. In several cases, we prove that stable solutions attract the other solutions with an optimal exponential rate of convergence determined by the spectral gap of the linearized problem around the stable solutions. The spectral gap has to be computed in a norm adapted to the non-local term.

研究动机与目标

• 确定在带有噪声和自推进力的连续Cucker-Smale模型中，将各向同性（无序）与极化（聚群）稳态分离开来的临界噪声强度 $ D_* $。
• 根据 $ D $ 相对于 $ D_* $ 的取值，对所有稳态解进行分类，并确定其线性和非线性稳定性性质。
• 分析解的长期渐近行为，特别是收敛到稳定聚群状态的速率。
• 通过适配非局部相互作用项的范数中的谱隙估计，计算收敛到稳定稳态解的最优指数收敛速率。

提出的方法

• 通过自由能泛函 $ \mathcal{F}[f] $ 研究稳定性，利用基于熵的方法将线性稳定性结果推广至非线性情形。
• 临界阈值 $ D_* $ 由在各向同性状态附近线性化算子具有零特征值的条件导出，结合稳态解的归一化形式与势函数的函数形式。
• 在考虑非局部相互作用特性的加权 $ L^2 $-范数下，计算了在稳定非各向同性解附近的线性化算子的谱隙。
• 在假设平均速度沿不稳定方向的切向收敛的前提下，通过能量估计和涉及谱隙的修正Poincaré型不等式，证明了非线性收敛性。
• 该方法涉及通过变换 $ g = (f - f_{\mathbf{u}})/f_{\mathbf{u}} $ 来分析围绕稳定稳态 $ f_{\mathbf{u}} $ 的扰动。
• 通过特殊函数（如修正贝塞尔函数、Incomplete gamma函数）的数值与渐近分析，计算了特定 $ d $、$ \alpha $ 下的 $ D_* $。

实验结果

研究问题

• RQ1 在带有噪声和自推进力的Cucker-Smale模型中，精确的阈值 $ D_* $ 是什么，它能将无序（各向同性）相与有序（极化）相分离开来？
• RQ2 稳态解（各向同性和非各向同性）的稳定性特性如何依赖于噪声强度 $ D $，其转变的决定因素是什么？
• RQ3 收敛到稳定聚群状态的最优指数收敛速率是多少，它与线性化算子的谱隙有何关联？
• RQ4 范数的选择如何影响谱隙的计算？为何采用适配非局部项的范数至关重要？
• RQ5 当 $ d \to \infty $ 或 $ \alpha \to 0^+ $、$ \alpha \to \infty $ 时，$ D_* $ 的渐近行为如何？可建立哪些界限？

主要发现

• 存在一个临界噪声强度 $ D_* > 0 $，使得当 $ D > D_* $ 时，唯一稳定的稳态解为各向同性解；当 $ D < D_* $ 时，各向同性解不稳定，且存在一个连续的稳定非各向同性（极化）解族，其唯一性仅在旋转下成立。
• 临界值 $ D_* $ 随维度 $ d $ 单调递减，且满足不等式 $ \frac{1}{d+2} < D_* < \frac{1}{d} $，其中下界在 $ \alpha \to 0^+ $ 时趋近，上界在 $ \alpha \to \infty $ 时趋近。
• 当 $ D < D_* $ 时，若初始自由能低于各向同性状态的自由能，则解会以速率 $ \lambda $ 指数收敛到稳定极化稳态 $ f_{\mathbf{u}} $，其中 $ \lambda $ 由线性化算子的谱隙决定。
• 最优指数收敛速率由 $ \mathcal{F}[f(t)] - \mathcal{F}[f_{\mathbf{u}}] \leq C e^{-\lambda t} $ 给出，其中 $ \lambda $ 依赖于谱隙以及 $ \mathbf{u}_f $ 与极限方向 $ \mathbf{u} $ 之间的夹角。
• 计算了 $ D_* $ 的数值：当 $ d=1, \alpha=2 $ 时，$ D_* \approx 0.529 $；当 $ d=2, \alpha=2 $ 时，$ D_* \approx 0.354 $。
• 谱隙在适配非局部项的范数下计算，收敛性证明依赖于一个精细估计 $ \mathsf{Z}(t) \geq \mathcal{C}_D (1 - \kappa(D)) \varepsilon^2 $，该估计确保在非切向收敛条件下的指数衰减。