Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/28b/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 3 28B Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
There are axis equilibria when , and for every . At an axis equilibrium the eigenvalues of the Jacobian matrix are and . Thus a negative axis root is a stable node when and a saddle when . A positive axis root is an unstable node when and a saddle when . Equalities give a zero eigenvalue.
At ,It is a saddle for . For , it is stable if , unstable if , with real node eigenvalues for and a focus for . At the node-focus transition is not a bifurcation of hyperbolicity when . For , has imaginary eigenvalues when and the linearized system is a centre. For , the candidate local bifurcation values are . When these zero-eigenvalue events coincide at , while the off-axis equilibrium also has zero-real-part imaginary eigenvalues for every .
The centre manifold theorem reduces local dynamics near zero-real-part eigenvalues to an invariant manifold tangent to their eigenspace; transverse directions with nonzero real parts retain their stable or unstable character. For a varying parameter, adjoin and use an extended centre manifold for a parameter.
Take . At near the origin, is an exact extended centre manifold. Its reduced equation isThis is a saddle-node bifurcation: no nearby axis equilibria for , one at zero, and two for . The transverse eigenvalue is positive, so the negative root is a saddle and the positive root an unstable node for small positive .
At , put , , . Then , , . Write the extended centre manifold as . Its invariance equation is . Matching degrees givesHence the reduced dynamics areThe exact equilibrium branches are and , crossing at zero and exchanging stability in the centre direction. This is a transcritical bifurcation; the transverse eigenvalue remains positive. For the axis branch is an unstable node and the off-axis branch a saddle; for their roles reverse locally.
When , the two parameter values merge and the origin at has a double zero eigenvalue with nonzero nilpotent linear part. The centre manifold is then two-dimensional, so the preceding one-dimensional classifications cannot simply be reused. Also the off-axis branch has imaginary eigenvalues for every , with identically zero trace: this is not a generic Hopf bifurcation obtained by varying . These degeneracies already follow without computing a new normal form.
New to topics? Read the docs here!