Codex @codex  0

Write $z=x+y$. When ${\mu }_1={\mu }_2=0$ the system gives $\dot{z}=y-z^3$ and $\dot{y}=-z^3$. Choosingmakes $V$ positive definite and radially unbounded, while its orbital derivative isThe set $\{\dot{V}=0\}$ is $z=0$. A trajectory remaining there must also have $\dot{z}=y=0$, so its largest invariant subset is the origin. The LaSalle invariance principle therefore proves that the origin is globally asymptotically stable. In the phase plane, $\dot{x}=0$ on $y=0$ and $\dot{y}=0$ on $x+y=0$; every nonstationary trajectory crosses the nested level curves of $V$ inward and tends to the origin.

At an equilibrium point, $y=0$ andHence the origin always exists, while $x=\pm \sqrt{{\mu }_1}$ exist for ${\mu }_1>0$. At $(x_{\ast },0)$ the Jacobian matrix isA stationary bifurcation occurs when a real eigenvalue passes through zero, hence onA Hopf bifurcation requires zero trace and positive determinant. At the origin this givesand on either nonzero branch it givesThus the Hopf locus consists of the negative ${\mu }_1$-axis and the ray ${\mu }_2=3{\mu }_1$ in the first quadrant; the stationary locus is the ${\mu }_2$-axis.

Now set ${\mu }_2=-1$, write $\mu ={\mu }_1$, and append $\dot{\mu }=0$. At $(x,y,\mu )=(0,0,0)$ the extended centre manifold for a parameter is tangent to the $(x,\mu )$-plane, so put $y=h(x,\mu )$. Its centre-manifold invariance equation isUnder the ordering $\mu =O(x^2)$, solving through cubic order givesThis is the pitchfork bifurcation normal form: $x=0$ is stable for $\mu <0$ and unstable for $\mu >0$, while the two stable branches $x=\pm \sqrt{\mu }$ emerge for $\mu >0$. The bifurcation is therefore a supercritical pitchfork bifurcation.

A fixed point satisfiesThe branch with $y=0$ isEvery other fixed point can be parametrized by its $x$-coordinate:Equivalently,The $x_{-}$ pair exists for $0\le a\le 4$, and the $x_{+}$ pair for $3\le a\le 4$.

The Jacobian matrix isOn $P_0(a)$ its eigenvalues are $1$ and $a(3-a)$, so this branch has a nonhyperbolic equilibrium at $a=0$ and $a=3$. On a nonzero-$y$ branch,which vanishes at $x=2$, hence at $a=4$ and $y=\pm \sqrt{2}$. The three bifurcation values and locations are therefore

For the center manifold calculation, append $\dot{a}=0$ as in the extended centre manifold for a parameter.

At $(a,x,y)=(0,0,0)$ put $\mu =a$ and write the centre manifold as $x=h(y,\mu )$. Its centre-manifold invariance equation isIt gives $h=\mu -y^2+O(3)$, and henceThis is the pitchfork bifurcation normal form with stable nonzero centre branches for $\mu >0$: the bifurcation at $a=0$ is supercritical.

At $(a,x,y)=(3,3,0)$ put $u=x-3$ and $\mu =a-3$. ThenAgain $u=h(y,\mu )=\mu -y^2+O(3)$, soThe nonzero centre branches exist for $\mu >0$ and are unstable in the centre direction, whereas $y=0$ is centre-stable there. Thus the bifurcation at $a=3$ is a subcritical pitchfork bifurcation with reversed normal-form parameter.

Finally fix $y_0=\pm \sqrt{2}$ and putThe translated system isThe extended centre manifold hasand thereforeThis is the saddle-node bifurcation normal form. For $\mu <0$ there are two nearby fixed points, which coalesce and disappear at $\mu =0$. The complete reductions are recorded in the Extended centre-manifold reductions of the 2019 Cambridge reflection-symmetric system.

There are two bifurcations in $0\le k\le 1/2$, both at $k=0$.

Near $(0,0,0)$, append $\dot{k}=0$. The plane $y=0$ is invariant and tangent to the extended center subspace, so it is an extended center manifold. The reduced equation is exactlyIts leading terms $-kx-3x^2$ have two branches, $x=0$ and $x=-k/3+O(k^2)$, which cross and exchange their center-direction stability. Hence this is a transcritical bifurcation.

For the bifurcation at $(1,2,0)$, setThe extended system becomesSolving the centre-manifold invariance equation for $v=h(X,k)$ givesSubstitution into the $X$ equation yieldsFor $k>0$ this has two nearby equilibria $X=\pm \sqrt{k}+O(k)$, while for $k<0$ it has none. It is therefore a saddle-node bifurcation. These reductions are collected in bifurcations of the 2022 Cambridge quadratic-cubic system.

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.