Math 2.0

Dynamical systems and ergodic theory Definition

Morse–Smale system

Builds on Non-wandering setPeriodic pointTransversalityDiffeomorphism

Definition

Let MM be a compact smooth manifold and let f ⁣:M→Mf \colon M \to M be a C1C^1 diffeomorphism. A periodic point pp of period nn is hyperbolic if no eigenvalue of DfpnDf^n_p has modulus 11. Such a point has a stable manifold Ws(p)W^s(p) and an unstable manifold Wu(p)W^u(p). The diffeomorphism ff is Morse–Smale if the following hold.

  1. The non-wandering set Ω(f)\Omega(f) is finite, so it consists of finitely many periodic orbits.
  2. Every periodic point of ff is hyperbolic.
  3. For all periodic points pp and qq, the manifolds Ws(p)W^s(p) and Wu(q)W^u(q) intersect transversally.

Remarks

For a flow φt\varphi_t generated by a vector field on MM, the non-wandering set must be the union of finitely many equilibria and closed orbits. All of them must be hyperbolic, with transverse stable and unstable manifolds. Example: consider the flow on the round sphere S2S^2 that moves every point along its meridian from the north pole NN to the south pole SS. Let ff be its time-one map. Then Ω(f)={N,S}\Omega(f) = \set{N, S}, the point NN is a hyperbolic source and SS a hyperbolic sink. Here Ws(S)=S2∖{N}W^s(S) = S^2 \setminus \set{N} is open, so it meets Wu(N)W^u(N) transversally, and the other intersections are single points with full-dimensional manifolds or empty. Non-example: an irrational rotation of the circle has no periodic points, and its non-wandering set is the whole circle, so clause 1 fails. By the stable manifold theorem for hyperbolic periodic points, Ws(p)W^s(p) and Wu(p)W^u(p) are injectively immersed submanifolds of MM. Smale showed that the gradient flow of a Morse function satisfies clause 3 after a small change of the metric.

Reading path

To understand this page from the ground up, read these 26 pages in order. The foundations come first.

Show the path as a graph
Differential of a smooth map, concept, no evidence levelDifferential of a smo…conceptEuclidean space, object, no evidence levelEuclidean spaceobjectFunction, concept, no evidence levelFunctionconceptFunction composition, concept, no evidence levelFunction compositionconceptNon-wandering set, concept, no evidence levelNon-wandering setconceptPeriodic point, concept, no evidence levelPeriodic pointconceptSmooth manifold, concept, no evidence levelSmooth manifoldconceptSubmanifold, concept, no evidence levelSubmanifoldconceptFréchet derivative, definition, no evidence levelFréchet derivativedefinitionFunction of several variables, concept, no evidence levelFunction of several v…conceptTransversality, definition, no evidence levelTransversalitydefinitionLimit of a function of several variables, concept, no evidence levelLimit of a function o…conceptPartial derivative, concept, no evidence levelPartial derivativeconceptDifferentiable function of several variables, definition, no evidence levelDifferentiable functi…definitionPartial derivative, definition, no evidence levelPartial derivativedefinitionDifferentiable on an open set, definition, no evidence levelDifferentiable on an …definitionJacobian matrix, definition, no evidence levelJacobian matrixdefinitionChain rule in several variables, statement, no evidence levelChain rule in several…statementHigher partial derivatives, definition, no evidence levelHigher partial deriva…definitionIterated derivative, definition, no evidence levelIterated derivativedefinitionJacobian determinant, definition, no evidence levelJacobian determinantdefinitionDerivative of the inverse function, statement, no evidence levelDerivative of the inv…statementC^k function characterised by continuous derivatives, statement, no evidence levelC^k function characte…statementInverse function theorem, statement, no evidence levelInverse function theo…statementDiffeomorphism, definition, no evidence levelDiffeomorphismdefinitionMorse–Smale system, definition, no evidence levelMorse–Smale systemdefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential of a smooth map concept
  2. Euclidean space object
  3. Function concept
  4. Function composition concept
  5. Non-wandering set concept
  6. Periodic point concept
  7. Smooth manifold concept
  8. Submanifold concept
  9. Fréchet derivative definition
  10. Function of several variables concept
  11. Transversality definition
  12. Limit of a function of several variables concept
  13. Partial derivative concept
  14. Differentiable function of several variables definition
  15. Partial derivative definition
  16. Differentiable on an open set definition
  17. Jacobian matrix definition
  18. Chain rule in several variables statement
  19. Higher partial derivatives definition
  20. Iterated derivative definition
  21. Jacobian determinant definition
  22. Derivative of the inverse function statement
  23. C^k function characterised by continuous derivatives statement
  24. Inverse function theorem statement
  25. Diffeomorphism definition
  26. Morse–Smale system definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Morse%E2%80%93Smale_system
About this page
Tag10B1TS96VA
URIm2://10B1TS96VA
Kinddefinition
WritingW0 stub
MSC37D15
DefinesMorse–Smale system
UsesNon-wandering set, Periodic point, Transversality, Diffeomorphism

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.