Use the Galerkin method, rather than pointwise equality: products generate harmonics outside the retained five-dimensional space. Put , , and denote the five prefactors by
The retained streamfunction is , the retained temperature perturbation is , and the retained magnetic-flux perturbation is . These satisfy all the stated boundary conditions. Let , the streamfunction advection bracket. Orthogonality of the sine and cosine modes gives the following coefficients of the retained harmonics:
For example the contribution to the temperature bracket is . The magnetic bracket follows by writing : and . These identities exhibit both the retained terms and discarded harmonics.
Before rescaling time, the projected coefficient equations are
Substitute the prefactors and divide time derivatives by . With , and , the resulting five-mode vertical-field magnetoconvection equations are
Here primes denote differentiation in . The factor is , which checks the magnetic nonlinear sign. There is a terminology qualification in the source: on this thermal diffusion time scale, its is the magnetic-to-thermal diffusivity ratio . The conventional magnetic Prandtl number is , where is the Prandtl number. The displayed equations and subsequent calculation use the source's unchanged.
The truncated fields must be interpreted as a Galerkin method approximation: project each equation onto its retained spatial modes and discard orthogonal higher harmonics. They are not an exact pointwise solution of the full partial differential equations, because the nonlinear terms generate additional harmonics. Write , , and abbreviate the printed normalizations by
Then , , and . All five amplitudes a,b,c,d,e depend on . Use the spatial Jacobian determinant and the inner product over the stated rectangle. Orthogonality of the trigonometric modes makes projection equivalent to retaining their coefficients. In particular, , so .
For the temperature equation, direct products give
The other temperature contribution is . Since , its retained component is . Thus the projected temperature equation is
Here the dot denotes . Since and , these equations give and .
Similarly, the two magnetic-advection products are
while has retained component . The projected induction equation is therefore
Using and gives and .
It remains to project the Lorentz force in the vorticity equation. The linear term is . The nonlinear cross term is
The Jacobian on the right is . Its retained component is , so the total retained magnetic term is
Meanwhile the projected acceleration, viscous term and temperature forcing have coefficients , , and . Divide the projected vorticity equation by to obtain , using and . This derives the complete five-mode vertical-field magnetoconvection system:
The Rayleigh number, Chandrasekhar number, Prandtl number and magnetic-to-thermal diffusivity ratio enter through r,q, and respectively.
Linearization at the zero-amplitude state leaves c and e with negative rates and , while a,b,d have coefficient matrix
A zero eigenvector satisfies , and . Thus the stationary threshold is . The reversal symmetry makes the nontrivial steady states occur as a pair.
For these nonzero steady states put . The temperature equations give and , so and . The induction equations give and . With , their solution is
Here gives , and positive diffusivity gives . Substituting these amplitudes into the stationary a equation and dividing by a yields the stationary branch of five-mode magnetoconvection:
At this meets . Expansion in gives
The denominator of its initial slope is positive, and its numerator after multiplication by is
Therefore gives a supercritical pitchfork bifurcation direction, and gives a subcritical pitchfork bifurcation direction. If , the leading slope vanishes and higher terms must be retained.
This classification describes which side of the stationary threshold contains the steady branch. It does not alone establish dynamical stability or rule out an earlier oscillatory instability. For example, at the characteristic polynomial factors as
The zero eigenvalue is simple unless the final coefficient vanishes; the other two eigenvalues need not both be stable for every positive parameter choice. The stationary branch formula and its direction criterion remain the requested algebraic conclusions.