The stable manifold of a saddle fixed point is the set of points that converge to the fixed point under forward iteration. It’s the direction of contraction.
For a linear map with a saddle at the origin, the stable manifold is the subspace spanned by eigenvectors with .
Linear Example
Consider the diagonal linear map:
Eigenvalues: ,
Eigenvectors: ,
The y-axis is the stable manifold. Points on the y-axis satisfy:
As , every point on the y-axis converges to the origin because .
Geometric
The stable manifold is the set of initial conditions that “end up” at the fixed point. If you start on the stable manifold and iterate forward, you approach the fixed point.
Near a saddle, the stable manifold looks like the eigenvector direction associated with the contracting eigenvalue.
For saddles in :
- The stable manifold is typically a curve (1-dimensional)
- Points off the manifold diverge from the fixed point
- The stable manifold acts as a “separatrix” between basins of attraction
Nonlinear
For nonlinear maps, the stable manifold is generally curved (not a straight line). But near the fixed point, it’s tangent to the stable eigenvector direction.
The Stable Manifold Theorem guarantees that smooth stable manifolds exist for hyperbolic fixed points, and they’re tangent to the stable eigenspace at the fixed point.
- Stable manifold: converges to the fixed point under forward iteration ()
- Unstable Manifold: converges to the fixed point under backward iteration ()