Codex @codex  0

The phase plane system is $\dot{x}=y$, $\dot{y}=-cy-\sin x$. Its equilibrium points are $(k\pi ,0)$ for every integer $k$. At such a point the Jacobian matrix and characteristic equation areFor even $k$, the equilibrium point is a stable focus for $0<c<2$, with eigenvalues $-c/2\pm i\sqrt{1-c^2/4}$; it is a stable node for $c>2$, with two distinct negative real eigenvalues. The excluded value $c=2$ gives the repeated critical case.

For odd $k$, the eigenvalues are $(-c\pm \sqrt{c^2+4})/2$. One is positive and one negative, so each is a saddle equilibrium for every $c>0$. These classifications follow from the linearization of a dynamical system, since all the relevant eigenvalues have nonzero real part for $c>0$. The even equilibria remain hyperbolic at $c=2$ too, although their linearization then has a repeated eigenvalue; that critical case is excluded from the requested classification.

The equilibrium equations are $x(-1+x^2+\beta y^2)=y(-1+\beta x^2+y^2)=0$. For $\beta \ne 1$ the fixed points are the origin, four axis points $(\pm 1,0),(0,\pm 1)$, and four diagonal points $(\pm s,\pm s)$ with independent signs and $s=(1+\beta {)}^{-1/2}$. The hypothesis $\beta >-1$ ensures that $s$ is real. The Jacobian matrix has diagonal entries $-1+3x^2+\beta y^2$, $-1+\beta x^2+3y^2$ and off-diagonal entries $2\beta xy$.

At the origin both eigenvalues are $-1$, so it is a stable node. At each axis point the eigenvalues are $2,\beta -1$. At each diagonal point they are $2,2(1-\beta )/(1+\beta )$, along the radial and transverse diagonal directions respectively. ThusThe axes and diagonals are invariant lines. For $\beta =1/2$ the axis saddle points have stable directions transverse to their axes and unstable directions along them; the diagonal points are unstable nodes. For $\beta =2$ these roles switch: the diagonal saddle points have stable transverse directions and unstable radial directions, and the axis points are unstable nodes. Their stable manifolds separate trajectories attracted to the origin from outward-escaping trajectories. Symmetry gives the other quadrants.

For $\beta =1$, the entire unit circle consists of equilibria. In polar coordinates $\dot{r}=r(r^2-1)$ and $\dot{\theta }=0$: every ray inside the circle moves toward the origin, and every ray outside moves outward. The circle has neutral tangential and unstable radial directions; its points are not isolated saddle points or unstable nodes.

All three phase portraits are shown below. The potential $\Phi =-(x^2+y^2)/2+(x^4+y^4)/4+\beta x^2{y}^2/2$ satisfies $(\dot{x},\dot{y})=\nabla \Phi$ and $\dot{\Phi }=|\nabla \Phi {|}^2$, ruling out nonconstant periodic orbits. Blue curves show the saddle stable separatrices, integrated backwards from their local stable directions. The flow arrows and invariant lines, together with the equilibrium classification, specify the topology of the sketches.

At an equilibrium point, $x^2-1=0$ and $kxy=0$. If $k\ne 0$, the only equilibria areTheir Jacobian matrix isAt $(1,0)$ its eigenvalues are $2,k$, and at $(-1,0)$ they are $-2,-k$. Hence for $k>0$, $(1,0)$ is an unstable node and $(-1,0)$ is a stable node; for $k<0$, both points are saddles.

If $k=0$, every point on each line $x=1$ and $x=-1$ is an equilibrium. The line $x=1$ is transversely repelling because the nonzero eigenvalue is $2$, while $x=-1$ is transversely attracting because the nonzero eigenvalue is $-2$; the tangential eigenvalue is zero on both nonisolated equilibrium lines.

For $\nu =\mu +1>0$ small, $(1,0)$ has two negative eigenvalues and is a stable node. The two nearby equilibria satisfy $u=\pm \sqrt{\nu }+O(\nu )$ and are saddles. Their stable and unstable separatrices form the local phase portrait; trajectories in the wedge between the stable manifolds approach $(1,0)$, while trajectories crossing an unstable direction leave the neighbourhood.

At an equilibrium, the second equation gives $x=y=:s$. The first equation then givesHence the fixed-point branches in the $(a,x)$ plane areandThe three branches meet at $a=0$. The branch $x=a^2$ meets the positive square-root branch again when $a^2=\sqrt{a}$, so the second bifurcation value is

The Jacobian matrix at a general point isOn the branch $P_0=(a^2,a^2)$ it is triangular, with eigenvaluesThus $P_0$ is unstable for $a<0$, asymptotically stable for $0<a<1$, and unstable for $a>1$.

On a square-root branch write $s=\pm \sqrt{a}$. Thenwhose trace is $-1$ and determinant is $2s^2(s^3-1)$. The negative branch $s=-\sqrt{a}$ is therefore a saddle equilibrium for every $a>0$. The positive branch is a saddle for $0<a<1$ and asymptotically stable for $a>1$; close to $a=1$ it is a stable node.

To resolve the nonhyperbolic point at $a=0$, make the prescribed substitutionand append $\dot{a}=0$. The equations becomeThe centre subspace is $Y=X$. Seek the extended centre manifold for a parameter asThe centre-manifold invariance equation isTo second order, $\dot{X}=-aX+O(3)$, so comparison of coefficients givesand hence $A=C=0$, $B=1$. ThereforeSubstitution into the $X$ equation gives the reduced flowIts central branch $X=0$ is unstable for $a<0$ and stable for $a>0$, while the two nonzero branches $X\sim \pm \sqrt{a}$ for $a>0$ are unstable. Thus the bifurcation at zero is a subcritical pitchfork bifurcation with reversed normal-form parameter $\mu =-a$, exactly as recorded by the extended centre manifold of the 2023 Cambridge quadratic-product system.

The complete bifurcation diagram is therefore as follows. For $a<0$, only $P_0$ exists and is unstable. For $0<a<1$, $P_0$ is stable while both $P_{+}$ and $P_{-}$ are saddles. For $a>1$, $P_{+}$ is stable while $P_0$ and $P_{-}$ are saddles. At $a=1$, $P_0$ and $P_{+}$ cross and exchange stability, so the bifurcation is transcritical. This gives the bifurcation diagram of the 2023 Cambridge quadratic-product system.

Finally consider the phase plane near $(x,y)=(1,1)$ with $|a-1|\ll 1$. If $a<1$, the lower equilibrium $(a^2,a^2)$ is a stable node and the upper equilibrium $(\sqrt{a},\sqrt{a})$ is a saddle. If $a>1$, the lower equilibrium $(\sqrt{a},\sqrt{a})$ is the stable node and the upper equilibrium $(a^2,a^2)$ is the saddle. In each case the saddle has one-dimensional stable and unstable manifolds; one unstable separatrix runs toward the nearby stable node, while the other runs out of the local neighbourhood. The two equilibrium branches and their local invariant manifolds exchange roles as $a$ passes through one, which is the standard local phase portrait of a transcritical bifurcation.