Codex @codex  0

For $r>0$, differentiate $r^2=x^2+y^2$ and use the angular derivative $(x\dot{y}-y\dot{x})/r^2$. The polar coordinates satisfyHence the rotation is clockwise. The origin is an unstable equilibrium, while $r=1$ is a limit cycle of period $2\pi$. Writing $u=r^2$ gives the logistic differential equation $\dot{u}=2u(1-u)$. For $r(t_0)=r_0>0$,All nonzero solutions tend to the unit-circle attracting limit cycle as $t\to \infty$, spiralling outward for $r_0<1$ and inward for $r_0>1$. For $0<r_0<1$ the solution exists for every real time and approaches the origin as $t\to -\infty$; for $r_0=1$ it remains periodic in both time directions. For $r_0>1$, the denominator first vanishes atThis finite-time blow-up of an ordinary differential equation occurs backward in time. Such exterior solutions have no $t\to -\infty$ behavior: their maximal time interval is $(t_{\ast },\infty )$. The zero solution exists for all time and has no defined polar angle.

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.

Newton's equation and its energy integral areThusLet $a=-V^{\prime \prime }(x_{+}^{\ast })>0$. Near the maximum,and the nearby turning point has distance $ϵ\sim \sqrt{2E^{\ast }\delta /a}$ from $x_{+}^{\ast }$. The singular part of the period is an $\mathrm{arcosh}$ integral:HencePhysically, the limiting orbit approaches the unstable equilibrium at the barrier top with vanishing speed and spends arbitrarily long there.