[论文解读] Global analysis of a continuum model for pulse-coupled oscillators

Alexandre Mauroy, Rodolphe Sepulchre|arXiv (Cornell University)|Feb 22, 2011

Nonlinear Dynamics and Pattern Formation参考文献 31被引用 4

一句话总结

本文提出了一种基于分位数密度之间总变差距离的全局李雅普诺夫函数，用于脉冲耦合相位振子连续体模型。该研究证明了振子要么在有限时间内实现同步，要么渐近地在圆周上均匀分布，从而为连续极限下的非线性输运方程提供了全局稳定性结果。

ABSTRACT

We consider phase oscillators on the circle interacting through an impulsive instantaneous coupling. In contrast with previous studies on related pulse-coupled models, global stability results are obtained in the continuum limit. For the nonlinear transport equation governing the evolution of the oscillators, we propose (under technical assumptions) a global Lyapunov function which is induced by a total variation distance between quantile densities. The monotone time evolution of the Lyapunov function completely characterizes the dichotomic behavior of the oscillators: either the oscillators converge in finite time to a synchronous state or they asymptotically converge to an asynchronous state uniformly spread on the circle. The results of the present paper apply to various popular phase oscillators models (e.g. the well-known leaky integrate-and-fire model) and provide a novel approach for the (global) analysis of pulse-coupled oscillators.

研究动机与目标

• 在振子通过瞬时脉冲相互作用的连续极限下，建立脉冲耦合振子的全局稳定性结果。
• 解决先前脉冲耦合振子模型中缺乏全局分析的问题，特别是非线性区域中的问题。
• 表征振子的长期行为：要么在有限时间内实现完全同步，要么渐近地在圆周上均匀分布。
• 构建一种新颖的李雅普诺夫函数，利用分位数密度之间的总变差距离来捕捉系统的二分动力学特性。

提出的方法

• 作者推导了描述连续极限下振子相位演化的非线性输运方程。
• 基于振子分布的分位数密度之间的总变差距离，构建了一个李雅普诺夫函数。
• 利用该李雅普诺夫函数随时间单调递减的性质来表征系统的长期行为。
• 施加技术性假设以确保李雅普诺夫函数定义良好，并且除平衡态外严格递减。
• 通过将动力学映射到输运方程，该方法可适用于多种相位振子模型，包括漏积分-放电模型。
• 分析利用了分位数函数的性质和测度论工具，以处理脉冲耦合的不连续性。

实验结果

研究问题

• RQ1 在何种条件下，脉冲耦合振子系统会在有限时间内收敛到同步状态？
• RQ2 什么决定了系统渐近地趋近于圆周上的均匀异步状态？
• RQ3 如何为具有脉冲耦合的脉冲耦合振子连续体模型构造一个全局李雅普诺夫函数？
• RQ4 是否能通过一个单调递减的泛函完全表征系统的二分行为——即同步或均匀扩散？
• RQ5 这些结果在多大程度上可推广到广泛使用的模型，如漏积分-放电振子？

主要发现

• 所提出的李雅普诺夫函数基于分位数密度之间的总变差距离，随时间严格递减，从而确保全局稳定性。
• 系统表现出二分特性：要么所有振子在有限时间内实现完全同步，要么渐近地在圆周上均匀分布。
• 当李雅普诺夫函数在有限时间内减小至零时，发生有限时间同步，表明相位锁定。
• 当李雅普诺夫函数趋近于一个正常数时，表征渐近均匀扩散，表明相位分散持续存在。
• 该结果适用于已建立的模型，如漏积分-放电振子，证明了该方法的广泛适用性。
• 该分析为脉冲耦合振子提供了一个全局框架，克服了先前局部或线性化方法的局限性。