本文主要研究一类一重积分不等式的改进并将其用于分析时滞神经网络稳定性的问题。首先,借助交互凸组合不等式和多个零等式,改进一类一重积分不等式。其次,根据研究的时变时滞系统的属性,构造一类新的含有更多时滞信息的增广型Lyapunov泛函。然后,利用改进的积分不等式及其它分析技巧,获得保守性较低的稳定性判据。最后,通过一个数值例子验证所得结果的有效性和优越性。
This paper is concerned with an improved single integral inequality with application in the time-delayed neural network. First of all, an improved single integral inequality is proposed by virtue of the reciprocally convex combination inequality and zero-qualities. Secondly, relay on the characteristics of the system more information about time-delay is considered in constructing the augmented Lyapunov functional. Then, a less conservative stability condition is obtained through utilizing the improved integral inequality and other analysis techniques. In the end, to verify the effectiveness and superiority of the derived results, a numerical example is provided.
本文主要研究一类一重积分不等式的改进并将其用于分析时滞神经网络稳定性的问题。首先,借助交互凸组合不等式和多个零等式,改进一类一重积分不等式。其次,根据研究的时变时滞系统的属性,构造一类新的含有更多时滞信息的增广型Lyapunov泛函。然后,利用改进的积分不等式及其它分析技巧,获得保守性较低的稳定性判据。最后,通过一个数值例子验证所得结果的有效性和优越性。
交互凸组合不等式,增广的Lyapunov泛函,零等式,改进的一重积分不等式
Yingying Liu, Lianglin Xiong*, Mei Zou, Li Cai, Zhen Wang
School of Mathematics and Computer Science, Yunnan Minzu University, Kunming Yunnan
Received: Dec. 14th, 2020; accepted: Jan. 15th, 2021; published: Jan. 22nd, 2021
This paper is concerned with an improved single integral inequality with application in the time-delayed neural network. First of all, an improved single integral inequality is proposed by virtue of the reciprocally convex combination inequality and zero-qualities. Secondly, relay on the characteristics of the system more information about time-delay is considered in constructing the augmented Lyapunov functional. Then, a less conservative stability condition is obtained through utilizing the improved integral inequality and other analysis techniques. In the end, to verify the effectiveness and superiority of the derived results, a numerical example is provided.
Keywords:Reciprocally Convex Combination Inequality, Augmented Lyapunov Functional, Zero-Qualities, An Improved Single Integral Inequality
Copyright © 2021 by author(s) and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
时滞神经网络的稳定性问题是神经网络处理联想记忆、信号处理和一些优化问题等多个实际问题的基础 [
到目前为止,学者们针对时滞神经网络系统的稳定性研究主要采用Lyapunov泛函方法。通过利用Lyapunov稳定性理论 [
文献 [
为了简化表述,我们有必要做如下的符号说明: R n 表示n维欧式空间; R n × m 代表 n × m 的矩阵; sym { X } = X + X T ; diag { ⋯ } 表示对角矩阵; col { ⋯ } 列向量 X T ,和 X − 1 分别矩阵的转置和逆矩阵; * 表示矩阵的对称项。
考虑一般的带有时变时滞的神经网络系统
{ x ˙ ( t ) = − A x ( t ) + W 1 f ( W 0 x ( t ) ) + W 2 f ( W 0 x ( t − h ( t ) ) ) , x ( θ ) = ϕ ( θ ) , θ ∈ [ − h , 0 ] . (1)
其中 x ( t ) ∈ R n 是系统的状态向量 A ∈ R n × n , W 0 ∈ R n × n , W 1 ∈ R n × n ,和 W 2 ∈ R n × n 是已知的实数矩阵,初始条件 φ ( θ ) 是连续的微分函数,h和u是已知的常数,且满足如下条件:
0 < h ( t ) < h , h ˙ ( t ) < u . (2)
f ( W 0 x ( t ) ) = col { f ( W 01 x ( t ) ) , f ( W 02 x ( t ) ) , ⋯ , f ( W 0 n x ( t ) ) } 是神经元的激活函数 W 0 i 是 W 0 的第i行,假设 f ( 0 ) = 0 且满足Lipschitz条件
l i − ≤ f i ( a ) − f i ( b ) a − b ≤ l i + , (3)
其中, l i − 和 l i + 是一些常数,且 L − = diag { l 1 − , l 2 − , ⋯ , l n − } , L + = diag { l 1 + , l 2 + , ⋯ , l n + } 。
在分析系统(1)的时滞依赖稳定性判据之前,本节首先引入如下一些重要的引理:
引理1. [
T i = f ( h i ) < 0 ( i = 1 , 2 ) , T 3 = − β 2 h 12 2 a 2 + f ( h 1 ) < 0 , T 4 = − ( 1 − β ) 2 h 12 2 a 2 + f ( h 2 ) < 0 ,
那么 f ( y ) < 0 ( h 1 ≤ y ≤ h 2 ) 成立,其中 h 12 = h 2 − h 1 。
引理2. [
∫ a b w ˙ T ( s ) H w ˙ ( s ) d s ≥ − sym { σ 0 T L σ 1 + σ 0 T M σ 2 } − ( b − a ) σ 0 T ( 3 L H − 1 L T + M H − 1 M T 3 ) σ 0
其中 σ 1 = x ( b ) − x ( a ) , σ 2 = x ( b ) + x ( a ) − 2 b − a ∫ a b x ( s ) d s , σ 0 是任意向量。
引理3. [
∫ a b x T ( s ) R x ( s ) d s ≥ 1 b − a ( ∫ a b x ( s ) d s ) T R ( ∫ a b x ( s ) d s ) + 3 b − a Ω 1 T R Ω 1 ,
∫ a b x ˙ T ( s ) R x ˙ ( s ) d s ≥ 1 b − a Ω 2 T R Ω 2 + 3 b − a Ω 3 T R Ω 3 ,
其中
Ω 1 = ∫ a b x ( s ) d s − 2 b − a ∫ a b ∫ β b x ( s ) d s d β , Ω 2 = x ( b ) − x ( a ) , Ω 3 = x ( b ) + x ( a ) − 2 b − a ∫ a b x ( s ) d s .
为了能得到保守性更低的稳定性条件,本文首先引入一个改进的一重积分不等式如下:
引理4. 若半正定对称矩阵 Y i ∈ R n × n ( i = 1 , 3 ) , X i ∈ R n × n ( i = 1 , 2 ) ,任意矩阵 Y 2 ∈ R n × n , X 3 ∈ R n × n , X 4 ∈ R 2 n × 2 n , x ( t ) 是一个可微函数: [ a , b ] → R n ,满足:
Ω 0 = [ Y 1 Y 2 * Y 3 ] ≥ 0 , Ω 1 = [ Y 1 Y 2 + X 1 * Y 3 ] ≥ 0 , Ω 2 = [ Y 1 Y 2 + X 2 * Y 3 ] ≥ 0 ,
Ω 3 = [ Y 3 X 3 * Y 3 ] ≥ 0 , Ω 4 = [ Ω 1 X 4 * Ω 2 ] ≥ 0 ,
那么,对任意向量 c ∈ [ a , b ] ,有下面的不等式成立
Φ = − ∫ a b W T ( s ) Ω 0 W ( s ) d s ≤ ξ T Ω ξ . (4)
其中
W ( s ) = col { x ( s ) , x ˙ ( s ) } , ξ = col { x ( b ) , x ( c ) , x ( a ) , w 1 , w 2 , v 1 , v 2 } , w 1 = 1 b − c ∫ c b x ( s ) d s ,
w 2 = 1 c − a ∫ a c x ( s ) d s , v 1 = 1 b − c ∫ c b ∫ θ b x ( s ) d s d θ , v 2 = 1 c − a ∫ a c ∫ θ c x ( s ) d s d θ ,
e i = [ 0 n , ( i − 1 ) n I n 0 n , ( 7 − i ) n ] ( i = 1 , 2 , ⋯ , 7 ) , ζ 1 = col { e 1 − e 2 , e 2 − e 3 } ,
ζ 2 = col { ( b − c ) e 4 − 2 e 6 , 2 e 4 − e 1 − e 2 , ( c − a ) e 5 − 2 e 7 , 2 e 5 − e 2 − e 3 } ,
Ω = sym { − e 4 T ( Y 2 + X 1 ) ( e 1 − e 2 ) − e 5 T ( Y 2 + X 2 ) ( e 2 − e 3 ) } − ( b − c ) e 4 T Y 1 e 4 − ( c − a ) e 5 T Y 1 e 5 − e 2 T ( X 1 − X 2 ) e 2 + e 1 T X 1 e 1 − e 3 T X 2 e 3 − 1 b − a ζ 1 T Ω 3 ζ 1 − 1 b − a ζ 2 T Ω 4 ζ 2 .
证明:对于半正定对称矩阵 X i ∈ R n × n ( i = 1 , 2 ) ,有下面的零等式成立
0 = − 2 ∫ c b x T ( s ) X 1 x ˙ ( s ) d s + x T ( b ) X 1 x ( b ) − x T ( c ) X 1 x ( c ) ,
0 = − 2 ∫ a c x T ( s ) X 2 x ˙ ( s ) d s + x T ( c ) X 2 x ( c ) − x T ( a ) X 2 x ( a ) .
将上面两个零等式加入二重积分,合并同类项后可以得到
Φ = − ∫ a b W T ( s ) Ω 0 W ( s ) d s − 2 ∫ c b x T ( s ) X 1 x ˙ ( s ) d s − 2 ∫ a c x T ( s ) X 2 x ˙ ( s ) d s − x T ( c ) ( X 1 − X 2 ) x ( c ) + x T ( b ) X 1 x ( b ) − x T ( a ) X 2 x ( a ) = − ∫ c b W T ( s ) Ω 1 W ( s ) d s − ∫ a c W T ( s ) Ω 2 W ( s ) d s − x T ( c ) ( X 1 − X 2 ) x ( c ) + x T ( b ) X 1 x ( b ) − x T ( a ) X 2 x ( a )
利用引理3中的不等式放缩,展开计算如下
Φ ≤ − 1 b − c ( ∫ c b W ( s ) d s ) T Ω 1 ( ∫ c b W ( s ) d s ) − 1 c − a ( ∫ a c W ( s ) d s ) T Ω 2 ( ∫ a c W ( s ) d s ) − 3 b − c ( ∫ c b W ( s ) d s − 2 b − c ∫ c b ∫ β b W ( s ) d s d β ) T Ω 1 ( ∫ c b W ( s ) d s − 2 b − c ∫ c b ∫ β b W ( s ) d s d β ) − 3 c − a ( ∫ a c W ( s ) d s − 2 c − a ∫ a c ∫ β c W ( s ) d s d β ) T Ω 2 ( ∫ a c W ( s ) d s − 2 c − a ∫ a c ∫ β c W ( s ) d s d β ) − x T ( c ) ( X 1 − X 2 ) x ( c ) + x T ( b ) X 1 x ( b ) − x T ( a ) X 2 x ( a )
= − ( b − c ) w 1 T Y 1 w 1 − 2 w 1 T ( Y 2 + X 1 ) ( x ( b ) − x ( c ) ) − 1 b − c ( x ( b ) − x ( c ) ) T Y 3 ( x ( b ) − x ( c ) ) − ( c − a ) w 2 T Y 1 w 2 − 2 w 2 T ( Y 2 + X 2 ) ( x ( c ) − x ( a ) ) − 1 c − a ( x ( c ) − x ( a ) ) T Y 3 ( x ( c ) − x ( a ) ) − 3 b − c [ ( b − c ) w 1 − 2 v 1 2 w 1 − x ( b ) − x ( c ) ] T [ Y 1 Y 2 + X 1 * Y 3 ] [ ( b − c ) w 1 − 2 v 1 2 w 1 − x ( b ) − x ( c ) ] − 3 c − a [ ( c − a ) w 2 − 2 v 2 2 w 2 − x ( c ) − x ( a ) ] T [ Y 1 Y 2 + X 2 * Y 3 ] [ ( c − a ) w 2 − 2 v 2 2 w 2 − x ( c ) − x ( a ) ] − x T ( c ) ( X 1 − X 2 ) x ( c ) + x T ( b ) X 1 x ( b ) − x T ( a ) X 2 x ( a )
利用交互凸组合不等式可得
Φ ≤ − ( b − c ) w 1 T Y 1 w 1 − 2 w 1 T ( Y 2 + X 1 ) ( x ( b ) − x ( c ) ) − ( c − a ) w 2 T Y 1 w 2 − 2 w 2 T ( Y 2 + X 2 ) ( x ( c ) − x ( a ) ) − x T ( c ) ( X 1 − X 2 ) x ( c ) + x T ( b ) X 1 x ( b ) − x T ( a ) X 2 x ( a ) − 1 b − a [ x ( b ) − x ( c ) x ( c ) − x ( a ) ] T [ Y 3 X 3 * Y 3 ] [ x ( b ) − x ( c ) x ( c ) − x ( a ) ] − 3 b − a [ ( b − c ) w 1 − 2 v 1 2 w 1 − x ( b ) − x ( c ) ( c − a ) w 2 − 2 v 2 2 w 2 − x ( c ) − x ( a ) ] T [ Ω 1 X 4 * Ω 2 ] [ ( b − c ) w 1 − 2 v 1 2 w 1 − x ( b ) − x ( c ) ( c − a ) w 2 − 2 v 2 2 w 2 − x ( c ) − x ( a ) ] = ξ T Ω ξ
结论成立,证毕。
在本节当中,基于上面提到的一重积分不等式引理以及广义的自由矩阵积分不等式引理,我们通过恰当地构造Lyapunov泛函分析得到关于系统(1)的新的时滞依赖条件。
为了简化向量和矩阵表示给出以下术语:
ϖ 1 ( t ) = 1 h ( t ) ∫ t − h ( t ) t x ( s ) d s , ϖ 2 ( t ) = 1 t − h ( t ) ∫ t − h t − h ( t ) x ( s ) d s , ϑ 1 ( t ) = 1 h ( t ) ∫ t − h ( t ) t ∫ θ t x ( s ) d s d θ ,
ϑ 2 ( t ) = 1 t − h ( t ) ∫ t − h t − h ( t ) ∫ θ t − h ( t ) x ( s ) d s d θ , η 2 ( t ) = col { x ( t ) , x ˙ ( t ) , f ( W 0 x ( t ) ) } ,
η 1 ( t , s ) = col { x ( s ) , x ˙ ( s ) , f ( W 0 x ( s ) ) , x ( t ) , x ( t − h ) , ∫ s t x ( θ ) d θ } , η 3 ( t ) = col { x ( t ) , x ˙ ( t ) } ,
ξ 1 ( t ) = col { x ( t ) , x ( t − h ) , ϖ 1 ( t ) , ϑ 1 ( t ) , ∫ t − h t x ( s ) d s , ∫ t − h ( t ) t f ( W 0 x ( s ) ) d s , ∫ t − h t f ( W 0 x ( s ) ) d s } ,
ξ ( t ) = col { x ( t ) , x ( t − h ( t ) ) , x ( t − h ) , ϖ 1 ( t ) , ϖ 2 ( t ) , ϑ 1 ( t ) , ϑ 2 ( t ) , x ˙ ( t − h ( t ) ) , x ˙ ( t − h ) , f ( W 0 x ( t ) ) , f ( W 0 x ( t − h ( t ) ) ) , ∫ t − h ( t ) t f ( W 0 x ( s ) ) d s , ∫ t − h t − h ( t ) f ( W 0 x ( s ) ) d s } ,
g i 1 ( s ) = f i ( s ) − l i − s , g i 2 ( s ) = l i + s − f i ( s ) .
定理1 对于给定的实数h和u,若存在对称正定矩阵 P ∈ R 7 n × 7 n , Q 1 ∈ R 5 n × 5 n , Q 2 ∈ R 5 n × 5 n , R ∈ R 3 n × 3 n , Z = [ Z 1 Z 2 * Z 3 ] ∈ R 2 n × 2 n , N i ∈ R n × n ( i = 1 , 2 ) ,半正定对角矩阵 T 12 ∈ R n × n , T 13 ∈ R n × n , T 23 ∈ R n × n , V k ∈ R n × n ( k = 1 , 2 , 3 , 4 ) , D i ∈ R n × n 任意矩阵 M k ∈ R n × n , S 1 ∈ R 3 n × 3 n , S 2 ∈ R n × n , S 3 ∈ R 2 n × 2 n 得下列线性矩阵不等式成立
Γ m = [ Z 1 Z 2 + N i * Z 3 ] > 0 ( m = 1 , 2 ) , Γ 3 = [ Z 3 S 2 * Z 3 ] > 0 , Γ 4 = [ Γ 1 S 3 * Γ 2 ] > 0 ,(5)
Γ 5 = [ R S 1 * R ] > 0 , (6)
Γ 6 ( h ( t ) = 0 ) = ( δ ⊥ ) T [ Ξ h M 3 h M 4 * − H 0 * * − 3 H ] ( δ ⊥ ) < 0 , (7)
Γ 7 ( h ( t ) = h ) = ( δ ⊥ ) T [ Ξ h M 1 h M 2 * − H 0 * * − 3 H ] ( δ ⊥ ) < 0 , (8)
Γ 8 = ( δ ⊥ ) T ( − γ 2 h 2 J 2 + Γ 6 ) ( δ ⊥ ) < 0 , Γ 9 = ( δ ⊥ ) T ( − ( 1 − γ ) 2 h 2 J 2 + Γ 7 ) ( δ ⊥ ) < 0 ,(9)
则时滞神经网络系统(1)是渐近稳定的。
其中
Ξ ( h ( t ) ) = ∑ n = 1 8 Π n , Π 1 = sym { G 1 T P G 2 } , Π 3 = h 2 G 9 T R G 9 − G 10 T Γ 5 G 10 ,
Π 2 = G 3 T Q 1 G 3 − ( 1 − u ) G 4 T Q 1 G 4 + G 3 T Q 2 G 3 − G 5 T Q 2 G 5 + sym { G 7 T Q 1 G 6 + G 8 T Q 2 G 6 } ,
Π 4 = h G 11 T Z G 11 − 1 h G 12 T Γ 3 G 12 − 1 h G 13 T Γ 4 G 13 + sym { − e 4 T ( Y 2 + X 1 ) ( e 1 − e 2 ) − e 5 T ( Y 2 + X 2 ) ( e 2 − e 3 ) } − h ( t ) e 4 T Y 1 e 4 − ( h − h ( t ) ) e 5 T Y 1 e 5 − e 2 T ( X 1 − X 2 ) e 2 + e 1 T X 1 e 1 − e 3 T X 2 e 3 ,
Π 5 = h f 0 H f 0 + sym { G 14 T M 1 G 15 + G 14 T M 2 G 16 + G 14 T M 3 G 17 + G 14 T M 4 G 18 } ,
Π 6 = sym { [ ( e 10 − L 2 W 0 e 1 ) T V 1 + ( L 1 W 0 e 1 − e 10 ) T V 2 ] W 0 f 0 } + sym { [ ( e 12 − L 2 W 0 e 3 ) T V 3 + ( L 1 W 0 e 3 − e 12 ) T V 4 ] W 0 e 9 } ,
Π 7 = sym { [ e 10 − e 11 − L 2 W 0 ( e 1 − e 2 ) ] T T 12 [ L 1 W 0 ( e 1 − e 2 ) − ( e 10 − e 11 ) ] } + sym { [ e 10 − e 12 − L 2 W 0 ( e 1 − e 3 ) ] T T 13 [ L 1 W 0 ( e 1 − e 3 ) − ( e 10 − e 12 ) ] } + sym { [ e 11 − e 12 − L 2 W 0 ( e 2 − e 3 ) ] T T 23 [ L 1 W 0 ( e 2 − e 3 ) − ( e 11 − e 12 ) ] } + sym { ( e 10 − L 2 W 0 e 1 ) T T 1 ( L 1 W 0 e 1 − e 10 ) } + sym { ( e 11 − L 2 W 0 e 2 ) T T 2 ( L 1 W 0 e 2 − e 11 ) } + sym { ( e 12 − L 2 W 0 e 3 ) T T 3 ( L 1 W 0 e 3 − e 12 ) } ,
Π 8 = sym { ( e 13 − L 2 e 4 ) T D 1 ( L 1 e 4 − e 13 ) } + sym { ( e 14 − L 2 e 5 ) T D 2 ( L 1 e 5 − e 14 ) } ,
ϒ = h ( t ) G 14 T ( 3 M 1 H − 1 M 1 T + M 2 H − 1 M 2 T 3 ) G 14 + ( h − h ( t ) ) G 14 T ( 3 M 3 H − 1 M 3 T + M 4 H − 1 M 4 T 3 ) G 14 ,
e i = [ 0 n , ( i − 1 ) n I n 0 n , ( 9 − i ) n ] ( i = 1 , 2 , ⋯ , 9 ) ,
G 1 = col { e 1 , e 3 , h ( t ) e 4 , h ( t ) e 6 , h ( t ) e 4 + ( h − h ( t ) ) e 5 , e 13 , e 13 + e 14 } , G 4 = col { e 2 , e 8 , e 11 , e 1 , e 3 , h ( t ) e 4 } ,
G 2 = col { f 0 , e 9 , e 1 − ( 1 − u ) e 2 , h ( t ) ( e 1 − ( 1 − u ) e 4 ) , e 1 − e 3 , e 10 − ( 1 − u ) e 11 , e 10 − e 12 } ,
G 3 = col { e 1 , f 0 , e 10 , e 1 , e 3 , e 0 } , G 5 = col { e 3 , e 9 , e 12 , e 1 , e 3 , h ( t ) e 4 + ( h − h ( t ) ) e 5 } ,
G 6 = col { e 0 , e 0 , e 0 , f 0 , e 9 , e 1 } , G 7 = col { h ( t ) e 4 , e 1 − e 2 , e 13 , h ( t ) e 1 , h ( t ) e 3 , h ( t ) e 6 } ,
G 8 = col { h ( t ) e 4 + ( h − h ( t ) ) e 5 , e 1 − e 3 , e 13 + e 14 , h e 1 , h e 3 , h ( t ) e 6 + ( h − h ( t ) ) e 7 + h ( t ) ( h − h ( t ) ) e 4 } ,
G 9 = col { e 1 , f 0 , e 10 } , G 10 = col { h ( t ) e 4 , e 1 − e 2 , e 13 , ( h − h ( t ) ) e 5 , e 2 − e 3 , e 14 } , G 11 = col { e 1 , f 0 } ,
G 12 = col { e 1 − e 2 , e 2 − e 3 } , G 13 = col { h ( t ) e 4 − 2 e 6 , 2 e 4 − e 1 − e 2 , ( h − h ( t ) ) e 5 − 2 e 7 , 2 e 5 − e 2 − e 3 } ,
G 14 = col { e 1 , e 2 , e 3 , e 4 , e 5 , e 6 , e 7 , e 8 , e 9 , e 10 , e 11 , e 12 , e 13 , e 14 } , G 15 = e 1 − e 2 , G 16 = e 1 + e 2 − 2 e 4 ,
G 17 = e 2 − e 3 , G 18 = e 2 + e 3 − 2 e 5 , G 19 = col { e 0 , e 0 , e 4 , e 6 , e 4 − e 5 , e 0 , e 0 } ,
G 20 = col { e 0 , e 0 , e 0 , e 1 − ( 1 − u ) e 4 , e 0 , e 0 , e 0 } , G 21 = col { e 0 , e 0 , e 0 , e 0 , e 0 , e 4 } ,
G 22 = col { e 0 , e 0 , e 0 , e 0 , e 0 , e 4 − e 5 } , G 23 = col { e 4 , e 0 , e 0 , − e 5 , e 0 , e 0 } , G 24 = col { e 4 , e 0 , − e 5 , e 0 } .
证明:构造如下Lyapunov泛函
V ( t ) = ∑ d = 1 6 V d ,
V 1 ( t ) = ξ 1 T ( t ) P ξ 1 ( t ) , V 2 ( t ) = ∫ t − h ( t ) t η 1 T ( t , s ) Q 1 η 1 ( t , s ) d s + ∫ t − h t η 1 T ( t , s ) Q 2 η 1 ( t , s ) d s ,
V 3 ( t ) = h ∫ t − h t ∫ θ t η 2 T ( s ) R η 2 ( s ) d s d θ , V 4 ( t ) = ∫ t − h t ∫ θ t η 3 T ( s ) Z η 3 ( s ) d s d θ ,
V 5 ( t ) = ∫ t − h t ∫ θ t x ˙ T ( s ) H x ˙ ( s ) d s d θ ,
V 6 ( t ) = 2 ∑ i = 1 n ∫ 0 W 0 i x ( t ) [ V 1 i g i 1 ( s ) + V 2 i g i 2 ( s ) ] d s + 2 ∑ i = 1 n ∫ 0 W 0 i x ( t − h ) [ V 3 i g i 1 ( s ) + V 4 i g i 2 ( s ) ] d s .
对 V ( t ) 求导,可得
V ˙ 1 ( t ) = 2 ξ 1 T ( t ) P ξ ˙ 1 ( t ) , V ˙ 3 ( t ) = h 2 η 2 T ( t ) R η 2 ( t ) − ∫ t − h t η 2 T ( s ) R η 2 ( s ) d s ,
V ˙ 2 ( t ) = η 1 T ( t , t ) Q 1 η 1 ( t , t ) − ( 1 − u ) η 1 T ( t , t − h ( t ) ) Q 1 η 1 ( t , t − h ( t ) ) + η 1 T ( t , t ) Q 2 η 1 ( t , t ) − η 1 T ( t , t − h ) Q 2 η 1 ( t , t − h ) + ξ T ( t ) sym { G 7 T Q 1 G 6 + G 8 T Q 2 G 6 } ξ ( t ) ,
V ˙ 4 ( t ) = h η 3 T ( t ) Z η 3 ( t ) − ∫ t − h t η 3 T ( s ) Z η 3 ( s ) d s , V ˙ 5 ( t ) = h x ˙ T ( t ) H x ˙ ( t ) − ∫ t − h t x ˙ T ( t ) H x ˙ ( t ) d s ,
V ˙ 6 ( t ) = 2 ∑ i = 1 n [ V 1 i g i 1 ( W 0 i x ( t ) ) + V 2 i g i 2 ( W 0 i x ( t ) ) ] W 0 i x ˙ ( t ) + 2 ∑ i = 1 n [ V 3 i g i 1 ( W 0 i x ( t − h ) ) + V 4 i g i 2 ( W 0 i x ( t − h ) ) ] W 0 i x ˙ ( t − h ) .
为了考虑更多的积分信息,利用时滞分割方法将一重积分区间 [ 0 , h ] 划分成 [ 0 , h ( t ) ] 和 [ h ( t ) , h ] 两个部分,运用(6)中的条件和Jensen不等式,对 V ˙ 3 ( t ) 中的积分放缩得
− ∫ t − h t η 2 T ( s ) R η 2 ( s ) d s = − ∫ t − h ( t ) t η 2 T ( s ) R η 2 ( s ) d s − ∫ t − h t − h ( t ) η 2 T ( s ) R η 2 ( s ) d s ≤ ξ T ( t ) G 10 T Γ 5 G 10 ξ ( t ) .
运用(5)中的条件和引理4提出的不等式对 V ˙ 4 ( t ) 中的积分项进行放缩,可以得到
− ∫ t − h t η 3 T ( s ) Z η 3 ( s ) d s ≤ ξ T ( t ) { sym { − e 4 T ( Y 2 + X 1 ) ( e 1 − e 2 ) − e 5 T ( Y 2 + X 2 ) ( e 2 − e 3 ) } − h ( t ) e 4 T Y 1 e 4 − ( h − h ( t ) ) e 5 T Y 1 e 5 − e 2 T ( X 1 − X 2 ) e 2 + e 1 T X 1 e 1 − e 3 T X 2 e 3 − 1 h G 12 T Γ 3 G 12 − 1 h G 13 T Γ 4 G 13 } ξ ( t ) .
运用引理2中的自由矩阵不等式将 V ˙ 5 ( t ) 中的积分项进行放缩,可以得到
− ∫ t − h t x ˙ T ( t ) H x ˙ ( t ) d s = − ∫ t − h ( t ) t x ˙ T ( t ) H x ˙ ( t ) d s − ∫ t − h t − h ( t ) x ˙ T ( t ) H x ˙ ( t ) d s ,
− ∫ t − h ( t ) t x ˙ T ( t ) H x ˙ ( t ) d s ≤ sym { τ 0 T M 1 δ 1 + τ 0 T M 2 τ 2 } + h ( t ) τ 0 T ( 3 M 1 H − 1 M 1 T + M 2 H − 1 M 2 T 3 ) τ 0 ,
− ∫ t − h t − h ( t ) x ˙ T ( t ) H x ˙ ( t ) d s ≤ sym { τ 0 T M 3 τ 3 + τ 0 T M 4 τ 4 } + ( h − h ( t ) ) τ 0 T ( 3 M 3 H − 1 M 3 T + M 4 H − 1 M 4 T 3 ) τ 0 ,
其中
τ 0 = G 14 ξ ( t ) , τ 1 = x ( t ) − x ( t − h ( t ) ) , τ 2 = x ( t ) + x ( t − h ( t ) ) − 2 ϖ 1 , τ 3 = x ( t − h ( t ) ) − x ( t − h ) ,
τ 4 = x ( t − h ( t ) ) + x ( t − h ) − 2 ϖ 2 .
另外,由(3)中的Lipchitz条件可知,对任意的正定对角矩阵 D i ≥ 0 , T i j ≥ 0 ( i = 1 , 2 ; j = 2 , 3 ) , T k ≥ 0 ( k = 1 , 2 , 3 , 4 ) ,有下面的条件成立
− 2 [ f ( s k ) − L − s k ] T T k [ f ( s k ) − L + s k ] ≥ 0 ,
− 2 [ f ( s i ) − f ( s j ) − L − ( s i − s j ) ] T T i j [ f ( s i ) − f ( s j ) − L + ( s i − s j ) ] ≥ 0 ,
− 2 [ ∫ t − h ( t ) t ( f ( W 0 x ( s ) ) − L 1 x ( s ) ) d s ] T D 1 [ ∫ t − h ( t ) t ( f ( W 0 x ( s ) ) − L 2 x ( s ) ) d s ] ≥ 0 ,
− 2 [ ∫ t − h t − h ( t ) ( f ( W 0 x ( s ) ) − L 1 x ( s ) ) d s ] T D 2 [ ∫ t − h t − h ( t ) ( f ( W 0 x ( s ) ) − L 2 x ( s ) ) d s ] ≥ 0 .
取 Ψ ( h ( t ) ) = Ξ ( h ( t ) ) + ϒ ,由于 h ( t ) 在是二次的,因此可以改写成
Ψ ( h ( t ) ) = J 2 h 2 ( t ) + J 1 h ( t ) + J 0 ,
其中 J 0 , J 1 , J 2 和都是常数矩阵,且
J 2 = sym { e 19 T P e 20 − ( L − e 4 ) T D 1 ( L + e 4 ) − ( L − e 5 ) T D 2 ( L + e 5 ) } − ( 1 − u ) G 21 T Q 1 G 21 − G 22 T Q 2 G 22 − G 23 T Γ 5 G 23 − 1 h G 24 T Γ 4 G 24 .
因此,通过引理1,如果(7)~(9)的条件满足,那么可以得到 Ψ ( h ( t ) ) < 0 成立。
利用Finsler’s引理 [
本节结合前面的定理,利用数值实例证明本文所提方法的有效性和优越性。
例:考虑时滞系统(1),其中
A = [ 1.5 0 0 0.7 ] , W 0 = [ 0.0503 10.0454 0.0987 0.2075 ] , W 1 = [ 0.2381 0.9320 0.0388 0.5062 ] ,
W 2 = diag { 1 , 1 } , L 1 = diag { 0.3 , 0.8 } , L 2 = 0 .
运用定理1,结合Matlab计算,当u取不同值时,通过调节参数 γ 可以得到不同的时滞上界。如表1所示,当 u = 0.55 , γ = 0.5 时,我们得到的时滞上界 h = 12.4199 ,它比文献 [
ϖ ( t ) = 12.4199 2 + 12.4199 2 ( sin ( 1.1 t 12.4199 ) ) , f ( t ) = [ 0.3 tanh ( x 1 ( t ) ) , 0.8 tanh ( x 2 ( t ) ) ] T
这时,取初始条件 x ( θ ) = [ 0.7 , − 0.3 ] T ,从图1的状态运行状况,我们可以清楚地看到,时滞神经网络系统是渐进稳定的。
方法 | u | |||
---|---|---|---|---|
0.4 | 0.45 | 0.5 | 0.55 | |
[
|
4.5023 | 3.7588 | 3.5472 | 3.4885 |
[
|
4.5543 | 3.8364 | 3.5583 | 3.4110 |
[
|
4.8748 | 4.2702 | 4.0551 | 3.9369 |
[
|
5.1029 | 4.1100 | 3.6855 | 3.4434 |
[
|
7.4203 | 6.6190 | 6.3428 | 6.2095 |
[
|
8.3498 | 7.3817 | 7.0219 | 6.8156 |
[
|
10.2367 | 9.0586 | 8.5986 | 8.3181 |
[
|
10.5087 | 9.4658 | 9.0554 | 8.8169 |
定理1 ( γ = 0.5 ) | 18.7745 | 14.6428 | 13.1791 | 12.4199 |
定理1 ( γ = 0.7 ) | 18.0426 | 14.3275 | 13.0503 | 12.3687 |
表1. 当u取不同值时h最大允许的时滞上界
本文探讨了时滞神经网络的稳定性问题,首先通过两个零等式和交互凸组合不等式引入自由矩阵改进具有增广的一重积分不等式,然后在充分考虑各个状态向量的基础上构造带有增广的Lyapunov泛函,并利用提出的一重积分不等式以及广义的自由矩阵积分不等式处理泛函的导数。最后,通过一个数值例子来说明所得结论的有效性和优越性。本文的方法还可以扩展到具有马尔科夫跳跃的时滞神经网络系统的稳定性以及控制问题的研究中。
图1. 神经网络的状态响应
国家自然科学资金(12061088);云南省教育厅科学研究资金项目(2020Y0236)。
柳莹莹,熊良林,邹 梅,蔡 丽,王 珍. 改进的一重积分不等式在时滞神经网络中的应用The Application of Improved Single Integral Inequality in Neural Networks with Time-Delayed[J]. 理论数学, 2021, 11(01): 79-89. https://doi.org/10.12677/PM.2021.111012
https://doi.org/10.1109/TNNLS.2013.2284968
https://doi.org/10.1109/TNNLS.2012.2224883
https://doi.org/10.1016/j.ins.2017.08.072
https://doi.org/10.1109/TNNLS.2017.2661862
https://doi.org/10.1109/TNNLS.2015.2449898
https://doi.org/10.1109/TNNLS.2013.2285564
https://doi.org/10.1109/TNNLS.2012.2236571
https://doi.org/10.1016/j.automatica.2013.05.030
https://doi.org/10.1109/TAC.2015.2404271
https://doi.org/10.1016/j.amc.2016.08.043
https://doi.org/10.1109/TNNLS.2013.2256796
https://doi.org/10.1016/j.jfranklin.2014.09.021
https://doi.org/10.1016/j.jfranklin.2019.02.029
https://doi.org/10.1016/j.automatica.2019.108764
https://doi.org/10.1016/j.jfranklin.2015.01.004
https://doi.org/10.1109/TNNLS.2019.2891552