1. 引言
分数阶微积分具有比整数阶微积分更好的性质,由分数阶微积分与神经网络相结合产生的分数阶神经网络,能够更加精确的描述实际系统。双向联想记忆(BAM)神经网络,在1988年由Kosko [1] 首次提出。因其独特的双层网络结构,使得在描述一些模型时更加准确,故而对分数阶BAM神经网络的研究,一直备受相关学者的关注 [2] [3] [4] 。目前,分数阶BAM神经网络已经被成功的应用在模式识别,信号处理,组合优化等领域 [1] [5] 。
现实生活中,时滞总是无法避免的。时滞的存在会对系统带来一些不良的影响,例如振荡,分叉以及不稳定,因此对时滞的研究十分有必要。而现有的工作,都是建立在有界时滞的基础上。然而,有界时滞在描述生物学,信息科学以及药学等领域的现象时,具有明显缺陷,需要借助无界时滞才能准确描述 [6] [7] 。比例时滞 [8] ,是一种无界的时变时滞,一些经典的分析方法并不能够直接处理这种时滞 [9] [10] ,因此,对于带有比例时滞的神经网络的研究,十分有必要。
作为系统动力学行为的重要问题之一,稳定性的定性和定量分析对于分数阶BAM神经网络是不可或缺的。在现有的文献中,关于分数阶神经网络的各种稳定性的研究已经取得了丰硕的成果。尤其是准一致稳定性,也被称为有限时间稳定性,关注的是系统在有限时间区间内的状态。由于大多数实际系统都是在有限的时间内工作的,所以分数阶系统的有限时间稳定性研究是有价值的。例如,Du [11] 讨论了具有Lipschitz非线性的分数阶时滞系统的有限时间稳定,Wu在文献 [12] 中给出了分数阶时滞神经网络的有限时间稳定的条件。值得注意的是,各种Grownwall不等式在研究有限时间稳定时都至关重要。例如Xu [13] 和Syed Ali [14] 都借助Grownwall不等式得到了关于分数阶神经网络和分数阶复值忆阻神经网络的有限时间稳定的条件。
基于前文的陈述,本文将借助Grownwall不等式来研究一类带有比例时滞的分数阶BAM神经网络的有限时间稳定问题。值得关注的是,本文得到的稳定性条件有着更好的代数形式,时滞的变化对有限时间稳定的影响会很小,即本文的稳定性条件是不依赖时滞的。
本文的其余内容包含四个部分。第二部分介绍分数阶微积分的基础知识,必要的说明假设以及研究模型;第三部分研究有限时间稳定的条件;第四部分数值仿真,证明条件的有效性;最后一部分,给出本文的结论。
2. 基础知识
定义2.1 [15] 设
在区间
上连续可积,且
,则
的
阶Caputo分数阶积分定义为:
其中
是伽马函数,即
。
定义2.2 [16] 设
在区间
上n阶可导,且
在区间
上连续可积,则
的Caputo分数阶导数定义为:
其中n是大于α的最小整数,即
。
命题2.3 [17] 假设
且
是非负数。对于任意
,有下列不等式:
引理2.4 [18] 令
。假设
是定义在
上的非负连续函数。对于
,令
是定义在
上的非负连续函数且使得
(1)
在
上成立,若
是非减函数且
,则
(2)
下面,考虑一类带有比例时滞的Caputo分数阶BAM神经网络:
(3)
其中,
,
,
代表Caputo分数阶导数。相应地,
和
分别是在t时刻X层与Y层的状态向量。常数
和
代表自我调节参数。
代表连接权重。对应地,比例时滞因子q满足
。
和
代表激活函数。
和
代表外部输入。
注:
可以被写为
。显然,传输时滞
是一个时变函数且在
时趋于正无穷。因此,这种时滞是一种无界时滞。
假设2.5 对于
,激活函数
和
对任意的
都满足下列Lipschitz条件:
其中,
是两个常数。
代表定义在区间
上的所有连续向量值函数构成的空间。对于
,其范数定义为
。
对于系统(3),设
和
是任意的两个满足不同初值条件的解。令
,且
。对于
,设
和
满足如下初值条件:
(4)
其中,
,且
。
定义2.6 令
,
且
。对于
,若
成立时有
其中,
且
,则系统(3)是关于
的有限时间稳定的。
3. 有限时间稳定分析
接下来讨论系统(3)实现有限时间稳定的条件。
为了方便讨论,先介绍一些符号。令
且
,记
并记
定理3.1令
,对于
,如果
且
(5)
成立,其中
。那么系统(3)可以实现关于
的有限时间稳定。
证明:假设
和
是任意的两个满足不同初值条件的解。令
,且
。假设
和
满足初值条件(4)。
由定义2.1得
由假设2.5得
同理可得
进一步,
和
由上两式,可得
由柯西—施瓦茨不等式得
对于
,取正数
满足
。设
满足
。由Hölder不等式得
由Minkowski不等式得
由命题2.3得
令
,
,
,
,
,
。显然
和
是非减函数,且
。同时,上式简化为
(6)
由引理2.4得
进一步有
其中
。由定义2.6可知,对任意的
都有
。因此系统是有限时间稳定的。
4. 数值仿真
本节中,给出一个数值仿真,验证结论的有效性。考虑如下模型:
(7)
假设
和
是此系统具有不同初值的任意两组解.
例1对于系统(7),取如下参数:
且
通过计算,可取
。当
时,设
和
满足如下初值条件:
根据上述数据,计算得到
。取
。设
。显然
和
。令
。由条件(5)可得稳定时间
。当
时,对任意
,
总成立。因此,定理3.1的正确性得到了验证。
5. 结论
本文讨论了一类带有比例时滞的分数阶BAM神经网络的有限时间稳定性问题。基于一个带有比例时滞的Gronwall不等式,以及一些分析方法,得到了系统有限时间稳定的条件。与以往不同的是,本文的条件在形式上更加简单,且具有较小的保守性。最后,通过数值仿真的计算,证明了本文结论的有效性。