Introduce . Along a solution,
At , is a first integral. The identity shows its level sets are bounded: neither nor can escape to infinity on a fixed level. Consequently trajectories remain bounded as , including those starting far from the origin. This bound also prevents finite-time escape; no explicit solution is needed.
The equilibrium points are and . The Jacobian matrix at is
At the origin its eigenvalues are , with opposite signs, so the origin is a saddle point in all three cases. An eigenvector for lies on ; the stable direction has positive slope and the unstable direction negative slope. At the eigenvalues are .
When , these latter eigenvalues are . The nonlinear classification follows from the strict minima of at the two points: nearby level sets are closed curves without other equilibria, and the nonvanishing vector field makes them periodic orbits. Thus the two points are center equilibria. For , there are two separate closed ovals, one around each center equilibrium. The level consists of the saddle point and two homoclinic orbits forming a figure eight, explicitly
For , a single outer closed orbit encloses all three equilibrium points. Motion is clockwise, as the vector points downwards wherever . The upper homoclinic orbit leaves the origin into and returns through ; the lower one has the reflected orientation.
When , the two nonzero equilibrium points have eigenvalues and are unstable foci. Nearby paths spiral outward clockwise. The first integral becomes a strictly increasing energy along every nonconstant trajectory: although can momentarily vanish when , it cannot vanish on an interval unless the solution is an equilibrium. Thus there are no periodic orbits or homoclinic orbits. The two stable separatrices of the saddle point, traced backwards, spiral towards the corresponding unstable foci. Its unstable separatrices move onto positive energy and escape outwards. All other nonequilibrium trajectories outside the stable manifold are unbounded forwards: a bounded forward limit set would have to lie in , whose only invariant points are the three equilibria; the two unstable foci cannot attract a nonconstant trajectory, and convergence to the saddle occurs only on its stable manifold. Escape is not finite-time blow-up, since bounds the energy on every finite interval.
When , the eigenvalues at the nonzero points are , so they are stable foci. The energy decreases, keeping all forward trajectories in compact sublevel sets. A bounded limit set must lie in the invariant part of , so trajectories converge to equilibria: generically to one of the two stable foci, exceptionally to the saddle along its stable manifold. The saddle's unstable separatrices spiral into the two stable foci; its stable manifold separates their attraction basins. Again, energy monotonicity excludes periodic orbits and homoclinic orbits. These three cases give the quartic double-well phase portrait with linear damping below.
Figure 1.
Conservative double-well closed orbits and the outward or inward spirals produced by positive or negative alpha
. Details.