1. 引言
对于一类具有不连续激活函数的Hopfield神经网络,研究人员通常会对其解进行研究,探究其解存在性的增长条件。再对其稳定性条件进行分析,得到保证解稳定的充分条件[1]。文献[2]对一类具有间断激活和时滞的分数阶神经网络的全局Mittag-Leffler同步问题和有限时间内同步问题进行了研究。通过设计一种新的包含时滞和不连续激活函数的反馈控制器,得到了保证分数阶系统Mittag-Leffler收敛和有限时间收敛的条件。还明确求出了有限时间内全局同步设置时间的上界。文献[3]通过引入复值Filippov微分包含理论,利用Leray-Schauder替代定理,构建了一类具有不连续二元激活函数的复值神经网络动力学行为的研究框架。为了证明具有间断激活函数的时滞复值神经网络的全局指数稳定性,反复探讨如何选择一个合适的Lyapunov函数。研究者提出了具有间断激活的线性增长分数阶神经网络的全局Mittag-Leffler同步问题,给出了实现同步目标的充分条件。文献[4]研究了基于分数阶忆阻器的Hopfield神经网络在参数扰动下的鲁棒稳定性。基于分数阶Lyapunov直接法,建立了鲁棒稳定性的一些充分条件。对于这种右端不连续的神经网络系统,与传统的解的意义不同,都是在Filippov意义上分析了其平衡点的存在性和唯一性,并获得了鲁棒稳定性的结果。
Zhang等人[5]对G-布朗运动驱动的随机Hopfield神经网络的指数稳定性和准指数稳定性做了分析,考虑了随机Hopfield神经网络理论模型的Knightian不确定性。对于Hopfield神经网络系统,除了研究指数稳定和渐近稳定性外,对于全局鲁棒指数稳定性问题也有研究。Yu等人[6]对一类具有范数有界参数不确定性和逆Hölder神经元激活函数的全局鲁棒指数稳定性问题做了研究。通过利用Brouwer度概念和一些分析技巧,对平衡点的存在唯一性做出了判断,还给出了全局鲁棒指数稳定性判据。而Nie等人[7]对具有高斯激活函数和多时滞的分数阶Hopfield神经网络的多稳态问题进行研究,改进和扩展了经典整数阶神经网络和分数阶神经网络的无时滞多稳态工作[8]。
对于具有不连续激活函数的分数阶Hopfield神经网络模型,它的研究模型还比较少,且很少有人关注具有不连续激活函数和时滞的分数神经网络在有限时间段内的钉扎的同步问题,所以本文将考虑一类含有时滞和不连续激活函数的Caputo分数阶Hopfield神经网络(CFHNN)稳定性分析。利用一个新的Gronwall不等式对稳定性做出了分析,Gronwall不等式又称Gronwall-Bellman不等式,在微分方程和积分方程解的性质分析中起着重要的作用,被用来模拟解决工程和应用科学问题。
基于钉扎控制,文章对具有不连续激活函数和时滞的分数神经网络在有界的误差内实现准同步问题分析,研究分数阶动力系统的这种准同步状态行为对于解决许多实际问题很重要,但很少有文章对本文所描述的准同步做研究。因此,本文对含有不连续激活函数的Hopfield神经网络的这种准同步做分析,为研究神经网络同步性问题提供了新的视角。
本文结构组织如下,在第二部分中,介绍了一些本文必备的定义和引理,还给出了模型描述。第三部分给出了解的存在性以及平衡点的稳定性的证明。第四部分给出了基于钉扎控制的误差同步的定义,以及相关的证明。最后基于所提出的定理,给出数值例子及仿真模拟验证了所得结果。
2. 预备知识
在本节中,考虑如下的Caputo分数阶时滞Hopfield神经网络模型。
(1)
等价于下列向量形式:
(2)
其中
;
是状态向量;
,
;表示
对角矩阵。
表示连接权重矩阵;
表示外部输入,
表示时滞。
,
表示第i个神经元的激活函数。
是初始条件,且有
。除了在可数的孤立点集合
上,
是连续可微的,其中左极限
和右极限
都存在。并有下列假设成立:
假设1 对于每个
,
是有界的,且
(3)
假设2 对于每个
,假设
满足一个增长条件,且
,使得
(4)
假设3 对于每个
存在非负常数
,
,使得
(5)
其中
,
假设4 对于每个
,存在一个非负常数
,放大函数
是连续函数,且满足下列关系
定义1 Caputo分数阶导数[1]
基于整数阶微分方程的Filippov解,引入了分数阶微分方程Filippov解法的概念。考虑以下n维分数阶微分系统:
(6)
其中,
在
上不连续。
定义2 集值映射
定义为[1]
(7)
其中,
,且
是集合N的Lebesgue测度,定义在非退化区间
上的向量函数
,称为系统(1)的Filippov解,如果它在任何
的子区间
上是绝对连续的,对几乎处处(a.e.)
,
满足微分包含
现在考虑系统(1),并将集值映射表示为
由
,可得
并定义系统(1)的Filippov解如下。
定义3 [9]对任意的连续函数
和可测量选择
,使得
,对
与相应的系统(1)初始函数为
。假设有一个函数
,使得
是系统(1)在
上的一个解,对
,且
定义4 双参数Mittag–Leffler函数定义为[1]
(8)
其中,
,
。当
时,可记做如下形式
(9)
定义5 [9]常向量
是系统(1)在Filippov意义上的解,
等价于存在
使得
引理1 [9]如果
,所有特征值
的
满足
,且对于任意的
,特征方程
没有纯虚根,则系统的平衡点
是Lyapunov全局渐近稳定的。
引理2 [9]若
是一个连续可微函数,则下列不等式成立
当
,
成立。即,等价于
成立,对所有的
。
引理3 [9]对任意向量
以及一个正定矩阵
,则有
(10)
引理4 [9]
,
,下列等式成立
引理5 [1]对任意的常数
,假设在
上,有局部可积非负函数
,定义在
上的非负、非递减连续函数
,
是一个常数,如果
是非负的并且在
上局部可积,且满足
则有
引理6 [1]设
是连续可微函数,下列不等式几乎处处成立。
(11)
引理7 [9]引入以下分数阶时滞微分不等式
和分数阶时滞线性系统
其中,
在
是非负连续的,
。如果
,对于所有的
,有
。
引理8 [1] (Halanay不等式)对于连续函数
,
(12)
其中
是有界连续函数,系数
,
,
满足
,
。令
,
。如果
,则有
除此之外,
,对任意的
,存在
.
3. 主要内容
3.1. 解的存在性
定理1 在Filippov意义下,若假设1,3,4成立,系统(1)至少存在一个解
。
证明:由于集值映射
是具有上半连续的非空紧凸集合,所以可以保证系统(1)的解的局部存在性。基于分数阶系统的表达式可以得到如下的不等式:
其中,
,
是非减函数,由引理5可得,
(13)
所以
在
上是有界的,这保证了在Filippov意义上的全局解的存在性,并且它定义在
。因此,也证明了系统(1)解的存在性。
3.2. 平衡点的渐近稳定性
定理2 在假设2~3和4下,如果满足以下代数不等式:
(14)
则系统(1)的平衡点是全局渐近稳定的。其中
证明:令
,根据定义4.5和系统(4-1),有
(15)
其中
构造如下的Lyapunov函数:
(16)
从引理2,假设1,3以及4,可得
(17)
通过使用引理4
(18)
(19)
(20)
将(18)~(20)代入(17),即:
考虑以下线性系统
(21)
其中
,与
具有相似的初始值,上式通过拉普拉斯变换,得到
. (22)
根据引理1和等式(22),有
,
.
下面来证明对于任意的
,
有纯虚根。
对于任意的
,假设
有纯虚根,如果
,
是一个实常数,且
,
转化为如下的特征方程
,
则有
,
也就意味着
.
分离上式的实部和虚部,可以得到
. (23)
. (24)
由(23)和(24)两式可得
. (25)
. (26)
现在,估计上式的判别式,有
(27)
根据上述定理的假设,有
,使得
,也就是对任意的
,
没有纯虚根。现在需要证明矩阵
的特征值满足如下的不等式。
由于
,
。所以有
是非负的,也就意味着
。再次使用引理1,系统(1)的平衡点是全局渐近稳定的。因此,当
,有
。
基于引理7,有
当
,系统(1)的平衡点是全局渐近稳定的。至此,证明已结束。
与其他文章所述的CFHNN的全局渐近稳定性不同,本章通过线性分数阶时滞系统的比较定理给出了具有间断神经元激活的CFHNN的全局渐近稳定性的充分条件。此外,根据代数不等式,所获得的稳定性准则在实践中很容易验证。
3.3. 固定同步结果
在这一部分,设计了一类新的钉扎控制器,来确保CFHNN的全局渐近同步准则。
模型(1)被认为是主系统,相应的从系统可表示为
(28)
其中,
是固定控制输入,
为状态变量,其他参数与主系统(1)中的参数相似。初始值
与从系统(28)相关联,并且范数定义如下
基于微分包含分析和(28),可得
(29)
对
,等价于存在
,从系统的初值问题如下:
(30)
定义同步误差
,由主系统(1)和从系统(28),可以将误差系统表示为下面的表达式:
(31)
对
,
,
是与误差系统(31)相关联的初始值。
新型钉扎控制是一种只需要通过一小部分具有小钉扎控制强度的神经元来实现整个系统的渐近同步的策略。在不失一般性的情况下,从所有神经元中选择
个神经元,并将钉扎控制器
的模型设计如下:
(32)
其中
是可调节常数,
表示可应用于每个节点的通用控制输入,
是相应的钉扎控制策略来实现同步。也就是说,有
个神经元被间接钉扎控制。
在某些情况下,使用设计的钉扎控制律(32),主系统(1)不能完全同步到从系统(28)。为解决这类情况,给出如下准同步的概念:
定义6 主从系统(1)和(28)被称为实现具有误差界
的准同步,如果存在紧集M,对于任意初始条件
,误差
,收敛到
其中
,
,
,
。
定理3 若假设1-3和4成立,且满足以下代数不等式:

则具有设计钉扎控制律(32)的主系统(1)和从系统(28)可以实现与误差界
的准同步。
证明过程如下:
将(18)~(20)三个式子代入得,
根据定理3的条件,得到
。基于Halanay不等式及引理8,有
因此,可以得出结论,误差系统(21)收敛于包含原点的区域
,其中
这表明具有钉扎控制(32)的主系统(1)和从系统(28)实现了具有误差界
的准同步。
4. 数值例子
本节提供了两个示例,来说明在前几节中获得的稳定性和同步结果。
例3 考虑如下的二维分数阶系统:
(33)
令
;
;
;
;
,
,
,代入计算可得,
,
,
,
,
成立,
。因此,CFHNN(4-33)的平衡点是全局渐近稳定的。并得到了如下图1的状态轨迹图。
Figure 1. State trajectory diagram of system (4-33)
图1. 系统(4-33)的状态轨迹图
例4 考虑如下的三维分数阶系统:
(34)
令
;
;
;
;
,
,
,
,
,
,
相应的从系统为
与例3共享主系统的参数,
是钉扎控制输入,在两个神经元的控制下满足定理3的条件,从系统初始函数为
计算可得
,
,
,所以
成立,因此,主系统和从系统之间的同步在n=3时,在估计误差为
实现准同步。并得到了如图2~4的同步状态轨迹。
Figure 2. Under the pinning control error
, the states of the synchronization trajectory are
,
图2. 在钉扎控制误差
下,同步轨迹的状态为
,
Figure 3. Under the pinning control error
, the states of the synchronization trajectory are
,
图3. 在钉扎控制误差
下,同步轨迹的状态为
,
Figure 4. Under the pinning control error
, the states of the synchronization trajectory are
,
图4. 在钉扎控制误差
下,同步轨迹的状态为
,
5. 小结
带有不连续激活函数的分数阶时滞Hopfield神经网络是一种特殊的反馈神经网络。它可以从输入信号中学习和记忆模式,并且可以从输入信号中恢复出学习的模式。它的激活函数是不连续的,这意味着可以更好地处理非线性问题。优点是可以处理复杂的非线性问题,缺点是计算量大,容易受到噪声的影响。随着计算机技术的发展,带有不连续激活函数的分数阶时滞Hopfield神经网络将会发挥更大的作用。它可以用来解决更复杂的问题,提高系统的性能。还可以用来提高系统的可靠性和稳定性,从而更好地满足用户的需求。