祝熙娟, 王 帥
(長(zhǎng)春理工大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 長(zhǎng)春 130022)
復(fù)雜網(wǎng)絡(luò)的同步現(xiàn)象在物理、 生物、 化學(xué)模型中普遍存在[1]. 復(fù)雜網(wǎng)絡(luò)的同步受多種因素影響, 如網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)、 振子本身的動(dòng)力學(xué)以及振子的參數(shù)等. 網(wǎng)絡(luò)的拓?fù)浣Y(jié)構(gòu)對(duì)同步有極大影響. 例如: Pecora等[2]研究了網(wǎng)絡(luò)結(jié)構(gòu)對(duì)稱(chēng)性與同步之間的聯(lián)系, 發(fā)現(xiàn)簇同步模式的存在取決于網(wǎng)絡(luò)拓?fù)涞膶?duì)稱(chēng)性, 而出現(xiàn)簇同步模式取決于相應(yīng)解的穩(wěn)定性; Zheng等[3]研究了周期同步振子的網(wǎng)絡(luò)結(jié)構(gòu)對(duì)同步的影響; Wang等[4]研究了當(dāng)振子參數(shù)不相同時(shí)系統(tǒng)的同步情況, 發(fā)現(xiàn)只有當(dāng)振子的對(duì)稱(chēng)節(jié)點(diǎn)參數(shù)相同時(shí), 才會(huì)產(chǎn)生簇同步; 文獻(xiàn)[5]研究表明, 多種網(wǎng)絡(luò)模型具有對(duì)稱(chēng)性. 星型網(wǎng)絡(luò)是一種特殊的網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu), 其具有一個(gè)中心節(jié)點(diǎn)及多種類(lèi)型的對(duì)稱(chēng)性. Xu等[6]描述了相位振子在星型網(wǎng)絡(luò)中的同步機(jī)制; Lacerda等[7]研究了在非相同振子星型網(wǎng)絡(luò)中的遠(yuǎn)程同步.
旋轉(zhuǎn)周期解理論利用旋轉(zhuǎn)周期矩陣Q衡量網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的幾何性質(zhì), 能用一種統(tǒng)一的方法解釋系統(tǒng)多種類(lèi)型的同步性和多種復(fù)雜的動(dòng)力學(xué)行為.本文用旋轉(zhuǎn)周期解理論研究星型網(wǎng)絡(luò)中耦合振子的同步現(xiàn)象[8-9].首先, 考慮一個(gè)旋轉(zhuǎn)周期動(dòng)力學(xué)系統(tǒng):
(1)
其中:x(t)∈2n;a∈[0,1];g:2n×1→2n為C2連續(xù)的,g(x,a)=Qg(Q-1x,a),Q是2n×2n的正交矩陣,g(0,a)=0.如果系統(tǒng)(1)有x(t+T)=Qx(t)形式的解, 則稱(chēng)這種解為系統(tǒng)(1)的旋轉(zhuǎn)周期解.g(x,a)=Qg(Q-1x,a)稱(chēng)為旋轉(zhuǎn)周期條件,Q稱(chēng)為旋轉(zhuǎn)周期矩陣[10-11].本文研究范德波爾振子網(wǎng)絡(luò)的星形拓?fù)浣Y(jié)構(gòu)對(duì)同步的影響.
考慮用如下范德波爾振子描述節(jié)點(diǎn)動(dòng)力學(xué)模型[12]:
(2)
其中:
本文研究中心節(jié)點(diǎn)與N個(gè)等長(zhǎng)節(jié)點(diǎn)鏈耦合的星型網(wǎng)絡(luò).圖1為一個(gè)與中心節(jié)點(diǎn)連接的具有3條射線(xiàn), 每條射線(xiàn)上有2個(gè)振子的擴(kuò)展類(lèi)星型網(wǎng)絡(luò), 并且每個(gè)振子都符合范德波爾網(wǎng)絡(luò)模型.
圖1 七振子星型網(wǎng)絡(luò)示意圖
方程(2)可以寫(xiě)成如下格式:
(3)
其中A為振子本身的線(xiàn)性項(xiàng)矩陣,f(X)為所有振子高階項(xiàng)組成的向量,eG為系統(tǒng)的Laplace矩陣(e表示振子的耦合強(qiáng)度, 即式(2)中的εx和εy), 矩陣A和eG的具體形式為
為表述方便, 下面用H表示A+eG.
考慮完全相同振子與非完全相同振子的同步情況.首先找出滿(mǎn)足F(X)=QF(Q-1X)的Q, 找到的所有Q形成一個(gè)群S.網(wǎng)絡(luò)對(duì)稱(chēng)性均可用置換矩陣Q描述, 該矩陣以一種保持動(dòng)力學(xué)方程不變的方式對(duì)節(jié)點(diǎn)進(jìn)行重新排序.為判斷系統(tǒng)的同步情況, 先用下列算法將H和Q同時(shí)對(duì)角化.
算法1
步驟1) 先將Q對(duì)角化. 利用M-1QM=Q1得到對(duì)角化后的Q1(仍用Q表示):
(4)
步驟2) 重新調(diào)整對(duì)角化后的Q, 并將Q中相同的特征值調(diào)整到一起, 調(diào)整后的Q變?yōu)?/p>
對(duì)應(yīng)Q的調(diào)整, 調(diào)整M的特征向量, 得到調(diào)整后的M1(仍用M表示).
步驟3) 利用M-1HM=H1得到一個(gè)對(duì)角塊矩陣, 設(shè)為
步驟4) 由M×N得到的矩陣可以將H和Q同時(shí)對(duì)角化.
同時(shí)對(duì)角化后的Q形式如式(4), 其中φi≠0(i=1,2,…,n)(φi=0等于φi=2π); 對(duì)角化后H的形式如下(對(duì)角化后的Q和H仍用Q和H表示):
(5)
本文將同步解的分岔問(wèn)題轉(zhuǎn)化為旋轉(zhuǎn)周期解的分岔問(wèn)題, 下述定理討論了同步解的存在性.
定理1[13]假設(shè)(x=0,y=0,a=0)是系統(tǒng)(3)的臨界點(diǎn), 設(shè)對(duì)角化后的Q和H形式分別如式(4)和式(5)所示, 并假設(shè)滿(mǎn)足下列條件:
2) 對(duì)i=1,2,…,7, 有μi(0)≠0.
則(x=0,y=0,a=0)是系統(tǒng)(3)中旋轉(zhuǎn)周期解的一個(gè)分岔點(diǎn).
由定理1可得系統(tǒng)同步存在的臨界條件——旋轉(zhuǎn)周期解的分岔點(diǎn).下面引入能判斷網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)與同步之間關(guān)系的定理.
H=diag(λ1±ω1i,λ2±ω2i,…,λn±ωni).
則有:
1) 當(dāng)ω1=ω2=…=ωn并且φ1=φ2=…=φn時(shí), 系統(tǒng)具有完全同步解;
2) 當(dāng)ω1=ω2=…=ωn并且φ1=φ2=…=φn/2=c,φn/2+1=φn/2+2=…φn=c+π時(shí), 系統(tǒng)具有反向同步解;
4) 當(dāng)φ1,φ2,…,φn被分成k組, 在同一組中滿(mǎn)足ωk1=ωk2=…=ωkm和φk1=φk2=…=φkm(這里km表示第k組中的第m個(gè)振子)時(shí), 系統(tǒng)有簇同步解.
在星型網(wǎng)絡(luò)中, 滿(mǎn)足旋轉(zhuǎn)周期條件的所有旋轉(zhuǎn)矩陣Q形成不同的群.利用這些群的共軛類(lèi), 可得到所有不同類(lèi)型的同步解[7].通過(guò)上述算法, 可將Q和H同時(shí)對(duì)角化, 并由Q和H的特征值判斷網(wǎng)絡(luò)相應(yīng)的同步情況, 但相同形式的Q可能得到不同形式的同步解.
當(dāng)振子完全相同時(shí), 網(wǎng)絡(luò)的對(duì)稱(chēng)性保持不變.先驗(yàn)證滿(mǎn)足QH=HQ的所有Q:
由Q1~Q6可組成一個(gè)群S, 群S中可有多個(gè)不同的共軛類(lèi).設(shè)群S中的共軛類(lèi)為Rq(q=1,2,3),Rq中不同的q表示不同的同步類(lèi)型, 其中Q是由系統(tǒng)不同變換形式得到的旋轉(zhuǎn)矩陣.R1={Q1},Q1是單位矩陣.在圖1中, 將振子2,4,6的位置進(jìn)行循環(huán)變換(相應(yīng)的振子3,5,7也會(huì)相應(yīng)變換), 可得Q2.同理也可得Q3.從而可設(shè)R2為振子通過(guò)循環(huán)變換得到的, 則R2={Q2,Q3}.
當(dāng)(2,4,6)→(4,6,2)時(shí), 變換結(jié)果如圖2所示, 該網(wǎng)絡(luò)的對(duì)稱(chēng)性對(duì)應(yīng)于群R2中的Q2.通過(guò)對(duì)稱(chēng)變換, 分別將振子2,3和振子4,5位置互換, 可得Q4.同理可得Q5,Q6.從而可設(shè)R3={Q4,Q5,Q6}.當(dāng)(2,3,4,5)→(4,5,2,3)時(shí), 變換結(jié)果如圖3所示, 該網(wǎng)絡(luò)的對(duì)稱(chēng)性對(duì)應(yīng)于群R3中的Q4.
圖2 振子循環(huán)變換結(jié)果
圖3 振子對(duì)稱(chēng)變換結(jié)果
根據(jù)定理2, 該網(wǎng)絡(luò)的同步類(lèi)型與Q的特征值有關(guān), 可以驗(yàn)證R1,R2,R3構(gòu)成一個(gè)群, 每個(gè)共軛類(lèi)中Q的特征值都相同, 因此同一共軛類(lèi)對(duì)應(yīng)于相同類(lèi)型的同步解.對(duì)角化后,R1中矩陣的特征值為(1,1,1,1,1,1,1).由定理2可知, 該系統(tǒng)具有完全同步解.R2中矩陣的特征值為
(6)
該系統(tǒng)具有周期同步解.R3中矩陣的特征值為(-1,-1,1,1,1,1,1), 該系統(tǒng)具有部分反向同步解(因?yàn)橄到y(tǒng)中只有一部分振子滿(mǎn)足定理2中反向同步的情況, 因此稱(chēng)其為部分反相同步解).完全相同振子的星型網(wǎng)絡(luò)中具有完全同步、 周期同步和部分反向同步3種類(lèi)型的同步解.表1列出了完全相同振子的同步情況.
表1 完全相同振子同步情況
通過(guò)設(shè)置參數(shù)可使振子不完全相同, 下面討論非完全相同振子的同步情況. 設(shè)當(dāng)振子參數(shù)相同時(shí), 可用相同的字母符號(hào)代替. 例如, 若系統(tǒng)滿(mǎn)足射線(xiàn)上振子同步, 則振子2,3設(shè)為相同參數(shù)b, 振子4,5設(shè)為相同參數(shù)c, 振子6,7設(shè)為相同參數(shù)d, 則系統(tǒng)振子參數(shù)的情況為(a,b,b,c,c,d,d).此時(shí)驗(yàn)證的旋轉(zhuǎn)矩陣Q只有單位矩陣Q1一種情況.對(duì)角化后的特征值為(1,1,1,1,1,1,1).此時(shí)只有部分同步解.當(dāng)振子參數(shù)的情況為(a,b,c,b,c,b,c)時(shí), 滿(mǎn)足QH=HQ的Q有Q2,Q3.此時(shí)驗(yàn)證的旋轉(zhuǎn)矩陣有Q2,Q3兩種情況.對(duì)角化后的特征值為式(6).根據(jù)定理2, 系統(tǒng)有周期同步解.當(dāng)振子參數(shù)的情況為(a,b,c,b,c,d,e), (a,b,c,d,e,b,c)或(a,d,e,b,c,b,c)時(shí), 滿(mǎn)足QH=HQ的Q有Q4,Q5,Q6.此時(shí)驗(yàn)證的旋轉(zhuǎn)矩陣有Q4,Q5,Q6三種情況.對(duì)角化后的特征值為(-1,-1,1,1,1,1,1), 此時(shí)系統(tǒng)有部分反向同步解.表2列出了非完全相同振子同步的情況.由表2可見(jiàn), 當(dāng)系統(tǒng)是非完全相同振子時(shí), 只能得到三種不同類(lèi)型的同步解.當(dāng)同步情況為(a,b,b,c,c,d,d)時(shí), 系統(tǒng)可得到部分同步解; 當(dāng)同步情況為(a,b,c,b,c,b,c)時(shí), 系統(tǒng)可得到周期同步解; 當(dāng)同步情況為(a,b,c,b,c,d,e), (a,b,c,d,e,b,c)或(a,d,e,b,c,b,c)時(shí), 系統(tǒng)可得到部分反向同步解.
表2 非完全相同振子同步情況
取所有振子的分岔參數(shù)βi=4(i=1,2,…,7), 固有頻率αi=1(i=1,2,…,7).圖4為完全相同振子的3種同步類(lèi)型.
圖4 完全相同振子的3種同步類(lèi)型
在R1中, 取耦合強(qiáng)度εx=0.01,εy=0.01, 則對(duì)角化后的Q和H(對(duì)角化后Q*和H*仍用Q和H代替)分別為
(7)
可知對(duì)角化后Q的所有特征值都相等, 由于有誤差, 對(duì)角化后H的特征值相似, 因此根據(jù)定理1, 此時(shí)系統(tǒng)具有完全同步解.由圖4(A)可見(jiàn), 振子y1,y2,…,y7的軌跡完全重合, 可知此時(shí)系統(tǒng)所有振子是完全同步的.
在R2中, 取耦合強(qiáng)度εx=0.01,εy=0.01, 則對(duì)角化后的Q和H分別為
可知對(duì)角化后Q的特征值中有兩對(duì)特征值具有相位差, 對(duì)角化后H的特征值中對(duì)應(yīng)相位差相等.根據(jù)定理1, 此時(shí)系統(tǒng)具有周期同步解.由圖4(B)可見(jiàn), 振子y2,y4,y6和振子y3,y5,y7的軌跡具有相位差, 可知此時(shí)系統(tǒng)中振子2,y4,y6和振子y3,y5,y7分別是周期同步的.
在R3中, 取耦合強(qiáng)度εx=0.01,εy=0.01, 則對(duì)角化后的Q和H分別為
(9)
可知對(duì)角化后Q的特征值中有兩對(duì)具有相位差, 對(duì)角化后H的特征值中對(duì)應(yīng)相位差相等.根據(jù)定理1, 此時(shí)系統(tǒng)具有部分反向同步解.由圖4(C)可見(jiàn), 振子y2,y4和振子y3,y5的軌跡具有相位差, 可知此時(shí)系統(tǒng)中振子y2,y4和振子y3,y5分別是部分反向同步的.
取所有振子的固有頻率αi=1(i=1,2,…,7).圖5為非完全相同振子的3種同步類(lèi)型.
圖5 非完全相同振子的3種同步類(lèi)型
在R1中, 設(shè)各振子的分岔參數(shù)分別為β1=6,β2=β3=4,β4=β5=7,β6=β7=9, 此時(shí)系統(tǒng)每條射線(xiàn)上的振子參數(shù)相同, 取耦合強(qiáng)度εx=εy=0.001, 則對(duì)角化后的Q為式(7), 對(duì)角化后的H為
可知對(duì)角化后Q的所有特征值都相等, 對(duì)角化后H有三對(duì)相等的特征值.根據(jù)定理1, 此時(shí)系統(tǒng)具有部分同步解.由圖5(A)可見(jiàn), 振子y2和y3、 振子y4和y5、 振子y6和y7的軌跡分別重合, 可知系統(tǒng)中振子y2和y3、 振子y4和y5、 振子y6和y7分別是部分同步的.對(duì)于系統(tǒng)中每條射線(xiàn)上彼此同步的情況, 也稱(chēng)為射線(xiàn)同步.
在R2中, 設(shè)振子的分岔參數(shù)分別為β1=6,β2=β4=β6=4,β3=β5=β7=8,εx=εy=0.01, 則對(duì)角化后的Q為式(8), 對(duì)角化后的H為
可知對(duì)角化后Q的特征值中有兩對(duì)具有相位差, 對(duì)角化后H的特征值中對(duì)應(yīng)相位差相等.根據(jù)定理1, 可知此時(shí)系統(tǒng)具有周期同步解.由圖5(B)可見(jiàn), 振子y2,y4,y6和振子y3,y5,y7的軌跡分別具有相位差, 可知系統(tǒng)中振子y2,y4,y6和振子y3,y5,y7分別是周期同步的.
在R3中, 設(shè)各振子的分岔參數(shù)分別為β1=6,β2=β4=5,β3=β5=3.5,β6=4,β7=4.5, 耦合強(qiáng)度εx=εy=0.01, 則對(duì)角化后的Q為式(9), 對(duì)角化后的H為
可知對(duì)角化后Q的特征值中有兩對(duì)具有相位差, 對(duì)角化后H的特征值中對(duì)應(yīng)相位差相等.根據(jù)定理2, 此時(shí)系統(tǒng)具有部分反向同步解.由圖5(C)可見(jiàn), 振子y2和y4、 振子y3和y5的軌跡分別具有相位差, 可知此時(shí)系統(tǒng)中振子y2和y4、 振子y3和y5分別是部分反向同步的.
綜上所述, 本文研究了由7個(gè)范德波爾振子組成的星型網(wǎng)絡(luò)的同步現(xiàn)象, 利用旋轉(zhuǎn)周期解理論討論了星型網(wǎng)絡(luò)模型的同步現(xiàn)象以及系統(tǒng)具有完全相同或者非完全相同振子時(shí)系統(tǒng)的同步情況.首先找到旋轉(zhuǎn)矩陣Q, 所有滿(mǎn)足F(X)=QF(Q-1X)的旋轉(zhuǎn)矩陣組成一個(gè)群, 然后對(duì)Q進(jìn)行分類(lèi), 將相同類(lèi)型的Q組成一個(gè)群的共軛類(lèi), 不同類(lèi)型的Q得到不同的共軛類(lèi); 然后利用這些群的共軛類(lèi)和對(duì)角化方法, 給出不同類(lèi)型的同步現(xiàn)象.本文以三射線(xiàn)內(nèi)外雙層七振子為例研究了網(wǎng)絡(luò)的同步情況.結(jié)果表明: 當(dāng)系統(tǒng)具有完全相同振子時(shí), 可得到完全同步、 周期同步和部分反向同步3種不同類(lèi)型的同步解; 當(dāng)系統(tǒng)具有非完全相同振子時(shí), 可得到部分同步、 周期同步、 部分反向同步3種不同類(lèi)型的同步解; 系統(tǒng)在上述兩種情況下, 均出現(xiàn)了周期同步和部分反向同步.本文基于旋轉(zhuǎn)周期解理論, 研究了范德波爾振子組成的星型網(wǎng)絡(luò), 事實(shí)上該方法也可以直接推廣到更多條射線(xiàn)或更多層的星型網(wǎng)絡(luò)或者采用其他陣子的網(wǎng)絡(luò)模型中.例如: 文獻(xiàn)[8]在更一般的條件下給出了3種不同拓?fù)渚W(wǎng)絡(luò)中耦合振子的同步或簇同步機(jī)制, 并討論了網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)對(duì)同步性的影響; 文獻(xiàn)[9]利用惠更斯陣子研究了旋轉(zhuǎn)波的存在性, 并利用旋轉(zhuǎn)周期理論給出了一種判斷旋轉(zhuǎn)波類(lèi)型的基本原理.