Namespaces
Variants
Actions

Difference between revisions of "Thom catastrophes"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 9: Line 9:
 
Finite determination (sufficiency) of a germ, roughly speaking, means that it is determined, up to smooth change of coordinates, by its jets (cf. [[Jet|Jet]]). More precisely, a germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265045.png" /> is said to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265047.png" />-determined if every germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265048.png" /> with the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265049.png" />-jet (that is, the same Taylor series up to order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265050.png" />) as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265051.png" /> is right equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265052.png" /> (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265053.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265054.png" /> is the germ at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265055.png" /> of a diffeomorphism; cf. [[#References|[2]]]). A germ is finitely determined if and only if it has finite codimension. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265056.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265057.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265058.png" />-determined (whence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265059.png" />-determined for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265060.png" />).
 
Finite determination (sufficiency) of a germ, roughly speaking, means that it is determined, up to smooth change of coordinates, by its jets (cf. [[Jet|Jet]]). More precisely, a germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265045.png" /> is said to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265047.png" />-determined if every germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265048.png" /> with the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265049.png" />-jet (that is, the same Taylor series up to order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265050.png" />) as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265051.png" /> is right equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265052.png" /> (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265053.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265054.png" /> is the germ at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265055.png" /> of a diffeomorphism; cf. [[#References|[2]]]). A germ is finitely determined if and only if it has finite codimension. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265056.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265057.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265058.png" />-determined (whence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265059.png" />-determined for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265060.png" />).
  
The Thom catastrophes, in contrast to the case of [[General position|general position]], are degenerate singularities (that is, the Hessian is degenerate at them), and they can be removed by a small perturbation, as mentioned above. However, in many cases of practical importance, and also theoretically, one is interested not in an individual object, but in a collection of them, depending on some "control" parameters. Degenerate singularities which are removable for each fixed value of the parameters may be removable for the collection as a whole. (Stability of Thom catastrophes may also be considered in this sense.) But then the natural object of study is not the singularity itself, but a collection (a deformation of the singularity) in which it is non-removable (or disintegrates, or "bifurcates" ) under a change of parameters. It turns out that in many cases the study of all possible deformations can be reduced to the study of a single one, which is in a certain sense so big that all the others can be obtained from it. Such deformations are called versal and they, in turn, can be obtained from a universal (or miniversal) deformation, which is characterized by having least possible dimension of its parameter space. The most important result here is Mather's theorem: A singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265061.png" /> has a universal deformation if and only if its codimension is finite.
+
The Thom catastrophes, in contrast to the case of [[General position|general position]], are degenerate singularities (that is, the Hessian is degenerate at them), and they can be removed by a small perturbation, as mentioned above. However, in many cases of practical importance, and also theoretically, one is interested not in an individual object, but in a collection of them, depending on some "control" parameters. Degenerate singularities which are removable for each fixed value of the parameters may be removable for the collection as a whole. (Stability of Thom catastrophes may also be considered in this sense.) But then the natural object of study is not the singularity itself, but a collection (a deformation of the singularity) in which it is non-removable (or disintegrates, or "bifurcates" ) under a change of parameters. It turns out that in many cases the study of all possible deformations can be reduced to the study of a single one, which is in a certain sense so big that all the others can be obtained from it. Such deformations are called versal and they, in turn, can be obtained from a universal (or miniversal) deformation, which is characterized by having least possible dimension of its parameter space. The most important result here is Mather's theorem: A singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265061.png" /> has a universal deformation if and only if its codimension is finite.
  
 
A deformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265063.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265064.png" />, of a germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265065.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265066.png" />, is given by a formula
 
A deformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265063.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265064.png" />, of a germ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265065.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265066.png" />, is given by a formula
Line 17: Line 17:
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265068.png" /> is an arbitrary collection of representative elements of a basis of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265069.png" />. Thom catastrophes correspond to deformations with at most four parameters.
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265068.png" /> is an arbitrary collection of representative elements of a basis of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265069.png" />. Thom catastrophes correspond to deformations with at most four parameters.
  
Important for applications is the so-called bifurcation set, or singular set, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265070.png" />; its projection to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265071.png" />-space, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265072.png" />, is called the catastrophe set. It lies in the control space and hence is "observable" , and all "discontinuities" or "catastrophes" originate from it. Fig.1a, Fig.1b and Fig.1c illustrate the cases corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265073.png" />.
+
Important for applications is the so-called bifurcation set, or singular set, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265070.png" />; its projection to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265071.png" />-space, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265072.png" />, is called the catastrophe set. It lies in the control space and hence is "observable" , and all "discontinuities" or "catastrophes" originate from it. Fig.1a, Fig.1b and Fig.1c illustrate the cases corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092650/t09265073.png" />.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t092650a.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t092650a.gif" />
Line 32: Line 32:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> R. Thom,   "Topological models in biology" ''Topology'' , '''8''' (1969) pp. 313–335</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> P. Bröcker,   L. Lander,   "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> T. Poston,   I. Stewart,   "Catastrophe theory and its applications" , Pitman (1978)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> R. Thom, "Topological models in biology" ''Topology'' , '''8''' (1969) pp. 313–335 {{MR|0245318}} {{ZBL|0165.23301}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) {{MR|0494220}} {{ZBL|0302.58006}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> T. Poston, I. Stewart, "Catastrophe theory and its applications" , Pitman (1978) {{MR|0501079}} {{ZBL|0382.58006}} </TD></TR></table>
  
  
Line 40: Line 40:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Thom,   "Structural stability and morphogenesis" , Benjamin (1976) (Translated from French)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Thom,   "Mathematical models of morphogenesis" , Wiley (1983) (Translated from French)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> V.I. Arnol'd,   "Catastrophe theory" , Springer (1984) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E.C. Zeeman,   "Catastrophe theory" , Addison-Wesley (1977)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Thom, "Structural stability and morphogenesis" , Benjamin (1976) (Translated from French) {{MR|0488155}} {{MR|0488156}} {{ZBL|0392.92001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Thom, "Mathematical models of morphogenesis" , Wiley (1983) (Translated from French) {{MR|0729829}} {{ZBL|0565.92002}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> V.I. Arnol'd, "Catastrophe theory" , Springer (1984) (Translated from Russian) {{MR|}} {{ZBL|0791.00009}} {{ZBL|0746.58001}} {{ZBL|0704.58001}} {{ZBL|0721.01001}} {{ZBL|0674.01033}} {{ZBL|0645.58001}} {{ZBL|0797.58002}} {{ZBL|0517.58002}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E.C. Zeeman, "Catastrophe theory" , Addison-Wesley (1977) {{MR|0474383}} {{ZBL|0398.58012}} </TD></TR></table>

Revision as of 17:02, 15 April 2012

Singularities of differentiable mappings, whose classification was announced by R. Thom [1] in terms of their gradient dynamical systems and the analogous list of critical points of codimension (cf. Critical point) of differentiable functions. The original formulation of Thom's result is that a generic four-parameter family of functions is stable, and in the neighbourhood of a critical point it behaves, up to sign and change of variable, like one of seven cases (cf. Table).'

<tbody> </tbody>
Notation Codim Corank Germ Universal deformation Name
1 1 Fold
2 1 Cusp
3 1 Swallow-tail
3 2 Hyperbolic umbilic
3 2 Elliptic umbilic
4 2 Butterfly
4 2 Parabolic umbilic

The germs (cf. Germ) corresponding to the Thom catastrophes are finitely determined (specifically, -determined: in appropriate coordinates they correspond to polynomials in two variables of degrees ).

The codimension serves as a measure of the complexity of a critical point. Any small perturbation of a function of leads to a function with at most complex critical points. The codimension of a singularity (that is, of a germ such that ) is the number , where and is the ideal generated by the germs . For example, if , then , and the residue classes of form a basis of , so that . The inequality , holds, where is the corank of the Hessian . Hence, in particular, if , then .

Finite determination (sufficiency) of a germ, roughly speaking, means that it is determined, up to smooth change of coordinates, by its jets (cf. Jet). More precisely, a germ is said to be -determined if every germ with the same -jet (that is, the same Taylor series up to order ) as is right equivalent to (i.e. where is the germ at of a diffeomorphism; cf. [2]). A germ is finitely determined if and only if it has finite codimension. In particular, if , then is -determined (whence -determined for ).

The Thom catastrophes, in contrast to the case of general position, are degenerate singularities (that is, the Hessian is degenerate at them), and they can be removed by a small perturbation, as mentioned above. However, in many cases of practical importance, and also theoretically, one is interested not in an individual object, but in a collection of them, depending on some "control" parameters. Degenerate singularities which are removable for each fixed value of the parameters may be removable for the collection as a whole. (Stability of Thom catastrophes may also be considered in this sense.) But then the natural object of study is not the singularity itself, but a collection (a deformation of the singularity) in which it is non-removable (or disintegrates, or "bifurcates" ) under a change of parameters. It turns out that in many cases the study of all possible deformations can be reduced to the study of a single one, which is in a certain sense so big that all the others can be obtained from it. Such deformations are called versal and they, in turn, can be obtained from a universal (or miniversal) deformation, which is characterized by having least possible dimension of its parameter space. The most important result here is Mather's theorem: A singularity has a universal deformation if and only if its codimension is finite.

A deformation , , , of a germ , , is given by a formula

where is an arbitrary collection of representative elements of a basis of the space . Thom catastrophes correspond to deformations with at most four parameters.

Important for applications is the so-called bifurcation set, or singular set, ; its projection to the -space, the set , is called the catastrophe set. It lies in the control space and hence is "observable" , and all "discontinuities" or "catastrophes" originate from it. Fig.1a, Fig.1b and Fig.1c illustrate the cases corresponding to .

Figure: t092650a

Figure: t092650b

Figure: t092650c

References

[1] R. Thom, "Topological models in biology" Topology , 8 (1969) pp. 313–335 MR0245318 Zbl 0165.23301
[2] P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) MR0494220 Zbl 0302.58006
[3] T. Poston, I. Stewart, "Catastrophe theory and its applications" , Pitman (1978) MR0501079 Zbl 0382.58006


Comments

References

[a1] R. Thom, "Structural stability and morphogenesis" , Benjamin (1976) (Translated from French) MR0488155 MR0488156 Zbl 0392.92001
[a2] R. Thom, "Mathematical models of morphogenesis" , Wiley (1983) (Translated from French) MR0729829 Zbl 0565.92002
[a3] V.I. Arnol'd, "Catastrophe theory" , Springer (1984) (Translated from Russian) Zbl 0791.00009 Zbl 0746.58001 Zbl 0704.58001 Zbl 0721.01001 Zbl 0674.01033 Zbl 0645.58001 Zbl 0797.58002 Zbl 0517.58002
[a4] E.C. Zeeman, "Catastrophe theory" , Addison-Wesley (1977) MR0474383 Zbl 0398.58012
How to Cite This Entry:
Thom catastrophes. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Thom_catastrophes&oldid=18262
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article