Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 2 / 32E / b

Take the Dulac function $B=1$. Fordirect differentiation givesThe quadratic form in parentheses has matrixwhose eigenvalues are $14$ and $40$, so it is positive definite. For $0<k\le 3$ the divergence is nonpositive and vanishes only at the origin when $k=3$. The Bendixson-Dulac criterion therefore gives

Let $R=x^2+y^2$. The cross terms in the linear part cancel, andBoth quadratic forms in the product are positive definite, with least eigenvalue $2$. HenceOn the circle $R=k/2$, the right-hand side is $-k^2<0$, so the disc $R\le k/2$ is forward invariant. While $R\ge k/2$, the same estimate gives $\dot{R}\le -2kR$; therefore every trajectory starting outside the disc enters it in finite time. One suitable choice is

The Jacobian matrix at the origin isIts eigenvalues areThus, when $k>3$, the origin is a hyperbolic repelling spiral. By part (ii), every forward trajectory is eventually trapped in a compact disc. For $k<10$ the hypothesis says that the origin is the only equilibrium; choose any nonstationary trajectory sufficiently close to it. Its omega-limit set is nonempty and compact, and it cannot contain the repelling origin. The Poincare-Bendixson theorem then says that this omega-limit set is a periodic orbit. Combining the restrictions gives