Limit Cycles — Mathematics Knowledge System

Overview

A limit cycle is an isolated closed orbit in the phase plane — a periodic trajectory to which nearby trajectories spiral in (stable limit cycle) or away from (unstable limit cycle). Unlike the closed orbits around a center (which form a continuous family), limit cycles are isolated and structurally stable: small perturbations of the vector field preserve them (though they may shift). Limit cycles are the typical mechanism for sustained oscillations in nonlinear systems such as heartbeats, electronic oscillators, and predator-prey cycles. The Poincare-Bendixson theorem provides the key existence tool, while the theory of index and Bendixson's criterion give non-existence results.

Intuition

Think of a grandfather clock: the pendulum swings with a fixed amplitude regardless of whether you start it with a small push or a large one. This is a limit cycle — an oscillation that is self-correcting. If the pendulum gets too big, dissipation damps it back; if too small, the escapement mechanism kicks energy in. The result is one specific orbit that acts as an attractor. In contrast, the perfect frictionless pendulum (a center) oscillates at any amplitude with no preferred one — any closed orbit is fine, and there's no attraction. The difference is robustness: limit cycles survive under perturbation; centers generally do not.

Formal Definition

Definition

For a planar system x' = F(x), a limit cycle is a closed orbit gamma that is isolated (no nearby closed orbits). Stability is determined by whether nearby trajectories approach gamma.

\gamma: \text{ closed orbit with period } T, \quad x(t+T) = x(t)

Definition of closed orbit

\text{Stable limit cycle: } d(x(t), \gamma) \to 0 \text{ as } t \to +\infty \text{ for } x(0) \text{ near } \gamma

Stability condition

\Delta = \oint_\gamma \left(\frac{\partial f}{\partial x} + \frac{\partial g}{\partial y}\right) dt

Orbital stability exponent (Floquet exponent)

Notation

Notation	Meaning
$\gamma$	Limit cycle (closed orbit)
$T$	Period of the limit cycle
$\omega(x)$	Set of accumulation points of trajectory through x as t->+inf
$P: \Sigma \to \Sigma$	First return map on a transversal section Sigma

Theorems

Theorem X: Theorem

See definition.

Theorem X: Theorem

See definition.

Theorem X: Theorem

See definition.

Worked Examples

1
Compute the divergence: div F = partial(y)/partial(x) + partial[mu(1-x^2)y-x]/partial(y) = 0 + mu(1-x^2).
$\text{div}\, F = \mu(1 - x^2)$
2
The divergence changes sign (positive for |x|<1, negative for |x|>1), so Bendixson's criterion does not rule out limit cycles.
3
For large r = sqrt(x^2+y^2), energy analysis shows that trajectories enter the region r <= R for some large R. The origin is an unstable spiral (eigenvalues of J at origin have positive real part mu/2).
4
Create an annular region A: inner circle r = epsilon (small, enclosing the unstable origin), outer boundary where all trajectories point inward. By Poincare-Bendixson, since A contains no fixed points and is positively invariant, any trapped trajectory converges to a closed orbit.

✓ Answer

By Poincare-Bendixson, the annular region between a small circle around the unstable origin and a large outer boundary contains a stable limit cycle.

Practice Problems

Mediumfree response

Apply Bendixson's criterion to show the system dx/dt = sin(y), dy/dt = x*cos(y) has no closed orbits in the strip |y| < pi/2.

Mediumfree response

In polar coordinates, dr/dt = r(1-r^2), d(theta)/dt = 1. Describe all limit cycles, and classify their stability.

Common Mistakes

Common Mistake

Treating the closed orbits of a center the same as limit cycles.

Centers have continuous families of concentric closed orbits (structurally unstable); limit cycles are isolated closed orbits that either attract or repel nearby trajectories.

Common Mistake

Applying the Poincare-Bendixson theorem to three-dimensional systems.

The Poincare-Bendixson theorem is strictly for planar (2D) flows; in three or more dimensions, bounded trajectories with no fixed points can approach chaotic attractors.

Common Mistake

Using Bendixson's criterion to prove existence of a limit cycle.

Bendixson's criterion only provides non-existence: if divergence has constant sign in a simply connected region, no closed orbit lies entirely in that region. Existence requires Poincare-Bendixson or other tools.

Common Mistake

Thinking an unstable limit cycle repels trajectories on both sides.

An unstable limit cycle repels trajectories that start inside it (they spiral inward away from the cycle) and repels those outside it (they spiral outward). Trajectories both inside and outside move away from the cycle.

Quiz

Historical Background

Poincare introduced the concept of limit cycles in his 1881-1886 memoirs on curves defined by differential equations. He also stated the Poincare-Bendixson theorem, which was proved rigorously by Ivar Bendixson in 1901. In the early 20th century, Balthasar van der Pol discovered that electronic relaxation oscillators exhibit stable limit cycles, making the van der Pol oscillator a canonical example. Hilbert's 16th problem (1900), part of which asks for the maximum number of limit cycles of a degree-n polynomial vector field in the plane, remains largely unsolved, showing how deep limit cycle theory runs.

1881
Poincare introduces limit cycles and states the Poincare-Bendixson theorem
Henri Poincare
1901
Bendixson provides a rigorous proof of the Poincare-Bendixson theorem and his negative criterion
Ivar Bendixson
1920s
Van der Pol studies self-sustained oscillations in vacuum tube circuits
Balthasar van der Pol
1900
Hilbert poses the 16th problem about limit cycles of polynomial systems (still open)
David Hilbert

Summary

A limit cycle is an isolated closed orbit; stable ones attract nearby trajectories and represent sustained oscillations.
Poincare-Bendixson: a bounded trajectory in a region with no fixed points must approach a closed orbit (in the plane).
Bendixson's criterion: constant-sign divergence rules out closed orbits in a simply connected region.
Limit cycles are structurally stable and persist under small perturbations of the vector field, unlike centers.

References

BookStrogatz, S. H. Nonlinear Dynamics and Chaos. Westview Press, 2015. Chapters 7-8.
WebsiteWikipedia — Limit cycle