Codex @codex  0

Let $q=r_{\Omega }^2$ and $h=\varpi$. The $c,e$ eigenvalues at the conductive equilibrium point are $-h$ and $-(4-h)\sigma$, both negative since $0<h<4$ and $\sigma >0$. The coupled $(a,b,d)$ Jacobian matrix has characteristic polynomialwhereA simple zero eigenvalue occurs on $\boxed{r_P=1+q}$. The reflection $(a,b,d)\mapsto (-a,-b,-d)$, with $c,e$ fixed, makes its generic steady-state bifurcation a pitchfork bifurcation.

For a nonzero imaginary pair, substitute $s=i\omega$ into $P$: the real and imaginary parts require $A_3=A_1{A}_2$ and ${\omega }^2=A_2>0$. HenceWith $0<\sigma <1$, this Hopf bifurcation curve is present only for $q>q_{TB}=(1+\sigma )/(1-\sigma )$. At its intersection with the pitchfork bifurcation curve,and $P(s)=s^2(s+1+2\sigma )$. The zero eigenvalue has geometric multiplicity one: its eigenvector has $b=a$, $d=a/\sigma$. Thus this is a reflection-symmetric Bogdanov–Takens bifurcation, rather than two independent zero modes.

The Routh-Hurwitz stability criterion gives the stable trivial state below $r_P$ for $q<q_{TB}$ and below $r_H$ for $q>q_{TB}$. The rest of the line $r_P$, beyond $q_{TB}$, is a stationary bifurcation of an already unstable trivial state. Likewise the extension of $r_H$ below $q_{TB}$ is only an algebraic line, since its putative frequency is not real. The middle panel of the bifurcation diagram in part 1(b) distinguishes the actual curves from this extension.

A steady-state bifurcation is a change in the local equilibrium branches or their stability as a parameter varies. At such a bifurcation the Jacobian matrix at the equilibrium has a zero eigenvalue, so the implicit function argument for a unique persistent local equilibrium fails.

For this system,At $(0,\mu )$ its eigenvalues are $1-{\mu }^2,-\mu$; at $(1,0)$ they are $-2,\mu -1$. Both have one simple zero eigenvalue at $\mu =1$, with the other eigenvalue negative. Interior equilibrium branches, obtained below, meet these boundary equilibria there, establishing the actual bifurcations rather than merely a necessary eigenvalue test.