Dynamical systems and ergodic theory Definition
Morse–Smale system
Builds on Non-wandering setPeriodic pointTransversalityDiffeomorphism
Definition
Let be a compact smooth manifold and let be a diffeomorphism. A periodic point of period is hyperbolic if no eigenvalue of has modulus . Such a point has a stable manifold and an unstable manifold . The diffeomorphism is Morse–Smale if the following hold.
- The non-wandering set is finite, so it consists of finitely many periodic orbits.
- Every periodic point of is hyperbolic.
- For all periodic points and , the manifolds and intersect transversally.
Remarks
For a flow generated by a vector field on , 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 that moves every point along its meridian from the north pole to the south pole . Let be its time-one map. Then , the point is a hyperbolic source and a hyperbolic sink. Here is open, so it meets 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, and are injectively immersed submanifolds of . 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
- no evidence level
- Differential of a smooth map concept
- Euclidean space object
- Function concept
- Function composition concept
- Non-wandering set concept
- Periodic point concept
- Smooth manifold concept
- Submanifold concept
- Fréchet derivative definition
- Function of several variables concept
- Transversality definition
- Limit of a function of several variables concept
- Partial derivative concept
- Differentiable function of several variables definition
- Partial derivative definition
- Differentiable on an open set definition
- Jacobian matrix definition
- Chain rule in several variables statement
- Higher partial derivatives definition
- Iterated derivative definition
- Jacobian determinant definition
- Derivative of the inverse function statement
- C^k function characterised by continuous derivatives statement
- Inverse function theorem statement
- Diffeomorphism definition
- Morse–Smale system definition
Further reading
About this page
| Tag | 10B1TS96VA |
|---|---|
| URI | m2://10B1TS96VA |
| Kind | definition |
| Writing | W0 stub |
| MSC | 37D15 |
| Defines | Morse–Smale system |
| Uses | Non-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.