[论文解读] General time elapsed neuron network model: well-posedness and strong connectivity regime

Qilong Weng|arXiv (Cornell University)|Dec 22, 2015

Neural dynamics and brain function参考文献 13被引用 4

一句话总结

本文通过在巴拿赫空间中使用半群谱分析，建立了具有时滞的一般时间流逝神经元网络模型的适定性与指数渐近稳定性。在对发放率和时滞分布施加物理上合理的假设下，证明了阶跃函数发放率下解的存在性、唯一性以及强连通性区域的稳定性，将先前结果扩展至包含记忆效应的情形。

ABSTRACT

For large fully connected neuron networks, we study the dynamics of homogenous assemblies of interacting neurons described by time elapsed models, indicating how the time elapsed since the last discharge construct the probability density of neurons. Through the spectral analysis theory for semigroups in Banach spaces developed recently in [6, 9], on the one hand, we prove the existence and the uniqueness of the weak solution in the whole connectivity regime as well as the parallel results on the long time behavior of solutions obtained in [10] under general assumptions on the ring rate and the delay distribution. On the other hand, we extend those similar results obtained in [11, 12] in the case without delay to the case taking delay into account and both in the weak and the strong connectivity regime with a particular step function ring rate. Our approach uses the spectral analysis theory for semigroups in Banach spaces developed recently by the first author and collaborators.

研究动机与目标

• 在所有连通性区域中，建立一般时间流逝神经元网络模型弱解的存在性与唯一性。
• 在对发放率和时滞分布施加一般假设的前提下，分析解的长期行为。
• 将先前关于无时滞情况的结果扩展至含时滞的情形，特别是针对阶跃函数发放率的情况。
• 在强连通性区域（定义为 ε ∈ [ε₁, ∞)，其中 ε₁ 足够大）中证明指数渐近稳定性。
• 通过时滞分布 b 的指数有界性与光滑性条件，严格纳入时滞效应。

提出的方法

• 使用巴拿赫空间中的半群谱分析理论，分析与时间流逝动力学相关的线性化算子。
• 应用巴拿赫不动点定理，在对发放率 a 和时滞分布 b 施加假设的前提下，证明解的存在性与唯一性。
• 采用杜哈梅尔公式与格朗沃尔不等式，分析稳态附近扰动的稳定性。
• 引入密度 f(t,x) 与延迟活动 u(t,y) 的耦合系统，其中时滞分布 b(y) 满足 ∫₀^∞ e^{δy}(b(y) + |b′(y)|) dy < ∞。
• 将发放率 a(x, μ) 定义为阶跃函数：a(x, μ) = 1_{x > σ(εμ)}，其中 σ 为非增函数，且 σ, σ⁻¹ ∈ W¹,∞(ℝ₊)。
• 通过区间长度 |I[𝒟[v]]| 的有界性分析非线性扰动项 Q[g,v] 及其对稳定性的影响，得出依赖于 ε 的衰减估计。

实验结果

研究问题

• RQ1 在对发放率和时滞分布施加一般假设的前提下，带时滞的时间流逝神经元网络模型是否对所有 ε > 0 存在唯一的弱解？
• RQ2 在存在时滞的情况下，解的长期行为是否可以被表征，包括收敛至稳态？
• RQ3 当引入时滞时，特别是在阶跃函数发放率下，强连通性区域中的指数渐近稳定性是否仍然保持？
• RQ4 与无时滞情形相比，时滞的引入如何影响系统的稳定性特性？
• RQ5 对发放率和时滞分布需要施加何种条件，才能确保扰动的衰减与稳态的稳定性？

主要发现

• 在对 a 和 b 施加一般假设的前提下，对所有 ε > 0（包括强连通性区域）证明了解的存在性与唯一性。
• 解的长期行为被表征，将 [10] 中的结果从无时滞情形推广至带时滞情形。
• 在强连通性区域（即 ε → ∞）中，建立了指数渐近稳定性，前提是满足条件 ε supₓ ∂μa(x, εμ) → 0。
• 对于阶跃函数发放率，扰动分析表明非线性项 Z¹[g,v] 和 Z²[g,v] 有界于 C ε(ζε) ||(g,v)||_X，且当 ε → ∞ 时，ε(ζε) → 0。
• 稳定性结果从无时滞情形推广至带时滞情形，其中时滞分布 b 满足指数可积性与光滑性条件。
• 证明依赖于杜哈梅尔公式与格朗沃尔引理，表明扰动呈指数衰减，从而确认了稳态的稳定性。