[论文解读] Analysis of biological integrate-and-fire oscillators

Marat Akhmet|arXiv (Cornell University)|Nov 25, 2010

Nonlinear Dynamics and Pattern Formation参考文献 30被引用 3

一句话总结

本文提出了一种基于映射的新型分析方法，用于非相同、脉冲耦合的积分-放电振子系统，其耦合为连续形式，证明了在特定条件下即使振子不完全相同，同步仍可发生。主要贡献在于显著推进了对佩斯金第二猜想的求解，通过识别同步区域，并表明同步时间随初始条件集合的扩大而增加。

ABSTRACT

We consider discontinuous dynamics of integrate-and-fire models, which consist of pulse-coupled biological oscillators. A thoroughly constructed map is in the basis of the analysis. Synchronization of non-identical oscillators is investigated. Significant advances for the solution of second Peskin's conjecture have been made. Examples with numerical simulations are given to validate the theoretical results. Perspectives are discussed.

研究动机与目标

• 解决关于非相同、脉冲耦合积分-放电振子中同步性的未解的佩斯金第二猜想。
• 构建一个动力系统框架，考虑非放电间隔期间振子之间的连续耦合，以增强生物学现实性。
• 构建一种专用映射（非庞加莱映射），用于追踪振子之间的状态转换，从而实现对同步和周期运动的分析。
• 识别非相同振子实现同步的条件，即使初始条件不相同。
• 为研究具有可变间断时刻的不连续动力系统中的周期性、准周期性和几乎周期性运动，提供理论与数值基础。

提出的方法

• 定义了一个原型映射 $ L $，其将一个振子在放电事件后的状态映射到另一个振子的状态，后续映射中角色互换。
• 该映射 $ L $ 通过微分方程 $ u' = f(u) $ 的解构造，其中 $ s(v) $ 表示达到阈值所需的时间，$ \bar{L}(v) = u(s, 0, 0) $，用于追踪另一个振子的状态。
• 分析依赖于动力学的单调性以及函数 $ g $ 的性质，特别是当 $ g $ 属于 $ \mathcal{K} $ 类型并满足条件 (A2) 时。
• 系统采用全连接耦合，每次放电均在所有非放电振子中引起状态跃迁，跃迁大小为 $ \epsilon + \epsilon_i $。
• 通过参数 $ \mu_i, \xi_i, \epsilon_i $ 引入扰动，实现非相同动力学，同时在特定条件下保持同步。
• 通过双振子和多振子系统的数值模拟验证理论结果，重点关注同步时间与区域大小。

实验结果

研究问题

• RQ1 在初始条件不相同时，非相同、脉冲耦合的积分-放电振子在何种条件下能够实现同步？
• RQ2 同步时间如何随初始条件区域的扩大而变化，特别是当区域扩大时？
• RQ3 能否构建一种基于映射的方法，以捕捉非相同系统中放电事件与振子间状态转换之间的相互作用？
• RQ4 在耦合强度、阈值和动力学中的扰动在多大程度上影响同步的保持或破坏？
• RQ5 所提出的映射框架能否扩展至分析具有不连续右端项的不连续动力系统中的周期性、几乎周期性或准周期性运动？

主要发现

• 当 $ x_2(t_0+) \in S_m $ 时，若 $ g $ 属于 $ \mathcal{K} $ 类型且条件 (A2) 成立，则同步在有限时间区间 $[t_0 + \frac{m}{2}\tilde{T}, t_0 + mT]$ 内实现。
• 若 $ g $ 属于 $ \mathcal{K} $ 类型但 (A2) 不成立，则系统无法实现同步，表明 (A2) 是同步的必要条件。
• 对于多振子系统，若所有非放电振子均处于 $ S_0 $，则同步在 $[t_0, t_0 + T]$ 内发生；若部分振子处于更高阶的 $ S_{k_i} $ 集合中，则同步发生在更长的时间区间内。
• 随着需要同步的初始条件区域扩大，同步所需时间无界增长，表明存在非同步的初始值。
• 非同步初始值的测度未被证明为零（与相同情况不同），但本文识别并表征了此类区域。
• 该方法可推广至具有时变阈值 $ 1 + \phi(t,x) $、状态依赖跃迁以及不连续右端项的系统，前提是映射 $ L $ 具有所需性质。