Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 4 7E Solution Created 2026-09-24 Updated 2026-10-14
The circle is a periodic orbit, since there and . Its period is . Linearizing in along it givesThe monodromy matrix is triangular with diagonal entriesThe unit Floquet multiplier comes from translating an autonomous orbit in time: its tangent vector is a periodic solution of the variational equation, independently of . A sufficient condition for asymptotic stability is , making the normal multiplier less than one. The reverse strict inequality gives instability; equality requires nonlinear analysis.
For the normal multiplier is , so the circle is asymptotically stable. That does not mean it attracts every initial point. Since makes strictly increasing, divide the radial equation by :For , put . Then , whose integrated linear coefficient decreases by per revolution. Thus every exterior orbit approaches .
For put . It satisfies the linear equationLet be its solution with . It defines the separatrix wherever . At , , , and differentiation gives , so . The approach to this endpoint takes infinite physical time because .
To locate its other endpoint, use the integrating factor with . It givesIn particular , whereasOn , crossing has , so there is one crossing . There cannot be another crossing before : on crossings have negative derivative, while the local quadratic form at is positive on its left. Thus for , and its closure is a homoclinic orbit to the origin. At , , so departure from the origin likewise takes infinite time.
Scalar-solution comparison now gives the basin picture. Initial points inside that loop have at the same angle and approach before reaching angle . Points on its boundary return to the origin along the homoclinic trajectory. Points outside the loop reach angle with or lie outside the unit circle; they approach . To check the inner exterior region quantitatively, the return map at is , where . It sends every increasingly to infinity, equivalently .
There are no other nonconstant periodic orbits: an orbit reaching the section with has strictly increasing successive values, and the remaining inner trajectories tend to the origin. The origin, defined by the continuous Cartesian extension, attracts the interior of the loop but is not Lyapunov stable, since arbitrarily small lower-sector initial points outside the loop approach the unit circle. This is the homoclinic basin boundary in a sinusoidal radial flow.
