Namespaces
Variants
Actions

Difference between revisions of "Local structural stability"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
''of a compact invariant set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602001.png" /> of a smooth dynamical system''
+
{{TEX|done}}
 +
''of a compact invariant set $F$ of a smooth dynamical system''
  
The preservation of all topological properties of the system in some neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602002.png" /> under any sufficiently small (in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602003.png" /> sense) perturbation of the system. More precisely, local structural stability consists in the following: There are neighbourhoods <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602004.png" /> and for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602005.png" /> there is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602006.png" /> such that under a perturbation of the original system in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602007.png" /> at a distance at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602008.png" /> from it in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l0602009.png" />-metric there is a homeomorphic imbedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020010.png" /> that shifts points by at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020011.png" /> and takes segments of trajectories of the original system lying in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020012.png" /> to segments of trajectories of the perturbed system. (Thus, strictly speaking, local structural stability is a property not of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020013.png" /> itself but of the system considered in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020014.png" />.)
+
The preservation of all topological properties of the system in some neighbourhood of $F$ under any sufficiently small (in the $C^1$ sense) perturbation of the system. More precisely, local structural stability consists in the following: There are neighbourhoods $U\supset V\supset F$ and for any $\epsilon>0$ there is a $\delta>0$ such that under a perturbation of the original system in $U$ at a distance at most $\delta$ from it in the $C^1$-metric there is a homeomorphic imbedding $V\to U$ that shifts points by at most $\epsilon$ and takes segments of trajectories of the original system lying in $V$ to segments of trajectories of the perturbed system. (Thus, strictly speaking, local structural stability is a property not of the set $F$ itself but of the system considered in a neighbourhood of $F$.)
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020015.png" /> is an equilibrium position of a [[Flow (continuous-time dynamical system)|flow (continuous-time dynamical system)]] (or a fixed point of a cascade, that is, a dynamical system with discrete time), then the local structural stability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020016.png" /> implies the preservation of the topological properties of the system under linearization at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060200/l06020017.png" />. It is almost obvious that in this case a necessary condition for local structural stability is that the eigen values of the linearized system are outside the imaginary axis (respectively, do not lie on the unit circle). The condition is also sufficient (the Grobman–Hartman theorem, see [[#References|[1]]], Chapt. IX). From this it is easy to derive a necessary and sufficient condition for the local structural stability of a periodic trajectory of a flow: Only one multiplier (cf. [[Multipliers|Multipliers]]) of the variational equation lies on the unit circle. There are also results about the local structural stability of certain hyperbolic sets (see [[Hyperbolic set|Hyperbolic set]], and [[#References|[2]]], ).
+
If $F$ is an equilibrium position of a [[Flow (continuous-time dynamical system)|flow (continuous-time dynamical system)]] (or a fixed point of a cascade, that is, a dynamical system with discrete time), then the local structural stability of $F$ implies the preservation of the topological properties of the system under linearization at the point $F$. It is almost obvious that in this case a necessary condition for local structural stability is that the eigen values of the linearized system are outside the imaginary axis (respectively, do not lie on the unit circle). The condition is also sufficient (the Grobman–Hartman theorem, see [[#References|[1]]], Chapt. IX). From this it is easy to derive a necessary and sufficient condition for the local structural stability of a periodic trajectory of a flow: Only one multiplier (cf. [[Multipliers|Multipliers]]) of the variational equation lies on the unit circle. There are also results about the local structural stability of certain hyperbolic sets (see [[Hyperbolic set|Hyperbolic set]], and [[#References|[2]]], ).
  
 
====References====
 
====References====

Latest revision as of 12:20, 26 July 2014

of a compact invariant set $F$ of a smooth dynamical system

The preservation of all topological properties of the system in some neighbourhood of $F$ under any sufficiently small (in the $C^1$ sense) perturbation of the system. More precisely, local structural stability consists in the following: There are neighbourhoods $U\supset V\supset F$ and for any $\epsilon>0$ there is a $\delta>0$ such that under a perturbation of the original system in $U$ at a distance at most $\delta$ from it in the $C^1$-metric there is a homeomorphic imbedding $V\to U$ that shifts points by at most $\epsilon$ and takes segments of trajectories of the original system lying in $V$ to segments of trajectories of the perturbed system. (Thus, strictly speaking, local structural stability is a property not of the set $F$ itself but of the system considered in a neighbourhood of $F$.)

If $F$ is an equilibrium position of a flow (continuous-time dynamical system) (or a fixed point of a cascade, that is, a dynamical system with discrete time), then the local structural stability of $F$ implies the preservation of the topological properties of the system under linearization at the point $F$. It is almost obvious that in this case a necessary condition for local structural stability is that the eigen values of the linearized system are outside the imaginary axis (respectively, do not lie on the unit circle). The condition is also sufficient (the Grobman–Hartman theorem, see [1], Chapt. IX). From this it is easy to derive a necessary and sufficient condition for the local structural stability of a periodic trajectory of a flow: Only one multiplier (cf. Multipliers) of the variational equation lies on the unit circle. There are also results about the local structural stability of certain hyperbolic sets (see Hyperbolic set, and [2], ).

References

[1] P. Hartman, "Ordinary differential equations" , Birkhäuser (1982)
[2] D.V. Anosov, "On a class of invariant sets in smooth dynamical systems" , Proc. Fifth Internat. Conf. Non-Linear Oscillations , 2 , Kiev (1970) pp. 39–45 (In Russian)
[3a] C. Robinson, "Structural stability of vector fields" Ann. of Math. (2) , 99 (1974) pp. 154–175
[3b] C. Robinson, "Correction to "Structural stability of vector fields" " Ann. of Math. (2) , 101 (1975) pp. 368


Comments

Instead of "multiplier of the variational equation" one uses also "Floquet multiplier34C99Floquet multiplier" .

How to Cite This Entry:
Local structural stability. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Local_structural_stability&oldid=18688
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article