2026-07-03T04:10:54Z

黄芸：

=历史溯源=

=定义=
WholeMinusSum（WMS协同度）两种通俗定义：

定义1：原始基础定义（互信息差值定义，公式7）

文字解释

WMS协同度 = 两个变量X、Y合在一起对目标S的联合互信息 − X单独对S的互信息 − Y单独对S的互信息。
简单说：把X、Y打包在一起能给S提供的总信息量，减去两个变量各自单独能给S提供的信息量之和，多出来的部分就是协同值。

对应公式

S_{WMS}(S:X;Y) = MI(S:X,Y) - MI(S:X) - MI(S:Y)
补充等价关系：这个值刚好等于负的共信息CoI(S,X,Y)，即 S_{WMS} = -CoI(S,X,Y)。

定义2：信息分解定义（互补信息−共享信息，公式8）

文字解释

从信息分解框架来看，WMS协同度 = 互补信息CI − 共享信息SI。

- 共享信息SI：X、Y不用配合，各自都单独拥有、重复能解释S的重叠信息；
- 互补信息CI：必须X、Y搭配在一起，组合起来才能挖掘出、单独一方没有的新增信息；
二者相减，就是WMS协同指标。

对应公式

S_{WMS}(S:X;Y) = CI(S:X;Y) - SI(S:X;Y)

补充：

1. 若 S_{WMS}>0：互补信息 > 共享信息，X和Y存在协同效应，两者搭配能产生单独没有的新信息；
2. 若 S_{WMS}<0：共享信息 > 互补信息，X和Y高度冗余，大部分信息重复，几乎无协同；
3. 若 S_{WMS}=0：互补信息和重叠共享信息持平。

=信息分解框架下的分析=

=应用案例=

=其他相关指标=

WholeMinusSum

2026-07-03T04:10:04Z

黄芸：

WholeMinusSum（WMS协同度）两种通俗定义

定义1：原始基础定义（互信息差值定义，公式7）

文字解释

WMS协同度 = 两个变量X、Y合在一起对目标S的联合互信息 − X单独对S的互信息 − Y单独对S的互信息。
简单说：把X、Y打包在一起能给S提供的总信息量，减去两个变量各自单独能给S提供的信息量之和，多出来的部分就是协同值。

对应公式

S_{WMS}(S:X;Y) = MI(S:X,Y) - MI(S:X) - MI(S:Y)
补充等价关系：这个值刚好等于负的共信息CoI(S,X,Y)，即 S_{WMS} = -CoI(S,X,Y)。

定义2：信息分解定义（互补信息−共享信息，公式8）

文字解释

从信息分解框架来看，WMS协同度 = 互补信息CI − 共享信息SI。

- 共享信息SI：X、Y不用配合，各自都单独拥有、重复能解释S的重叠信息；
- 互补信息CI：必须X、Y搭配在一起，组合起来才能挖掘出、单独一方没有的新增信息；
二者相减，就是WMS协同指标。

对应公式

S_{WMS}(S:X;Y) = CI(S:X;Y) - SI(S:X;Y)

补充小白直观理解

1. 若 S_{WMS}>0：互补信息 > 共享信息，X和Y存在协同效应，两者搭配能产生单独没有的新信息；
2. 若 S_{WMS}<0：共享信息 > 互补信息，X和Y高度冗余，大部分信息重复，几乎无协同；
3. 若 S_{WMS}=0：互补信息和重叠共享信息持平。

=历史溯源=

=定义=
WholeMinusSum（WMS协同度）两种通俗定义：

定义1：原始基础定义（互信息差值定义，公式7）

文字解释

WMS协同度 = 两个变量X、Y合在一起对目标S的联合互信息 − X单独对S的互信息 − Y单独对S的互信息。
简单说：把X、Y打包在一起能给S提供的总信息量，减去两个变量各自单独能给S提供的信息量之和，多出来的部分就是协同值。

对应公式

S_{WMS}(S:X;Y) = MI(S:X,Y) - MI(S:X) - MI(S:Y)
补充等价关系：这个值刚好等于负的共信息CoI(S,X,Y)，即 S_{WMS} = -CoI(S,X,Y)。

定义2：信息分解定义（互补信息−共享信息，公式8）

文字解释

从信息分解框架来看，WMS协同度 = 互补信息CI − 共享信息SI。

- 共享信息SI：X、Y不用配合，各自都单独拥有、重复能解释S的重叠信息；
- 互补信息CI：必须X、Y搭配在一起，组合起来才能挖掘出、单独一方没有的新增信息；
二者相减，就是WMS协同指标。

对应公式

S_{WMS}(S:X;Y) = CI(S:X;Y) - SI(S:X;Y)

补充：

1. 若 S_{WMS}>0：互补信息 > 共享信息，X和Y存在协同效应，两者搭配能产生单独没有的新信息；
2. 若 S_{WMS}<0：共享信息 > 互补信息，X和Y高度冗余，大部分信息重复，几乎无协同；
3. 若 S_{WMS}=0：互补信息和重叠共享信息持平。

=信息分解框架下的分析=

=应用案例=

=其他相关指标=

2026-03-31T02:47:09Z

黄芸：

'''跨临界分岔'''（transcritical bifurcation）是[[动力系统]]中一类典型的局部[[分岔]]现象，其特征是两条[[平衡点]]分支在[[临界点]]处相交，并在参数穿过临界值时交换稳定性。与[[鞍结点分岔]]所对应的平衡点产生或湮灭不同，跨临界分岔描述的是原有状态之间的阈值切换，因此常见于生态、传播和激光等具有“平凡状态—非平凡状态”竞争关系的模型中。

== 历史溯源 ==

跨[[临界]][[分岔]]（transcritical bifurcation）并不是在[[分岔理论]]早期就以独立术语被明确提出的，而是在现代[[分岔理论]]逐步形成的过程中，从一类“平衡分支相交并交换稳定性”的现象中被识别出来的。就概念史而言，[[庞加莱]]在1885年讨论“[[分岔]]平衡”（''Équilibre de bifurcation''）时，已经把“参数变化引起平衡结构改变”的问题纳入定性研究视野，但当时的讨论仍停留在一般性的[[分岔]]现象层面，尚未把跨[[临界]][[分岔]]与后来所说的[[鞍结点分岔]]等局部[[分岔]]类型明确区分<ref name="Poincare1885_hist">Poincaré, H. (1885). ''Sur l'équilibre d'une masse fluide animée d'un mouvement de rotation''. ''Acta Mathematica'', 7, 259–380.</ref>。

20世纪30年代，安德罗诺夫学派围绕“粗糙系统”和“[[结构稳定性]]”建立了现代[[分岔理论]]的早期框架。Andronov 与 Pontryagin 在1937年的工作把“系统在小扰动下是否保持其定性结构”变成核心问题；随后，这一研究传统又从相平面[[拓扑结构]]改变、非粗糙性和[[分岔]][[集合]]等角度，逐步推动了对局部[[分岔]]机制的系统分类。在这一背景下，人们开始更清楚地区分不同的零[[特征值]][[分岔]]：有的对应[[平衡点]]的产生与湮灭，有的则对应两条平衡分支在[[临界点]]相遇后继续穿越<ref name="AndronovPontryagin1937_hist">Andronov, A. A.; Pontryagin, L. S. (1937). ''Systèmes grossiers''. ''Doklady Akademii Nauk SSSR'', 14, 247–251.</ref><ref name="Andronov1973_hist">Andronov, A. A.; Leontovich, E. A.; Gordon, I. I.; Maier, A. G. (1973). ''Theory of Bifurcations of Dynamic Systems on a Plane''. Jerusalem: Israel Program for Scientific Translations; New York: Wiley.</ref>。

从术语和理论定型的角度看，跨[[临界]][[分岔]]的历史特殊性在于：这种现象并不是一开始就以“跨[[临界]][[分岔]]”之名被单独提出，而是在20世纪下半叶[[中心流形]]、正规形和[[奇点理论]]逐步成熟之后，才在现代教材和综述中被固定为一种独立的局部[[分岔]]类型。与[[鞍结点分岔]]相比，它的核心并不是[[平衡点]]“出现—消失”，而是两个平衡分支在[[临界点]]相交，并交换稳定性。也正因为如此，现代文献通常强调跨[[临界]][[分岔]]往往不是最一般的一参数泛型情形，而常常依赖某种附加结构，例如平凡分支对所有参数始终存在、不变子空间、守恒约束或对称性等<ref name="GuckenheimerHolmes1983_hist">Guckenheimer, J.; Holmes, P. (1983). ''Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields''. New York: Springer-Verlag.</ref><ref name="GolubitskySchaeffer1985_hist">Golubitsky, M.; Schaeffer, D. G. (1985). ''Singularities and Groups in Bifurcation Theory. Volume I''. New York: Springer-Verlag.</ref><ref name="Crawford1991_hist">Crawford, J. D. (1991). Introduction to bifurcation theory. ''Reviews of Modern Physics'', 63(4), 991–1037.</ref><ref name="Arnold1994_hist">Arnold, V. I.; Afraimovich, V. S.; Ilyashenko, Yu. S.; Shilnikov, L. P. (1994). ''Dynamical Systems V: Bifurcation Theory and Catastrophe Theory''. Berlin: Springer.</ref><ref name="Uecker2022_hist">Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref>。

因此，从历史脉络上看，跨[[临界]][[分岔]]并不是“先有清晰命名、后有统一理论”的对象，而是先在早期定性研究中以几何现象的形式出现，再在[[结构稳定性]]与局部[[分岔]]分类的框架中逐步被识别，最终才在现代[[非线性动力学]]中被确立为一种具有明确判别特征和广泛应用背景的基本[[分岔]]类型<ref name="Crawford1991_hist" /><ref name="Arnold1994_hist" /><ref name="Uecker2022_hist" />。

== 标准型及其性质 ==
在数学上，我们可以通过标准型来研究[[分岔]]的本质特征。对于一维[[动力系统]]（参考[[一维动力学]]），跨临界分岔的最简[[微分方程]]形式（标准型）如下<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>{{NumBlk|:|
<math display="block">
\dot{x} = rx \pm x^2
</math>
|{{EquationRef|1}}}}
* 其中<math>x \in \mathcal{R}</math>是[[状态变量]]，<math>r \in \mathcal{R}</math>为诱导[[分岔]]产生的外部参数。

跨临界[[分岔]]的关键性质在于，随着系统参数<math>r</math>的改变，[[相空间]]中原本存在的两个[[不动点]]（一个稳定，一个不稳定）相互靠近、碰撞并最终互换：稳定变不稳定，不稳定变稳定。

===求解[[不动点]]===
不动点意味着变化率为0，以<math>\dot{x}=rx-x^2</math>为例，就是<math>\dot{x}=rx-x^2=x(r-x)=0</math>。

这个一元二次方程有两个解：
<math>x^*=0</math> 和 <math>x^*=r </math>

=== 不动点及其稳定性 ===
要分析不动点的稳定性，可以通过计算不动点的一阶导数。这里就是<math>f'(x^*)=r-2x^*</math>。

当<math>r<0</math>时，
* 不动点<math>x^*=0</math>，有<math>f'(x^*)=r-2*0=r<0</math>，微小扰动会衰减，是稳定不动点。
* 不动点<math>x^*=r</math>，有<math>f'(x^*)=r-2r=-r>0</math>，微小扰动会放大，是不稳定不动点；

当 <math>r=0</math>，有<math>f'(x^*)=0</math>，此处为[[分岔]]点。

当<math>r>0</math>时，
* 不动点<math>x^*=0</math>，有<math>f'(x^*)=r-2*0=r>0</math>，微小扰动会放大，是不稳定不动点。
* 不动点<math>x^*=r</math>，有<math>f'(x^*)=r-2r=-r<0</math>，微小扰动会衰减，是稳定不动点；

===[[相图]]与[[分岔]]图===

根据以上求解和分析，对于<math>\dot{x} = rx- x^2</math>这个系统，可以画出相图和分岔图来直观展示参数变化对系统的影响。

[[相图]]即<math>\dot{x}=f(x)</math>的图像，纵坐标为<math>\dot{x}</math>，横坐标为<math>x</math>，展示了系统在参数<math>r</math>取不同值时可分为三种不同的状态。
*实心点为稳定[[不动点]]，空心点为不稳定[[不动点]]，半空心点为[[临界]]半[[稳定不动点]]，箭头为演化方向。
[[文件:书中跨临界分岔相图.jpg|缩略图]|替代=|无]]

分岔图如下：[[分岔]]图是以参数<math>r</math>为自变量，系统不动点<math>x^*</math>为因变量，能直观展示参数的取值与不动点的数量和性质的关系。

从上面的相图可以看出：当<math>r＜0</math>时，该系统的稳定不动点一直是<math>x^*=0</math>，不稳定不动点<math>x^*=r</math>；
而当<math>r＞0</math>时，该系统的稳定不动点是<math>x^*=r</math>，不稳定不动点一直是<math>x^*=0</math>；
据此，可以画出如下的跨临界分岔图

[[文件:跨临界分岔图.jpg|无|缩略图|替代=|500x500像素]]

== 案例：激光模型 ==

=== 模型描述 ===

这里介绍哈肯在1983年研究的激光模型的简化版<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>。
哈肯是协同学的创始人，他起初从事激光研究。
[[文件:激光泵.jpg|无|缩略图]]

如上图所示：外面是泵，里面有很多高能级的活跃的原子束，这些原子受激辐射会产生新的光子。泵两边都是镜子，用于反射光子。右边这个镜子中间有一个小孔，用来释放满足条件后可溢出的激光。

这个模型主要描述的是光子数的动力学变化。数学表述为：
<math display="block">
\dot{n} = gain - loss
= GnN - kn
</math>，其中<math display="block">
N(t) = N_{0} - an
</math>，代入后就是：
<math display="block">
\dot{n} = Gn (N_{0}-an) - kn
= (GN_{0} - k)n-(aG)n^2
</math>。

说明：<math>n</math> 光子数，<math>N</math>高能级原子数，<math>G</math>增益系数，<math>kn</math>光子逸出或被吸收的损耗，<math>an</math>受激辐射损失的高能级原子。

=== 分岔点 ===
对这个系统<math display="block">
\dot{n} = Gn (N_{0}-an) - kn
= (GN_{0} - k)n-(aG)n^2
</math>
，开始时，光强为0（无序）。当泵中能量增加，光强从0开始增长，当阈值(即初始高能量原子数)[math]\displaystyle{ N_{0}=\frac{k}{G}\gt 0 }[/math]时，泵中原子开始“觉醒”，齐步协同，才出现可溢出的频率、相位、方向都高度一致的光子数（激光），这时可以求出它的两个不动点：
<math display="block">
n^* = 0（不稳定）
</math>
和<math display="block">
n^*= \frac{GN_{0} - k}{aG}
</math>（稳定）。据此可以画出这个系统的相图，如下：

[[文件:书中激光相图.jpg|替代=|无框|800x800px]]

从上面的相图可以看出：当泵中光强随着能量从0（无序）开始增长到阈值(即初始高能量原子数)[math]\displaystyle{ N_{0}=\frac{k}{G}\gt 0 }[/math]时，泵中才出现可溢出的频率、相位、方向都高度一致的光子数（激光），表明它的不稳定不动点是：
<math display="block">
n^* = 0
</math>，稳定不动点是
<math display="block">
n^*= \frac{GN_{0} - k}{aG}
</math>，形如下面的分叉图:

[[文件:激光分岔图.jpg|无|缩略图]]

=== 物理意义 ===

[[哈肯]]提出的“[[激光]]模型”，本质上是一种跨学科的“范式转移”：它并非具体的工程设计，而是借助[[激光]]这一物理系统，来解释“无序如何产生有序”的思维框架。

该模型表明，在外部能量驱动下（如[[激光]]器中的泵浦过程），系统内部的微观粒子（原子）会自发地由无序的随机运动转变为协同一致的[[集体行为]]，从而在宏观上[[涌现]]出一种全新的高度有序状态（[[激光]]）。换言之，它用“光”的机制揭示了自然界中普遍存在的[[自组织]]现象。

具体而言，这一过程可以理解为：在普通光（如灯泡）中，原子各自独立、随机发光，其相位与方向杂乱无章；而当外部驱动达到某一[[临界阈值]]后，系统发生质变，原子开始“协同”，发出[[频率]]、相位和方向高度一致的光，即形成[[激光]]。这一跃迁揭示了从非相干（incoherent）到相干（coherent）的本质转变。

其核心机制在于“协同”与“[[序参量]]”。原子之间并非直接[[相互作用]]，而是通过其产生的电[[磁场]]（光场）这一“中介”实现协调，这个光场即为[[序参量]]。在初始阶段，光强接近于零（无序）；随着能量输入增加，光强逐渐增长，并反过来“役使”所有原子，使其服从统一的[[振荡]]节奏（即“役使原理”）。由此形成一个从微观到宏观、再由宏观反过来支配微观的[[反馈]]闭环。

更重要的是，这一模型具有高度的普适性：[[激光]]中的“原子”可以类比为任意系统的微观单元（如[[神经元]]、[[细胞]]或个体），而“光场”则对应于宏观的集体模式（如脑电波、人群共识或市场趋势）。因此，它不仅解释了[[激光]]的产生机制，更提供了一个普适的理论框架，用以说明宏观秩序如何从微观[[混沌]]中[[涌现]]，并体现出“整体大于部分之和”的普遍规律。

总的来说，[[哈肯]]的[[激光]]模型从物理层面揭示了：协同作用如何使原本混乱的个体自发形成相干、有序的[[集体行为]]，是[[协同学]]理论最经典、最具代表性的物理基础。

== 二维系统及以上 ==
与一维[[动力系统]]中的跨临界[[分岔]]类似，二维及以上的跨临界[[分岔]]同样描述了一个稳定不动点和一个不稳定不动点随参数变化而互换稳定性的过程。<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>

===二维标准型===
<math display="block">
\begin{cases} \dot x = \mu x - x^2 \\ \dot y = -\lambda y \end{cases}
</math>

*<math>x</math>与<math>y</math>为状态变量。
*<math>\mu</math>为分岔参数。
* 一式描述了系统在<math>x</math>维度上的[[分岔]]行为。
* 二式描述了系统在<math>y</math>维度上的收缩行为（其中<math>\lambda>0</math>，通常取<math>\lambda=1</math>来简化讨论），表明系统在非[[分岔]]方向上是稳定的。

三维以上的标准型与二维类似，仅在某个维度有[[分岔]]行为（类似<math>\dot x = \mu x - x^2</math>），系统在其余维度上稳定（均为类似<math>\dot y=-\lambda y</math>的形式，其中参数<math>\lambda>0</math>）。

=== 稳定性分析 ===
这个二维系统

<math display="block">

\begin{cases} \dot x = \mu x - x^2 \\ \dot y = -\lambda y \end{cases}

</math>

相图如下：
[[文件:Hy2二维跨临界分岔.jpg|无|缩略图|800x800像素]]

<math>x</math>方向的[[不动点]]分析与一维情况完全类似。随着参数 <math>\mu</math> 的变化，二维相平面上的[[拓扑结构]]经历以下三个阶段：

1. 双[[不动点]]共存阶段 (<math>\mu < 0</math>)：
*稳定[[不动点]] <math>(0，0)</math>：在两个特征方向上均表现为吸引，对应系统的一个[[稳态]]。
*不稳定[[不动点]] <math>(\mu, 0)</math>：在 <math>y</math> 方向吸引，在 <math>x</math> 方向排斥。
[[动力学]]特征：[[相空间]]被不稳定[[不动点]]分割，大部分轨线最终收敛于稳定[[不动点]]。

2. [[临界]][[分岔]]点 (<math>\mu = 0</math>)：两个[[不动点]]在原点 <math>(0,0)</math> 处发生碰撞并融合。

3. 互换稳定性后的双[[不动点]]共存阶段 (<math>\mu > 0</math>)：
*不稳定[[不动点]] <math>(0, 0)</math>：在 <math>y</math> 方向吸引，在 <math>x</math> 方向排斥。
*稳定[[不动点]] <math>(\mu, 0)</math>：在两个特征方向上均表现为吸引，对应系统的一个[[稳态]]。
[[动力学]]特征：[[相空间]]被不稳定[[不动点]]分割，大部分轨线最终收敛于稳定[[不动点]]。

== 相关概念 ==

从[[奇点理论]]与[[突变论]]的角度看，[[鞍结点分岔]]与[[折叠突变]]（fold catastrophe）的对应关系最为直接：二者都体现为平衡解分支在临界点附近发生折叠，并导致平衡点的产生或湮灭。[[突变论]]由 [[René Thom]] 建立，其核心思想是用奇点理论研究控制参数连续变化时系统临界点结构的类型变化<ref>Arnold, V. I.; Afrajmovich, V. S.; Il’yashenko, Yu. S.; Shilnikov, L. P. (1994). ''Dynamical Systems V: Bifurcation Theory and Catastrophe Theory''. Berlin: Springer.</ref>。

相比之下，[[跨临界分岔]]不宜简单地与折叠突变直接等同。更准确地说，它是一类与折叠型奇点密切相关的零特征值局部分岔，但通常需要额外结构——例如平凡平衡分支对所有参数始终存在、不变子空间、守恒约束或对称性——才能稳定出现。它的典型特征不是平衡点的产生或消失，而是两条平衡分支在临界点相交，并在参数穿过临界值时交换稳定性<ref>Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref><ref>Crawford, J. D. (1991). Introduction to bifurcation theory. ''Reviews of Modern Physics'', 63(4), 991–1037.</ref>。

这也解释了跨临界分岔为何在历史上常与[[鞍结点分岔]]相混淆：两者在线性化层面都以零特征值为信号，但若进一步考察平衡分支的几何结构，前者表现为“分支相交并交换稳定性”，后者则表现为“分支折叠并导致平衡点成对产生或湮灭”。因此，在现代[[分岔理论]]中，鞍结点分岔通常被视为更泛型的情形，而跨临界分岔则常与[[叉式分岔]]一起，被视为需要特殊结构支持的非泛型分支点分岔<ref>Golubitsky, M.; Schaeffer, D. G. (1985). ''Singularities and Groups in Bifurcation Theory. Volume I''. New York: Springer-Verlag.</ref><ref>Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref>。

== 参考文献 ==
<references />

跨临界分岔

2026-03-31T02:45:26Z

黄芸：/* 分岔点 */

'''跨临界分岔'''（transcritical bifurcation）是[[动力系统]]中一类典型的局部[[分岔]]现象，其特征是两条[[平衡点]]分支在[[临界点]]处相交，并在参数穿过临界值时交换稳定性。与[[鞍结点分岔]]所对应的平衡点产生或湮灭不同，跨临界分岔描述的是原有状态之间的阈值切换，因此常见于生态、传播和激光等具有“平凡状态—非平凡状态”竞争关系的模型中。

== 历史溯源 ==

跨[[临界]][[分岔]]（transcritical bifurcation）并不是在[[分岔理论]]早期就以独立术语被明确提出的，而是在现代[[分岔理论]]逐步形成的过程中，从一类“平衡分支相交并交换稳定性”的现象中被识别出来的。就概念史而言，[[庞加莱]]在1885年讨论“[[分岔]]平衡”（''Équilibre de bifurcation''）时，已经把“参数变化引起平衡结构改变”的问题纳入定性研究视野，但当时的讨论仍停留在一般性的[[分岔]]现象层面，尚未把跨[[临界]][[分岔]]与后来所说的[[鞍结点分岔]]等局部[[分岔]]类型明确区分<ref name="Poincare1885_hist">Poincaré, H. (1885). ''Sur l'équilibre d'une masse fluide animée d'un mouvement de rotation''. ''Acta Mathematica'', 7, 259–380.</ref>。

20世纪30年代，安德罗诺夫学派围绕“粗糙系统”和“[[结构稳定性]]”建立了现代[[分岔理论]]的早期框架。Andronov 与 Pontryagin 在1937年的工作把“系统在小扰动下是否保持其定性结构”变成核心问题；随后，这一研究传统又从相平面[[拓扑结构]]改变、非粗糙性和[[分岔]][[集合]]等角度，逐步推动了对局部[[分岔]]机制的系统分类。在这一背景下，人们开始更清楚地区分不同的零[[特征值]][[分岔]]：有的对应[[平衡点]]的产生与湮灭，有的则对应两条平衡分支在[[临界点]]相遇后继续穿越<ref name="AndronovPontryagin1937_hist">Andronov, A. A.; Pontryagin, L. S. (1937). ''Systèmes grossiers''. ''Doklady Akademii Nauk SSSR'', 14, 247–251.</ref><ref name="Andronov1973_hist">Andronov, A. A.; Leontovich, E. A.; Gordon, I. I.; Maier, A. G. (1973). ''Theory of Bifurcations of Dynamic Systems on a Plane''. Jerusalem: Israel Program for Scientific Translations; New York: Wiley.</ref>。

从术语和理论定型的角度看，跨[[临界]][[分岔]]的历史特殊性在于：这种现象并不是一开始就以“跨[[临界]][[分岔]]”之名被单独提出，而是在20世纪下半叶[[中心流形]]、正规形和[[奇点理论]]逐步成熟之后，才在现代教材和综述中被固定为一种独立的局部[[分岔]]类型。与[[鞍结点分岔]]相比，它的核心并不是[[平衡点]]“出现—消失”，而是两个平衡分支在[[临界点]]相交，并交换稳定性。也正因为如此，现代文献通常强调跨[[临界]][[分岔]]往往不是最一般的一参数泛型情形，而常常依赖某种附加结构，例如平凡分支对所有参数始终存在、不变子空间、守恒约束或对称性等<ref name="GuckenheimerHolmes1983_hist">Guckenheimer, J.; Holmes, P. (1983). ''Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields''. New York: Springer-Verlag.</ref><ref name="GolubitskySchaeffer1985_hist">Golubitsky, M.; Schaeffer, D. G. (1985). ''Singularities and Groups in Bifurcation Theory. Volume I''. New York: Springer-Verlag.</ref><ref name="Crawford1991_hist">Crawford, J. D. (1991). Introduction to bifurcation theory. ''Reviews of Modern Physics'', 63(4), 991–1037.</ref><ref name="Arnold1994_hist">Arnold, V. I.; Afraimovich, V. S.; Ilyashenko, Yu. S.; Shilnikov, L. P. (1994). ''Dynamical Systems V: Bifurcation Theory and Catastrophe Theory''. Berlin: Springer.</ref><ref name="Uecker2022_hist">Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref>。

因此，从历史脉络上看，跨[[临界]][[分岔]]并不是“先有清晰命名、后有统一理论”的对象，而是先在早期定性研究中以几何现象的形式出现，再在[[结构稳定性]]与局部[[分岔]]分类的框架中逐步被识别，最终才在现代[[非线性动力学]]中被确立为一种具有明确判别特征和广泛应用背景的基本[[分岔]]类型<ref name="Crawford1991_hist" /><ref name="Arnold1994_hist" /><ref name="Uecker2022_hist" />。

== 标准型及其性质 ==
在数学上，我们可以通过标准型来研究[[分岔]]的本质特征。对于一维[[动力系统]]（参考[[一维动力学]]），跨临界分岔的最简[[微分方程]]形式（标准型）如下<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>{{NumBlk|:|
<math display="block">
\dot{x} = rx \pm x^2
</math>
|{{EquationRef|1}}}}
* 其中<math>x \in \mathcal{R}</math>是[[状态变量]]，<math>r \in \mathcal{R}</math>为诱导[[分岔]]产生的外部参数。

跨临界[[分岔]]的关键性质在于，随着系统参数<math>r</math>的改变，[[相空间]]中原本存在的两个[[不动点]]（一个稳定，一个不稳定）相互靠近、碰撞并最终互换：稳定变不稳定，不稳定变稳定。

===求解[[不动点]]===
不动点意味着变化率为0，以<math>\dot{x}=rx-x^2</math>为例，就是<math>\dot{x}=rx-x^2=x(r-x)=0</math>。

这个一元二次方程有两个解：
<math>x^*=0</math> 和 <math>x^*=r </math>

=== 不动点及其稳定性 ===
要分析不动点的稳定性，可以通过计算不动点的一阶导数。这里就是<math>f'(x^*)=r-2x^*</math>。

当<math>r<0</math>时，
* 不动点<math>x^*=0</math>，有<math>f'(x^*)=r-2*0=r<0</math>，微小扰动会衰减，是稳定不动点。
* 不动点<math>x^*=r</math>，有<math>f'(x^*)=r-2r=-r>0</math>，微小扰动会放大，是不稳定不动点；

当 <math>r=0</math>，有<math>f'(x^*)=0</math>，此处为[[分岔]]点。

当<math>r>0</math>时，
* 不动点<math>x^*=0</math>，有<math>f'(x^*)=r-2*0=r>0</math>，微小扰动会放大，是不稳定不动点。
* 不动点<math>x^*=r</math>，有<math>f'(x^*)=r-2r=-r<0</math>，微小扰动会衰减，是稳定不动点；

===[[相图]]与[[分岔]]图===

根据以上求解和分析，对于<math>\dot{x} = rx- x^2</math>这个系统，可以画出相图和分岔图来直观展示参数变化对系统的影响。

[[相图]]即<math>\dot{x}=f(x)</math>的图像，纵坐标为<math>\dot{x}</math>，横坐标为<math>x</math>，展示了系统在参数<math>r</math>取不同值时可分为三种不同的状态。
*实心点为稳定[[不动点]]，空心点为不稳定[[不动点]]，半空心点为[[临界]]半[[稳定不动点]]，箭头为演化方向。
[[文件:书中跨临界分岔相图.jpg|缩略图]|替代=|无]]

分岔图如下：[[分岔]]图是以参数<math>r</math>为自变量，系统不动点<math>x^*</math>为因变量，能直观展示参数的取值与不动点的数量和性质的关系。

从上面的相图可以看出：当<math>r＜0</math>时，该系统的稳定不动点一直是<math>x^*=0</math>，不稳定不动点<math>x^*=r</math>；
而当<math>r＞0</math>时，该系统的稳定不动点是<math>x^*=r</math>，不稳定不动点一直是<math>x^*=0</math>；
据此，可以画出如下的跨临界分岔图

[[文件:跨临界分岔图.jpg|无|缩略图|替代=|500x500像素]]

== 案例：激光模型 ==

=== 模型描述 ===

这里介绍哈肯在1983年研究的激光模型的简化版<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>。
哈肯是协同学的创始人，他起初从事激光研究。
[[文件:激光泵.jpg|无|缩略图]]

如上图所示：外面是泵，里面有很多高能级的活跃的原子束，这些原子受激辐射会产生新的光子。泵两边都是镜子，用于反射光子。右边这个镜子中间有一个小孔，用来释放满足条件后可溢出的激光。

这个模型主要描述的是光子数的动力学变化。数学表述为：
<math display="block">
\dot{n} = gain - loss
= GnN - kn
</math>，其中<math display="block">
N(t) = N_{0} - an
</math>，代入后就是：
<math display="block">
\dot{n} = Gn (N_{0}-an) - kn
= (GN_{0} - k)n-(aG)n^2
</math>。

说明：<math>n</math> 光子数，<math>N</math>高能级原子数，<math>G</math>增益系数，<math>kn</math>光子逸出或被吸收的损耗，<math>an</math>受激辐射损失的高能级原子。

=== 分岔点 ===
对这个系统<math display="block">
\dot{n} = Gn (N_{0}-an) - kn
= (GN_{0} - k)n-(aG)n^2
</math>
，开始时，光强为0（无序）。当泵中能量增加，光强从0开始增长，当阈值(即初始高能量原子数)[math]\displaystyle{ N_{0}=\frac{k}{G}\gt 0 }[/math]时，泵中原子开始“觉醒”，齐步协同，才出现可溢出的频率、相位、方向都高度一致的光子数（激光），这时可以求出它的两个不动点：
<math display="block">
n^* = 0（不稳定）
</math>
和<math display="block">
n^*= \frac{GN_{0} - k}{aG}
</math>（稳定）。据此可以画出这个系统的相图，如下：

[[文件:书中激光相图.jpg|替代=|无框|800x800px]]

从上面的相图可以看出：当泵中光强随着能量从0（无序）开始增长到阈值(即初始高能量原子数)[math]\displaystyle{ N_{0}=\frac{k}{G}\gt 0 }[/math]时，泵中才出现可溢出的频率、相位、方向都高度一致的光子数（激光），表明它的不稳定不动点是：
<math display="block">
n^* = 0
</math>，稳定不动点是
<math display="block">，形如下面的分叉图:

[[文件:激光分岔图.jpg|无|缩略图]]

=== 物理意义 ===

[[哈肯]]提出的“[[激光]]模型”，本质上是一种跨学科的“范式转移”：它并非具体的工程设计，而是借助[[激光]]这一物理系统，来解释“无序如何产生有序”的思维框架。

该模型表明，在外部能量驱动下（如[[激光]]器中的泵浦过程），系统内部的微观粒子（原子）会自发地由无序的随机运动转变为协同一致的[[集体行为]]，从而在宏观上[[涌现]]出一种全新的高度有序状态（[[激光]]）。换言之，它用“光”的机制揭示了自然界中普遍存在的[[自组织]]现象。

具体而言，这一过程可以理解为：在普通光（如灯泡）中，原子各自独立、随机发光，其相位与方向杂乱无章；而当外部驱动达到某一[[临界阈值]]后，系统发生质变，原子开始“协同”，发出[[频率]]、相位和方向高度一致的光，即形成[[激光]]。这一跃迁揭示了从非相干（incoherent）到相干（coherent）的本质转变。

其核心机制在于“协同”与“[[序参量]]”。原子之间并非直接[[相互作用]]，而是通过其产生的电[[磁场]]（光场）这一“中介”实现协调，这个光场即为[[序参量]]。在初始阶段，光强接近于零（无序）；随着能量输入增加，光强逐渐增长，并反过来“役使”所有原子，使其服从统一的[[振荡]]节奏（即“役使原理”）。由此形成一个从微观到宏观、再由宏观反过来支配微观的[[反馈]]闭环。

更重要的是，这一模型具有高度的普适性：[[激光]]中的“原子”可以类比为任意系统的微观单元（如[[神经元]]、[[细胞]]或个体），而“光场”则对应于宏观的集体模式（如脑电波、人群共识或市场趋势）。因此，它不仅解释了[[激光]]的产生机制，更提供了一个普适的理论框架，用以说明宏观秩序如何从微观[[混沌]]中[[涌现]]，并体现出“整体大于部分之和”的普遍规律。

总的来说，[[哈肯]]的[[激光]]模型从物理层面揭示了：协同作用如何使原本混乱的个体自发形成相干、有序的[[集体行为]]，是[[协同学]]理论最经典、最具代表性的物理基础。

== 二维系统及以上 ==
与一维[[动力系统]]中的跨临界[[分岔]]类似，二维及以上的跨临界[[分岔]]同样描述了一个稳定不动点和一个不稳定不动点随参数变化而互换稳定性的过程。<ref name="Strogatz1994">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos.'' Reading, MA: Perseus Books.</ref>

===二维标准型===
<math display="block">
\begin{cases} \dot x = \mu x - x^2 \\ \dot y = -\lambda y \end{cases}
</math>

*<math>x</math>与<math>y</math>为状态变量。
*<math>\mu</math>为分岔参数。
* 一式描述了系统在<math>x</math>维度上的[[分岔]]行为。
* 二式描述了系统在<math>y</math>维度上的收缩行为（其中<math>\lambda>0</math>，通常取<math>\lambda=1</math>来简化讨论），表明系统在非[[分岔]]方向上是稳定的。

三维以上的标准型与二维类似，仅在某个维度有[[分岔]]行为（类似<math>\dot x = \mu x - x^2</math>），系统在其余维度上稳定（均为类似<math>\dot y=-\lambda y</math>的形式，其中参数<math>\lambda>0</math>）。

=== 稳定性分析 ===
这个二维系统

<math display="block">

\begin{cases} \dot x = \mu x - x^2 \\ \dot y = -\lambda y \end{cases}

</math>

相图如下：
[[文件:Hy2二维跨临界分岔.jpg|无|缩略图|800x800像素]]

<math>x</math>方向的[[不动点]]分析与一维情况完全类似。随着参数 <math>\mu</math> 的变化，二维相平面上的[[拓扑结构]]经历以下三个阶段：

1. 双[[不动点]]共存阶段 (<math>\mu < 0</math>)：
*稳定[[不动点]] <math>(0，0)</math>：在两个特征方向上均表现为吸引，对应系统的一个[[稳态]]。
*不稳定[[不动点]] <math>(\mu, 0)</math>：在 <math>y</math> 方向吸引，在 <math>x</math> 方向排斥。
[[动力学]]特征：[[相空间]]被不稳定[[不动点]]分割，大部分轨线最终收敛于稳定[[不动点]]。

2. [[临界]][[分岔]]点 (<math>\mu = 0</math>)：两个[[不动点]]在原点 <math>(0,0)</math> 处发生碰撞并融合。

3. 互换稳定性后的双[[不动点]]共存阶段 (<math>\mu > 0</math>)：
*不稳定[[不动点]] <math>(0, 0)</math>：在 <math>y</math> 方向吸引，在 <math>x</math> 方向排斥。
*稳定[[不动点]] <math>(\mu, 0)</math>：在两个特征方向上均表现为吸引，对应系统的一个[[稳态]]。
[[动力学]]特征：[[相空间]]被不稳定[[不动点]]分割，大部分轨线最终收敛于稳定[[不动点]]。

== 相关概念 ==

从[[奇点理论]]与[[突变论]]的角度看，[[鞍结点分岔]]与[[折叠突变]]（fold catastrophe）的对应关系最为直接：二者都体现为平衡解分支在临界点附近发生折叠，并导致平衡点的产生或湮灭。[[突变论]]由 [[René Thom]] 建立，其核心思想是用奇点理论研究控制参数连续变化时系统临界点结构的类型变化<ref>Arnold, V. I.; Afrajmovich, V. S.; Il’yashenko, Yu. S.; Shilnikov, L. P. (1994). ''Dynamical Systems V: Bifurcation Theory and Catastrophe Theory''. Berlin: Springer.</ref>。

相比之下，[[跨临界分岔]]不宜简单地与折叠突变直接等同。更准确地说，它是一类与折叠型奇点密切相关的零特征值局部分岔，但通常需要额外结构——例如平凡平衡分支对所有参数始终存在、不变子空间、守恒约束或对称性——才能稳定出现。它的典型特征不是平衡点的产生或消失，而是两条平衡分支在临界点相交，并在参数穿过临界值时交换稳定性<ref>Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref><ref>Crawford, J. D. (1991). Introduction to bifurcation theory. ''Reviews of Modern Physics'', 63(4), 991–1037.</ref>。

这也解释了跨临界分岔为何在历史上常与[[鞍结点分岔]]相混淆：两者在线性化层面都以零特征值为信号，但若进一步考察平衡分支的几何结构，前者表现为“分支相交并交换稳定性”，后者则表现为“分支折叠并导致平衡点成对产生或湮灭”。因此，在现代[[分岔理论]]中，鞍结点分岔通常被视为更泛型的情形，而跨临界分岔则常与[[叉式分岔]]一起，被视为需要特殊结构支持的非泛型分支点分岔<ref>Golubitsky, M.; Schaeffer, D. G. (1985). ''Singularities and Groups in Bifurcation Theory. Volume I''. New York: Springer-Verlag.</ref><ref>Uecker, H. (2022). Continuation and Bifurcation in Nonlinear PDEs: Algorithms, Applications, and Experiments. ''Jahresbericht der Deutschen Mathematiker-Vereinigung'', 124, 43–80.</ref>。

== 参考文献 ==
<references />