Codex @codex  0

There are axis equilibria $E_{\pm }=(\pm \sqrt{\mu },0)$ when $\mu \ge 0$, and $E_a=(a,a^2-\mu )$ for every $\mu$. At an axis equilibrium $(x_{\ast },0)$ the eigenvalues of the Jacobian matrix are $2x_{\ast }$ and $a-x_{\ast }$. Thus a negative axis root is a stable node when $a<x_{\ast }$ and a saddle when $a>x_{\ast }$. A positive axis root is an unstable node when $a>x_{\ast }$ and a saddle when $a<x_{\ast }$. Equalities give a zero eigenvalue.

At $E_a$,It is a saddle for $\mu <a^2$. For $\mu >a^2$, it is stable if $a<0$, unstable if $a>0$, with real node eigenvalues for $a^2<\mu \le 2a^2$ and a focus for $\mu >2a^2$. At $\mu =2a^2$ the node-focus transition is not a bifurcation of hyperbolicity when $a\ne 0$. For $a=0$, $E_a$ has imaginary eigenvalues when $\mu >0$ and the linearized system is a centre. For $a\ne 0$, the candidate local bifurcation values are $\boxed{\mu =0and\mu =a^2}$. When $a=0$ these zero-eigenvalue events coincide at $\mu =0$, while the off-axis equilibrium also has zero-real-part imaginary eigenvalues for every $\mu >0$.

The centre manifold theorem reduces local dynamics near zero-real-part eigenvalues to an invariant manifold tangent to their eigenspace; transverse directions with nonzero real parts retain their stable or unstable character. For a varying parameter, adjoin $\dot{\mu }=0$ and use an extended centre manifold for a parameter.

Take $a=1$. At $\mu =0$ near the origin, $y=0$ is an exact extended centre manifold. Its reduced equation isThis is a saddle-node bifurcation: no nearby axis equilibria for $\mu <0$, one at zero, and two for $\mu >0$. The transverse eigenvalue is positive, so the negative root is a saddle and the positive root an unstable node for small positive $\mu$.

At $\mu =1$, put $u=x-1$, $v=y$, $\nu =\mu -1$. Then $\dot{u}=2u+u^2-v-\nu$, $\dot{v}=-uv$, $\dot{\nu }=0$. Write the extended centre manifold as $u=h(v,\nu )$. Its invariance equation is $h_v(-hv)=2h+h^2-v-\nu$. Matching degrees givesHence the reduced dynamics areThe exact equilibrium branches are $v=0$ and $v=-\nu$, crossing at zero and exchanging stability in the centre direction. This is a transcritical bifurcation; the transverse eigenvalue remains positive. For $\nu <0$ the axis branch is an unstable node and the off-axis branch a saddle; for $\nu >0$ their roles reverse locally.

When $a=0$, the two parameter values merge and the origin at $\mu =0$ has a double zero eigenvalue with nonzero nilpotent linear part. The centre manifold is then two-dimensional, so the preceding one-dimensional classifications cannot simply be reused. Also the off-axis branch has imaginary eigenvalues for every $\mu >0$, with identically zero trace: this is not a generic Hopf bifurcation obtained by varying $\mu$. These degeneracies already follow without computing a new normal form.

The centre manifold theorem gives, near an equilibrium of a sufficiently smooth system, a local invariant manifold tangent to the generalized eigenspaces with zero-real-part eigenvalues, expressible as a graph of a function over them. Its reduced dynamics govern local equilibria and their stability in the presence of strictly stable transverse directions. The manifold need not be unique or analytic; finite Taylor jets can nevertheless be determined from invariance. Treating a parameter as a variable with $\dot{\mu }=0$ gives the extended centre manifold for a parameter.

At $r=1$ the linearized $(x,y)$ block has eigenvalues $0,-2$, and the $z$ direction has eigenvalue $-1$. Thus the origin is a nonhyperbolic equilibrium, with stable dimension two and non-extended centre dimension one. The extended centre dimension is two. The transformed equations areThe graph of a function satisfies $V(0,0)=Z(0,0)=0$ and $DV(0,0)=DZ(0,0)=0$, with invariance equations $V_u\dot{u}=\dot{v}$ and $Z_u\dot{u}=\dot{z}$. Symmetry permits $V$ odd and $Z$ even in $u$. Giving $u$ weight one and $\mu$ weight two, comparison yieldsHere $O_{\mathrm{w}}(j)$ means terms of weighted order at least $j$ under the stated scaling. If $a<1$, the pitchfork bifurcation is supercritical: stable branches $u\sim \pm \sqrt{\mu /(1-a)}$ appear for $\mu >0$ as the origin loses stability. If $a>1$, it is a subcritical pitchfork bifurcation: unstable branches occur for $\mu <0$, while the origin is stable there.

For $a=1$, assign $\mu$ weight four. The leading cubic terms in $\dot{u}$ cancel. The invariance equations now give $V=u^3/2+O_{\mathrm{w}}(5)$ and $Z=u^2+0u^4+O_{\mathrm{w}}(6)$: $Z_u\dot{u}$ first contributes at weight six and $v^2$ also first contributes there. Substitution then givesThe derivative along the nonzero branches is $-2\mu >0$, so they are unstable. The origin is stable for $\mu <0$, unstable for $\mu >0$, and nonlinearly unstable at $\mu =0$ because the leading term is $+u^5$. This is a degenerate subcritical pitchfork bifurcation.

The centre manifold theorem states that near an equilibrium whose linearization has centre, stable, and unstable spectral subspaces $E^c,E^s,E^u$, there is a local invariant manifold $W^c$ tangent to $E^c$ at the equilibrium. It can be written locally as a graph over $E^c$, and the dynamics on it govern the local nonhyperbolic behaviour. The manifold need not be unique, but its finite Taylor expansion is determined to the required order by the invariance equation.

For a parameter-dependent system, the key step in forming the extended centre manifold is to promote the parameter to a dynamical variable:The parameter direction then has zero eigenvalue and is included in the extended centre subspace.