Two-Dimensional Flows - Key Properties

Planar dynamical systems exhibit structural properties that distinguish them from both one-dimensional and higher-dimensional systems. The Poincare-Bendixson theorem provides a complete characterization of long-term behavior, while index theory offers topological tools for understanding fixed points and closed orbits.

DefinitionInvariant Manifolds

For a saddle fixed point $\mathbf{x}^*$ with eigenvalues $\lambda_1 < 0 < \lambda_2$ , there exist curves through $\mathbf{x}^*$ called stable and unstable manifolds:

$W^s(\mathbf{x}^*) = \{\mathbf{x} : \phi_t(\mathbf{x}) \to \mathbf{x}^* \text{ as } t \to \infty\}$ $W^u(\mathbf{x}^*) = \{\mathbf{x} : \phi_t(\mathbf{x}) \to \mathbf{x}^* \text{ as } t \to -\infty\}$

These manifolds are tangent to the eigenspaces of $J$ at $\mathbf{x}^*$ and divide the phase plane into regions with qualitatively different dynamics. Trajectories approach the saddle along $W^s$ and depart along $W^u$ .

Stable and unstable manifolds are fundamental objects in understanding global dynamics. In planar systems, these manifolds are one-dimensional curves that cannot cross except at fixed points. Their configuration determines the basin boundaries and the routes by which trajectories transition between different regions of phase space.

DefinitionPoincare Map

Given a closed orbit $\gamma$ or a limit cycle, choose a transverse section $\Sigma$ —a curve intersecting $\gamma$ transversely. The Poincare map (or return map) $P: \Sigma \to \Sigma$ takes a point $p \in \Sigma$ to the next intersection point of the trajectory through $p$ with $\Sigma$ .

The stability of the closed orbit is determined by the derivative $P'$ at the intersection point. The orbit is stable if $|P'| < 1$ and unstable if $|P'| > 1$ .

The Poincare map reduces the study of continuous-time periodic orbits to discrete-time dynamics on a lower-dimensional space. This powerful technique allows us to apply one-dimensional methods to analyze the stability and bifurcations of limit cycles.

DefinitionIndex of a Fixed Point

The index of an isolated fixed point $\mathbf{x}^*$ is an integer $I(\mathbf{x}^*)$ measuring how many times the vector field wraps around as one traverses a small closed curve encircling $\mathbf{x}^*$ . For planar systems:

Sources, sinks, and centers have index $I = +1$
Saddle points have index $I = -1$
The sum of indices of all fixed points inside a closed curve equals the number of times the vector field winds around the curve

ExampleVan der Pol Oscillator

The Van der Pol equation models nonlinear oscillations with damping that depends on amplitude:

$\ddot{x} - \mu(1 - x^2)\dot{x} + x = 0$

For $\mu > 0$ , this system has:

An unstable fixed point (source) at the origin with index $+1$
A unique stable limit cycle attracting all trajectories except the origin

The negative damping for small $|x|$ pumps energy into the system, while positive damping for large $|x|$ dissipates energy, creating self-sustained oscillations. The limit cycle's shape becomes increasingly sharp as $\mu$ increases, exhibiting relaxation oscillations.

Remark

Index theory provides topological constraints on phase portraits. For instance, a simple closed curve in the plane must enclose fixed points whose indices sum to $+1$ . This means a limit cycle must enclose at least one fixed point with positive index (source, sink, or center) or a combination of saddles and other fixed points totaling index $+1$ . Such topological arguments can rule out certain configurations without solving the differential equations explicitly.

These properties—invariant manifolds, Poincare maps, and index theory—form the theoretical toolkit for analyzing planar flows. They reveal that while two-dimensional systems are more complex than one-dimensional ones, admitting limit cycles and richer phase portraits, they still possess strong structural properties that constrain their behavior. The Poincare-Bendixson theorem, which we examine next, crystallizes these constraints into a powerful classification result.