耦合相振子系统同步的序参量理论*

郑志刚 翟云 王学彬 陈宏斌 徐灿‡

1)(华侨大学系统科学研究所,厦门 361021)

2)(华侨大学信息科学与工程学院,厦门 361021)

3)(北京邮电大学理学院,北京 100876)

节律行为,即系统行为呈现随时间的周期变化,在我们的周围随处可见.不同节律之间可以通过相互影响、相互作用产生自组织,其中同步是最典型、最直接的有序行为,它也是非线性波、斑图、集群行为等的物理内在机制.不同的节律可以用具有不同频率的振子(极限环)来刻画,它们之间的同步可以用耦合极限环系统的动力学来加以研究.微观动力学表明,随着耦合强度增强,振子同步伴随着动力学状态空间降维到一个低维子空间,该空间由序参量来描述.序参量的涌现及其所描述的宏观动力学行为可借助于协同学与流形理论等降维思想来进行.本文从统计物理学的角度讨论了耦合振子系统序参量涌现的几种降维方案,并对它们进行了对比分析.序参量理论可有效应用于耦合振子系统的同步自组织与相变现象的分析,通过进一步研究序参量的动力学及其分岔行为,可以对复杂系统的涌现动力学有更为深刻的理解.

1 引 言

节律,即系统呈现的随时间周期变化,广泛存在于我们生活的世界,从钟摆、星体运动到生物钟,都是不同系统典型的动力学行为.复杂与非线性系统会表现出多种多样的自组织与群体性行为[1-3],而不同的节律之间也可以通过相互作用涌现出各种集体的自组织现象,其中同步是最典型、最直接的有序行为,它也是诸如非线性波、时空斑图乃至各种生物集群行为(例如鸟群、鱼群、蜂群、蚁群、人类社会等)的内在物理机制[4,5].

作为一种最基本的协同现象,同步研究可以追溯到1673年Huygens发现的关于两个相邻钟摆同步的讨论.在后来的很多不同物理问题中,人们都发现了同步现象.电子与无线电工程的发展很大程度上促进了关于同步的研究.相比于现象观察及实验研究,同步的理论研究相对要滞后得多,直到20世纪初关于极限环的研究才得到了突破.极限环是非线性耗散系统的一类典型时间振荡解和吸引子,不同时间振荡之间可以通过相互作用产生新的协同.由于大量看似不同的系统都具有可以用极限环描述的时间振荡,人们逐渐认识到,在各种不同同步行为的背后应该具有共同的物理机理[5].Wiener[6]在其专著中关于“脑电波与自组织系统”一章指出,脑电波的出现是来自于不同频率的锁定(pulling together of frequencies),而且这种行为与其他诸如萤火虫同步闪光、蟋蟀同声鸣唱等现象有着共同的机制.而如何在极限环基础上来研究驱动或相互作用的振子间的同步在理论上就成为重要课题.

Winfree[7]于1967年提出了全局耦合振子模型.他认识到,在同步问题上,极限环之间相互作用起作用的关键自由度是其相位,因此只需要考虑耦合的相位振子模型即可揭示同步的动力学实质.Winfree模型的动力学方程可写为

这里用 i =1,2,··,N 来标记不同振子,{θi}代表振子的相位,{ωi}为振子的自然频率,它们各不相同,设符合某个统计分布函数g(ω).Winfree发现,自然频率分布较窄时振子之间会相互同步[7].这样,在众多不同物理背景下出现于不同体系中的很多现象就都可以利用耦合相振子系统的同步动力学来得到非常好的解释.大量相互作用振子出现的整体同步行为是一种典型的集体涌现,如何解析刻画同步涌现是一个挑战性课题.

Kuramoto[8-10]考虑振子数目 N → ∞(热力学极限),自然频率 { ωi} 为单峰分布g(ω),振子间相互作用是耦合强度为K的全局性平均场形式,并取最简单的相位差的正弦函数sin(Δθ)来描述相互作用.平均场耦合相振子模型可写为

该模型被后来研究者称为Kuramoto模型[11].我们还引入振子的集体自然频率一般情况下自然频率分布函数设为关于的对称分布.为讨论方便,通常设分布对称性满足

尽管振子的自然频率各不相同,有相互作用时(K≠0)各振子的实际振动频率都会相应地从K=0时的自然频率{ωi}处发生偏离,并随耦合强度变化而变化.可定义振子的平均频率Ωi为

为描述振子的整体同步情况(相干程度),Kuramoto引入如下的序参量,将其定义为所有振子相位复函数的平均场:

其中复序参量的模R=|z|描述振子的相干性强弱,Θ为一任意相位.

在耦合强度很弱时,只有自然频率极其靠近的振子才会同步,但它们所占的比例几乎可以忽略,大量振子的Ωi都不等,它们在任一时刻的相位都均匀分布于0— 2π之间,如图1(a)所示,此时R=0.随着耦合强度的增加,越来越多的振子会同步,平均频率Ωi相等,这些同步的振子相位之间会靠近并保持固定相位关系,振子不再均匀分布,如图1(b)所示.当所有Ωi都相等时,R就不为零,表明此时振子之间可保持固定的相位关系.存在一个临界的耦合强度 Kc,当 K ≤ Kc时 R=0;当 K ≥ Kc时,R≠0.在很强的耦合下,振子相位会靠得很近,形成整体的同步大集团,如图1(c)所示.大量耦合振子可以通过相互作用克服自然频率不同带来的无序而涌现出同步态实质上就是一种典型的非平衡相变.在临界Kc处发生的相变在理论上可以处理.Kuramoto利用统计物理学方法和自洽方程成功求解[9,10],理论上得到了临界耦合强度Kc,并得到在Kc附近序参量R的临界行为.

图1 耦合振子同步示意图(a)在耦合强度-很弱时,大量振子不同步,任一时刻相位均匀分布于02π之间;(b)随着耦合强度的增加,越来越多的振子会同步,振子不再均匀分布;(c)在很强的耦合下,振子相位会靠得很近,形成整体的同步大集团;(d)序参量随耦合强度的变化Fig.1.A schematic diagram of synchronization of coupled oscillators:(a)Most of the oscillators are asynchronous and evenly distributed along the circle;(b)with increasing the coupling,more and more oscillators are synchronized and are no longer evenly distributed;(c)under a strong coupling,oscillators form a single synchronous cluster,and the phases of oscillators are close to each other;(d)dependence of the order parameter on the coupling strength.

结合具体的物理背景,Kuramoto模型的应用范围和领域大大拓展[11-17].人们研究了不同耦合函数[18,19]、不同耦合网络拓扑结构[14,15,20-25]、脉冲耦合[26]等情况下的同步,探讨了同步涌现的玻璃态[27]、非对称耦合及其行波和驻波波态[28,29]、惯性效应[30,31]、阻挫效应[32-35]、时间延迟效应[36]、外场驱动效应[37]、时变耦合[38]等与实际物理背景密切相关的问题.以Kuramoto模型为代表的耦合振子系统集体动力学问题时至今日一直是重要的研究热点.

对于大量振子同步的研究有几种不同层次和方法.利用非线性动力学[39-41]和同步分岔树方法[42-44]可以对耦合振子的微观动力学进行研究.当振子数目 N ≫1 时,微观动力学分析会变得很繁杂,可以利用统计物理和宏观方法开展研究.早期Kuramoto基于统计物理学方法和自洽方程理论成功地对同步相变进行了解析研究[9].但自洽方程方法建立在同步态为定态的前提下,近年来人们发现了大量非定态集体动力学行为,因此有必要建立一套反映集体动态行为的统计与宏观理论[45].20世纪90年代初,Watanabe与Strogatz发现[46],一类具有对称性的耦合振子系统的高维动力学可以通过引入Möbius变换(后称为Watanabe-Strogatz变换,简称WS变换)精确降维到三维空间,这意味着系统的部分可积性.Ott与Antonsen[47,48]提出了序参量拟设理论,将高维微观动力学研究降维到二维序参量空间加以研究.人们随后意识到,OA拟设下的二维动力学实际上是WS变换下的三维动力学的进一步降维[49,50].

耦合振子系统同步的序参量动力学研究大致包括如下几个重要和基础问题.第一,序参量是表征整体行为的特征量,那么对于大自由度的耦合振子系统,序参量是如何涌现的？第二,序参量及其涌现的物理意义是什么？第三,如何用序参量刻画不同的同步或有序状态及其转变？第四,如果有不止一个序参量共存,这些序参量之间如何竞争？第五,对于实际系统,如何引入恰当的表征集体行为的序参量来刻画有序行为？如何从复杂系统的动态大数据中重构序参量动力学？本文将集中于上述的前三个基本问题,对大量振子组成的系统产生同步作为一种典型的涌现行为开展宏观和统计层面的研究,总结、回顾并对比几种不同的序参量理论框架[51].

2 Kuramoto自洽方程理论

首先来看Kuramoto如何通过引入序参量并利用求解自洽方程来解析处理同步问题.自洽方法的基础是通过假设系统存在一个不随时间改变的定态,在此状态下序参量为一个待定的定值,通过序参量的定义和系统定态的运动方程,得到待定的序参量的值,并在分析的过程中得到此序参量与相应定态的存在条件.自洽方法从其方法本身便限定了其适用范围,虽然只能用于对定态的分析,却可以不受具体动力学的限制,是振子系统分析中广泛使用的方法之一.

首先,假定振子数N足够多情况下,序参量(4)式与N无关且不随时间变化.考虑到Kuramoto模型(2)式相互作用的平均场形式,很容易可以将方程(2)重新写为

如果能定出R,则方程(5)完全可以求解,但这不是一件简单的事.一个可行的办法是带着未知R继续讨论,建立一个关于R的方程来将其求解.该方程即为自洽方程(self-consistent equation)[8,51].下面的讨论即是围绕这一主题展开.

显然R=0对应于无相互作用的情形(均匀分布解),这个非相干态总是系统的一个解,但不总是稳定.当 K ＞Kc时均匀分布解失稳.另外一个解是Ωi都相等时的解,此时振子之间可以保持固定的相位,R≠0,所有振子都以集体频率转动,此解在 K ≤Kc时不稳定.只要有 Ωi不相等,θi就总是均匀分布于0—2π 之间.

此方程正是过阻尼情形下的单摆方程.它有两个解.1)同步解.当方程(6)描述的第i个振子满足时,该振子的相位φ就会保持定值这意味着所有满足该条件的振子都会以频率运动,它们处于同步状态.2)非同步解.当方程(6)描述的振子 i满足时,则该振子的相位φ就会随时间变化,且凡是自然频率满足该条件的振子都处于非同步状态.

振子数N→∞时,φi在0—2π之间会形成分布.设分布函数为 P(φ,ω,t),它不仅依赖于 φ,还依赖于振子自然频率ω.平均场由分布函数可表为

单振子分布函数满足连续性方程:

考虑到振子具有自然频率分布,如果只考察φ的统计分布,则需要进一步对频率做积分P(φ,t)=这些振子相位的分布直接决定了相关的平均量,例如序参量,因而很重要的一点就是如何确定分布函数.根据上面讨论的两类定态解,可把分布P(φ)分解为同步与非同步两部分:

同步振子的相位φ趋于不动点,与时间无关,因此Ps(φ)可由自然频率分布得到:

非同步振子的相位φi则随时间变化,因为φi随时间变化是非均匀的,单位时间内探测到φ在φ→φ + dφ之间的概率反比于相速度 |把运动方程(6)式代入并归一化可得到

因此

将前面引入的平均场用分布写出来,并利用(9)式可得

当 K →Kc时,由于R2项为高阶小量,R→0,由此得到同步临界耦合强度为

将(19)式代回(18)式可以确定在临界点Kc附近R的行为:

3 序参量及其涌现的自组织原理

耦合振子同步微观动力学的研究表明,大量耦合振子随着耦合强度的增加会经历由部分同步到整体同步的过渡,相空间维数随同步进程而逐渐降低,整体同步时,系统在相空间的复杂运动会落到一个极低维的空间[42-44].降维意味着系统发生同步的时候,只需要少数变量即可刻画耦合振子系统的同步.该结果为多振子体系同步的宏观及序参量描述提供了事实基础.

统计物理学建立了从微观到宏观之间的联系,进一步通过统计定律来计算微观量的统计平均来得到宏观热力学量[27].热力学和统计物理学的思想和方法为处理耦合振子同步转变问题提供了思路.由大量相互作用振子组成的系统通常是非平衡系统,同步是大量振子整体动力学从无序向有序的非平衡相变.非平衡行为研究自20世纪中期发展起来的以耗散结构理论[52,53]、协同学[54,55]以及多学科分支形成的自组织理论等为描述众多的非平衡相变现象的共同本质提供了重要依据.

耗散结构理论认为,处于非平衡状态的系统会在一定范围内维持原有热力学状态,一直到远离平衡到一定临界值,热力学分支失稳使系统进入到有序的结构分支.非平衡相变现象在自然界各个领域有形形色色的表现,物理表现十分不同,而内含的数学实质是有明显的规律,由此形成了以反映扩散方程等为核心的刻画宏观自组织过程的耗散结构理论[53].

Haken的协同学则关注于由大量自由度构成的复杂系统在外参量的驱动下和在子系统之间的相互作用下如何以自组织的方式在宏观尺度上形成空间、时间或功能有序结构的条件、特点及其演化规律[54].协同学的基本原理是支配原理(slaving principle),它认为,协同系统的状态由一组状态参量来描述,这些状态参量弛豫时间尺度是不相同的,慢变的线性不稳定模称为慢变量(slow variable),而快变的线性稳定模称为快变量(fast variable).当系统接近于发生显著质变的临界点时,慢模数目会减少为只有一个或少数几个,这些慢变量可以完全确定系统的宏观行为并表征系统的有序化程度,故而称为序参量.而为数众多的快模则由慢模/序参量所支配,并可将其绝热消去,由此可以建立少自由度的协同学基本方程.在序参量方程基础上,我们就可来研究协同系统的各种非平衡定态/非定态、稳定性及其非平衡相变[55].

支配原理在数学上即绝热消去,即可以对快速变化的变量进行平均加以消去,只保留变化慢(绝热)的变量.该方法在物理上有着深刻含义.下面以如下的n维动力学系统为例来简单介绍一下支配原理:

其中x(t)=(x1(t),x2(t),···,xn(t))T为n维状态矢量,A为 n ×n 常数矩阵,B(x)包含x的二次以上代数式矢量.设x=0为方程的解.设矩阵A的本征值为 { λi,i=1,2,···,n},其中本征值按照其实部由大到小排列.如果所有本征值实部均为负,即 { Reλi＜ 0,i=1,2,···,n},那么x=0为稳定解.改变参数使A的m个模失稳,而其他模仍然保持稳定,即假设该模对应的本征值且通过引入一个T矩阵进行如下的线性变换

将A对角化

这里 λu,s分别为 m × m与(n — m)×(n — m)对角子矩阵.则(21)式可改写为

这里x(t)=(u(t),s(t))T,其中u(t)=(u1(t),u2(t),··,um(t))T,s(t)=(s1(t),s2(t),··,sn-m(t))T,s(t)为满足(24b)式的快变量,而 u(t)为满足(24a)式的慢变量.按照支配原理绝热消去,令(24b)式左边=0,由此n — 1个方程可将n - m维矢量s作为u的函数解出,并代入(24a)式可得到m维的非线性方程

一般实际问题中首先失稳的模往往很少,常常是一两个,从(24)式到(25)式,在理论上可以看作是从多变量方程到少数序参量方程的约化,在动力学上也产生了极大简化,这是支配原则在讨论相变点附近行为时给出的有益结果.

需要注意的是,变量的快慢不能理解为其他诸如振荡的快慢,而是弛豫的快慢,因此严格来说应该称为快/慢弛豫变量.慢变模式有时可能本身就是高频振荡,该模对于扰动响应的弛豫时间长短才是判断该模为快或慢的标准.

序参量有着几何上的意义,支配原理也密切联系着中心流形定理.中心流形定理是一种常用的几何降维方法,它利用流形与对应子空间相切的特性,求出系统在中心流形上的约化方程.对于高维动力系统来说,通过传统的分岔行为很难直接研究其动力系统.为了更好地抓住所要研究问题的本质,一般采取中心流形定理等降维措施将其化为低维方程再进行研究.

4 序参量动力学理论

下面将从耦合振子微观动力学方程出发,利用统计力学方法建立分布函数方程,并通过统计平均引入各阶序参量,建立相应的序参量方程,并进一步讨论对方程的降维.

4.1 广义序参量

从一般形式的全局耦合振子系统运动方程出发:

其中 j=1,2,··,N,ξj(t)为作用于第 j个振子上的随机噪声,设为振子间无关联的高斯白噪声,满为一组均匀控制参量,这些参量对所有振子均相同,如通常考虑振子间相互作用强度相同.γ ={γ1,γ2,···,γN} 为一组非均匀控制参量,它们对不同振子不一样.例如振子的自然频率通常各不相同,此时{γi=ωi}.

定义一组广义序参量α={αn},其分量为如下的n阶序参量:

当n=1时,α1即是Kuramoto引入的相干因子.n ＞ 1时 αn为高阶序参量[56].在热力学极限N→∞下,可以引入振子相位的密度分布函数ρ(γ,θ,t),ρ(γ,θ,t)dθ为一个振子在时刻 t相位处于θ→θ + dθ的概率或时刻t相位处于θ→θ + dθ内的振子数密度.它满足(12)式对应的Fokker-Planck方程:

其中速度场 v=F(α,θ,β,γ).在没有外加噪声(D=0)时,分布函数方程退化为如下的连续性方程

在一般情况下振子是非全同的,即分布函数ρ(γ,θ,t)与γ有关,系统总的分布函数需要对所有非均匀参量求和,例如,如果 { γi=ωi},则分布函数为

其中 g(ω)为自然频率分布.ρ(θ,t)包含了振子系统集体行为的所有信息.在同步问题宏观层面,我们最为关注序参量α={αn}.对于均匀系统即没有非均匀参量γ,利用分布函数,序参量可表为如下积分:

如果系统有非均匀性,则需要同时对非均匀参量γ求和.例如,如果非均匀参量是振子自然频率,则有

可以看到,n阶序参量αn实际上就是exp(inθ)的统计平均,或称为exp(iθ)的n阶矩.由于宏观量的各阶矩描述与分布函数描述等价,可由一方信息推知另外一方的信息.还可以看到,广义序参量实际上就是分布函数ρ(θ,t)的傅里叶变换系数.

4.2 Ott-Antonsen拟设

下面先考虑全同振子系统的序参量运动方程.利用序参量的定义(27)式,对其进行时间求导,并利用振子运动方程(26)式可以得到

由于函数 F(α,θ,β)是循环变量相位 θ 的 2π 周期函数,因此可做傅里叶展开:

将展开式代入运动方程(33)中可得序参量运动方程为

考虑最简单的耦合形式,即(34)式的傅里叶分解中只需包含最低阶项:

则序参量运动方程(35)简化为

广义序参量可看成是相位振子的集体坐标变量,这意味着相位运动方程(26)通过上述变换可以化为运动方程(35)和(37),它们都是一组耦合的序参量方程,处理该序参量方程组的难度等价于相位运动方程(26),对其的简化需要新的条件.

方程(37)显然存在一个平庸的非相干解αn≡ 0,对应于耦合振子的非同步态.随着耦合强度的增加,耦合振子会产生同步,整体运动在相空间也会塌缩到一个低维空间中.在广义序参量空间来看,系统也必然会在低维空间运动.根据协同学原理,这些广义序参量中可能只有少数为慢变量,其余为快变量,其中慢变的广义序参量会成为系统状态的真正序参量.由于快变量的变化都依赖于慢变量,因此在发生同步转变的区域附近,各阶序参量之间应存在一定的关系,它们均依赖于慢变的序参量.一种最简单的可能情形是所有的各阶序参量αn都依赖于α1,不妨设为αn=G(α1,n).将其代入运动方程(37)中并比较每一阶函数的傅里叶展开系数可以得到[56]

则(37)式的多个运动方程可简并为单一方程,

(38)式正是Ott-Antonsen(OA)拟设(ansatz)[47,48].

4.3 Poisson和不变子流形

OA拟设有什么物理意义呢？下面通过讨论分布函数来进行分析.

由于分布函数是2π循环变量相位的函数,可将其进行傅里叶展开,而展开系数即为广义序参量αn:

一般来说,知道了各阶傅里叶系数即广义序参量αn,就可以利用上述求和来得到分布函数,通常这需要无穷阶的傅里叶系数.

OA拟设认为相位分布函数ρ的傅里叶展开系数即广义序参量αn相互之间并不独立,且满足幂函数关系:

将其代入(40)式可以得到

(42)式右边的求和为幂级数,可以得到振子分布为泊松和形式

其中r为序参量α1(t)的幅度,Θ为集体相位.因而分布ρ(θ,t)完全由α1(t)决定.

由于具有关系(38)式的解满足简并的运动方程(39),则在动力学演化过程中形式(38)一直得到满足.振子的分布虽然随着系统的演化而改变,但将始终具有泊松和分布的形式.如果系统的初始相密度分布满足泊松分布,那么不管在任何时刻系统的相密度分布将始终保持着这一性质.序参量关系式(38)式及简并运动方程(39)被称为动力系统的Poisson和不变子流形.这个不变子流形一个很重要的特点是虽然α1(t)可以不含时,也可以含时,但分布形式随时间演化保持不变.这一结果将Kuramoto自洽理论仅仅讨论定态的结果拓展至一般情形.

4.4 非全同振子系统的OA拟设

对于振子非全同的情形,若振子自然频率各不相同,即{γi=ωi},设它们满足分布 g(ω).那么当N → ∞时,引入密度分布函数 ρ(ω,θ,t),广义序参量相应写为(32)式,其中 αn(ω,t)为 ρ(ω,θ,t)的n阶傅里叶展开式,也可以理解为自然频率在ω → ω + dω之间的局域序参量.利用连续性方程可以得到如下递归方程:

同样如果耦合函数只包含一阶傅里叶系数,则可以引入如下局域序参量的Ott-Antonsen拟设:

是方程(44)的一组特解.一阶序参量为

当分布函数g(ω)的形式为ω的有理分式时,可将ω从实轴延拓到复ω平面中去,在不引起发散的情形下(|α1(t)| ≤ 1)直接得到α1(t)的演化方程.

5 微观动力学对称性与Watanabe-Strogatz变换

耦合相振子系统在振子数 N ≫1 时的微观动力学研究会变得很困难.OA方法给出了一种有效的将高维耦合振子动力学降维的方案,但高维系统降维到二维的序参量空间来研究是有前提和成立条件的.

OA方法之所以成功,其关键在于Kuramoto系统本身的微观动力学具有部分可积性.这要从1994年Watanabe和Strogatz的工作谈起.他们研究了全局耦合约瑟夫森结方程(与Kuramoto模型系统同类).研究发现,N维方程中的每一条轨迹只能局限在一个三维子空间中,这意味着原始的高维微观态可以通过一定方法降维至低维的宏观态[46],这就需要他们提出的后来被称为Watanabe-Strogatz(WS)变换的方法来实现.WS变换的提出在一定程度上为人们寻求高维动力系统的低维解提供了方向,但早期没有引起人们足够重视,且数学与物理意义均不明确.2009年,受Ott与Antonsen工作的启发,Marvel等[49,50]成功将这类问题的解推广到一般形式,给出了WS变换的数学意义,并清晰地给出OA拟设的数学依据.

5.1 WS变换

WS变换实际上来自于复数Möbius变换[57].定义复分数的Möbius变换 F :C→C 为

Möbius变换有很多很好的性质,其中之一就是存在且保持从直线到直线、从圆到圆的映射.由所有满足上述条件的变换函数可以构成一个群,称为Möbius变换群,

考虑一个子群,该子群包含了那些将单位开圆盘上的复数一对一地映射到自身的所有分数线性变换.

将耦合函数(36)式对应的动力学方程重新写为如下形式:

其中 j=1,2,··,N,f=f1(α)为光滑复函数,是其复共轭,g=f0(α)为实函数,它们均不依赖于指标 j.方程(49)定义了一个 N 维动力系统.Marvel和Strogatz[49]指出,方程(49)的解满足如下 Möbius群在复空间内单位圆上的含时Möbius变换Mt:

其中含时Möbius变换表达为

这里{φj,j=1,2,··,N}是系统的一组运动常数,ψ(t)是实参量函数,α(t)是复函数,| α(t)|≤ 1,ā(t)是α(t)的复共轭.(50)式和(51)式的变换就被称为WS变换.对任意时刻t都对应一个变换Mt,这些变换构成的集合满足群的性质,全体变换的集合{Mt}构成一个代数系统即Möbius变换群.系统(49)式的演化完全被变换(50)式和(51)式所支配.

5.2 三维动力学

方程(49)满足变换(50)式和(51)式,说明了系统任一时刻的状态{θj(t)}可由一组运动不变量{φj}在 WS 变换{α(t),ψ(t)}的作用下完全确定.而运动常数或不变积分{φj}的存在则反映了WS变换下系统的可积性.Möbius群本质上是一个三参量(ψ(t),Reα(t),Imα(t))的李群,相轨迹{θj(t)}被{ψ(t),α(t)}以及{φj}唯一地确定.

下面从代数方程出发去推导ψ(t),α(t)的运动方程.根据方程(50)有

则对时间的导数为

其中

与(49)式对比可得

因此通过WS变换,可以将原始的N维相振子方程约化为三维的闭合方程,而振子数目N可以是有限的,也可以是无限大.

5.3 从WS变换到OA拟设

WS变换是一个从N维相空间向三维相空间的严格动力学变换.不同于统计方法例如基于序参量的OA拟设,WS方法并不依赖于任何近似条件或者特定状态,而是将整个系统的动力学完整而严格地投影到低维系统中[56].当振子数N → ∞时,OA拟设下单一复序参量α1满足的方程为(39)式,这是一个二维的闭合实方程.可以看到,WS变换下的三维方程(56)式中第一式即复序参量方程(39),因此一个自然的问题是,这两者之间是否存在某种联系？在什么情况下WS变换可以退化到OA拟设？下面来分析一下WS变换和OA拟设这两种降维方案之间的区别和联系.

对于N振子系统(49)式,通过WS变换可以将序参量α1(t)重新表示为

从一组不变量{φj}出发,若初始状态已知,则系统的动力学情况可以由三维方程(56)描述.取特定均匀分布{φj=2π(j — 1)/N},则序参量(57)式可简化为

方程中

其中“—”对应于N为偶数的情况,“+”对应于N为奇数的情况.当 N ≫1,I ≪1,序参量就可以取近似 α1(t)≈ α(t).因而,当运动常数{φj}取均匀测度时,α1(t)与α(t)的方程完全一致,方程(56)中α(t)和ψ(t)的演化解耦,WS变换的三维方程流形退化到二维OA流形(39)式.

需要指出的是,当运动常数{φj}不取均匀测度时,α(t)和ψ(t)的时间演化就会相互耦合而无法简单解耦,α(t)的动力学行为将会受到ψ(t)的影响,此时系统的动力学在三维空间中进行,α(t)和ψ(t)的运动会变得非常复杂[50,58].采用直角坐标,设α=x+iy,f=Ref+iImf,则三维方程(40)化为

图2给出了方程(60)的运动轨道在α平面的Poincare截面落点分布.可以很清楚看到在|α|比较小的区域均为环面,α的演化为定态或周期振荡.但在|α|较大的范围,运动轨道是不规则、混沌的[58].在环面区域,类似于哈密顿系统,环面对应于低维的运动,OA拟设可以成立.在混沌区域,α(t)和ψ(t)的演化相互耦合,OA拟设不适用.

图2 序参量α相空间的Poincare截面落点分布,可以看到闭合环面和混沌散点Fig.2.The Poincare section of the order parameter α in phase space,where one can find the closed tori and chaotic scattered points.

6 序参量理论在几个同步问题研究中的应用

6.1 经典Kuramoto模型的同步相变

对于经典Kuramoto模型,即平均场耦合振子系统,Kuramoto已成功地通过自洽方程理论得到了临界点及其临界行为.下面利用OA拟设来研究该同步转变问题.由于自然频率非均匀,因此需用非均匀参数情况下的拟设.利用序参量

定义式可知,耦合函数中的分量分别为

即Kuramoto模型耦合函数只包含到一阶傅里叶分量.由(39)式可以得到

如果 g(ω)为 Lorentz 分布

由(63)式有

(64)式的积分可以将ω延拓到复平面的上半平面进行,利用留数定理可以得到 z(t)=α1(ω=i,t),将其代入到(63)式和(64)式中有

此即序参量满足的动力学方程.这个复方程可以写成振幅和幅角两个实方程.可以看到,该动力系统存在临界点Kc=2,当K ≤ Kc时,系统有唯一不动点 z ≡ 0,此即非相干态;当 K ≥ Kc时,z ≡ 0解失稳,系统分岔到新解

该解即同步解.对比Kuramoto自洽方程得到的结果可见,二者完全一致.

6.2 奇异态研究

奇异态(chimera state)是近年来发现的一类对称性破缺导致的时空斑图涌现行为,它描述了结构全同的单元(如相振子,其振子的自然频率以及耦合方式都相同)在非局域耦合下会产生相干(coherence)和非相干(incoherence)共存的态[59,60].这种对称性自发破缺的现象在很多生物系统中可以看到,例如海豚与其他海洋哺乳动物、迁徙的候鸟等都具有一类有趣的半脑睡眠现象[61],即它们可以在左(右)脑休息的时候让右(左)脑保持清醒的状态.人们在Kuramoto模型以及其他很多振子系统特别是神经系统中均发现了奇异态[62-67],并在光学混沌实验[68]和化学Belousov-Zhabotinsky(BZ)反应实验[69]实现.

结合相振子系统,我们考虑如下的空间一维Ginzburg-Landau方程

这里φ(x,t)为t时刻位于空间x处振子的相位,ω为振子自然频率,设为空间均匀且ω=0.积分代 表 空间不 同 位置振 子 间的耦 合,Δ x=x-x′,Δφ=φ(x,t)-φ(x′,t).α为振子间的相移(阻挫),设 0 ＜ α ＜ π/2.非负耦合核函数 G(x)≥ 0 反映空间不同位置振子之间的非局域相互作用,通常设为归一化且随|x|增加而衰减的偶函数:

下面用OA拟设方法来研究系统(67)式的奇异态动力学[62,70,71].设振子分布函数为f(x,φ,t),它满足连续性方程

其中相速度为

复序参量 Z(x,t)可表示为

利用序参量表达式(70)式,(69)式的相速度v(x,t)可表示为

考虑到相位φ的2π周期性,可将分布函数表为相位φ的傅里叶级数形式:

利用OA拟设[47],系数hn相互之间不独立,它们满足幂律关系:

将(74)式代入连续性方程(68)式,并比较两边exp(iφ)的不同阶系数可得

利用(74)式也可将序参量重新表达为

利用(75)式和(76)式可得到序参量的演化动力学行为.位于x处振子的相位长时分布函数为

此处arg代表复函数h的幅角.上述分布函数为与(43)式形式相同的Poisson核函数,其中心位于argh处,|h|刻画分布的非均匀性.当|h|=0时,f(φ)为均匀分布;当0 ＜ |h| ＜ 1 时,f(φ)为单峰分布;当|h|=1时,由于分布(78)式分子分母均趋于零,可求极限得 f(φ)简并为 δ函数 f(φ)=δ(φ — argh),它代表所有振子的锁相.

系数h(x,t)也可以看作是在空间x处exp(iφ)的统计平均,即

与(70)式定义的序参量Z(x,t)相比较,h(x,t)没有对空间的积分,即没有考虑非局域效应.因此h(x,t)量度的是空间x处附近的同步相干性,是一种局域序参量.若对某一x处有|h(x,t)|=1,则在(x- ε,x+ ε)(ε≪ 1)范围内的振子会处于锁相(相干态),而当|h(x,t)| ＜ 1 时,则在(x- ε,x+ ε)范围内的振子处于非相干态,以此可以给出两种态共存的奇异态.

在定态情况下,进一步利用(76)式可以得到序参量R(x)的自洽方程,进一步可以确定其空间分布.当然,也可用Kuramoto自洽方程理论来进行讨论,可以得到与上述OA方法在定态时一致的结果.进一步的计算需要借助于数值方法,详细讨论可见我们的专著[51]与综述文章[59,60].

6.3 高阶序参量及其动力学

很长时间以来,人们聚焦于Kuramoto模型中的简单耦合函数情形开展研究.在多数情况下,振子间相互作用并不是简单的一阶正弦耦合函数.对于一般的耦合函数,在第4节中已经看到,不同阶序参量之间是复杂的相互依赖关系.Daido[72]早在20世纪90年代初就通过对一般耦合函数的Fourier展开提出了广义序参量,但没有进一步讨论不同序参量之间的关系,而是使用传统的Kuramoto自洽方程方法进一步讨论.Pikovsky和Rosenblum[73]讨论了如下具有相同自然频率耦合振子的Kuramoto-Daido模型:

并引入了高阶序参量{αn}.Pikovsky在该工作中早于Ott等[47]提出了序参量之间的依赖关系(拟设条件),即高阶序参量{αn,|n| ≥ 2}均依赖于α±1.把(79)式中的耦合函数写为Fourier级数形式,则动力学方程可写为

其中{αn}为(27)式定义的广义序参量.考虑只有其中第l阶Fourier分量耦合的情形,则动力学方程可写为

其中H(t)依赖于序参量αl.

下面讨论利用WS变换来进行理论分析[74].动力学方程(81)可以重新写为

注意到Möbius变换不唯一,而其逆变换唯一,则利用Möbius逆变换

(83)式可变换为{φk},α及其时间导数

可以看到{φk}的方程右边不依赖于k,说明变换后的相角{φk}均以相同角速度运动,因此可引入新变量为一组运动常数.显然说明Möbius变换映射可写为

与一阶耦合函数相比,这里形式上只是多出了l因子.

很多具体问题可以应用上述结果加以讨论.例如近年来得到关注的三体相互作用平均场振子系统[75,76]

该系统对应于方程(81)中l=2,H(t)=α12的情形,因而可利用序参量方程(84)进行讨论.

再例如具有阻挫的二阶简谐耦合振子系统[58]

7 结 论

综上所述,大自由度复杂系统的同步是一类典型、基本的涌现行为.这种涌现行为的出现是大量个体或自由度共同参与、通过相互作用自组织形成的整体有序.有序意味着复杂系统低维宏观行为的出现,它往往是以序参量的出现作为标志的,可借助于统计物理学思想和方法来加以研究.就序参量的涌现机制来看,协同学的理论与方法揭示了大量自由度的复杂系统如何通过内部自组织与竞争产生出有序,其中非常重要的理论任务就是对复杂系统通过集体变量的分析来甄别快慢变量,并利用支配原理来进行降维,得到序参量的动力学.降维方法的精髓在于尺度的可分离性,特别是时间尺度的快慢可区分性,这种特性可以其他形式体现出来,如拓扑流形中中心流形的出现、变量中守恒律的存在等等.

在复杂系统同步的序参量动力学理论方面,除了Kuramoto的建立和求解序参量满足的自洽方程方法以外,Ott和Antonsen提出的拟设是近年来应用较为广泛的方案,该方案首先引入集体坐标即各阶广义序参量,然后通过各阶量之间的非独立性来达到降维的目标.这里面就隐含了绝热消去快变量的思想.需要指出的是,OA拟设在很多情况下是一种推测,且在很多情况下不只是一阶序参量是慢变量,另外的高阶序参量也可能是慢变量,这需要从原始的各阶序参量方程出发,利用协同学基本原理来进行分析.

下面讨论一下对于实际系统同步作为整体动力学的研究分析.利用序参量动力学对同步的研究既可以是理论建立模型的研究,也可以是对实际问题利用的降维方法进行研究.相比于基于模型的理论研究,对于实际复杂系统有序行为的序参量动力学重构和研究显然有着更为重大的意义和价值.对于很多实际中的复杂动态系统,在宏观层面构建其序参量动力学是可能的,但也富于挑战性.序参量动力学对实际问题的研究是通过采集微观数据,然后在此基础上进行宏观动力学重构,因而是一个跨尺度动力学重构问题,迄今为止这仍然是一个开放的领域,与复杂网络重构研究具有同样重大的价值,是对复杂系统动力学方面的重要探索范式,值得大力开展研究.就本文讨论的相位动力学及其同步而言,其目前在应用方面的主战场之一是神经与脑科学[84].我们不妨以此为例进行说明.神经元的主体微观动力学是电信号的积累发放,目前实验方面已经可以采集大量实时数据并进行分析整合.对于脑电波及其各种动力学协同行为的研究,可以先抽取不同部位采样的脉冲时间序列,再定义对应的相位,就可以建立相位的时间序列信息,据此计算不同序参量,通过分析序参量的低维行为进行讨论.就目前的研究来看,很重要的一个课题是序参量动力学模型的重构,这一问题至今无论在神经科学还是其他领域都还没有很大的突破,但已有一些具有启发性的研究思路.例如,Zhang等[85]和Chen等[86]近几年提出了主超前相位方法、动力学权重因子方法以及网络动力学重构方法,以此可以分析复杂系统的动力学并结合序参量层次的动力学描述,完全有可能提供一个可行的图景.这些工作还需要大力推进.