Solution

ID: past-exam-of-the-topics-in-applied-mathematics-course-of-the-university-of-oxford/2009/b/4/a/i/solution

An equilibrium is asymptotically stable when it is Lyapunov stable and attracts every initial state in some neighbourhood. Lyapunov stability means that sufficiently small initial displacement stays small for all future times; attraction additionally requires convergence to the equilibrium. A Lyapunov function is a differentiable positive-definite scalar function near the equilibrium whose derivative along solutions is nonpositive. Strict negativity, or an appropriate invariant-set argument for a non-strict derivative, gives asymptotic stability.
For , equilibria satisfy and , so only is real. Its Jacobian matrix is , with eigenvalues for every . It is a linear centre equilibrium, so linearization alone cannot decide nonlinear attraction.
Use the positive proper energy
For , energy sublevel sets are compact and invariant. The zero-derivative set is the union of the axes, but its only invariant subset is the origin: on one immediately leaves that axis, and on one has . LaSalle's invariance principle therefore proves global asymptotic stability. At the conserved energy levels are closed periodic orbits, giving a nonlinear centre equilibrium. For , time reversal together with converts the system to the attracting negative- case, so the origin is a nonlinear repeller and is unstable. Nonzero forward trajectories cannot remain bounded; this does not assert existence for all time if finite-time escape occurs.

New to topics? Read the docs here!