我们在Kuramoto动力学和摆动方程动力学下研究了相位振荡器网络锁相状态的多稳态——这是研究交流电网粗尺度动力学的一个流行模型。我们首先建立了这种系统中几何受抑状态的存在,其中尽管存在稳态流动模式,但由于几何约束,相位的动态变量中不存在不动点。然后,我们描述了系统的稳定不动点,每个边缘的相位差不超过就循环流量而言,沿每个简单循环的恒定流量与相位角或流量相对。循环流形式允许我们计算环形网络中不动点数量的严格上下界。我们表明,长的基本周期、强的边缘权重和自然频率的空间均匀分布(对于Kuramoto模型)或功率注入(对于电网振荡器模型)导致此类网络具有更多的固定点。我们将其中一些边界推广到任意平面拓扑,并在大容量和大循环长度的极限下导出缩放关系,通过数值计算,我们表明这是相当准确的。最后,我们提出了一种计算平面网络所有锁相状态(稳定和不稳定)的算法。
物理、生物或工程中许多网络系统的功能依赖于其组成部分的协调或同步动力学。例如,在电网中,所有发电机必须在同一频率它们的相位需要锁定,以确保稳定的功率流。在这里,我们分析了这种锁相行为的存在和多种状态。我们将重点放在边缘流和循环流上,而不是节点相上,得出了关于此类状态的存在性和数量的严格结果。通常,多个锁相状态共存于网络中,其边缘能够承载高流量、长基本周期以及自然频率或功率注入的均匀空间分布。利用图论中的概念,我们导出了平面嵌入式网络中此类状态数的标度关系。我们还提供了一种算法来系统地计算所有锁相状态,包括稳定和不稳定状态。
耦合振子模型在科学和技术中普遍存在,描述微观到宏观尺度上各种系统的集体动力学。对耦合振荡器的研究可以追溯到克里斯蒂安·惠更斯(Christian Huygens),他注意到两个时钟在耦合时是同步的。1Kuramoto介绍了一个最重要的数学模型2,3并成功应用于描述耦合约瑟夫森结的集体动力学,4神经元网络,5化学振荡器,6以及各种其他同步现象。7–10
那个模型三描述了N个耦合极限环振荡器。相位的运动方程由提供
假设耦合矩阵是对称的,、和ωj个是振荡器的固有频率。在本文中,我们考虑的系统也就是说,这些单位相互吸引而不排斥。
二阶振子的类似模型描述了动物群的集体现象11,12或人群13以及电网的粗尺度动力学。14–20
例如,对于电网j个描述同步电机、发电机或电动机,其状态完全由相位描述θj个和相速度相对于网格的参考频率,通常旋转50 Hz或60 赫兹。机器的加速度(减速度)与机械功率之和成正比P(P)j个机器产生(消耗)的能量,包括阻尼和与电网交换的电力。详细的运动方程如下所示
哪里M(M)j个是惯性项天j个阻尼常数。耦合常数由电压决定单位假定为常数的网格和导纳输电线路连接节点j个和节点.节点的电力实功率流到节点j个是
将系统的交互拓扑描述为加权图是有用的G公司(V(V),E类),其顶点集V(V)与振荡器集和边集相同E类由所有振荡器间耦合对的集合给出,即具有.我们使用术语网络21(而不是术语图)用于具有给定固有频率的整个系统ωj个或权力P(P)j个.
在这里,我们区分了振荡器网络中的两种同步类型。传统上,部分同步的出现引起了物理学界的极大兴趣。2,3,7,8在他的开创性工作中,Kuramoto研究了一组全局耦合的振荡器,,以及从单峰对称分布中随机绘制的固有频率.如果耦合常数K(K)超过临界值K(K)c(c),一小部分振荡器开始同步,因为它们以相同的角速度旋转,尽管它们的固有频率不同。在这种状态下部分频率锁定在Kuramoto振荡器文献中通常被称为“部分同步”8部分振荡器的相位是有序的,但它们不是严格锁相的,因此两个同步振荡器的相位差通常很小,但不是恒定的。
在本文中,我们分析了全局锁相状态,其中所有振荡器同步,相位差对所有对来说都是常数这些状态对电网尤其重要,因为它们描述了电网的常规同步运行。14–18如果这种状态因局部停电或事故而丧失,电网将分裂成异步岛,无法再交换电能。22例如,2006年11月4日,德国北部一条输电线停运后,欧洲电网分裂为三个异步区域。因此,西南欧的供应不足,约为10 GW和大约1000万户家庭断电。23
在不失一般性的情况下,我们认为或分别通过调用到共同旋转参照系的转换。全局锁相状态是固定点系统的。对于Kuramoto模型和电网模型,这些状态由超越方程的解给出
更换P(P)j个通过ωj个用于Kuramoto模型。在下文中,我们分析了耦合矩阵给出的网络拓扑的影响关于不动点的存在性。以下所有结果适用于两种模型;然而,我们的直觉很大程度上依赖于对作为受电网模型启发的流程。结果可以推广到任意耦合函数(f)而不是正弦(参见,例如,参考。24和25). 在下文中,为了清晰起见,我们主要将自己限制在通用正弦耦合。
我们注意到二阶电网模型(2)显然描述了与一阶Kuramoto模型不同的系统(1)然而,这两者之间有着深层次的联系。在电网背景下,在过阻尼极限下,恢复了一阶Kuramoto模型。参考文献详细讨论了耦合约瑟夫森结背景下一阶和二阶模型的关系。26和27参考文献中审查了一阶和二阶模型中的部分同步。28.
Kuramoto系统和电网振荡器模型共享同一组固定点(4)已经表明,这两个系统之间的相似性更深,即这些不动点的线性稳定性性质是相同的。29,30在本节中,我们简要回顾了关于不动点稳定性的一些基本结果。
我们分析了某个不动点的动态稳定性通过定义势函数
不动点对应于该势的局部极值,其中.固定点如果Hesse矩阵是渐近稳定的H(H)势函数的
只有正特征值。值得注意的是H(H)有一个特征向量具有特征值因为任何固定点在加法常数之前是任意的c(c)。由于这样的全局相移不会影响相位的锁定,我们可以在下文中放弃它,集中讨论横向到解空间的稳定性.
引理1.让H的特征值排序为 和 。如果对于给定的网络拓扑和给定的不动点,
则该不动点对于Kuramoto系统和电网模型系统都是横向渐近稳定的。如果其中一个则动力系统是线性不稳定的(该引理及其证明已在参考文献。29 ).
利用分岔理论的一些结果,参考文献。29当一个特征值变为零时,一个稳定的不动点只能通过逆鞍节点分岔丢失,此时,线性稳定性分析不足以预测不动点的稳定性,但预计该不动点是不稳定的。31
当网络中所有边缘的相位差足够小时,可以获得对固定点丢失的更多见解:
推论1。考虑一个连接的网络。它对于一个固定点来说是足够的(但不是必要的) 横向渐近稳定;如果条件
保持网络中的所有边(i,j),则称网络处于“正常操作”状态
定义1 (图元).给定一个图G(V,E)和一组流F紫外线穿过每条边e(u,v),其元图 是具有顶点集V和边集的无向图 定义如下。对于所有边缘 ,带重量 ,边缘 带重量 ,根据(7).
然后,矩阵H(H)定义见(6)被视为元图的拉普拉斯矩阵具有正边权的连通无向图的拉普拉斯算子的特征值总是非负的21这样我们就得到了结果。◻
我们注意到,稳定性的充分条件已在参考文献。32使用Gershgorin圆定理。
在正常操作期间,Hesse矩阵的特征值H(H),定义见(6),仅当断开连接到两个(或更多)组件。只有当对于连接两个特定部分的所有传输线(表示为G公司1和G公司2)这意味着这些线路已完全饱和
失稳的另一种情况是一条或多条输电线脱离正常运行。然后,边权重实际上变为负值,这样就不可能再对分岔进行简单的图形理论解释。29,58
划分定义方程是有益的(4)把一个固定点分成两部分。首先,每个不动点必须满足一个动态条件,即网络中每个节点处的流量守恒
在这里,是从相邻节点到节点的所有流的总和j个,同时P(P)j个是源项或汇项。这种情况的第二部分反映了这样一个事实,即每条链路的传输容量是有限制的,因此流量的大小不能超过容量.动态条件(11)适用于所有流量网络,也包括直流网络(即基尔霍夫规则)和生物网络模型。33,34
为了更好地理解可能的解决方案,我们稍微改写了动态条件(11)特别是,我们将所有我网络中的边。当流被引导时,我们必须跟踪由边连接的顶点的顺序e(电子)也就是说,每个e(电子)对应于定向链接如下所示。排序是任意的,但必须保持固定。然后,我们写和对于链路上的流量e(电子) 此外,我们定义了未加权边缘关联矩阵(参考。21)通过
和加权边缘关联矩阵使用组件.
就正弦因子而言。在这里,和向量在.矩阵有N个行,但其排名仅为。这是因为所有行的总和为零因为每条边都有一个头部和一个尾部。因此,方程的线性集的解。(14a)跨越的仿射子空间其尺寸为这一陈述稍后将在引理2中得到严格证明。在许多重要应用中,我远大于节点数N个,这样我们就有了一个高维子流形属于每个作为解决方案(14)因此是一个不动点的候选者(1)和(2)然而,如果容量为太小了。事实上,条件(14b)在中定义了一个有界凸多面体.完整动力学条件的求解(14)由这个多面体和维仿射子空间。
我们可以通过建立系统(14a)的齐次解就是循环流量不影响流量守恒。由于网络中的基本周期数为,解空间的维数也由下式给出这些结果的推导如下。
定义2 (简单循环).给定一个无向图G(V,E),一条闭路 其中除了v没有顶点1发生两次称为简单循环(参考。36,第21页).
定义3 (循环基础).给定一个具有L条边和N个顶点的连通图G(V,E) 在二元场上形成向量空间 ,集合对称差是加法运算符。这个向量空间有维数 .A基础BC类这个向量空间的 循环基准 图G的.
定义4 (循环的符号特征向量).对无向图G的每条边任意指定一个方向,从而得到有向图,称为方向 .36 给定一个具有L条边和N个顶点的图G以及一个这样的方向,该集存在一个内射映射 G到的所有简单循环 如下:
现在,我们证明了系统的任何不动点都可以由循环流量沿着属于基础图的循环基的每个循环,以及(13).
定义5 (循环流量).给定一个简单的循环 属于无向图G(V,E)的流 称为循环流,如果
引理2.让 是满足正常操作准则的网络G的所有不动点集(9)然后,存在一个一对一的函数 将每个固定点映射到循环流矢量.
证明.让是一个(任意选择的)固定点。让成为另一个。然后,我们构造映射(f)c(c)通过证明这两个不动点的流量差仅为循环流量沿着每个循环。
让和是固定点的流量和分别是。然后,
由于图论的结果,有向图的流空间由其循环(参考文献。37第311页)。因为根据定义BC类构成循环空间的基础,系数(f)c(c)保证是独一无二的。证明到此结束。◻
我们注意到,固定点和循环流之间的这种映射以前在参考文献中以略微不同的方式呈现。18(补充材料)和38.
除了动态条件外,存在不动点还有一个几何条件:如果流动,则存在一个不动点满足动态条件(14) 如果
我们现在以一种更有启发性的方式重新表述这一条件。为此,我们假设已经获得了动态条件的解(14)然后,我们可以尝试连续分配阶段θj个到每个节点j个在网络中。从节点开始j个0具有任意相位,我们分配所有相邻节点的相位j个1这样的话然后,我们以这种方式通过整个网络来分配任意节点的相位j个n个,
哪里是任意的路径从j个0到j个n个我们使用了方程的解
通常,给定的节点j个n个可以从以下位置联系j个0通过多种不同的途径。定义满足几何条件的唯一相位集(17),我们必须确保。(18)无论从哪条路径出发,都会产生唯一的相位j个0到j个n个这相当于每个简单循环(定义2中定义)在网络中的总和必须是.
哪里是等式的解。(19)此外,如果(20)由定义3中定义的网络循环基中的循环满足:然后,它将自动满足网络的所有简单循环,因为简单循环形成向量空间。
等式的。(19)满足要求的。为了同时考虑这两者,我们定义了边集的划分
我们注意到所有边都实现了加号的不动点()根据推论1保证是线性稳定的。我们称之为正常运行.
为了操作几何条件,我们现在定义绕组编号(27)遵循Ochab和Gora使用的术语38和威利等。39
定义6 (绕组矢量).考虑具有流的连接网络 .对于每个基本循环c,关于分区的绕组数 定义为
利用缠绕数,我们可以重新定义不动点存在的条件,并根据边流的节点相位建立不动点描述之间的对应关系。
定理7.考虑具有功率注入的连接网络 和耦合矩阵 那么,以下两个语句是等价的:
是一个不动点,即等式。(4).
满足动态条件(13)和 对于某些分区 .
(1)(2) :如果是一个固定点,那么流满足动力学条件(13)由提供(3)是
将这个恒等式与Δ的定义结合起来e(电子)在里面(28)以及我们选择的集合分区(31)中的个结果
组合(33)和(34),我们获得(选择 + 签署不失通用性)。
那么,对于任何简单的循环按周期计算BC类,绕组编号为
(2)(1) :给定一组满足动态条件的流(13)并且具有整数绕组数,固定点可以按照等式构造。(17)和(18).
我们现在考虑只有三个节点和三个强度相等的链路的循环网络的最简单的非平凡拓扑K(K)。不动点存在的动力学条件为
和特别是,对于P(P)j个=0,任何解决方案都是循环流.
考虑到根据(21)因为为了满足几何条件(20),整个周期的相位差之和必须相等对于某个整数,我们看到所有不动点都必须满足
取两者的所有组合或和相应的可能值米,我们看到有三个交点对应于三个不动点。这些固定点如图所示。1这表明稳态通常不是唯一的,即使对于最简单的循环网络也是如此。在目前的情况下,只有一个解是动态稳定的,但在较大的循环中通常不是这样的,我们将在下面展示。
图1。
具有3个节点的最简单循环网络中几何挫折和多稳定性的图解P(P)j个=0和三个强度相等的连杆K(K)。子图显示了(38)通过选择获得 + 或−表示、和.黑线表示动力学条件的解空间(37),.(a)分行具有米=0.(b)分行具有米=1.分支机构和屈服解以类似的方式。(c) 分支机构具有米=1(上部)和米=2(下部)。分支机构、和不要产生溶液。
图1。
具有3个节点的最简单循环网络中几何挫折和多稳定性的图解P(P)j个=0和三个强度相等的连杆K(K)。子图显示了(38)通过选择获得 + 或−表示、和.黑线表示动力学条件的解空间(37),.(a)分行具有米=0.(b)分行具有米=1.分支机构和屈服解以类似的方式。(c) 分支机构具有米=1(上部)和米=2(下部)。分支机构、和不要产生溶液。
关闭模态
现在,我们将上述示例扩展到具有任意数量相同功率节点的单个循环所有链接都具有同等强度K(K)同上。为了方便记法,我们将节点标记为沿循环并用标识节点1N个 + 1和0N个为了有一个非平凡的闭合循环,我们需要。不动点的动态条件由下式给出
我们强调,动态条件具有连续的解决方案,即F类间隔中的值是允许的。
沿边缘的相位差由等式给出。(21),留下两个可能的解决方案和。为至少一条边选择减号产量在这种情况下,可以证明黑塞矩阵H(H)不是正半定的,所以不动点一定是不稳定的。将我们自己限制在动态稳定状态,我们发现相位差都是相等的,并且由
只能得到肯定的满足离散的的值F类因此,几何条件导致了参考文献中先前报告的相位差的“量化”。37和39
哪里表示楼层功能。我们注意到具有雅可比特征值为所有人在这种情况下,线性稳定性分析无法确定动态稳定性特性(参见Khazin und Shnol的研究31详细信息)。对于两个耦合振子,很容易看出不动点是非线性不稳定的。总之,我们发现不同的稳定定态。
这个例子很简单,但说明了三个重要的一般结果。首先,可以有倍数循环网络中的稳定不动点,如参考文献。38和41–43这一事实已在电力工程参考文献中进行了讨论。44,但关于多重稳定性存在条件和不动点数量的严格结果很少见,可能是因为该领域的大多数作者都集中于Kron约化后出现的全连通网络。17,41第二,振荡器模型(2)允许在一个周期内有持续电流的稳定固定点。有趣的是,这些状态是锁相的,但未排序相位在这个意义上,相序参数7
完全消失K(K) > 第三,几何条件导致离散性尽管动态条件允许循环流量的连续值,但相位差的变化。
在这里,我们介绍了一个特别的例子,它最清楚地说明了几何挫折的悖论效应。我们考虑图中所示的振荡器网络。2(a)包括N个=4个节点放置在循环网络上,其中节点1和3具有功率注入−P(P)节点2和4具有功率注入P(P)特别是,我们分析了如果上边缘(1,2)的容量从K(K)到.
图2。
几何挫折引发了布雷斯悖论。(a) 正在考虑的网络拓扑。(b) 平均相速度定义于(49)对于不同的值K(K)和κ.对于固定点,白线表示临界耦合K(K)c(c).当本地传输容量κ增加.
图2。
几何挫折引发了布雷斯悖论。(a) 正在考虑的网络拓扑。(b) 平均相速度定义于(49)对于不同的值K(K)和κ.对于固定点,白线表示临界耦合K(K)c(c).当本地传输容量κ增加.
关闭模态
和,标识节点j个=5个,带j个=1.为了便于记法,我们定义了向量
方程线性系统的解。(45)跨越实数参数化的一维仿射空间ϵ,
矢量是线性系统的非齐次解(45),和向量是与循环流相对应的齐次解。评估条件给出了不动点存在的必要条件
对于κ=0,这个条件也足以证明稳定不动点的存在。如果上链路的容量增加,,几何挫折抑制相位锁定。动力学条件的解总是存在于,但这可能与几何条件不兼容。我们在图中的稳定性图中对此进行了说明。2(b)。稳定不动点仅存在于白线上方的参数区域中。如图所示。2(b),最小值K(K)需要保持稳定运行临界联轴器Kc(c),当κ增加。
为了进一步表征振荡器网络的长期行为,我们定义了作为大时间极限内所有节点的平均相速度
因此,必须为零,才能实现稳定运行。正如预期,我们发现在白线上方的稳定参数区域和在白线以下的不稳定参数区域非常了不起,是较小值的最大值κ当然,.
这导致了一个矛盾的结果,即本地传输容量的增加会降低网络支持锁相固定点的能力。这种行为也可以被视为布雷斯悖论的一个例子45,46这是首次预测的交通网络。47
值得注意的是,循环的存在是振荡器网络中这种矛盾行为的必要条件。参考文献中研究了Braess悖论的一个基本例子。30,从一个没有循环的链网络开始,因此没有表现出挫败感和Braess行为。然后,添加一条线,创建一个单独的循环,并建立必要的条件,在这些条件下,循环的闭合会导致Braess悖论。
我们首先分析动态条件(13)承认有解决方案。该问题归结为多源多链路最大流问题,可以用多种不同的算法求解。48,49
所以,让是一个连通图N个节点和我边缘。每个边缘分配一个容量,由,每个节点都有一个输入或输出,由。我们定义了一个扩展图,如图所示。三,通过添加两个顶点秒和t吨到顶点集,
和添加定向链接连接秒(t吨)到所有具有正(负)功率注入的节点
定理9.动态条件的解决方案(13)当且仅当最大s-t流的值 在网络中 大于或等于累计输入功率
或者,可以通过将图划分为多个部分来找到解决方案存在的充分条件:(V(V)1,V(V)2)是的任意分区V(V)和由该分区引起的割集(见图。4). 然后,我们定义
我们注意到,我们假设在不失一般性的情况下.
图3。
定理9的说明。原始网络G公司(较小的节点和实体边)允许动态条件的解当且仅当扩展图有一个超级来源秒(蓝色大节点)和一个超级水槽t吨(大红色节点)允许s-t流大于所有正输入功率之和G公司.
图3。
定理9的说明。原始网络G公司(较小的节点和实体边)允许动态条件的解当且仅当扩展图有一个超级来源秒(蓝色大节点)和超级接收器t吨(大红色节点)允许s-t流大于所有正输入功率之和G公司.
关闭模态
图4。
定理10的说明。对于图的节点集的每个分区V(V)1(灰色阴影)和V(V)2,诱导割集(红色边缘)的容量必须不小于输入功率的绝对值V(V)1或V(V)2.
图4。
定理10的说明。对于图的节点集的每个分区V(V)1(灰色阴影)和V(V)2,诱导割集(红色边缘)的容量必须不小于输入功率的绝对值V(V)1或V(V)2.
关闭模态
隔板(V(V)1,V(V)2)带有.
将参数颠倒就得到了定理。还有待证明的是““是真的。
让是…的解决方案(13年a).根据我们的假设,超载边集
不是空的。现在,考虑一个过载的边缘.我们假设流来自u个到v(v)即。,.我们定义了加权有向网络具有和耦合常数
我们确定最大流型具有值从u个到v(v)在网络中根据最大流最小割定理,有一个划分(V(V)1,V(V)2)带有和和关联的割集这样的话
这是一种新的条件解决方案(13年a)基本上,我们已经从边缘改变了最大可能流量的路线到备选路径u个到v(v)此外,我们定义了边集,它是原始图形的一部分G公司.
这两个定理有一个直接的能量解释。在定理10中,我们假设电网被分解为两部分,并计算这两部分的累积功率V(V)1和V(V)2。只有当可以将累积功率从一个部件传输到另一个部件时,才能存在稳态。此条件必须适用于网络的所有分区。定理9基本上是从图论的最大流最小割定理的意义上对这项任务的重新表述。我们把所有的源都聚集在一个超级源中,把所有的汇都聚集在超级库中。只有在从超级源到超级库存在有效流的情况下,才能存在稳定状态。
在第。四、我们认为,多稳定性是由于循环流动的可能性而产生的。在树中,没有循环,因此没有多稳定性,我们得到了以下结果。
推论2 在树状网络中,要么没有固定点,要么有 其中一个不动点是稳定的 不稳定。
不动点的存在与否可以完全根据动力学条件来决定(11)分别使用定理9。
证明。根据定义,树具有边,使线性系统的解空间(14a)具有维度也就是说,对于流来说,要么没有,要么只有一个唯一的解决方案在第一种情况下,不存在固定点。在后一种情况下,公式给出的每条边的相位差有两个可能值。(21)因此固定点。选择 +-登录公式。(21)得到一个稳定的不动点,如推论1所示。
还有待证明所有其他不动点都是不稳定的。所以,考虑一个有一条边的不动点,其中相位差的余弦小于零。网络是一棵树,因此它被分解为两部分,这两部分只通过这条边连接。我们将节点标记为一部分,由在另一部分。然后,Hesse矩阵H(H)(参见第。二)有表单
哪里和H(H)1和H(H)2定义如等式。(6)对于网络的两个部分。现在定义向量
由于矩阵的结构H(H)1,我们有这样的话
因此,黑塞矩阵H(H)不是正半定的,即它至少有一个负特征值,并且不动点是不稳定的(参见引理1)。◻
我们注意到这也可以看作是参考文献中泰勒引理的结果。41,表明对于稳定不动点,不可能对图进行划分,从而使诱导割集中所有边的相位差的余弦之和小于零。
在下文中,我们想将定理具体化(7),它根据流和绕组数来表征不动点,以导出网络中不动点数的严格界。限制我们正常操作()并使用分解(16)绕组编号的定义(27)读取
使用等式。(16)绕组编号的概念在唯一时特别有用。如果我们能找到,然后我们可以简单地计算解决方案的数量以获得不动点的数量。在下面的引理中,严格地证明了平面图的唯一性。
如果一个图可以在平面上绘制而没有任何边交叉,则称之为平面图。这样的图形称为平面图或图的平面嵌入,围绕一个没有任何边的区域的任何循环称为图的面。35为了简单起见,我们采用了这样的约定:对于平面图,循环基BC类由以下面构建而成。值得注意的是,许多电网和其他供电网络实际上是平面的。不禁止跨越电力线先验的但很少见。
引理3.对于平面网络,让 和 是满足“正常操作”标准的两个不动点(9).如果 则两个不动点相同,即相位差仅为一个加法常数
换句话说,平面网络中没有两个不同的不动点可以具有相同的绕组矢量。
证明.选择作为循环基础BC类平面嵌入的面。这两个固定点只能通过循环流而不同,因此流可以写成
定义两个循环流向量和.我们写作和对应绕组矢量的简写法。我们证明了这一点暗示因此。由于我们假设正常运行,我们可以通过以下方式重建相位(18)从而发现正如我们需要展示的那样。
所以,假设和至少一个循环c(c)我们证明了这导致了一个矛盾,因此引理如下。首先,考虑以下情况所有循环均相同:为所有人然后,选择一个循环k个在边界处。如果,我们发现,如果,我们发现这与假设和引理相矛盾。
否则,选择一个周期是最大的。我们可以找到一个循环k个这样的话
现在,根据MacLane的平面度标准,我们利用任何边最多属于两个循环。50选择边e(电子)这是两个循环的一部分k个和n个,我们有和对于所有其他循环,我们有因此,我们发现[使用(73)]
对于其他边缘在循环中k个,我们通过相同的过程[使用(72)]那个
在定义中替换这两个不等式(66)并且使用该arcsin是单调递增的并且关于原点点对称,使得,我们发现
我们注意到Delabays等。在参考文献中用完全不同的技术证明了这个引理。51.
对于包含单个循环的网络(环形网络),可以获得满足用于所有边缘(我,j个). 这些状态对应于电网的正常运行,并通过推论1保证其稳定。其他稳定稳态尤其可以存在于稳定参数区域的边界处。29我们将节点标记为沿着循环,沿逆时针方向固定计数方向,并用标识节点1N个 + 1和0N个同样,我们固定边的方向这样的话描述了逆时针流动和顺时针流动。
我们首先计算固定点的准确数量,计算不同允许绕组数的数量。然而,这个结果取决于动态条件的一个特定解决方案(11)从而限制了其适用性。因此,我们还根据电网的几个简单特征,特别是最大部分净功率,导出了不动点数量的上下界。这些边界不依赖于动力学条件的任何特定解。
备注11。 对于任何环形网络 对于N个节点,循环流向量定义为(2)和中定义的绕组矢量(29)自然减少为单个数字。我们将其称为循环流fc(c)和绕组编号 ,参考。39。这两个量对于确定本节其余部分的结果至关重要。
定理12。 对于环形网络 ,正常操作固定点的数量(表示为 )由提供
哪里表示楼层功能和表示天花板功能。是动态条件的一种特殊解决方案(11)和
证明.假设我们有一个固定点随着水流并分析(根据定理3)哪些循环流量值(f)c(c)导致不同的有效固定点。首先,循环流上下边界均为沿每条边缘的绝对值不能超过容量
我们强调这一点(f)c(c)不能等于或因为否则一个边缘将被完全加载与我们的假设相矛盾。
使用循环流动强度的界限(80)由于arcsin是一个单调递增函数,我们发现绕组数也受
由于绕组编号是唯一的(参见引理3),不同的固定点对应于绕组编号的以下值:
计算这些值并插入和然后得出固定点的数量. ◻
对于实际应用,最好仅根据网络的特性确定不动点的数量,而不参考特定的解决方案.获得固定点数量的适当界限,我们首先定义了表征网络的一些属性。
定义13.对于环形网络 具有 节点索引依据 沿着循环,a 片段 定义为从节点i开始到节点j结束的路径。对于任何片段 ,的 部分净功率 定义为
该概念如所示图。5.此外,我们定义了最大和最小传输容量
图5:。
最大部分净功率在不同的环形网络中。
图5:。
最大局部净功率在不同的环形网络中。
关闭模态
引理4。 对于任何环形碎片 ,部分净功率等于净向外流量
引理4是能量守恒的形式化。某段的净向外流量必须等于碎片中的累积注入功率。然后,我们寻求使与环的其余部分交换的总流量最大化的碎片和之前出现在参考。51.
推论3。 对于环形网络 ,正常操作固定点的数量(表示为 )被上下约束
我们利用了arcsin函数是有界的这一事实,,因此
这证明了第一部分(92)推论的结果。为了证明第二部分,我们从
我们在哪里定义此外,此数量可以绑定为
我们注意到这个界限的第一部分(92)之前由奥恰布和戈拉展示过38以及Delabays等。37
推论4。 对于均质环 即。, ,等式。(93) 简化为
尤其是环形网络 具有 没有多个稳定的不动点。环形网络 具有 节点将具有多个稳定不动点 如果
推论5。 在齐次环网中,当K减小时,流的最大无穷范数的不动点
证明。我们可以从中看到(95)两者都是和是单调递增的函数和分别是。根据(80),何时K(K)减少,减少和增加。推论如下。◻
我们演示了边界如何随连接性而扩展K(K)和对于尺寸为的样品环N个=图中的16。6我们在图中看到。6(a)越来越多的人K(K)导致更稳定的不动点。鉴于图。6(b)证明如果发电机聚集在一起,则系统具有较少的固定点,而不是更分散的情况。
图6。
固定点数量的上下限作为(a)函数的样本16元素环为所有人在和(b)在K(K)=10
图6。
固定点数量的上下限作为(a)函数的样本16元素环为所有人在和(b)在K(K)=10
关闭模态
定理14。 考虑一个有限平面网络。选择图的面作为循环基BC类然后,正常操作不动点的数量,即满足以下条件的不动点 对于所有边(i,j),从上到下绑定
证明在平面网络中,没有两个不同的固定点可以具有相同的绕组矢量(参见引理3),这样我们就可以计算不同的允许缠绕向量。对于每个基本循环,我们有
因为在正常操作中。计算绕组编号的不同可能值的数量遵循这些上下限会产生结果。◻
德拉巴伊斯等。已呈现37均匀功率注入的这个界P(P)j个在所有节点。他们还确定了足以确保全部的固定点处于正常运行状态,因此使(105)适用于某类网络中的所有固定点。
有趣的是,这个上限被证明是无效51超出正常操作范围。
为了简单起见,我们首先考虑由两个循环组成的具有均匀传输容量的网络C类1和C类2,如图所示。9。假设有n个1仅属于循环1的边,n个2仅属于循环2的边和n个12属于两者的边。设一个不动点为每个循环和十字路口的流量都受到
图9:。
2圈网络。我们使用循环逆时针的约定。因此,我们将正幅度分配给逆时针循环流,将负幅度分配给顺时针循环流。
图9:。
2圈网络。我们使用循环逆时针的约定。因此,我们将正值指定给逆时针循环流,将负值指定给顺时针循环流。
关闭模态
然后,每个循环中可能的循环流被限定在凸多边形内由描述
那么,对于,不动点的数目收敛到在映射下.
雅可比式变量的变化可以通过以下表达式计算在里面(66),它产生
重新定义,我们获得
在最后一行中,我们使用了(f)1和(f)2在被积函数和积分域中。通过在第二积分中使用以下变量的变化,我们可以进一步简化:
我们注意到,变量和雅可比行列式发生变化后,域保持不变。这样可以简化
评估(121),我们将其应用于两种特殊情况。首先,我们考虑具有也就是说,两个相同的循环只共享一个单边。在这种情况下,(121)成为
其次,我们考虑具有也就是说,两个相同的循环共享其一半的边。在这种情况下,(121)成为
我们在图中看到。10在这两种情况下,缩放关系都非常准确,即使对于不太大的网络规模,例如n个=50
图10。
(a) 在零功率注入和无限边缘容量极限下,双循环网络不动点数量的缩放。(a) 每个循环都有n个 + 1条边,它们共享一条边。(左y轴)圆点显示用数字计算的固定点的确切数量。实线表示按比例关系预测的数量(121)。虚线表示上限(105).(右y轴)虚线表示固定点数量除以收敛到一个常数,接近分析预测值,根据方程式(121).(b)与(a)相同,但对于每个循环有2个n个边缘,它们共享n个它们之间的边缘。
图10。
(a) 在零功率注入和无限边缘容量极限下,双循环网络不动点数量的缩放。(a) 每个循环都有n个 + 1条边,它们共享一条边。(左y轴)点显示用数字计算的固定点的确切数量。实线表示按比例关系预测的数量(121)。虚线表示上限(105).(右y轴)虚线表示固定点数量除以收敛到一个常数,接近分析预测值,根据方程式(121).(b)与(a)相同,但对于每个循环有2个n个边缘,它们共享n个它们之间的边缘。
关闭模态
原则上,我们也可以推广循环流方法来寻找不满足正常运行条件的不动点。这些固定点通常是线性不稳定的(参见参考文献。30)然而,关于不动点数目的大多数结果都不能推广到这种情况。作为一个有启发性的例子,再次考虑第节中的同质环。四、 C类。我们将节点标记为并假设N个是4的整数倍。所有节点都有一个消失的功率注入,所有链接都具有同等的强度K(K)和以前一样。那么,很容易看出
是每个值的动力学的固定点。这类不动点表示纯循环流
用于所有边缘.绕组编号为独立于δ边缘交替属于和
这个简单的例子表明,对正常操作固定点所做的两个主要假设(其中)不再成立:首先,不动点集不再是离散的。相反,我们发现了由实数参数化的连续解δ第二,不同的固定点产生相同的绕组编号。因此,我们通常无法通过计算绕组数来获得不动点的数量。
循环流方法产生了一种计算振荡网络多个不动点的方便方法。一般来说,很难确保数值算法能给出非线性代数方程的所有解。然而,我们已经证明,绕组数至少对于平面网络中的正常操作不动点是唯一的。因此,我们可以扫描绕组编号的允许值,并尝试找到相应的解决方案。这可以通过从动力学条件的任意解开始,添加循环流,直到获得所需的绕组数来实现。
特别地,我们可以使用以下算法计算平面网络在正常操作中的所有不动点:
找到解决方案动态条件。
固定平面嵌入和循环基。
改变数字z(z)c(c)在间隔中,适用于所有循环.
其中绕组编号由公式。(27).
去掉正常操作的假设,我们就失去了第节中讨论的唯一性保证。不及物动词然而,该方法可以很容易地适应最不稳定不动点的数量,至少如果很小。这可能非常有用,因为系统计算此类不动点通常并不简单。除其他外,这些结果还可以通过分析稳定性边界来评估稳定不动点的全局稳定性52,53或存在随机波动时的稳定性。54特别是,我们必须在算法中添加另一个步骤,以循环遍历所有可能的集:
该算法的输出如图所示。12对于小型测试网络和。对于这个小网络,我们只有基本循环,其中一个是解耦的。因此,我们可以用图形检查我们是否获得了全部的固定点。
图12:。
所有固定点在具有使用正文中描述的算法计算的三个循环的网络中。显示每个循环的绕组编号。正方形表示发电机并用所有连杆的耦合强度为.
图12:。
所有固定点在使用正文中描述的算法计算的三个循环的网络中。显示每个循环的绕组编号。正方形表示发电机并用所有连杆的耦合强度为.
关闭模态
振荡器网络在自然界和技术中无处不在。从Kuramoto的开创性工作开始,对统计物理进行了大量研究2一直致力于大型网络中部分同步的开始。然而,在某些应用程序中,需要全局同步。特别是,在电网中,所有发电机必须以完全相同的频率运行,并且必须严格锁相,以确保稳定的电力流向客户。去同步通常会带来灾难性的后果。2006年11月欧洲停电事件就是一个例子。在一条输电线停运且试图恢复稳定运行失败后,欧洲电网分裂为三个相互异步的集群。23最终,超过1000万用户被切断了电源。
本文分析了有限振子网络中稳定不动点的存在性。主要的方法进步是将计算分为两部分:首先,我们计算所有节点满足连续性方程的流量。然后,我们挑选出导致振荡器相位一致的具体解决方案。因此,我们将计算的重点从节点(阶段)转移到边缘(流)和循环。一个直接的后果是,几个固定点可以共存,它们因循环流量而异。因此,振荡器网络通常是多稳态的。
对于含有单圈的网络,我们得到了不动点数目的三个结构量的上下界:最大部分净功率,测量功率注入或固有频率的均匀性以及沿循环的最大和最小边缘强度。我们发现,如果(a)周期长,(b)边缘强度大,以及(c)电源分布均匀,则稳定不动点的数量通常特别多。然而,第。四、 天表明必须特别注意特殊网络拓扑。增加错误边的强度也可以减少固定点的数量。在一般网络拓扑中寻找稳定不动点数量的界要复杂得多。对于平面网络已经得到了结果,但对于具有单循环的网络,边界要弱得多。有趣的是,树型网络和全连接网络至多都有一个稳定的不动点。然而,对于电网来说,具有中间稀疏性的网络可能表现出多重稳定性,这是最现实的。
文献中已经讨论过多稳定性的几个方面。参考文献中讨论了隔离环的多重稳定性。38.限制(92)并对不同不动点的吸引域进行了数值研究。Taylor在参考文献中分析了密连通图的情况。41他能够证明,如果节点度至少为.梅塔等。使用与本文类似的方法数值研究复杂网络中的多重稳定性。43他们认为,固定点的数量与周期的数量成比例,因为每个周期都可以适应周期流。虽然这对许多图都有效,但也有反例(图。7). 德拉巴伊斯等。37最近报道了他们使用循环流来处理多稳态。它们扩展了参考文献。38还包括沿边缘具有相位差的稳定不动点。它们还导出了上限51对于平面图在所有节点处均匀功率注入的情况下的若干不动点。Xi(希)等。55数值表明,功率注入的空间异质性P(P)j个减少了不动点的数量,这与我们在推论3中的分析结果相吻合。有趣的是,他们还发现在异质环拓扑中,不动点的非线性稳定性随着环的大小而降低N个.
在这项工作中,我们获得了下限对于固定点的数量,因此提供了一个充分条件因为存在多重稳定性。此外,我们还证明了循环的长度N个c(c)和同质性对多稳定性同样重要,因此不动点数量的界限比Ochab和Gora更紧38和Delabays等。37此外,我们还导出了无限传输强度极限下的标度定律,比之前报告的上限结果更严格。我们已经展示了导出的缩放行为,以匹配中等规模网络的数值计算精确结果。
有趣的是,我们的研究结果表明,Jadbabaie之前提出的一个备受认可的结果等。参考文献中。57不正确。作者声称,对于任何具有不同自然频率的Kuramoto振荡器网络,都存在一个K(K)u个这样,对于只有一个稳定的不动点。第2节中给出的示例反驳了这一说法。四、 C类以及推论3中关于多个不动点存在性的严格结果。参考文献证明中的错误。57是相当技术性的。作者定义了一个函数这样,固定点的定义方程(4)可以改写为
贾德巴比等。然后声称是以下子集的收缩这样的话用于所有边缘(我,j个)我们称之为正常操作。然后,巴拿赫收缩定理得出代数方程(129)有一个唯一的固定点。问题是通常是不正常操作的子空间子集,即使域是。应用后,一些相位差可能超出间隔因此,巴拿赫收缩定理无法应用,这破坏了证明。