Eigendirection 2026-10-31
An eigendirection is the one-dimensional vector subspace spanned by an eigenvector. Multiplying the eigenvector by a nonzero scalar leaves this direction unchanged. In a planar linear dynamical system, a negative real eigenvalue gives a direction of exponential approach to the equilibrium point, while a positive one gives exponential departure. For a hyperbolic saddle equilibrium, the nonlinear stable manifold and unstable manifold are tangent to the corresponding eigendirections.
At an equilibrium point, and . The first equation gives or . Substituting in the second gives, respectively,
These are all the equilibrium points. The Jacobian matrix of the vector field is
At ,
The eigenvalue has algebraic multiplicity two and eigenspace . For the linearized coordinates , ,
Both components tend to zero. The repeated eigenvalue with one independent eigenvector makes this a stable improper degenerate node, a sink equilibrium. The term is the signature of the nontrivial Jordan block. Since it is a hyperbolic equilibrium point, the linearization stability theorem gives local asymptotic stability of the nonlinear system. Approaching trajectories are tangent to the vertical eigendirection.
At ,
One eigenvalue is positive and one negative, so this point is a saddle equilibrium. Its stable manifold is tangent to , and its unstable manifold is tangent to .
For the phase portrait, the nullclines are
Above the second line the vertical flow is downward, and below it upward. For , horizontal flow is to the right below and to the left above it; for the directions reverse. The line is invariant, with , so it flows toward . Together with the saddle's two invariant directions, these signs determine the sketch.
Figure 1.
Phase portrait with the stable improper degenerate node at , the saddle equilibrium at , and their nullclines
. Details.
For integers ,
Thus reducing coordinates modulo one gives a well-defined function on the torus . Its determinant is one and its inverse matrix is the integer matrix , so it induces a bijection of the torus. The Jacobian determinant one makes this bijection area-preserving.
Its eigenvalues solve , giving
There are therefore expanding and contracting eigendirections and no eigenvalue on the unit circle: the function is a hyperbolic toral automorphism. The Lyapunov exponents per iterate are
They sum to zero, as required by area preservation.
The four vertices of the unit square map to , the vertices of an area-one parallelogram. To reduce it modulo one, cut it by the integer grid. For each piece in the cell , translate by . Up to boundary identifications these translated pieces partition the unit square, because the inverse integer matrix gives exactly one torus preimage to every point. The colored pieces in the original diagram show the same pieces before and after these translations.
Figure 1.
Area-preserving torus map by cutting and translating its parallelogram
. Details.
For the Fibonacci identity, at the claimed matrix is . If the identity holds at , multiplication on the right by gives
Each equality uses , with the specified indexing . This proves the formula for every positive integer .
A fixed point satisfies . Since has an inverse integer matrix, this forces , so the origin is the only fixed point modulo one.
For period dividing two,
The second congruence gives ; inserting it into the first gives . Thus the complete list is
The first is the fixed origin. Direct application of exchanges the other four in exactly two pairs:
This both verifies the periodic orbits and excludes additional ones.
Finally, if is fixed by , then for an integer vector . The eigenvalues of are and , neither zero. Hence its inverse exists and has rational entries by the adjugate matrix formula for an integer matrix. Therefore has rational coordinates. The derivative of the return map is , with eigenvalues and . Every periodic point is a hyperbolic saddle fixed point of a map and is unstable, although perturbations in its stable eigendirection contract.