1. 引言
生理实验已经表明在一些动物(如猫、猴子)的脑区里存在着神经元同步的发放模式。可见,在整个神经系统中,神经元对信息的反应是神经元集群共同完成的。另一方面,由于信号传输速度的有限性和递质释放的滞后,时滞是普遍存在的。由于时滞的出现,耦合神经元系统变成了无穷维动力系统,表现出丰富的非线性行为 [1] [2] [3] [4] [5] 。因此,理论上研究有时滞的耦合神经元系统的同步问题对理解现实神经元的同步是非常必要的,能进一步促进生理实验的发展。
随着非线性同步动力学理论的深入发展,人们关注耦合神经元网络的拓扑和耦合强度对神经元同步的影响,并已有一些极为重要的结果,这些结果对理解神经元生物信息的传递和加工具有重要的指导意义,但是对于有时滞的耦合神经元网络同步的条件从理论上研究仍然是一个关注的焦点 [6] [7] [8] [9] 。文献 [8] 研究时滞耦合的方程的同步稳定性,得到了一个网络同步的稳定性标准,表明这个网络的同步状态与网络的拓扑结构无关的。而对于具有时滞的一般复杂动力系统网络,文献 [9] 得到了耦合网络分别独立于和依赖于时滞的同步稳定性条件。由于网络的拓扑结构不同,因此不同电突触耦合神经元网络对神经元同步能力有不同的影响。本文我们对具有时滞的对称耦合的神经元网络进行研究,基于稳定性理论和矩阵理论,借鉴文献 [9] 的方法,利用Lyapunov-Krasovskii泛函,提出了一个具有时滞的N个对称电突触耦合的神经元网络达到同步的稳定性准则。
2. 具有时滞的对称耦合神经元网络的同步
假设神经元经过时滞
后接收到来自周围神经元的信号,则其动力模型可由下列微分系统给出:
(1)
这里
是第i个耦合神经元的状态变量,
是膜电位,其它
用于描述离子通道动力学。外激励
是依赖时间的连续函数,
是耦合强度。耦合矩阵
代表了N个耦合神经元相互的连接形式,如果第i个神经元连接到第j个神经元上,则
,否则
。这里
,
,
,
,
,
.
根据神经元对称耗散连接的特性,矩阵A的一些性质可总结如下:
1) 矩阵A是一个对称的不可约的矩阵;
2) 矩阵A的非对角线元素,
取值是1或0;
3) 矩阵A的元素满足
.
记
,
,
,
则系统(1)可写为
(2)
下面我们将给出具有时滞的对称电耦合神经元网络同步稳定性的一个判别准则。首先我们给出耦合系统(2)同步的定义。
定义:如果耦合系统(2)的状态变量满足关系
, (3)
则称耦合系统(2)达到同步状态,这里
是耦合强度
时系统(2) 中单个神经元的解。
定理1:给定耦合系统(2),如果存在
使得对所有的
,
是负定的,那么耦合系统(2)的同步状态(3)能达到,这里
是向量函数
在同步流形
处的Jacobi矩阵。
证明:为了证明系统(2)的同步状态(3)的稳定性,我们引入微小的摄动
,
令
,
在同步流形
处,线性化系统(2),我们得出下面方程
, (4)
这里
,
是向量函数
在同步流形
处的Jacobian矩阵。
引入Lyapunov-Krasovskii泛函
,则
由Lyapunov-Krasovskii定理 [10] 可知,系统(2)是渐近稳定的。证毕!
令
,则
是对角块矩阵,且
,
我们有下面推论:
推论1:如果
,且
,则系统(2)是渐近稳定的。这里
是矩阵M(s(t))的特征值,
是矩阵
的特征值。
证明:因为矩阵
都是对称矩阵,故当
时,
这表明矩阵
与
可交换,从而两矩阵可同步对角化,因此存在正交矩阵Q,使得
,
这里
是矩阵M(s(t))的特征值,
是矩阵
的特征值。
由条件
可知,
是负定的,故根据定理1可知,系统(2)是渐近稳定的。证毕!
3. 结论
本文给出了判别有时滞对称电耦合神经元网络完全同步的一个充分条件,该条件独立于时滞。同时给出了利用矩阵特征值来判别有时滞对称耦合神经元系统同步的一个充分条件,该条件同样不依赖于时滞,但条件要求严格。
基金项目
国家自然科学基金(11672074),福建省教育厅JK项目(JK2015007)和福建省自然科学基金 (2016J01003, 2018J01655)。