[论文解读] Uniform position alignment estimate of spherical flocking model with inter-particle bonding forces

Sun-Ho Choi, Dohyun Kwon+1 more|arXiv (Cornell University)|Jan 4, 2021

Distributed Control Multi-Agent Systems参考文献 34被引用 4

一句话总结

该论文在单位球面上的Cucker-Smale型模型中，通过能量耗散与变换后的线性系统，建立了具有粒子间结合力的完全位置聚 flock 的充分条件，证明了位置直径的统一指数衰减。该条件仅依赖于通信速率与结合强度，而不依赖于粒子数量，确保了系统渐近收敛至单一点并以恒定速度运动。

ABSTRACT

We present a sufficient condition of the complete position flocking theorem for the Cucker-Smale type model on the unit sphere with an inter-particle bonding force. For this second order dynamical system derived in [Choi, S.-H., Kwon, D. and Seo, H.: Cucker-Smale type flocking models on a sphere. arXiv preprint arXiv:2010.10693, 2020] by using the rotation operator in three dimensional sphere, we obtain an exponential decay estimate for the diameter of agents' positions as well as time-asymptotic flocking for a class of initial data. The sufficient condition for the initial data depends only on the communication rate and inter-particle bonding parameter but not the number of agents. The lack of momentum conservation and the curved space domain make it difficult to apply the standard methodology used in the original Cucker-Smale model. To overcome this and obtain a uniform position alignment estimate, we use an energy dissipation property of this system and transform the Cucker-Smale type flocking model into an inhomogeneous system of differential equations of which solution contains the position and velocity diameters. The coefficients of the transformed system are controlled by the communication rate and a uniform upper bound of velocities obtained by the energy dissipation.

研究动机与目标

• 建立在单位球面上具有粒子间结合力的二阶Cucker-Smale模型中完全位置聚 flock 的充分条件。
• 克服球面空间中动量不守恒与曲面几何带来的挑战。
• 推导出与粒子数量无关的位置直径统一指数衰减估计。
• 在仅依赖于通信速率与结合参数的初始数据条件下，确保时间渐近聚 flock。
• 构建适用于标准Cucker-Smale方法失效的流形上多智能体系统的框架。

提出的方法

• 利用能量耗散特性推导出速度的统一上界，这对于处理动量不守恒问题至关重要。
• 将原始非线性系统转化为位置与速度直径的非齐次微分方程组。
• 对变换后的系统应用Gronwall引理，建立位置直径的指数衰减。
• 采用基于Lohe模型的旋转算子，以保持运动在球面上并确保测地线一致性。
• 定义一个李雅普诺夫泛函以追踪对齐与稳定性，利用通信速率与结合参数。
• 引入一种改进的粒子间结合力，使用投影算子以保持粒子位于球面上并防止对径点聚集。

实验结果

研究问题

• RQ1 在球面上的Cucker-Smale型模型中，即使缺乏动量守恒与曲面几何影响，是否仍可实现完全位置聚 flock？
• RQ2 何种初始数据的充分条件可保证位置直径的统一指数衰减，且与粒子数量无关？
• RQ3 如何利用能量耗散来控制速度界并实现在非欧几里得空间中的统一对齐估计？
• RQ4 结合力参数σ与通信速率ψ在多大程度上影响聚 flock 系统的收敛速率与稳定性？
• RQ5 能否采用线性化系统方法，推导出非线性、几何约束的多智能体系统中的渐近位置对齐？

主要发现

• 位置直径以速率μ/2指数衰减，衰减速率由通信速率与结合强度决定。
• 完全位置聚 flock 的充分条件仅依赖于通信速率ψ与结合参数σ，与粒子数N无关。
• 通过能量耗散，速度直径得到统一有界，从而在缺乏动量守恒的情况下控制了系统动力学。
• 数值模拟证实了最大空间直径的指数衰减，与可接受初始条件下的理论预测一致。
• 当初始数据违反可接受条件时，指数衰减失效，如σ=5时的模拟所示。
• 系统表现出渐近收敛至单一点并以恒定速度运动，证实了球面上的完全位置聚 flock。