本文研究了一类具有S-分布时滞的静态神经网络,主要利用微分不等式技巧,建立了所讨论模型的解指数收敛到零的充分性条件,并给出了实例说明了所得结论的有效性。 This paper is concerned with the exponential convergence for a class of static neural networks with S-type distributed delays. By applying the differential inequality techniques, the sufficient conditions to ensure that all solutions of the addressed system converge exponentially to zero are established. Moreover, an example is given to show the effectiveness of the obtained results.
张若军,张静静
中国海洋大学数学科学学院,山东 青岛
收稿日期:2018年8月23日;录用日期:2018年9月10日;发布日期:2018年9月17日
本文研究了一类具有S-分布时滞的静态神经网络,主要利用微分不等式技巧,建立了所讨论模型的解指数收敛到零的充分性条件,并给出了实例说明了所得结论的有效性。
关键词 :静态神经网络,全局指数收敛性,S-分布时滞
Copyright © 2018 by authors and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
近四十年来,人工神经网络因其在联想记忆、平行计算、模式识别、信号处理及优化问题等方面的重要理论价值及应用价值,被广泛关注,并逐渐成为极其活跃的研究热点 [
根据基本变量选择的不同,连续型递归神经网络可以分为局域神经网络和静态神经网络两大类 [
d x i ( t ) d t = − x i ( t ) + ∑ j = 1 n w i j g j ( x j ( t ) ) + I i , i = 1 , 2 , ⋯ , n . (1.1)
其中 x ( t ) = ( x 1 ( t ) , ⋯ , x n ( t ) ) T 表示神经元的内部状态,n是神经元的个数, w i j 表示神经元j到神经元i的连接权重, g j ( ⋅ ) 表示神经元j的信号函数, I i 表示神经元i的外部输入函数。
静态神经网络模型的基本形式为
d y i ( t ) d t = − y i ( t ) + g i ( ∑ j = 1 n w i j y j ( t ) + I i ) , i = 1 , 2 , ⋯ , n . (1.2)
其中 y ( t ) = ( y 1 ( t ) , ⋯ , y n ( t ) ) T 表示神经元的外部状态,余下的符号意义与模型(1.1)相同。
Hopfield模型、双向联想记忆模型和CNNs模型都属于局域神经网络模型,局域神经网络模型(1.1)已被广泛研究,得到了很多深刻的理论结果。递归反向传播网络、BCOp网络、BSB网络的模型则属于静态神经网络,具有重要的应用意义,但相比之下,静态神经网络模型(1.2)的研究则较少 [
由于时间滞后效应在神经传导及信号传递过程中均不可避免,因此,时滞神经网络的动力行为研究更具现实意义。而S-分布时滞包含了离散与连续时滞两种情形 [
考虑如下一类S-分布时滞静态神经网络模型
x ′ i ( t ) = − c i ( t ) x i ( t ) + g i ( ∑ j = 1 n ∫ − r 0 x j ( t + θ ) d w i j ( θ ) + I i ( t ) ) , i = 1 , 2 , ⋯ , n . (2.1)
其中 c i ( t ) > 0 为连续函数,表示在与神经网络不联通且无外部附加电压差情况下第i个神经元恢复孤立静息状态下的速率, w i j ( θ ) 是 [ − r , 0 ] ( r > 0 ) 上关于 θ 单调不减的有界变差函数,其余符号的意义与模型(1.2)相同。
为方便,记 I = { 1 , 2 , ⋯ , n } ,对于 x ∈ R n , 定义 ‖ x ‖ = max i ∈ I | x i | 。以 C ( [ − r , 0 ] , R n ) 表示定义在 [ − r , 0 ] 上的n维连续向量函数空间。 C ( R , R n ) 表示 ( − ∞ , + ∞ ) 上的n维连续向量函数空间。 x ( t ) = x ( σ , ϕ , t ) = ( x 1 ( t ) , ⋯ , x n ( t ) ) T 表示模型(2.1)的一个满足初始条件
x ( σ + θ ) = ϕ ( θ ) , σ ∈ R, θ ∈ [ − r ,0 ] . (2.2)
的解,其中 ϕ ( θ ) = ( ϕ 1 ( θ ) , ϕ 2 ( θ ) , ⋯ , ϕ n ( θ ) ) T ∈ C ( [ − r , 0 ] , R n ) 。
为后面证明方便,给出以下假设:
(H1) inf t ∈ R c i ( t ) = c i _ > 0 , i ∈ I 。
(H2) ∫ − r 0 x j ( t + θ ) d w i j ( θ ) 是Lebesgue-Stieltjes可积的,且 0 ≤ ∫ − r 0 d w i j ( θ ) < w i j < + ∞ , i , j ∈ I 。
(H3) 存在 L i g > 0 ,使得 | g i ( u ) | ≤ L i g | u | , u ∈ R, i ∈ I 。
(H4) 对任意的 i ∈ I ,存在 ξ 1 , ξ 2 , ⋯ , ξ n > 0 , c i _ > λ > 0 ,满足 max i ∈ I { ξ i − 1 L i g ∑ j = 1 n ξ j e λ r + 1 } < c i _ − λ 且 | I i ( t ) | ≤ e − λ t , i ∈ I 。
(H5) max i ∈ I { 1 c i _ ξ i − 1 L i g ∑ j = 1 n ξ j w i j } < 1 。
定理2.1. 若条件(H1)~(H5)成立,则模型(2.1)的解在 [ σ , + ∞ ] 上整体存在。
证明:设 x ( t ) = x ( σ , ϕ , t ) = ( x 1 ( t ) , x 2 ( t ) , ⋯ , x n ( t ) ) T 是模型(2.1)满足初始条件(2.2)的解。
令
y ( t ) = ( y 1 ( t ) , y 2 ( t ) , ⋯ , y n ( t ) ) T = ( ξ 1 − 1 x 1 ( t ) , ξ 2 − 1 x 2 ( t ) , ⋯ , ξ n − 1 x n ( t ) ) T
则有
y ′ i ( t ) = − c i ( t ) y i ( t ) + ξ i − 1 g i ( ∑ j = 1 n ∫ − r 0 x j ( t + θ ) d w i j ( θ ) + I i ( t ) ) , i ∈ I . (2.3)
当 t > s > σ 时,有
y ′ i ( s ) = − c i ( s ) y i ( s ) + ξ i − 1 g i ( ∑ j = 1 n ∫ − r 0 x j ( s + θ ) d w i j ( θ ) + I i ( s ) ) , i ∈ I . (2.4)
将(2.4)式两边乘以 e ∫ σ s c i ( u ) d u ,再从 σ 到t求积分,得
y i ( t ) = y i ( σ ) e − ∫ σ t c i ( u ) d u + ∫ σ t e − ∫ s t c i ( u ) d u [ ξ i − 1 g i ( ∑ j = 1 n ∫ − r 0 x j ( s + θ ) d ω i j ( θ ) + I i ( s ) ) ] d s , i ∈ I . (2.5)
由(2.5)式、初始条件(2.2)、条件(H1)~(H5),得
| y i ( t ) | ≤ e − ∫ σ t c i ( u ) d u ξ i − 1 | ϕ i ( 0 ) | + | ∫ σ t e − ∫ s t c i ( u ) d u [ ξ i − 1 g i ( ∑ j = 1 n ∫ − r 0 x j ( s + θ ) w i j ( θ ) + I i ( s ) ) ] d s | ≤ e − ∫ σ t c i _ d u ξ i − 1 | ϕ i ( 0 ) | + ∫ σ t e − ∫ s t c i _ d u ξ i − 1 L i g ( | ∑ j = 1 n ∫ − r 0 x j ( s + θ ) d w i j ( θ ) | + | I i ( s ) | ) d s ≤ e − c i _ ( t − σ ) ξ i − 1 | ϕ i ( 0 ) | + ξ i − 1 L i g ∫ σ t e − c i _ ( t − s ) | ∑ j = 1 n ∫ − r 0 ξ j y j ( s + θ ) d w i j ( θ ) | d s + ξ i − 1 L i g ∫ σ t e − c i _ ( t − s ) e − λ s d s ≤ ξ i − 1 | ϕ i ( 0 ) | + 1 c i _ ξ i − 1 L i g ‖ y ‖ ∑ j = 1 n ξ j w i j + ξ i − 1 L i g e − λ σ λ − c i _ , (2.6)
得,
‖ y ‖ ≤ max i ∈ I { ξ i − 1 | ϕ i ( 0 ) | + ξ i − 1 L i g e − λ σ λ − c i _ + 1 c i _ ξ i − 1 L i g ‖ y ‖ ∑ j = 1 n ξ j w i j } , (2.7)
从而,
‖ y ‖ ≤ max i ∈ I { ξ i − 1 | ϕ i ( 0 ) | + ξ i − 1 L i g e − λ σ λ − c i _ } max i ∈ I { 1 − 1 c i _ ξ i − 1 L i g ∑ j = 1 n ξ j w i j } . (2.8)
y有界,因此模型(2.1)的解不会发生爆破,在 [ σ , + ∞ ] 上整体存在。
定理2.2. 假设条件(H1)-(H5)成立,则对于系统(2.1)满足初始条件(2.2)的任意解 x ( t ) , x ( t ) 全局指数收敛到0,即存在常数 λ > 0 , B > 0 ,使得对 i ∈ I ,有
| x i ( t ) | ≤ B e − λ t .
证明:令 ‖ ϕ ‖ = max i { ξ i − 1 max t ∈ [ − r , 0 ] | ϕ i ( t ) | } 。当 t ∈ [ − r , 0 ] 时,对任给的 ε > 0 ,由 ‖ ϕ ‖ 的定义及 λ > 0 ,有
| y i ( t ) | = | ξ i − 1 ϕ i ( t ) | < M ( ‖ ϕ ‖ + ε ) e − λ t .
从而,
‖ y ( t ) ‖ < M ( ‖ ϕ ‖ + ε ) e − λ t , t ∈ [ − r , 0 ] . (2.9)
其中 M > 0 充分大,使得
| L i g ξ i − 1 I i ( t ) | < M ( ‖ ϕ ‖ + ε ) e − λ t , t ≥ 0 , i ∈ I .
下面证明,对任意的 t > 0 ,有
‖ y ( t ) ‖ < M ( ‖ ϕ ‖ + ε ) e − λ t . (2.10)
反证,若不然,则存在 i ∈ I , η > 0 ,使得
‖ y ( η ) ‖ = | y i ( η ) | = M ( ‖ ϕ ‖ + ε ) e − λ η . (2.11)
且对 t ∈ [ − r , η ] ,有
| y i ( t ) | < M ( ‖ ϕ ‖ + ε ) e − λ t . (2.12)
注意到,对 s ∈ [ 0 , t ] , t ∈ [ 0 , η ] ,有
y i ( t ) = y i ( 0 ) e − ∫ 0 t c i ( u ) d u + ∫ 0 t e − ∫ s t c i ( u ) d u ξ i − 1 g i [ ∑ j = 1 n ∫ − r 0 ξ j y j ( s + θ ) d ω i j ( θ ) + I i ( s ) ] d s ,
从而,当 η > 0 时,利用(2.9)和(2.12)式,以及条件(H1)~(H5),有
| y i ( η ) | = | y i ( 0 ) e − ∫ 0 η c i ( u ) d u + ∫ 0 η e − ∫ s η c i ( u ) d u ξ i − 1 g i [ ∑ j = 1 N ∫ − r 0 ξ j y j ( s + θ ) d w i j ( θ ) + I i ( s ) ] d s | ≤ M ( ‖ ϕ ‖ + ε ) e − c i _ η + ∫ 0 η e − c i _ ( η − s ) ξ i − 1 L i g [ ∑ j = 1 n | ∫ − r 0 ξ j y j ( s + θ ) d w i j ( θ ) | + | I i ( s ) | ] d s ≤ M ( ‖ ϕ ‖ + ε ) e − c i _ η + ∫ 0 η e − c i _ ( η − s ) [ ξ i − 1 L i g ∑ j = 1 n ξ j M ( ‖ ϕ ‖ + ε ) e − λ ( s − r ) w i j + M ( ‖ ϕ ‖ + ε ) e − λ s ] d s ≤ M ( ‖ ϕ ‖ + ε ) e − c i _ η + M ( ‖ ϕ ‖ + ε ) ∫ 0 η e − c i _ ( η − s ) [ ξ i − 1 L i g ∑ j = 1 n ξ j e − λ ( s − r ) w i j + e − λ s ] d s
≤ M ( ‖ ϕ ‖ + ε ) [ e − c i _ η + e − c i _ η ∫ 0 η e − ( λ − c i _ ) s ( ξ i − 1 L i g ∑ j = 1 n ξ j e λ r w i j + 1 ) d s ] < M ( ‖ ϕ ‖ + ε ) e − c i _ η [ 1 + ∫ 0 η e − ( λ − c i _ ) s ( c i _ − λ ) d s ] < M ( ‖ ϕ ‖ + ε ) e − c i _ η ⋅ e − ( λ − c i _ ) η = M ( ‖ ϕ ‖ + ε ) e − λ η .
此与(2.11)式矛盾,故(2.10)式成立,即对任意的 t > 0 ,有
‖ y ( t ) ‖ < M ( ‖ ϕ ‖ + ε ) e − λ t ,
从而,也有
‖ x ( t ) ‖ < ξ M ( ‖ ϕ ‖ + ε ) e − λ t ,
其中 ξ = max i { ξ i } , i ∈ I 。即 ‖ x ( t ) ‖ ≤ B e − λ t , B = ξ M ( ‖ ϕ ‖ + ε ) 。
例3.1. 考虑如下S-分布时滞静态神经网络
{ x ′ 1 ( t ) = − ( 5 + sin t ) x 1 ( t ) + g 1 ( ∫ − 1 0 x 1 ( t + θ ) d w 11 ( θ ) + ∫ − 1 0 x 2 ( t + θ ) d w 12 ( θ ) + e − 1 2 t sin t ) , x ′ 2 ( t ) = − ( 5 + cos t ) x 2 ( t ) + g 2 ( ∫ − 1 0 x 1 ( t + θ ) d w 21 ( θ ) + ∫ − 1 0 x 2 ( t + θ ) d w 22 ( θ ) + e − 1 2 t cos t ) . (3.1)
其中 t ≥ 0 , g 1 ( t ) = 1 12 x sin 3 x , g 2 ( x ) = 1 12 x cos 3 x , x i ( s ) = ϕ i ( s ) , s ∈ [ − 1 , 0 ] , ϕ i ( x ) 为 [ − 1 , 0 ] 上的连续函数, w i j ( θ ) = e θ , i , j = 1 , 2 。
显然,这里 c 1 ( t ) = 5 + sin t , c 2 ( t ) = 5 + cos t ,故 c 1 _ = c 2 _ = 4 。 I 1 ( t ) = e − 1 2 t sin t , I 2 ( t ) = e − 1 2 t cos t ,取 λ = 1 2 ,故 c i _ > λ > 0 , | I i ( t ) | ≤ e − λ t 。且有 L 1 g = L 2 g = 1 12 , w i j = 1 , i , j = 1 , 2 。
取 ξ i = 1 , i = 1 , 2 。对 λ = 1 2 , i = 1 , 2 有 ξ i − 1 L i g ∑ j = 1 n ξ j e λ r + 1 = 1 6 e 1 2 + 1 < 7 2 = c i _ − λ 成立,即满足 max i ∈ I { ξ i − 1 L i g ∑ j = 1 n ξ j e λ r + 1 } < c i _ − λ 。且容易验证 max i ∈ I { 1 c i _ ξ i − 1 L i g ∑ j = 1 n ξ j w i j } < 1 成立。
上述计算表明,模型(3.1)满足条件(H1)~(H5),故由定理2.2知,系统(3.1)的解全局指数收敛到零向量 ( 0 , 0 ) T 。
注3.1. 本文没有采用文献中常见的变换 y ( t ) = x ( e t ) 及计算Lyapunov函数的Dini右上导数的方法来讨论Hopfield神经网络模型的指数收敛性 [
张若军,张静静. S-分布时滞静态神经网络的全局指数收敛性Global Exponential Convergence of Static Neural Networks with S-Type Distributed Delays[J]. 应用数学进展, 2018, 07(09): 1191-1196. https://doi.org/10.12677/AAM.2018.79138
https://doi.org/10.1109/TSMCB.2002.804368
https://doi.org/10.1080/00207720210161777
https://doi.org/10.1016/j.amc.2014.04.089
https://doi.org/10.1016/j.neucom.2018.01.032
https://doi.org/10.1016/j.jfranklin.2017.07.040
https://doi.org/10.1016/j.neucom.2015.03.021
https://doi.org/10.1016/j.chaos.2017.01.012
https://doi.org/10.1016/j.chaos.2017.05.017