Namespaces
Variants
Actions

Difference between revisions of "Bifurcation"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
A term in certain branches of mathematics, applied to situations in which some object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162001.png" /> depends on a parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162002.png" /> (which is not necessarily scalar) and which is such that in any neighbourhood of a certain value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162003.png" /> of that parameter (a bifurcation value or a bifurcation point) the qualitative properties under consideration of the object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162004.png" /> are not the same for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162005.png" />. The corresponding rigorous definitions vary in different cases, but mainly follow (in a more or less modified form) the two variants below:
+
<!--
 +
b0162001.png
 +
$#A+1 = 55 n = 0
 +
$#C+1 = 55 : ~/encyclopedia/old_files/data/B016/B.0106200 Bifurcation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A) The qualitative properties of the object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162006.png" /> being studied are the existence of other objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162007.png" />, associated with it in some manner. The bifurcation is characterized by the fact that when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162008.png" /> is varied, the objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b0162009.png" /> appear or disappear (in particular, they may coincide or else one object may generate several ones). See below (Paragraph 1)).
+
{{TEX|auto}}
 +
{{TEX|done}}
  
B) The first step is to determine under what circumstances two objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620010.png" /> are considered to be equivalent. (This definition must be such that all the qualitative properties of interest be identical for equivalent objects.) A change in the qualitative properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620011.png" /> in a neighbourhood of a bifurcation point means, by definition, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620012.png" />-values with non-equivalent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620013.png" /> are found near this point. See below (Paragraph 2)).
+
A term in certain branches of mathematics, applied to situations in which some object  $  \mathfrak D = \mathfrak D ( \lambda ) $
 +
depends on a parameter  $  \lambda $(
 +
which is not necessarily scalar) and which is such that in any neighbourhood of a certain value  $  \lambda _ {0} $
 +
of that parameter (a bifurcation value or a bifurcation point) the qualitative properties under consideration of the object  $  \mathfrak D ( \lambda ) $
 +
are not the same for all  $  \lambda $.  
 +
The corresponding rigorous definitions vary in different cases, but mainly follow (in a more or less modified form) the two variants below:
  
1) In the theory of operators the initial object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620014.png" /> is a non-linear operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620015.png" /> in a real Banach space, depending on a real parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620016.png" />, defined in a neighbourhood of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620017.png" /> and such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620018.png" />. For each fixed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620019.png" /> one associates new objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620020.png" /> to this <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620021.png" />; they are the solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620022.png" /> of the non-linear operator equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620023.png" />. A bifurcation point is a point at which a new, non-trivial, solution of this equation is generated. It is in fact a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620024.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620025.png" /> there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620027.png" />, for which the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620028.png" /> has a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620029.png" /> satisfying the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620030.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620031.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620032.png" /> is a linear [[Completely-continuous operator|completely-continuous operator]], the concept of a bifurcation point coincides with the concept of a characteristic value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620033.png" />.
+
A) The qualitative properties of the object $  \mathfrak D $
 +
being studied are the existence of other objects  $  O $,
 +
associated with it in some manner. The bifurcation is characterized by the fact that when  $  \lambda $
 +
is varied, the objects  $  O $
 +
appear or disappear (in particular, they may coincide or else one object may generate several ones). See below (Paragraph 1)).
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620034.png" /> is a non-linear completely-continuous operator which is continuously Fréchet differentiable and is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620035.png" />, then only the characteristic values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620036.png" /> can be bifurcation points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620037.png" />. It was found by a topological method [[#References|[1]]], [[#References|[2]]] that each odd-fold (in particular, simple) characteristic value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620038.png" /> is a bifurcation point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620039.png" />. An analogous sufficient condition for the case of even-fold characteristic values is formulated using the concept of the rotation of a vector field.
+
B) The first step is to determine under what circumstances two objects  $  \mathfrak D ( \lambda ) $
 +
are considered to be equivalent. (This definition must be such that all the qualitative properties of interest be identical for equivalent objects.) A change in the qualitative properties of  $  \mathfrak D ( \lambda ) $
 +
in a neighbourhood of a bifurcation point means, by definition, that $  \lambda $-
 +
values with non-equivalent  $  \mathfrak D ( \lambda ) $
 +
are found near this point. See below (Paragraph 2)).
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620040.png" /> is a non-isolated solution of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620041.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620042.png" /> is a bifurcation point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620043.png" />. It was shown by a variational method [[#References|[1]]], [[#References|[2]]] that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620044.png" /> is a non-linear completely-continuous operator in a Hilbert space which is the gradient of a weakly continuous functional, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620045.png" /> is a completely-continuous self-adjoint operator, then all characteristic values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620046.png" /> are bifurcation points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620047.png" />. The concept of a bifurcation point is also modified in the case of large solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620048.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620049.png" />. The importance of these concepts and results consists in the fact that, subject to relatively weak limitations, the branching of the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620050.png" /> can be established; in particular, it is possible to prove that the solution of the non-linear problem is not unique. The methods of the theory of [[Branching of solutions|branching of solutions]] of non-linear equations often yield more accurate information [[#References|[5]]].
+
1) In the theory of operators the initial object  $  \mathfrak D ( \lambda ) $
 +
is a non-linear operator  $  \Phi (x, \lambda ) $
 +
in a real Banach space, depending on a real parameter  $  \lambda $,
 +
defined in a neighbourhood of the point  $  x = 0 $
 +
and such that  $  \Phi (0, \lambda ) \equiv 0 $.  
 +
For each fixed  $  \lambda $
 +
one associates new objects  $  O $
 +
to this  $  \Phi $;
 +
they are the solutions  $  x $
 +
of the non-linear operator equation  $  \Phi (x, \lambda ) = x $.  
 +
A bifurcation point is a point at which a new, non-trivial, solution of this equation is generated. It is in fact a point $  \lambda _ {0} $
 +
such that for any  $  \epsilon > 0 $
 +
there exists a  $  \lambda $,  
 +
$  | \lambda - \lambda _ {0} | < \epsilon $,  
 +
for which the equation  $  x = \Phi (x, \lambda ) $
 +
has a solution  $  x ( \lambda ) $
 +
satisfying the conditions  $  0 < \| x ( \lambda ) \| < \epsilon $.  
 +
If  $  \Phi (x, \lambda ) \equiv \lambda Ax $,  
 +
where  $  A $
 +
is a linear [[Completely-continuous operator|completely-continuous operator]], the concept of a bifurcation point coincides with the concept of a characteristic value of  $  A $.
  
2) The theory of smooth dynamical systems studies one-parameter (and sometimes also two-parameter [[#References|[6]]]) families of flows (and cascades; only the former will be considered here), and the conditions under which the bifurcation is "typical" , i.e. preserves its character under a small change of the family in question [[#References|[9]]]; both variants A) and B) above are useful. In the second variant two flows are considered equivalent if there exists a homeomorphism of the phase space which converts the trajectories of the one into trajectories of the other while preserving the direction of motion. There exists a completely satisfactory theory of bifurcations of one-parameter families of flows with a two-dimensional phase space [[#References|[7]]], [[#References|[9]]], and a local variant referring to a neighbourhood of an equilibrium position or of a periodic solution in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620051.png" />-dimensional case [[#References|[6]]].
+
If  $  \Phi (x, \lambda ) $
 +
is a non-linear completely-continuous operator which is continuously Fréchet differentiable and is such that  $  \Phi _ {x} (0, \lambda ) \equiv \lambda A $,  
 +
then only the characteristic values of A $
 +
can be bifurcation points of $  \Phi $.  
 +
It was found by a topological method [[#References|[1]]], [[#References|[2]]] that each odd-fold (in particular, simple) characteristic value of  $  A $
 +
is a bifurcation point of  $  \Phi $.
 +
An analogous sufficient condition for the case of even-fold characteristic values is formulated using the concept of the rotation of a vector field.
  
In variant A) the objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620052.png" /> under study, which are associated to the given dynamical system, are the positions of an equilibrium or periodic solution, and occasionally certain invariant manifolds (mainly tori) or hyperbolic invariant sets. The "growth" of these objects — taking place "locally" near an equilibrium position, or near a periodic solution, or "semi-locally" in a neighbourhood of a "closed contour" formed by several trajectories which tend to an equilibrium position or to a periodic solution — is considered. A case of bifurcation which is connected with a similar contour in a certain sense, but which takes place (with a change of the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620053.png" />) prior to its arrival, is also possible . The growth of periodic solutions is often conveniently considered by rewriting the differential equation and the periodicity condition in the form of an integral equation to which suitable methods are applied [[#References|[5]]].
+
If  $  x = 0 $
 +
is a non-isolated solution of the equation  $  x = \Phi (x, \lambda ) $,  
 +
then  $  \lambda _ {0} $
 +
is a bifurcation point of $  \Phi $.
 +
It was shown by a variational method [[#References|[1]]], [[#References|[2]]] that if  $  \Phi (x) $
 +
is a non-linear completely-continuous operator in a Hilbert space which is the gradient of a weakly continuous functional, while  $  A = \Phi  ^  \prime  (0) $
 +
is a completely-continuous self-adjoint operator, then all characteristic values of  $  A $
 +
are bifurcation points of  $  \Phi $.  
 +
The concept of a bifurcation point is also modified in the case of large solutions  $  x ( \lambda ) \rightarrow \infty $
 +
for  $  \lambda \rightarrow \lambda _ {0} $.
 +
The importance of these concepts and results consists in the fact that, subject to relatively weak limitations, the branching of the solution  $  x = 0 $
 +
can be established; in particular, it is possible to prove that the solution of the non-linear problem is not unique. The methods of the theory of [[Branching of solutions|branching of solutions]] of non-linear equations often yield more accurate information [[#References|[5]]].
  
3) Various bifurcations of different objects (both the initial objects and those associated to them) are encountered in the theory of singularities of mappings. As a result, this term (or rather a term derived from it) is used in several different ways [[#References|[10]]], [[#References|[6]]], [[#References|[11]]], but it is more common to assign independent names to the corresponding concepts. They include, for instance, versal families (or deformations) [[#References|[6]]], [[#References|[11]]], [[#References|[12]]], which describe, in a certain sense, all possible bifurcations which may take place under a small deformation of the object under consideration. These include, in particular, seven elementary catastrophes [[#References|[12]]], which are represented by "typical" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620054.png" />-parametric (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016200/b01620055.png" />) families of functions which include a function with a degenerate critical point and which are defined in a neighbourhood of that point; they accordingly describe the corresponding bifurcation. In non-Soviet literature on the theory of singularities, the term "catastrophes" is often employed for "bifurcations" .
+
2) The theory of smooth dynamical systems studies one-parameter (and sometimes also two-parameter [[#References|[6]]]) families of flows (and cascades; only the former will be considered here), and the conditions under which the bifurcation is "typical" , i.e. preserves its character under a small change of the family in question [[#References|[9]]]; both variants A) and B) above are useful. In the second variant two flows are considered equivalent if there exists a homeomorphism of the phase space which converts the trajectories of the one into trajectories of the other while preserving the direction of motion. There exists a completely satisfactory theory of bifurcations of one-parameter families of flows with a two-dimensional phase space [[#References|[7]]], [[#References|[9]]], and a local variant referring to a neighbourhood of an equilibrium position or of a periodic solution in the  $  n $-
 +
dimensional case [[#References|[6]]].
 +
 
 +
In variant A) the objects  $  O $
 +
under study, which are associated to the given dynamical system, are the positions of an equilibrium or periodic solution, and occasionally certain invariant manifolds (mainly tori) or hyperbolic invariant sets. The "growth" of these objects — taking place "locally" near an equilibrium position, or near a periodic solution, or "semi-locally" in a neighbourhood of a "closed contour" formed by several trajectories which tend to an equilibrium position or to a periodic solution — is considered. A case of bifurcation which is connected with a similar contour in a certain sense, but which takes place (with a change of the parameter  $  \lambda $)
 +
prior to its arrival, is also possible . The growth of periodic solutions is often conveniently considered by rewriting the differential equation and the periodicity condition in the form of an integral equation to which suitable methods are applied [[#References|[5]]].
 +
 
 +
3) Various bifurcations of different objects (both the initial objects and those associated to them) are encountered in the theory of singularities of mappings. As a result, this term (or rather a term derived from it) is used in several different ways [[#References|[10]]], [[#References|[6]]], [[#References|[11]]], but it is more common to assign independent names to the corresponding concepts. They include, for instance, versal families (or deformations) [[#References|[6]]], [[#References|[11]]], [[#References|[12]]], which describe, in a certain sense, all possible bifurcations which may take place under a small deformation of the object under consideration. These include, in particular, seven elementary catastrophes [[#References|[12]]], which are represented by "typical" $  k $-
 +
parametric ( $  k \leq  4 $)  
 +
families of functions which include a function with a degenerate critical point and which are defined in a neighbourhood of that point; they accordingly describe the corresponding bifurcation. In non-Soviet literature on the theory of singularities, the term "catastrophes" is often employed for "bifurcations" .
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> M.A. Krasnosel'skii, "Topological methods in the theory of nonlinear integral equations" , Pergamon (1964) (Translated from Russian) {{MR|}} {{ZBL|0111.30303}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.G. Krein (ed.) , ''Functional analysis'' , Wolters-Noordhoff (1972) (Translated from Russian) {{MR|0390693}} {{MR|0352920}} {{ZBL|0128.10302}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> M.A. Krasnosel'skii, "Positive solutions of operator equations" , Wolters-Noordhoff (1964) (Translated from Russian) {{MR|}} {{ZBL|0121.10604}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> M.M. Vainberg, "Variational methods for the study of nonlinear operators" , Holden-Day (1964) (Translated from Russian) {{MR|0176364}} {{ZBL|0122.35501}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> M.M. Vainberg, V.A. Trenogin, "Theory of branching of solutions of non-linear equations" , Noordhoff (1974) (Translated from Russian) {{MR|0344960}} {{ZBL|0274.47033}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.I. Arnol'd, "Lectures on bifurcations and versal families" ''Russian Math. Surveys'' , '''27''' : 5 (1972) pp. 54–123 ''Uspekhi Mat. Nauk'' , '''27''' : 5 (1972) pp. 119–184</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.A. Andronov, E.A. Leontovich, I.I. Gordon, A.G. Maier, "Theory of bifurcations of dynamic systems on a plane" , Israel Program Sci. Transl. (1971) (Translated from Russian) {{MR|0344606}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8a]</TD> <TD valign="top"> N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve I" ''Math. USSR-Sb.'' , '''17''' : 4 (1972) pp. 467–485 ''Mat. Sb.'' , '''88 (130)''' : 4 (1972) pp. 475–492 {{MR|}} {{ZBL|0255.58006}} </TD></TR><TR><TD valign="top">[8b]</TD> <TD valign="top"> N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve II" ''Math. USSR-Sb.'' , '''19''' : 1 (1973) pp. 139–156 ''Mat. Sb.'' , '''90 (132)''' : 1 (1973) pp. 139–156 {{MR|}} {{ZBL|0273.58009}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> M.M. Peixoto, "On bifurcations of dynamical systems" R. James (ed.) , ''Proc. Internat. Congress Mathematicians (Vancouver, 1974)'' , '''2''' , Canad. Math. Congress (1975) pp. 315–319 {{MR|0428359}} {{ZBL|0344.58014}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> R. Thom, "The bifurcation subset of a space of maps" , ''Manifolds (Amsterdam, 1970)'' , Springer (1971) pp. 202–208 {{MR|0281222}} {{ZBL|0216.45901}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> V.I. Arnol'd, "Critical points of smooth functions and their normal form" ''Russian Math. Surveys'' , '''30''' : 5 (1975) pp. 1–75 ''Uspekhi Mat. Nauk'' , '''30''' : 5 (1975) pp. 3–65</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) {{MR|0494220}} {{ZBL|0302.58006}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> M.A. Krasnosel'skii, "Topological methods in the theory of nonlinear integral equations" , Pergamon (1964) (Translated from Russian) {{MR|}} {{ZBL|0111.30303}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.G. Krein (ed.) , ''Functional analysis'' , Wolters-Noordhoff (1972) (Translated from Russian) {{MR|0390693}} {{MR|0352920}} {{ZBL|0128.10302}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> M.A. Krasnosel'skii, "Positive solutions of operator equations" , Wolters-Noordhoff (1964) (Translated from Russian) {{MR|}} {{ZBL|0121.10604}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> M.M. Vainberg, "Variational methods for the study of nonlinear operators" , Holden-Day (1964) (Translated from Russian) {{MR|0176364}} {{ZBL|0122.35501}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> M.M. Vainberg, V.A. Trenogin, "Theory of branching of solutions of non-linear equations" , Noordhoff (1974) (Translated from Russian) {{MR|0344960}} {{ZBL|0274.47033}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.I. Arnol'd, "Lectures on bifurcations and versal families" ''Russian Math. Surveys'' , '''27''' : 5 (1972) pp. 54–123 ''Uspekhi Mat. Nauk'' , '''27''' : 5 (1972) pp. 119–184</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A.A. Andronov, E.A. Leontovich, I.I. Gordon, A.G. Maier, "Theory of bifurcations of dynamic systems on a plane" , Israel Program Sci. Transl. (1971) (Translated from Russian) {{MR|0344606}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8a]</TD> <TD valign="top"> N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve I" ''Math. USSR-Sb.'' , '''17''' : 4 (1972) pp. 467–485 ''Mat. Sb.'' , '''88 (130)''' : 4 (1972) pp. 475–492 {{MR|}} {{ZBL|0255.58006}} </TD></TR><TR><TD valign="top">[8b]</TD> <TD valign="top"> N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve II" ''Math. USSR-Sb.'' , '''19''' : 1 (1973) pp. 139–156 ''Mat. Sb.'' , '''90 (132)''' : 1 (1973) pp. 139–156 {{MR|}} {{ZBL|0273.58009}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> M.M. Peixoto, "On bifurcations of dynamical systems" R. James (ed.) , ''Proc. Internat. Congress Mathematicians (Vancouver, 1974)'' , '''2''' , Canad. Math. Congress (1975) pp. 315–319 {{MR|0428359}} {{ZBL|0344.58014}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> R. Thom, "The bifurcation subset of a space of maps" , ''Manifolds (Amsterdam, 1970)'' , Springer (1971) pp. 202–208 {{MR|0281222}} {{ZBL|0216.45901}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> V.I. Arnol'd, "Critical points of smooth functions and their normal form" ''Russian Math. Surveys'' , '''30''' : 5 (1975) pp. 1–75 ''Uspekhi Mat. Nauk'' , '''30''' : 5 (1975) pp. 3–65</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) {{MR|0494220}} {{ZBL|0302.58006}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 10:59, 29 May 2020


A term in certain branches of mathematics, applied to situations in which some object $ \mathfrak D = \mathfrak D ( \lambda ) $ depends on a parameter $ \lambda $( which is not necessarily scalar) and which is such that in any neighbourhood of a certain value $ \lambda _ {0} $ of that parameter (a bifurcation value or a bifurcation point) the qualitative properties under consideration of the object $ \mathfrak D ( \lambda ) $ are not the same for all $ \lambda $. The corresponding rigorous definitions vary in different cases, but mainly follow (in a more or less modified form) the two variants below:

A) The qualitative properties of the object $ \mathfrak D $ being studied are the existence of other objects $ O $, associated with it in some manner. The bifurcation is characterized by the fact that when $ \lambda $ is varied, the objects $ O $ appear or disappear (in particular, they may coincide or else one object may generate several ones). See below (Paragraph 1)).

B) The first step is to determine under what circumstances two objects $ \mathfrak D ( \lambda ) $ are considered to be equivalent. (This definition must be such that all the qualitative properties of interest be identical for equivalent objects.) A change in the qualitative properties of $ \mathfrak D ( \lambda ) $ in a neighbourhood of a bifurcation point means, by definition, that $ \lambda $- values with non-equivalent $ \mathfrak D ( \lambda ) $ are found near this point. See below (Paragraph 2)).

1) In the theory of operators the initial object $ \mathfrak D ( \lambda ) $ is a non-linear operator $ \Phi (x, \lambda ) $ in a real Banach space, depending on a real parameter $ \lambda $, defined in a neighbourhood of the point $ x = 0 $ and such that $ \Phi (0, \lambda ) \equiv 0 $. For each fixed $ \lambda $ one associates new objects $ O $ to this $ \Phi $; they are the solutions $ x $ of the non-linear operator equation $ \Phi (x, \lambda ) = x $. A bifurcation point is a point at which a new, non-trivial, solution of this equation is generated. It is in fact a point $ \lambda _ {0} $ such that for any $ \epsilon > 0 $ there exists a $ \lambda $, $ | \lambda - \lambda _ {0} | < \epsilon $, for which the equation $ x = \Phi (x, \lambda ) $ has a solution $ x ( \lambda ) $ satisfying the conditions $ 0 < \| x ( \lambda ) \| < \epsilon $. If $ \Phi (x, \lambda ) \equiv \lambda Ax $, where $ A $ is a linear completely-continuous operator, the concept of a bifurcation point coincides with the concept of a characteristic value of $ A $.

If $ \Phi (x, \lambda ) $ is a non-linear completely-continuous operator which is continuously Fréchet differentiable and is such that $ \Phi _ {x} (0, \lambda ) \equiv \lambda A $, then only the characteristic values of $ A $ can be bifurcation points of $ \Phi $. It was found by a topological method [1], [2] that each odd-fold (in particular, simple) characteristic value of $ A $ is a bifurcation point of $ \Phi $. An analogous sufficient condition for the case of even-fold characteristic values is formulated using the concept of the rotation of a vector field.

If $ x = 0 $ is a non-isolated solution of the equation $ x = \Phi (x, \lambda ) $, then $ \lambda _ {0} $ is a bifurcation point of $ \Phi $. It was shown by a variational method [1], [2] that if $ \Phi (x) $ is a non-linear completely-continuous operator in a Hilbert space which is the gradient of a weakly continuous functional, while $ A = \Phi ^ \prime (0) $ is a completely-continuous self-adjoint operator, then all characteristic values of $ A $ are bifurcation points of $ \Phi $. The concept of a bifurcation point is also modified in the case of large solutions $ x ( \lambda ) \rightarrow \infty $ for $ \lambda \rightarrow \lambda _ {0} $. The importance of these concepts and results consists in the fact that, subject to relatively weak limitations, the branching of the solution $ x = 0 $ can be established; in particular, it is possible to prove that the solution of the non-linear problem is not unique. The methods of the theory of branching of solutions of non-linear equations often yield more accurate information [5].

2) The theory of smooth dynamical systems studies one-parameter (and sometimes also two-parameter [6]) families of flows (and cascades; only the former will be considered here), and the conditions under which the bifurcation is "typical" , i.e. preserves its character under a small change of the family in question [9]; both variants A) and B) above are useful. In the second variant two flows are considered equivalent if there exists a homeomorphism of the phase space which converts the trajectories of the one into trajectories of the other while preserving the direction of motion. There exists a completely satisfactory theory of bifurcations of one-parameter families of flows with a two-dimensional phase space [7], [9], and a local variant referring to a neighbourhood of an equilibrium position or of a periodic solution in the $ n $- dimensional case [6].

In variant A) the objects $ O $ under study, which are associated to the given dynamical system, are the positions of an equilibrium or periodic solution, and occasionally certain invariant manifolds (mainly tori) or hyperbolic invariant sets. The "growth" of these objects — taking place "locally" near an equilibrium position, or near a periodic solution, or "semi-locally" in a neighbourhood of a "closed contour" formed by several trajectories which tend to an equilibrium position or to a periodic solution — is considered. A case of bifurcation which is connected with a similar contour in a certain sense, but which takes place (with a change of the parameter $ \lambda $) prior to its arrival, is also possible . The growth of periodic solutions is often conveniently considered by rewriting the differential equation and the periodicity condition in the form of an integral equation to which suitable methods are applied [5].

3) Various bifurcations of different objects (both the initial objects and those associated to them) are encountered in the theory of singularities of mappings. As a result, this term (or rather a term derived from it) is used in several different ways [10], [6], [11], but it is more common to assign independent names to the corresponding concepts. They include, for instance, versal families (or deformations) [6], [11], [12], which describe, in a certain sense, all possible bifurcations which may take place under a small deformation of the object under consideration. These include, in particular, seven elementary catastrophes [12], which are represented by "typical" $ k $- parametric ( $ k \leq 4 $) families of functions which include a function with a degenerate critical point and which are defined in a neighbourhood of that point; they accordingly describe the corresponding bifurcation. In non-Soviet literature on the theory of singularities, the term "catastrophes" is often employed for "bifurcations" .

References

[1] M.A. Krasnosel'skii, "Topological methods in the theory of nonlinear integral equations" , Pergamon (1964) (Translated from Russian) Zbl 0111.30303
[2] S.G. Krein (ed.) , Functional analysis , Wolters-Noordhoff (1972) (Translated from Russian) MR0390693 MR0352920 Zbl 0128.10302
[3] M.A. Krasnosel'skii, "Positive solutions of operator equations" , Wolters-Noordhoff (1964) (Translated from Russian) Zbl 0121.10604
[4] M.M. Vainberg, "Variational methods for the study of nonlinear operators" , Holden-Day (1964) (Translated from Russian) MR0176364 Zbl 0122.35501
[5] M.M. Vainberg, V.A. Trenogin, "Theory of branching of solutions of non-linear equations" , Noordhoff (1974) (Translated from Russian) MR0344960 Zbl 0274.47033
[6] V.I. Arnol'd, "Lectures on bifurcations and versal families" Russian Math. Surveys , 27 : 5 (1972) pp. 54–123 Uspekhi Mat. Nauk , 27 : 5 (1972) pp. 119–184
[7] A.A. Andronov, E.A. Leontovich, I.I. Gordon, A.G. Maier, "Theory of bifurcations of dynamic systems on a plane" , Israel Program Sci. Transl. (1971) (Translated from Russian) MR0344606
[8a] N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve I" Math. USSR-Sb. , 17 : 4 (1972) pp. 467–485 Mat. Sb. , 88 (130) : 4 (1972) pp. 475–492 Zbl 0255.58006
[8b] N.K. Gavrilov, L.P. Shil'nikov, "On three-dimensional systems close to systems with a structurally unstable homoclinic curve II" Math. USSR-Sb. , 19 : 1 (1973) pp. 139–156 Mat. Sb. , 90 (132) : 1 (1973) pp. 139–156 Zbl 0273.58009
[9] M.M. Peixoto, "On bifurcations of dynamical systems" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 2 , Canad. Math. Congress (1975) pp. 315–319 MR0428359 Zbl 0344.58014
[10] R. Thom, "The bifurcation subset of a space of maps" , Manifolds (Amsterdam, 1970) , Springer (1971) pp. 202–208 MR0281222 Zbl 0216.45901
[11] V.I. Arnol'd, "Critical points of smooth functions and their normal form" Russian Math. Surveys , 30 : 5 (1975) pp. 1–75 Uspekhi Mat. Nauk , 30 : 5 (1975) pp. 3–65
[12] P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) MR0494220 Zbl 0302.58006

Comments

A standard reference for bifurcation theory is [a1]. The presence of symmetry in a bifurcation problem can often be a powerful tool [a2]. For more precise details in the case of bifurcations of solutions to equations cf. Branching of solutions.

References

[a1] S.-N. Chow, J.K. Hale, "Methods of bifurcation theory" , Springer (1982) MR0660633 Zbl 0487.47039
[a2] D.H. Sallinger, "Branching in the presence of symmetry" , SIAM (1983)
How to Cite This Entry:
Bifurcation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bifurcation&oldid=46057
This article was adapted from an original article by D.V. AnosovV.A. Trenogin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article