董 健, 李云章
(北京工業(yè)大學理學部, 北京 100124)
近年來, Hopfield神經(jīng)網(wǎng)絡[1-3]的理論成果在聯(lián)想記憶和最優(yōu)化計算等方面有了廣泛的應用, 因此對于Hopfield神經(jīng)網(wǎng)絡的研究越來越多地引起了人們的關注[4-7]. 在Hopfield神經(jīng)網(wǎng)絡的常微分方程模型被提出之后, 學者們就將有限時滯和無窮時滯引入到模型中, 以求更精確地模擬現(xiàn)實世界的現(xiàn)象. 而時滯的出現(xiàn)會很大程度地影響神經(jīng)網(wǎng)絡的動力學性質(zhì), 使網(wǎng)絡的性質(zhì)變得更加復雜.
在文獻[3]中, 一類具有有限時滯的Hopfield神經(jīng)網(wǎng)絡
(1)
被提出, 并對系統(tǒng)(1)的線性化系統(tǒng)進行了穩(wěn)定性分析. 此外, 亦有許多學者對上述系統(tǒng)的動力學性質(zhì)進行了研究, 給出了在不同條件下系統(tǒng)(1)的平衡點全局漸近穩(wěn)定的判據(jù)[4,8]. 而相比具有有限時滯的系統(tǒng),含有無窮時滯的系統(tǒng)在一定程度上更能準確地描述神經(jīng)元之間實際的相互作用. 因此,無窮時滯被引入到Hopfield神經(jīng)網(wǎng)絡中.
Gopalsamy等[4]研究了具有無窮時滯的Hopfield神經(jīng)網(wǎng)絡系統(tǒng)
(2)
并給出了解存在和解趨向于平衡點的判據(jù). 在文獻[9-10]中, 對于滿足不同條件的激勵函數(shù), 通過Lyapunov泛函方法給出了系統(tǒng)(2)的平衡點與滯量無關的全局漸近穩(wěn)定的充分條件. 而對于其他具有無窮時滯的神經(jīng)網(wǎng)絡的動力學性質(zhì)亦有諸多學者進行了深入的研究. Liao等[11]通過構造合適的Lyapunov泛函給出了具有有限和無窮時滯的Cohen-Grossberg神經(jīng)網(wǎng)絡系統(tǒng)的平衡點全局吸引的判據(jù). Zhao等[12]利用Lyapunov方法和線性矩陣不等式技術給出了一類雙向聯(lián)想記憶神經(jīng)網(wǎng)絡正不變集和全局指數(shù)吸引集存在的一些代數(shù)準則, 并對全局指數(shù)吸引域作出了估計. 趙洪涌等[13]給出了一類具有分布時滯的雙向聯(lián)想記憶神經(jīng)網(wǎng)絡的平衡態(tài)一致穩(wěn)定和全局漸近穩(wěn)定的充分條件. 鐘守銘等[14]對細胞神經(jīng)網(wǎng)絡進行了研究, 給出了平衡點全局漸近穩(wěn)定的幾個判據(jù). 此外, 廖曉峰等[15-16]對2類帶連續(xù)分布時滯的神經(jīng)網(wǎng)絡在具有強核和弱核的情況下的漸近穩(wěn)定性進行了研究. 然而, 對于系統(tǒng)(2), 亦有學者考慮其具有S分布時滯的動力學性質(zhì). 鄧瑾等[17]、馬亞鋒等[18]給出了系統(tǒng)(2)具有S分布時滯的不變集、吸引集和全局漸近穩(wěn)定性的判據(jù). 而諶紅美等[19]則利用Banach不動點定理, 通過構造Lyapunov泛函, 結合Hardy不等式和推廣的Halanay時滯微分不等式, 給出了一類具有S分布時滯的細胞神經(jīng)網(wǎng)絡全局指數(shù)穩(wěn)定的充分條件. 再有,盧文聯(lián)等[20]研究了一類具有S分布的遞歸神經(jīng)網(wǎng)絡(亦稱Grossberg-Hopfield神經(jīng)網(wǎng)絡)殆周期解的存在唯一性和全局穩(wěn)定性. 此外, 還有許多學者對具有S分布時滯的神經(jīng)網(wǎng)絡進行了大量的研究[21-27]. 然而在以上的研究中更多地是通過構造合適的Lyapunov函數(shù)或泛函的方法來得到系統(tǒng)的穩(wěn)定性質(zhì), 但是事實上構造Lyapunov函數(shù)或泛函并不是一件容易的事. 本文考慮具有S分布時滯的Hopfield神經(jīng)網(wǎng)絡系統(tǒng)
(3)
式中:t≥0;ai、bij是實值常數(shù);Kij(s)是(-∞,0]上的單調(diào)不減的有界變差函數(shù);函數(shù)fj(u)在(-∞,∞)上是連續(xù)可微的.
系統(tǒng)(3)的初始條件為
xi(s)=φi(s)(-∞(i=1,2,…,n)
(3)
式中初始函數(shù)φi(s)(i=1,2,…,n)在(-∞,0]上是連續(xù)的, 并且存在α>0使得
受文獻[5-7]的啟發(fā), 本文利用常微分方程比較原理和一種迭代技巧證明了系統(tǒng)解的有界性, 并基于M-矩陣理論和一類非線性代數(shù)方程組給出了系統(tǒng)(3)的平衡點全局吸引的一個充分條件.
對系統(tǒng)(3)做一些假設. 假設系統(tǒng)(3)滿足下列條件:
條件1ai>0 (i=1,2,…,n).
引理1如果條件1~4成立, 那么系統(tǒng)(3)的任意解(x1(t),x2(t),…,xn(t))T有
(i=1,2,…,n), 其中非負常數(shù)Mi(i=1,2,…,n)滿足非線性代數(shù)方程組
證明:由條件2和4以及系統(tǒng)(3)可得
(i=1,2,…,n). 由此根據(jù)常微分方程比較原理得到
(i=1,2,…,n). 因此對于任意充分小的正常數(shù)η>0, 存在一個充分大的T0=T0(η)>0使得當t>T0時, 有
(i=1,2,…,n). 因此, 由條件3和系統(tǒng)(3)可得
(i=1,2,…,n), 其中
(i,j=1,2,…,n). 根據(jù)條件4容易知道
(i,j=1,2,…,n). 根據(jù)常微分方程比較原理得到
(t>T0,i=1,2,…,n). 對不等號右端的積分項應用洛必達法得到
(i=1,2,…,n). 由此不等式成立
(i=1,2,…,n). 令η→0, 得到
(i=1,2,…,n). 重復以上過程, 得到一個滿足
(4)
(i=1,2,…,n), 那么對式(4)令k→∞, 就得到
(i=1,2,…,n), 并且
(i=1,2,…,n). 引理1證畢.
引理2[28]令
Zn×n={(fij)n×n|fij≤0,i≠j,i,j=1,2,…,n}
并且F=(fij)n×n∈Zn×n, 則下面2個命題等價:
1)F的所有主子式非負.
2) 如果x≠0并且y=Fx, 那么存在下腳標i使得xi≠0,并且xiyi≥0.
定理1如果條件1~4成立, 且矩陣滿足引理2中的條件1)或2), 那么系統(tǒng)(3)的平衡點(0,0,…,0)T是全局吸引的. 其中=(ij)n×n,ii=ai-|bii|,ij=-|bij|(i≠j;i,j=1,2,…,n).
證明:假設Mi≥0(i=1,2,…,n), 并且滿足非線性代數(shù)方程組
(5)
先來證明Mi(i=1,2,…,n)不可能同時大于零. 假設Mi(i=1,2,…,n)同時大于零, 那么由條件3和式(5)得到
(i=1,2,…,n). 可以寫成矩陣形式
-M<0
(6)
式中M=(M1,M2,…,Mn)T>0. 令x=M>0且y=-M.那么根據(jù)引理2, 存在下腳標i使得
這便和式(6)矛盾. 因此Mi(i=1,2,…,n)不可能同時大于零.
不失一般性,假設Mn=0, 那么帶有n個未知量Mi(i=1,2,…,n)的非線性代數(shù)方程組(5)就退化為帶有n-1個未知量Mi(i=1,2,…,n-1)的非線性代數(shù)方程組
(i=1,2,…,n-1). 再重復上面的討論,一定存在某個k(1≤k≤n-1)使得Mk=0. 不失一般性,可以假設Mn-1=0. 再次重復上面的過程, 就得到M2=M3=…=Mn-1=0, 并且有
如果b11=0, 那么顯然M1=0. 如果b11≠0并且M1>0, 那么由條件3得到
(a1-|b11|)M1<0
這便和a1-|b11|≥0矛盾. 因此
M1=M2=…=Mn=0
再由引理1, 得到
(i=1,2,…,n). 這就說明系統(tǒng)(3)的平衡點(0,0,…,0)T是全局吸引的.
考慮一維系統(tǒng)
(7)
式中b是常數(shù).
首先,討論系統(tǒng)(7)的平衡點. 將x(t)=c(c為常數(shù))帶入系統(tǒng)(7)得
c=btanhc
根據(jù)雙曲正切函數(shù)的性質(zhì), 得到
1) 若b≤1, 則系統(tǒng)(7)只有一個零平衡點.
2) 若b>1, 則系統(tǒng)(7)有3個平衡點, 1個正平衡點, 1個零平衡點, 1個負平衡點.
其次,分析系統(tǒng)(7)的漸近穩(wěn)定性. 當b=0時, 系統(tǒng)(7)退化為常微分方程, 根據(jù)常微分方程理論知(7)的平衡點是漸近穩(wěn)定的. 當b≠0時, 系統(tǒng)(7)的線性化系統(tǒng)的特征方程為
(8)
將λ=α+iβ代入到式(8)并將實虛部分離得
(9)
由式(9), 得到特征方程(8)的根的情況:
1) 當α+1≤0時, 特征方程(8)無根.
2) 當α+1>0且β≠0時, 特征方程(8)無根.
3) 當α+1>0且β=0且b<0時, 特征方程(8)無根.
根據(jù)以上分析, 當特征方程(8)的根只具有負實部時, 即0
最后,通過數(shù)值模擬的結果來說明定理1的有效性. 容易看出系統(tǒng)(7)滿足條件1~4, 且=(1-|b|). 而矩陣滿足引理2中的條件1)或2)當且僅當|b|≤1. 因此由定理1知, 如果|b|≤1, 那么系統(tǒng)(7)的平衡點是全局吸引的. 事實上, 圖1表明, 當滿足|b|≤1的條件時, 系統(tǒng)(7)唯一的平衡點是全局吸引的, 這說明了定理1是有效的. 圖2說明, 當b>1時, 系統(tǒng)(7)的解趨向于2個非零的位置, 而不再收斂到零平衡點. 實際上, 當b>1時, 系統(tǒng)(7)不再只有唯一的零平衡點, 而是衍生出另外的一正一負2個非零平衡點, 圖2中的解曲線實際上分別趨向于2個非零平衡點. 而圖3表明, 當b取得很小時, 系統(tǒng)(7)唯一的平衡點也是全局吸引的. 本文并未從理論上證明當b<-1時, 系統(tǒng)(7)唯一的平衡點是全局吸引的, 但大量的數(shù)值模擬顯示當b取得更小時, 系統(tǒng)(7)在不同初始函數(shù)條件下的解曲線仍舊趨向于唯一的平衡點.
圖1 當b=1、b=-1時, 系統(tǒng)(7)對于不同初始函數(shù)的解Fig.1 Solution of system (7) corresponding to different initial functions when b=1 or b=-1
圖2 當b=1.01時, 系統(tǒng)(7)對于不同初始函數(shù)的解Fig.2 Solution of system (7) corresponding to different initial functions when b=1.01
圖3 當b=-1 000且初始函數(shù)φ=100時, 系統(tǒng)(7)的解Fig.3 Solution of system (7) when b=-1 000 and initial function φ=100