1,568
个编辑
更改
跳到导航
跳到搜索
Moved page from wikipedia:en:Bifurcation theory (history)
此词条暂由彩云小译翻译，未经人工整理和审校，带来阅读不便，请见谅。
{{short description|Area of mathematics}}
{{Technical|date=June 2019}}
[[File:Saddlenode.gif|thumb|right|300px|Phase portrait showing saddle-node bifurcation]]
Phase portrait showing saddle-node bifurcation
显示鞍结分岔的相位图
'''Bifurcation theory''' is the [[Mathematics|mathematical]] study of changes in the qualitative or [[topological]] structure of a given [[Family of curves|family]], such as the [[integral curve]]s of a family of [[vector field]]s, and the solutions of a family of [[differential equation]]s. Most commonly applied to the [[mathematics|mathematical]] study of [[dynamical systems]], a '''bifurcation''' occurs when a small smooth change made to the parameter values (the bifurcation parameters) of a system causes a sudden 'qualitative' or topological change in its behavior.<ref>{{Cite book |first=P. |last=Blanchard |first2=R. L. |last2=Devaney|author2-link= Robert L. Devaney |first3=G. R. |last3=Hall |title=Differential Equations |location=London |publisher=Thompson |year=2006 |pages=96–111 |isbn=978-0-495-01265-8 }}</ref> Bifurcations occur in both continuous systems (described by [[Ordinary differential equation|ODE]]s, [[Delay differential equation|DDE]]s or [[Partial differential equation|PDEs]]) and discrete systems (described by maps). The name "bifurcation" was first introduced by [[Henri Poincaré]] in 1885 in the first paper in mathematics showing such a behavior.<ref>Henri Poincaré. "''L'Équilibre d'une masse fluide animée d'un mouvement de rotation''". ''Acta Mathematica'', vol.7, pp. 259-380, Sept 1885.</ref> [[Henri Poincaré]] also later named various types of [[stationary points]] and classified them.
Bifurcation theory is the mathematical study of changes in the qualitative or topological structure of a given family, such as the integral curves of a family of vector fields, and the solutions of a family of differential equations. Most commonly applied to the mathematical study of dynamical systems, a bifurcation occurs when a small smooth change made to the parameter values (the bifurcation parameters) of a system causes a sudden 'qualitative' or topological change in its behavior. Bifurcations occur in both continuous systems (described by ODEs, DDEs or PDEs) and discrete systems (described by maps). The name "bifurcation" was first introduced by Henri Poincaré in 1885 in the first paper in mathematics showing such a behavior. Henri Poincaré also later named various types of stationary points and classified them.
分岔理论是一个数学研究的变化，在定性或拓扑结构的一个给定的家庭，如积分曲线的一族向量场，和解决方案的一族微分方程。在动力系统的数学研究中，当系统的参数值(分岔参数)发生微小的平滑变化时，系统的行为就会发生突然的“定性”或拓扑变化。在连续系统(由常微分方程、常微分方程或偏微分方程描述)和离散系统(由映射描述)中都存在分岔。1885年，亨利 · 庞加莱在第一篇数学论文中首次提出了“分岔”这一概念，揭示了这种行为。亨利 · 庞加莱后来还对各种类型的静止点进行了命名和分类。
==Bifurcation types==
It is useful to divide bifurcations into two principal classes:
It is useful to divide bifurcations into two principal classes:
将分支划分为两个主要类别是有用的:
* Local bifurcations, which can be analysed entirely through changes in the local stability properties of [[Equilibrium point|equilibria]], periodic orbits or other invariant sets as parameters cross through critical thresholds; and
* Global bifurcations, which often occur when larger invariant sets of the system 'collide' with each other, or with equilibria of the system. They cannot be detected purely by a stability analysis of the equilibria (fixed points).
===Local bifurcations===
[[File:Chaosorderchaos.png|300px|right|thumb|Period-halving bifurcations (L) leading to order, followed by period doubling bifurcations (R) leading to chaos.]]
Period-halving bifurcations (L) leading to order, followed by period doubling bifurcations (R) leading to chaos.
周期分岔(l)导致有序，周期倍增分岔(r)导致混沌。
A local bifurcation occurs when a parameter change causes the stability of an equilibrium (or fixed point) to change. In continuous systems, this corresponds to the real part of an eigenvalue of an equilibrium passing through zero. In discrete systems (those described by maps rather than ODEs), this corresponds to a fixed point having a [[Floquet multiplier]] with modulus equal to one. In both cases, the equilibrium is ''non-hyperbolic'' at the bifurcation point.
A local bifurcation occurs when a parameter change causes the stability of an equilibrium (or fixed point) to change. In continuous systems, this corresponds to the real part of an eigenvalue of an equilibrium passing through zero. In discrete systems (those described by maps rather than ODEs), this corresponds to a fixed point having a Floquet multiplier with modulus equal to one. In both cases, the equilibrium is non-hyperbolic at the bifurcation point.
当参数变化引起平衡点(或不动点)的稳定性变化时，就会发生局部分岔。在连续系统中，这相当于一个平衡特征值通过零点的实部。在离散系统中(用映射而不是常微分方程描述的系统) ，这相当于一个具有模等于1的 Floquet 乘数的不动点。在这两种情况下，平衡点在分岔点都是非双曲的。
The topological changes in the phase portrait of the system can be confined to arbitrarily small neighbourhoods of the bifurcating fixed points by moving the bifurcation parameter close to the bifurcation point (hence 'local').
The topological changes in the phase portrait of the system can be confined to arbitrarily small neighbourhoods of the bifurcating fixed points by moving the bifurcation parameter close to the bifurcation point (hence 'local').
通过将分岔参数移动到分岔点附近，系统相图的拓扑变化可以局限于分岔不动点的任意小邻域内。
More technically, consider the continuous dynamical system described by the ODE
More technically, consider the continuous dynamical system described by the ODE
更严格地说，考虑常微分方程描述的连续动力系统
:<math>\dot x=f(x,\lambda)\quad f\colon\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n.</math>
<math>\dot x=f(x,\lambda)\quad f\colon\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n.</math>
数学点 x f (x，λ) f 冒号 mathbb { r } ^ n times mathbb { r } right tarrow mathbb { r } ^ n / math
A local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the [[Jacobian matrix and determinant|Jacobian]] matrix
A local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the Jacobian matrix
如果雅可比矩阵的数学(x0， lambda 0) /
<math> \textrm{d}f_{x_0,\lambda_0}</math>
<math> \textrm{d}f_{x_0,\lambda_0}</math>
0，lambda 0} / math
has an [[Eigenvalue, eigenvector and eigenspace|eigenvalue]] with zero real part. If the eigenvalue is equal to zero, the bifurcation is a steady state bifurcation, but if the eigenvalue is non-zero but purely imaginary, this is a [[Hopf bifurcation]].
has an eigenvalue with zero real part. If the eigenvalue is equal to zero, the bifurcation is a steady state bifurcation, but if the eigenvalue is non-zero but purely imaginary, this is a Hopf bifurcation.
有一个实部为零的特征值。如果特征值等于零，则分岔为稳态分岔，但如果特征值非零而纯为虚数，则为霍普夫分岔。
For discrete dynamical systems, consider the system
For discrete dynamical systems, consider the system
对于离散动力系统，考虑系统
:<math>x_{n+1}=f(x_n,\lambda)\,.</math>
<math>x_{n+1}=f(x_n,\lambda)\,.</math>
Math x { n + 1} f (xn， lambda) ，. / math
Then a local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the matrix
Then a local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the matrix
然后在 math (x0， lambda 0) / math if the matrix
<math> \textrm{d}f_{x_0,\lambda_0}</math>
<math> \textrm{d}f_{x_0,\lambda_0}</math>
0，lambda 0} / math
has an eigenvalue with modulus equal to one. If the eigenvalue is equal to one, the bifurcation is either a saddle-node (often called fold bifurcation in maps), transcritical or pitchfork bifurcation. If the eigenvalue is equal to −1, it is a period-doubling (or flip) bifurcation, and otherwise, it is a Hopf bifurcation.
has an eigenvalue with modulus equal to one. If the eigenvalue is equal to one, the bifurcation is either a saddle-node (often called fold bifurcation in maps), transcritical or pitchfork bifurcation. If the eigenvalue is equal to −1, it is a period-doubling (or flip) bifurcation, and otherwise, it is a Hopf bifurcation.
有一个模等于1的特征值。如果特征值等于1，则分岔可以是跨临界的鞍结点(在映射中通常称为折叠分岔) ，也可以是叉式分岔分岔。如果特征值等于-1，则为倍周期分叉，否则为霍普夫分岔分叉。
Examples of local bifurcations include:
Examples of local bifurcations include:
局部分岔的例子包括:
* [[Saddle-node bifurcation|Saddle-node]] (fold) bifurcation
* [[Transcritical bifurcation]]
* [[Pitchfork bifurcation]]
* [[Period-doubling bifurcation|Period-doubling]] (flip) bifurcation
* [[Hopf bifurcation]]
* [[Neimark–Sacker bifurcation|Neimark–Sacker]] (secondary Hopf) bifurcation
===Global bifurcations===
[[Image:homoclinic_bif.png|frame|right|A phase portrait before, at, and after a homoclinic bifurcation in 2D. The periodic orbit grows until it collides with the saddle point. At the bifurcation point the period of the periodic orbit has grown to infinity and it has become a [[homoclinic orbit]]. After the bifurcation there is no longer a periodic orbit. '''Left panel''': For small parameter values, there is a [[saddle point]] at the origin and a [[limit cycle]] in the first quadrant. '''Middle panel''': As the bifurcation parameter increases, the limit cycle grows until it exactly intersects the saddle point, yielding an orbit of infinite duration. '''Right panel''': When the bifurcation parameter increases further, the limit cycle disappears completely.]]
A phase portrait before, at, and after a homoclinic bifurcation in 2D. The periodic orbit grows until it collides with the saddle point. At the bifurcation point the period of the periodic orbit has grown to infinity and it has become a [[homoclinic orbit. After the bifurcation there is no longer a periodic orbit. Left panel: For small parameter values, there is a saddle point at the origin and a limit cycle in the first quadrant. Middle panel: As the bifurcation parameter increases, the limit cycle grows until it exactly intersects the saddle point, yielding an orbit of infinite duration. Right panel: When the bifurcation parameter increases further, the limit cycle disappears completely.]]
一个相位的肖像前，在，和之后的一个同宿分岔在2 d。周期轨道不断增长，直到与鞍点相撞。在分岔点，周期轨道的周期已经增长到无穷大，它已经成为一个[同宿轨道]。分岔后不再存在周期轨道。左面板: 对于小参数值，在原点有一个鞍点，在第一象限有一个极限环。中面板: 随着分岔参数的增加，极限环逐渐增大，直到与鞍点完全相交，形成一个无限长的轨道。右面板: 当分支参数进一步增加时，极限环完全消失
Global bifurcations occur when 'larger' invariant sets, such as periodic orbits, collide with equilibria. This causes changes in the topology of the trajectories in the phase space which cannot be confined to a small neighbourhood, as is the case with local bifurcations. In fact, the changes in topology extend out to an arbitrarily large distance (hence 'global').
Global bifurcations occur when 'larger' invariant sets, such as periodic orbits, collide with equilibria. This causes changes in the topology of the trajectories in the phase space which cannot be confined to a small neighbourhood, as is the case with local bifurcations. In fact, the changes in topology extend out to an arbitrarily large distance (hence 'global').
当“较大的”不变集(如周期轨道)与平衡碰撞时，就会出现全局分岔。这导致相空间中轨迹的拓扑结构发生变化，不能像局部分叉那样局限于一个小的邻域。事实上，拓扑的变化延伸到一个任意大的距离(因此是“全局”)。
Examples of global bifurcations include:
Examples of global bifurcations include:
全球分歧的例子包括:
*'''Homoclinic bifurcation''' in which a [[limit cycle]] collides with a [[saddle point]].<ref>{{cite book |last=Strogatz |first=Steven H. |date=1994 |title=Nonlinear Dynamics and Chaos |publisher=[[Addison-Wesley]] |page=262 |isbn=0-201-54344-3 |author-link=Steven Strogatz}}</ref> Homoclinic bifurcations can occur supercritically or subcritically. The variant above is the "small" or "type I" homoclinic bifurcation. In 2D there is also the "big" or "type II" homoclinic bifurcation in which the homoclinic orbit "traps" the other ends of the unstable and stable manifolds of the saddle. In three or more dimensions, higher codimension bifurcations can occur, producing complicated, possibly [[chaos theory|chaotic]] dynamics.
*'''Heteroclinic bifurcation''' in which a limit cycle collides with two or more saddle points; they involve a [[heteroclinic cycle]].<ref>{{cite book |title=Bifurcation Theory and Methods of Dynamical Systems|last=Luo|first=Dingjun|authorlink= |publisher=World Scientific|year=1997|isbn=981-02-2094-4|page=26}}</ref> Heteroclinic bifurcations are of two types: resonance bifurcations and transverse bifurcations. Both types of bifurcation will result in the change of stability of the heteroclinic cycle. At a resonance bifurcation, the stability of the cycle changes when an algebraic condition on the [[Eigenvalues_and_eigenvectors|eigenvalues]] of the equilibria in the cycle is satisfied. This is usually accompanied by the birth or death of a [[periodic orbit]]. A transverse bifurcation of a heteroclinic cycle is caused when the real part of a transverse eigenvalue of one of the equilibria in the cycle passes through zero. This will also cause a change in stability of the heteroclinic cycle.
* '''Infinite-period bifurcation''' in which a stable node and saddle point simultaneously occur on a limit cycle.<ref>James P. Keener, "Infinite Period Bifurcation and Global Bifurcation Branches", ''SIAM Journal on Applied Mathematics'', Vol. 41, No. 1 (August, 1981), pp. 127–144.</ref> As the [[Limit (mathematics)|limit]] of a parameter approaches a certain critical value, the speed of the oscillation slows down and the period approaches infinity. The infinite-period bifurcation occurs at this critical value. Beyond the critical value, the two fixed points emerge continuously from each other on the limit cycle to disrupt the oscillation and form two [[saddle point]]s.
* [[Blue sky catastrophe]] in which a limit cycle collides with a nonhyperbolic cycle.
Global bifurcations can also involve more complicated sets such as chaotic attractors (e.g. [[Crisis (dynamical systems)|crises]]).
Global bifurcations can also involve more complicated sets such as chaotic attractors (e.g. crises).
全局分岔还可以涉及更复杂的集合，如混沌吸引子(例如混沌吸引子)。危机)。
==Codimension of a bifurcation==
The [[codimension]] of a bifurcation is the number of parameters which must be varied for the bifurcation to occur. This corresponds to the codimension of the parameter set for which the bifurcation occurs within the full space of parameters. Saddle-node bifurcations and Hopf bifurcations are the only generic local bifurcations which are really codimension-one (the others all having higher codimension). However, transcritical and pitchfork bifurcations are also often thought of as codimension-one, because the normal forms can be written with only one parameter.
The codimension of a bifurcation is the number of parameters which must be varied for the bifurcation to occur. This corresponds to the codimension of the parameter set for which the bifurcation occurs within the full space of parameters. Saddle-node bifurcations and Hopf bifurcations are the only generic local bifurcations which are really codimension-one (the others all having higher codimension). However, transcritical and pitchfork bifurcations are also often thought of as codimension-one, because the normal forms can be written with only one parameter.
分岔的余维是分岔发生时必须改变的参数个数。这对应于参数集的余维数，对于这个余维数，分岔发生在参数的整个空间。鞍结分支和 Hopf 分支是唯一真余维一的一般局部分支(其他分支均具有较高余维)。然而，跨临界分岔和干音叉分岔也经常被认为是余维数 -1，因为正规形可以只用一个参数来写。
An example of a well-studied codimension-two bifurcation is the [[Bogdanov-Takens bifurcation|Bogdanov–Takens bifurcation]].
An example of a well-studied codimension-two bifurcation is the Bogdanov–Takens bifurcation.
Bogdanov-Takens 分岔是余维 -2分岔研究的一个很好的例子。
==Applications in semiclassical and quantum physics==
Bifurcation theory has been applied to connect quantum systems to the dynamics of their classical analogues in atomic systems,<ref>{{Cite journal |title=Quantum manifestations of bifurcations of closed orbits in the photoabsorption spectra of atoms in electric fields |first=J. |last=Gao |first2=J. B. |last2=Delos |journal=Phys. Rev. A |volume=56 |issue=1 |pages=356–364 |year=1997 |doi=10.1103/PhysRevA.56.356 |bibcode = 1997PhRvA..56..356G }}</ref><ref>{{Cite journal |title=Quantum Manifestations of Bifurcations of Classical Orbits: An Exactly Solvable Model |first=A. D. |last=Peters |first2=C. |last2=Jaffé |first3=J. B. |last3=Delos |journal=Phys. Rev. Lett. |volume=73 |issue=21 |pages=2825–2828 |year=1994 |pmid=10057205 |doi=10.1103/PhysRevLett.73.2825 |bibcode=1994PhRvL..73.2825P}}</ref><ref>{{Cite journal |title=Closed Orbit Bifurcations in Continuum Stark Spectra | last1 = Courtney | first1 = Michael | last2 = Jiao | first2 = Hong | last3 = Spellmeyer | first3 = Neal | last4 = Kleppner | first4 = Daniel | last5 = Gao | first5 = J. | last6 = Delos | first6 = J. B. |journal=Phys. Rev. Lett. |volume=74 |issue=9 |pages=1538–1541 |year=1995 |pmid=10059054 |doi=10.1103/PhysRevLett.74.1538 |bibcode=1995PhRvL..74.1538C|display-authors=etal}}</ref> molecular systems,<ref>{{Cite journal |title=Bifurcation diagrams of periodic orbits for unbound molecular systems: FH2 |first=M. |last=Founargiotakis |first2=S. C. |last2=Farantos |first3=Ch. |last3=Skokos |first4=G. |last4=Contopoulos |journal=Chemical Physics Letters |volume=277 |issue=5–6 |year=1997 |pages=456–464 |doi=10.1016/S0009-2614(97)00931-7 |bibcode=1997CPL...277..456F}}</ref> and [[resonant tunneling diode]]s.<ref>{{Cite journal |title=Quantum Wells in Tilted Fields:Semiclassical Amplitudes and Phase Coherence Times |first=T. S. |last=Monteiro |lastauthoramp=yes |first2=D. S. |last2=Saraga |journal=Foundations of Physics |volume=31 |issue=2 |year=2001 |pages=355–370 |doi=10.1023/A:1017546721313 }}</ref> Bifurcation theory has also been applied to the study of [[laser dynamics]]<ref>{{Cite journal |title=The dynamical complexity of optically injected semiconductor lasers |first=S. |last=Wieczorek |first2=B. |last2=Krauskopf |first3=T. B. |last3=Simpson |lastauthoramp=yes |first4=D. |last4=Lenstra |journal=Physics Reports |volume=416 |issue=1–2 |year=2005 |pages=1–128 |doi=10.1016/j.physrep.2005.06.003 |bibcode = 2005PhR...416....1W }}</ref> and a number of theoretical examples which are difficult to access experimentally such as the kicked top<ref>{{Cite journal |title=Quantum entanglement dependence on bifurcations and scars in non-autonomous systems. The case of quantum kicked top |first=G. |last=Stamatiou |lastauthoramp=yes |first2=D. P. K. |last2=Ghikas |journal=Physics Letters A |volume=368 |issue=3–4 |year=2007 |pages=206–214 |doi=10.1016/j.physleta.2007.04.003 |arxiv = quant-ph/0702172 |bibcode = 2007PhLA..368..206S }}</ref> and coupled quantum wells.<ref>{{Cite journal |title=Chaos in a Mean Field Model of Coupled Quantum Wells; Bifurcations of Periodic Orbits in a Symmetric Hamiltonian System |first=J. |last=Galan |first2=E. |last2=Freire |journal=Reports on Mathematical Physics |volume=44 |issue=1–2 |year=1999 |pages=87–94 |doi=10.1016/S0034-4877(99)80148-7 |bibcode=1999RpMP...44...87G}}</ref> The dominant reason for the link between quantum systems and bifurcations in the classical equations of motion is that at bifurcations, the signature of classical orbits becomes large, as [[Martin Gutzwiller]] points out in his classic<ref>{{Cite journal |title=Beyond quantum mechanics: Insights from the work of Martin Gutzwiller |first=D. |last=Kleppner |first2=J. B. |last2=Delos |journal=Foundations of Physics |volume=31 |issue=4 |year=2001 |pages=593–612 |doi=10.1023/A:1017512925106 }}</ref> work on [[quantum chaos]].<ref>{{Cite book |first=Martin C. |last=Gutzwiller |title=Chaos in Classical and Quantum Mechanics |year=1990 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-97173-5 }}</ref> Many kinds of bifurcations have been studied with regard to links between classical and quantum dynamics including saddle node bifurcations, Hopf bifurcations, umbilic bifurcations, period doubling bifurcations, reconnection bifurcations, tangent bifurcations, and cusp bifurcations.
Bifurcation theory has been applied to connect quantum systems to the dynamics of their classical analogues in atomic systems, molecular systems, and resonant tunneling diodes. Bifurcation theory has also been applied to the study of laser dynamics and a number of theoretical examples which are difficult to access experimentally such as the kicked top and coupled quantum wells. The dominant reason for the link between quantum systems and bifurcations in the classical equations of motion is that at bifurcations, the signature of classical orbits becomes large, as Martin Gutzwiller points out in his classic work on quantum chaos. Many kinds of bifurcations have been studied with regard to links between classical and quantum dynamics including saddle node bifurcations, Hopf bifurcations, umbilic bifurcations, period doubling bifurcations, reconnection bifurcations, tangent bifurcations, and cusp bifurcations.
分岔理论已经应用于连接量子系统的动力学他们的经典类似物在原子系统，分子系统和共振隧穿二极管。分岔理论也被应用于激光动力学的研究，以及一些理论上难以通过实验获得的例子，如踢陀螺和耦合量子阱。正如 Martin Gutzwiller 在他关于量子混沌的经典著作中指出的那样，量子系统和经典运动方程之间存在联系的主要原因是在分岔时，经典轨道的特征变得很大。研究了经典动力学与量子动力学之间的联系，包括鞍点分岔、 Hopf 分岔、脐点分岔、周期倍增分岔、重联分岔、切线分岔和尖点分岔。
==See also==
{{Portal|Mathematics}}
* [[Bifurcation diagram]]
* [[Bifurcation memory]]
* [[Catastrophe theory]]
* [[Feigenbaum constants]]
* [[Geomagnetic reversal]]
* [[Phase portrait]]
* [[Tennis racket theorem]]
==Notes==
{{Reflist|colwidth=30em}}
== References ==
* {{cite book |first=V. S. |last=Afrajmovich |first2=V. I. |last2=Arnold |author2link=Vladimir Arnold |title=Bifurcation Theory and Catastrophe Theory |location= |publisher= |year=1994 |isbn=978-3-540-65379-0 |display-authors=etal}}
* {{cite book |first=Stephen |last=Wiggins |title=Global bifurcations and Chaos: Analytical Methods |year=1988 |publisher=Springer |location=New York |isbn=978-0-387-96775-2 |url=https://books.google.com/books?id=s1zdBwAAQBAJ }}
== External links ==
* [https://web.archive.org/web/20060502064218/http://monet.physik.unibas.ch/~elmer/pendulum/nldyn.htm Nonlinear dynamics]
* [http://www.egwald.ca/nonlineardynamics/bifurcations.php Bifurcations and Two Dimensional Flows] by Elmer G. Wiens
* [http://prola.aps.org/abstract/RMP/v63/i4/p991_1 Introduction to Bifurcation theory] by John David Crawford
{{chaos theory}}
{{DEFAULTSORT:Bifurcation Theory}}
[[Category:Bifurcation theory| ]]
[[Category:Nonlinear systems]]
Category:Nonlinear systems
类别: 非线性系统
<noinclude>
<small>This page was moved from [[wikipedia:en:Bifurcation theory]]. Its edit history can be viewed at [[分岔理论/edithistory]]</small></noinclude>
[[Category:待整理页面]]
{{short description|Area of mathematics}}
{{Technical|date=June 2019}}
[[File:Saddlenode.gif|thumb|right|300px|Phase portrait showing saddle-node bifurcation]]
Phase portrait showing saddle-node bifurcation
显示鞍结分岔的相位图
'''Bifurcation theory''' is the [[Mathematics|mathematical]] study of changes in the qualitative or [[topological]] structure of a given [[Family of curves|family]], such as the [[integral curve]]s of a family of [[vector field]]s, and the solutions of a family of [[differential equation]]s. Most commonly applied to the [[mathematics|mathematical]] study of [[dynamical systems]], a '''bifurcation''' occurs when a small smooth change made to the parameter values (the bifurcation parameters) of a system causes a sudden 'qualitative' or topological change in its behavior.<ref>{{Cite book |first=P. |last=Blanchard |first2=R. L. |last2=Devaney|author2-link= Robert L. Devaney |first3=G. R. |last3=Hall |title=Differential Equations |location=London |publisher=Thompson |year=2006 |pages=96–111 |isbn=978-0-495-01265-8 }}</ref> Bifurcations occur in both continuous systems (described by [[Ordinary differential equation|ODE]]s, [[Delay differential equation|DDE]]s or [[Partial differential equation|PDEs]]) and discrete systems (described by maps). The name "bifurcation" was first introduced by [[Henri Poincaré]] in 1885 in the first paper in mathematics showing such a behavior.<ref>Henri Poincaré. "''L'Équilibre d'une masse fluide animée d'un mouvement de rotation''". ''Acta Mathematica'', vol.7, pp. 259-380, Sept 1885.</ref> [[Henri Poincaré]] also later named various types of [[stationary points]] and classified them.
Bifurcation theory is the mathematical study of changes in the qualitative or topological structure of a given family, such as the integral curves of a family of vector fields, and the solutions of a family of differential equations. Most commonly applied to the mathematical study of dynamical systems, a bifurcation occurs when a small smooth change made to the parameter values (the bifurcation parameters) of a system causes a sudden 'qualitative' or topological change in its behavior. Bifurcations occur in both continuous systems (described by ODEs, DDEs or PDEs) and discrete systems (described by maps). The name "bifurcation" was first introduced by Henri Poincaré in 1885 in the first paper in mathematics showing such a behavior. Henri Poincaré also later named various types of stationary points and classified them.
分岔理论是一个数学研究的变化，在定性或拓扑结构的一个给定的家庭，如积分曲线的一族向量场，和解决方案的一族微分方程。在动力系统的数学研究中，当系统的参数值(分岔参数)发生微小的平滑变化时，系统的行为就会发生突然的“定性”或拓扑变化。在连续系统(由常微分方程、常微分方程或偏微分方程描述)和离散系统(由映射描述)中都存在分岔。1885年，亨利 · 庞加莱在第一篇数学论文中首次提出了“分岔”这一概念，揭示了这种行为。亨利 · 庞加莱后来还对各种类型的静止点进行了命名和分类。
==Bifurcation types==
It is useful to divide bifurcations into two principal classes:
It is useful to divide bifurcations into two principal classes:
将分支划分为两个主要类别是有用的:
* Local bifurcations, which can be analysed entirely through changes in the local stability properties of [[Equilibrium point|equilibria]], periodic orbits or other invariant sets as parameters cross through critical thresholds; and
* Global bifurcations, which often occur when larger invariant sets of the system 'collide' with each other, or with equilibria of the system. They cannot be detected purely by a stability analysis of the equilibria (fixed points).
===Local bifurcations===
[[File:Chaosorderchaos.png|300px|right|thumb|Period-halving bifurcations (L) leading to order, followed by period doubling bifurcations (R) leading to chaos.]]
Period-halving bifurcations (L) leading to order, followed by period doubling bifurcations (R) leading to chaos.
周期分岔(l)导致有序，周期倍增分岔(r)导致混沌。
A local bifurcation occurs when a parameter change causes the stability of an equilibrium (or fixed point) to change. In continuous systems, this corresponds to the real part of an eigenvalue of an equilibrium passing through zero. In discrete systems (those described by maps rather than ODEs), this corresponds to a fixed point having a [[Floquet multiplier]] with modulus equal to one. In both cases, the equilibrium is ''non-hyperbolic'' at the bifurcation point.
A local bifurcation occurs when a parameter change causes the stability of an equilibrium (or fixed point) to change. In continuous systems, this corresponds to the real part of an eigenvalue of an equilibrium passing through zero. In discrete systems (those described by maps rather than ODEs), this corresponds to a fixed point having a Floquet multiplier with modulus equal to one. In both cases, the equilibrium is non-hyperbolic at the bifurcation point.
当参数变化引起平衡点(或不动点)的稳定性变化时，就会发生局部分岔。在连续系统中，这相当于一个平衡特征值通过零点的实部。在离散系统中(用映射而不是常微分方程描述的系统) ，这相当于一个具有模等于1的 Floquet 乘数的不动点。在这两种情况下，平衡点在分岔点都是非双曲的。
The topological changes in the phase portrait of the system can be confined to arbitrarily small neighbourhoods of the bifurcating fixed points by moving the bifurcation parameter close to the bifurcation point (hence 'local').
The topological changes in the phase portrait of the system can be confined to arbitrarily small neighbourhoods of the bifurcating fixed points by moving the bifurcation parameter close to the bifurcation point (hence 'local').
通过将分岔参数移动到分岔点附近，系统相图的拓扑变化可以局限于分岔不动点的任意小邻域内。
More technically, consider the continuous dynamical system described by the ODE
More technically, consider the continuous dynamical system described by the ODE
更严格地说，考虑常微分方程描述的连续动力系统
:<math>\dot x=f(x,\lambda)\quad f\colon\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n.</math>
<math>\dot x=f(x,\lambda)\quad f\colon\mathbb{R}^n\times\mathbb{R}\rightarrow\mathbb{R}^n.</math>
数学点 x f (x，λ) f 冒号 mathbb { r } ^ n times mathbb { r } right tarrow mathbb { r } ^ n / math
A local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the [[Jacobian matrix and determinant|Jacobian]] matrix
A local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the Jacobian matrix
如果雅可比矩阵的数学(x0， lambda 0) /
<math> \textrm{d}f_{x_0,\lambda_0}</math>
<math> \textrm{d}f_{x_0,\lambda_0}</math>
0，lambda 0} / math
has an [[Eigenvalue, eigenvector and eigenspace|eigenvalue]] with zero real part. If the eigenvalue is equal to zero, the bifurcation is a steady state bifurcation, but if the eigenvalue is non-zero but purely imaginary, this is a [[Hopf bifurcation]].
has an eigenvalue with zero real part. If the eigenvalue is equal to zero, the bifurcation is a steady state bifurcation, but if the eigenvalue is non-zero but purely imaginary, this is a Hopf bifurcation.
有一个实部为零的特征值。如果特征值等于零，则分岔为稳态分岔，但如果特征值非零而纯为虚数，则为霍普夫分岔。
For discrete dynamical systems, consider the system
For discrete dynamical systems, consider the system
对于离散动力系统，考虑系统
:<math>x_{n+1}=f(x_n,\lambda)\,.</math>
<math>x_{n+1}=f(x_n,\lambda)\,.</math>
Math x { n + 1} f (xn， lambda) ，. / math
Then a local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the matrix
Then a local bifurcation occurs at <math>(x_0,\lambda_0)</math> if the matrix
然后在 math (x0， lambda 0) / math if the matrix
<math> \textrm{d}f_{x_0,\lambda_0}</math>
<math> \textrm{d}f_{x_0,\lambda_0}</math>
0，lambda 0} / math
has an eigenvalue with modulus equal to one. If the eigenvalue is equal to one, the bifurcation is either a saddle-node (often called fold bifurcation in maps), transcritical or pitchfork bifurcation. If the eigenvalue is equal to −1, it is a period-doubling (or flip) bifurcation, and otherwise, it is a Hopf bifurcation.
has an eigenvalue with modulus equal to one. If the eigenvalue is equal to one, the bifurcation is either a saddle-node (often called fold bifurcation in maps), transcritical or pitchfork bifurcation. If the eigenvalue is equal to −1, it is a period-doubling (or flip) bifurcation, and otherwise, it is a Hopf bifurcation.
有一个模等于1的特征值。如果特征值等于1，则分岔可以是跨临界的鞍结点(在映射中通常称为折叠分岔) ，也可以是叉式分岔分岔。如果特征值等于-1，则为倍周期分叉，否则为霍普夫分岔分叉。
Examples of local bifurcations include:
Examples of local bifurcations include:
局部分岔的例子包括:
* [[Saddle-node bifurcation|Saddle-node]] (fold) bifurcation
* [[Transcritical bifurcation]]
* [[Pitchfork bifurcation]]
* [[Period-doubling bifurcation|Period-doubling]] (flip) bifurcation
* [[Hopf bifurcation]]
* [[Neimark–Sacker bifurcation|Neimark–Sacker]] (secondary Hopf) bifurcation
===Global bifurcations===
[[Image:homoclinic_bif.png|frame|right|A phase portrait before, at, and after a homoclinic bifurcation in 2D. The periodic orbit grows until it collides with the saddle point. At the bifurcation point the period of the periodic orbit has grown to infinity and it has become a [[homoclinic orbit]]. After the bifurcation there is no longer a periodic orbit. '''Left panel''': For small parameter values, there is a [[saddle point]] at the origin and a [[limit cycle]] in the first quadrant. '''Middle panel''': As the bifurcation parameter increases, the limit cycle grows until it exactly intersects the saddle point, yielding an orbit of infinite duration. '''Right panel''': When the bifurcation parameter increases further, the limit cycle disappears completely.]]
A phase portrait before, at, and after a homoclinic bifurcation in 2D. The periodic orbit grows until it collides with the saddle point. At the bifurcation point the period of the periodic orbit has grown to infinity and it has become a [[homoclinic orbit. After the bifurcation there is no longer a periodic orbit. Left panel: For small parameter values, there is a saddle point at the origin and a limit cycle in the first quadrant. Middle panel: As the bifurcation parameter increases, the limit cycle grows until it exactly intersects the saddle point, yielding an orbit of infinite duration. Right panel: When the bifurcation parameter increases further, the limit cycle disappears completely.]]
一个相位的肖像前，在，和之后的一个同宿分岔在2 d。周期轨道不断增长，直到与鞍点相撞。在分岔点，周期轨道的周期已经增长到无穷大，它已经成为一个[同宿轨道]。分岔后不再存在周期轨道。左面板: 对于小参数值，在原点有一个鞍点，在第一象限有一个极限环。中面板: 随着分岔参数的增加，极限环逐渐增大，直到与鞍点完全相交，形成一个无限长的轨道。右面板: 当分支参数进一步增加时，极限环完全消失
Global bifurcations occur when 'larger' invariant sets, such as periodic orbits, collide with equilibria. This causes changes in the topology of the trajectories in the phase space which cannot be confined to a small neighbourhood, as is the case with local bifurcations. In fact, the changes in topology extend out to an arbitrarily large distance (hence 'global').
Global bifurcations occur when 'larger' invariant sets, such as periodic orbits, collide with equilibria. This causes changes in the topology of the trajectories in the phase space which cannot be confined to a small neighbourhood, as is the case with local bifurcations. In fact, the changes in topology extend out to an arbitrarily large distance (hence 'global').
当“较大的”不变集(如周期轨道)与平衡碰撞时，就会出现全局分岔。这导致相空间中轨迹的拓扑结构发生变化，不能像局部分叉那样局限于一个小的邻域。事实上，拓扑的变化延伸到一个任意大的距离(因此是“全局”)。
Examples of global bifurcations include:
Examples of global bifurcations include:
全球分歧的例子包括:
*'''Homoclinic bifurcation''' in which a [[limit cycle]] collides with a [[saddle point]].<ref>{{cite book |last=Strogatz |first=Steven H. |date=1994 |title=Nonlinear Dynamics and Chaos |publisher=[[Addison-Wesley]] |page=262 |isbn=0-201-54344-3 |author-link=Steven Strogatz}}</ref> Homoclinic bifurcations can occur supercritically or subcritically. The variant above is the "small" or "type I" homoclinic bifurcation. In 2D there is also the "big" or "type II" homoclinic bifurcation in which the homoclinic orbit "traps" the other ends of the unstable and stable manifolds of the saddle. In three or more dimensions, higher codimension bifurcations can occur, producing complicated, possibly [[chaos theory|chaotic]] dynamics.
*'''Heteroclinic bifurcation''' in which a limit cycle collides with two or more saddle points; they involve a [[heteroclinic cycle]].<ref>{{cite book |title=Bifurcation Theory and Methods of Dynamical Systems|last=Luo|first=Dingjun|authorlink= |publisher=World Scientific|year=1997|isbn=981-02-2094-4|page=26}}</ref> Heteroclinic bifurcations are of two types: resonance bifurcations and transverse bifurcations. Both types of bifurcation will result in the change of stability of the heteroclinic cycle. At a resonance bifurcation, the stability of the cycle changes when an algebraic condition on the [[Eigenvalues_and_eigenvectors|eigenvalues]] of the equilibria in the cycle is satisfied. This is usually accompanied by the birth or death of a [[periodic orbit]]. A transverse bifurcation of a heteroclinic cycle is caused when the real part of a transverse eigenvalue of one of the equilibria in the cycle passes through zero. This will also cause a change in stability of the heteroclinic cycle.
* '''Infinite-period bifurcation''' in which a stable node and saddle point simultaneously occur on a limit cycle.<ref>James P. Keener, "Infinite Period Bifurcation and Global Bifurcation Branches", ''SIAM Journal on Applied Mathematics'', Vol. 41, No. 1 (August, 1981), pp. 127–144.</ref> As the [[Limit (mathematics)|limit]] of a parameter approaches a certain critical value, the speed of the oscillation slows down and the period approaches infinity. The infinite-period bifurcation occurs at this critical value. Beyond the critical value, the two fixed points emerge continuously from each other on the limit cycle to disrupt the oscillation and form two [[saddle point]]s.
* [[Blue sky catastrophe]] in which a limit cycle collides with a nonhyperbolic cycle.
Global bifurcations can also involve more complicated sets such as chaotic attractors (e.g. [[Crisis (dynamical systems)|crises]]).
Global bifurcations can also involve more complicated sets such as chaotic attractors (e.g. crises).
全局分岔还可以涉及更复杂的集合，如混沌吸引子(例如混沌吸引子)。危机)。
==Codimension of a bifurcation==
The [[codimension]] of a bifurcation is the number of parameters which must be varied for the bifurcation to occur. This corresponds to the codimension of the parameter set for which the bifurcation occurs within the full space of parameters. Saddle-node bifurcations and Hopf bifurcations are the only generic local bifurcations which are really codimension-one (the others all having higher codimension). However, transcritical and pitchfork bifurcations are also often thought of as codimension-one, because the normal forms can be written with only one parameter.
The codimension of a bifurcation is the number of parameters which must be varied for the bifurcation to occur. This corresponds to the codimension of the parameter set for which the bifurcation occurs within the full space of parameters. Saddle-node bifurcations and Hopf bifurcations are the only generic local bifurcations which are really codimension-one (the others all having higher codimension). However, transcritical and pitchfork bifurcations are also often thought of as codimension-one, because the normal forms can be written with only one parameter.
分岔的余维是分岔发生时必须改变的参数个数。这对应于参数集的余维数，对于这个余维数，分岔发生在参数的整个空间。鞍结分支和 Hopf 分支是唯一真余维一的一般局部分支(其他分支均具有较高余维)。然而，跨临界分岔和干音叉分岔也经常被认为是余维数 -1，因为正规形可以只用一个参数来写。
An example of a well-studied codimension-two bifurcation is the [[Bogdanov-Takens bifurcation|Bogdanov–Takens bifurcation]].
An example of a well-studied codimension-two bifurcation is the Bogdanov–Takens bifurcation.
Bogdanov-Takens 分岔是余维 -2分岔研究的一个很好的例子。
==Applications in semiclassical and quantum physics==
Bifurcation theory has been applied to connect quantum systems to the dynamics of their classical analogues in atomic systems,<ref>{{Cite journal |title=Quantum manifestations of bifurcations of closed orbits in the photoabsorption spectra of atoms in electric fields |first=J. |last=Gao |first2=J. B. |last2=Delos |journal=Phys. Rev. A |volume=56 |issue=1 |pages=356–364 |year=1997 |doi=10.1103/PhysRevA.56.356 |bibcode = 1997PhRvA..56..356G }}</ref><ref>{{Cite journal |title=Quantum Manifestations of Bifurcations of Classical Orbits: An Exactly Solvable Model |first=A. D. |last=Peters |first2=C. |last2=Jaffé |first3=J. B. |last3=Delos |journal=Phys. Rev. Lett. |volume=73 |issue=21 |pages=2825–2828 |year=1994 |pmid=10057205 |doi=10.1103/PhysRevLett.73.2825 |bibcode=1994PhRvL..73.2825P}}</ref><ref>{{Cite journal |title=Closed Orbit Bifurcations in Continuum Stark Spectra | last1 = Courtney | first1 = Michael | last2 = Jiao | first2 = Hong | last3 = Spellmeyer | first3 = Neal | last4 = Kleppner | first4 = Daniel | last5 = Gao | first5 = J. | last6 = Delos | first6 = J. B. |journal=Phys. Rev. Lett. |volume=74 |issue=9 |pages=1538–1541 |year=1995 |pmid=10059054 |doi=10.1103/PhysRevLett.74.1538 |bibcode=1995PhRvL..74.1538C|display-authors=etal}}</ref> molecular systems,<ref>{{Cite journal |title=Bifurcation diagrams of periodic orbits for unbound molecular systems: FH2 |first=M. |last=Founargiotakis |first2=S. C. |last2=Farantos |first3=Ch. |last3=Skokos |first4=G. |last4=Contopoulos |journal=Chemical Physics Letters |volume=277 |issue=5–6 |year=1997 |pages=456–464 |doi=10.1016/S0009-2614(97)00931-7 |bibcode=1997CPL...277..456F}}</ref> and [[resonant tunneling diode]]s.<ref>{{Cite journal |title=Quantum Wells in Tilted Fields:Semiclassical Amplitudes and Phase Coherence Times |first=T. S. |last=Monteiro |lastauthoramp=yes |first2=D. S. |last2=Saraga |journal=Foundations of Physics |volume=31 |issue=2 |year=2001 |pages=355–370 |doi=10.1023/A:1017546721313 }}</ref> Bifurcation theory has also been applied to the study of [[laser dynamics]]<ref>{{Cite journal |title=The dynamical complexity of optically injected semiconductor lasers |first=S. |last=Wieczorek |first2=B. |last2=Krauskopf |first3=T. B. |last3=Simpson |lastauthoramp=yes |first4=D. |last4=Lenstra |journal=Physics Reports |volume=416 |issue=1–2 |year=2005 |pages=1–128 |doi=10.1016/j.physrep.2005.06.003 |bibcode = 2005PhR...416....1W }}</ref> and a number of theoretical examples which are difficult to access experimentally such as the kicked top<ref>{{Cite journal |title=Quantum entanglement dependence on bifurcations and scars in non-autonomous systems. The case of quantum kicked top |first=G. |last=Stamatiou |lastauthoramp=yes |first2=D. P. K. |last2=Ghikas |journal=Physics Letters A |volume=368 |issue=3–4 |year=2007 |pages=206–214 |doi=10.1016/j.physleta.2007.04.003 |arxiv = quant-ph/0702172 |bibcode = 2007PhLA..368..206S }}</ref> and coupled quantum wells.<ref>{{Cite journal |title=Chaos in a Mean Field Model of Coupled Quantum Wells; Bifurcations of Periodic Orbits in a Symmetric Hamiltonian System |first=J. |last=Galan |first2=E. |last2=Freire |journal=Reports on Mathematical Physics |volume=44 |issue=1–2 |year=1999 |pages=87–94 |doi=10.1016/S0034-4877(99)80148-7 |bibcode=1999RpMP...44...87G}}</ref> The dominant reason for the link between quantum systems and bifurcations in the classical equations of motion is that at bifurcations, the signature of classical orbits becomes large, as [[Martin Gutzwiller]] points out in his classic<ref>{{Cite journal |title=Beyond quantum mechanics: Insights from the work of Martin Gutzwiller |first=D. |last=Kleppner |first2=J. B. |last2=Delos |journal=Foundations of Physics |volume=31 |issue=4 |year=2001 |pages=593–612 |doi=10.1023/A:1017512925106 }}</ref> work on [[quantum chaos]].<ref>{{Cite book |first=Martin C. |last=Gutzwiller |title=Chaos in Classical and Quantum Mechanics |year=1990 |publisher=Springer-Verlag |location=New York |isbn=978-0-387-97173-5 }}</ref> Many kinds of bifurcations have been studied with regard to links between classical and quantum dynamics including saddle node bifurcations, Hopf bifurcations, umbilic bifurcations, period doubling bifurcations, reconnection bifurcations, tangent bifurcations, and cusp bifurcations.
Bifurcation theory has been applied to connect quantum systems to the dynamics of their classical analogues in atomic systems, molecular systems, and resonant tunneling diodes. Bifurcation theory has also been applied to the study of laser dynamics and a number of theoretical examples which are difficult to access experimentally such as the kicked top and coupled quantum wells. The dominant reason for the link between quantum systems and bifurcations in the classical equations of motion is that at bifurcations, the signature of classical orbits becomes large, as Martin Gutzwiller points out in his classic work on quantum chaos. Many kinds of bifurcations have been studied with regard to links between classical and quantum dynamics including saddle node bifurcations, Hopf bifurcations, umbilic bifurcations, period doubling bifurcations, reconnection bifurcations, tangent bifurcations, and cusp bifurcations.
分岔理论已经应用于连接量子系统的动力学他们的经典类似物在原子系统，分子系统和共振隧穿二极管。分岔理论也被应用于激光动力学的研究，以及一些理论上难以通过实验获得的例子，如踢陀螺和耦合量子阱。正如 Martin Gutzwiller 在他关于量子混沌的经典著作中指出的那样，量子系统和经典运动方程之间存在联系的主要原因是在分岔时，经典轨道的特征变得很大。研究了经典动力学与量子动力学之间的联系，包括鞍点分岔、 Hopf 分岔、脐点分岔、周期倍增分岔、重联分岔、切线分岔和尖点分岔。
==See also==
{{Portal|Mathematics}}
* [[Bifurcation diagram]]
* [[Bifurcation memory]]
* [[Catastrophe theory]]
* [[Feigenbaum constants]]
* [[Geomagnetic reversal]]
* [[Phase portrait]]
* [[Tennis racket theorem]]
==Notes==
{{Reflist|colwidth=30em}}
== References ==
* {{cite book |first=V. S. |last=Afrajmovich |first2=V. I. |last2=Arnold |author2link=Vladimir Arnold |title=Bifurcation Theory and Catastrophe Theory |location= |publisher= |year=1994 |isbn=978-3-540-65379-0 |display-authors=etal}}
* {{cite book |first=Stephen |last=Wiggins |title=Global bifurcations and Chaos: Analytical Methods |year=1988 |publisher=Springer |location=New York |isbn=978-0-387-96775-2 |url=https://books.google.com/books?id=s1zdBwAAQBAJ }}
== External links ==
* [https://web.archive.org/web/20060502064218/http://monet.physik.unibas.ch/~elmer/pendulum/nldyn.htm Nonlinear dynamics]
* [http://www.egwald.ca/nonlineardynamics/bifurcations.php Bifurcations and Two Dimensional Flows] by Elmer G. Wiens
* [http://prola.aps.org/abstract/RMP/v63/i4/p991_1 Introduction to Bifurcation theory] by John David Crawford
{{chaos theory}}
{{DEFAULTSORT:Bifurcation Theory}}
[[Category:Bifurcation theory| ]]
[[Category:Nonlinear systems]]
Category:Nonlinear systems
类别: 非线性系统
<noinclude>
<small>This page was moved from [[wikipedia:en:Bifurcation theory]]. Its edit history can be viewed at [[分岔理论/edithistory]]</small></noinclude>
[[Category:待整理页面]]